Trace number 418979

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-clasp 2007-03-23SAT 378.864 329.984

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
anbulagan/medium-sat/total-10-19-s.opb
MD5SUM0accc2fede717a5875f68bad377f5246
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 benchmark181.581
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 variables331631
Total number of constraints1586193
Number of constraints which are clauses1586193
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)

378.74/329.96	s SATISFIABLE
378.74/329.96	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
378.74/329.96	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
378.74/329.96	v x341 x347 x353 x359 x365 x371 x377 x383 x389 x395 x401 x407 x413 x419 x425 x431 x437 x443 x449 x455 x461 x467 x473 x479 x485 x491
378.74/329.96	v x497 x503 x509 x515 x521 x527 x533 x539 x545 x551 x557 x563 x569 x575 x581 x587 x593 x599 x605 x611 x617 x623 x629 x635 x641 x647
378.74/329.96	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
378.74/329.96	v x809 x815 x821 x827 x833 x839 x845 x851 x857 x863 x869 x875 x881 x887 x893 x899 x905 x911 x917 x923 x929 x935 x941 x943 x949 x955
378.74/329.96	v x961 x967 x973 x979 x990 x996 x999 x1005 x1011 x1017 x1023 x1029 x1035 x1041 x1047 x1053 x1059 x1065 x1071 x1077 x1083 x1089
378.74/329.96	v x1095 x1101 x1107 x1113 x1119 x1125 x1133 x1139 x1145 x1151 x1157 x1163 x1169 x1175 x1181 x1183 x1189 x1195 x1201 x1207 x1218
378.74/329.96	v x1221 x1227 x1233 x1239 x1245 x1251 x1257 x1263 x1269 x1275 x1281 x1289 x1295 x1301 x1307 x1313 x1319 x1325 x1331 x1337 x1343
378.74/329.96	v x1349 x1355 x1361 x1367 x1373 x1379 x1385 x1391 x1397 x1403 x1409 x1415 x1421 x1427 x1433 x1439 x1445 x1451 x1457 x1463 x1469
378.74/329.96	v x1475 x1481 x1487 x1493 x1499 x1505 x1511 x1517 x1523 x1529 x1535 x1541 x1547 x1553 x1559 x1565 x1571 x1577 x1583 x1589 x1595
378.74/329.96	v x1601 x1607 x1613 x1619 x1625 x1631 x1637 x1643 x1649 x1655 x1661 x1667 x1673 x1679 x1685 x1691 x1697 x1703 x1709 x1715 x1721
378.74/329.96	v x1727 x1733 x1739 x1745 x1751 x1757 x1763 x1769 x1775 x1777 x1783 x1789 x1795 x1801 x1807 x1813 x1819 x1825 x1831 x1837 x1843
378.74/329.96	v x1849 x1855 x1861 x1867 x1873 x1879 x1890 x1896 x1899 x1905 x1911 x1917 x1923 x1929 x1935 x1941 x1947 x1953 x1959 x1965 x1971
378.74/329.96	v x1977 x1983 x1989 x1995 x2001 x2007 x2013 x2019 x2025 x2031 x2037 x2043 x2049 x2055 x2061 x2067 x2075 x2081 x2087 x2093 x2099
378.74/329.96	v x2105 x2111 x2117 x2123 x2129 x2135 x2141 x2147 x2153 x2159 x2165 x2167 x2173 x2179 x2185 x2191 x2197 x2208 x2211 x2217 x2223
378.74/329.96	v x2229 x2235 x2243 x2249 x2255 x2261 x2267 x2269 x2275 x2281 x2287 x2293 x2304 x2310 x2316 x2319 x2325 x2331 x2337 x2343 x2351
378.74/329.96	v x2357 x2363 x2369 x2375 x2381 x2387 x2393 x2399 x2405 x2411 x2417 x2423 x2429 x2435 x2441 x2447 x2453 x2459 x2465 x2471 x2477
378.74/329.96	v x2483 x2488 x2492 x2498 x2504 x2510 x2516 x2522 x2528 x2534 x2540 x2546 x2552 x2558 x2564 x2570 x2576 x2582 x2588 x2594 x2603
378.74/329.96	v x2609 x2615 x2621 x2627 x2633 x2639 x2645 x2651 x2657 x2663 x2669 x2675 x2681 x2687 x2693 x2699 x2705 x2711 x2717 x2723 x2729
378.74/329.96	v x2735 x2741 x2747 x2753 x2755 x2761 x2767 x2773 x2779 x2785 x2791 x2797 x2803 x2809 x2815 x2821 x2827 x2833 x2839 x2845 x2851
378.74/329.96	v x2857 x2863 x2869 x2875 x2881 x2887 x2893 x2899 x2905 x2911 x2917 x2928 x2934 x2940 x2943 x2949 x2955 x2961 x2967 x2973 x2979
378.74/329.96	v x2985 x2991 x2997 x3003 x3009 x3015 x3021 x3027 x3033 x3039 x3045 x3051 x3057 x3063 x3069 x3075 x3081 x3087 x3093 x3099 x3107
378.74/329.96	v x3113 x3119 x3125 x3131 x3137 x3143 x3149 x3155 x3161 x3167 x3173 x3179 x3185 x3191 x3197 x3203 x3209 x3215 x3221 x3227 x3233
378.74/329.96	v x3239 x3245 x3251 x3257 x3263 x3269 x3275 x3281 x3287 x3293 x3299 x3305 x3311 x3317 x3323 x3329 x3335 x3341 x3347 x3353 x3358
378.74/329.96	v x3364 x3370 x3376 x3380 x3386 x3392 x3398 x3404 x3410 x3416 x3422 x3428 x3434 x3440 x3446 x3452 x3458 x3464 x3470 x3476 x3482
378.74/329.96	v x3488 x3494 x3500 x3506 x3512 x3518 x3524 x3530 x3536 x3542 x3548 x3554 x3560 x3566 x3572 x3578 x3587 x3589 x3595 x3601 x3607
378.74/329.96	v x3613 x3619 x3625 x3636 x3642 x3648 x3654 x3657 x3663 x3671 x3677 x3683 x3685 x3691 x3697 x3708 x3711 x3717 x3723 x3729 x3735
378.74/329.96	v x3741 x3747 x3753 x3759 x3765 x3771 x3777 x3783 x3789 x3795 x3801 x3807 x3813 x3819 x3825 x3831 x3837 x3843 x3849 x3855 x3861
378.74/329.96	v x3867 x3875 x3881 x3887 x3893 x3899 x3905 x3911 x3917 x3923 x3929 x3935 x3941 x3947 x3953 x3959 x3965 x3971 x3977 x3983 x3989
378.74/329.96	v x3995 x4001 x4007 x4013 x4019 x4025 x4031 x4037 x4043 x4049 x4055 x4061 x4067 x4073 x4079 x4085 x4091 x4097 x4103 x4109 x4115
378.74/329.96	v x4121 x4127 x4133 x4139 x4145 x4151 x4157 x4163 x4169 x4175 x4181 x4187 x4193 x4199 x4205 x4211 x4217 x4223 x4229 x4235 x4241
378.74/329.96	v x4247 x4253 x4259 x4265 x4271 x4277 x4283 x4289 x4295 x4301 x4307 x4313 x4319 x4325 x4331 x4337 x4343 x4349 x4355 x4361 x4367
378.74/329.96	v x4373 x4379 x4385 x4391 x4397 x4403 x4409 x4415 x4421 x4427 x4433 x4439 x4445 x4447 x4453 x4459 x4470 x4476 x4482 x4488 x4491
378.74/329.96	v x4497 x4503 x4509 x4517 x4523 x4529 x4535 x4541 x4547 x4553 x4559 x4565 x4571 x4577 x4583 x4589 x4595 x4601 x4607 x4613 x4619
378.74/329.96	v x4625 x4631 x4637 x4643 x4649 x4655 x4661 x4667 x4673 x4679 x4685 x4691 x4697 x4703 x4709 x4715 x4721 x4727 x4733 x4739 x4745
378.74/329.96	v x4751 x4757 x4763 x4769 x4775 x4781 x4787 x4793 x4799 x4805 x4811 x4817 x4823 x4829 x4835 x4841 x4847 x4853 x4859 x4865 x4871
378.74/329.96	v x4877 x4883 x4889 x4895 x4901 x4907 x4913 x4919 x4925 x4931 x4937 x4943 x4949 x4955 x4961 x4967 x4973 x4979 x4985 x4991 x4997
378.74/329.96	v x5003 x5009 x5015 x5021 x5027 x5033 x5039 x5045 x5051 x5057 x5063 x5069 x5075 x5081 x5087 x5093 x5099 x5105 x5111 x5117 x5123
378.74/329.96	v x5129 x5135 x5141 x5147 x5153 x5159 x5165 x5171 x5177 x5183 x5189 x5195 x5201 x5207 x5213 x5219 x5225 x5231 x5237 x5243 x5249
378.74/329.96	v x5255 x5261 x5267 x5273 x5279 x5285 x5291 x5297 x5303 x5309 x5315 x5321 x5327 x5333 x5339 x5345 x5351 x5357 x5363 x5369 x5375
378.74/329.96	v x5381 x5387 x5393 x5399 x5405 x5411 x5417 x5423 x5429 x5435 x5441 x5447 x5453 x5459 x5465 x5471 x5477 x5483 x5489 x5495 x5501
378.74/329.96	v x5507 x5513 x5519 x5525 x5531 x5537 x5543 x5549 x5555 x5561 x5567 x5573 x5579 x5585 x5591 x5597 x5603 x5609 x5615 x5621 x5627
378.74/329.96	v x5633 x5639 x5645 x5651 x5657 x5663 x5669 x5675 x5681 x5687 x5693 x5699 x5705 x5711 x5717 x5723 x5729 x5735 x5741 x5747 x5753
378.74/329.96	v x5759 x5765 x5771 x5777 x5783 x5789 x5795 x5801 x5807 x5813 x5819 x5825 x5831 x5837 x5843 x5849 x5855 x5861 x5867 x5873 x5879
378.74/329.96	v x5885 x5891 x5897 x5903 x5909 x5915 x5921 x5927 x5933 x5939 x5945 x5951 x5957 x5963 x5969 x5975 x5981 x5987 x5993 x5999 x6005
378.74/329.96	v x6007 x6013 x6019 x6025 x6031 x6037 x6043 x6049 x6055 x6061 x6067 x6073 x6079 x6085 x6091 x6097 x6103 x6109 x6115 x6126 x6132
378.74/329.96	v x6138 x6141 x6147 x6153 x6161 x6167 x6173 x6179 x6185 x6191 x6197 x6203 x6209 x6215 x6221 x6227 x6233 x6239 x6245 x6251 x6257
378.74/329.96	v x6263 x6269 x6275 x6281 x6287 x6293 x6299 x6305 x6311 x6317 x6323 x6329 x6335 x6341 x6347 x6353 x6359 x6365 x6371 x6377 x6383
378.74/329.96	v x6389 x6395 x6401 x6407 x6413 x6419 x6425 x6431 x6437 x6443 x6449 x6455 x6461 x6467 x6473 x6479 x6485 x6491 x6497 x6503 x6509
378.74/329.96	v x6515 x6517 x6523 x6529 x6535 x6541 x6547 x6553 x6564 x6570 x6576 x6582 x6585 x6591 x6597 x6603 x6611 x6617 x6623 x6629 x6635
378.74/329.96	v x6641 x6647 x6653 x6659 x6665 x6671 x6677 x6683 x6689 x6695 x6701 x6707 x6713 x6719 x6725 x6731 x6737 x6743 x6749 x6755 x6761
378.74/329.96	v x6767 x6773 x6779 x6785 x6791 x6797 x6803 x6809 x6815 x6821 x6827 x6833 x6839 x6845 x6851 x6857 x6863 x6869 x6875 x6881 x6887
378.74/329.96	v x6893 x6899 x6905 x6911 x6917 x6923 x6929 x6935 x6941 x6947 x6953 x6959 x6965 x6971 x6977 x6983 x6989 x6995 x7001 x7007 x7013
378.74/329.96	v x7019 x7025 x7031 x7037 x7043 x7049 x7055 x7061 x7067 x7073 x7079 x7085 x7091 x7097 x7103 x7109 x7115 x7121 x7127 x7133 x7139
378.74/329.96	v x7145 x7151 x7157 x7163 x7169 x7175 x7177 x7183 x7189 x7195 x7201 x7207 x7213 x7219 x7225 x7231 x7237 x7243 x7249 x7255 x7261
378.74/329.96	v x7267 x7273 x7279 x7285 x7291 x7297 x7303 x7309 x7320 x7323 x7331 x7337 x7343 x7349 x7355 x7361 x7367 x7373 x7379 x7385 x7391
378.74/329.96	v x7397 x7403 x7409 x7415 x7421 x7427 x7433 x7439 x7445 x7451 x7457 x7463 x7469 x7475 x7481 x7487 x7493 x7499 x7505 x7511 x7517
378.74/329.96	v x7523 x7529 x7535 x7541 x7547 x7553 x7559 x7565 x7571 x7577 x7583 x7589 x7595 x7601 x7607 x7613 x7619 x7625 x7631 x7637 x7643
378.74/329.96	v x7649 x7655 x7661 x7667 x7673 x7679 x7685 x7691 x7697 x7703 x7709 x7715 x7721 x7727 x7733 x7739 x7745 x7751 x7757 x7763 x7769
378.74/329.96	v x7775 x7781 x7787 x7793 x7799 x7805 x7811 x7817 x7823 x7829 x7835 x7841 x7847 x7853 x7859 x7865 x7871 x7877 x7883 x7889 x7895
378.74/329.96	v x7901 x7907 x7913 x7919 x7925 x7931 x7937 x7943 x7949 x7955 x7961 x7967 x7973 x7979 x7985 x7991 x7997 x8003 x8009 x8015 x8021
378.74/329.96	v x8027 x8033 x8039 x8045 x8051 x8057 x8063 x8069 x8075 x8081 x8087 x8093 x8099 x8105 x8111 x8117 x8123 x8129 x8135 x8141 x8147
378.74/329.96	v x8153 x8159 x8165 x8171 x8177 x8183 x8189 x8195 x8201 x8207 x8213 x8219 x8225 x8231 x8237 x8243 x8249 x8255 x8261 x8267 x8273
378.74/329.96	v x8279 x8285 x8287 x8293 x8299 x8305 x8311 x8317 x8323 x8334 x8340 x8346 x8352 x8358 x8364 x8370 x8376 x8377 x8383 x8389 x8395
378.74/329.96	v x8401 x8407 x8413 x8419 x8425 x8431 x8442 x8448 x8454 x8460 x8466 x8472 x8478 x8479 x8485 x8491 x8497 x8503 x8509 x8515 x8521
378.74/329.96	v x8527 x8538 x8541 x8547 x8553 x8559 x8565 x8571 x8577 x8583 x8589 x8595 x8601 x8607 x8613 x8619 x8625 x8631 x8637 x8643 x8649
378.74/329.96	v x8655 x8661 x8667 x8673 x8679 x8685 x8691 x8697 x8703 x8709 x8715 x8721 x8727 x8733 x8739 x8745 x8751 x8757 x8763 x8769 x8777
378.74/329.96	v x8783 x8789 x8795 x8801 x8807 x8813 x8819 x8825 x8831 x8837 x8843 x8849 x8855 x8861 x8867 x8873 x8879 x8885 x8891 x8897 x8903
378.74/329.96	v x8909 x8915 x8921 x8927 x8933 x8939 x8945 x8951 x8957 x8963 x8969 x8975 x8981 x8987 x8993 x8999 x9005 x9011 x9017 x9019 x9025
378.74/329.96	v x9031 x9037 x9043 x9049 x9055 x9066 x9072 x9078 x9081 x9087 x9093 x9099 x9105 x9111 x9117 x9123 x9129 x9135 x9141 x9147 x9153
378.74/329.96	v x9159 x9165 x9171 x9177 x9183 x9189 x9195 x9201 x9209 x9215 x9221 x9227 x9233 x9239 x9245 x9251 x9257 x9263 x9269 x9275 x9281
378.74/329.96	v x9287 x9293 x9299 x9305 x9311 x9317 x9323 x9329 x9335 x9341 x9347 x9353 x9359 x9365 x9371 x9377 x9383 x9389 x9395 x9401 x9407
378.74/329.96	v x9413 x9419 x9425 x9431 x9437 x9443 x9449 x9455 x9461 x9467 x9473 x9479 x9485 x9491 x9497 x9503 x9509 x9515 x9521 x9527 x9533
378.74/329.96	v x9539 x9545 x9551 x9557 x9563 x9569 x9575 x9581 x9587 x9593 x9599 x9605 x9611 x9617 x9623 x9629 x9635 x9641 x9647 x9653 x9659
378.74/329.96	v x9665 x9671 x9677 x9683 x9689 x9695 x9701 x9707 x9713 x9719 x9725 x9731 x9737 x9743 x9749 x9755 x9761 x9767 x9773 x9779 x9785
378.74/329.96	v x9791 x9797 x9803 x9809 x9815 x9821 x9827 x9833 x9839 x9845 x9851 x9857 x9863 x9869 x9875 x9881 x9887 x9893 x9899 x9905 x9911
378.74/329.96	v x9917 x9923 x9929 x9935 x9941 x9947 x9953 x9959 x9965 x9971 x9977 x9983 x9989 x9995 x10001 x10007 x10013 x10019 x10025 x10031
378.74/329.96	v x10037 x10043 x10049 x10055 x10061 x10067 x10073 x10079 x10085 x10091 x10097 x10103 x10109 x10115 x10121 x10127 x10133
378.74/329.96	v x10139 x10145 x10151 x10157 x10163 x10169 x10175 x10181 x10187 x10193 x10199 x10205 x10211 x10217 x10223 x10229 x10235
378.74/329.96	v x10241 x10247 x10253 x10259 x10265 x10271 x10277 x10283 x10289 x10295 x10301 x10307 x10313 x10319 x10325 x10331 x10337
378.74/329.96	v x10343 x10349 x10355 x10361 x10367 x10373 x10379 x10385 x10391 x10397 x10403 x10409 x10415 x10421 x10427 x10433 x10439
378.74/329.96	v x10445 x10451 x10457 x10463 x10469 x10475 x10481 x10487 x10493 x10499 x10505 x10511 x10517 x10523 x10529 x10535 x10541
378.74/329.96	v x10547 x10553 x10559 x10565 x10571 x10577 x10583 x10589 x10595 x10601 x10607 x10613 x10619 x10625 x10631 x10637 x10643
378.74/329.96	v x10649 x10655 x10661 x10667 x10673 x10679 x10685 x10691 x10697 x10703 x10709 x10715 x10721 x10727 x10733 x10739 x10745
378.74/329.96	v x10751 x10757 x10763 x10769 x10775 x10781 x10787 x10793 x10799 x10805 x10811 x10817 x10823 x10829 x10835 x10841 x10847
378.74/329.96	v x10849 x10855 x10861 x10867 x10873 x10879 x10885 x10891 x10897 x10903 x10909 x10915 x10921 x10932 x10938 x10941 x10947
378.74/329.96	v x10953 x10959 x10965 x10971 x10977 x10983 x10989 x10995 x11001 x11007 x11013 x11019 x11025 x11031 x11037 x11043 x11051
378.74/329.96	v x11057 x11063 x11069 x11075 x11081 x11087 x11093 x11099 x11105 x11111 x11117 x11123 x11129 x11135 x11141 x11147 x11153
378.74/329.96	v x11159 x11165 x11171 x11177 x11183 x11189 x11195 x11201 x11207 x11213 x11219 x11225 x11231 x11237 x11243 x11249 x11255
378.74/329.96	v x11261 x11267 x11273 x11279 x11285 x11291 x11293 x11299 x11305 x11311 x11317 x11323 x11329 x11335 x11341 x11352 x11358
378.74/329.96	v x11361 x11367 x11375 x11381 x11387 x11393 x11399 x11405 x11411 x11417 x11423 x11429 x11435 x11441 x11447 x11453 x11459
378.74/329.96	v x11465 x11471 x11477 x11483 x11489 x11495 x11501 x11507 x11513 x11519 x11525 x11531 x11533 x11539 x11545 x11551 x11557
378.74/329.96	v x11563 x11569 x11575 x11581 x11592 x11595 x11603 x11609 x11615 x11621 x11627 x11633 x11639 x11645 x11651 x11657 x11663
378.74/329.96	v x11669 x11675 x11681 x11687 x11693 x11699 x11705 x11711 x11717 x11723 x11729 x11735 x11741 x11747 x11749 x11755 x11761
378.74/329.96	v x11767 x11773 x11779 x11785 x11791 x11797 x11808 x11814 x11820 x11823 x11829 x11835 x11841 x11847 x11853 x11859 x11865
378.74/329.96	v x11871 x11877 x11883 x11889 x11895 x11901 x11907 x11913 x11919 x11927 x11933 x11939 x11945 x11951 x11957 x11963 x11969
378.74/329.96	v x11975 x11981 x11987 x11993 x11999 x12005 x12011 x12017 x12023 x12029 x12035 x12041 x12047 x12053 x12059 x12065 x12071
378.74/329.96	v x12077 x12083 x12089 x12095 x12101 x12107 x12113 x12119 x12125 x12127 x12133 x12139 x12145 x12151 x12157 x12163 x12169
378.74/329.96	v x12175 x12181 x12187 x12193 x12199 x12205 x12211 x12217 x12223 x12229 x12235 x12241 x12252 x12258 x12264 x12267 x12275
378.74/329.96	v x12281 x12287 x12293 x12299 x12305 x12311 x12317 x12323 x12329 x12335 x12341 x12347 x12353 x12359 x12365 x12371 x12377
378.74/329.96	v x12383 x12389 x12395 x12401 x12407 x12413 x12419 x12425 x12431 x12437 x12443 x12449 x12455 x12461 x12467 x12473 x12479
378.74/329.96	v x12485 x12491 x12497 x12503 x12509 x12515 x12521 x12527 x12533 x12539 x12545 x12551 x12557 x12563 x12569 x12575 x12581
378.74/329.96	v x12587 x12593 x12599 x12605 x12611 x12617 x12623 x12629 x12635 x12641 x12647 x12653 x12659 x12665 x12671 x12677 x12683
378.74/329.96	v x12689 x12695 x12701 x12707 x12713 x12719 x12725 x12731 x12737 x12743 x12749 x12755 x12761 x12767 x12773 x12779 x12785
378.74/329.96	v x12791 x12797 x12803 x12809 x12815 x12821 x12827 x12833 x12835 x12841 x12847 x12853 x12859 x12865 x12871 x12877 x12883
378.74/329.96	v x12894 x12900 x12903 x12909 x12915 x12921 x12929 x12935 x12941 x12947 x12953 x12959 x12965 x12971 x12977 x12983 x12989
378.74/329.96	v x12995 x13001 x13007 x13013 x13019 x13025 x13031 x13037 x13043 x13049 x13055 x13061 x13067 x13073 x13079 x13085 x13091
378.74/329.96	v x13097 x13103 x13109 x13115 x13121 x13127 x13133 x13139 x13145 x13151 x13157 x13163 x13169 x13175 x13181 x13187 x13193
378.74/329.96	v x13199 x13205 x13211 x13217 x13223 x13229 x13235 x13241 x13247 x13253 x13259 x13265 x13271 x13277 x13283 x13289 x13295
378.74/329.96	v x13301 x13307 x13313 x13319 x13325 x13331 x13337 x13343 x13349 x13355 x13361 x13363 x13369 x13375 x13381 x13387 x13398
378.74/329.96	v x13404 x13410 x13416 x13422 x13425 x13433 x13439 x13445 x13451 x13457 x13463 x13469 x13475 x13481 x13487 x13493 x13499
378.74/329.96	v x13505 x13511 x13517 x13523 x13529 x13535 x13541 x13547 x13553 x13559 x13565 x13571 x13577 x13583 x13589 x13595 x13601
378.74/329.96	v x13603 x13609 x13615 x13626 x13632 x13638 x13644 x13650 x13656 x13662 x13668 x13674 x13680 x13686 x13692 x13698 x13704
378.74/329.96	v x13705 x13711 x13717 x13723 x13729 x13735 x13741 x13747 x13753 x13759 x13765 x13771 x13782 x13785 x13791 x13797 x13805
378.74/329.96	v x13811 x13817 x13823 x13829 x13835 x13841 x13847 x13853 x13859 x13865 x13871 x13877 x13883 x13889 x13895 x13901 x13907
378.74/329.96	v x13913 x13919 x13925 x13931 x13937 x13943 x13949 x13955 x13961 x13967 x13973 x13979 x13985 x13991 x13997 x14003 x14009
378.74/329.96	v x14015 x14021 x14027 x14033 x14039 x14045 x14051 x14057 x14063 x14069 x14075 x14081 x14087 x14093 x14099 x14105 x14111
378.74/329.96	v x14117 x14123 x14129 x14135 x14141 x14147 x14153 x14159 x14165 x14171 x14177 x14183 x14189 x14195 x14197 x14203 x14209
378.74/329.96	v x14215 x14221 x14227 x14233 x14239 x14245 x14251 x14257 x14263 x14269 x14275 x14281 x14287 x14298 x14304 x14310 x14313
378.74/329.96	v x14319 x14325 x14331 x14337 x14343 x14349 x14355 x14361 x14367 x14373 x14379 x14385 x14391 x14397 x14403 x14409 x14415
378.74/329.96	v x14421 x14429 x14435 x14441 x14447 x14453 x14459 x14465 x14471 x14477 x14483 x14489 x14495 x14501 x14507 x14513 x14519
378.74/329.96	v x14525 x14531 x14537 x14543 x14549 x14555 x14561 x14567 x14573 x14579 x14585 x14591 x14597 x14603 x14609 x14615 x14621
378.74/329.96	v x14627 x14633 x14639 x14645 x14651 x14657 x14663 x14669 x14675 x14681 x14687 x14693 x14699 x14705 x14711 x14717 x14723
378.74/329.96	v x14729 x14735 x14741 x14747 x14753 x14759 x14765 x14771 x14777 x14783 x14789 x14795 x14801 x14807 x14813 x14819 x14825
378.74/329.96	v x14831 x14837 x14843 x14849 x14855 x14861 x14867 x14873 x14879 x14885 x14891 x14897 x14903 x14909 x14915 x14921 x14927
378.74/329.96	v x14933 x14939 x14945 x14951 x14957 x14963 x14969 x14975 x14981 x14987 x14993 x14999 x15005 x15011 x15017 x15023 x15029
378.74/329.96	v x15035 x15041 x15047 x15053 x15059 x15065 x15071 x15077 x15083 x15089 x15095 x15101 x15107 x15113 x15119 x15125 x15131
378.74/329.96	v x15137 x15143 x15149 x15155 x15161 x15167 x15173 x15175 x15181 x15187 x15193 x15199 x15205 x15211 x15217 x15223 x15229
378.74/329.96	v x15235 x15241 x15247 x15253 x15259 x15265 x15271 x15277 x15283 x15289 x15295 x15301 x15307 x15313 x15319 x15325 x15331
378.74/329.96	v x15337 x15343 x15349 x15360 x15366 x15372 x15378 x15384 x15390 x15396 x15402 x15408 x15414 x15420 x15426 x15432 x15438
378.74/329.96	v x15444 x15450 x15456 x15457 x15463 x15469 x15475 x15481 x15487 x15493 x15499 x15505 x15511 x15517 x15523 x15529 x15535
378.74/329.96	v x15541 x15547 x15553 x15564 x15567 x15573 x15579 x15585 x15591 x15597 x15603 x15609 x15615 x15621 x15627 x15633 x15639
378.74/329.96	v x15647 x15653 x15659 x15665 x15671 x15677 x15683 x15689 x15695 x15701 x15707 x15713 x15719 x15725 x15731 x15737 x15743
378.74/329.96	v x15749 x15755 x15761 x15767 x15773 x15779 x15785 x15791 x15797 x15803 x15809 x15815 x15821 x15827 x15833 x15839 x15845
378.74/329.96	v x15851 x15857 x15863 x15869 x15875 x15881 x15887 x15893 x15899 x15905 x15911 x15917 x15923 x15929 x15935 x15941 x15947
378.74/329.96	v x15953 x15959 x15965 x15971 x15977 x15983 x15989 x15995 x16001 x16007 x16013 x16019 x16025 x16031 x16037 x16043 x16049
378.74/329.96	v x16055 x16061 x16067 x16073 x16079 x16085 x16091 x16097 x16103 x16105 x16111 x16117 x16123 x16129 x16140 x16146 x16149
378.74/329.96	v x16155 x16161 x16167 x16173 x16179 x16185 x16191 x16197 x16203 x16209 x16215 x16221 x16227 x16233 x16239 x16245 x16251
378.74/329.96	v x16257 x16263 x16269 x16275 x16281 x16287 x16293 x16299 x16305 x16311 x16319 x16325 x16331 x16337 x16343 x16349 x16355
378.74/329.96	v x16357 x16363 x16369 x16375 x16381 x16387 x16393 x16399 x16405 x16411 x16417 x16423 x16429 x16435 x16441 x16447 x16453
378.74/329.96	v x16459 x16465 x16471 x16477 x16488 x16494 x16500 x16506 x16512 x16515 x16521 x16527 x16533 x16539 x16547 x16553 x16559
378.74/329.96	v x16565 x16570 x16574 x16580 x16586 x16592 x16598 x16604 x16610 x16616 x16622 x16628 x16634 x16640 x16646 x16652 x16658
378.74/329.96	v x16664 x16670 x16676 x16682 x16688 x16694 x16700 x16706 x16712 x16718 x16724 x16730 x16736 x16742 x16748 x16754 x16760
378.74/329.96	v x16766 x16772 x16778 x16784 x16790 x16796 x16802 x16808 x16814 x16820 x16826 x16832 x16838 x16844 x16850 x16856 x16865
378.74/329.96	v x16867 x16873 x16879 x16885 x16891 x16902 x16905 x16911 x16917 x16923 x16929 x16935 x16941 x16947 x16953 x16959 x16965
378.74/329.96	v x16971 x16977 x16983 x16989 x16995 x17001 x17007 x17013 x17019 x17025 x17031 x17037 x17043 x17049 x17055 x17061 x17067
378.74/329.96	v x17073 x17079 x17085 x17091 x17097 x17103 x17109 x17115 x17121 x17127 x17133 x17139 x17145 x17151 x17157 x17163 x17169
378.74/329.96	v x17175 x17181 x17189 x17195 x17201 x17207 x17213 x17219 x17225 x17231 x17237 x17243 x17249 x17255 x17261 x17267 x17273
378.74/329.96	v x17279 x17285 x17291 x17297 x17302 x17306 x17312 x17318 x17324 x17330 x17336 x17342 x17348 x17354 x17360 x17366 x17372
378.74/329.96	v x17378 x17384 x17393 x17399 x17405 x17411 x17417 x17423 x17429 x17435 x17441 x17447 x17453 x17459 x17465 x17471 x17477
378.74/329.96	v x17483 x17489 x17495 x17501 x17507 x17513 x17519 x17525 x17531 x17537 x17543 x17549 x17555 x17561 x17567 x17573 x17579
378.74/329.96	v x17585 x17591 x17597 x17603 x17609 x17615 x17621 x17627 x17633 x17639 x17645 x17651 x17657 x17663 x17669 x17675 x17681
378.74/329.96	v x17687 x17693 x17699 x17705 x17711 x17717 x17723 x17729 x17735 x17741 x17747 x17753 x17759 x17765 x17771 x17777 x17783
378.74/329.96	v x17789 x17795 x17801 x17807 x17813 x17819 x17825 x17831 x17837 x17843 x17849 x17855 x17861 x17867 x17873 x17879 x17885
378.74/329.96	v x17891 x17897 x17903 x17909 x17915 x17921 x17927 x17933 x17939 x17945 x17951 x17957 x17963 x17969 x17975 x17981 x17987
378.74/329.96	v x17993 x17999 x18005 x18011 x18017 x18023 x18029 x18035 x18041 x18047 x18053 x18059 x18065 x18071 x18077 x18083 x18089
378.74/329.96	v x18095 x18101 x18107 x18113 x18119 x18125 x18131 x18137 x18143 x18149 x18155 x18161 x18167 x18173 x18179 x18185 x18191
378.74/329.96	v x18197 x18203 x18209 x18215 x18221 x18227 x18233 x18239 x18245 x18251 x18257 x18263 x18269 x18275 x18281 x18283 x18289
378.74/329.96	v x18295 x18301 x18307 x18313 x18319 x18330 x18333 x18339 x18345 x18351 x18357 x18363 x18369 x18375 x18381 x18387 x18393
378.74/329.96	v x18399 x18405 x18411 x18417 x18423 x18429 x18435 x18441 x18447 x18453 x18459 x18465 x18473 x18479 x18485 x18491 x18497
378.74/329.96	v x18503 x18509 x18515 x18521 x18527 x18533 x18539 x18545 x18551 x18557 x18563 x18569 x18575 x18581 x18587 x18593 x18599
378.74/329.96	v x18605 x18611 x18617 x18623 x18629 x18635 x18637 x18643 x18649 x18655 x18661 x18667 x18673 x18679 x18685 x18696 x18699
378.74/329.96	v x18705 x18711 x18719 x18725 x18727 x18733 x18739 x18745 x18751 x18757 x18763 x18769 x18780 x18783 x18789 x18795 x18801
378.74/329.96	v x18807 x18815 x18821 x18827 x18829 x18835 x18841 x18847 x18853 x18859 x18865 x18876 x18879 x18885 x18891 x18899 x18905
378.74/329.96	v x18911 x18917 x18923 x18929 x18935 x18941 x18947 x18953 x18959 x18965 x18971 x18977 x18983 x18989 x18995 x19001 x19007
378.74/329.96	v x19013 x19019 x19025 x19031 x19037 x19043 x19049 x19055 x19061 x19067 x19073 x19079 x19085 x19091 x19097 x19103 x19109
378.74/329.96	v x19115 x19121 x19127 x19133 x19139 x19145 x19151 x19157 x19163 x19169 x19175 x19181 x19187 x19193 x19199 x19205 x19211
378.74/329.96	v x19217 x19223 x19229 x19235 x19241 x19247 x19253 x19255 x19261 x19267 x19273 x19279 x19285 x19291 x19297 x19308 x19314
378.74/329.96	v x19317 x19323 x19329 x19335 x19341 x19347 x19355 x19361 x19367 x19369 x19375 x19381 x19387 x19393 x19399 x19405 x19411
378.74/329.96	v x19417 x19428 x19434 x19437 x19443 x19449 x19455 x19461 x19467 x19473 x19479 x19485 x19491 x19497 x19503 x19509 x19515
378.74/329.96	v x19521 x19527 x19533 x19539 x19545 x19551 x19557 x19563 x19571 x19577 x19583 x19589 x19595 x19601 x19607 x19613 x19619
378.74/329.96	v x19625 x19631 x19637 x19643 x19649 x19655 x19661 x19667 x19673 x19679 x19685 x19691 x19697 x19703 x19709 x19715 x19721
378.74/329.96	v x19727 x19733 x19739 x19745 x19751 x19757 x19763 x19769 x19775 x19781 x19787 x19793 x19799 x19805 x19811 x19817 x19823
378.74/329.96	v x19829 x19835 x19841 x19847 x19853 x19859 x19865 x19871 x19877 x19883 x19889 x19895 x19901 x19907 x19913 x19919 x19925
378.74/329.96	v x19931 x19937 x19943 x19949 x19955 x19961 x19967 x19973 x19979 x19985 x19991 x19997 x20003 x20009 x20015 x20021 x20027
378.74/329.96	v x20033 x20039 x20045 x20051 x20057 x20063 x20069 x20075 x20081 x20087 x20093 x20099 x20105 x20111 x20117 x20123 x20129
378.74/329.96	v x20135 x20141 x20147 x20149 x20155 x20161 x20172 x20175 x20181 x20187 x20193 x20199 x20205 x20211 x20217 x20223 x20229
378.74/329.96	v x20235 x20241 x20247 x20253 x20259 x20265 x20271 x20277 x20283 x20289 x20295 x20301 x20307 x20315 x20321 x20327 x20333
378.74/329.96	v x20339 x20345 x20351 x20356 x20360 x20366 x20372 x20378 x20384 x20390 x20396 x20402 x20408 x20414 x20420 x20426 x20432
378.74/329.96	v x20438 x20444 x20450 x20456 x20462 x20468 x20474 x20483 x20489 x20495 x20501 x20507 x20513 x20519 x20525 x20531 x20537
378.74/329.96	v x20543 x20549 x20555 x20561 x20567 x20573 x20579 x20585 x20591 x20597 x20603 x20609 x20615 x20621 x20627 x20633 x20639
378.74/329.96	v x20645 x20651 x20657 x20663 x20669 x20675 x20681 x20687 x20693 x20699 x20705 x20711 x20717 x20723 x20729 x20735 x20741
378.74/329.96	v x20747 x20753 x20759 x20765 x20771 x20777 x20783 x20789 x20795 x20801 x20807 x20813 x20819 x20825 x20831 x20837 x20843
378.74/329.96	v x20849 x20855 x20861 x20867 x20873 x20879 x20885 x20891 x20897 x20903 x20909 x20915 x20921 x20927 x20933 x20939 x20945
378.74/329.96	v x20951 x20957 x20963 x20969 x20975 x20981 x20987 x20993 x20999 x21005 x21011 x21017 x21023 x21029 x21035 x21041 x21047
378.74/329.96	v x21053 x21059 x21065 x21071 x21077 x21083 x21089 x21095 x21101 x21107 x21113 x21115 x21121 x21127 x21133 x21139 x21145
378.74/329.96	v x21151 x21162 x21165 x21171 x21177 x21185 x21191 x21197 x21199 x21205 x21211 x21217 x21223 x21229 x21235 x21241 x21247
378.74/329.96	v x21258 x21261 x21267 x21273 x21279 x21285 x21291 x21297 x21305 x21311 x21317 x21323 x21329 x21335 x21341 x21347 x21353
378.74/329.96	v x21359 x21365 x21371 x21377 x21383 x21389 x21395 x21401 x21407 x21413 x21419 x21425 x21431 x21437 x21443 x21449 x21455
378.74/329.96	v x21461 x21467 x21473 x21479 x21485 x21491 x21497 x21503 x21509 x21515 x21521 x21527 x21533 x21539 x21545 x21551 x21557
378.74/329.96	v x21563 x21569 x21575 x21581 x21587 x21593 x21599 x21605 x21611 x21617 x21623 x21629 x21635 x21641 x21647 x21653 x21659
378.74/329.96	v x21665 x21671 x21677 x21683 x21689 x21695 x21701 x21707 x21713 x21719 x21725 x21731 x21737 x21743 x21749 x21755 x21761
378.74/329.96	v x21767 x21773 x21779 x21785 x21791 x21797 x21803 x21809 x21815 x21821 x21827 x21833 x21839 x21845 x21851 x21857 x21863
378.74/329.96	v x21869 x21875 x21881 x21887 x21893 x21899 x21905 x21911 x21917 x21923 x21929 x21935 x21941 x21947 x21953 x21959 x21965
378.74/329.96	v x21971 x21977 x21983 x21985 x21991 x21997 x22003 x22009 x22015 x22021 x22027 x22033 x22039 x22050 x22053 x22059 x22065
378.74/329.96	v x22073 x22079 x22085 x22091 x22097 x22099 x22105 x22111 x22117 x22123 x22134 x22137 x22143 x22149 x22155 x22161 x22167
378.74/329.96	v x22173 x22179 x22185 x22191 x22197 x22205 x22211 x22217 x22222 x22226 x22232 x22238 x22244 x22250 x22256 x22262 x22268
378.74/329.96	v x22274 x22280 x22286 x22292 x22298 x22304 x22310 x22316 x22322 x22328 x22334 x22340 x22346 x22352 x22358 x22364 x22370
378.74/329.96	v x22376 x22382 x22388 x22394 x22400 x22406 x22412 x22421 x22423 x22429 x22435 x22441 x22447 x22458 x22464 x22470 x22473
378.74/329.96	v x22479 x22485 x22493 x22499 x22505 x22511 x22517 x22523 x22529 x22535 x22541 x22547 x22553 x22559 x22565 x22571 x22577
378.74/329.96	v x22583 x22589 x22595 x22601 x22607 x22613 x22619 x22625 x22631 x22637 x22643 x22649 x22655 x22661 x22667 x22673 x22679
378.74/329.96	v x22685 x22691 x22697 x22703 x22709 x22715 x22721 x22727 x22733 x22739 x22745 x22751 x22757 x22763 x22769 x22775 x22781
378.74/329.96	v x22787 x22793 x22799 x22805 x22811 x22817 x22823 x22829 x22835 x22841 x22847 x22853 x22859 x22865 x22867 x22873 x22879
378.74/329.96	v x22885 x22896 x22902 x22908 x22914 x22920 x22926 x22932 x22938 x22944 x22950 x22956 x22962 x22968 x22969 x22975 x22981
378.74/329.96	v x22992 x22998 x23004 x23010 x23016 x23022 x23025 x23031 x23037 x23043 x23049 x23055 x23063 x23069 x23075 x23081 x23087
378.74/329.96	v x23093 x23099 x23105 x23111 x23117 x23123 x23129 x23135 x23141 x23147 x23153 x23159 x23165 x23171 x23177 x23183 x23189
378.74/329.96	v x23195 x23201 x23207 x23213 x23219 x23225 x23231 x23237 x23243 x23249 x23255 x23261 x23267 x23273 x23279 x23285 x23291
378.74/329.96	v x23297 x23303 x23309 x23315 x23321 x23327 x23333 x23339 x23345 x23351 x23357 x23363 x23369 x23375 x23381 x23387 x23393
378.74/329.96	v x23395 x23401 x23407 x23413 x23419 x23425 x23431 x23437 x23443 x23449 x23460 x23466 x23472 x23475 x23483 x23489 x23495
378.74/329.96	v x23501 x23507 x23513 x23519 x23525 x23531 x23537 x23543 x23549 x23555 x23561 x23567 x23573 x23579 x23585 x23591 x23597
378.74/329.96	v x23603 x23609 x23615 x23621 x23627 x23633 x23639 x23645 x23651 x23657 x23663 x23669 x23675 x23681 x23687 x23693 x23699
378.74/329.96	v x23705 x23711 x23717 x23723 x23729 x23735 x23740 x23746 x23752 x23758 x23764 x23770 x23776 x23782 x23788 x23794 x23800
378.74/329.96	v x23806 x23812 x23818 x23824 x23828 x23834 x23840 x23846 x23852 x23858 x23864 x23870 x23876 x23882 x23888 x23894 x23900
378.74/329.96	v x23906 x23912 x23918 x23924 x23930 x23936 x23942 x23948 x23954 x23960 x23966 x23972 x23978 x23984 x23990 x23996 x24002
378.74/329.96	v x24008 x24014 x24020 x24026 x24032 x24038 x24044 x24050 x24056 x24062 x24068 x24074 x24080 x24086 x24092 x24098 x24104
378.74/329.96	v x24110 x24116 x24122 x24128 x24134 x24140 x24146 x24152 x24158 x24164 x24170 x24179 x24185 x24191 x24197 x24203 x24209
378.74/329.96	v x24215 x24221 x24227 x24233 x24239 x24245 x24251 x24257 x24263 x24269 x24275 x24281 x24287 x24293 x24299 x24305 x24311
378.74/329.96	v x24317 x24323 x24329 x24335 x24341 x24347 x24353 x24359 x24365 x24371 x24377 x24383 x24389 x24395 x24401 x24407 x24413
378.74/329.96	v x24419 x24425 x24431 x24437 x24443 x24449 x24455 x24461 x24467 x24473 x24479 x24485 x24491 x24497 x24503 x24509 x24515
378.74/329.96	v x24521 x24527 x24533 x24539 x24545 x24551 x24557 x24563 x24569 x24575 x24581 x24587 x24593 x24599 x24605 x24611 x24617
378.74/329.96	v x24623 x24629 x24635 x24641 x24647 x24653 x24659 x24665 x24671 x24677 x24683 x24689 x24695 x24701 x24707 x24713 x24719
378.74/329.96	v x24725 x24731 x24737 x24743 x24749 x24755 x24761 x24767 x24773 x24779 x24785 x24791 x24797 x24803 x24809 x24815 x24821
378.74/329.96	v x24827 x24833 x24839 x24845 x24851 x24857 x24863 x24869 x24875 x24881 x24887 x24893 x24899 x24905 x24911 x24917 x24923
378.74/329.96	v x24929 x24935 x24941 x24947 x24953 x24959 x24965 x24971 x24977 x24983 x24989 x24995 x25001 x25007 x25013 x25019 x25025
378.74/329.96	v x25031 x25037 x25043 x25049 x25055 x25061 x25067 x25073 x25079 x25085 x25091 x25097 x25103 x25109 x25115 x25121 x25127
378.74/329.96	v x25133 x25139 x25145 x25147 x25153 x25159 x25165 x25171 x25177 x25183 x25189 x25195 x25206 x25209 x25215 x25221 x25229
378.74/329.96	v x25235 x25241 x25247 x25253 x25259 x25265 x25271 x25277 x25283 x25289 x25295 x25301 x25307 x25313 x25319 x25325 x25331
378.74/329.96	v x25337 x25343 x25349 x25355 x25361 x25367 x25373 x25379 x25385 x25391 x25397 x25403 x25409 x25415 x25421 x25427 x25433
378.74/329.96	v x25439 x25445 x25451 x25457 x25463 x25468 x25474 x25480 x25486 x25490 x25496 x25502 x25508 x25514 x25520 x25526 x25532
378.74/329.96	v x25538 x25544 x25550 x25556 x25562 x25568 x25574 x25580 x25586 x25592 x25598 x25604 x25610 x25616 x25622 x25628 x25634
378.74/329.96	v x25640 x25646 x25652 x25658 x25664 x25670 x25676 x25682 x25688 x25694 x25700 x25706 x25712 x25718 x25724 x25730 x25736
378.74/329.96	v x25742 x25748 x25754 x25760 x25766 x25772 x25778 x25784 x25793 x25799 x25805 x25807 x25813 x25819 x25825 x25831 x25837
378.74/329.96	v x25843 x25849 x25855 x25861 x25867 x25873 x25879 x25885 x25891 x25897 x25903 x25909 x25915 x25921 x25927 x25938 x25944
378.74/329.96	v x25947 x25953 x25959 x25965 x25971 x25977 x25983 x25989 x25995 x26001 x26007 x26013 x26019 x26025 x26031 x26037 x26043
378.74/329.96	v x26049 x26055 x26061 x26067 x26073 x26079 x26085 x26091 x26097 x26105 x26111 x26117 x26123 x26129 x26135 x26141 x26147
378.74/329.96	v x26153 x26159 x26165 x26171 x26177 x26183 x26189 x26195 x26201 x26207 x26213 x26219 x26225 x26231 x26237 x26243 x26249
378.74/329.96	v x26255 x26261 x26267 x26273 x26279 x26285 x26291 x26297 x26303 x26309 x26315 x26321 x26327 x26333 x26339 x26345 x26351
378.74/329.96	v x26357 x26363 x26369 x26375 x26381 x26387 x26393 x26399 x26405 x26411 x26417 x26423 x26429 x26435 x26441 x26447 x26453
378.74/329.96	v x26459 x26465 x26471 x26477 x26483 x26489 x26495 x26501 x26507 x26513 x26519 x26525 x26531 x26537 x26543 x26549 x26555
378.74/329.96	v x26561 x26563 x26569 x26575 x26586 x26589 x26595 x26601 x26607 x26613 x26619 x26625 x26631 x26637 x26643 x26649 x26655
378.74/329.96	v x26661 x26667 x26673 x26681 x26687 x26693 x26699 x26705 x26707 x26713 x26719 x26725 x26731 x26737 x26743 x26749 x26755
378.74/329.96	v x26761 x26767 x26773 x26779 x26785 x26791 x26797 x26803 x26814 x26817 x26823 x26829 x26835 x26841 x26847 x26853 x26859
378.74/329.96	v x26865 x26871 x26877 x26885 x26891 x26897 x26903 x26909 x26915 x26921 x26927 x26933 x26939 x26945 x26951 x26957 x26963
378.74/329.96	v x26969 x26975 x26981 x26987 x26993 x26999 x27005 x27011 x27017 x27023 x27029 x27035 x27041 x27047 x27053 x27059 x27065
378.74/329.96	v x27071 x27077 x27083 x27089 x27095 x27101 x27107 x27113 x27119 x27125 x27131 x27137 x27143 x27149 x27155 x27161 x27167
378.74/329.96	v x27173 x27179 x27185 x27191 x27197 x27203 x27209 x27215 x27221 x27227 x27233 x27239 x27245 x27251 x27257 x27263 x27269
378.74/329.96	v x27275 x27281 x27287 x27293 x27299 x27305 x27311 x27317 x27323 x27329 x27335 x27341 x27347 x27353 x27359 x27365 x27371
378.74/329.96	v x27377 x27383 x27389 x27395 x27401 x27407 x27412 x27418 x27424 x27430 x27436 x27442 x27448 x27452 x27458 x27464 x27470
378.74/329.96	v x27476 x27482 x27488 x27494 x27500 x27506 x27512 x27518 x27524 x27530 x27536 x27542 x27551 x27557 x27563 x27569 x27575
378.74/329.96	v x27581 x27587 x27593 x27595 x27601 x27607 x27613 x27619 x27625 x27631 x27637 x27643 x27649 x27655 x27661 x27667 x27673
378.74/329.96	v x27679 x27685 x27691 x27697 x27703 x27709 x27715 x27721 x27727 x27733 x27739 x27745 x27751 x27757 x27763 x27769 x27775
378.74/329.96	v x27781 x27792 x27798 x27804 x27807 x27815 x27821 x27827 x27833 x27839 x27845 x27851 x27857 x27863 x27869 x27875 x27881
378.74/329.96	v x27887 x27893 x27899 x27905 x27911 x27917 x27923 x27929 x27935 x27941 x27947 x27953 x27959 x27965 x27971 x27977 x27983
378.74/329.96	v x27989 x27995 x28001 x28007 x28013 x28019 x28025 x28031 x28037 x28043 x28049 x28055 x28061 x28067 x28073 x28079 x28085
378.74/329.96	v x28091 x28097 x28103 x28109 x28115 x28121 x28127 x28133 x28139 x28145 x28151 x28157 x28163 x28169 x28175 x28181 x28187
378.74/329.96	v x28193 x28199 x28205 x28211 x28217 x28223 x28229 x28235 x28241 x28247 x28253 x28259 x28265 x28271 x28277 x28283 x28289
378.74/329.96	v x28295 x28301 x28307 x28312 x28318 x28324 x28328 x28334 x28340 x28346 x28352 x28358 x28364 x28370 x28376 x28382 x28388
378.74/329.96	v x28394 x28400 x28406 x28412 x28418 x28424 x28430 x28436 x28442 x28448 x28454 x28460 x28466 x28472 x28478 x28484 x28490
378.74/329.96	v x28496 x28502 x28508 x28514 x28523 x28525 x28531 x28537 x28543 x28549 x28555 x28561 x28572 x28578 x28584 x28587 x28593
378.74/329.96	v x28599 x28605 x28611 x28619 x28625 x28631 x28637 x28643 x28649 x28655 x28661 x28667 x28673 x28679 x28685 x28691 x28697
378.74/329.96	v x28703 x28709 x28715 x28721 x28727 x28733 x28739 x28745 x28751 x28757 x28763 x28769 x28775 x28777 x28783 x28789 x28795
378.74/329.96	v x28801 x28807 x28813 x28819 x28825 x28831 x28837 x28843 x28849 x28855 x28861 x28872 x28878 x28884 x28887 x28893 x28899
378.74/329.96	v x28905 x28911 x28917 x28923 x28929 x28935 x28943 x28949 x28955 x28961 x28967 x28973 x28979 x28985 x28991 x28997 x29003
378.74/329.96	v x29009 x29015 x29021 x29027 x29033 x29039 x29045 x29051 x29057 x29063 x29069 x29075 x29080 x29086 x29090 x29096 x29102
378.74/329.96	v x29108 x29114 x29120 x29126 x29132 x29138 x29144 x29150 x29156 x29162 x29168 x29177 x29182 x29186 x29192 x29198 x29204
378.74/329.96	v x29210 x29216 x29222 x29228 x29234 x29240 x29246 x29252 x29258 x29264 x29270 x29276 x29282 x29288 x29294 x29300 x29306
378.74/329.96	v x29312 x29318 x29324 x29330 x29336 x29342 x29348 x29354 x29360 x29366 x29372 x29378 x29384 x29393 x29395 x29401 x29407
378.74/329.96	v x29418 x29424 x29430 x29433 x29439 x29445 x29451 x29457 x29463 x29469 x29475 x29481 x29487 x29493 x29501 x29507 x29513
378.74/329.96	v x29519 x29525 x29531 x29537 x29543 x29549 x29555 x29561 x29567 x29573 x29579 x29585 x29591 x29597 x29603 x29609 x29615
378.74/329.96	v x29621 x29627 x29633 x29639 x29645 x29651 x29657 x29663 x29669 x29675 x29681 x29687 x29693 x29699 x29705 x29711 x29717
378.74/329.96	v x29723 x29729 x29735 x29741 x29747 x29753 x29759 x29765 x29771 x29777 x29783 x29789 x29795 x29801 x29807 x29813 x29819
378.74/329.96	v x29825 x29831 x29837 x29843 x29849 x29855 x29861 x29867 x29873 x29879 x29885 x29891 x29897 x29903 x29909 x29915 x29921
378.74/329.96	v x29927 x29933 x29939 x29945 x29947 x29953 x29959 x29965 x29971 x29977 x29983 x29989 x29995 x30001 x30007 x30013 x30019
378.74/329.96	v x30025 x30031 x30037 x30043 x30049 x30055 x30066 x30069 x30075 x30081 x30087 x30093 x30099 x30105 x30111 x30117 x30123
378.74/329.96	v x30129 x30135 x30141 x30149 x30155 x30161 x30167 x30173 x30179 x30185 x30191 x30197 x30203 x30209 x30215 x30221 x30227
378.74/329.96	v x30233 x30239 x30245 x30251 x30257 x30263 x30265 x30271 x30277 x30283 x30289 x30295 x30306 x30309 x30315 x30321 x30327
378.74/329.96	v x30333 x30339 x30345 x30351 x30357 x30363 x30369 x30377 x30383 x30389 x30395 x30401 x30407 x30413 x30419 x30425 x30431
378.74/329.96	v x30437 x30443 x30449 x30455 x30461 x30467 x30473 x30479 x30485 x30491 x30497 x30503 x30509 x30515 x30521 x30527 x30533
378.74/329.96	v x30539 x30545 x30551 x30557 x30563 x30569 x30575 x30581 x30587 x30593 x30599 x30605 x30611 x30617 x30623 x30629 x30635
378.74/329.96	v x30641 x30647 x30653 x30659 x30665 x30671 x30677 x30683 x30689 x30695 x30701 x30703 x30709 x30715 x30721 x30727 x30733
378.74/329.96	v x30739 x30745 x30751 x30762 x30768 x30774 x30777 x30783 x30789 x30797 x30803 x30809 x30815 x30821 x30827 x30833 x30839
378.74/329.96	v x30845 x30851 x30857 x30863 x30869 x30875 x30881 x30887 x30893 x30899 x30905 x30911 x30917 x30923 x30929 x30935 x30941
378.74/329.96	v x30947 x30953 x30959 x30965 x30971 x30977 x30983 x30989 x30995 x31001 x31007 x31013 x31019 x31025 x31031 x31037 x31043
378.74/329.96	v x31049 x31055 x31057 x31063 x31069 x31075 x31081 x31092 x31098 x31101 x31107 x31113 x31119 x31125 x31131 x31137 x31143
378.74/329.96	v x31151 x31157 x31163 x31169 x31175 x31181 x31187 x31193 x31199 x31205 x31211 x31217 x31223 x31229 x31235 x31241 x31247
378.74/329.96	v x31253 x31259 x31265 x31271 x31277 x31283 x31289 x31295 x31301 x31307 x31313 x31319 x31325 x31331 x31337 x31343 x31349
378.74/329.96	v x31355 x31361 x31367 x31373 x31379 x31385 x31391 x31397 x31403 x31409 x31415 x31421 x31427 x31433 x31439 x31445 x31451
378.74/329.96	v x31457 x31463 x31469 x31475 x31481 x31487 x31493 x31499 x31505 x31511 x31517 x31523 x31529 x31535 x31541 x31547 x31553
378.74/329.96	v x31559 x31565 x31571 x31577 x31583 x31589 x31595 x31601 x31607 x31613 x31619 x31625 x31631 x31637 x31643 x31649 x31655
378.74/329.96	v x31661 x31667 x31673 x31679 x31685 x31691 x31697 x31703 x31709 x31715 x31721 x31727 x31733 x31739 x31745 x31751 x31757
378.74/329.96	v x31763 x31769 x31775 x31781 x31787 x31789 x31795 x31801 x31807 x31813 x31824 x31827 x31833 x31839 x31845 x31851 x31857
378.74/329.96	v x31863 x31869 x31875 x31881 x31887 x31893 x31899 x31905 x31911 x31917 x31923 x31929 x31935 x31941 x31947 x31953 x31959
378.74/329.96	v x31965 x31971 x31977 x31983 x31989 x31995 x32001 x32007 x32013 x32019 x32025 x32031 x32037 x32043 x32049 x32055 x32061
378.74/329.96	v x32067 x32073 x32079 x32085 x32091 x32097 x32103 x32109 x32115 x32121 x32127 x32133 x32139 x32145 x32151 x32157 x32163
378.74/329.96	v x32169 x32175 x32181 x32187 x32195 x32201 x32207 x32213 x32219 x32225 x32231 x32237 x32243 x32249 x32255 x32261 x32267
378.74/329.96	v x32273 x32279 x32285 x32291 x32297 x32303 x32309 x32315 x32321 x32327 x32333 x32339 x32345 x32351 x32357 x32363 x32369
378.74/329.96	v x32375 x32381 x32387 x32393 x32399 x32405 x32411 x32417 x32423 x32429 x32435 x32441 x32447 x32453 x32459 x32465 x32471
378.74/329.96	v x32477 x32483 x32489 x32495 x32501 x32507 x32513 x32519 x32525 x32531 x32537 x32543 x32549 x32555 x32561 x32567 x32569
378.74/329.96	v x32575 x32581 x32587 x32593 x32604 x32607 x32613 x32619 x32625 x32631 x32639 x32645 x32651 x32657 x32663 x32669 x32675
378.74/329.96	v x32681 x32687 x32693 x32699 x32705 x32711 x32717 x32723 x32729 x32735 x32741 x32747 x32753 x32759 x32765 x32771 x32777
378.74/329.96	v x32783 x32789 x32795 x32801 x32807 x32813 x32819 x32825 x32831 x32837 x32843 x32849 x32855 x32861 x32867 x32873 x32879
378.74/329.96	v x32885 x32891 x32897 x32903 x32909 x32915 x32921 x32927 x32933 x32939 x32945 x32951 x32957 x32963 x32969 x32975 x32981
378.74/329.96	v x32987 x32993 x32999 x33005 x33011 x33017 x33023 x33029 x33035 x33041 x33047 x33053 x33059 x33065 x33071 x33077 x33083
378.74/329.96	v x33089 x33095 x33101 x33107 x33113 x33119 x33125 x33127 x33133 x33139 x33150 x33153 x33159 x33165 x33171 x33177 x33183
378.74/329.96	v x33189 x33197 x33203 x33209 x33215 x33221 x33227 x33233 x33239 x33245 x33251 x33257 x33263 x33269 x33275 x33281 x33287
378.74/329.96	v x33293 x33299 x33305 x33311 x33317 x33323 x33329 x33335 x33341 x33347 x33353 x33359 x33365 x33371 x33377 x33383 x33389
378.74/329.96	v x33395 x33401 x33407 x33413 x33419 x33425 x33430 x33434 x33440 x33446 x33452 x33458 x33464 x33470 x33476 x33482 x33488
378.74/329.96	v x33494 x33500 x33506 x33512 x33518 x33524 x33530 x33536 x33542 x33548 x33554 x33560 x33566 x33572 x33578 x33584 x33590
378.74/329.96	v x33596 x33602 x33608 x33614 x33620 x33626 x33632 x33638 x33644 x33650 x33656 x33662 x33668 x33674 x33680 x33686 x33692
378.74/329.96	v x33698 x33704 x33710 x33716 x33722 x33728 x33734 x33740 x33746 x33752 x33758 x33764 x33770 x33776 x33782 x33788 x33794
378.74/329.96	v x33800 x33806 x33812 x33818 x33824 x33830 x33836 x33842 x33848 x33857 x33859 x33865 x33871 x33882 x33885 x33891 x33897
378.74/329.96	v x33903 x33909 x33915 x33921 x33927 x33933 x33941 x33947 x33953 x33959 x33965 x33971 x33977 x33983 x33989 x33995 x34001
378.74/329.96	v x34007 x34013 x34019 x34025 x34031 x34037 x34043 x34049 x34055 x34061 x34067 x34073 x34079 x34085 x34091 x34097 x34103
378.74/329.96	v x34109 x34115 x34121 x34127 x34133 x34139 x34145 x34151 x34157 x34163 x34169 x34175 x34181 x34187 x34193 x34199 x34205
378.74/329.96	v x34211 x34217 x34223 x34229 x34235 x34241 x34247 x34253 x34259 x34265 x34271 x34277 x34283 x34289 x34295 x34301 x34307
378.74/329.96	v x34313 x34319 x34325 x34331 x34337 x34343 x34349 x34355 x34361 x34367 x34373 x34379 x34385 x34391 x34397 x34403 x34409
378.74/329.96	v x34415 x34421 x34427 x34433 x34439 x34445 x34451 x34457 x34463 x34469 x34475 x34481 x34487 x34493 x34499 x34505 x34511
378.74/329.96	v x34517 x34523 x34529 x34535 x34541 x34547 x34553 x34559 x34565 x34571 x34577 x34583 x34589 x34595 x34601 x34607 x34613
378.74/329.96	v x34619 x34625 x34631 x34637 x34643 x34649 x34655 x34661 x34667 x34673 x34679 x34685 x34691 x34697 x34703 x34709 x34715
378.74/329.96	v x34721 x34727 x34733 x34739 x34745 x34751 x34757 x34763 x34769 x34775 x34781 x34787 x34793 x34799 x34805 x34811 x34817
378.74/329.96	v x34823 x34829 x34835 x34841 x34847 x34853 x34859 x34865 x34871 x34877 x34883 x34889 x34895 x34901 x34907 x34913 x34919
378.74/329.96	v x34925 x34931 x34937 x34943 x34949 x34955 x34961 x34967 x34973 x34979 x34985 x34991 x34997 x35003 x35009 x35015 x35021
378.74/329.96	v x35027 x35033 x35039 x35045 x35051 x35057 x35063 x35069 x35075 x35081 x35087 x35093 x35099 x35105 x35111 x35117 x35123
378.74/329.96	v x35129 x35135 x35141 x35147 x35153 x35159 x35165 x35171 x35177 x35183 x35189 x35195 x35201 x35207 x35213 x35219 x35225
378.74/329.96	v x35231 x35237 x35243 x35249 x35255 x35261 x35267 x35273 x35279 x35285 x35291 x35297 x35303 x35309 x35315 x35321 x35327
378.74/329.96	v x35333 x35339 x35345 x35351 x35357 x35363 x35369 x35375 x35381 x35387 x35393 x35399 x35405 x35411 x35417 x35423 x35429
378.74/329.96	v x35435 x35441 x35447 x35453 x35459 x35465 x35471 x35477 x35483 x35489 x35495 x35501 x35507 x35513 x35519 x35525 x35531
378.74/329.96	v x35537 x35543 x35549 x35555 x35561 x35567 x35573 x35579 x35585 x35591 x35597 x35603 x35609 x35615 x35621 x35627 x35633
378.74/329.96	v x35639 x35645 x35651 x35657 x35663 x35669 x35675 x35681 x35687 x35689 x35695 x35701 x35707 x35713 x35719 x35725 x35731
378.74/329.96	v x35737 x35743 x35749 x35760 x35766 x35772 x35778 x35784 x35790 x35796 x35802 x35808 x35814 x35815 x35821 x35827 x35833
378.74/329.96	v x35839 x35845 x35856 x35862 x35868 x35871 x35877 x35883 x35889 x35895 x35901 x35907 x35913 x35919 x35925 x35931 x35937
378.74/329.96	v x35943 x35949 x35955 x35961 x35967 x35973 x35979 x35985 x35991 x35999 x36005 x36011 x36017 x36023 x36029 x36035 x36041
378.74/329.96	v x36047 x36053 x36059 x36065 x36071 x36077 x36083 x36089 x36095 x36101 x36107 x36113 x36119 x36125 x36131 x36137 x36143
378.74/329.96	v x36149 x36155 x36161 x36167 x36173 x36179 x36185 x36191 x36197 x36203 x36209 x36215 x36221 x36227 x36233 x36239 x36245
378.74/329.96	v x36251 x36257 x36263 x36269 x36275 x36281 x36287 x36293 x36299 x36305 x36311 x36317 x36323 x36329 x36335 x36341 x36347
378.74/329.96	v x36353 x36359 x36365 x36371 x36377 x36383 x36389 x36395 x36401 x36407 x36413 x36419 x36425 x36431 x36437 x36443 x36449
378.74/329.96	v x36455 x36461 x36467 x36473 x36479 x36485 x36491 x36497 x36503 x36509 x36515 x36521 x36527 x36533 x36539 x36545 x36551
378.74/329.96	v x36557 x36563 x36569 x36575 x36581 x36587 x36589 x36595 x36601 x36607 x36613 x36619 x36625 x36636 x36639 x36645 x36651
378.74/329.96	v x36657 x36663 x36671 x36677 x36683 x36689 x36695 x36701 x36707 x36713 x36719 x36725 x36731 x36737 x36743 x36749 x36755
378.74/329.96	v x36761 x36767 x36773 x36779 x36785 x36791 x36797 x36803 x36809 x36815 x36821 x36827 x36833 x36839 x36845 x36851 x36857
378.74/329.96	v x36863 x36869 x36875 x36881 x36887 x36893 x36899 x36905 x36911 x36917 x36923 x36929 x36935 x36941 x36947 x36953 x36959
378.74/329.96	v x36965 x36971 x36977 x36983 x36989 x36995 x37001 x37007 x37013 x37019 x37025 x37031 x37037 x37043 x37049 x37055 x37060
378.74/329.96	v x37066 x37072 x37078 x37084 x37090 x37096 x37102 x37108 x37114 x37120 x37126 x37132 x37136 x37142 x37148 x37154 x37160
378.74/329.96	v x37166 x37172 x37178 x37184 x37190 x37196 x37202 x37208 x37214 x37220 x37226 x37232 x37238 x37244 x37250 x37259 x37265
378.74/329.96	v x37271 x37277 x37283 x37289 x37295 x37301 x37307 x37313 x37319 x37325 x37331 x37337 x37343 x37349 x37355 x37361 x37367
378.74/329.96	v x37373 x37379 x37385 x37391 x37397 x37403 x37409 x37415 x37421 x37427 x37433 x37439 x37445 x37451 x37457 x37463 x37469
378.74/329.96	v x37475 x37481 x37487 x37493 x37499 x37505 x37511 x37517 x37523 x37529 x37535 x37541 x37547 x37553 x37559 x37565 x37571
378.74/329.96	v x37577 x37583 x37589 x37595 x37601 x37607 x37613 x37619 x37625 x37631 x37637 x37643 x37649 x37655 x37661 x37667 x37673
378.74/329.96	v x37675 x37681 x37687 x37693 x37699 x37710 x37716 x37722 x37728 x37734 x37740 x37746 x37752 x37758 x37759 x37765 x37771
378.74/329.96	v x37777 x37783 x37789 x37795 x37801 x37807 x37813 x37819 x37825 x37831 x37837 x37843 x37854 x37860 x37863 x37869 x37877
378.74/329.96	v x37883 x37889 x37895 x37901 x37907 x37913 x37919 x37925 x37931 x37937 x37943 x37948 x37954 x37960 x37966 x37972 x37978
378.74/329.96	v x37984 x37990 x37996 x38002 x38008 x38014 x38020 x38026 x38032 x38038 x38044 x38050 x38056 x38062 x38068 x38074 x38080
378.74/329.96	v x38086 x38092 x38098 x38102 x38108 x38114 x38120 x38126 x38132 x38138 x38144 x38150 x38156 x38162 x38168 x38174 x38180
378.74/329.96	v x38186 x38192 x38198 x38204 x38210 x38216 x38222 x38228 x38234 x38240 x38246 x38252 x38258 x38264 x38270 x38276 x38282
378.74/329.96	v x38288 x38294 x38300 x38309 x38315 x38321 x38327 x38333 x38339 x38345 x38351 x38357 x38363 x38369 x38375 x38381 x38387
378.74/329.96	v x38393 x38399 x38405 x38411 x38417 x38423 x38429 x38435 x38441 x38443 x38449 x38455 x38461 x38467 x38473 x38479 x38490
378.74/329.96	v x38496 x38502 x38508 x38511 x38517 x38523 x38529 x38537 x38543 x38545 x38551 x38557 x38563 x38569 x38575 x38581 x38587
378.74/329.96	v x38598 x38604 x38610 x38616 x38622 x38628 x38634 x38640 x38646 x38652 x38658 x38659 x38665 x38671 x38677 x38683 x38689
378.74/329.96	v x38695 x38701 x38707 x38713 x38719 x38730 x38733 x38739 x38745 x38753 x38759 x38765 x38771 x38777 x38783 x38789 x38795
378.74/329.96	v x38801 x38807 x38813 x38819 x38825 x38831 x38837 x38843 x38849 x38855 x38861 x38867 x38873 x38878 x38882 x38888 x38894
378.74/329.96	v x38900 x38906 x38912 x38918 x38924 x38930 x38936 x38942 x38948 x38954 x38960 x38966 x38972 x38978 x38984 x38990 x38996
378.74/329.96	v x39002 x39008 x39014 x39020 x39026 x39032 x39038 x39044 x39050 x39056 x39062 x39068 x39074 x39080 x39086 x39092 x39098
378.74/329.96	v x39104 x39110 x39116 x39122 x39128 x39134 x39140 x39146 x39152 x39158 x39164 x39170 x39176 x39182 x39188 x39197 x39203
378.74/329.96	v x39209 x39215 x39221 x39227 x39233 x39239 x39245 x39251 x39257 x39263 x39269 x39275 x39281 x39287 x39293 x39299 x39305
378.74/329.96	v x39311 x39317 x39323 x39329 x39335 x39341 x39347 x39353 x39359 x39365 x39371 x39377 x39383 x39389 x39395 x39401 x39407
378.74/329.96	v x39413 x39419 x39425 x39431 x39437 x39443 x39449 x39455 x39461 x39467 x39473 x39479 x39485 x39491 x39497 x39503 x39509
378.74/329.96	v x39515 x39521 x39527 x39533 x39539 x39545 x39551 x39557 x39563 x39569 x39575 x39581 x39587 x39593 x39599 x39605 x39611
378.74/329.96	v x39617 x39623 x39629 x39635 x39641 x39647 x39653 x39659 x39665 x39671 x39677 x39683 x39689 x39695 x39701 x39707 x39713
378.74/329.96	v x39719 x39725 x39731 x39737 x39743 x39749 x39755 x39761 x39767 x39773 x39779 x39785 x39791 x39797 x39803 x39809 x39815
378.74/329.96	v x39821 x39827 x39833 x39839 x39845 x39851 x39857 x39863 x39869 x39875 x39881 x39887 x39893 x39899 x39905 x39911 x39917
378.74/329.96	v x39923 x39929 x39935 x39941 x39947 x39953 x39959 x39965 x39971 x39977 x39983 x39989 x39995 x40001 x40007 x40013 x40015
378.74/329.96	v x40021 x40027 x40033 x40039 x40045 x40051 x40057 x40063 x40069 x40075 x40081 x40087 x40093 x40099 x40105 x40111 x40117
378.74/329.96	v x40123 x40129 x40135 x40141 x40147 x40153 x40159 x40165 x40171 x40177 x40183 x40189 x40195 x40201 x40207 x40213 x40224
378.74/329.96	v x40227 x40233 x40239 x40247 x40253 x40259 x40265 x40271 x40276 x40282 x40288 x40292 x40298 x40304 x40310 x40316 x40322
378.74/329.96	v x40328 x40334 x40340 x40346 x40352 x40358 x40364 x40370 x40376 x40382 x40388 x40394 x40400 x40406 x40412 x40418 x40424
378.74/329.96	v x40430 x40436 x40442 x40448 x40454 x40460 x40466 x40472 x40478 x40484 x40490 x40496 x40502 x40511 x40516 x40520 x40526
378.74/329.96	v x40532 x40538 x40544 x40550 x40556 x40562 x40568 x40574 x40580 x40586 x40592 x40598 x40604 x40610 x40616 x40622 x40631
378.74/329.96	v x40637 x40643 x40649 x40655 x40661 x40667 x40673 x40679 x40685 x40691 x40697 x40703 x40709 x40715 x40721 x40727 x40733
378.74/329.96	v x40739 x40745 x40751 x40757 x40763 x40769 x40775 x40781 x40787 x40793 x40799 x40805 x40811 x40817 x40823 x40829 x40835
378.74/329.96	v x40841 x40847 x40853 x40859 x40865 x40871 x40877 x40883 x40889 x40895 x40901 x40907 x40913 x40919 x40925 x40931 x40937
378.74/329.96	v x40943 x40945 x40951 x40957 x40963 x40969 x40975 x40981 x40987 x40993 x41004 x41007 x41013 x41019 x41027 x41033 x41039
378.74/329.96	v x41045 x41051 x41057 x41063 x41069 x41075 x41081 x41087 x41093 x41099 x41105 x41110 x41116 x41122 x41128 x41134 x41140
378.74/329.96	v x41146 x41152 x41158 x41164 x41170 x41176 x41182 x41188 x41192 x41198 x41204 x41210 x41216 x41222 x41228 x41234 x41240
378.74/329.96	v x41246 x41252 x41258 x41264 x41270 x41276 x41282 x41288 x41294 x41300 x41306 x41312 x41318 x41324 x41330 x41336 x41342
378.74/329.96	v x41348 x41354 x41360 x41366 x41372 x41378 x41384 x41390 x41396 x47192 x47205 x47447 x47462 x47463 x47515 x47533 x48325
378.74/329.96	v x48343 x48353 x48672 x48685 x48853 x48868 x48869 x48884 x48902 x49287 x49305 x49315 x52335 x52348 x52997 x53012 x53013
378.74/329.96	v x53065 x53083 x54703 x54716 x54921 x54936 x54937 x54952 x54970 x55133 x55151 x55161 x55332 x55345 x55513 x55528 x55529
378.74/329.96	v x55618 x55636 x55799 x55817 x55827 x56649 x56667 x56669 x56674 x56679 x56680 x56681 x56685 x56712 x56713 x57368 x57371
378.74/329.96	v x57381 x58328 x58338 x59361 x59376 x59377 x59466 x59484 x60461 x60479 x60489 x62014 x62032 x62034 x62039 x62044 x62045
378.74/329.96	v x62046 x62161 x62188 x62189 x63436 x63439 x63449 x63469 x63478 x63727 x63742 x63743 x63869 x63887 x63939 x63957 x63967
378.74/329.96	v x64063 x64073 x64171 x64186 x64187 x64202 x64220 x65197 x65215 x65225 x68725 x68735 x68833 x68848 x68849 x68975 x68993
378.74/329.96	v x69119 x69137 x69147 x78344 x78353 x79045 x79060 x79061 x79150 x79168 x79257 x79275 x79285 x81452 x81461 x81709 x81724
378.74/329.96	v x81725 x81851 x81869 x81995 x82013 x82023 x85521 x85530 x86371 x86386 x86387 x86402 x86420 x86435 x86453 x86463 x92330
378.74/329.96	v x92339 x92587 x92602 x92603 x92879 x92893 x93253 x93268 x93269 x93508 x93522 x93845 x93860 x93861 x93876 x93894 x95315
378.74/329.96	v x95333 x95343 x96844 x96853 x97101 x97116 x97117 x97206 x97224 x97979 x97997 x98007 x108092 x108101 x108571 x108586 x108587
378.74/329.96	v x108639 x108657 x109301 x109319 x109329 x110829 x110838 x111161 x111176 x111177 x111229 x111247 x111299 x111317 x111327
378.74/329.96	v x112309 x112318 x112641 x112656 x112657 x112672 x112690 x112705 x112723 x112733 x113642 x113651 x113973 x113988 x113989
378.74/329.96	v x114078 x114096 x114703 x114721 x114731 x115972 x115981 x116711 x116726 x116727 x116816 x116834 x116849 x116867 x116877
378.74/329.96	v x120301 x120310 x120633 x120648 x120649 x120701 x120719 x120845 x120863 x120873 x123559 x123569 x123741 x123756 x123757
378.74/329.96	v x123920 x123938 x123953 x123971 x123981 x125039 x125049 x125147 x125162 x125163 x125661 x125675 x126109 x126124 x126125
378.74/329.96	v x126140 x126158 x126247 x126265 x126275 x128702 x128712 x129291 x129306 x129307 x129396 x129414 x130095 x130113 x130123
378.74/329.96	v x134697 x134710 x135803 x135818 x135819 x136430 x136445 x137061 x137076 x137077 x137092 x137110 x137569 x137587 x137597
378.74/329.96	v x140432 x140445 x140613 x140628 x140629 x140681 x140699 x141713 x141731 x141741 x141983 x141992 x142759 x142774 x142775
378.74/329.96	v x142938 x142956 x143119 x143137 x143147 x143229 x143247 x143249 x143254 x143259 x143260 x143261 x143265 x143292 x143293
378.74/329.96	v x145058 x145061 x145071 x145094 x145107 x145275 x145290 x145291 x145306 x145324 x147041 x147059 x147069 x147743 x147761
378.74/329.96	v x147763 x147768 x147773 x147774 x147775 x147779 x147806 x147807 x148314 x148317 x148327 x153824 x153833 x154081 x154096
378.74/329.96	v x154097 x154112 x154130 x154959 x154977 x154987 x155969 x155978 x156301 x156316 x156317 x156332 x156350 x156439 x156457
378.74/329.96	v x156467 x156525 x156534 x156819 x156834 x156835 x156850 x156868 x157031 x157049 x157059 x157154 x157163 x157411 x157426
378.74/329.96	v x157427 x157442 x157460 x157549 x157567 x157577 x159783 x159796 x160075 x160090 x160091 x160143 x160161 x160361 x160379
378.74/329.96	v x160389 x160483 x160492 x160815 x160830 x160831 x160883 x160901 x161693 x161711 x161721 x165295 x165305 x165403 x165418
378.74/329.96	v x165419 x165434 x165452 x166281 x166299 x166309 x166539 x166557 x166559 x166564 x166569 x166570 x166571 x166575 x166602
378.74/329.96	v x166603 x167332 x167335 x167345 x171214 x171223 x171471 x171486 x171487 x171502 x171520 x171609 x171627 x171637 x171733
378.74/329.96	v x171743 x172063 x172078 x172079 x172094 x172112 x172349 x172367 x172377 x176579 x176588 x176947 x176962 x176963 x176978
378.74/329.96	v x176996 x177085 x177103 x177113 x177283 x177293 x177465 x177480 x177481 x177496 x177514 x177899 x177917 x177927 x178009
378.74/329.96	v x178027 x178029 x178034 x178039 x178040 x178041 x178045 x178072 x178073 x179246 x179249 x179259 x179282 x179295 x179463
378.74/329.96	v x179478 x179479 x179568 x179586 x179675 x179693 x179703 x181982 x181992 x182127 x182142 x182143 x182606 x182621 x182719
378.74/329.96	v x182734 x182735 x182935 x182953 x183153 x183171 x183181 x185236 x185245 x185605 x185620 x185621 x185710 x185728 x185743
378.74/329.96	v x185761 x185771 x187333 x187351 x187353 x187358 x187363 x187364 x187365 x187887 x187914 x187915 x190050 x190053 x190063
378.74/329.96	v x196003 x196012 x196335 x196350 x196351 x196366 x196384 x196473 x196491 x196501 x197952 x197970 x197972 x197977 x197982
378.74/329.96	v x197983 x197984 x198099 x198126 x198127 x199966 x199969 x199979 x200074 x200083 x200849 x200864 x200865 x200917 x200935
378.74/329.96	v x201875 x201893 x201903 x204737 x204747 x204845 x204860 x204861 x204876 x204894 x205427 x205445 x205455 x205626 x205639
378.74/329.96	v x206251 x206266 x206267 x206282 x206300 x206685 x206703 x206713 x209903 x209921 x209923 x209928 x209933 x209934 x209935
378.74/329.96	v x210161 x210188 x210189 x210770 x210773 x210783 x211063 x211072 x212245 x212260 x212261 x212350 x212368 x212383 x212401
378.74/329.96	v x212411 x215453 x215471 x215473 x215478 x215483 x215484 x215485 x215563 x215590 x215591 x216191 x216221 x216764 x216767
378.74/329.96	v x216777 x216798 x216807 x217055 x217070 x217071 x217160 x217178 x217341 x217359 x217369 x218353 x218363 x218905 x218920
378.74/329.96	v x218921 x219010 x219028 x219339 x219357 x219367 x220152 x220170 x220172 x220177 x220182 x220183 x220184 x220225 x220252
378.74/329.96	v x220253 x220760 x220763 x220773 x220781 x220799 x220801 x220806 x220811 x220812 x220813 x220817 x220844 x220845 x222092
378.74/329.96	v x222095 x222105 x222127 x222137 x222235 x222250 x222251 x222340 x222358 x222743 x222761 x222771 x225532 x225545 x226231
378.74/329.96	v x226246 x226247 x226262 x226280 x226739 x226757 x226767 x227492 x227502 x227711 x227726 x227727 x227742 x227760 x228145
378.74/329.96	v x228163 x228173 x230191 x230200 x230523 x230538 x230539 x230628 x230646 x230735 x230753 x230763 x232340 x232353 x232521
378.74/329.96	v x232536 x232537 x232589 x232607 x232881 x232899 x232909 x236854 x236867 x237035 x237050 x237051 x237066 x237084 x239319
378.74/329.96	v x239337 x239347 x241662 x241671 x241845 x241860 x241861 x241876 x241894 x242057 x242075 x242085 x245067 x245077 x245175
378.74/329.96	v x245190 x245191 x245206 x245224 x245461 x245479 x245489 x246903 x246921 x246923 x246928 x246933 x246934 x246935 x246939
378.74/329.96	v x246966 x246967 x248860 x248886 x249546 x249549 x249559 x249581 x249591 x249689 x249704 x249705 x249720 x249738 x250049
378.74/329.96	v x250067 x250077 x260830 x260843 x261233 x261248 x261249 x261601 x261616 x261825 x261840 x261841 x261930 x261948 x262703
378.74/329.96	v x262721 x262731 x266380 x266393 x266635 x266650 x266651 x266666 x266684 x266847 x266865 x266875 x269251 x269269 x269271
378.74/329.96	v x269276 x269281 x269282 x269283 x269731 x269758 x269759 x270488 x270491 x270501 x273040 x273053 x273221 x273236 x273237
378.74/329.96	v x273550 x273564 x274109 x274124 x274125 x274177 x274195 x274247 x274265 x274275 x274690 x274708 x274710 x274715 x274720
378.74/329.96	v x274721 x274722 x275651 x275678 x275679 x276277 x276303 x276926 x276929 x276939 x277774 x277783 x278031 x278046 x278047
378.74/329.96	v x278173 x278191 x278317 x278335 x278345 x278405 x278418 x278697 x278712 x278713 x279100 x279114 x279511 x279526 x279527
378.74/329.96	v x279542 x279560 x279649 x279667 x279677 x280425 x280443 x280445 x280450 x280455 x280456 x280457 x280461 x280488 x280489
378.74/329.96	v x281420 x281446 x282402 x282405 x282415 x287430 x287439 x288687 x288702 x288703 x288718 x288736 x288825 x288843 x288853
378.74/329.96	v x289009 x289027 x289029 x289034 x289039 x289040 x289041 x289119 x289146 x289147 x290468 x290471 x290481 x290489 x290507
378.74/329.96	v x290509 x290514 x290519 x290520 x290521 x290525 x290552 x290553 x291208 x291211 x291221 x293165 x293174 x293497 x293512
378.74/329.96	v x293513 x293528 x293546 x293635 x293653 x293663 x294152 x294170 x294172 x294177 x294182 x294183 x294184 x294669 x294696
378.74/329.96	v x294697 x296200 x296335 x296439 x296536 x296808 x296981 x297026 x297392 x297447 x297480 x298071 x298144 x298197 x298325
378.74/329.96	v x298395 x298418 x298430 x298484 x298984 x299034 x299132 x299312 x299352 x299460 x299503 x299569 x299583 x299621 x299805
378.74/329.96	v x299936 x299945 x300180 x300264 x300346 x300719 x300807 x300901 x301079 x301292 x301361 x301390 x301613 x301764 x301862
378.74/329.96	v x302041 x302063 x302465 x302491 x302667 x302731 x302749 x302818 x302888 x302968 x303238 x303368 x303370 x303385 x303475
378.74/329.96	v x303823 x303846 x304018 x304048 x304139 x304366 x304581 x304843 x304990 x305029 x305344 x305385 x305448 x305624 x305676
378.74/329.96	v x305787 x305800 x305838 x306176 x306448 x306531 x307042 x307171 x307238 x307313 x307332 x307547 x307635 x307703 x307810
378.74/329.96	v x307846 x307849 x307966 x308022 x308106 x308134 x308165 x308327 x308448 x308478 x308502 x308786 x308818 x309031 x309100
378.74/329.96	v x309313 x309335 x309456 x309485 x309645 x309663 x310020 x310282 x310332 x310398 x310707 x310876 x311039 x311067 x311169
378.74/329.96	v x311524 x311741 x311747 x311784 x311796 x312027 x312170 x312185 x312189 x312370 x312472 x312885 x313033 x313419 x313496
378.74/329.96	v x313508 x313572 x313939 x314107 x314818 x314990 x315293 x315571 x315633 x315661 x315932 x316131 x316159 x316250 x316387
378.74/329.96	v x316440 x316508 x316859 x316896 x317178 x317649 x317799 x317852 x317905 x318185 x318457 x319307 x319329 x319424 x319721
378.74/329.96	v x319822 x319857 x319999 x320006 x320166 x320587 x320976 x321352 x321758 x322165 x322220 x322287 x322449 x322466 x322602
378.74/329.96	v x322765 x322816 x322902 x323393 x323743 x323811 x323878 x324113 x324495 x324496 x324580 x324584 x324600 x324647 x324697
378.74/329.96	v x325061 x325134 x325246 x325380 x325442 x325462 x325700 x325904 x325921 x325934 x325995 x326181 x326185 x326566 x326720
378.74/329.96	v x326786 x327007 x327046 x327085 x327132 x327191 x327606 x327616 x327894 x328130 x328203 x328339 x328407 x328491 x328631
378.74/329.96	v x328798 x329093 x329431 x329714 x330080 x330184 x330321 x330537 x330789 x330898 x331036 x331126 x331140 x331273 x331293
378.74/329.96	v x331356 x331447 x331521 x331618

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/418979-1177400563/instance-418979-1177400563.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/node66/watcher-418979-1177400563 -o ROOT/results/node66/solver-418979-1177400563 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-418979-1177400563.opb /tmp/evaluation/418979-1177400563/temp 

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


[startup+0 s]
/proc/loadavg: 1.00 0.97 0.83 3/64 15780
/proc/meminfo: memFree=1832248/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=12268 CPUtime=0
/proc/15780/stat : 15780 (pbclasp) D 15778 15780 15491 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 216046249 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227607804517 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/15780/statm: 3067 317 242 3 0 167 0

[startup+0.087673 s]
/proc/loadavg: 1.00 0.97 0.83 3/64 15780
/proc/meminfo: memFree=1832248/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=15920 CPUtime=0.07
/proc/15780/stat : 15780 (pbclasp) R 15778 15780 15491 0 -1 4194304 1331 0 0 0 7 0 0 0 18 0 1 0 216046249 16302080 1298 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227607483105 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15780/statm: 3980 1299 314 3 0 1080 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15920

[startup+0.101676 s]
/proc/loadavg: 1.00 0.97 0.83 3/64 15780
/proc/meminfo: memFree=1832248/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=16316 CPUtime=0.08
/proc/15780/stat : 15780 (pbclasp) R 15778 15780 15491 0 -1 4194304 1447 0 0 0 8 0 0 0 18 0 1 0 216046249 16707584 1414 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227607483105 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15780/statm: 4079 1414 314 3 0 1179 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16316

[startup+0.301715 s]
/proc/loadavg: 1.00 0.97 0.83 3/64 15780
/proc/meminfo: memFree=1832248/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=0.28
/proc/15780/stat : 15780 (pbclasp) R 15778 15780 15491 0 -1 4194304 3713 0 0 0 27 1 0 0 19 0 1 0 216046249 25980928 3680 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15780/statm: 6343 3680 316 3 0 3443 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25372

[startup+0.701795 s]
/proc/loadavg: 1.00 0.97 0.83 3/64 15780
/proc/meminfo: memFree=1832248/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=0.69
/proc/15780/stat : 15780 (pbclasp) R 15778 15780 15491 0 -1 4194304 3713 0 0 0 67 2 0 0 22 0 1 0 216046249 25980928 3680 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15780/statm: 6343 3680 316 3 0 3443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25372

[startup+1.50195 s]
/proc/loadavg: 1.00 0.97 0.83 2/65 15781
/proc/meminfo: memFree=1819504/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.49
/proc/15780/stat : 15780 (pbclasp) R 15778 15780 15491 0 -1 4194304 3713 0 0 0 145 4 0 0 25 0 1 0 216046249 25980928 3680 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15780/statm: 6343 3680 316 3 0 3443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25372

[startup+3.10227 s]
/proc/loadavg: 1.00 0.97 0.83 2/69 15785
/proc/meminfo: memFree=1815952/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=0
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15783] ppid=15782 vsize=12400 CPUtime=1.52
/proc/15783/stat : 15783 (pb2clasp1) R 15782 15780 15491 0 -1 4194304 502 0 0 0 152 0 0 0 25 0 1 0 216046406 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227607347264 0 0 4224 0 0 0 0 17 1 0 0
/proc/15783/statm: 3100 461 340 3 0 200 0
[pid=15784] ppid=15782 vsize=16056 CPUtime=0.69
/proc/15784/stat : 15784 (clasp) S 15782 15780 15491 0 -1 4194304 3674 0 0 0 67 2 0 0 16 0 1 0 216046406 16441344 3640 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/15784/statm: 4014 3640 173 154 0 3484 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 71448

[startup+6.30191 s]
/proc/loadavg: 1.08 0.99 0.84 3/69 15785
/proc/meminfo: memFree=1780304/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=0
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15783] ppid=15782 vsize=12400 CPUtime=4.71
/proc/15783/stat : 15783 (pb2clasp1) R 15782 15780 15491 0 -1 4194304 502 0 0 0 471 0 0 0 25 0 1 0 216046406 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227621247999 0 0 4224 0 0 0 0 17 1 0 0
/proc/15783/statm: 3100 461 340 3 0 200 0
[pid=15784] ppid=15782 vsize=51576 CPUtime=2.04
/proc/15784/stat : 15784 (clasp) S 15782 15780 15491 0 -1 4194304 12562 0 0 0 199 5 0 0 16 0 1 0 216046406 52813824 12430 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/15784/statm: 12894 12430 173 154 0 12364 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 106968

[startup+12.7022 s]
/proc/loadavg: 1.15 1.00 0.84 3/69 15785
/proc/meminfo: memFree=1706000/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=0
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15783] ppid=15782 vsize=12400 CPUtime=11.08
/proc/15783/stat : 15783 (pb2clasp1) R 15782 15780 15491 0 -1 4194304 502 0 0 0 1107 1 0 0 25 0 1 0 216046406 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227621672814 0 0 4224 0 0 0 0 17 0 0 0
/proc/15783/statm: 3100 461 340 3 0 200 0
[pid=15784] ppid=15782 vsize=124100 CPUtime=5
/proc/15784/stat : 15784 (clasp) S 15782 15780 15491 0 -1 4194304 30687 0 0 0 485 15 0 0 16 0 1 0 216046406 127078400 30426 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15784/statm: 31025 30426 173 154 0 30495 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 17.63
Current children cumulated vsize (KiB) 179492

[startup+25.5017 s]
/proc/loadavg: 1.18 1.02 0.85 3/69 15785
/proc/meminfo: memFree=1560528/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=0
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15783] ppid=15782 vsize=12400 CPUtime=23.82
/proc/15783/stat : 15783 (pb2clasp1) R 15782 15780 15491 0 -1 4194304 502 0 0 0 2380 2 0 0 25 0 1 0 216046406 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227621672564 0 0 4224 0 0 0 0 17 0 0 0
/proc/15783/statm: 3100 461 340 3 0 200 0
[pid=15784] ppid=15782 vsize=264696 CPUtime=10.95
/proc/15784/stat : 15784 (clasp) S 15782 15780 15491 0 -1 4194304 66148 0 0 0 1066 29 0 0 16 0 1 0 216046406 271048704 65630 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15784/statm: 66174 65630 173 154 0 65644 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 36.32
Current children cumulated vsize (KiB) 320088

[startup+51.1018 s]
/proc/loadavg: 1.39 1.08 0.87 2/69 15785
/proc/meminfo: memFree=1304144/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=0
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15783] ppid=15782 vsize=12400 CPUtime=49.25
/proc/15783/stat : 15783 (pb2clasp1) R 15782 15780 15491 0 -1 4194304 502 0 0 0 4921 4 0 0 25 0 1 0 216046406 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227621301297 0 0 4224 0 0 0 0 17 0 0 0
/proc/15783/statm: 3100 461 340 3 0 200 0
[pid=15784] ppid=15782 vsize=524456 CPUtime=23.92
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 131182 0 0 0 2336 56 0 0 16 0 1 0 216046406 537042944 130151 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135029530 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 131114 130151 173 154 0 130584 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 74.72
Current children cumulated vsize (KiB) 579848

[startup+102.306 s]
/proc/loadavg: 1.47 1.15 0.91 2/69 15785
/proc/meminfo: memFree=749968/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=0
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15783] ppid=15782 vsize=12400 CPUtime=98.96
/proc/15783/stat : 15783 (pb2clasp1) S 15782 15780 15491 0 -1 4194304 502 0 0 0 9886 10 0 0 15 0 1 0 216046406 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 227616534482 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/15783/statm: 3100 461 340 3 0 200 0
[pid=15784] ppid=15782 vsize=1073652 CPUtime=50.44
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 269225 0 0 0 4926 118 0 0 18 0 1 0 216046406 1099419648 267169 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134937477 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 268413 267169 176 154 0 267883 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 150.95
Current children cumulated vsize (KiB) 1129044

[startup+162.302 s]
/proc/loadavg: 1.17 1.12 0.91 2/68 15785
/proc/meminfo: memFree=812056/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0

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

/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 211.2
Current children cumulated vsize (KiB) 1050716

[startup+222.302 s]
/proc/loadavg: 1.06 1.10 0.91 2/68 15785
/proc/meminfo: memFree=812056/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=170.1
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 16882 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134740536 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 271.18
Current children cumulated vsize (KiB) 1050716

[startup+282.303 s]
/proc/loadavg: 1.02 1.08 0.91 2/68 15785
/proc/meminfo: memFree=812056/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=230.08
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 22880 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 331.16
Current children cumulated vsize (KiB) 1050716

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

[startup+307.102 s]
/proc/loadavg: 1.01 1.07 0.91 2/68 15785
/proc/meminfo: memFree=812120/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=254.87
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 25359 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134746407 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 355.95
Current children cumulated vsize (KiB) 1050716

[startup+319.901 s]
/proc/loadavg: 1.01 1.07 0.91 2/68 15785
/proc/meminfo: memFree=812120/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=267.66
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 26638 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 368.74
Current children cumulated vsize (KiB) 1050716

[startup+326.302 s]
/proc/loadavg: 1.01 1.06 0.91 2/68 15785
/proc/meminfo: memFree=812120/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=274.06
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 27278 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134768805 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 375.14
Current children cumulated vsize (KiB) 1050716

[startup+327.903 s]
/proc/loadavg: 1.01 1.06 0.91 2/68 15785
/proc/meminfo: memFree=812120/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=275.66
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 27438 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134629585 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 376.74
Current children cumulated vsize (KiB) 1050716

[startup+328.703 s]
/proc/loadavg: 1.01 1.06 0.91 2/68 15785
/proc/meminfo: memFree=812120/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=1007724 CPUtime=276.46
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286079 0 0 0 27518 128 0 0 25 0 1 0 216046406 1031909376 251601 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 251931 251601 194 154 0 251401 0
[pid=15785] ppid=15782 vsize=12268 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216046406 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 377.54
Current children cumulated vsize (KiB) 1050716

[startup+329.501 s]
/proc/loadavg: 1.01 1.06 0.91 2/68 15785
/proc/meminfo: memFree=812120/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=973752 CPUtime=277.26
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194304 286100 0 0 0 27597 129 0 0 25 0 1 0 216046406 997122048 243129 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134532613 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 243438 243129 215 154 0 242908 0
[pid=15785] ppid=15782 vsize=12424 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 489 0 0 0 0 0 0 0 16 0 1 0 216046406 12722176 449 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3106 449 311 3 0 206 0
Current children cumulated CPU time (s) 378.34
Current children cumulated vsize (KiB) 1016900

[startup+329.901 s]
/proc/loadavg: 1.01 1.06 0.91 2/68 15785
/proc/meminfo: memFree=1477272/2055920 swapFree=4183056/4192956
[pid=15780] ppid=15778 vsize=25372 CPUtime=1.55
/proc/15780/stat : 15780 (pbclasp) S 15778 15780 15491 0 -1 4194304 3734 0 0 0 151 4 0 0 16 0 1 0 216046249 25980928 3684 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 227616534626 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15780/statm: 6343 3684 320 3 0 3443 0
[pid=15782] ppid=15780 vsize=5352 CPUtime=99.53
/proc/15782/stat : 15782 (sh) S 15780 15780 15491 0 -1 4194304 297 504 0 0 0 0 9941 12 16 0 1 0 216046406 5480448 224 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15782/statm: 1338 224 188 169 0 49 0
[pid=15784] ppid=15782 vsize=0 CPUtime=277.66
/proc/15784/stat : 15784 (clasp) R 15782 15780 15491 0 -1 4194308 286105 0 0 0 27628 138 0 0 25 0 1 0 216046406 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/15784/statm: 0 0 0 0 0 0 0
[pid=15785] ppid=15782 vsize=12424 CPUtime=0
/proc/15785/stat : 15785 (pboutclasp.pl) S 15782 15780 15491 0 -1 4194304 489 0 0 0 0 0 0 0 16 0 1 0 216046406 12722176 449 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 227616534626 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15785/statm: 3106 449 311 3 0 206 0
Current children cumulated CPU time (s) 378.74
Current children cumulated vsize (KiB) 43148

Child status: 0
Real time (s): 329.984
CPU time (s): 378.864
CPU user time (s): 377.231
CPU system time (s): 1.63375
CPU usage (%): 114.813
Max. virtual memory (cumulated for all children) (KiB): 1158932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 377.231
system time used= 1.63375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293862
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= 14973
involuntary context switches= 3209

runsolver used 0.32295 second user time and 0.794879 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue Apr 24 07:42:47 UTC 2007

IDJOB= 418979
IDBENCH= 47741
IDSOLVER= 158
FILE ID= node66/418979-1177400563

PBS_JOBID= 4675549

Free space on /tmp= 66360 MiB

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

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  0accc2fede717a5875f68bad377f5246

RANDOM SEED= 421086722

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1832656 kB
Buffers:         11072 kB
Cached:         149608 kB
SwapCached:       4356 kB
Active:         108804 kB
Inactive:        62852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832656 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:           50992 kB
Writeback:           0 kB
Mapped:          16484 kB
Slab:            37688 kB
Committed_AS:  1787204 kB
PageTables:       1376 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= 66360 MiB

End job on node66 on Tue Apr 24 07:48:17 UTC 2007