Trace number 418960

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 142.141 129.206

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
anbulagan/medium-sat/total-5-19-s.opb
MD5SUM21191f849caa983290b013df53d5d87e
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 benchmark43.8723
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 variables279590
Total number of constraints1337190
Number of constraints which are clauses1337190
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)

142.00/129.18	s SATISFIABLE
142.00/129.18	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
142.00/129.18	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 x331
142.00/129.18	v x337 x343 x349 x355 x366 x372 x378 x384 x390 x396 x402 x408 x414 x420 x426 x427 x433 x439 x445 x451 x457 x463 x469 x475 x486 x489
142.00/129.18	v x497 x499 x505 x511 x517 x523 x529 x535 x541 x547 x553 x559 x570 x573 x579 x585 x591 x597 x605 x611 x617 x623 x629 x635 x641 x647
142.00/129.18	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
142.00/129.18	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
142.00/129.18	v x965 x971 x977 x983 x989 x995 x1001 x1007 x1013 x1019 x1025 x1031 x1037 x1043 x1049 x1055 x1061 x1067 x1073 x1079 x1085 x1091
142.00/129.18	v x1097 x1103 x1109 x1115 x1121 x1127 x1133 x1139 x1145 x1151 x1157 x1159 x1165 x1171 x1177 x1183 x1194 x1197 x1203 x1209 x1215
142.00/129.18	v x1221 x1229 x1235 x1241 x1243 x1249 x1255 x1261 x1267 x1278 x1281 x1287 x1293 x1299 x1305 x1311 x1317 x1323 x1329 x1335 x1341
142.00/129.18	v x1347 x1353 x1359 x1365 x1371 x1377 x1383 x1389 x1395 x1401 x1407 x1413 x1421 x1427 x1433 x1439 x1445 x1451 x1457 x1463 x1469
142.00/129.18	v x1475 x1481 x1487 x1493 x1499 x1505 x1511 x1517 x1523 x1529 x1535 x1541 x1546 x1550 x1556 x1562 x1568 x1574 x1580 x1586 x1592
142.00/129.18	v x1598 x1604 x1610 x1616 x1622 x1628 x1634 x1640 x1646 x1652 x1658 x1664 x1670 x1676 x1682 x1688 x1694 x1700 x1706 x1712 x1718
142.00/129.18	v x1724 x1730 x1736 x1742 x1751 x1756 x1760 x1766 x1772 x1778 x1784 x1790 x1796 x1802 x1808 x1814 x1820 x1826 x1832 x1838 x1844
142.00/129.18	v x1850 x1856 x1862 x1868 x1874 x1880 x1886 x1892 x1898 x1904 x1910 x1916 x1922 x1928 x1934 x1940 x1946 x1952 x1958 x1964 x1970
142.00/129.18	v x1976 x1982 x1991 x1997 x2003 x2009 x2015 x2021 x2027 x2033 x2039 x2045 x2051 x2057 x2063 x2069 x2075 x2081 x2087 x2093 x2099
142.00/129.18	v x2105 x2111 x2117 x2123 x2129 x2135 x2141 x2147 x2153 x2159 x2165 x2171 x2177 x2183 x2189 x2195 x2201 x2207 x2213 x2219 x2225
142.00/129.18	v x2231 x2237 x2243 x2249 x2255 x2261 x2267 x2273 x2279 x2285 x2291 x2297 x2303 x2309 x2315 x2321 x2327 x2333 x2339 x2345 x2351
142.00/129.18	v x2357 x2363 x2369 x2375 x2377 x2383 x2389 x2395 x2401 x2407 x2413 x2419 x2425 x2436 x2442 x2448 x2454 x2460 x2466 x2472 x2478
142.00/129.18	v x2484 x2485 x2491 x2497 x2503 x2509 x2520 x2523 x2529 x2535 x2541 x2547 x2553 x2559 x2565 x2571 x2577 x2583 x2589 x2595 x2601
142.00/129.18	v x2607 x2613 x2619 x2625 x2631 x2639 x2645 x2651 x2657 x2662 x2668 x2674 x2680 x2684 x2690 x2696 x2702 x2708 x2714 x2720 x2726
142.00/129.18	v x2732 x2738 x2744 x2750 x2759 x2765 x2771 x2777 x2783 x2789 x2795 x2801 x2807 x2813 x2819 x2825 x2831 x2837 x2839 x2845 x2851
142.00/129.18	v x2857 x2868 x2871 x2877 x2883 x2889 x2895 x2901 x2907 x2913 x2919 x2925 x2931 x2937 x2943 x2949 x2955 x2961 x2967 x2973 x2979
142.00/129.18	v x2985 x2991 x2997 x3003 x3009 x3015 x3021 x3027 x3033 x3039 x3045 x3051 x3057 x3063 x3069 x3075 x3081 x3087 x3093 x3099 x3105
142.00/129.18	v x3111 x3117 x3123 x3129 x3135 x3141 x3147 x3153 x3159 x3165 x3171 x3177 x3183 x3189 x3195 x3201 x3207 x3213 x3219 x3225 x3231
142.00/129.18	v x3237 x3243 x3249 x3255 x3261 x3267 x3273 x3279 x3285 x3291 x3297 x3303 x3309 x3315 x3321 x3327 x3333 x3339 x3345 x3351 x3357
142.00/129.18	v x3363 x3369 x3375 x3381 x3387 x3393 x3399 x3405 x3411 x3417 x3423 x3429 x3435 x3441 x3447 x3453 x3459 x3465 x3471 x3479 x3485
142.00/129.18	v x3491 x3497 x3503 x3509 x3515 x3521 x3527 x3533 x3539 x3545 x3551 x3557 x3563 x3569 x3575 x3581 x3587 x3593 x3599 x3605 x3611
142.00/129.18	v x3617 x3623 x3629 x3635 x3641 x3647 x3653 x3659 x3665 x3671 x3677 x3683 x3689 x3695 x3701 x3707 x3713 x3719 x3725 x3731 x3737
142.00/129.18	v x3743 x3749 x3755 x3761 x3767 x3773 x3779 x3785 x3791 x3797 x3803 x3809 x3815 x3821 x3827 x3833 x3839 x3845 x3851 x3857 x3863
142.00/129.18	v x3869 x3875 x3881 x3887 x3893 x3899 x3905 x3911 x3917 x3923 x3929 x3935 x3941 x3947 x3953 x3959 x3965 x3971 x3977 x3983 x3989
142.00/129.18	v x3994 x4000 x4006 x4012 x4018 x4022 x4028 x4034 x4040 x4046 x4052 x4058 x4064 x4070 x4076 x4082 x4088 x4094 x4100 x4106 x4112
142.00/129.18	v x4118 x4124 x4130 x4136 x4142 x4148 x4154 x4160 x4166 x4172 x4178 x4184 x4190 x4196 x4202 x4208 x4214 x4220 x4229 x4235 x4241
142.00/129.18	v x4247 x4253 x4259 x4265 x4271 x4277 x4283 x4289 x4295 x4301 x4307 x4313 x4319 x4325 x4331 x4337 x4343 x4349 x4355 x4361 x4367
142.00/129.18	v x4373 x4379 x4385 x4391 x4397 x4403 x4409 x4415 x4421 x4427 x4433 x4439 x4445 x4451 x4457 x4463 x4469 x4475 x4481 x4487 x4493
142.00/129.18	v x4499 x4505 x4511 x4517 x4523 x4529 x4535 x4541 x4547 x4553 x4559 x4565 x4571 x4577 x4583 x4589 x4595 x4601 x4607 x4613 x4619
142.00/129.18	v x4625 x4631 x4637 x4643 x4649 x4655 x4661 x4667 x4673 x4679 x4685 x4691 x4697 x4703 x4709 x4715 x4721 x4727 x4733 x4739 x4745
142.00/129.18	v x4751 x4757 x4763 x4769 x4775 x4781 x4787 x4793 x4799 x4805 x4811 x4817 x4823 x4829 x4835 x4841 x4847 x4853 x4859 x4865 x4871
142.00/129.18	v x4877 x4883 x4889 x4895 x4901 x4907 x4913 x4919 x4925 x4931 x4937 x4939 x4945 x4951 x4957 x4963 x4969 x4975 x4986 x4992 x4998
142.00/129.18	v x5004 x5010 x5016 x5022 x5028 x5034 x5035 x5041 x5047 x5053 x5059 x5065 x5071 x5082 x5085 x5091 x5097 x5103 x5109 x5115 x5121
142.00/129.18	v x5127 x5133 x5139 x5145 x5151 x5157 x5163 x5169 x5175 x5181 x5187 x5193 x5201 x5207 x5213 x5219 x5225 x5231 x5237 x5243 x5249
142.00/129.18	v x5255 x5261 x5267 x5273 x5279 x5285 x5291 x5297 x5303 x5309 x5315 x5317 x5323 x5329 x5335 x5341 x5347 x5353 x5359 x5365 x5371
142.00/129.18	v x5377 x5383 x5389 x5395 x5401 x5412 x5415 x5421 x5427 x5433 x5439 x5445 x5451 x5457 x5463 x5469 x5475 x5481 x5487 x5493 x5499
142.00/129.18	v x5505 x5511 x5517 x5523 x5529 x5535 x5541 x5547 x5553 x5559 x5565 x5571 x5577 x5583 x5589 x5595 x5601 x5607 x5613 x5619 x5625
142.00/129.18	v x5631 x5637 x5643 x5649 x5655 x5661 x5667 x5673 x5679 x5685 x5691 x5697 x5703 x5709 x5715 x5721 x5727 x5733 x5739 x5745 x5751
142.00/129.18	v x5757 x5763 x5769 x5775 x5781 x5787 x5793 x5799 x5805 x5811 x5817 x5823 x5829 x5835 x5841 x5847 x5853 x5859 x5865 x5871 x5877
142.00/129.18	v x5883 x5889 x5895 x5901 x5907 x5913 x5919 x5925 x5931 x5937 x5943 x5949 x5955 x5961 x5967 x5973 x5979 x5985 x5991 x5997 x6003
142.00/129.18	v x6009 x6015 x6021 x6027 x6033 x6039 x6047 x6053 x6059 x6065 x6071 x6077 x6083 x6089 x6095 x6101 x6107 x6113 x6119 x6125 x6131
142.00/129.18	v x6137 x6143 x6149 x6155 x6161 x6167 x6173 x6179 x6185 x6191 x6197 x6203 x6209 x6215 x6221 x6227 x6233 x6239 x6245 x6251 x6253
142.00/129.18	v x6259 x6265 x6276 x6279 x6285 x6291 x6297 x6303 x6309 x6315 x6321 x6327 x6333 x6339 x6345 x6351 x6357 x6363 x6369 x6375 x6381
142.00/129.18	v x6387 x6395 x6400 x6406 x6412 x6416 x6422 x6428 x6434 x6440 x6446 x6452 x6458 x6464 x6470 x6476 x6482 x6488 x6494 x6500 x6506
142.00/129.18	v x6512 x6518 x6524 x6530 x6536 x6542 x6548 x6554 x6560 x6566 x6572 x6578 x6584 x6590 x6596 x6602 x6608 x6614 x6620 x6626 x6632
142.00/129.18	v x6638 x6644 x6650 x6656 x6662 x6668 x6674 x6680 x6686 x6692 x6698 x6704 x6710 x6716 x6722 x6728 x6734 x6740 x6746 x6752 x6758
142.00/129.18	v x6764 x6770 x6776 x6782 x6788 x6794 x6800 x6806 x6812 x6818 x6824 x6830 x6836 x6842 x6848 x6854 x6860 x6866 x6872 x6878 x6887
142.00/129.18	v x6893 x6899 x6905 x6911 x6917 x6923 x6929 x6935 x6941 x6947 x6953 x6959 x6965 x6971 x6977 x6983 x6989 x6995 x7001 x7007 x7013
142.00/129.18	v x7019 x7025 x7031 x7037 x7043 x7049 x7055 x7061 x7066 x7072 x7078 x7084 x7090 x7096 x7102 x7108 x7114 x7120 x7126 x7132 x7138
142.00/129.18	v x7142 x7148 x7154 x7160 x7166 x7172 x7178 x7184 x7190 x7196 x7202 x7208 x7214 x7220 x7226 x7232 x7238 x7244 x7250 x7256 x7262
142.00/129.18	v x7268 x7274 x7280 x7286 x7292 x7298 x7304 x7310 x7316 x7322 x7328 x7334 x7340 x7346 x7352 x7358 x7364 x7370 x7376 x7382 x7388
142.00/129.18	v x7394 x7400 x7406 x7412 x7418 x7424 x7430 x7436 x7442 x7448 x7454 x7460 x7466 x7472 x7478 x7484 x7490 x7496 x7502 x7508 x7514
142.00/129.18	v x7520 x7526 x7532 x7538 x7544 x7550 x7556 x7562 x7568 x7574 x7580 x7586 x7592 x7598 x7604 x7610 x7616 x7622 x7628 x7634 x7640
142.00/129.18	v x7646 x7652 x7658 x7664 x7670 x7676 x7682 x7688 x7694 x7700 x7706 x7712 x7718 x7724 x7730 x7736 x7742 x7748 x7754 x7760 x7766
142.00/129.18	v x7772 x7778 x7784 x7790 x7796 x7805 x7807 x7813 x7819 x7825 x7831 x7837 x7843 x7854 x7857 x7863 x7869 x7875 x7881 x7887 x7893
142.00/129.18	v x7899 x7905 x7911 x7917 x7923 x7929 x7935 x7941 x7947 x7953 x7959 x7965 x7973 x7979 x7985 x7991 x7997 x8002 x8006 x8012 x8018
142.00/129.18	v x8024 x8030 x8036 x8042 x8048 x8054 x8060 x8066 x8072 x8078 x8084 x8090 x8096 x8102 x8108 x8114 x8120 x8126 x8132 x8138 x8144
142.00/129.18	v x8150 x8156 x8162 x8168 x8174 x8180 x8186 x8192 x8198 x8204 x8210 x8216 x8222 x8228 x8234 x8240 x8246 x8252 x8258 x8264 x8270
142.00/129.18	v x8276 x8282 x8288 x8294 x8300 x8306 x8312 x8318 x8324 x8330 x8336 x8342 x8348 x8354 x8360 x8366 x8372 x8378 x8384 x8390 x8396
142.00/129.18	v x8402 x8408 x8414 x8420 x8426 x8432 x8438 x8444 x8450 x8456 x8462 x8468 x8474 x8480 x8486 x8492 x8498 x8504 x8510 x8516 x8522
142.00/129.18	v x8528 x8534 x8540 x8546 x8552 x8558 x8564 x8570 x8576 x8582 x8588 x8594 x8600 x8606 x8612 x8618 x8624 x8630 x8636 x8642 x8648
142.00/129.18	v x8654 x8660 x8666 x8672 x8678 x8684 x8690 x8696 x8702 x8708 x8714 x8720 x8729 x8735 x8741 x8747 x8753 x8759 x8765 x8771 x8777
142.00/129.18	v x8783 x8789 x8795 x8801 x8807 x8809 x8815 x8821 x8827 x8833 x8839 x8845 x8856 x8862 x8868 x8874 x8880 x8886 x8892 x8898 x8904
142.00/129.18	v x8910 x8916 x8922 x8928 x8934 x8940 x8946 x8952 x8958 x8964 x8970 x8976 x8982 x8988 x8994 x9000 x9006 x9012 x9018 x9024 x9030
142.00/129.18	v x9036 x9042 x9048 x9054 x9060 x9061 x9067 x9073 x9079 x9085 x9091 x9097 x9103 x9109 x9120 x9126 x9132 x9138 x9144 x9150 x9156
142.00/129.18	v x9162 x9168 x9174 x9180 x9186 x9192 x9198 x9204 x9210 x9216 x9222 x9228 x9229 x9235 x9241 x9247 x9253 x9259 x9265 x9276 x9282
142.00/129.18	v x9288 x9294 x9300 x9306 x9312 x9318 x9324 x9330 x9336 x9342 x9348 x9354 x9360 x9366 x9372 x9378 x9384 x9390 x9396 x9402 x9408
142.00/129.18	v x9414 x9420 x9426 x9432 x9438 x9444 x9450 x9456 x9462 x9468 x9474 x9480 x9486 x9492 x9498 x9504 x9510 x9516 x9522 x9528 x9534
142.00/129.18	v x9540 x9546 x9552 x9558 x9564 x9570 x9576 x9582 x9588 x9594 x9600 x9606 x9612 x9618 x9624 x9630 x9636 x9642 x9648 x9654 x9660
142.00/129.18	v x9666 x9672 x9678 x9684 x9690 x9696 x9702 x9708 x9714 x9720 x9726 x9732 x9738 x9744 x9750 x9756 x9762 x9768 x9774 x9780 x9786
142.00/129.18	v x9792 x9798 x9804 x9810 x9816 x9822 x9828 x9834 x9840 x9846 x9852 x9858 x9864 x9870 x9876 x9882 x9888 x9894 x9900 x9906 x9912
142.00/129.18	v x9918 x9924 x9930 x9936 x9942 x9948 x9954 x9960 x9966 x9972 x9973 x9979 x9985 x9991 x9997 x10003 x10009 x10015 x10021 x10032
142.00/129.18	v x10038 x10044 x10050 x10056 x10062 x10068 x10074 x10080 x10086 x10092 x10098 x10104 x10110 x10116 x10122 x10128 x10134
142.00/129.18	v x10140 x10146 x10152 x10158 x10164 x10170 x10176 x10182 x10188 x10194 x10200 x10206 x10212 x10218 x10224 x10230 x10236
142.00/129.18	v x10242 x10248 x10254 x10260 x10266 x10272 x10278 x10284 x10290 x10296 x10302 x10308 x10314 x10320 x10326 x10332 x10338
142.00/129.18	v x10344 x10350 x10356 x10362 x10368 x10374 x10375 x10381 x10387 x10393 x10399 x10405 x10416 x10419 x10425 x10431 x10437
142.00/129.18	v x10443 x10449 x10455 x10461 x10467 x10473 x10481 x10483 x10489 x10495 x10501 x10507 x10513 x10519 x10525 x10531 x10542
142.00/129.18	v x10548 x10554 x10555 x10561 x10567 x10573 x10579 x10585 x10591 x10597 x10603 x10609 x10615 x10621 x10627 x10633 x10639
142.00/129.18	v x10645 x10651 x10662 x10665 x10671 x10677 x10683 x10689 x10695 x10701 x10707 x10713 x10719 x10725 x10731 x10737 x10743
142.00/129.18	v x10749 x10755 x10761 x10767 x10773 x10781 x10787 x10793 x10799 x10805 x10807 x10813 x10819 x10830 x10833 x10839 x10845
142.00/129.18	v x10851 x10857 x10863 x10869 x10875 x10881 x10887 x10893 x10899 x10905 x10911 x10917 x10923 x10929 x10935 x10941 x10947
142.00/129.18	v x10953 x10959 x10965 x10971 x10977 x10983 x10989 x10995 x11001 x11007 x11013 x11019 x11025 x11031 x11037 x11043 x11049
142.00/129.18	v x11055 x11061 x11067 x11073 x11079 x11085 x11091 x11097 x11103 x11109 x11115 x11121 x11127 x11133 x11139 x11145 x11151
142.00/129.18	v x11157 x11163 x11169 x11175 x11181 x11189 x11195 x11201 x11207 x11213 x11219 x11225 x11231 x11237 x11243 x11249 x11255
142.00/129.18	v x11261 x11267 x11273 x11279 x11285 x11291 x11297 x11303 x11309 x11315 x11321 x11327 x11333 x11339 x11345 x11351 x11357
142.00/129.18	v x11363 x11369 x11375 x11381 x11387 x11389 x11395 x11401 x11407 x11413 x11419 x11425 x11431 x11442 x11448 x11454 x11460
142.00/129.18	v x11466 x11472 x11478 x11484 x11490 x11491 x11497 x11503 x11509 x11515 x11526 x11529 x11535 x11541 x11547 x11553 x11561
142.00/129.18	v x11567 x11572 x11578 x11582 x11588 x11594 x11600 x11606 x11612 x11618 x11624 x11630 x11636 x11645 x11651 x11657 x11663
142.00/129.18	v x11669 x11675 x11681 x11687 x11693 x11699 x11705 x11711 x11717 x11719 x11725 x11731 x11742 x11745 x11751 x11757 x11763
142.00/129.18	v x11769 x11775 x11781 x11789 x11795 x11801 x11807 x11813 x11819 x11825 x11831 x11837 x11843 x11849 x11855 x11861 x11867
142.00/129.18	v x11873 x11879 x11885 x11891 x11897 x11903 x11909 x11915 x11921 x11927 x11933 x11939 x11945 x11951 x11957 x11963 x11969
142.00/129.18	v x11975 x11981 x11987 x11993 x11999 x12005 x12011 x12017 x12023 x12029 x12035 x12041 x12047 x12053 x12059 x12065 x12071
142.00/129.18	v x12077 x12083 x12089 x12095 x12101 x12107 x12113 x12119 x12125 x12131 x12137 x12143 x12149 x12155 x12161 x12167 x12173
142.00/129.18	v x12179 x12185 x12191 x12197 x12203 x12209 x12215 x12221 x12227 x12233 x12239 x12245 x12251 x12257 x12263 x12269 x12275
142.00/129.18	v x12281 x12287 x12293 x12299 x12305 x12311 x12317 x12323 x12329 x12335 x12341 x12347 x12353 x12359 x12365 x12371 x12377
142.00/129.18	v x12383 x12389 x12395 x12401 x12407 x12413 x12419 x12425 x12431 x12437 x12443 x12449 x12455 x12461 x12467 x12473 x12479
142.00/129.18	v x12485 x12491 x12497 x12503 x12509 x12515 x12521 x12527 x12533 x12539 x12545 x12551 x12557 x12563 x12569 x12575 x12581
142.00/129.18	v x12587 x12593 x12599 x12605 x12611 x12617 x12623 x12629 x12635 x12641 x12647 x12652 x12656 x12662 x12668 x12674 x12680
142.00/129.18	v x12686 x12692 x12698 x12704 x12710 x12716 x12722 x12728 x12734 x12743 x12749 x12755 x12761 x12767 x12773 x12779 x12785
142.00/129.18	v x12791 x12797 x12803 x12809 x12815 x12821 x12827 x12833 x12839 x12845 x12851 x12857 x12863 x12869 x12875 x12881 x12887
142.00/129.18	v x12893 x12899 x12905 x12911 x12917 x12923 x12929 x12935 x12941 x12947 x12953 x12959 x12965 x12971 x12977 x12983 x12989
142.00/129.18	v x12995 x13001 x13007 x13013 x13019 x13025 x13031 x13037 x13043 x13049 x13055 x13061 x13067 x13073 x13079 x13085 x13091
142.00/129.18	v x13097 x13103 x13109 x13115 x13121 x13127 x13133 x13139 x13145 x13151 x13157 x13163 x13169 x13175 x13181 x13187 x13193
142.00/129.18	v x13199 x13205 x13211 x13217 x13223 x13229 x13235 x13241 x13247 x13253 x13259 x13265 x13271 x13277 x13283 x13289 x13295
142.00/129.18	v x13301 x13307 x13313 x13319 x13325 x13331 x13337 x13343 x13349 x13355 x13361 x13367 x13373 x13379 x13385 x13391 x13397
142.00/129.18	v x13403 x13409 x13415 x13421 x13427 x13433 x13439 x13445 x13451 x13457 x13463 x13469 x13475 x13481 x13487 x13493 x13499
142.00/129.18	v x13505 x13511 x13517 x13523 x13529 x13535 x13541 x13547 x13553 x13559 x13565 x13571 x13577 x13583 x13589 x13595 x13601
142.00/129.18	v x13607 x13613 x13619 x13625 x13631 x13637 x13643 x13649 x13655 x13661 x13667 x13669 x13675 x13681 x13687 x13693 x13699
142.00/129.18	v x13705 x13711 x13717 x13728 x13734 x13740 x13746 x13752 x13758 x13764 x13765 x13771 x13777 x13783 x13789 x13800 x13803
142.00/129.18	v x13809 x13815 x13821 x13827 x13835 x13841 x13847 x13853 x13859 x13865 x13871 x13877 x13883 x13889 x13895 x13901 x13907
142.00/129.18	v x13913 x13919 x13925 x13931 x13937 x13943 x13949 x13955 x13961 x13967 x13973 x13979 x13985 x13991 x13997 x14003 x14009
142.00/129.18	v x14015 x14021 x14027 x14033 x14039 x14045 x14047 x14053 x14059 x14065 x14071 x14077 x14083 x14089 x14095 x14101 x14107
142.00/129.18	v x14113 x14119 x14125 x14131 x14137 x14143 x14149 x14155 x14161 x14167 x14178 x14181 x14187 x14193 x14201 x14206 x14212
142.00/129.18	v x14218 x14222 x14228 x14234 x14240 x14246 x14252 x14258 x14264 x14270 x14276 x14282 x14288 x14297 x14303 x14309 x14315
142.00/129.18	v x14321 x14327 x14333 x14339 x14345 x14351 x14357 x14363 x14369 x14375 x14381 x14387 x14393 x14399 x14405 x14411 x14417
142.00/129.18	v x14423 x14429 x14435 x14441 x14447 x14453 x14459 x14465 x14471 x14477 x14483 x14489 x14495 x14501 x14507 x14513 x14519
142.00/129.18	v x14525 x14531 x14537 x14543 x14549 x14555 x14561 x14567 x14573 x14579 x14585 x14591 x14597 x14603 x14609 x14615 x14621
142.00/129.18	v x14627 x14633 x14639 x14645 x14651 x14657 x14663 x14669 x14675 x14681 x14687 x14693 x14699 x14705 x14711 x14717 x14723
142.00/129.18	v x14729 x14735 x14741 x14747 x14753 x14759 x14765 x14771 x14777 x14783 x14789 x14794 x14798 x14804 x14810 x14816 x14822
142.00/129.18	v x14828 x14834 x14840 x14846 x14852 x14858 x14864 x14870 x14876 x14882 x14888 x14897 x14903 x14909 x14915 x14921 x14927
142.00/129.18	v x14933 x14939 x14945 x14951 x14957 x14963 x14969 x14975 x14981 x14983 x14989 x14995 x15001 x15007 x15013 x15019 x15030
142.00/129.18	v x15033 x15041 x15047 x15053 x15059 x15065 x15071 x15077 x15083 x15089 x15095 x15101 x15107 x15113 x15119 x15125 x15131
142.00/129.18	v x15137 x15143 x15149 x15155 x15161 x15167 x15173 x15179 x15185 x15191 x15197 x15203 x15209 x15215 x15221 x15227 x15233
142.00/129.18	v x15239 x15245 x15251 x15257 x15263 x15269 x15275 x15281 x15287 x15293 x15299 x15305 x15311 x15317 x15319 x15325 x15331
142.00/129.18	v x15337 x15343 x15349 x15355 x15366 x15369 x15375 x15381 x15387 x15393 x15399 x15405 x15411 x15417 x15423 x15429 x15435
142.00/129.18	v x15441 x15447 x15453 x15459 x15465 x15471 x15477 x15485 x15491 x15497 x15503 x15509 x15515 x15521 x15527 x15533 x15539
142.00/129.18	v x15545 x15551 x15557 x15563 x15569 x15575 x15581 x15587 x15593 x15599 x15605 x15611 x15617 x15623 x15629 x15635 x15641
142.00/129.18	v x15647 x15653 x15659 x15665 x15671 x15677 x15683 x15689 x15695 x15701 x15707 x15713 x15719 x15725 x15731 x15737 x15743
142.00/129.18	v x15749 x15755 x15761 x15767 x15773 x15779 x15785 x15791 x15797 x15803 x15809 x15815 x15821 x15827 x15833 x15839 x15845
142.00/129.18	v x15851 x15857 x15863 x15869 x15875 x15881 x15887 x15893 x15899 x15905 x15911 x15917 x15923 x15929 x15935 x15941 x15947
142.00/129.18	v x15949 x15955 x15961 x15967 x15973 x15979 x15985 x15991 x15997 x16008 x16011 x16017 x16023 x16029 x16035 x16041 x16047
142.00/129.18	v x16053 x16059 x16065 x16071 x16077 x16083 x16089 x16095 x16101 x16107 x16113 x16119 x16125 x16131 x16139 x16145 x16151
142.00/129.18	v x16157 x16163 x16169 x16175 x16181 x16187 x16193 x16199 x16205 x16211 x16217 x16223 x16229 x16235 x16241 x16247 x16253
142.00/129.18	v x16259 x16265 x16271 x16277 x16283 x16289 x16295 x16301 x16307 x16313 x16319 x16325 x16331 x16337 x16343 x16345 x16351
142.00/129.18	v x16357 x16368 x16371 x16377 x16383 x16389 x16395 x16401 x16407 x16413 x16419 x16425 x16431 x16439 x16445 x16451 x16453
142.00/129.18	v x16459 x16465 x16471 x16477 x16483 x16489 x16500 x16503 x16511 x16517 x16523 x16529 x16535 x16537 x16543 x16549 x16555
142.00/129.18	v x16561 x16567 x16573 x16579 x16585 x16596 x16599 x16605 x16611 x16617 x16623 x16629 x16635 x16641 x16647 x16653 x16659
142.00/129.18	v x16665 x16671 x16677 x16683 x16689 x16695 x16701 x16707 x16715 x16721 x16727 x16733 x16739 x16745 x16751 x16757 x16763
142.00/129.18	v x16769 x16775 x16781 x16787 x16793 x16799 x16805 x16811 x16817 x16823 x16829 x16835 x16841 x16847 x16853 x16859 x16865
142.00/129.18	v x16871 x16877 x16883 x16889 x16895 x16901 x16907 x16913 x16919 x16925 x16931 x16937 x16943 x16949 x16955 x16961 x16967
142.00/129.18	v x16973 x16979 x16985 x16991 x16997 x17003 x17009 x17015 x17021 x17027 x17033 x17039 x17045 x17051 x17057 x17063 x17068
142.00/129.18	v x17072 x17078 x17084 x17090 x17096 x17102 x17108 x17114 x17120 x17126 x17132 x17138 x17144 x17150 x17159 x17165 x17171
142.00/129.18	v x17177 x17183 x17189 x17195 x17201 x17207 x17213 x17219 x17225 x17231 x17237 x17243 x17249 x17255 x17261 x17267 x17273
142.00/129.18	v x17279 x17285 x17291 x17297 x17303 x17309 x17315 x17321 x17327 x17333 x17339 x17345 x17351 x17357 x17363 x17369 x17375
142.00/129.18	v x17381 x17387 x17393 x17399 x17405 x17411 x17417 x17423 x17429 x17435 x17441 x17447 x17453 x17459 x17465 x17467 x17473
142.00/129.18	v x17479 x17485 x17491 x17497 x17503 x17514 x17520 x17526 x17532 x17538 x17539 x17545 x17551 x17562 x17565 x17571 x17577
142.00/129.18	v x17583 x17589 x17595 x17601 x17609 x17615 x17621 x17627 x17633 x17639 x17645 x17651 x17657 x17663 x17669 x17675 x17681
142.00/129.18	v x17687 x17693 x17699 x17705 x17711 x17717 x17723 x17729 x17735 x17741 x17747 x17753 x17759 x17765 x17771 x17777 x17783
142.00/129.18	v x17789 x17795 x17801 x17807 x17813 x17819 x17825 x17831 x17837 x17843 x17849 x17855 x17861 x17867 x17873 x17879 x17885
142.00/129.18	v x17891 x17897 x17903 x17909 x17915 x17921 x17927 x17933 x17939 x17945 x17951 x17957 x17963 x17969 x17975 x17981 x17987
142.00/129.18	v x17993 x17999 x18005 x18011 x18017 x18023 x18029 x18035 x18041 x18047 x18053 x18059 x18065 x18071 x18077 x18083 x18089
142.00/129.18	v x18094 x18098 x18104 x18110 x18116 x18122 x18128 x18134 x18140 x18146 x18152 x18158 x18164 x18170 x18176 x18182 x18188
142.00/129.18	v x18194 x18200 x18206 x18212 x18218 x18224 x18230 x18236 x18242 x18248 x18254 x18260 x18266 x18272 x18278 x18284 x18290
142.00/129.18	v x18296 x18302 x18308 x18314 x18320 x18326 x18332 x18338 x18344 x18350 x18356 x18362 x18368 x18374 x18380 x18386 x18392
142.00/129.18	v x18398 x18404 x18410 x18416 x18422 x18428 x18434 x18440 x18446 x18452 x18458 x18464 x18470 x18476 x18482 x18488 x18494
142.00/129.18	v x18500 x18506 x18512 x18518 x18524 x18530 x18536 x18542 x18548 x18557 x18563 x18569 x18575 x18581 x18587 x18593 x18599
142.00/129.18	v x18605 x18611 x18617 x18623 x18629 x18635 x18641 x18647 x18653 x18659 x18665 x18671 x18677 x18683 x18689 x18695 x18701
142.00/129.18	v x18707 x18713 x18719 x18725 x18731 x18737 x18743 x18749 x18755 x18761 x18767 x18773 x18779 x18785 x18791 x18797 x18803
142.00/129.18	v x18809 x18811 x18817 x18823 x18829 x18835 x18846 x18849 x18855 x18861 x18867 x18873 x18879 x18885 x18891 x18897 x18903
142.00/129.18	v x18909 x18915 x18921 x18927 x18933 x18939 x18945 x18951 x18957 x18963 x18969 x18975 x18981 x18987 x18993 x18999 x19005
142.00/129.18	v x19011 x19017 x19023 x19029 x19035 x19041 x19047 x19053 x19061 x19067 x19073 x19079 x19085 x19091 x19097 x19103 x19105
142.00/129.18	v x19111 x19117 x19123 x19134 x19137 x19143 x19149 x19155 x19161 x19167 x19173 x19179 x19185 x19191 x19197 x19203 x19211
142.00/129.18	v x19217 x19223 x19229 x19235 x19241 x19247 x19253 x19259 x19265 x19271 x19277 x19283 x19289 x19295 x19301 x19307 x19313
142.00/129.18	v x19319 x19325 x19331 x19337 x19343 x19349 x19355 x19361 x19367 x19373 x19379 x19385 x19391 x19397 x19403 x19409 x19415
142.00/129.18	v x19421 x19427 x19433 x19439 x19445 x19451 x19457 x19463 x19469 x19475 x19481 x19487 x19493 x19499 x19505 x19511 x19517
142.00/129.18	v x19523 x19529 x19535 x19541 x19547 x19553 x19559 x19565 x19571 x19577 x19583 x19589 x19595 x19601 x19607 x19613 x19619
142.00/129.18	v x19625 x19631 x19633 x19639 x19645 x19651 x19657 x19668 x19671 x19677 x19683 x19689 x19695 x19701 x19707 x19715 x19721
142.00/129.18	v x19727 x19733 x19739 x19745 x19751 x19757 x19763 x19769 x19775 x19781 x19787 x19793 x19799 x19805 x19811 x19817 x19823
142.00/129.18	v x19829 x19835 x19841 x19847 x19853 x19859 x19865 x19871 x19877 x19883 x19889 x19895 x19901 x19907 x19913 x19919 x19925
142.00/129.18	v x19931 x19937 x19943 x19945 x19951 x19957 x19968 x19971 x19977 x19983 x19989 x19995 x20001 x20007 x20013 x20019 x20025
142.00/129.18	v x20031 x20037 x20043 x20049 x20055 x20061 x20067 x20073 x20079 x20085 x20091 x20097 x20103 x20111 x20117 x20123 x20129
142.00/129.18	v x20135 x20141 x20147 x20153 x20159 x20165 x20171 x20177 x20183 x20189 x20195 x20201 x20207 x20213 x20219 x20225 x20231
142.00/129.18	v x20237 x20243 x20249 x20255 x20261 x20267 x20273 x20279 x20285 x20291 x20297 x20303 x20309 x20315 x20321 x20327 x20333
142.00/129.18	v x20339 x20345 x20351 x20357 x20363 x20365 x20371 x20377 x20383 x20389 x20395 x20401 x20412 x20415 x20421 x20427 x20433
142.00/129.18	v x20439 x20445 x20451 x20457 x20463 x20469 x20475 x20481 x20487 x20493 x20499 x20505 x20511 x20517 x20523 x20529 x20535
142.00/129.18	v x20543 x20549 x20555 x20561 x20567 x20573 x20579 x20585 x20591 x20597 x20603 x20609 x20615 x20621 x20627 x20633 x20639
142.00/129.18	v x20645 x20651 x20657 x20663 x20669 x20675 x20681 x20687 x20693 x20699 x20705 x20711 x20717 x20723 x20729 x20735 x20741
142.00/129.18	v x20747 x20753 x20759 x20765 x20771 x20777 x20783 x20789 x20795 x20801 x20807 x20813 x20819 x20825 x20831 x20837 x20843
142.00/129.18	v x20849 x20855 x20861 x20867 x20873 x20879 x20885 x20891 x20897 x20903 x20909 x20915 x20921 x20927 x20933 x20939 x20945
142.00/129.18	v x20951 x20957 x20963 x20969 x20975 x20981 x20987 x20993 x20999 x21005 x21011 x21017 x21023 x21029 x21035 x21041 x21047
142.00/129.18	v x21053 x21059 x21065 x21071 x21077 x21083 x21089 x21095 x21101 x21107 x21113 x21119 x21125 x21131 x21137 x21143 x21149
142.00/129.18	v x21155 x21161 x21167 x21173 x21179 x21185 x21191 x21197 x21203 x21209 x21215 x21221 x21227 x21233 x21239 x21245 x21251
142.00/129.18	v x21257 x21263 x21269 x21275 x21281 x21287 x21293 x21299 x21305 x21311 x21317 x21323 x21329 x21335 x21341 x21347 x21353
142.00/129.18	v x21359 x21365 x21371 x21377 x21383 x21389 x21395 x21401 x21407 x21413 x21419 x21425 x21431 x21437 x21443 x21449 x21455
142.00/129.18	v x21461 x21467 x21473 x21479 x21485 x21491 x21497 x21503 x21509 x21515 x21521 x21527 x21533 x21539 x21545 x21551 x21557
142.00/129.18	v x21563 x21569 x21575 x21581 x21587 x21593 x21599 x21605 x21611 x21617 x21623 x21629 x21635 x21641 x21647 x21653 x21659
142.00/129.18	v x21665 x21671 x21677 x21683 x21689 x21695 x21701 x21707 x21713 x21719 x21725 x21731 x21737 x21743 x21749 x21755 x21761
142.00/129.18	v x21767 x21773 x21779 x21785 x21791 x21797 x21803 x21809 x21815 x21821 x21827 x21833 x21839 x21845 x21851 x21857 x21863
142.00/129.18	v x21869 x21875 x21881 x21887 x21893 x21899 x21905 x21911 x21917 x21923 x21929 x21935 x21941 x21947 x21953 x21959 x21965
142.00/129.18	v x21971 x21977 x21983 x21989 x21995 x22001 x22007 x22013 x22019 x22025 x22031 x22037 x22043 x22049 x22055 x22061 x22067
142.00/129.18	v x22073 x22079 x22085 x22091 x22097 x22103 x22109 x22115 x22121 x22127 x22133 x22139 x22145 x22151 x22157 x22163 x22169
142.00/129.18	v x22175 x22181 x22187 x22193 x22199 x22205 x22211 x22217 x22223 x22229 x22235 x22241 x22247 x22253 x22259 x22265 x22271
142.00/129.18	v x22277 x22283 x22289 x22295 x22301 x22303 x22309 x22315 x22326 x22332 x22338 x22344 x22350 x22356 x22362 x22368 x22374
142.00/129.18	v x22380 x22386 x22392 x22398 x22399 x22405 x22411 x22417 x22423 x22434 x22437 x22443 x22449 x22455 x22461 x22467 x22473
142.00/129.18	v x22479 x22485 x22491 x22497 x22503 x22509 x22515 x22521 x22527 x22533 x22539 x22545 x22551 x22557 x22563 x22569 x22577
142.00/129.18	v x22583 x22589 x22595 x22601 x22607 x22613 x22619 x22625 x22631 x22637 x22643 x22649 x22655 x22661 x22667 x22673 x22679
142.00/129.18	v x22685 x22691 x22697 x22703 x22709 x22715 x22721 x22727 x22733 x22739 x22745 x22751 x22757 x22763 x22769 x22775 x22780
142.00/129.18	v x22784 x22790 x22796 x22802 x22808 x22814 x22820 x22826 x22832 x22838 x22844 x22850 x22856 x22862 x22868 x22874 x22880
142.00/129.18	v x22886 x22892 x22898 x22904 x22910 x22916 x22922 x22928 x22934 x22940 x22946 x22952 x22958 x22964 x22970 x22976 x22982
142.00/129.18	v x22988 x22994 x23000 x23006 x23012 x23018 x23024 x23030 x23036 x23042 x23048 x23054 x23060 x23066 x23072 x23078 x23084
142.00/129.18	v x23090 x23096 x23102 x23108 x23114 x23120 x23126 x23132 x23138 x23144 x23150 x23156 x23162 x23168 x23174 x23180 x23186
142.00/129.18	v x23192 x23198 x23204 x23210 x23216 x23222 x23228 x23234 x23240 x23246 x23252 x23258 x23264 x23270 x23276 x23282 x23288
142.00/129.18	v x23294 x23300 x23306 x23312 x23318 x23327 x23329 x23335 x23341 x23347 x23353 x23364 x23367 x23373 x23379 x23385 x23391
142.00/129.18	v x23397 x23403 x23409 x23415 x23421 x23427 x23433 x23439 x23445 x23451 x23457 x23463 x23469 x23475 x23481 x23487 x23493
142.00/129.18	v x23499 x23505 x23511 x23517 x23523 x23529 x23535 x23541 x23547 x23553 x23559 x23565 x23571 x23577 x23583 x23589 x23595
142.00/129.18	v x23601 x23607 x23613 x23619 x23625 x23631 x23637 x23643 x23649 x23655 x23661 x23667 x23673 x23679 x23685 x23691 x23697
142.00/129.18	v x23703 x23709 x23715 x23721 x23727 x23733 x23739 x23745 x23751 x23757 x23763 x23769 x23775 x23781 x23787 x23793 x23799
142.00/129.18	v x23805 x23811 x23817 x23823 x23829 x23835 x23843 x23849 x23855 x23861 x23867 x23873 x23879 x23885 x23891 x23897 x23903
142.00/129.18	v x23909 x23915 x23921 x23927 x23933 x23939 x23945 x23951 x23957 x23963 x23969 x23975 x23981 x23987 x23993 x23999 x24005
142.00/129.18	v x24011 x24017 x24023 x24029 x24035 x24041 x24047 x24053 x24059 x24065 x24071 x24077 x24083 x24089 x24095 x24101 x24107
142.00/129.18	v x24113 x24119 x24125 x24131 x24137 x24143 x24145 x24151 x24157 x24168 x24171 x24177 x24183 x24189 x24195 x24201 x24207
142.00/129.18	v x24213 x24219 x24227 x24233 x24239 x24245 x24251 x24257 x24263 x24269 x24275 x24281 x24287 x24293 x24299 x24305 x24311
142.00/129.18	v x24317 x24323 x24329 x24335 x24341 x24346 x24352 x24356 x24362 x24368 x24374 x24380 x24386 x24392 x24398 x24404 x24410
142.00/129.18	v x24416 x24422 x24428 x24434 x24440 x24449 x24451 x24457 x24463 x24474 x24480 x24486 x24492 x24498 x24504 x24510 x24516
142.00/129.18	v x24522 x24523 x24529 x24535 x24541 x24547 x24553 x24559 x24565 x24571 x24577 x24583 x24589 x24595 x24601 x24607 x24613
142.00/129.18	v x24619 x24625 x24631 x24642 x24645 x24651 x24657 x24665 x24671 x24677 x24683 x24689 x24695 x24701 x24707 x24713 x24719
142.00/129.18	v x24725 x24731 x24737 x24743 x24749 x24755 x24761 x24767 x24773 x24779 x24785 x24791 x24797 x24803 x24809 x24815 x24821
142.00/129.18	v x24827 x24833 x24839 x24845 x24851 x24857 x24863 x24869 x24875 x24881 x24887 x24893 x24899 x24905 x24911 x24917 x24923
142.00/129.18	v x24929 x24935 x24941 x24947 x24953 x24959 x24965 x24971 x24977 x24983 x24989 x24995 x25001 x25007 x25013 x25019 x25025
142.00/129.18	v x25031 x25037 x25043 x25049 x25055 x25061 x25067 x25073 x25079 x25085 x25091 x25097 x25103 x25109 x25115 x25121 x25127
142.00/129.18	v x25133 x25139 x25145 x25151 x25157 x25163 x25169 x25175 x25181 x25186 x25190 x25196 x25202 x25208 x25214 x25220 x25226
142.00/129.18	v x25232 x25238 x25244 x25250 x25256 x25262 x25268 x25274 x25280 x25286 x25292 x25298 x25304 x25310 x25316 x25322 x25328
142.00/129.18	v x25334 x25340 x25346 x25352 x25358 x25364 x25370 x25376 x25382 x25388 x25394 x25400 x25406 x25412 x25418 x25424 x25430
142.00/129.18	v x25436 x25442 x25448 x25454 x25460 x25466 x25472 x25478 x25484 x25490 x25496 x25502 x25508 x25514 x25520 x25526 x25532
142.00/129.18	v x25538 x25544 x25550 x25556 x25562 x25568 x25574 x25580 x25586 x25592 x25598 x25604 x25610 x25616 x25622 x25628 x25634
142.00/129.18	v x25640 x25646 x25652 x25658 x25664 x25670 x25676 x25682 x25688 x25694 x25700 x25706 x25712 x25718 x25724 x25730 x25736
142.00/129.18	v x25742 x25748 x25754 x25760 x25766 x25772 x25778 x25784 x25793 x25795 x25801 x25807 x25813 x25819 x25825 x25831 x25837
142.00/129.18	v x25843 x25854 x25857 x25863 x25869 x25875 x25881 x25887 x25893 x25899 x25905 x25911 x25917 x25923 x25929 x25935 x25941
142.00/129.18	v x25947 x25953 x25959 x25965 x25971 x25977 x25983 x25989 x25995 x26001 x26007 x26013 x26019 x26025 x26031 x26037 x26043
142.00/129.18	v x26049 x26055 x26061 x26067 x26073 x26079 x26085 x26091 x26097 x26103 x26109 x26115 x26121 x26127 x26133 x26139 x26145
142.00/129.18	v x26151 x26157 x26163 x26169 x26175 x26181 x26187 x26195 x26201 x26207 x26213 x26219 x26225 x26231 x26237 x26243 x26249
142.00/129.18	v x26255 x26261 x26267 x26273 x26279 x26285 x26291 x26297 x26303 x26309 x26315 x26321 x26327 x26333 x26339 x26345 x26351
142.00/129.18	v x26357 x26363 x26369 x26375 x26381 x26387 x26393 x26399 x26405 x26411 x26417 x26423 x26425 x26431 x26437 x26443 x26449
142.00/129.18	v x26455 x26461 x26472 x26475 x26481 x26487 x26493 x26499 x26505 x26511 x26517 x26523 x26529 x26535 x26541 x26547 x26553
142.00/129.18	v x26559 x26565 x26571 x26577 x26583 x26589 x26595 x26603 x26609 x26615 x26621 x26627 x26633 x26639 x26645 x26651 x26657
142.00/129.18	v x26663 x26669 x26675 x26681 x26687 x26693 x26699 x26705 x26711 x26717 x26723 x26729 x26735 x26741 x26747 x26753 x26759
142.00/129.18	v x26765 x26771 x26777 x26783 x26789 x26795 x26801 x26807 x26813 x26819 x26821 x26827 x26833 x26839 x26845 x26851 x26857
142.00/129.18	v x26868 x26874 x26880 x26886 x26892 x26898 x26904 x26910 x26916 x26922 x26928 x26934 x26940 x26946 x26952 x26958 x26964
142.00/129.18	v x26970 x26976 x26982 x26988 x26994 x27000 x27006 x27012 x27013 x27019 x27025 x27031 x27037 x27048 x27051 x27057 x27063
142.00/129.18	v x27069 x27075 x27081 x27087 x27093 x27099 x27105 x27111 x27117 x27123 x27129 x27135 x27141 x27147 x27153 x27159 x27167
142.00/129.18	v x27173 x27179 x27185 x27191 x27197 x27203 x27209 x27215 x27221 x27227 x27233 x27239 x27245 x27251 x27257 x27263 x27269
142.00/129.18	v x27275 x27281 x27283 x27289 x27295 x27301 x27307 x27313 x27324 x27327 x27333 x27339 x27345 x27351 x27357 x27363 x27369
142.00/129.18	v x27375 x27381 x27387 x27393 x27399 x27405 x27411 x27417 x27423 x27429 x27435 x27441 x27447 x27453 x27459 x27465 x27471
142.00/129.18	v x27477 x27483 x27489 x27495 x27501 x27507 x27513 x27519 x27525 x27531 x27537 x27543 x27549 x27555 x27561 x27567 x27573
142.00/129.18	v x27579 x27585 x27591 x27597 x27603 x27609 x27615 x27621 x27627 x27633 x27639 x27645 x27651 x27657 x27663 x27669 x27675
142.00/129.18	v x27681 x27687 x27693 x27699 x27705 x27711 x27717 x27723 x27729 x27735 x27741 x27747 x27753 x27759 x27765 x27771 x27777
142.00/129.18	v x27783 x27789 x27795 x27801 x27807 x27813 x27819 x27827 x27833 x27839 x27845 x27851 x27857 x27863 x27869 x27875 x27881
142.00/129.18	v x27887 x27893 x27899 x27905 x27911 x27917 x27923 x27929 x27935 x27941 x27947 x27953 x27959 x27965 x27971 x27977 x27983
142.00/129.18	v x27989 x27995 x28001 x28007 x28013 x28019 x28025 x28031 x28037 x28043 x28049 x28055 x28061 x28067 x28073 x28079 x28085
142.00/129.18	v x28091 x28097 x28103 x28109 x28115 x28121 x28127 x28133 x28139 x28145 x28151 x28157 x28163 x28169 x28171 x28177 x28183
142.00/129.18	v x28189 x28195 x28206 x28212 x28218 x28224 x28230 x28236 x28242 x28248 x28254 x28260 x28266 x28272 x28278 x28284 x28290
142.00/129.18	v x28296 x28302 x28308 x28314 x28320 x28326 x28332 x28338 x28344 x28350 x28356 x28362 x28368 x28374 x28380 x28386 x28392
142.00/129.18	v x28398 x28404 x28410 x28416 x28422 x28428 x28434 x28435 x28441 x28447 x28453 x28459 x28465 x28471 x28477 x28483 x28494
142.00/129.18	v x28497 x28503 x28509 x28515 x28521 x28527 x28533 x28539 x28545 x28551 x28557 x28563 x28569 x28575 x28581 x28587 x28593
142.00/129.18	v x28599 x28605 x28611 x28617 x28623 x28629 x28637 x28643 x28649 x28655 x28661 x28667 x28673 x28679 x28685 x28691 x28697
142.00/129.18	v x28703 x28709 x28715 x28721 x28727 x28733 x28739 x28745 x28751 x28757 x28759 x28765 x28771 x28782 x28785 x28791 x28797
142.00/129.18	v x28803 x28809 x28815 x28821 x28827 x28833 x28839 x28845 x28853 x28859 x28865 x28871 x28877 x28883 x28889 x28895 x28901
142.00/129.18	v x28907 x28913 x28919 x28925 x28931 x28937 x28943 x28949 x28955 x28961 x28967 x28973 x28979 x28985 x28991 x28997 x29003
142.00/129.18	v x29009 x29015 x29021 x29027 x29033 x29039 x29045 x29051 x29057 x29063 x29069 x29075 x29081 x29087 x29093 x29095 x29101
142.00/129.18	v x29107 x29113 x29119 x29125 x29131 x29137 x29143 x29154 x29157 x29163 x29169 x29175 x29181 x29187 x29193 x29199 x29205
142.00/129.18	v x29211 x29217 x29223 x29229 x29235 x29241 x29247 x29253 x29259 x29265 x29271 x29277 x29283 x29289 x29295 x29301 x29307
142.00/129.18	v x29313 x29319 x29325 x29331 x29337 x29343 x29349 x29355 x29361 x29369 x29375 x29381 x29387 x29393 x29399 x29405 x29411
142.00/129.18	v x29417 x29423 x29429 x29435 x29441 x29447 x29453 x29459 x29465 x29471 x29477 x29483 x29489 x29495 x29501 x29507 x29513
142.00/129.18	v x29519 x29525 x29531 x29537 x29543 x29549 x29555 x29561 x29567 x29573 x29579 x29585 x29591 x29597 x29603 x29609 x29615
142.00/129.18	v x29621 x29627 x29633 x29639 x29645 x29651 x29657 x29663 x29669 x29675 x29681 x29687 x29693 x29699 x29705 x29711 x29717
142.00/129.18	v x29723 x29729 x29735 x29741 x29747 x29753 x29759 x29761 x29767 x29773 x29779 x29785 x29796 x29802 x29808 x29814 x29820
142.00/129.18	v x29826 x29832 x29838 x29844 x29850 x29856 x29862 x29868 x29874 x29880 x29886 x29892 x29898 x29904 x29910 x29916 x29922
142.00/129.18	v x29928 x29934 x29940 x29946 x29952 x29958 x29964 x29970 x29976 x29982 x29988 x29994 x30000 x30006 x30012 x30018 x30024
142.00/129.18	v x30030 x30036 x30042 x30048 x30054 x30060 x30066 x30072 x30078 x30084 x30090 x30096 x30102 x30108 x30109 x30115 x30121
142.00/129.18	v x30127 x30133 x30139 x30145 x30156 x30162 x30168 x30174 x30180 x30181 x30187 x30193 x30199 x30205 x30211 x30217 x30223
142.00/129.18	v x30229 x30235 x30241 x30247 x30253 x30264 x30267 x30275 x30281 x30287 x30293 x30299 x30305 x30311 x30317 x30323 x30329
142.00/129.18	v x30335 x30341 x30347 x30353 x30359 x30365 x30371 x30377 x30383 x30389 x30395 x30401 x30407 x30413 x30419 x30425 x30431
142.00/129.18	v x30437 x30443 x30449 x30455 x30461 x30467 x30473 x30479 x30485 x30491 x30497 x30503 x30509 x30515 x30521 x30527 x30533
142.00/129.18	v x30539 x30545 x30551 x30557 x30563 x30569 x30575 x30581 x30587 x30593 x30599 x30605 x30611 x30617 x30623 x30629 x30635
142.00/129.18	v x30641 x30647 x30653 x30659 x30665 x30671 x30677 x30683 x30689 x30695 x30701 x30707 x30713 x30719 x30725 x30731 x30737
142.00/129.18	v x30743 x30749 x30755 x30761 x30767 x30773 x30779 x30785 x30791 x30797 x30803 x30809 x30815 x30821 x30827 x30833 x30839
142.00/129.18	v x30845 x30851 x30857 x30863 x30869 x30875 x30881 x30887 x30893 x30899 x30905 x30911 x30917 x30923 x30929 x30935 x30941
142.00/129.18	v x30947 x30953 x30959 x30965 x30971 x30977 x30983 x30989 x30995 x31001 x31007 x31013 x31019 x31025 x31031 x31037 x31043
142.00/129.18	v x31049 x31055 x31061 x31067 x31073 x31079 x31085 x31091 x31097 x31103 x31109 x31115 x31121 x31127 x31132 x31136 x31142
142.00/129.18	v x31148 x31154 x31160 x31166 x31172 x31178 x31184 x31190 x31196 x31202 x31208 x31214 x31220 x31226 x31232 x31238 x31244
142.00/129.18	v x31250 x31256 x31262 x31268 x31274 x31280 x31286 x31292 x31298 x31304 x31310 x31316 x31322 x31328 x31334 x31340 x31346
142.00/129.18	v x31352 x31358 x31364 x31370 x31376 x31382 x31388 x31394 x31400 x31406 x31412 x31418 x31424 x31433 x31435 x31441 x31447
142.00/129.18	v x31453 x31459 x31470 x31473 x31479 x31485 x31491 x31497 x31505 x31507 x31513 x31519 x31525 x31531 x31537 x31543 x31549
142.00/129.18	v x31555 x31566 x31569 x31575 x31581 x31587 x31593 x31599 x31605 x31611 x31617 x31623 x31629 x31635 x31641 x31647 x31653
142.00/129.18	v x31659 x31665 x31671 x31677 x31683 x31689 x31695 x31701 x31707 x31713 x31719 x31725 x31731 x31737 x31745 x31751 x31757
142.00/129.18	v x31759 x31765 x31771 x31777 x31783 x31789 x31795 x31806 x31809 x31815 x31821 x31829 x31835 x31841 x31847 x31853 x31855
142.00/129.18	v x31861 x31867 x31878 x31881 x31887 x31893 x31899 x31905 x31911 x31917 x31923 x31929 x31935 x31941 x31947 x31953 x31959
142.00/129.18	v x31965 x31971 x31977 x31983 x31989 x31995 x32001 x32007 x32013 x32019 x32025 x32031 x32037 x32045 x32051 x32057 x32063
142.00/129.18	v x32069 x32075 x32081 x32087 x32093 x32099 x32105 x32111 x32117 x32123 x32129 x32135 x32141 x32147 x32153 x32159 x32165
142.00/129.18	v x32171 x32177 x32183 x32189 x32195 x32201 x32207 x32213 x32219 x32225 x32231 x32237 x32243 x32249 x32255 x32261 x32267
142.00/129.18	v x32273 x32279 x32285 x32291 x32297 x32303 x32309 x32315 x32321 x32327 x32333 x32339 x32341 x32347 x32353 x32359 x32365
142.00/129.18	v x32371 x32382 x32388 x32394 x32400 x32406 x32412 x32418 x32424 x32430 x32436 x32442 x32448 x32454 x32460 x32466 x32472
142.00/129.18	v x32478 x32484 x32490 x32496 x32502 x32508 x32514 x32520 x32526 x32532 x32538 x32544 x32550 x32556 x32562 x32568 x32574
142.00/129.18	v x32580 x32586 x32592 x32598 x32604 x32610 x32616 x32622 x32628 x32634 x32640 x32646 x32652 x32658 x32664 x32670 x32671
142.00/129.18	v x32677 x32683 x32689 x32695 x32701 x32707 x32718 x32721 x32727 x32733 x32739 x32745 x32753 x32759 x32765 x32771 x32777
142.00/129.18	v x32783 x32789 x32795 x32801 x32807 x32813 x32819 x32825 x32831 x32837 x32843 x32849 x32855 x32861 x32867 x32873 x32879
142.00/129.18	v x32885 x32891 x32897 x32903 x32909 x32915 x32921 x32927 x32933 x32939 x32945 x32951 x32957 x32963 x32969 x32975 x32981
142.00/129.18	v x32987 x32993 x32999 x33005 x33011 x33017 x33023 x33029 x33035 x33041 x33047 x33053 x33059 x33065 x33071 x33073 x33079
142.00/129.18	v x33085 x33091 x33097 x33103 x33109 x33115 x33126 x33129 x33135 x33141 x33147 x33153 x33159 x33165 x33171 x33179 x33185
142.00/129.18	v x33191 x33197 x33203 x33209 x33215 x33221 x33227 x33233 x33239 x33245 x33251 x33257 x33263 x33269 x33275 x33281 x33287
142.00/129.18	v x33293 x33299 x33305 x33311 x33317 x33323 x33329 x33335 x33341 x33347 x33353 x33359 x33365 x33371 x33377 x33383 x33389
142.00/129.18	v x33395 x33401 x33407 x33413 x33419 x33425 x33431 x33437 x33443 x33449 x33455 x33461 x33467 x33473 x33479 x33485 x33491
142.00/129.18	v x33497 x33503 x33508 x33512 x33518 x33524 x33530 x33536 x33542 x33548 x33554 x33560 x33566 x33572 x33578 x33584 x33590
142.00/129.18	v x33596 x33602 x33608 x33614 x33620 x33626 x33632 x33638 x33644 x33650 x33656 x33662 x33668 x33674 x33680 x33686 x33692
142.00/129.18	v x33698 x33704 x33710 x33716 x33722 x33728 x33734 x33740 x33746 x33752 x33758 x33764 x33770 x33776 x33782 x33788 x33794
142.00/129.18	v x33800 x33806 x33812 x33818 x33824 x33830 x33836 x33842 x33848 x33854 x33860 x33866 x33872 x33878 x33884 x33890 x33896
142.00/129.18	v x33902 x33908 x33914 x33920 x33926 x33932 x33938 x33944 x33950 x33956 x33962 x33968 x33974 x33980 x33986 x33992 x33998
142.00/129.18	v x34004 x34010 x34016 x34022 x34028 x34034 x34040 x34046 x34052 x34058 x34064 x34070 x34076 x34082 x34088 x34094 x34100
142.00/129.18	v x34106 x34112 x34118 x34124 x34130 x34136 x34142 x34148 x34154 x34160 x34166 x34172 x34178 x34184 x34190 x34196 x34202
142.00/129.18	v x34208 x34214 x34220 x34226 x34232 x34238 x34244 x34250 x34256 x34262 x34268 x34274 x34280 x34286 x34292 x34298 x34304
142.00/129.18	v x34310 x34316 x34322 x34328 x34334 x34340 x34346 x34352 x34358 x34364 x34370 x34376 x34382 x34388 x34394 x34400 x34406
142.00/129.18	v x34415 x34420 x34424 x34430 x34436 x34442 x34448 x34454 x34460 x34466 x34472 x34478 x34484 x34490 x34496 x34502 x34508
142.00/129.18	v x34514 x34520 x34526 x34532 x34538 x34544 x34550 x34556 x34562 x34568 x34574 x34580 x34586 x34592 x34598 x34604 x34610
142.00/129.18	v x34616 x34622 x34628 x34634 x34640 x34646 x34652 x34658 x34664 x34670 x34676 x34682 x34688 x34694 x34700 x34706 x34715
142.00/129.18	v x34717 x34723 x34729 x34740 x34743 x34749 x34755 x34761 x34767 x34773 x34779 x34785 x34791 x34797 x34803 x34809 x34815
142.00/129.18	v x34821 x34827 x34833 x34839 x34845 x34851 x34857 x34863 x34869 x34875 x34881 x34887 x34895 x34901 x34907 x34913 x34919
142.00/129.18	v x36938 x36951 x37119 x37134 x37135 x37522 x37536 x37859 x37874 x37875 x37890 x37908 x37923 x37941 x37951 x37972 x37981
142.00/129.18	v x38377 x38392 x38393 x38408 x38426 x38589 x38607 x38617 x42043 x42053 x42225 x42240 x42241 x42256 x42274 x42437 x42455
142.00/129.18	v x42465 x42562 x42575 x42743 x42758 x42759 x42774 x42792 x43621 x43639 x43649 x44397 x44415 x44417 x44422 x44427 x44428
142.00/129.18	v x44429 x44433 x44460 x44461 x45655 x45673 x45675 x45680 x45685 x45686 x45687 x45691 x45718 x45719 x47114 x47117 x47127
142.00/129.18	v x49515 x49524 x49847 x49862 x49863 x50179 x50197 x50365 x50380 x50381 x50396 x50414 x51095 x51113 x51123 x51242 x51260
142.00/129.18	v x51262 x51267 x51272 x51273 x51274 x51389 x51416 x51417 x51850 x51853 x51863 x52365 x52374 x52511 x52526 x52527 x52542
142.00/129.18	v x52560 x56275 x56293 x56303 x59419 x59437 x59439 x59444 x59449 x59450 x59451 x59603 x59630 x59631 x60878 x60881 x60891
142.00/129.18	v x65278 x65287 x65535 x65550 x65551 x65864 x65878 x66127 x66142 x66143 x66158 x66176 x66857 x66875 x66885 x67573 x67583
142.00/129.18	v x68125 x68140 x68141 x68156 x68174 x72037 x72055 x72065 x73345 x73355 x73453 x73468 x73469 x73484 x73502 x74183 x74201
142.00/129.18	v x74211 x74219 x74237 x74239 x74244 x74249 x74250 x74251 x74329 x74356 x74357 x76585 x76615 x77232 x77235 x77245 x78289
142.00/129.18	v x78307 x78309 x78314 x78319 x78320 x78321 x78769 x78796 x78797 x79247 x79273 x82376 x82380 x82856 x82859 x82869 x82890
142.00/129.18	v x82899 x83147 x83162 x83163 x83178 x83196 x83877 x83895 x83905 x84061 x84079 x84081 x84086 x84091 x84092 x84093 x84097
142.00/129.18	v x84124 x84125 x84539 x84566 x84947 x84977 x88554 x88557 x88567 x89032 x89041 x89289 x89304 x89305 x90580 x90594 x90917
142.00/129.18	v x90932 x90933 x91618 x91633 x91879 x91894 x91895 x96204 x96218 x96541 x96556 x96557 x98684 x98698 x98909 x98924 x98925
142.00/129.18	v x98940 x98958 x99317 x99326 x99649 x99664 x99665 x99759 x99777 x100389 x100404 x100405 x100420 x100438 x101119 x101137
142.00/129.18	v x101147 x101317 x101327 x101425 x101440 x101441 x101456 x101474 x103635 x103653 x103663 x104904 x104913 x105199 x105214
142.00/129.18	v x105215 x105531 x105549 x105717 x105732 x105733 x105748 x105766 x105929 x105947 x105957 x106002 x106020 x106022 x106027
142.00/129.18	v x106032 x106033 x106034 x106075 x106102 x106103 x106462 x106465 x106475 x106941 x106951 x107049 x107064 x107065 x107080
142.00/129.18	v x107098 x107335 x107353 x107363 x112625 x112643 x112645 x112650 x112655 x112656 x112657 x112661 x112688 x112689 x113196
142.00/129.18	v x113199 x113209 x118927 x118936 x119259 x119274 x119275 x119515 x119529 x119703 x119718 x119719 x119734 x119752 x119915
142.00/129.18	v x119933 x119943 x121221 x121230 x121997 x122012 x122013 x122028 x122046 x122135 x122153 x122163 x122171 x122189 x122191
142.00/129.18	v x122196 x122201 x122202 x122203 x122281 x122308 x122309 x122742 x122745 x122755 x125797 x125815 x125817 x125822 x125827
142.00/129.18	v x125828 x125829 x125833 x125860 x125861 x126442 x126445 x126455 x126993 x127002 x127251 x127266 x127267 x127282 x127300
142.00/129.18	v x127315 x127333 x127343 x129066 x129075 x129323 x129338 x129339 x129354 x129372 x130053 x130071 x130081 x132913 x132922
142.00/129.18	v x133245 x133260 x133261 x133276 x133294 x134049 x134067 x134077 x135357 x135367 x135465 x135480 x135481 x135496 x135514
142.00/129.18	v x135899 x135917 x135927 x136022 x136031 x136279 x136294 x136295 x136310 x136328 x136343 x136361 x136371 x136539 x136548
142.00/129.18	v x136871 x136886 x136887 x136902 x136920 x137601 x137619 x137629 x139783 x139801 x139803 x139808 x139813 x139814 x139815
142.00/129.18	v x139819 x139846 x139847 x140354 x140357 x140367 x142238 x142247 x142495 x142510 x142511 x142678 x142693 x142791 x142806
142.00/129.18	v x142807 x142822 x142840 x143077 x143095 x143105 x146073 x146091 x146093 x146098 x146103 x146104 x146105 x146109 x146136
142.00/129.18	v x146137 x147808 x147834 x148938 x148941 x148951 x150528 x150541 x150709 x150724 x150725 x150740 x150758 x152031 x152049
142.00/129.18	v x152059 x152340 x152350 x152485 x152500 x152501 x152516 x152534 x155560 x155573 x155741 x155756 x155757 x155772 x155790
142.00/129.18	v x156027 x156045 x156055 x157483 x157493 x157591 x157606 x157607 x157622 x157640 x158469 x158487 x158497 x160072 x160081
142.00/129.18	v x160329 x160344 x160345 x160360 x160378 x161133 x161151 x161161 x171987 x171997 x172095 x172110 x172111 x172575 x172593
142.00/129.18	v x172761 x172776 x172777 x172792 x172810 x173639 x173657 x173667 x174859 x174877 x174879 x174884 x174889 x174890 x174891
142.00/129.18	v x174895 x174922 x174923 x178242 x178245 x178255 x178278 x178291 x178459 x178474 x178475 x178490 x178508 x181409 x181427
142.00/129.18	v x181437 x183309 x183319 x183417 x183432 x183433 x183448 x183466 x183777 x183795 x183805 x184516 x184534 x184536 x184541
142.00/129.18	v x184546 x184547 x184548 x184589 x184616 x184617 x185159 x185169 x185267 x185282 x185283 x185597 x185611 x186303 x186318
142.00/129.18	v x186319 x186334 x186352 x186441 x186459 x186469 x189659 x189677 x189679 x189684 x189689 x189690 x189691 x189695 x189722
142.00/129.18	v x189723 x190729 x190756 x191357 x191383 x193412 x193415 x193425 x193445 x193454 x193777 x193792 x193793 x193808 x193826
142.00/129.18	v x197296 x197309 x197551 x197566 x197567 x197582 x197600 x198355 x198373 x198383 x199736 x199745 x199993 x200008 x200009
142.00/129.18	v x200917 x200935 x201103 x201118 x201119 x201134 x201152 x201833 x201851 x201861 x202584 x202593 x202805 x202820 x202821
142.00/129.18	v x202836 x202854 x205903 x205921 x205931 x208025 x208035 x208207 x208222 x208223 x209649 x209667 x209983 x209998 x209999
142.00/129.18	v x210014 x210032 x210861 x210879 x210889 x211651 x211661 x211759 x211774 x211775 x211790 x211808 x212193 x212211 x212221
142.00/129.18	v x213721 x213730 x214053 x214068 x214069 x214084 x214102 x215375 x215393 x215403 x217794 x217807 x217975 x217990 x217991
142.00/129.18	v x219933 x219947 x220195 x220210 x220211 x220376 x220390 x220861 x220876 x220877 x220892 x220910 x220925 x220943 x220953
142.00/129.18	v x226215 x226233 x226235 x226240 x226245 x226246 x226247 x226251 x226278 x226279 x227434 x227464 x228080 x228093 x228261
142.00/129.18	v x228276 x228277 x228292 x228310 x228473 x228491 x228501 x228521 x228530 x228853 x228868 x228869 x228884 x228902 x229953
142.00/129.18	v x229971 x229981 x230076 x230085 x230333 x230348 x230349 x230364 x230382 x230471 x230489 x230499 x230669 x230679 x230777
142.00/129.18	v x230792 x230793 x230808 x230826 x231803 x231821 x231831 x233667 x233680 x233885 x233900 x233901 x235695 x235709 x235957
142.00/129.18	v x235972 x235973 x235988 x236006 x236169 x236187 x236197 x238178 x238187 x238473 x238488 x238489 x238504 x238522 x240793
142.00/129.18	v x240811 x240813 x240818 x240823 x240824 x240825 x240829 x240856 x240857 x245490 x245520 x246396 x246399 x246409 x246417
142.00/129.18	v x246435 x246437 x246442 x246447 x246448 x246449 x246453 x246480 x246481 x248246 x248249 x248259 x248281 x248291 x248389
142.00/129.18	v x248404 x248405 x248420 x248438 x249341 x249359 x249369 x249539 x249983 x249996 x250228 x250393 x250412 x250635 x250638
142.00/129.18	v x250741 x251062 x251067 x251134 x251146 x251194 x251328 x251499 x251777 x251991 x252082 x252231 x252245 x252261 x252294
142.00/129.18	v x252459 x252688 x252762 x252800 x252876 x253090 x253281 x253289 x253709 x254576 x254636 x254702 x254794 x254953 x255125
142.00/129.18	v x255193 x255233 x255417 x255792 x255952 x256089 x256200 x256355 x256417 x256512 x256578 x256606 x256655 x256827 x257139
142.00/129.18	v x257211 x257317 x257324 x257565 x257567 x257727 x257809 x257828 x258031 x258137 x258154 x258182 x258425 x258574 x258677
142.00/129.18	v x258991 x259002 x259135 x259307 x259434 x259524 x259583 x259603 x259795 x259864 x260109 x260147 x260206 x260235 x260388
142.00/129.18	v x260481 x260542 x260553 x260695 x261144 x261231 x261282 x261328 x261454 x261462 x261528 x261537 x261644 x261652 x261751
142.00/129.18	v x261878 x261968 x261989 x262105 x262404 x262726 x262758 x262922 x263014 x263399 x263532 x263639 x263827 x263847 x264013
142.00/129.18	v x264064 x264248 x264261 x264320 x264364 x264402 x264610 x264691 x264695 x264894 x265027 x265168 x265217 x265314 x265329
142.00/129.18	v x265688 x265714 x265856 x266166 x266397 x266408 x266512 x266630 x266663 x266775 x266835 x266894 x267104 x267153 x267165
142.00/129.18	v x267366 x267654 x267669 x267670 x267772 x267890 x268275 x268406 x268430 x268484 x268496 x268936 x268994 x269027 x269088
142.00/129.18	v x269495 x269645 x269688 x269875 x269877 x269895 x269964 x270328 x270612 x270651 x270829 x270901 x271321 x271331 x271419
142.00/129.18	v x271524 x271627 x271639 x271703 x271789 x271870 x271957 x272091 x272261 x272388 x272523 x272533 x272618 x272641 x272929
142.00/129.18	v x273039 x273210 x273378 x273767 x273862 x274147 x274365 x274431 x275026 x275540 x275603 x275677 x275713 x275739 x275844
142.00/129.18	v x275947 x276130 x276163 x276192 x276502 x276608 x276670 x276674 x276693 x276896 x277156 x277269 x277278 x277556 x277877
142.00/129.18	v x278062 x278176 x278302 x278586 x278597 x278695 x278699 x278779 x278858 x278995 x279149 x279361 x279439 x279454

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/418960-1177400491/instance-418960-1177400491.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/node55/watcher-418960-1177400491 -o ROOT/results/node55/solver-418960-1177400491 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-418960-1177400491.opb /tmp/evaluation/418960-1177400491/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/64 1848
/proc/meminfo: memFree=1681084/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=12268 CPUtime=0
/proc/1848/stat : 1848 (pbclasp) D 1846 1848 1702 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 187959723 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761776741 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/1848/statm: 3067 317 242 3 0 167 0

[startup+0.0836421 s]
/proc/loadavg: 0.92 0.95 0.82 3/64 1848
/proc/meminfo: memFree=1681084/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=15920 CPUtime=0.07
/proc/1848/stat : 1848 (pbclasp) R 1846 1848 1702 0 -1 4194304 1334 0 0 0 7 0 0 0 18 0 1 0 187959723 16302080 1301 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761455329 0 0 4224 16384 0 0 0 17 1 0 0
/proc/1848/statm: 3980 1301 314 3 0 1080 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15920

[startup+0.101642 s]
/proc/loadavg: 0.92 0.95 0.82 3/64 1848
/proc/meminfo: memFree=1681084/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=16448 CPUtime=0.08
/proc/1848/stat : 1848 (pbclasp) R 1846 1848 1702 0 -1 4194304 1486 0 0 0 8 0 0 0 18 0 1 0 187959723 16842752 1454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248761455329 0 0 4224 16384 0 0 0 17 1 0 0
/proc/1848/statm: 4112 1454 314 3 0 1212 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16448

[startup+0.301661 s]
/proc/loadavg: 0.92 0.95 0.82 3/64 1848
/proc/meminfo: memFree=1681084/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=0.29
/proc/1848/stat : 1848 (pbclasp) R 1846 1848 1702 0 -1 4194304 3607 0 0 0 27 2 0 0 19 0 1 0 187959723 25575424 3574 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 0 0 0 17 1 0 0
/proc/1848/statm: 6244 3574 316 3 0 3344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24976

[startup+0.701698 s]
/proc/loadavg: 0.92 0.95 0.82 3/64 1848
/proc/meminfo: memFree=1681084/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=0.68
/proc/1848/stat : 1848 (pbclasp) R 1846 1848 1702 0 -1 4194304 3607 0 0 0 66 2 0 0 22 0 1 0 187959723 25575424 3574 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 0 0 0 17 1 0 0
/proc/1848/statm: 6244 3574 316 3 0 3344 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24976

[startup+1.50177 s]
/proc/loadavg: 0.92 0.95 0.82 2/65 1849
/proc/meminfo: memFree=1667956/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 24976

[startup+3.10193 s]
/proc/loadavg: 0.93 0.95 0.82 2/69 1853
/proc/meminfo: memFree=1663252/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=0
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1851] ppid=1850 vsize=12400 CPUtime=1.7
/proc/1851/stat : 1851 (pb2clasp1) R 1850 1848 1702 0 -1 4194304 502 0 0 0 170 0 0 0 25 0 1 0 187959855 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 248779473858 0 0 4224 0 0 0 0 17 0 0 0
/proc/1851/statm: 3100 461 340 3 0 200 0
[pid=1852] ppid=1850 vsize=8692 CPUtime=0.21
/proc/1852/stat : 1852 (clasp-1.0) S 1850 1848 1702 0 -1 4194304 1793 0 0 0 20 1 0 0 16 0 1 0 187959855 8900608 1758 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1852/statm: 2173 1758 230 81 0 1547 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 187959855 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 63688

[startup+6.30123 s]
/proc/loadavg: 0.93 0.95 0.82 2/69 1853
/proc/meminfo: memFree=1653780/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=0
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1851] ppid=1850 vsize=12400 CPUtime=4.66
/proc/1851/stat : 1851 (pb2clasp1) R 1850 1848 1702 0 -1 4194304 502 0 0 0 466 0 0 0 25 0 1 0 187959855 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 248779526754 0 0 4224 0 0 0 0 17 1 0 0
/proc/1851/statm: 3100 461 340 3 0 200 0
[pid=1852] ppid=1850 vsize=17852 CPUtime=0.63
/proc/1852/stat : 1852 (clasp-1.0) S 1850 1848 1702 0 -1 4194304 4022 0 0 0 61 2 0 0 15 0 1 0 187959855 18280448 3987 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1852/statm: 4463 3987 230 81 0 3837 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 187959855 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 72848

[startup+12.7028 s]
/proc/loadavg: 0.94 0.96 0.82 3/69 1853
/proc/meminfo: memFree=1626900/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=0
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1851] ppid=1850 vsize=12400 CPUtime=10.89
/proc/1851/stat : 1851 (pb2clasp1) R 1850 1848 1702 0 -1 4194304 502 0 0 0 1088 1 0 0 25 0 1 0 187959855 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 248779700672 0 0 4224 0 0 0 0 17 0 0 0
/proc/1851/statm: 3100 461 340 3 0 200 0
[pid=1852] ppid=1850 vsize=46448 CPUtime=1.56
/proc/1852/stat : 1852 (clasp-1.0) S 1850 1848 1702 0 -1 4194304 11322 0 0 0 151 5 0 0 16 0 1 0 187959855 47562752 10958 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1852/statm: 11612 10958 230 81 0 10986 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 187959855 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 13.76
Current children cumulated vsize (KiB) 101444

[startup+25.5011 s]
/proc/loadavg: 0.95 0.96 0.82 2/69 1853
/proc/meminfo: memFree=1579348/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=0
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1851] ppid=1850 vsize=12400 CPUtime=23.47
/proc/1851/stat : 1851 (pb2clasp1) R 1850 1848 1702 0 -1 4194304 502 0 0 0 2345 2 0 0 25 0 1 0 187959855 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 248779673146 0 0 4224 0 0 0 0 17 0 0 0
/proc/1851/statm: 3100 461 340 3 0 200 0
[pid=1852] ppid=1850 vsize=90768 CPUtime=3.55
/proc/1852/stat : 1852 (clasp-1.0) S 1850 1848 1702 0 -1 4194304 22740 0 0 0 343 12 0 0 15 0 1 0 187959855 92946432 22173 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1852/statm: 22692 22173 230 81 0 22066 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 187959855 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 28.33
Current children cumulated vsize (KiB) 145764

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.82 2/69 1853
/proc/meminfo: memFree=1502996/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=0
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1851] ppid=1850 vsize=12400 CPUtime=48.84
/proc/1851/stat : 1851 (pb2clasp1) R 1850 1848 1702 0 -1 4194304 502 0 0 0 4879 5 0 0 25 0 1 0 187959855 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 248761302320 0 0 4224 0 0 0 0 17 0 0 0
/proc/1851/statm: 3100 461 340 3 0 200 0
[pid=1852] ppid=1850 vsize=171004 CPUtime=7.68
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 42093 0 0 0 746 22 0 0 16 0 1 0 187959855 175108096 41526 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134689811 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 42751 41526 230 81 0 42125 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 187959855 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 57.83
Current children cumulated vsize (KiB) 226000

[startup+102.305 s]
/proc/loadavg: 1.06 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085276/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=30.21
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184751 0 0 0 2936 85 0 0 25 0 1 0 187959855 610598912 145325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737421 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145325 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 115.21
Current children cumulated vsize (KiB) 638884

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

[startup+115.103 s]
/proc/loadavg: 1.05 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=43
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184789 0 0 0 4215 85 0 0 25 0 1 0 187959855 610598912 145363 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737304 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145363 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 128
Current children cumulated vsize (KiB) 638884

[startup+121.501 s]
/proc/loadavg: 1.05 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=49.4
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184789 0 0 0 4855 85 0 0 25 0 1 0 187959855 610598912 145363 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145363 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 134.4
Current children cumulated vsize (KiB) 638884

[startup+124.702 s]
/proc/loadavg: 1.04 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=52.6
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184789 0 0 0 5175 85 0 0 25 0 1 0 187959855 610598912 145363 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737366 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145363 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 137.6
Current children cumulated vsize (KiB) 638884

[startup+126.302 s]
/proc/loadavg: 1.04 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=54.2
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184789 0 0 0 5335 85 0 0 25 0 1 0 187959855 610598912 145363 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737304 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145363 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 139.2
Current children cumulated vsize (KiB) 638884

[startup+127.902 s]
/proc/loadavg: 1.04 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=55.8
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184789 0 0 0 5495 85 0 0 25 0 1 0 187959855 610598912 145363 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145363 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 140.8
Current children cumulated vsize (KiB) 638884

[startup+128.706 s]
/proc/loadavg: 1.04 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=596288 CPUtime=56.6
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184792 0 0 0 5575 85 0 0 25 0 1 0 187959855 610598912 145366 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 149072 145366 245 81 0 148446 0
[pid=1853] ppid=1850 vsize=12268 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 187959855 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 141.6
Current children cumulated vsize (KiB) 638884

[startup+129.102 s]
/proc/loadavg: 1.04 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=24976 CPUtime=1.31
/proc/1848/stat : 1848 (pbclasp) S 1846 1848 1702 0 -1 4194304 3629 0 0 0 126 5 0 0 16 0 1 0 187959723 25575424 3578 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 248770506850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1848/statm: 6244 3578 320 3 0 3344 0
[pid=1850] ppid=1848 vsize=5352 CPUtime=83.69
/proc/1850/stat : 1850 (sh) S 1848 1848 1702 0 -1 4194304 297 504 0 0 0 0 8359 10 16 0 1 0 187959855 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1850/statm: 1338 224 188 169 0 49 0
[pid=1852] ppid=1850 vsize=493208 CPUtime=57
/proc/1852/stat : 1852 (clasp-1.0) R 1850 1848 1702 0 -1 4194304 184814 0 0 0 5613 87 0 0 25 0 1 0 187959855 505044992 119850 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134731470 0 0 4096 0 0 0 0 17 1 0 0
/proc/1852/statm: 123302 119850 266 81 0 122676 0
[pid=1853] ppid=1850 vsize=12408 CPUtime=0
/proc/1853/stat : 1853 (pboutclasp.pl) S 1850 1848 1702 0 -1 4194304 481 0 0 0 0 0 0 0 16 0 1 0 187959855 12705792 441 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 248770506850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1853/statm: 3102 441 311 3 0 202 0
Current children cumulated CPU time (s) 142
Current children cumulated vsize (KiB) 535944

[startup+129.202 s]
/proc/loadavg: 1.04 0.99 0.84 2/68 1853
/proc/meminfo: memFree=1085148/2055920 swapFree=4184544/4192956
[pid=1848] ppid=1846 vsize=0 CPUtime=142.11
/proc/1848/stat : 1848 (pbclasp) R 1846 1848 1702 0 -1 4194308 5931 186112 0 0 127 5 13973 106 16 0 1 0 187959723 0 0 18446744073709551615 0 0 0 0 0 0 0 4224 16384 0 0 0 17 1 0 0
/proc/1848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 142.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 129.206
CPU time (s): 142.141
CPU user time (s): 141.016
CPU system time (s): 1.12583
CPU usage (%): 110.012
Max. virtual memory (cumulated for all children) (KiB): 666856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.016
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192043
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= 12589
involuntary context switches= 1936

runsolver used 0.108983 second user time and 0.364944 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Tue Apr 24 07:41:34 UTC 2007

IDJOB= 418960
IDBENCH= 47739
IDSOLVER= 167
FILE ID= node55/418960-1177400491

PBS_JOBID= 4675558

Free space on /tmp= 66314 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-19-s.opb
COMMAND LINE= pbclasp instance-418960-1177400491.opb /tmp/evaluation/418960-1177400491/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-418960-1177400491 -o ROOT/results/node55/conversion-418960-1177400491 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/418960-1177400491/instance-418960-1177400491.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  21191f849caa983290b013df53d5d87e

RANDOM SEED= 647519926

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1681556 kB
Buffers:         40604 kB
Cached:         260528 kB
SwapCached:       2556 kB
Active:         134360 kB
Inactive:       176544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681556 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:           42504 kB
Writeback:           0 kB
Mapped:          16144 kB
Slab:            49548 kB
Committed_AS:  1253908 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66314 MiB

End job on node55 on Tue Apr 24 07:43:46 UTC 2007