Trace number 418974

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 541.691 529.599

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
anbulagan/medium-sat/total-5-17-s.opb
MD5SUM90ccb0c7dc7e94c1593330c60222a31c
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 benchmark393.107
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 variables265408
Total number of constraints1248556
Number of constraints which are clauses1248556
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)

541.60/529.54	s SATISFIABLE
541.60/529.54	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
541.60/529.54	v x185 x191 x197 x203 x209 x215 x221 x227 x233 x239 x245 x251 x257 x263 x269 x275 x281 x287 x293 x299 x305 x311 x317 x323 x329 x335
541.60/529.54	v x341 x347 x353 x359 x365 x371 x377 x383 x388 x394 x400 x406 x412 x418 x424 x430 x436 x442 x448 x454 x460 x466 x472 x478 x482 x488
541.60/529.54	v x494 x500 x506 x512 x518 x524 x530 x536 x542 x548 x554 x560 x566 x572 x578 x584 x590 x596 x602 x608 x614 x620 x626 x632 x638 x644
541.60/529.54	v x650 x656 x662 x668 x677 x682 x686 x692 x698 x704 x710 x716 x722 x728 x734 x740 x746 x752 x758 x764 x770 x776 x782 x788 x794 x800
541.60/529.54	v x806 x812 x818 x824 x830 x836 x842 x848 x854 x860 x866 x872 x878 x884 x890 x896 x902 x908 x914 x920 x926 x932 x938 x944 x950 x956
541.60/529.54	v x962 x968 x974 x980 x989 x995 x1001 x1007 x1013 x1019 x1025 x1031 x1037 x1043 x1049 x1055 x1061 x1067 x1073 x1078 x1084 x1090
541.60/529.54	v x1094 x1100 x1106 x1112 x1118 x1124 x1130 x1136 x1142 x1148 x1154 x1160 x1169 x1175 x1181 x1187 x1193 x1199 x1205 x1211 x1217
541.60/529.54	v x1223 x1229 x1235 x1241 x1247 x1253 x1259 x1265 x1271 x1277 x1283 x1288 x1294 x1298 x1304 x1310 x1316 x1322 x1328 x1334 x1340
541.60/529.54	v x1346 x1352 x1358 x1364 x1370 x1376 x1382 x1388 x1394 x1400 x1406 x1412 x1418 x1424 x1430 x1436 x1442 x1448 x1454 x1460 x1466
541.60/529.54	v x1472 x1478 x1484 x1490 x1496 x1502 x1508 x1514 x1520 x1526 x1532 x1538 x1544 x1550 x1556 x1562 x1568 x1574 x1580 x1586 x1592
541.60/529.54	v x1598 x1604 x1610 x1616 x1622 x1628 x1634 x1640 x1646 x1652 x1658 x1667 x1673 x1679 x1685 x1691 x1697 x1703 x1709 x1715 x1721
541.60/529.54	v x1727 x1733 x1739 x1745 x1750 x1756 x1762 x1768 x1774 x1780 x1786 x1792 x1798 x1804 x1810 x1816 x1822 x1828 x1834 x1840 x1846
541.60/529.54	v x1852 x1858 x1864 x1870 x1876 x1882 x1888 x1894 x1900 x1906 x1912 x1918 x1924 x1930 x1936 x1940 x1946 x1952 x1958 x1964 x1970
541.60/529.54	v x1976 x1982 x1988 x1994 x2000 x2006 x2012 x2018 x2024 x2030 x2036 x2042 x2048 x2054 x2060 x2066 x2072 x2078 x2084 x2090 x2096
541.60/529.54	v x2102 x2108 x2114 x2120 x2126 x2135 x2141 x2147 x2153 x2159 x2165 x2171 x2177 x2183 x2189 x2195 x2201 x2207 x2212 x2218 x2224
541.60/529.54	v x2228 x2234 x2240 x2246 x2252 x2258 x2264 x2270 x2276 x2282 x2288 x2294 x2300 x2306 x2312 x2318 x2324 x2330 x2336 x2342 x2348
541.60/529.54	v x2354 x2360 x2366 x2372 x2378 x2384 x2390 x2396 x2402 x2408 x2414 x2420 x2426 x2432 x2438 x2444 x2450 x2456 x2462 x2468 x2474
541.60/529.54	v x2480 x2486 x2492 x2498 x2504 x2510 x2516 x2522 x2528 x2534 x2540 x2546 x2552 x2558 x2564 x2570 x2576 x2582 x2588 x2594 x2600
541.60/529.54	v x2606 x2612 x2618 x2624 x2630 x2636 x2642 x2648 x2654 x2660 x2666 x2672 x2678 x2684 x2690 x2696 x2702 x2708 x2714 x2720 x2726
541.60/529.54	v x2732 x2738 x2744 x2750 x2756 x2762 x2768 x2774 x2780 x2786 x2792 x2798 x2804 x2810 x2816 x2822 x2828 x2834 x2840 x2846 x2852
541.60/529.54	v x2858 x2864 x2870 x2876 x2882 x2888 x2894 x2900 x2906 x2912 x2918 x2924 x2930 x2936 x2942 x2951 x2957 x2963 x2969 x2975 x2981
541.60/529.54	v x2987 x2993 x2999 x3005 x3011 x3017 x3023 x3029 x3035 x3041 x3047 x3049 x3055 x3061 x3072 x3075 x3081 x3087 x3093 x3099 x3107
541.60/529.54	v x3113 x3119 x3125 x3131 x3137 x3143 x3149 x3155 x3161 x3167 x3173 x3179 x3185 x3191 x3197 x3203 x3209 x3215 x3217 x3223 x3229
541.60/529.54	v x3240 x3243 x3249 x3255 x3261 x3267 x3273 x3279 x3285 x3291 x3297 x3303 x3311 x3317 x3323 x3329 x3335 x3341 x3347 x3353 x3359
541.60/529.54	v x3365 x3367 x3373 x3379 x3385 x3391 x3397 x3403 x3409 x3415 x3421 x3427 x3438 x3441 x3447 x3453 x3459 x3465 x3471 x3477 x3483
541.60/529.54	v x3489 x3495 x3501 x3507 x3513 x3519 x3525 x3531 x3537 x3543 x3549 x3555 x3561 x3567 x3573 x3579 x3585 x3591 x3597 x3603 x3609
541.60/529.54	v x3615 x3621 x3627 x3633 x3639 x3645 x3651 x3657 x3665 x3671 x3677 x3683 x3689 x3695 x3701 x3707 x3709 x3715 x3721 x3727 x3733
541.60/529.54	v x3739 x3745 x3751 x3757 x3763 x3769 x3775 x3781 x3787 x3793 x3799 x3805 x3811 x3817 x3823 x3829 x3835 x3841 x3847 x3858 x3864
541.60/529.54	v x3870 x3876 x3882 x3888 x3894 x3900 x3906 x3912 x3918 x3924 x3930 x3936 x3942 x3948 x3954 x3960 x3966 x3972 x3978 x3984 x3990
541.60/529.54	v x3996 x4002 x4003 x4009 x4015 x4021 x4027 x4033 x4039 x4045 x4051 x4062 x4068 x4074 x4080 x4086 x4092 x4098 x4104 x4110 x4111
541.60/529.54	v x4117 x4123 x4134 x4137 x4143 x4149 x4155 x4161 x4167 x4173 x4179 x4185 x4191 x4197 x4203 x4209 x4215 x4221 x4227 x4233 x4239
541.60/529.54	v x4245 x4251 x4257 x4263 x4269 x4277 x4283 x4289 x4295 x4301 x4303 x4309 x4315 x4321 x4327 x4338 x4344 x4350 x4356 x4362 x4368
541.60/529.54	v x4374 x4380 x4386 x4392 x4398 x4399 x4405 x4411 x4417 x4423 x4429 x4435 x4441 x4447 x4458 x4464 x4470 x4476 x4482 x4488 x4494
541.60/529.54	v x4500 x4506 x4512 x4518 x4524 x4530 x4536 x4542 x4548 x4554 x4560 x4566 x4572 x4578 x4584 x4590 x4596 x4602 x4608 x4609 x4615
541.60/529.54	v x4621 x4627 x4633 x4639 x4645 x4651 x4662 x4665 x4671 x4677 x4683 x4689 x4697 x4703 x4709 x4715 x4721 x4727 x4733 x4739 x4745
541.60/529.54	v x4751 x4757 x4763 x4769 x4775 x4781 x4787 x4793 x4799 x4805 x4811 x4817 x4823 x4829 x4835 x4841 x4847 x4853 x4859 x4865 x4871
541.60/529.54	v x4877 x4883 x4889 x4895 x4901 x4907 x4913 x4919 x4925 x4931 x4937 x4943 x4949 x4955 x4961 x4967 x4973 x4979 x4985 x4991 x4997
541.60/529.54	v x5003 x5009 x5015 x5021 x5027 x5033 x5039 x5045 x5051 x5057 x5063 x5069 x5075 x5081 x5087 x5093 x5099 x5105 x5111 x5117 x5123
541.60/529.54	v x5129 x5135 x5141 x5147 x5153 x5159 x5165 x5171 x5177 x5183 x5189 x5195 x5201 x5207 x5213 x5219 x5225 x5231 x5237 x5243 x5249
541.60/529.54	v x5255 x5261 x5267 x5273 x5279 x5285 x5291 x5297 x5303 x5309 x5315 x5321 x5327 x5333 x5339 x5345 x5351 x5357 x5363 x5369 x5371
541.60/529.54	v x5377 x5383 x5389 x5395 x5401 x5407 x5413 x5419 x5425 x5431 x5437 x5443 x5449 x5455 x5461 x5467 x5473 x5479 x5485 x5496 x5499
541.60/529.54	v x5505 x5511 x5517 x5523 x5529 x5535 x5541 x5547 x5553 x5559 x5565 x5571 x5577 x5583 x5589 x5595 x5601 x5607 x5613 x5619 x5625
541.60/529.54	v x5631 x5639 x5645 x5651 x5657 x5663 x5665 x5671 x5677 x5683 x5689 x5700 x5703 x5709 x5715 x5721 x5727 x5733 x5739 x5745 x5751
541.60/529.54	v x5759 x5765 x5771 x5773 x5779 x5785 x5791 x5797 x5803 x5809 x5820 x5823 x5829 x5835 x5843 x5849 x5855 x5861 x5867 x5873 x5879
541.60/529.54	v x5885 x5891 x5897 x5903 x5909 x5915 x5921 x5927 x5933 x5939 x5945 x5951 x5957 x5963 x5965 x5971 x5977 x5983 x5989 x5995 x6001
541.60/529.54	v x6007 x6013 x6024 x6030 x6036 x6042 x6048 x6054 x6060 x6061 x6067 x6073 x6079 x6085 x6091 x6097 x6108 x6111 x6117 x6123 x6129
541.60/529.54	v x6135 x6141 x6147 x6153 x6159 x6165 x6171 x6177 x6183 x6189 x6195 x6201 x6207 x6213 x6219 x6225 x6231 x6237 x6243 x6249 x6255
541.60/529.54	v x6263 x6269 x6271 x6277 x6283 x6289 x6295 x6301 x6312 x6315 x6321 x6327 x6333 x6339 x6345 x6351 x6357 x6363 x6369 x6375 x6381
541.60/529.54	v x6387 x6393 x6399 x6405 x6411 x6417 x6423 x6429 x6435 x6441 x6447 x6453 x6459 x6465 x6471 x6477 x6483 x6489 x6495 x6501 x6507
541.60/529.54	v x6513 x6519 x6525 x6531 x6537 x6543 x6549 x6555 x6561 x6567 x6573 x6579 x6585 x6591 x6597 x6603 x6611 x6617 x6623 x6629 x6635
541.60/529.54	v x6641 x6647 x6653 x6655 x6661 x6667 x6673 x6679 x6685 x6691 x6702 x6705 x6711 x6717 x6725 x6731 x6737 x6743 x6749 x6755 x6761
541.60/529.54	v x6767 x6773 x6779 x6785 x6791 x6797 x6803 x6809 x6815 x6821 x6827 x6833 x6839 x6845 x6851 x6857 x6863 x6869 x6875 x6881 x6887
541.60/529.54	v x6893 x6899 x6905 x6911 x6917 x6923 x6929 x6935 x6941 x6947 x6953 x6959 x6965 x6971 x6977 x6983 x6989 x6995 x7001 x7007 x7013
541.60/529.54	v x7019 x7025 x7031 x7037 x7043 x7049 x7055 x7061 x7067 x7073 x7079 x7085 x7091 x7097 x7103 x7109 x7115 x7121 x7127 x7133 x7139
541.60/529.54	v x7145 x7151 x7157 x7163 x7169 x7175 x7181 x7187 x7193 x7199 x7205 x7211 x7217 x7223 x7229 x7235 x7241 x7247 x7253 x7259 x7265
541.60/529.54	v x7271 x7277 x7283 x7289 x7295 x7301 x7307 x7313 x7319 x7325 x7331 x7337 x7343 x7349 x7355 x7361 x7367 x7373 x7379 x7385 x7391
541.60/529.54	v x7397 x7403 x7409 x7415 x7421 x7427 x7433 x7439 x7445 x7451 x7457 x7463 x7469 x7475 x7481 x7487 x7493 x7499 x7505 x7511 x7517
541.60/529.54	v x7523 x7529 x7535 x7541 x7547 x7553 x7559 x7565 x7571 x7577 x7583 x7589 x7595 x7601 x7607 x7613 x7619 x7625 x7631 x7637 x7643
541.60/529.54	v x7649 x7655 x7661 x7667 x7673 x7679 x7685 x7691 x7697 x7703 x7709 x7715 x7721 x7727 x7733 x7739 x7745 x7751 x7757 x7763 x7769
541.60/529.54	v x7775 x7781 x7787 x7793 x7799 x7805 x7811 x7817 x7823 x7829 x7835 x7841 x7847 x7853 x7859 x7865 x7871 x7877 x7883 x7889 x7895
541.60/529.54	v x7901 x7907 x7913 x7919 x7925 x7931 x7937 x7943 x7949 x7955 x7961 x7967 x7973 x7979 x7985 x7991 x7997 x8003 x8009 x8015 x8021
541.60/529.54	v x8027 x8033 x8039 x8045 x8051 x8057 x8063 x8069 x8075 x8081 x8087 x8093 x8099 x8105 x8107 x8113 x8119 x8125 x8131 x8137 x8143
541.60/529.54	v x8154 x8157 x8163 x8169 x8175 x8181 x8187 x8193 x8199 x8205 x8211 x8217 x8223 x8229 x8235 x8241 x8247 x8253 x8259 x8265 x8271
541.60/529.54	v x8277 x8283 x8289 x8295 x8301 x8307 x8315 x8321 x8327 x8333 x8339 x8345 x8351 x8356 x8362 x8368 x8374 x8380 x8386 x8392 x8396
541.60/529.54	v x8402 x8408 x8414 x8420 x8426 x8432 x8438 x8444 x8450 x8456 x8462 x8468 x8474 x8480 x8486 x8492 x8498 x8504 x8510 x8516 x8522
541.60/529.54	v x8528 x8534 x8540 x8546 x8552 x8558 x8564 x8570 x8576 x8582 x8588 x8594 x8600 x8606 x8612 x8618 x8624 x8630 x8636 x8642 x8648
541.60/529.54	v x8654 x8660 x8666 x8672 x8678 x8684 x8690 x8696 x8702 x8708 x8714 x8720 x8726 x8732 x8738 x8744 x8750 x8756 x8762 x8768 x8774
541.60/529.54	v x8780 x8786 x8792 x8798 x8804 x8810 x8816 x8822 x8828 x8834 x8840 x8846 x8852 x8858 x8864 x8870 x8876 x8882 x8888 x8894 x8900
541.60/529.54	v x8906 x8912 x8918 x8924 x8930 x8936 x8942 x8948 x8954 x8960 x8966 x8972 x8978 x8984 x8990 x8996 x9002 x9008 x9014 x9020 x9026
541.60/529.54	v x9032 x9038 x9044 x9050 x9056 x9062 x9068 x9074 x9080 x9086 x9095 x9101 x9107 x9113 x9119 x9125 x9131 x9137 x9143 x9149 x9155
541.60/529.54	v x9161 x9167 x9173 x9179 x9185 x9191 x9197 x9203 x9209 x9215 x9221 x9227 x9233 x9239 x9245 x9251 x9257 x9263 x9269 x9275 x9281
541.60/529.54	v x9287 x9293 x9299 x9305 x9311 x9317 x9323 x9329 x9335 x9341 x9347 x9353 x9359 x9365 x9371 x9377 x9383 x9389 x9395 x9401 x9407
541.60/529.54	v x9413 x9419 x9425 x9431 x9437 x9443 x9449 x9455 x9461 x9467 x9473 x9475 x9481 x9487 x9493 x9499 x9505 x9516 x9519 x9525 x9531
541.60/529.54	v x9537 x9543 x9549 x9555 x9561 x9567 x9575 x9581 x9587 x9593 x9599 x9605 x9611 x9617 x9623 x9629 x9635 x9641 x9647 x9653 x9659
541.60/529.54	v x9665 x9671 x9677 x9683 x9689 x9695 x9701 x9707 x9713 x9719 x9725 x9731 x9737 x9743 x9749 x9755 x9761 x9767 x9773 x9779 x9785
541.60/529.54	v x9791 x9797 x9803 x9809 x9815 x9821 x9827 x9833 x9839 x9845 x9851 x9857 x9863 x9869 x9875 x9881 x9887 x9893 x9899 x9905 x9911
541.60/529.54	v x9917 x9923 x9929 x9935 x9941 x9947 x9953 x9959 x9965 x9971 x9977 x9983 x9989 x9995 x10001 x10007 x10013 x10019 x10025 x10031
541.60/529.54	v x10037 x10043 x10049 x10055 x10057 x10063 x10069 x10075 x10081 x10087 x10093 x10099 x10105 x10111 x10117 x10123 x10129
541.60/529.54	v x10135 x10141 x10147 x10153 x10159 x10165 x10171 x10177 x10183 x10189 x10195 x10201 x10207 x10213 x10219 x10225 x10231
541.60/529.54	v x10237 x10243 x10249 x10255 x10261 x10267 x10273 x10279 x10285 x10291 x10302 x10305 x10311 x10317 x10323 x10329 x10335
541.60/529.54	v x10341 x10347 x10353 x10359 x10365 x10371 x10377 x10383 x10389 x10395 x10401 x10409 x10415 x10421 x10427 x10433 x10439
541.60/529.54	v x10445 x10451 x10457 x10463 x10469 x10475 x10481 x10487 x10493 x10499 x10505 x10511 x10517 x10519 x10525 x10531 x10537
541.60/529.54	v x10543 x10549 x10555 x10561 x10567 x10573 x10579 x10590 x10593 x10599 x10605 x10611 x10617 x10623 x10629 x10635 x10641
541.60/529.54	v x10647 x10653 x10659 x10665 x10671 x10677 x10683 x10689 x10695 x10701 x10707 x10713 x10719 x10725 x10733 x10739 x10745
541.60/529.54	v x10751 x10757 x10763 x10769 x10775 x10781 x10787 x10793 x10799 x10805 x10811 x10817 x10823 x10829 x10835 x10841 x10847
541.60/529.54	v x10853 x10859 x10865 x10871 x10877 x10883 x10889 x10895 x10901 x10907 x10913 x10919 x10925 x10931 x10937 x10943 x10949
541.60/529.54	v x10955 x10961 x10967 x10973 x10979 x10985 x10991 x10997 x11003 x11009 x11015 x11021 x11027 x11033 x11039 x11045 x11051
541.60/529.54	v x11057 x11063 x11069 x11075 x11081 x11087 x11093 x11099 x11105 x11111 x11117 x11123 x11129 x11135 x11137 x11143 x11149
541.60/529.54	v x11155 x11161 x11167 x11173 x11179 x11190 x11193 x11199 x11205 x11211 x11217 x11223 x11229 x11235 x11241 x11247 x11253
541.60/529.54	v x11259 x11265 x11271 x11277 x11283 x11289 x11295 x11301 x11307 x11313 x11319 x11325 x11333 x11339 x11345 x11351 x11357
541.60/529.54	v x11363 x11369 x11375 x11381 x11387 x11393 x11399 x11405 x11411 x11417 x11423 x11429 x11435 x11441 x11447 x11453 x11459
541.60/529.54	v x11465 x11471 x11477 x11483 x11489 x11495 x11501 x11507 x11513 x11519 x11525 x11531 x11537 x11543 x11549 x11555 x11561
541.60/529.54	v x11567 x11573 x11579 x11585 x11591 x11597 x11603 x11609 x11615 x11621 x11627 x11633 x11639 x11645 x11651 x11657 x11663
541.60/529.54	v x11669 x11675 x11681 x11687 x11693 x11699 x11705 x11711 x11717 x11723 x11729 x11735 x11741 x11747 x11753 x11759 x11765
541.60/529.54	v x11771 x11777 x11783 x11789 x11795 x11801 x11807 x11813 x11819 x11825 x11831 x11837 x11843 x11849 x11855 x11861 x11867
541.60/529.54	v x11873 x11879 x11885 x11891 x11897 x11903 x11909 x11915 x11921 x11927 x11933 x11939 x11945 x11951 x11957 x11963 x11969
541.60/529.54	v x11975 x11981 x11987 x11993 x11999 x12005 x12011 x12017 x12019 x12025 x12031 x12037 x12043 x12049 x12055 x12061 x12067
541.60/529.54	v x12073 x12079 x12085 x12091 x12097 x12103 x12109 x12115 x12121 x12127 x12133 x12139 x12145 x12156 x12159 x12165 x12171
541.60/529.54	v x12177 x12183 x12189 x12195 x12201 x12207 x12213 x12219 x12225 x12231 x12237 x12243 x12249 x12255 x12263 x12269 x12275
541.60/529.54	v x12281 x12287 x12293 x12299 x12305 x12311 x12313 x12319 x12325 x12331 x12337 x12343 x12349 x12360 x12363 x12369 x12375
541.60/529.54	v x12383 x12389 x12395 x12401 x12407 x12413 x12419 x12425 x12431 x12437 x12443 x12449 x12455 x12461 x12467 x12473 x12479
541.60/529.54	v x12485 x12491 x12496 x12502 x12508 x12514 x12520 x12524 x12530 x12536 x12542 x12548 x12554 x12560 x12566 x12572 x12578
541.60/529.54	v x12584 x12590 x12596 x12602 x12608 x12614 x12620 x12626 x12632 x12638 x12644 x12650 x12656 x12662 x12668 x12674 x12680
541.60/529.54	v x12686 x12692 x12698 x12704 x12710 x12716 x12722 x12728 x12734 x12740 x12746 x12752 x12758 x12764 x12770 x12776 x12782
541.60/529.54	v x12788 x12794 x12800 x12806 x12812 x12818 x12824 x12830 x12836 x12842 x12848 x12854 x12860 x12866 x12872 x12878 x12884
541.60/529.54	v x12890 x12896 x12902 x12908 x12914 x12920 x12926 x12932 x12938 x12944 x12950 x12956 x12962 x12968 x12974 x12980 x12986
541.60/529.54	v x12992 x12998 x13004 x13010 x13016 x13022 x13028 x13034 x13040 x13046 x13052 x13058 x13064 x13070 x13076 x13082 x13088
541.60/529.54	v x13094 x13100 x13106 x13112 x13118 x13124 x13130 x13136 x13142 x13148 x13154 x13160 x13166 x13172 x13178 x13184 x13190
541.60/529.54	v x13196 x13202 x13208 x13214 x13220 x13226 x13232 x13238 x13244 x13250 x13256 x13262 x13268 x13274 x13280 x13286 x13295
541.60/529.54	v x13301 x13306 x13310 x13316 x13322 x13328 x13334 x13340 x13346 x13352 x13358 x13364 x13370 x13376 x13382 x13388 x13394
541.60/529.54	v x13400 x13406 x13412 x13418 x13424 x13430 x13436 x13442 x13448 x13454 x13460 x13466 x13472 x13478 x13484 x13490 x13496
541.60/529.54	v x13502 x13508 x13514 x13520 x13526 x13532 x13538 x13544 x13550 x13556 x13562 x13568 x13574 x13580 x13586 x13592 x13598
541.60/529.54	v x13604 x13610 x13616 x13622 x13628 x13634 x13640 x13646 x13652 x13661 x13663 x13669 x13675 x13681 x13687 x13693 x13699
541.60/529.54	v x13710 x13713 x13719 x13725 x13731 x13737 x13743 x13749 x13757 x13763 x13769 x13775 x13781 x13787 x13793 x13799 x13805
541.60/529.54	v x13811 x13817 x13823 x13829 x13835 x13841 x13847 x13853 x13859 x13865 x13871 x13877 x13883 x13889 x13895 x13901 x13907
541.60/529.54	v x13913 x13919 x13925 x13931 x13937 x13943 x13949 x13955 x13961 x13967 x13973 x13979 x13985 x13991 x13997 x14003 x14009
541.60/529.54	v x14015 x14021 x14027 x14033 x14039 x14045 x14051 x14057 x14063 x14069 x14075 x14081 x14083 x14089 x14095 x14101 x14107
541.60/529.54	v x14118 x14124 x14130 x14136 x14142 x14148 x14154 x14160 x14166 x14172 x14178 x14184 x14190 x14196 x14202 x14208 x14214
541.60/529.54	v x14220 x14226 x14232 x14238 x14244 x14250 x14256 x14262 x14268 x14274 x14275 x14281 x14287 x14293 x14299 x14305 x14311
541.60/529.54	v x14322 x14325 x14331 x14337 x14343 x14349 x14355 x14361 x14367 x14373 x14379 x14385 x14391 x14397 x14403 x14409 x14415
541.60/529.54	v x14421 x14427 x14433 x14439 x14445 x14453 x14459 x14461 x14467 x14473 x14479 x14490 x14493 x14499 x14505 x14511 x14517
541.60/529.54	v x14523 x14529 x14537 x14543 x14549 x14555 x14561 x14567 x14573 x14579 x14585 x14591 x14597 x14603 x14609 x14615 x14621
541.60/529.54	v x14627 x14633 x14639 x14645 x14651 x14657 x14663 x14669 x14675 x14681 x14687 x14693 x14699 x14705 x14711 x14717 x14723
541.60/529.54	v x14729 x14735 x14741 x14747 x14753 x14758 x14762 x14768 x14774 x14780 x14786 x14792 x14798 x14804 x14810 x14816 x14822
541.60/529.54	v x14828 x14834 x14840 x14846 x14852 x14858 x14864 x14870 x14876 x14882 x14888 x14894 x14900 x14906 x14912 x14918 x14924
541.60/529.54	v x14930 x14936 x14942 x14948 x14954 x14963 x14965 x14971 x14977 x14983 x14989 x14995 x15001 x15007 x15013 x15024 x15030
541.60/529.54	v x15036 x15042 x15048 x15054 x15060 x15066 x15072 x15078 x15084 x15090 x15096 x15102 x15108 x15114 x15115 x15121 x15127
541.60/529.54	v x15133 x15139 x15145 x15156 x15159 x15165 x15171 x15177 x15183 x15189 x15195 x15201 x15207 x15215 x15221 x15227 x15233
541.60/529.54	v x15239 x15245 x15251 x15257 x15263 x15269 x15275 x15281 x15287 x15293 x15299 x15305 x15311 x15317 x15323 x15328 x15332
541.60/529.54	v x15338 x15344 x15350 x15356 x15362 x15368 x15374 x15380 x15386 x15392 x15398 x15404 x15410 x15416 x15422 x15428 x15434
541.60/529.54	v x15440 x15446 x15452 x15458 x15464 x15470 x15476 x15482 x15488 x15494 x15500 x15506 x15512 x15518 x15524 x15530 x15536
541.60/529.54	v x15542 x15548 x15554 x15560 x15566 x15572 x15578 x15584 x15590 x15596 x15602 x15608 x15614 x15620 x15626 x15632 x15638
541.60/529.54	v x15644 x15650 x15656 x15662 x15668 x15674 x15680 x15686 x15692 x15698 x15704 x15710 x15716 x15722 x15728 x15734 x15740
541.60/529.54	v x15746 x15752 x15758 x15764 x15770 x15776 x15782 x15788 x15794 x15800 x15806 x15812 x15818 x15824 x15830 x15836 x15842
541.60/529.54	v x15848 x15854 x15860 x15866 x15872 x15878 x15884 x15890 x15896 x15902 x15908 x15914 x15920 x15926 x15932 x15938 x15944
541.60/529.54	v x15950 x15956 x15962 x15968 x15974 x15980 x15986 x15992 x15998 x16004 x16010 x16016 x16022 x16028 x16034 x16043 x16049
541.60/529.54	v x16055 x16061 x16067 x16073 x16079 x16085 x16091 x16097 x16103 x16109 x16115 x16121 x16127 x16133 x16139 x16145 x16151
541.60/529.54	v x16157 x16163 x16169 x16175 x16181 x16187 x16193 x16199 x16205 x16211 x16217 x16223 x16229 x16235 x16241 x16247 x16253
541.60/529.54	v x16259 x16265 x16271 x16277 x16283 x16289 x16295 x16301 x16307 x16313 x16319 x16325 x16331 x16337 x16343 x16349 x16355
541.60/529.54	v x16361 x16367 x16373 x16379 x16385 x16391 x16397 x16403 x16409 x16415 x16417 x16423 x16429 x16435 x16441 x16447 x16453
541.60/529.54	v x16459 x16465 x16476 x16479 x16485 x16491 x16497 x16503 x16509 x16515 x16521 x16527 x16533 x16539 x16545 x16551 x16557
541.60/529.54	v x16563 x16569 x16575 x16581 x16587 x16593 x16599 x16605 x16611 x16617 x16625 x16631 x16637 x16643 x16649 x16655 x16661
541.60/529.54	v x16667 x16673 x16679 x16685 x16691 x16697 x16703 x16705 x16711 x16717 x16723 x16729 x16735 x16741 x16747 x16753 x16759
541.60/529.54	v x16765 x16771 x16777 x16783 x16789 x16795 x16801 x16807 x16813 x16819 x16825 x16831 x16837 x16843 x16849 x16855 x16861
541.60/529.54	v x16867 x16873 x16879 x16885 x16891 x16897 x16903 x16909 x16915 x16921 x16927 x16938 x16944 x16950 x16956 x16962 x16968
541.60/529.54	v x16974 x16980 x16986 x16987 x16993 x16999 x17005 x17011 x17022 x17025 x17031 x17037 x17043 x17049 x17055 x17061 x17067
541.60/529.54	v x17073 x17079 x17085 x17091 x17097 x17103 x17109 x17115 x17121 x17127 x17133 x17139 x17145 x17151 x17157 x17165 x17167
541.60/529.54	v x17173 x17179 x17185 x17191 x17197 x17203 x17209 x17215 x17226 x17229 x17235 x17241 x17247 x17253 x17259 x17265 x17271
541.60/529.54	v x17277 x17283 x17289 x17295 x17301 x17307 x17313 x17319 x17325 x17331 x17337 x17343 x17349 x17355 x17361 x17367 x17373
541.60/529.54	v x17379 x17385 x17391 x17397 x17403 x17409 x17415 x17421 x17427 x17433 x17439 x17445 x17451 x17457 x17463 x17469 x17475
541.60/529.54	v x17481 x17487 x17493 x17499 x17505 x17511 x17517 x17523 x17529 x17535 x17541 x17547 x17553 x17559 x17565 x17571 x17577
541.60/529.54	v x17583 x17589 x17595 x17601 x17607 x17613 x17619 x17625 x17631 x17637 x17643 x17649 x17655 x17661 x17667 x17673 x17681
541.60/529.54	v x17687 x17693 x17699 x17705 x17711 x17717 x17723 x17729 x17735 x17741 x17747 x17753 x17759 x17765 x17771 x17777 x17783
541.60/529.54	v x17785 x17791 x17797 x17803 x17809 x17815 x17821 x17827 x17833 x17839 x17850 x17853 x17859 x17865 x17871 x17877 x17883
541.60/529.54	v x17889 x17895 x17901 x17907 x17913 x17919 x17925 x17931 x17937 x17943 x17949 x17955 x17961 x17967 x17973 x17979 x17985
541.60/529.54	v x17991 x17997 x18003 x18009 x18015 x18021 x18027 x18033 x18039 x18045 x18051 x18057 x18063 x18069 x18075 x18081 x18087
541.60/529.54	v x18093 x18099 x18105 x18111 x18117 x18123 x18129 x18135 x18141 x18147 x18153 x18159 x18165 x18171 x18177 x18183 x18189
541.60/529.54	v x18195 x18201 x18207 x18213 x18219 x18225 x18231 x18237 x18243 x18249 x18255 x18261 x18267 x18273 x18279 x18287 x18293
541.60/529.54	v x18299 x18305 x18311 x18317 x18323 x18329 x18335 x18341 x18347 x18353 x18359 x18365 x18371 x18377 x18383 x18389 x18395
541.60/529.54	v x18401 x18407 x18413 x18419 x18425 x18431 x18437 x18439 x18445 x18451 x18457 x18463 x18469 x18475 x18481 x18487 x18493
541.60/529.54	v x18504 x18507 x18513 x18519 x18525 x18531 x18537 x18543 x18549 x18555 x18561 x18567 x18573 x18579 x18585 x18591 x18597
541.60/529.54	v x18603 x18609 x18615 x18621 x18627 x18635 x18641 x18647 x18653 x18659 x18665 x18671 x18677 x18683 x18689 x18695 x18701
541.60/529.54	v x18707 x18713 x18719 x18725 x18731 x18737 x18743 x18749 x18755 x18761 x18767 x18773 x18779 x18785 x18791 x18797 x18803
541.60/529.54	v x18809 x18815 x18821 x18827 x18833 x18839 x18845 x18851 x18857 x18863 x18869 x18875 x18881 x18887 x18893 x18899 x18905
541.60/529.54	v x18911 x18917 x18923 x18929 x18935 x18941 x18947 x18953 x18959 x18965 x18971 x18977 x18983 x18989 x18995 x19001 x19007
541.60/529.54	v x19013 x19019 x19025 x19031 x19037 x19043 x19049 x19055 x19061 x19067 x19073 x19079 x19085 x19091 x19097 x19103 x19109
541.60/529.54	v x19115 x19121 x19127 x19133 x19139 x19141 x19147 x19153 x19159 x19165 x19171 x19177 x19183 x19189 x19200 x19203 x19209
541.60/529.54	v x19215 x19221 x19227 x19233 x19239 x19245 x19251 x19257 x19263 x19269 x19275 x19281 x19287 x19293 x19299 x19305 x19311
541.60/529.54	v x19317 x19323 x19329 x19335 x19341 x19347 x19353 x19359 x19365 x19371 x19377 x19383 x19389 x19395 x19401 x19407 x19413
541.60/529.54	v x19419 x19427 x19433 x19439 x19445 x19451 x19457 x19463 x19469 x19475 x19481 x19487 x19493 x19499 x19505 x19511 x19517
541.60/529.54	v x19523 x19529 x19535 x19541 x19547 x19553 x19559 x19565 x19571 x19577 x19583 x19589 x19595 x19601 x19607 x19613 x19619
541.60/529.54	v x19625 x19631 x19637 x19643 x19649 x19655 x19661 x19667 x19673 x19679 x19685 x19691 x19697 x19703 x19709 x19715 x19721
541.60/529.54	v x19727 x19733 x19739 x19745 x19751 x19757 x19763 x19769 x19775 x19781 x19787 x19793 x19799 x19805 x19811 x19817 x19823
541.60/529.54	v x19829 x19835 x19841 x19847 x19853 x19859 x19865 x19871 x19877 x19883 x19889 x19895 x19901 x19907 x19913 x19919 x19925
541.60/529.54	v x19931 x19937 x19943 x19949 x19955 x19961 x19967 x19973 x19979 x19985 x19991 x19997 x20003 x20009 x20015 x20021 x20027
541.60/529.54	v x20033 x20039 x20045 x20051 x20057 x20063 x20069 x20075 x20081 x20087 x20093 x20099 x20104 x20110 x20114 x20120 x20126
541.60/529.54	v x20132 x20138 x20144 x20150 x20156 x20162 x20168 x20174 x20180 x20186 x20192 x20198 x20204 x20213 x20219 x20225 x20231
541.60/529.54	v x20237 x20243 x20249 x20255 x20261 x20267 x20273 x20279 x20285 x20291 x20297 x20303 x20309 x20311 x20317 x20323 x20334
541.60/529.54	v x20337 x20343 x20349 x20355 x20361 x20367 x20373 x20379 x20385 x20391 x20397 x20403 x20409 x20415 x20421 x20427 x20433
541.60/529.54	v x20439 x20445 x20451 x20457 x20463 x20469 x20475 x20481 x20487 x20493 x20501 x20507 x20513 x20519 x20525 x20531 x20537
541.60/529.54	v x20543 x20549 x20555 x20561 x20567 x20573 x20579 x20585 x20591 x20597 x20603 x20609 x20615 x20621 x20627 x20633 x20639
541.60/529.54	v x20645 x20651 x20657 x20663 x20669 x20675 x20681 x20687 x20693 x20699 x20705 x20711 x20717 x20723 x20729 x20731 x20737
541.60/529.54	v x20743 x20749 x20755 x20761 x20767 x20773 x20779 x20790 x20793 x20799 x20805 x20811 x20817 x20823 x20829 x20835 x20841
541.60/529.54	v x20847 x20853 x20859 x20865 x20871 x20877 x20883 x20889 x20895 x20901 x20907 x20913 x20921 x20923 x20929 x20935 x20941
541.60/529.54	v x20947 x20953 x20959 x20965 x20971 x20977 x20983 x20994 x20997 x21003 x21009 x21017 x21023 x21029 x21035 x21041 x21047
541.60/529.54	v x21053 x21059 x21065 x21071 x21077 x21083 x21089 x21095 x21101 x21107 x21113 x21119 x21125 x21131 x21137 x21143 x21149
541.60/529.54	v x21155 x21161 x21167 x21173 x21179 x21185 x21191 x21197 x21203 x21209 x21215 x21221 x21227 x21233 x21239 x21245 x21251
541.60/529.54	v x21257 x21263 x21269 x21275 x21281 x21287 x21293 x21299 x21305 x21311 x21317 x21323 x21329 x21335 x21341 x21347 x21353
541.60/529.54	v x21359 x21365 x21371 x21377 x21383 x21389 x21395 x21401 x21407 x21413 x21419 x21425 x21431 x21437 x21443 x21449 x21455
541.60/529.54	v x21461 x21467 x21473 x21479 x21485 x21491 x21497 x21503 x21509 x21515 x21521 x21527 x21533 x21539 x21545 x21551 x21557
541.60/529.54	v x21563 x21569 x21575 x21581 x21587 x21593 x21599 x21605 x21611 x21617 x21623 x21629 x21635 x21641 x21647 x21649 x21655
541.60/529.54	v x21661 x21667 x21673 x21679 x21685 x21691 x21697 x21703 x21709 x21715 x21721 x21727 x21733 x21744 x21750 x21756 x21762
541.60/529.54	v x21768 x21774 x21780 x21786 x21792 x21798 x21804 x21810 x21816 x21822 x21828 x21834 x21840 x21846 x21852 x21858 x21864
541.60/529.54	v x21870 x21876 x21882 x21888 x21894 x21900 x21906 x21912 x21918 x21924 x21930 x21936 x21942 x21948 x21954 x21960 x21966
541.60/529.54	v x21972 x21978 x21984 x21990 x21996 x22002 x22008 x22014 x22020 x22026 x22032 x22038 x22044 x22050 x22056 x22062 x22068
541.60/529.54	v x22074 x22080 x22086 x22092 x22098 x22104 x22110 x22116 x22122 x22128 x22134 x22140 x22146 x22152 x22158 x22164 x22170
541.60/529.54	v x22176 x22182 x22188 x22194 x22200 x22206 x22212 x22218 x22224 x22230 x22236 x22242 x22248 x22254 x22260 x22266 x22272
541.60/529.54	v x22278 x22284 x22290 x22296 x22302 x22308 x22314 x22320 x22326 x22332 x22338 x22344 x22350 x22356 x22362 x22368 x22374
541.60/529.54	v x22380 x22386 x22392 x22398 x22404 x22410 x22416 x22422 x22428 x22434 x22440 x22446 x22452 x22458 x22464 x22470 x22476
541.60/529.54	v x22482 x22488 x22494 x22500 x22506 x22512 x22518 x22524 x22530 x22536 x22542 x22548 x22554 x22560 x22566 x22572 x22578
541.60/529.54	v x22584 x22590 x22596 x22602 x22608 x22614 x22620 x22626 x22632 x22638 x22644 x22650 x22656 x22662 x22668 x22674 x22680
541.60/529.54	v x22686 x22692 x22698 x22704 x22710 x22716 x22722 x22728 x22734 x22740 x22746 x22752 x22758 x22764 x22770 x22776 x22782
541.60/529.54	v x22788 x22794 x22800 x22806 x22812 x22818 x22824 x22830 x22836 x22842 x22848 x22854 x22860 x22866 x22872 x22878 x22884
541.60/529.54	v x22890 x22896 x22902 x22908 x22914 x22920 x22926 x22932 x22938 x22944 x22950 x22956 x22962 x22968 x22974 x22980 x22986
541.60/529.54	v x22992 x22993 x22999 x23005 x23011 x23017 x23028 x23031 x23037 x23043 x23049 x23055 x23061 x23067 x23073 x23079 x23085
541.60/529.54	v x23091 x23097 x23103 x23109 x23115 x23121 x23127 x23135 x23141 x23147 x23153 x23159 x23161 x23167 x23173 x23179 x23185
541.60/529.54	v x23196 x23199 x23205 x23211 x23217 x23223 x23229 x23235 x23241 x23247 x23253 x23259 x23265 x23273 x23279 x23285 x23291
541.60/529.54	v x23297 x23303 x23309 x23315 x23321 x23327 x23333 x23339 x23345 x23351 x23353 x23359 x23365 x23371 x23377 x23383 x23389
541.60/529.54	v x23395 x23401 x23407 x23413 x23419 x23425 x23431 x23437 x23443 x23449 x23455 x23461 x23467 x23473 x23479 x23485 x23491
541.60/529.54	v x23497 x23503 x23509 x23515 x23521 x23527 x23533 x23539 x23545 x23551 x23562 x23568 x23574 x23580 x23586 x23592 x23598
541.60/529.54	v x23604 x23610 x23616 x23622 x23628 x23634 x23635 x23641 x23647 x23653 x23659 x23665 x23671 x23677 x23683 x23694 x23700
541.60/529.54	v x23706 x23712 x23718 x23724 x23730 x23736 x23742 x23748 x23754 x23760 x23766 x23772 x23778 x23784 x23790 x23796 x23802
541.60/529.54	v x23808 x23814 x23815 x23821 x23827 x23833 x23839 x23850 x23853 x23859 x23865 x23871 x23877 x23883 x23889 x23895 x23901
541.60/529.54	v x23907 x23913 x23919 x23925 x23931 x23937 x23943 x23949 x23955 x23961 x23967 x23973 x23979 x23985 x23991 x23997 x24003
541.60/529.54	v x24009 x24015 x24021 x24027 x24033 x24039 x24045 x24051 x24057 x24063 x24069 x24075 x24081 x24087 x24093 x24099 x24105
541.60/529.54	v x24111 x24117 x24123 x24129 x24135 x24141 x24147 x24153 x24159 x24165 x24171 x24177 x24183 x24189 x24195 x24201 x24207
541.60/529.54	v x24213 x24219 x24225 x24231 x24237 x24243 x24249 x24255 x24261 x24267 x24273 x24279 x24285 x24291 x24297 x24303 x24309
541.60/529.54	v x24315 x24321 x24327 x24333 x24339 x24345 x24351 x24357 x24363 x24369 x24375 x24381 x24387 x24393 x24399 x24405 x24411
541.60/529.54	v x24417 x24423 x24429 x24435 x24441 x24447 x24453 x24459 x24465 x24471 x24477 x24483 x24489 x24495 x24501 x24507 x24513
541.60/529.54	v x24519 x24525 x24531 x24537 x24543 x24549 x24555 x24561 x24567 x24573 x24579 x24585 x24591 x24597 x24603 x24609 x24617
541.60/529.54	v x24623 x24629 x24635 x24641 x24647 x24653 x24659 x24665 x24671 x24677 x24683 x24689 x24695 x24701 x24707 x24713 x24719
541.60/529.54	v x24725 x24731 x24737 x24743 x24749 x24755 x24761 x24767 x24773 x24779 x24785 x24791 x24797 x24803 x24809 x24815 x24821
541.60/529.54	v x24827 x24833 x24839 x24845 x24851 x24857 x24863 x24869 x24875 x24881 x24887 x24893 x24899 x24905 x24911 x24917 x24923
541.60/529.54	v x24929 x24935 x24937 x24943 x24949 x24955 x24961 x24972 x24973 x24979 x24985 x24991 x24997 x25003 x25009 x25015 x25021
541.60/529.54	v x25032 x25035 x25041 x25047 x25053 x25059 x25065 x25071 x25077 x25083 x25089 x25095 x25101 x25107 x25113 x25119 x25125
541.60/529.54	v x25131 x25137 x25143 x25149 x25155 x25163 x25169 x25175 x25181 x25187 x25193 x25199 x25205 x25211 x25217 x25223 x25229
541.60/529.54	v x25235 x25241 x25247 x25253 x25259 x25265 x25271 x25277 x25283 x25289 x25295 x25301 x25307 x25313 x25319 x25325 x25331
541.60/529.54	v x25337 x25343 x25349 x25355 x25361 x25367 x25373 x25379 x25385 x25391 x25397 x25403 x25409 x25415 x25421 x25427 x25433
541.60/529.54	v x25439 x25445 x25451 x25457 x25463 x25469 x25475 x25481 x25487 x25493 x25499 x25505 x25511 x25517 x25523 x25529 x25535
541.60/529.54	v x25541 x25547 x25553 x25559 x25565 x25571 x25577 x25583 x25589 x25595 x25601 x25607 x25613 x25619 x25625 x25631 x25637
541.60/529.54	v x25643 x25649 x25655 x25661 x25667 x25673 x25679 x25685 x25691 x25697 x25703 x25709 x25715 x25721 x25727 x25733 x25739
541.60/529.54	v x25745 x25751 x25757 x25763 x25769 x25775 x25781 x25787 x25793 x25799 x25805 x25811 x25817 x25823 x25829 x25835 x25841
541.60/529.54	v x25847 x25853 x25859 x25865 x25871 x25877 x25883 x25889 x25895 x25901 x25907 x25913 x25919 x25925 x25931 x25937 x25943
541.60/529.54	v x25949 x25955 x25961 x25967 x25973 x25979 x25985 x25991 x25997 x26003 x26009 x26015 x26021 x26027 x26033 x26039 x26045
541.60/529.54	v x26051 x26057 x26063 x26069 x26075 x26081 x26087 x26093 x26098 x26104 x26108 x26114 x26120 x26126 x26132 x26138 x26144
541.60/529.54	v x26150 x26156 x26162 x26168 x26174 x26180 x26186 x26192 x26198 x26204 x26210 x26216 x26222 x26228 x26234 x26240 x26246
541.60/529.54	v x26252 x26258 x26264 x26270 x26276 x26282 x26288 x26294 x26300 x26306 x26312 x26318 x26324 x26330 x26336 x26342 x26348
541.60/529.54	v x26354 x26360 x26366 x26372 x26378 x26387 x26389 x26395 x26401 x26407 x26413 x26424 x26427 x26433 x26439 x26445 x26451
541.60/529.54	v x26457 x26463 x26469 x26475 x26481 x26487 x26493 x26499 x26505 x26511 x26517 x26523 x26529 x26535 x26541 x26547 x26553
541.60/529.54	v x26559 x26565 x26571 x26577 x26583 x26589 x26597 x26599 x26605 x26611 x26622 x26625 x26631 x26637 x26643 x26649 x26655
541.60/529.54	v x26661 x26667 x26673 x26679 x26685 x26691 x26697 x26703 x26709 x26715 x26721 x26727 x26733 x26741 x26747 x26749 x26755
541.60/529.54	v x26761 x26767 x26773 x26779 x26785 x26791 x26802 x26805 x26811 x26817 x26823 x26829 x26835 x26841 x26847 x26853 x26859
541.60/529.54	v x26865 x26871 x26877 x26883 x26889 x26895 x26901 x26907 x26913 x26919 x26925 x26931 x26937 x26943 x26949 x26955 x26961
541.60/529.54	v x26967 x26973 x26979 x26985 x26991 x26997 x27003 x27009 x27015 x27021 x27027 x27033 x27041 x27047 x27053 x27059 x27065
541.60/529.54	v x27071 x27077 x27083 x27089 x27095 x27101 x27107 x27113 x27119 x27125 x27131 x27137 x27143 x27149 x27155 x27161 x27167
541.60/529.54	v x27173 x27179 x27185 x27191 x27197 x27203 x27209 x27215 x27221 x27227 x27233 x27239 x27245 x27251 x27257 x27263 x27269
541.60/529.54	v x27275 x27281 x27287 x27293 x27299 x27305 x27311 x27317 x27323 x27329 x27335 x27341 x27347 x27353 x27359 x27365 x27371
541.60/529.54	v x27377 x27382 x27386 x27392 x27398 x27404 x27410 x27416 x27422 x27428 x27434 x27440 x27446 x27452 x27458 x27464 x27473
541.60/529.54	v x27479 x27485 x27491 x27497 x27503 x27509 x27515 x27521 x27527 x27533 x27539 x27545 x27551 x27557 x27563 x27569 x27574
541.60/529.54	v x27580 x27586 x27590 x27596 x27602 x27608 x27614 x27620 x27626 x27632 x27638 x27644 x27650 x27656 x27662 x27668 x27674
541.60/529.54	v x27680 x27686 x27692 x27698 x27704 x27710 x27716 x27722 x27728 x27734 x27740 x27746 x27752 x27758 x27764 x27770 x27776
541.60/529.54	v x27782 x27788 x27794 x27800 x27806 x27812 x27818 x27824 x27830 x27836 x27842 x27848 x27854 x27860 x27866 x27872 x27878
541.60/529.54	v x27884 x27890 x27896 x27902 x27908 x27914 x27920 x27926 x27932 x27938 x27944 x27950 x27956 x27962 x27968 x27977 x27983
541.60/529.54	v x27989 x27995 x28001 x28007 x28013 x28019 x28025 x28031 x28037 x28043 x28049 x28051 x28057 x28063 x28074 x28077 x28083
541.60/529.54	v x28089 x28095 x28101 x28107 x28113 x28119 x28125 x28131 x28137 x28143 x28149 x28155 x28161 x28167 x28173 x28179 x28185
541.60/529.54	v x28191 x28197 x28205 x28211 x28217 x28223 x28229 x28235 x28241 x28247 x28253 x28259 x28265 x28271 x28277 x28283 x28289
541.60/529.54	v x28295 x28301 x28307 x28313 x28319 x28325 x28331 x28337 x28343 x28349 x28355 x28361 x28367 x28373 x28379 x28385 x28391
541.60/529.54	v x28397 x28403 x28409 x28411 x28417 x28423 x28429 x28440 x28443 x28449 x28455 x28461 x28467 x28473 x28479 x28485 x28491
541.60/529.54	v x28499 x28505 x28511 x28517 x28523 x28529 x28535 x28541 x28547 x28553 x28559 x28565 x28571 x28577 x28583 x28589 x28595
541.60/529.54	v x28601 x28607 x28613 x28619 x28625 x28631 x28637 x28643 x28649 x28655 x28661 x28667 x28673 x28679 x28685 x28691 x28697
541.60/529.54	v x28703 x28709 x28715 x28721 x28727 x28733 x28739 x28745 x28751 x28757 x28763 x28769 x28775 x28781 x28787 x28793 x28799
541.60/529.54	v x28805 x28811 x28817 x28823 x28829 x28835 x28841 x28847 x28853 x28859 x28865 x28871 x28877 x28883 x28889 x28895 x28901
541.60/529.54	v x28907 x28913 x28919 x28925 x28931 x28937 x28943 x28949 x28955 x28961 x28967 x28973 x28979 x28985 x28991 x28997 x29003
541.60/529.54	v x29009 x29015 x29021 x29027 x29033 x29039 x29045 x29051 x29057 x29063 x29069 x29075 x29081 x29087 x29093 x29099 x29105
541.60/529.54	v x29111 x29113 x29119 x29125 x29131 x29137 x29143 x29149 x29155 x29161 x29167 x29173 x29184 x29187 x29193 x29199 x29205
541.60/529.54	v x29211 x29219 x29225 x29231 x29237 x29243 x29249 x29255 x29261 x29267 x29273 x29279 x29285 x29291 x29297 x29303 x29309
541.60/529.54	v x29315 x29321 x29327 x29333 x29339 x29345 x29351 x29357 x29363 x29369 x29375 x29381 x29387 x29393 x29399 x29405 x29411
541.60/529.54	v x29417 x29423 x29429 x29435 x29441 x29447 x29453 x29459 x29465 x29471 x29477 x29483 x29489 x29495 x29501 x29507 x29513
541.60/529.54	v x29519 x29525 x29531 x29537 x29543 x29549 x29555 x29561 x29567 x29573 x29579 x29585 x29591 x29597 x29603 x29609 x29615
541.60/529.54	v x29621 x29627 x29633 x29639 x29645 x29651 x29657 x29663 x29669 x29675 x29681 x29687 x29693 x29699 x29705 x29711 x29717
541.60/529.54	v x29723 x29729 x29735 x29741 x29747 x29753 x29759 x29765 x29771 x29777 x29783 x29789 x29795 x29801 x29807 x29813 x29819
541.60/529.54	v x29825 x29831 x29837 x29843 x29849 x29855 x29861 x29867 x29873 x29879 x29885 x29891 x29897 x29903 x29909 x29915 x29921
541.60/529.54	v x29927 x29933 x29939 x29945 x29951 x29957 x29963 x29969 x29975 x29981 x29987 x29993 x29999 x30001 x30007 x30013 x30019
541.60/529.54	v x30025 x30031 x30037 x30043 x30049 x30055 x30061 x30067 x30073 x30079 x30085 x30091 x30097 x30103 x30109 x30115 x30121
541.60/529.54	v x30127 x30133 x30139 x30145 x30151 x30157 x30163 x30169 x30175 x30181 x30187 x30193 x30199 x30205 x30211 x30222 x30228
541.60/529.54	v x30234 x30240 x30246 x30252 x30258 x30264 x30270 x30276 x30282 x30288 x30294 x30300 x30306 x30312 x30318 x30324 x30330
541.60/529.54	v x30336 x30342 x30348 x30354 x30360 x30366 x30372 x30378 x30384 x30390 x30396 x30402 x30408 x30414 x30420 x30426 x30432
541.60/529.54	v x30438 x30444 x30450 x30456 x30462 x30463 x30469 x30475 x30481 x30487 x30493 x30499 x30510 x30513 x30519 x30525 x30531
541.60/529.54	v x30537 x30543 x30549 x30557 x30563 x30569 x30575 x30581 x30587 x30593 x30599 x30605 x30611 x30617 x30623 x30629 x30635
541.60/529.54	v x30641 x30647 x30653 x30659 x30665 x30671 x30677 x30683 x30689 x30695 x30701 x30707 x30713 x30719 x30725 x30731 x30737
541.60/529.54	v x30743 x30749 x30755 x30761 x30767 x30773 x30775 x30781 x30787 x30793 x30799 x30805 x30811 x30822 x30825 x30831 x30837
541.60/529.54	v x30843 x30849 x30857 x30863 x30869 x30875 x30881 x30887 x30893 x30899 x30905 x30911 x30917 x30923 x30929 x30935 x30941
541.60/529.54	v x30947 x30953 x30959 x30965 x30971 x30977 x30983 x30989 x30995 x31001 x31007 x31013 x31019 x31025 x31031 x31037 x31043
541.60/529.54	v x31049 x31055 x31061 x31067 x31073 x31079 x31085 x31091 x31097 x31103 x31109 x31115 x31121 x31127 x31133 x31139 x31145
541.60/529.54	v x31151 x31157 x31163 x31169 x31175 x31181 x31187 x31193 x31199 x31205 x31211 x31217 x31223 x31229 x31235 x31241 x31247
541.60/529.54	v x31253 x31259 x31265 x31271 x31277 x31283 x31289 x31295 x31301 x31306 x31310 x31316 x31322 x31328 x31334 x31340 x31346
541.60/529.54	v x31352 x31358 x31364 x31370 x31376 x31382 x31388 x31394 x31400 x31406 x31412 x31418 x31424 x31430 x31436 x31442 x31448
541.60/529.54	v x31454 x31460 x31469 x31474 x31478 x31484 x31490 x31496 x31502 x31508 x31514 x31520 x31526 x31532 x31538 x31544 x31550
541.60/529.54	v x31556 x31562 x31568 x31574 x31583 x31589 x31595 x31601 x31607 x31613 x31619 x31621 x31627 x31633 x31639 x31645 x31651
541.60/529.54	v x31657 x31663 x31669 x31675 x31681 x31687 x31693 x31704 x31707 x31713 x31719 x31725 x31731 x31739 x31745 x31751 x31757
541.60/529.54	v x31763 x31769 x31775 x31781 x31787 x31793 x31799 x31805 x31811 x31817 x31823 x31829 x31835 x31841 x31847 x31853 x31859
541.60/529.54	v x31865 x31871 x31877 x31883 x31889 x31895 x31901 x31907 x31913 x31919 x31925 x31931 x31937 x31943 x31949 x31955 x31961
541.60/529.54	v x31963 x31969 x31975 x31981 x31987 x31993 x31999 x32005 x32011 x32017 x32023 x32029 x32035 x32041 x32047 x32053 x32059
541.60/529.54	v x32065 x32076 x32082 x32088 x32094 x32100 x32106 x32112 x32118 x32124 x32130 x32136 x32142 x32148 x32154 x32160 x32166
541.60/529.54	v x32172 x32178 x32184 x32190 x32196 x32202 x32208 x32211 x32217 x32223 x32229 x32235 x32243 x32249 x32255 x32257 x32263
541.60/529.54	v x32269 x32280 x32283 x32289 x32295 x32301 x32307 x32313 x32319 x32325 x32331 x32337 x32343 x32349 x32355 x32361 x32367
541.60/529.54	v x32373 x32379 x32385 x32391 x32397 x32403 x32409 x32415 x32421 x32427 x32433 x32439 x32447 x32453 x32459 x32465 x32471
541.60/529.54	v x32477 x32483 x32489 x32495 x32501 x32507 x32513 x32519 x32525 x32531 x32537 x32543 x32549 x32555 x32561 x32567 x32573
541.60/529.54	v x32579 x32585 x32591 x32597 x32603 x32609 x32615 x32621 x32627 x32633 x32639 x32645 x32651 x32653 x32659 x32665 x32671
541.60/529.54	v x32677 x32688 x32691 x32697 x32703 x32709 x32715 x32721 x32727 x32733 x32739 x32745 x32751 x32757 x32763 x32769 x32775
541.60/529.54	v x32781 x32787 x32793 x32799 x32805 x32811 x32817 x32823 x32831 x32837 x32843 x32849 x32855 x32861 x32863 x32869 x32875
541.60/529.54	v x32881 x32892 x32898 x32904 x32910 x32916 x32922 x32928 x32934 x32940 x32946 x32952 x32958 x32964 x32965 x32971 x32977
541.60/529.54	v x32983 x32989 x32995 x33001 x33012 x33015 x33021 x33027 x33033 x33039 x33045 x33051 x33057 x33063 x33069 x33075 x33081
541.60/529.54	v x33087 x33093 x33099 x33105 x33111 x33119 x33125 x33131 x33133 x33139 x33145 x33151 x33157 x33163 x33169 x33180 x33183
541.60/529.54	v x33189 x33195 x33201 x33207 x33215 x33221 x33227 x33233 x33239 x35576 x35594 x35596 x35601 x35606 x35607 x35608 x36167
541.60/529.54	v x36194 x36195 x37368 x37371 x37381 x37389 x37407 x37409 x37414 x37419 x37420 x37421 x37425 x37452 x37453 x38516 x38520
541.60/529.54	v x39292 x39295 x39305 x39831 x39849 x39851 x39856 x39861 x39862 x39863 x39941 x39968 x39969 x40402 x40405 x40415 x41126
541.60/529.54	v x41144 x41146 x41151 x41156 x41157 x41158 x41199 x41226 x41227 x43938 x43956 x43958 x43963 x43968 x43969 x43970 x45121
541.60/529.54	v x45148 x45149 x46322 x46325 x46335 x46787 x46805 x46807 x46812 x46817 x46818 x46819 x46897 x46924 x46925 x51354 x51357
541.60/529.54	v x51367 x51981 x51991 x52089 x52104 x52105 x52120 x52138 x52301 x52319 x52329 x53017 x53027 x53125 x53140 x53141 x53156
541.60/529.54	v x53174 x53559 x53577 x53587 x53906 x53919 x54309 x54324 x54325 x54340 x54358 x55705 x55723 x55733 x56012 x56021 x56899
541.60/529.54	v x56914 x56915 x57820 x57834 x58157 x58172 x58173 x58488 x58503 x58601 x58616 x58617 x58632 x58650 x59479 x59497 x59507
541.60/529.54	v x59677 x59687 x59859 x59874 x59875 x60262 x60276 x60599 x60614 x60615 x61557 x61571 x61857 x61872 x61873 x61888 x61906
541.60/529.54	v x62069 x62087 x62097 x66227 x66240 x66963 x66978 x66979 x66994 x67012 x67841 x67859 x67869 x68040 x68053 x68221 x68236
541.60/529.54	v x68237 x68252 x68270 x68581 x68599 x68609 x68704 x68713 x68961 x68976 x68977 x68992 x69010 x69099 x69117 x69127 x69888
541.60/529.54	v x69897 x70219 x70234 x70235 x70477 x70495 x70737 x70752 x70753 x70768 x70786 x71689 x71707 x71717 x71777 x71790 x71995
541.60/529.54	v x72010 x72011 x72026 x72044 x73835 x73853 x73863 x74106 x74115 x74363 x74378 x74379 x74394 x74412 x74501 x74519 x74529
541.60/529.54	v x83060 x83069 x83317 x83332 x83333 x83348 x83366 x84527 x84545 x84547 x84552 x84557 x84558 x84559 x84785 x84812 x84813
541.60/529.54	v x89094 x89097 x89107 x91461 x91474 x91679 x91694 x91695 x91710 x91728 x92039 x92057 x92067 x95010 x95019 x96489 x96504
541.60/529.54	v x96505 x96520 x96538 x97145 x97163 x97173 x97859 x97868 x98265 x98280 x98281 x98296 x98314 x99143 x99161 x99171 x101671
541.60/529.54	v x101680 x101965 x101980 x101981 x101996 x102014 x102843 x102861 x102871 x107073 x107082 x107885 x107900 x107901 x107916
541.60/529.54	v x107934 x108541 x108559 x108569 x108886 x108895 x109143 x109158 x109159 x109174 x109192 x109281 x109299 x109309 x109983
541.60/529.54	v x110001 x110003 x110008 x110013 x110014 x110015 x110167 x110194 x110195 x111311 x111337 x112606 x112632 x113237 x113267
541.60/529.54	v x114273 x114303 x114920 x114923 x114933 x114941 x114959 x114961 x114966 x114971 x114972 x114973 x114977 x115004 x115005
541.60/529.54	v x117140 x117143 x117153 x117174 x117183 x117431 x117446 x117447 x117462 x117480 x117717 x117735 x117745 x119766 x119779
541.60/529.54	v x119947 x119962 x119963 x120945 x120963 x121205 x121220 x121221 x121236 x121254 x122009 x122027 x122037 x122096 x122106
541.60/529.54	v x122241 x122256 x122257 x122272 x122290 x122527 x122545 x122555 x123895 x123913 x123915 x123920 x123925 x123926 x123927
541.60/529.54	v x123931 x123958 x123959 x125165 x125174 x125497 x125512 x125513 x126088 x126106 x126311 x126326 x126327 x126342 x126360
541.60/529.54	v x126671 x126689 x126699 x127373 x127391 x127393 x127398 x127403 x127404 x127405 x127409 x127436 x127437 x131792 x131795
541.60/529.54	v x131805 x134119 x134128 x134451 x134466 x134467 x134482 x134500 x135859 x135868 x137263 x137278 x137279 x137595 x137613
541.60/529.54	v x137781 x137796 x137797 x137812 x137830 x138659 x138677 x138687 x138708 x138717 x139039 x139054 x139055 x139070 x139088
541.60/529.54	v x141841 x141859 x141869 x142518 x142527 x142887 x142902 x142903 x142918 x142936 x146514 x146523 x146883 x146898 x146899
541.60/529.54	v x146914 x146932 x147687 x147705 x147715 x150846 x150859 x151175 x151190 x151191 x151206 x151224 x152571 x152589 x152599
541.60/529.54	v x156714 x156732 x156734 x156739 x156744 x156745 x156746 x156787 x156814 x156815 x157396 x157399 x157409 x158023 x158033
541.60/529.54	v x158131 x158146 x158147 x158162 x158180 x159157 x159175 x159185 x160611 x160620 x160943 x160958 x160959 x160974 x160992
541.60/529.54	v x161747 x161765 x161775 x161795 x161804 x162201 x162216 x162217 x162232 x162250 x162339 x162357 x162367 x166235 x166244
541.60/529.54	v x166789 x166804 x166805 x174519 x174533 x174707 x174722 x174723 x174738 x174756 x175363 x175381 x175391 x175560 x175569
541.60/529.54	v x175743 x175758 x175759 x175774 x175792 x176708 x176718 x177963 x177978 x177979 x178440 x178454 x178777 x178792 x178793
541.60/529.54	v x179552 x179567 x179739 x179754 x179755 x179770 x179788 x184465 x184483 x184493 x186440 x186453 x186621 x186636 x186637
541.60/529.54	v x186656 x186671 x186991 x187006 x187007 x187022 x187040 x187795 x187813 x187823 x193566 x193584 x193586 x193591 x193596
541.60/529.54	v x193597 x193598 x193639 x193666 x193667 x195358 x195361 x195371 x195394 x195407 x195575 x195590 x195591 x195606 x195624
541.60/529.54	v x196651 x196661 x196759 x196774 x196775 x196790 x196808 x197489 x197507 x197517 x197575 x197584 x197869 x197884 x197885
541.60/529.54	v x197900 x197918 x199339 x199357 x199367 x201447 x201465 x201467 x201472 x201477 x201478 x201479 x201483 x201510 x201511
541.60/529.54	v x202018 x202021 x202031 x202631 x202649 x202651 x202656 x202661 x202662 x202663 x202741 x202768 x202769 x205126 x205129
541.60/529.54	v x205139 x205605 x205615 x205713 x205728 x205729 x205744 x205762 x206517 x206535 x206545 x207788 x207798 x207933 x207948
541.60/529.54	v x207949 x207964 x207982 x208293 x208311 x208321 x212116 x212125 x212521 x212536 x212537 x212552 x212570 x212733 x212751
541.60/529.54	v x212761 x217557 x217570 x218885 x218900 x218901 x220401 x220419 x220661 x220676 x220677 x220692 x220710 x220947 x220965
541.60/529.54	v x220975 x222329 x222339 x222585 x222600 x222601 x222616 x222634 x222797 x222815 x222825 x225571 x225589 x225591 x225596
541.60/529.54	v x225601 x225602 x225603 x225607 x225634 x225635 x226586 x226589 x226599 x226607 x226625 x226627 x226632 x226637 x226638
541.60/529.54	v x226639 x226643 x226670 x226671 x227508 x227517 x227987 x228002 x228003 x228018 x228036 x228199 x228217 x228227 x229618
541.60/529.54	v x229628 x230281 x230296 x230297 x231126 x231144 x231307 x231325 x231335 x231431 x231441 x231539 x231554 x231555 x231570
541.60/529.54	v x231588 x232565 x232583 x232593 x233873 x233883 x234055 x234070 x234071 x234086 x234104 x234933 x234951 x234961 x235168
541.60/529.54	v x235178 x235313 x235328 x235329 x235790 x235804 x236053 x236068 x236069 x236084 x236102 x236709 x236727 x236737 x236831
541.60/529.54	v x236840 x237089 x237104 x237105 x237120 x237138 x237301 x237319 x237329 x237497 x237765 x237929 x237982 x238001 x238107
541.60/529.54	v x238289 x238393 x238495 x238518 x238523 x238759 x239029 x239093 x239249 x239251 x239424 x239621 x239773 x239792 x239912
541.60/529.54	v x239996 x240009 x240044 x240134 x240182 x240195 x240445 x240464 x240641 x240643 x240720 x240926 x241165 x241365 x241800
541.60/529.54	v x241828 x241829 x241847 x241854 x242074 x242120 x242198 x242369 x242467 x242474 x242508 x242666 x242802 x243179 x243243
541.60/529.54	v x243446 x243478 x243512 x243861 x243979 x244065 x244293 x244437 x244610 x244618 x245057 x245100 x245174 x245352 x245472
541.60/529.54	v x245691 x245860 x246164 x246280 x246305 x246571 x246665 x246768 x246877 x246922 x247299 x247368 x247388 x247413 x247429
541.60/529.54	v x247501 x247775 x247940 x248161 x248335 x248358 x248406 x248431 x248546 x248907 x248980 x249020 x249110 x249307 x249456
541.60/529.54	v x249551 x249709 x249761 x249843 x249865 x249933 x250011 x250468 x250672 x251153 x251464 x251678 x251707 x251911 x251967
541.60/529.54	v x252025 x252233 x252274 x252350 x252637 x252949 x253062 x253199 x253249 x253290 x253327 x253372 x253584 x253605 x253612
541.60/529.54	v x253738 x253928 x253962 x254064 x254093 x254115 x254332 x254507 x254578 x254844 x254862 x254984 x255057 x255150 x255245
541.60/529.54	v x255526 x255823 x255835 x256077 x256393 x256537 x256543 x256617 x256626 x256655 x256768 x256855 x256871 x256886 x257057
541.60/529.54	v x257116 x257125 x257239 x257393 x257527 x257798 x257833 x257841 x257919 x257956 x258155 x258343 x258346 x258573 x258586
541.60/529.54	v x258616 x258624 x259157 x259371 x259463 x259476 x259736 x259747 x259874 x259893 x259899 x260039 x260064 x260100 x260220
541.60/529.54	v x260229 x260471 x260688 x260732 x260790 x260846 x261441 x261514 x261536 x261618 x261629 x262330 x262417 x262630 x262719
541.60/529.54	v x263171 x263342 x263470 x263622 x263906 x263948 x263951 x264203 x264375 x264620 x264654 x264883 x265288 x265365

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/418974-1177400546/instance-418974-1177400546.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/node46/watcher-418974-1177400546 -o ROOT/results/node46/solver-418974-1177400546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-418974-1177400546.opb /tmp/evaluation/418974-1177400546/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: 0.92 0.95 0.82 3/78 30599
/proc/meminfo: memFree=1710400/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=12268 CPUtime=0
/proc/30599/stat : 30599 (pbclasp) D 30597 30599 30449 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 94738199 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255826033253 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/30599/statm: 3067 317 242 3 0 167 0

[startup+0.00792211 s]
/proc/loadavg: 0.92 0.95 0.82 3/78 30599
/proc/meminfo: memFree=1710400/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=12268 CPUtime=0
/proc/30599/stat : 30599 (pbclasp) D 30597 30599 30449 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 94738199 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255826033253 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/30599/statm: 3067 317 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101925 s]
/proc/loadavg: 0.92 0.95 0.82 3/78 30599
/proc/meminfo: memFree=1710400/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=16448 CPUtime=0.08
/proc/30599/stat : 30599 (pbclasp) R 30597 30599 30449 0 -1 4194304 1459 0 0 0 8 0 0 0 18 0 1 0 94738199 16842752 1426 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255825711783 0 0 4224 16384 0 0 0 17 1 0 0
/proc/30599/statm: 4112 1426 314 3 0 1212 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16448

[startup+0.301962 s]
/proc/loadavg: 0.92 0.95 0.82 3/78 30599
/proc/meminfo: memFree=1710400/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=0.29
/proc/30599/stat : 30599 (pbclasp) R 30597 30599 30449 0 -1 4194304 3578 0 0 0 28 1 0 0 19 0 1 0 94738199 25440256 3545 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 0 0 0 17 1 0 0
/proc/30599/statm: 6211 3545 316 3 0 3311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24844

[startup+0.701042 s]
/proc/loadavg: 0.92 0.95 0.82 3/78 30599
/proc/meminfo: memFree=1710400/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=0.69
/proc/30599/stat : 30599 (pbclasp) R 30597 30599 30449 0 -1 4194304 3578 0 0 0 67 2 0 0 22 0 1 0 94738199 25440256 3545 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 0 0 0 17 1 0 0
/proc/30599/statm: 6211 3545 316 3 0 3311 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24844

[startup+1.50218 s]
/proc/loadavg: 0.92 0.95 0.82 2/79 30600
/proc/meminfo: memFree=1696504/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 24844

[startup+3.10148 s]
/proc/loadavg: 0.93 0.95 0.82 3/83 30604
/proc/meminfo: memFree=1692952/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=0
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30602] ppid=30601 vsize=12400 CPUtime=1.75
/proc/30602/stat : 30602 (pb2clasp1) R 30601 30599 30449 0 -1 4194304 502 0 0 0 175 0 0 0 25 0 1 0 94738324 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255843759482 0 0 4224 0 0 0 0 17 0 0 0
/proc/30602/statm: 3100 461 340 3 0 200 0
[pid=30603] ppid=30601 vsize=8880 CPUtime=0.21
/proc/30603/stat : 30603 (clasp-1.0) S 30601 30599 30449 0 -1 4194304 1830 0 0 0 21 0 0 0 16 0 1 0 94738324 9093120 1795 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30603/statm: 2220 1795 230 81 0 1594 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 94738324 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 63744

[startup+6.30207 s]
/proc/loadavg: 0.93 0.95 0.82 2/83 30604
/proc/meminfo: memFree=1682904/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=0
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30602] ppid=30601 vsize=12400 CPUtime=4.92
/proc/30602/stat : 30602 (pb2clasp1) R 30601 30599 30449 0 -1 4194304 502 0 0 0 491 1 0 0 25 0 1 0 94738324 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255843779840 0 0 4224 0 0 0 0 17 0 0 0
/proc/30602/statm: 3100 461 340 3 0 200 0
[pid=30603] ppid=30601 vsize=18836 CPUtime=0.66
/proc/30603/stat : 30603 (clasp-1.0) S 30601 30599 30449 0 -1 4194304 4276 0 0 0 64 2 0 0 16 0 1 0 94738324 19288064 4241 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30603/statm: 4709 4241 230 81 0 4083 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 94738324 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 73700

[startup+12.7013 s]
/proc/loadavg: 0.94 0.96 0.82 2/83 30604
/proc/meminfo: memFree=1653464/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=0
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30602] ppid=30601 vsize=12400 CPUtime=11.26
/proc/30602/stat : 30602 (pb2clasp1) R 30601 30599 30449 0 -1 4194304 502 0 0 0 1125 1 0 0 25 0 1 0 94738324 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255825532491 0 0 4224 0 0 0 0 17 0 0 0
/proc/30602/statm: 3100 461 340 3 0 200 0
[pid=30603] ppid=30601 vsize=48616 CPUtime=1.68
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 12100 0 0 0 161 7 0 0 16 0 1 0 94738324 49782784 11736 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160225602 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 12154 11736 230 81 0 11528 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 94738324 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 14.16
Current children cumulated vsize (KiB) 103480

[startup+25.5016 s]
/proc/loadavg: 1.03 0.97 0.82 2/83 30604
/proc/meminfo: memFree=1607768/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=0
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30602] ppid=30601 vsize=12400 CPUtime=23.89
/proc/30602/stat : 30602 (pb2clasp1) R 30601 30599 30449 0 -1 4194304 502 0 0 0 2386 3 0 0 25 0 1 0 94738324 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255843923539 0 0 4224 0 0 0 0 17 0 0 0
/proc/30602/statm: 3100 461 340 3 0 200 0
[pid=30603] ppid=30601 vsize=93676 CPUtime=3.73
/proc/30603/stat : 30603 (clasp-1.0) S 30601 30599 30449 0 -1 4194304 23122 0 0 0 359 14 0 0 16 0 1 0 94738324 95924224 22555 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30603/statm: 23419 22555 230 81 0 22793 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 94738324 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 28.84
Current children cumulated vsize (KiB) 148540

[startup+51.1024 s]
/proc/loadavg: 1.08 0.99 0.83 2/83 30604
/proc/meminfo: memFree=1530968/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=0
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30602] ppid=30601 vsize=12400 CPUtime=49.23
/proc/30602/stat : 30602 (pb2clasp1) R 30601 30599 30449 0 -1 4194304 502 0 0 0 4917 6 0 0 25 0 1 0 94738324 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255843728055 0 0 4224 0 0 0 0 17 0 0 0
/proc/30602/statm: 3100 461 340 3 0 200 0
[pid=30603] ppid=30601 vsize=171060 CPUtime=7.98
/proc/30603/stat : 30603 (clasp-1.0) S 30601 30599 30449 0 -1 4194304 42532 0 0 0 772 26 0 0 16 0 1 0 94738324 175165440 41965 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/30603/statm: 42765 41965 230 81 0 42139 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 94738324 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 58.43
Current children cumulated vsize (KiB) 225924

[startup+102.307 s]
/proc/loadavg: 1.03 0.99 0.84 2/82 30604
/proc/meminfo: memFree=1152352/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=548300 CPUtime=35.33
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 168587 0 0 0 3450 83 0 0 25 0 1 0 94738324 561459200 136083 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737327 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 137075 136083 245 81 0 136449 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 114.57
Current children cumulated vsize (KiB) 590764

[startup+162.302 s]
/proc/loadavg: 1.01 0.99 0.84 2/82 30604
/proc/meminfo: memFree=1152352/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=548300 CPUtime=95.3
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 168589 0 0 0 9446 84 0 0 25 0 1 0 94738324 561459200 136085 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737304 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 137075 136085 245 81 0 136449 0

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

/proc/30603/statm: 137075 136085 245 81 0 136449 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 294.49
Current children cumulated vsize (KiB) 590764

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.86 2/82 30604
/proc/meminfo: memFree=1152288/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=548300 CPUtime=275.23
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 168589 0 0 0 27438 85 0 0 25 0 1 0 94738324 561459200 136085 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 137075 136085 245 81 0 136449 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 354.47
Current children cumulated vsize (KiB) 590764

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.87 2/82 30604
/proc/meminfo: memFree=1135328/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=566460 CPUtime=335.21
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 173005 0 0 0 33432 89 0 0 25 0 1 0 94738324 580055040 140399 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782446 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 141615 140399 245 81 0 140989 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 414.45
Current children cumulated vsize (KiB) 608924

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.87 2/82 30604
/proc/meminfo: memFree=1113632/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=588060 CPUtime=395.19
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 178379 0 0 0 39423 96 0 0 25 0 1 0 94738324 602173440 145773 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782437 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 147015 145773 245 81 0 146389 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 474.43
Current children cumulated vsize (KiB) 630524

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.88 2/82 30604
/proc/meminfo: memFree=1089696/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=613300 CPUtime=455.17
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 184769 0 0 0 45416 101 0 0 25 0 1 0 94738324 628019200 151920 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782474 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 153325 151920 245 81 0 152699 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 534.41
Current children cumulated vsize (KiB) 655764

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

[startup+524.707 s]
/proc/loadavg: 1.00 0.99 0.88 2/82 30604
/proc/meminfo: memFree=1087264/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=614972 CPUtime=457.57
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 185201 0 0 0 45656 101 0 0 25 0 1 0 94738324 629731328 152352 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737304 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 153743 152352 245 81 0 153117 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 536.81
Current children cumulated vsize (KiB) 657436

[startup+527.902 s]
/proc/loadavg: 1.00 0.99 0.88 2/82 30604
/proc/meminfo: memFree=1085152/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=617096 CPUtime=460.77
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 185745 0 0 0 45975 102 0 0 25 0 1 0 94738324 631906304 152860 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 154274 152860 245 81 0 153648 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (KiB) 659560

[startup+528.702 s]
/proc/loadavg: 1.00 0.99 0.88 2/82 30604
/proc/meminfo: memFree=1085152/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=617564 CPUtime=461.56
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 185905 0 0 0 46054 102 0 0 25 0 1 0 94738324 632385536 152984 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616169 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 154391 152984 245 81 0 153765 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 540.8
Current children cumulated vsize (KiB) 660028

[startup+529.107 s]
/proc/loadavg: 1.00 0.99 0.88 2/82 30604
/proc/meminfo: memFree=1084640/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=617564 CPUtime=461.97
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194304 185909 0 0 0 46095 102 0 0 25 0 1 0 94738324 632385536 152988 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 154391 152988 245 81 0 153765 0
[pid=30604] ppid=30601 vsize=12268 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 94738324 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 541.21
Current children cumulated vsize (KiB) 660028

[startup+529.503 s]
/proc/loadavg: 1.00 0.99 0.88 2/82 30604
/proc/meminfo: memFree=1084640/2055920 swapFree=4159760/4192956
[pid=30599] ppid=30597 vsize=24844 CPUtime=1.22
/proc/30599/stat : 30599 (pbclasp) S 30597 30599 30449 0 -1 4194304 3600 0 0 0 117 5 0 0 16 0 1 0 94738199 25440256 3549 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255834763362 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/30599/statm: 6211 3549 320 3 0 3311 0
[pid=30601] ppid=30599 vsize=5352 CPUtime=78.02
/proc/30601/stat : 30601 (sh) S 30599 30599 30449 0 -1 4194304 297 504 0 0 0 0 7791 11 16 0 1 0 94738323 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255825863492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30601/statm: 1338 224 188 169 0 49 0
[pid=30603] ppid=30601 vsize=0 CPUtime=462.36
/proc/30603/stat : 30603 (clasp-1.0) R 30601 30599 30449 0 -1 4194308 185932 0 0 0 46128 108 0 0 25 0 1 0 94738324 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/30603/statm: 0 0 0 0 0 0 0
[pid=30604] ppid=30601 vsize=12404 CPUtime=0
/proc/30604/stat : 30604 (pboutclasp.pl) S 30601 30599 30449 0 -1 4194304 478 0 0 0 0 0 0 0 16 0 1 0 94738324 12701696 438 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 255834763362 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/30604/statm: 3101 438 311 3 0 201 0
Current children cumulated CPU time (s) 541.6
Current children cumulated vsize (KiB) 42600

Child status: 0
Real time (s): 529.599
CPU time (s): 541.691
CPU user time (s): 540.387
CPU system time (s): 1.3038
CPU usage (%): 102.283
Max. virtual memory (cumulated for all children) (KiB): 660028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 540.387
system time used= 1.3038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193015
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= 11733
involuntary context switches= 11960

runsolver used 0.483926 second user time and 1.45278 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue Apr 24 07:42:32 UTC 2007

IDJOB= 418974
IDBENCH= 47740
IDSOLVER= 167
FILE ID= node46/418974-1177400546

PBS_JOBID= 4675610

Free space on /tmp= 66046 MiB

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  90ccb0c7dc7e94c1593330c60222a31c

RANDOM SEED= 54481587

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1710808 kB
Buffers:         45824 kB
Cached:         202868 kB
SwapCached:       3112 kB
Active:         160524 kB
Inactive:       111868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710808 kB
SwapTotal:     4192956 kB
SwapFree:      4159760 kB
Dirty:           39452 kB
Writeback:           0 kB
Mapped:          31064 kB
Slab:            58056 kB
Committed_AS:  3431248 kB
PageTables:       1992 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= 66046 MiB

End job on node46 on Tue Apr 24 07:51:22 UTC 2007