Trace number 419002

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-clasp 2007-04-10SAT 108.01 97.5831

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
anbulagan/medium-sat/dated-10-17-s.opb
MD5SUM738a10b9084361eb12f7c25e2cf3b540
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 benchmark108.01
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 variables229842
Total number of constraints1081178
Number of constraints which are clauses1081178
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)

107.88/97.56	s SATISFIABLE
107.88/97.56	v x5 x11 x17 x23 x29 x35 x41 x47 x53 x59 x65 x71 x77 x83 x89 x95 x101 x107 x113 x119 x125 x131 x137 x139 x145 x151 x157 x163 x169 x175
107.88/97.56	v x181 x187 x193 x199 x205 x211 x217 x223 x229 x235 x241 x247 x253 x259 x265 x276 x279 x285 x291 x297 x303 x309 x315 x321 x327 x333
107.88/97.56	v x339 x345 x351 x357 x363 x369 x375 x381 x387 x393 x399 x405 x411 x417 x423 x429 x435 x441 x447 x453 x459 x465 x471 x477 x483 x491
107.88/97.56	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
107.88/97.56	v x653 x659 x665 x667 x673 x679 x685 x691 x697 x708 x711 x717 x723 x729 x735 x741 x749 x755 x761 x763 x769 x775 x781 x787 x793 x799
107.88/97.56	v x805 x816 x819 x825 x831 x839 x845 x851 x857 x863 x869 x875 x881 x887 x893 x899 x905 x911 x917 x923 x929 x935 x941 x947 x953 x959
107.88/97.56	v x965 x971 x977 x983 x989 x995 x1001 x1007 x1013 x1019 x1025 x1031 x1037 x1043 x1049 x1055 x1061 x1067 x1073 x1079 x1085 x1091
107.88/97.56	v x1097 x1103 x1109 x1115 x1121 x1127 x1133 x1139 x1145 x1151 x1157 x1163 x1169 x1175 x1181 x1187 x1193 x1199 x1205 x1211 x1217
107.88/97.56	v x1223 x1229 x1235 x1241 x1247 x1253 x1259 x1265 x1271 x1277 x1283 x1289 x1295 x1301 x1307 x1313 x1319 x1325 x1331 x1337 x1343
107.88/97.56	v x1349 x1355 x1361 x1367 x1373 x1379 x1385 x1391 x1397 x1403 x1409 x1415 x1421 x1427 x1433 x1439 x1445 x1451 x1457 x1463 x1469
107.88/97.56	v x1475 x1481 x1487 x1493 x1499 x1505 x1511 x1517 x1523 x1529 x1535 x1541 x1547 x1553 x1559 x1565 x1571 x1577 x1583 x1589 x1595
107.88/97.56	v x1601 x1607 x1613 x1619 x1625 x1631 x1637 x1643 x1649 x1655 x1661 x1667 x1673 x1679 x1685 x1691 x1697 x1703 x1709 x1715 x1721
107.88/97.56	v x1727 x1733 x1739 x1745 x1751 x1757 x1759 x1765 x1771 x1777 x1788 x1791 x1797 x1803 x1809 x1815 x1821 x1827 x1833 x1839 x1845
107.88/97.56	v x1853 x1859 x1865 x1871 x1877 x1883 x1889 x1895 x1901 x1907 x1913 x1919 x1925 x1931 x1937 x1943 x1949 x1955 x1961 x1963 x1969
107.88/97.56	v x1975 x1981 x1992 x1995 x2001 x2007 x2013 x2019 x2025 x2033 x2039 x2044 x2048 x2054 x2060 x2066 x2072 x2078 x2084 x2090 x2096
107.88/97.56	v x2102 x2108 x2114 x2120 x2126 x2132 x2138 x2144 x2150 x2156 x2162 x2168 x2174 x2180 x2186 x2192 x2198 x2204 x2210 x2216 x2222
107.88/97.56	v x2228 x2234 x2240 x2246 x2252 x2258 x2264 x2270 x2276 x2285 x2291 x2297 x2303 x2309 x2315 x2321 x2327 x2333 x2339 x2345 x2351
107.88/97.56	v x2357 x2363 x2369 x2375 x2381 x2387 x2393 x2399 x2405 x2411 x2417 x2423 x2429 x2435 x2441 x2447 x2453 x2459 x2465 x2471 x2477
107.88/97.56	v x2483 x2489 x2495 x2501 x2507 x2513 x2519 x2525 x2531 x2537 x2539 x2545 x2551 x2557 x2568 x2571 x2577 x2583 x2589 x2595 x2601
107.88/97.56	v x2607 x2613 x2619 x2625 x2631 x2637 x2643 x2649 x2655 x2661 x2667 x2673 x2679 x2685 x2693 x2699 x2705 x2711 x2717 x2723 x2729
107.88/97.56	v x2735 x2741 x2747 x2753 x2759 x2765 x2771 x2777 x2783 x2789 x2795 x2801 x2807 x2813 x2819 x2825 x2831 x2837 x2843 x2849 x2855
107.88/97.56	v x2861 x2867 x2873 x2879 x2885 x2891 x2897 x2903 x2909 x2915 x2921 x2927 x2933 x2939 x2945 x2951 x2957 x2963 x2969 x2975 x2981
107.88/97.56	v x2987 x2993 x2999 x3005 x3011 x3017 x3023 x3029 x3035 x3041 x3047 x3053 x3059 x3065 x3071 x3077 x3083 x3089 x3095 x3101 x3107
107.88/97.56	v x3113 x3119 x3125 x3131 x3137 x3143 x3149 x3155 x3161 x3167 x3173 x3179 x3185 x3191 x3197 x3203 x3209 x3215 x3221 x3227 x3233
107.88/97.56	v x3239 x3245 x3251 x3257 x3263 x3269 x3275 x3281 x3287 x3293 x3299 x3305 x3311 x3317 x3323 x3329 x3335 x3341 x3347 x3353 x3359
107.88/97.56	v x3365 x3371 x3377 x3383 x3389 x3395 x3401 x3407 x3413 x3419 x3425 x3431 x3437 x3443 x3449 x3455 x3461 x3467 x3473 x3479 x3485
107.88/97.56	v x3491 x3497 x3503 x3509 x3515 x3521 x3527 x3533 x3539 x3545 x3551 x3557 x3563 x3569 x3575 x3581 x3587 x3593 x3599 x3605 x3611
107.88/97.56	v x3617 x3623 x3629 x3635 x3641 x3647 x3653 x3659 x3665 x3671 x3677 x3683 x3689 x3695 x3701 x3707 x3713 x3719 x3725 x3731 x3737
107.88/97.56	v x3743 x3749 x3755 x3761 x3767 x3773 x3779 x3785 x3791 x3797 x3803 x3809 x3815 x3821 x3823 x3829 x3835 x3841 x3847 x3853 x3859
107.88/97.56	v x3865 x3871 x3877 x3883 x3889 x3895 x3901 x3907 x3918 x3921 x3927 x3933 x3939 x3945 x3953 x3959 x3965 x3971 x3977 x3983 x3989
107.88/97.56	v x3995 x4001 x4007 x4013 x4019 x4025 x4031 x4037 x4043 x4049 x4055 x4061 x4067 x4073 x4079 x4085 x4091 x4097 x4103 x4109 x4115
107.88/97.56	v x4121 x4127 x4133 x4139 x4145 x4151 x4157 x4163 x4169 x4175 x4181 x4187 x4193 x4199 x4205 x4211 x4217 x4223 x4229 x4235 x4241
107.88/97.56	v x4247 x4253 x4259 x4265 x4271 x4277 x4283 x4289 x4295 x4301 x4307 x4313 x4319 x4325 x4331 x4337 x4343 x4345 x4351 x4357 x4363
107.88/97.56	v x4369 x4375 x4381 x4387 x4393 x4399 x4405 x4411 x4422 x4425 x4431 x4437 x4443 x4449 x4455 x4461 x4467 x4473 x4479 x4485 x4491
107.88/97.56	v x4497 x4503 x4509 x4517 x4523 x4529 x4535 x4541 x4547 x4553 x4559 x4565 x4571 x4577 x4583 x4589 x4595 x4601 x4607 x4613 x4619
107.88/97.56	v x4625 x4631 x4637 x4643 x4649 x4655 x4661 x4667 x4673 x4679 x4685 x4691 x4697 x4703 x4709 x4715 x4721 x4727 x4733 x4739 x4745
107.88/97.56	v x4751 x4757 x4763 x4769 x4775 x4781 x4787 x4793 x4799 x4805 x4811 x4817 x4823 x4829 x4835 x4841 x4847 x4853 x4859 x4865 x4871
107.88/97.56	v x4877 x4883 x4889 x4895 x4901 x4907 x4913 x4919 x4925 x4931 x4937 x4943 x4949 x4955 x4961 x4967 x4973 x4979 x4985 x4990 x4996
107.88/97.56	v x5002 x5008 x5014 x5018 x5024 x5030 x5036 x5042 x5048 x5054 x5060 x5066 x5072 x5078 x5084 x5090 x5099 x5105 x5111 x5117 x5123
107.88/97.56	v x5129 x5135 x5141 x5147 x5153 x5159 x5165 x5171 x5177 x5183 x5189 x5195 x5201 x5207 x5213 x5219 x5225 x5231 x5237 x5243 x5249
107.88/97.56	v x5255 x5261 x5267 x5273 x5279 x5285 x5291 x5297 x5303 x5309 x5315 x5321 x5327 x5333 x5339 x5345 x5351 x5357 x5363 x5369 x5375
107.88/97.56	v x5381 x5387 x5393 x5399 x5405 x5411 x5417 x5423 x5429 x5435 x5441 x5447 x5453 x5459 x5465 x5471 x5477 x5483 x5489 x5495 x5501
107.88/97.56	v x5507 x5513 x5519 x5525 x5527 x5533 x5544 x5547 x5553 x5559 x5565 x5571 x5577 x5585 x5591 x5597 x5603 x5609 x5615 x5621 x5627
107.88/97.56	v x5633 x5639 x5645 x5651 x5657 x5663 x5669 x5675 x5681 x5687 x5693 x5699 x5705 x5711 x5717 x5723 x5729 x5735 x5741 x5747 x5753
107.88/97.56	v x5759 x5765 x5771 x5777 x5783 x5788 x5794 x5800 x5806 x5812 x5818 x5824 x5830 x5836 x5842 x5848 x5852 x5858 x5864 x5870 x5876
107.88/97.56	v x5882 x5888 x5894 x5900 x5906 x5912 x5918 x5924 x5930 x5936 x5942 x5948 x5954 x5960 x5966 x5972 x5978 x5984 x5990 x5999 x6005
107.88/97.56	v x6011 x6017 x6023 x6029 x6035 x6041 x6047 x6053 x6059 x6065 x6071 x6077 x6079 x6085 x6096 x6099 x6105 x6111 x6117 x6123 x6129
107.88/97.56	v x6135 x6141 x6147 x6153 x6161 x6167 x6173 x6175 x6181 x6187 x6193 x6199 x6210 x6216 x6222 x6228 x6234 x6240 x6246 x6252 x6258
107.88/97.56	v x6264 x6270 x6276 x6282 x6283 x6289 x6300 x6303 x6309 x6315 x6321 x6329 x6335 x6341 x6347 x6353 x6359 x6365 x6371 x6377 x6383
107.88/97.56	v x6389 x6395 x6401 x6407 x6413 x6419 x6425 x6427 x6433 x6439 x6445 x6451 x6457 x6463 x6474 x6477 x6483 x6489 x6497 x6503 x6509
107.88/97.56	v x6515 x6521 x6527 x6533 x6539 x6541 x6547 x6553 x6559 x6565 x6571 x6577 x6583 x6589 x6595 x6601 x6607 x6613 x6619 x6625 x6636
107.88/97.56	v x6639 x6645 x6651 x6657 x6665 x6671 x6677 x6683 x6689 x6695 x6701 x6707 x6713 x6719 x6725 x6731 x6737 x6743 x6749 x6755 x6761
107.88/97.56	v x6767 x6773 x6779 x6785 x6791 x6797 x6803 x6809 x6815 x6821 x6827 x6833 x6839 x6845 x6851 x6857 x6859 x6865 x6871 x6877 x6883
107.88/97.56	v x6889 x6900 x6903 x6909 x6915 x6921 x6927 x6933 x6939 x6945 x6951 x6959 x6965 x6970 x6974 x6980 x6986 x6992 x6998 x7004 x7010
107.88/97.56	v x7016 x7022 x7028 x7034 x7040 x7046 x7052 x7058 x7064 x7070 x7076 x7082 x7088 x7094 x7100 x7106 x7112 x7118 x7124 x7130 x7136
107.88/97.56	v x7142 x7148 x7154 x7160 x7166 x7172 x7178 x7184 x7190 x7199 x7205 x7207 x7213 x7219 x7225 x7231 x7242 x7245 x7251 x7257 x7263
107.88/97.56	v x7271 x7277 x7283 x7289 x7295 x7301 x7307 x7313 x7319 x7325 x7331 x7337 x7343 x7349 x7351 x7357 x7363 x7374 x7377 x7383 x7389
107.88/97.56	v x7395 x7401 x7407 x7413 x7419 x7425 x7431 x7437 x7443 x7449 x7455 x7461 x7467 x7473 x7479 x7487 x7493 x7499 x7505 x7511 x7517
107.88/97.56	v x7523 x7529 x7535 x7541 x7547 x7553 x7559 x7565 x7571 x7577 x7583 x7589 x7595 x7601 x7607 x7613 x7619 x7625 x7631 x7637 x7643
107.88/97.56	v x7649 x7655 x7661 x7667 x7673 x7679 x7685 x7691 x7697 x7703 x7709 x7715 x7721 x7727 x7733 x7739 x7745 x7751 x7757 x7763 x7769
107.88/97.56	v x7775 x7781 x7787 x7793 x7799 x7805 x7811 x7817 x7823 x7829 x7835 x7841 x7847 x7853 x7859 x7865 x7871 x7877 x7883 x7889 x7895
107.88/97.56	v x7901 x7907 x7913 x7919 x7925 x7931 x7937 x7943 x7949 x7955 x7961 x7967 x7973 x7979 x7985 x7991 x7997 x8003 x8009 x8015 x8021
107.88/97.56	v x8027 x8033 x8039 x8045 x8051 x8057 x8063 x8069 x8075 x8081 x8087 x8093 x8099 x8105 x8111 x8117 x8123 x8129 x8135 x8141 x8146
107.88/97.56	v x8152 x8158 x8164 x8170 x8176 x8182 x8188 x8194 x8200 x8206 x8212 x8218 x8222 x8228 x8234 x8240 x8246 x8252 x8258 x8264 x8270
107.88/97.56	v x8276 x8282 x8288 x8294 x8300 x8306 x8312 x8318 x8324 x8330 x8336 x8342 x8348 x8354 x8360 x8366 x8372 x8378 x8384 x8390 x8396
107.88/97.56	v x8402 x8408 x8414 x8420 x8426 x8432 x8438 x8444 x8450 x8456 x8462 x8468 x8474 x8480 x8486 x8495 x8497 x8503 x8509 x8520 x8523
107.88/97.56	v x8529 x8535 x8543 x8549 x8555 x8561 x8563 x8569 x8575 x8581 x8592 x8595 x8601 x8607 x8613 x8619 x8625 x8631 x8637 x8645 x8651
107.88/97.56	v x8657 x8663 x8665 x8671 x8677 x8683 x8689 x8695 x8701 x8707 x8713 x8719 x8725 x8731 x8737 x8748 x8754 x8760 x8766 x8772 x8778
107.88/97.56	v x8784 x8790 x8791 x8797 x8803 x8809 x8820 x8823 x8829 x8835 x8841 x8847 x8853 x8859 x8865 x8871 x8877 x8883 x8889 x8895 x8901
107.88/97.56	v x8907 x8913 x8919 x8925 x8931 x8937 x8943 x8951 x8957 x8962 x8966 x8972 x8978 x8984 x8990 x8996 x9002 x9008 x9014 x9020 x9026
107.88/97.56	v x9032 x9038 x9044 x9050 x9056 x9062 x9068 x9074 x9080 x9086 x9092 x9098 x9104 x9110 x9116 x9122 x9128 x9134 x9140 x9146 x9152
107.88/97.56	v x9161 x9166 x9170 x9176 x9182 x9188 x9194 x9200 x9206 x9212 x9218 x9224 x9230 x9239 x9241 x9247 x9253 x9259 x9265 x9276 x9279
107.88/97.56	v x9285 x9291 x9299 x9305 x9311 x9317 x9323 x9329 x9335 x9341 x9347 x9353 x9359 x9365 x9371 x9377 x9383 x9389 x9395 x9401 x9407
107.88/97.56	v x9413 x9419 x9425 x9431 x9437 x9443 x9449 x9455 x9461 x9467 x9473 x9479 x9485 x9491 x9497 x9503 x9509 x9515 x9521 x9527 x9533
107.88/97.56	v x9539 x9545 x9551 x9557 x9563 x9569 x9575 x9581 x9587 x9593 x9599 x9605 x9611 x9617 x9623 x9629 x9635 x9641 x9647 x9653 x9659
107.88/97.56	v x9665 x9671 x9677 x9683 x9689 x9695 x9701 x9707 x9713 x9719 x9725 x9731 x9737 x9743 x9749 x9755 x9761 x9767 x9773 x9779 x9785
107.88/97.56	v x9791 x9797 x9803 x9809 x9815 x9821 x9827 x9833 x9839 x9845 x9847 x9853 x9859 x9870 x9873 x9879 x9885 x9891 x9897 x9903 x9909
107.88/97.56	v x9917 x9923 x9929 x9935 x9937 x9943 x9949 x9955 x9966 x9969 x9975 x9981 x9987 x9993 x9999 x10005 x10011 x10017 x10023 x10029
107.88/97.56	v x10035 x10041 x10047 x10053 x10059 x10065 x10071 x10077 x10085 x10091 x10097 x10103 x10109 x10115 x10121 x10127 x10133
107.88/97.56	v x10139 x10145 x10151 x10157 x10163 x10169 x10175 x10181 x10187 x10193 x10199 x10205 x10211 x10217 x10222 x10228 x10234
107.88/97.56	v x10240 x10246 x10252 x10258 x10264 x10270 x10276 x10282 x10288 x10294 x10300 x10306 x10312 x10318 x10324 x10328 x10334
107.88/97.56	v x10340 x10346 x10352 x10358 x10364 x10370 x10376 x10382 x10388 x10394 x10400 x10406 x10412 x10418 x10424 x10430 x10436
107.88/97.56	v x10442 x10448 x10454 x10460 x10466 x10472 x10478 x10484 x10490 x10499 x10505 x10511 x10517 x10523 x10529 x10535 x10541
107.88/97.56	v x10547 x10553 x10559 x10565 x10571 x10577 x10583 x10589 x10595 x10601 x10607 x10613 x10619 x10625 x10631 x10637 x10643
107.88/97.56	v x10649 x10655 x10661 x10667 x10673 x10679 x10685 x10691 x10697 x10703 x10709 x10715 x10721 x10727 x10733 x10739 x10745
107.88/97.56	v x10751 x10757 x10763 x10769 x10775 x10781 x10787 x10793 x10799 x10805 x10811 x10817 x10823 x10829 x10835 x10841 x10846
107.88/97.56	v x10852 x10858 x10864 x10868 x10874 x10880 x10886 x10892 x10898 x10904 x10910 x10916 x10922 x10928 x10934 x10940 x10946
107.88/97.56	v x10952 x10958 x10964 x10970 x10976 x10982 x10988 x10994 x11000 x11006 x11012 x11018 x11027 x11033 x11039 x11045 x11051
107.88/97.56	v x11057 x11063 x11069 x11075 x11081 x11087 x11093 x11099 x11105 x11111 x11117 x11123 x11129 x11135 x11141 x11147 x11153
107.88/97.56	v x11159 x11165 x11171 x11177 x11183 x11189 x11195 x11201 x11207 x11213 x11219 x11225 x11231 x11237 x11243 x11249 x11255
107.88/97.56	v x11261 x11267 x11273 x11279 x11285 x11291 x11297 x11303 x11309 x11315 x11321 x11327 x11333 x11339 x11345 x11351 x11357
107.88/97.56	v x11363 x11369 x11375 x11381 x11387 x11393 x11399 x11405 x11411 x11417 x11423 x11429 x11435 x11441 x11447 x11453 x11459
107.88/97.56	v x11465 x11471 x11477 x11483 x11489 x11495 x11501 x11507 x11513 x11519 x11525 x11531 x11537 x11543 x11545 x11551 x11557
107.88/97.56	v x11563 x11569 x11575 x11581 x11587 x11593 x11599 x11605 x11611 x11617 x11623 x11629 x11640 x11643 x11649 x11655 x11663
107.88/97.56	v x11669 x11671 x11677 x11688 x11691 x11697 x11703 x11709 x11715 x11721 x11727 x11733 x11741 x11747 x11753 x11759 x11765
107.88/97.56	v x11771 x11777 x11783 x11789 x11795 x11801 x11807 x11813 x11819 x11825 x11831 x11837 x11843 x11849 x11855 x11861 x11867
107.88/97.56	v x11873 x11879 x11885 x11891 x11897 x11903 x11909 x11915 x11921 x11927 x11933 x11938 x11944 x11948 x11954 x11960 x11966
107.88/97.56	v x11972 x11978 x11984 x11990 x11996 x12002 x12008 x12014 x12020 x12026 x12032 x12038 x12044 x12050 x12056 x12062 x12068
107.88/97.56	v x12074 x12080 x12086 x12092 x12098 x12104 x12110 x12116 x12122 x12128 x12134 x12140 x12146 x12152 x12158 x12164 x12170
107.88/97.56	v x12176 x12182 x12188 x12194 x12200 x12209 x12215 x12221 x12227 x12233 x12239 x12245 x12251 x12257 x12263 x12269 x12275
107.88/97.56	v x12281 x12287 x12293 x12299 x12304 x12310 x12316 x12322 x12328 x12334 x12340 x12346 x12352 x12358 x12364 x12370 x12374
107.88/97.56	v x12380 x12386 x12392 x12398 x12404 x12410 x12416 x12422 x12428 x12434 x12440 x12446 x12452 x12458 x12464 x12470 x12476
107.88/97.56	v x12482 x12488 x12494 x12500 x12506 x12512 x12518 x12524 x12530 x12536 x12542 x12548 x12554 x12560 x12566 x12572 x12578
107.88/97.56	v x12584 x12590 x12596 x12602 x12608 x12614 x12623 x12629 x12635 x12641 x12647 x12653 x12659 x12665 x12671 x12677 x12683
107.88/97.56	v x12689 x12695 x12701 x12707 x12713 x12719 x12725 x12727 x12733 x12739 x12745 x12751 x12762 x12765 x12771 x12777 x12783
107.88/97.56	v x12789 x12795 x12801 x12809 x12815 x12817 x12823 x12834 x12837 x12843 x12849 x12855 x12861 x12867 x12873 x12879 x12885
107.88/97.56	v x12891 x12897 x12903 x12909 x12915 x12921 x12927 x12933 x12939 x12945 x12953 x12959 x12965 x12971 x12977 x12983 x12989
107.88/97.56	v x12995 x13001 x13007 x13013 x13019 x13025 x13031 x13037 x13043 x13049 x13055 x13061 x13067 x13073 x13079 x13085 x13091
107.88/97.56	v x13097 x13103 x13109 x13115 x13121 x13127 x13133 x13139 x13145 x13151 x13157 x13163 x13169 x13175 x13181 x13187 x13193
107.88/97.56	v x13199 x13205 x13211 x13217 x13223 x13229 x13235 x13241 x13247 x13253 x13259 x13265 x13271 x13277 x13283 x13289 x13295
107.88/97.56	v x13301 x13307 x13313 x13319 x13325 x13331 x13337 x13343 x13349 x13355 x13361 x13367 x13373 x13375 x13381 x13387 x13393
107.88/97.56	v x13399 x13405 x13416 x13419 x13427 x13433 x13439 x13445 x13451 x13457 x13463 x13469 x13475 x13481 x13487 x13493 x13499
107.88/97.56	v x13505 x13511 x13517 x13523 x13529 x13535 x13541 x13547 x13553 x13559 x13565 x13571 x13577 x13583 x13589 x13595 x13601
107.88/97.56	v x13607 x13613 x13619 x13625 x13631 x13637 x13643 x13649 x13655 x13661 x13667 x13673 x13679 x13685 x13691 x13697 x13703
107.88/97.56	v x13709 x13715 x13721 x13727 x13733 x13739 x13741 x13747 x13753 x13759 x13765 x13771 x13777 x13783 x13789 x13795 x13801
107.88/97.56	v x13807 x13813 x13819 x13825 x13831 x13842 x13848 x13854 x13860 x13866 x13872 x13878 x13884 x13890 x13896 x13902 x13908
107.88/97.56	v x13909 x13915 x13921 x13932 x13935 x13941 x13947 x13953 x13959 x13967 x13973 x13979 x13985 x13991 x13997 x14003 x14009
107.88/97.56	v x14015 x14021 x14027 x14033 x14039 x14045 x14051 x14057 x14059 x14065 x14071 x14077 x14083 x14094 x14097 x14103 x14111
107.88/97.56	v x14117 x14123 x14129 x14135 x14141 x14147 x14153 x14159 x14165 x14171 x14177 x14183 x14189 x14195 x14201 x14207 x14213
107.88/97.56	v x14219 x14225 x14231 x14237 x14243 x14249 x14255 x14261 x14267 x14273 x14279 x14285 x14291 x14297 x14303 x14309 x14315
107.88/97.56	v x14321 x14327 x14333 x14339 x14345 x14351 x14357 x14363 x14369 x14375 x14381 x14387 x14393 x14399 x14405 x14407 x14413
107.88/97.56	v x14419 x14430 x14433 x14439 x14445 x14451 x14459 x14465 x14471 x14477 x14483 x14489 x14495 x14501 x14507 x14513 x14519
107.88/97.56	v x14525 x14531 x14537 x14543 x14549 x14551 x14557 x14563 x14569 x14575 x14586 x14589 x14595 x14601 x14609 x14615 x14621
107.88/97.56	v x14627 x14633 x14639 x14645 x14651 x14657 x14663 x14669 x14675 x14681 x14687 x14693 x14699 x14705 x14711 x14717 x14723
107.88/97.56	v x14729 x14735 x14741 x14747 x14753 x14759 x14765 x14771 x14777 x14783 x14789 x14795 x14801 x14807 x14813 x14819 x14825
107.88/97.56	v x14831 x14837 x14843 x14849 x14855 x14861 x14867 x14873 x14879 x14885 x14891 x14897 x14903 x14909 x14915 x14921 x14927
107.88/97.56	v x14933 x14939 x14945 x14951 x14957 x14963 x14969 x14975 x14981 x14987 x14993 x14999 x15001 x15007 x15013 x15019 x15030
107.88/97.56	v x15033 x15039 x15045 x15051 x15057 x15063 x15069 x15075 x15083 x15089 x15095 x15101 x15107 x15113 x15119 x15125 x15131
107.88/97.56	v x15137 x15143 x15149 x15155 x15161 x15167 x15173 x15179 x15185 x15191 x15197 x15203 x15209 x15215 x15221 x15227 x15233
107.88/97.56	v x15239 x15245 x15251 x15257 x15263 x15269 x15275 x15281 x15287 x15293 x15299 x15305 x15311 x15317 x15323 x15329 x15335
107.88/97.56	v x15341 x15347 x15353 x15359 x15365 x15371 x15377 x15383 x15389 x15395 x15401 x15407 x15413 x15419 x15425 x15431 x15437
107.88/97.56	v x15443 x15449 x15455 x15461 x15467 x15473 x15479 x15485 x15491 x15497 x15503 x15509 x15515 x15521 x15527 x15533 x15539
107.88/97.56	v x15545 x15551 x15557 x15563 x15569 x15575 x15581 x15587 x15593 x15599 x15605 x15611 x15617 x15623 x15629 x15635 x15641
107.88/97.56	v x15647 x15653 x15659 x15665 x15671 x15677 x15683 x15689 x15695 x15697 x15703 x15709 x15715 x15721 x15732 x15735 x15741
107.88/97.56	v x15747 x15755 x15761 x15763 x15769 x15780 x15783 x15789 x15795 x15801 x15807 x15813 x15819 x15825 x15831 x15837 x15845
107.88/97.56	v x15851 x15857 x15863 x15869 x15875 x15881 x15887 x15893 x15899 x15905 x15911 x15917 x15923 x15929 x15935 x15941 x15947
107.88/97.56	v x15953 x15959 x15965 x15971 x15977 x15979 x15985 x15991 x15997 x16003 x16009 x16015 x16021 x16027 x16033 x16039 x16045
107.88/97.56	v x16051 x16057 x16063 x16069 x16075 x16081 x16087 x16093 x16104 x16107 x16113 x16119 x16125 x16131 x16137 x16143 x16149
107.88/97.56	v x16155 x16161 x16167 x16173 x16179 x16185 x16191 x16197 x16205 x16211 x16217 x16223 x16229 x16235 x16241 x16247 x16253
107.88/97.56	v x16259 x16265 x16271 x16277 x16283 x16289 x16295 x16301 x16307 x16313 x16319 x16325 x16331 x16337 x16343 x16349 x16355
107.88/97.56	v x16361 x16367 x16373 x16379 x16385 x16391 x16397 x16403 x16409 x16415 x16421 x16427 x16433 x16439 x16445 x16451 x16457
107.88/97.56	v x16463 x16469 x16475 x16481 x16487 x16493 x16499 x16505 x16507 x16513 x16519 x16525 x16531 x16537 x16543 x16549 x16560
107.88/97.56	v x16566 x16572 x16578 x16584 x16590 x16596 x16602 x16603 x16609 x16615 x16621 x16627 x16633 x16644 x16647 x16653 x16659
107.88/97.56	v x16665 x16671 x16677 x16683 x16689 x16695 x16701 x16707 x16713 x16719 x16725 x16731 x16737 x16743 x16749 x16755 x16761
107.88/97.56	v x16769 x16775 x16781 x16787 x16789 x16795 x16801 x16807 x16813 x16824 x16827 x16833 x16839 x16845 x16851 x16857 x16863
107.88/97.56	v x16869 x16875 x16881 x16887 x16893 x16899 x16905 x16911 x16917 x16925 x16931 x16937 x16939 x16945 x16951 x16962 x16965
107.88/97.56	v x16971 x16977 x16983 x16989 x16995 x17003 x17009 x17015 x17021 x17027 x17033 x17039 x17045 x17051 x17057 x17063 x17069
107.88/97.56	v x17075 x17081 x17087 x17093 x17099 x17105 x17111 x17117 x17123 x17129 x17135 x17141 x17147 x17153 x17159 x17165 x17171
107.88/97.56	v x17177 x17183 x17189 x17195 x17201 x17207 x17213 x17219 x17225 x17231 x17237 x17243 x17249 x17255 x17261 x17267 x17273
107.88/97.56	v x17279 x17285 x17291 x17297 x17303 x17309 x17315 x17321 x17327 x17333 x17339 x17345 x17351 x17357 x17363 x17369 x17375
107.88/97.56	v x17381 x17387 x17393 x17399 x17405 x17411 x17417 x17423 x17429 x17435 x17441 x17447 x17453 x17459 x17465 x17471 x17477
107.88/97.56	v x17483 x17489 x17495 x17501 x17507 x17513 x17519 x17525 x17531 x17537 x17543 x17549 x17555 x17561 x17567 x17573 x17579
107.88/97.56	v x17585 x17591 x17597 x17603 x17609 x17615 x17621 x17627 x17633 x17639 x17645 x17651 x17657 x17663 x17669 x17675 x17681
107.88/97.56	v x17687 x17693 x17699 x17705 x17711 x17717 x17723 x17729 x17735 x17741 x17747 x17753 x17759 x17765 x17771 x17777 x17783
107.88/97.56	v x17789 x17795 x17801 x17807 x17813 x17819 x17825 x17831 x17837 x17843 x17849 x17855 x17861 x17867 x17873 x17879 x17885
107.88/97.56	v x17891 x17897 x17903 x17909 x17915 x17921 x17927 x17933 x17939 x17945 x17951 x17957 x17963 x17969 x17975 x17981 x17987
107.88/97.56	v x17993 x17999 x18005 x18011 x18017 x18023 x18029 x18035 x18041 x18047 x18053 x18059 x18065 x18071 x18077 x18083 x18089
107.88/97.56	v x18095 x18101 x18107 x18113 x18119 x18125 x18131 x18137 x18143 x18149 x18155 x18161 x18167 x18173 x18179 x18185 x18191
107.88/97.56	v x18197 x18203 x18209 x18215 x18221 x18227 x18232 x18236 x18242 x18248 x18254 x18260 x18266 x18272 x18278 x18284 x18293
107.88/97.56	v x18299 x18305 x18311 x18317 x18323 x18329 x18335 x18341 x18347 x18353 x18359 x18365 x18371 x18377 x18383 x18389 x18395
107.88/97.56	v x18401 x18407 x18413 x18419 x18425 x18431 x18437 x18443 x18449 x18455 x18461 x18467 x18473 x18479 x18485 x18491 x18497
107.88/97.56	v x18503 x18509 x18515 x18521 x18527 x18533 x18539 x18545 x18551 x18557 x18563 x18569 x18575 x18581 x18587 x18593 x18599
107.88/97.56	v x18605 x18611 x18617 x18623 x18629 x18635 x18641 x18647 x18653 x18659 x18665 x18671 x18677 x18683 x18689 x18695 x18701
107.88/97.56	v x18707 x18713 x18719 x18725 x18730 x18736 x18740 x18746 x18752 x18758 x18764 x18770 x18776 x18782 x18788 x18794 x18800
107.88/97.56	v x18806 x18812 x18818 x18824 x18830 x18836 x18842 x18848 x18854 x18860 x18869 x18875 x18881 x18887 x18893 x18899 x18905
107.88/97.56	v x18911 x18917 x18923 x18929 x18935 x18941 x18947 x18953 x18959 x18965 x18971 x18977 x18983 x18989 x18995 x19001 x19007
107.88/97.56	v x19013 x19019 x19025 x19031 x19037 x19043 x19049 x19055 x19061 x19067 x19073 x19079 x19085 x19091 x19097 x19103 x19109
107.88/97.56	v x19115 x19121 x19127 x19133 x19139 x19145 x19151 x19157 x19163 x19169 x19175 x19181 x19187 x19193 x19199 x19205 x19211
107.88/97.56	v x19217 x19223 x19229 x19235 x19241 x19247 x19253 x19259 x19265 x19271 x19277 x19283 x19289 x19295 x19301 x19307 x19313
107.88/97.56	v x19319 x19325 x19331 x19337 x19343 x19349 x19355 x19361 x19367 x19373 x19379 x19385 x19391 x19397 x19403 x19409 x19415
107.88/97.56	v x19421 x19427 x19433 x19439 x19445 x19451 x19457 x19463 x19469 x19475 x19481 x19487 x19493 x19499 x19505 x19511 x19517
107.88/97.56	v x19523 x19529 x19535 x19541 x19547 x19553 x19559 x19565 x19571 x19577 x19583 x19589 x19595 x19601 x19607 x19613 x19619
107.88/97.56	v x19625 x19631 x19637 x19643 x19649 x19655 x19661 x19663 x19669 x19675 x19681 x19687 x19693 x19699 x19705 x19711 x19717
107.88/97.56	v x19723 x19729 x19735 x19741 x19747 x19753 x19759 x19770 x19773 x19779 x19785 x19791 x19797 x19803 x19809 x19815 x19821
107.88/97.56	v x19827 x19833 x19839 x19845 x19851 x19857 x19863 x19869 x19875 x19881 x19887 x19893 x19899 x19907 x19913 x19919 x19925
107.88/97.56	v x19931 x19937 x19943 x19949 x19955 x19961 x19967 x19973 x19979 x19985 x19991 x19997 x20003 x20009 x20015 x20021 x20027
107.88/97.56	v x20033 x20039 x20045 x20051 x20057 x20063 x20069 x20075 x20081 x20086 x20090 x20096 x20102 x20108 x20114 x20120 x20126
107.88/97.56	v x20132 x20138 x20144 x20150 x20156 x20165 x20171 x20177 x20183 x20185 x20191 x20197 x20203 x20209 x20215 x20221 x20227
107.88/97.56	v x20233 x20239 x20245 x20251 x20257 x20263 x20274 x20277 x20283 x20289 x20295 x20301 x20307 x20313 x20319 x20325 x20331
107.88/97.56	v x20337 x20343 x20349 x20355 x20361 x20367 x20373 x20379 x20385 x20393 x20399 x20405 x20411 x20417 x20423 x20429 x20435
107.88/97.56	v x20441 x20447 x20453 x20459 x20465 x20471 x20477 x20483 x20489 x20495 x20501 x20507 x20513 x20519 x20525 x20531 x20537
107.88/97.56	v x20543 x20549 x20555 x20561 x20567 x20573 x20579 x20585 x20591 x20597 x20603 x20609 x20615 x20621 x20627 x20633 x20639
107.88/97.56	v x20645 x20651 x20657 x20663 x20669 x20675 x20681 x20687 x20693 x20699 x20705 x20711 x20717 x20723 x20729 x20735 x20741
107.88/97.56	v x20747 x20753 x20759 x20761 x20767 x20778 x20781 x20787 x20793 x20799 x20805 x20811 x20817 x20823 x20831 x20837 x20843
107.88/97.56	v x20849 x20855 x20861 x20867 x20873 x20879 x20885 x20891 x20897 x20903 x20909 x20915 x20921 x20927 x20933 x20939 x20945
107.88/97.56	v x20951 x20957 x20963 x20969 x20975 x20981 x20987 x20993 x20999 x21005 x21011 x21017 x21023 x21029 x21035 x21041 x21047
107.88/97.56	v x21053 x21059 x21065 x21071 x21077 x21083 x21089 x21095 x21101 x21107 x21113 x21119 x21125 x21131 x21137 x21143 x21149
107.88/97.56	v x21155 x21161 x21167 x21173 x21179 x21185 x21191 x21197 x21203 x21209 x21215 x21221 x21227 x21233 x21239 x21245 x21251
107.88/97.56	v x21257 x21262 x21268 x21272 x21278 x21284 x21290 x21296 x21302 x21308 x21314 x21320 x21326 x21332 x21338 x21344 x21350
107.88/97.56	v x21356 x21365 x21367 x21373 x21379 x21385 x21396 x21399 x21405 x21411 x21417 x21423 x21429 x21435 x21441 x21447 x21453
107.88/97.56	v x21459 x21465 x21471 x21477 x21483 x21489 x21495 x21501 x21507 x21513 x21519 x21525 x21531 x21537 x21543 x21549 x21555
107.88/97.56	v x21561 x21569 x21575 x21581 x21587 x21593 x21599 x21605 x21611 x21617 x21623 x21629 x21635 x21641 x21647 x21653 x21659
107.88/97.56	v x21665 x21671 x21677 x21683 x21689 x21695 x21701 x21707 x21713 x21719 x21725 x21731 x21737 x21743 x21749 x21754 x21758
107.88/97.56	v x21764 x21770 x21776 x21782 x21788 x21794 x21800 x21806 x21812 x21818 x21824 x21830 x21836 x21842 x21848 x21854 x21860
107.88/97.56	v x21866 x21872 x21878 x21884 x21890 x21896 x21902 x21908 x21917 x21919 x21925 x21931 x21937 x21943 x21954 x21957 x21963
107.88/97.56	v x21969 x21975 x21981 x21989 x21995 x22001 x22007 x22013 x22015 x22021 x22027 x22033 x22044 x22047 x22053 x22059 x22065
107.88/97.56	v x22071 x22077 x22083 x22089 x22095 x22103 x22109 x22115 x22121 x22123 x22129 x22135 x22141 x22147 x22158 x22161 x22167
107.88/97.56	v x22173 x22181 x22187 x22193 x22199 x22205 x22211 x22217 x22223 x22229 x22235 x22241 x22247 x22253 x22259 x22265 x22271
107.88/97.56	v x22277 x22283 x22289 x22295 x22301 x22307 x22313 x22319 x22325 x22331 x22337 x22343 x22349 x22355 x22361 x22367 x22373
107.88/97.56	v x22379 x22381 x22387 x22393 x22399 x22405 x22411 x22417 x22423 x22429 x22435 x22441 x22447 x22453 x22459 x22470 x22473
107.88/97.56	v x22479 x22485 x22491 x22497 x22503 x22509 x22515 x22521 x22527 x22533 x22541 x22543 x22549 x22555 x22561 x22567 x22573
107.88/97.56	v x22579 x22585 x22591 x22597 x22603 x22609 x22615 x22621 x22632 x22635 x22641 x22647 x22653 x22659 x22665 x22671 x22677
107.88/97.56	v x22683 x22689 x22695 x22701 x22707 x22713 x22719 x22725 x22731 x22737 x22743 x22749 x22755 x22761 x22767 x22775 x22781
107.88/97.56	v x22787 x22793 x22799 x22805 x22811 x22817 x22823 x22829 x22835 x22841 x22847 x22853 x22859 x22865 x22871 x22877 x22883
107.88/97.56	v x22889 x22895 x22900 x22904 x22910 x22916 x22922 x22928 x22934 x22940 x22946 x22952 x22961 x22967 x22973 x22979 x22985
107.88/97.56	v x22991 x22997 x23003 x23009 x23015 x23021 x23027 x23033 x23039 x23045 x23051 x23057 x23063 x23069 x23075 x23081 x23087
107.88/97.56	v x23093 x23099 x23105 x23111 x23117 x23123 x23129 x23135 x23141 x23147 x23153 x23159 x23165 x23171 x23177 x23183 x23189
107.88/97.56	v x23195 x23201 x23207 x23213 x23219 x23225 x23231 x23237 x23243 x23249 x23255 x23261 x23267 x23273 x23279 x23285 x23291
107.88/97.56	v x23297 x23303 x23309 x23315 x23321 x23327 x23333 x23339 x23345 x23351 x23357 x23363 x23369 x23375 x23381 x23387 x23393
107.88/97.56	v x23399 x23405 x23411 x23417 x23423 x23429 x23435 x23441 x23447 x23453 x23455 x23461 x23467 x23478 x23481 x23487 x23493
107.88/97.56	v x23499 x23505 x23511 x23519 x23525 x23531 x23537 x23543 x23549 x23555 x23561 x23567 x23573 x23579 x23585 x23591 x23597
107.88/97.56	v x23603 x23609 x23615 x23621 x23627 x23633 x23639 x23645 x23651 x23657 x23663 x23669 x23675 x23681 x23687 x23693 x23699
107.88/97.56	v x23705 x23707 x23713 x23719 x23725 x23731 x23737 x23743 x23749 x23755 x23766 x23769 x23775 x23781 x23787 x23793 x23801
107.88/97.56	v x23807 x23813 x23819 x23821 x23827 x23833 x23839 x23845 x23851 x23857 x23863 x23869 x23875 x23881 x23887 x23893 x23904
107.88/97.56	v x23907 x23913 x23919 x23925 x23931 x23937 x23943 x23949 x23957 x23963 x23969 x23975 x23981 x23987 x23989 x23995 x24001
107.88/97.56	v x24007 x24018 x24021 x24027 x24035 x24041 x24047 x24053 x24059 x24065 x24071 x24077 x24083 x24089 x24095 x24101 x24107
107.88/97.56	v x24113 x24119 x24125 x24131 x24137 x24143 x24149 x24155 x24161 x24167 x24173 x24179 x24185 x24191 x24197 x24203 x24209
107.88/97.56	v x24215 x24221 x24227 x24233 x24239 x24245 x24251 x24257 x24263 x24269 x24275 x24281 x24287 x24293 x24299 x24305 x24311
107.88/97.56	v x24317 x24323 x24329 x24335 x24341 x24347 x24353 x24359 x24365 x24371 x24377 x24383 x24389 x24395 x24401 x24407 x24413
107.88/97.56	v x24419 x24425 x24431 x24437 x24443 x24449 x24455 x24461 x24467 x24473 x24479 x24485 x24487 x24493 x24499 x24505 x24516
107.88/97.56	v x24519 x24525 x24531 x24537 x24543 x24549 x24555 x24563 x24569 x24575 x24581 x24587 x24593 x24599 x24605 x24611 x24617
107.88/97.56	v x24619 x24625 x24631 x24637 x24643 x24649 x24655 x24661 x24667 x24673 x24679 x24685 x24691 x24697 x24703 x24709 x24715
107.88/97.56	v x24721 x24727 x24733 x24739 x24750 x24753 x24759 x24765 x24771 x24777 x24783 x24789 x24795 x24801 x24807 x24813 x24819
107.88/97.56	v x24825 x24831 x24837 x24843 x24849 x24855 x24861 x24867 x24873 x24879 x24885 x24891 x24897 x24903 x24909 x24915 x24921
107.88/97.56	v x24927 x24933 x24939 x24945 x24951 x24957 x24963 x24969 x24975 x24981 x24987 x24995 x25001 x25007 x25013 x25019 x25025
107.88/97.56	v x25031 x25037 x25043 x25049 x25055 x25061 x25067 x25073 x25079 x25085 x25091 x25097 x25103 x25109 x25115 x25121 x25127
107.88/97.56	v x25133 x25139 x25145 x25151 x25157 x25163 x25169 x25175 x25181 x25187 x25193 x25199 x25205 x25211 x25217 x25223 x25229
107.88/97.56	v x25235 x25241 x25243 x25249 x25255 x25261 x25267 x25273 x25279 x25290 x25293 x25299 x25307 x25313 x25319 x25325 x25331
107.88/97.56	v x25337 x25343 x25349 x25355 x25361 x25367 x25373 x25379 x25385 x25391 x25397 x25403 x25409 x25415 x25421 x25427 x25429
107.88/97.56	v x25435 x25446 x25449 x25455 x25461 x25467 x25473 x25479 x25485 x25491 x25497 x25503 x25509 x25515 x25521 x25527 x25533
107.88/97.56	v x25539 x25545 x25551 x25557 x25563 x25569 x25577 x25583 x25589 x25595 x25601 x25607 x25613 x25619 x25625 x25631 x25637
107.88/97.56	v x25643 x25649 x25655 x25661 x25667 x25673 x25679 x25685 x25691 x25697 x25703 x25709 x25715 x25721 x25727 x25733 x25739
107.88/97.56	v x25745 x25751 x25757 x25763 x25769 x25775 x25781 x25787 x25793 x25799 x25805 x25811 x25817 x25823 x25829 x25835 x25841
107.88/97.56	v x25843 x25849 x25855 x25866 x25869 x25875 x25881 x25887 x25893 x25901 x25907 x25913 x25919 x25925 x25927 x25933 x25939
107.88/97.56	v x25945 x25951 x25957 x25968 x25971 x25977 x25983 x25989 x25995 x26001 x26007 x26013 x26019 x26025 x26031 x26037 x26043
107.88/97.56	v x26051 x26057 x26059 x26065 x26071 x26077 x26083 x26089 x26095 x26101 x26107 x26113 x26119 x26125 x26131 x26137 x26143
107.88/97.56	v x26149 x26155 x26161 x26167 x26178 x26181 x26187 x26193 x26199 x26205 x26211 x26219 x26225 x26231 x26237 x26243 x26249
107.88/97.56	v x26255 x26261 x26267 x26273 x26279 x26285 x26291 x26297 x26303 x26309 x26315 x26321 x26327 x26333 x26339 x26345 x26351
107.88/97.56	v x26357 x26363 x26369 x26375 x26381 x26387 x26393 x26399 x26405 x26411 x26417 x26423 x26429 x26435 x26441 x26447 x26453
107.88/97.56	v x26459 x26465 x26471 x26477 x26483 x26489 x26495 x26501 x26507 x26513 x26519 x26521 x26527 x26533 x26544 x26547 x26553
107.88/97.56	v x26559 x26567 x26573 x26579 x26585 x26591 x26597 x26603 x26609 x26615 x26621 x26627 x26633 x26639 x26645 x26651 x26657
107.88/97.56	v x26663 x26669 x26675 x26681 x26683 x26689 x26695 x26701 x26707 x26718 x26721 x26727 x26733 x26739 x26745 x26751 x26757
107.88/97.56	v x26763 x26769 x26775 x26781 x26787 x26793 x26799 x26805 x26813 x26819 x26825 x26831 x26837 x26843 x26849 x26855 x26861
107.88/97.56	v x26867 x26873 x26879 x26885 x26891 x26897 x26903 x26909 x26915 x26921 x26927 x26933 x26939 x26945 x26951 x26957 x26963
107.88/97.56	v x26969 x26975 x26981 x26987 x26993 x26999 x27005 x27011 x27017 x27023 x27029 x27035 x27041 x27047 x27053 x27059 x27065
107.88/97.56	v x27071 x27077 x27083 x27089 x27095 x27101 x27107 x27113 x27119 x27125 x27131 x27137 x27143 x27149 x27155 x27161 x27167
107.88/97.56	v x27173 x27179 x27185 x27191 x27197 x27203 x27209 x27215 x27221 x27227 x27233 x27239 x27245 x27251 x27257 x27263 x27269
107.88/97.56	v x27275 x27281 x27283 x27289 x27295 x27301 x27307 x27318 x27321 x27327 x27333 x27339 x27345 x27351 x27357 x27365 x27371
107.88/97.56	v x27377 x27383 x27389 x27395 x27401 x27407 x27413 x27419 x27425 x27431 x27437 x27443 x27449 x27455 x27461 x27467 x27473
107.88/97.56	v x27479 x27485 x27491 x27497 x27503 x27509 x27515 x27521 x27527 x27533 x27539 x27545 x27551 x27557 x27563 x27569 x27575
107.88/97.56	v x27581 x27587 x27593 x27599 x27605 x27611 x27617 x27623 x27629 x27635 x27641 x27647 x27653 x27659 x27665 x27671 x27677
107.88/97.56	v x27679 x27685 x27691 x27702 x27705 x27711 x27717 x27723 x27729 x27737 x27743 x27749 x27755 x27761 x27767 x27773 x27779
107.88/97.56	v x27785 x27791 x27797 x27803 x27809 x27815 x27821 x27827 x27833 x27839 x27845 x27851 x27857 x27863 x27869 x27875 x27881
107.88/97.56	v x27883 x27889 x27895 x27906 x27909 x27915 x27921 x27927 x27933 x27939 x27945 x27951 x27957 x27963 x27969 x27975 x27981
107.88/97.56	v x27987 x27993 x27999 x28005 x28011 x28017 x28023 x28029 x28035 x28041 x28047 x28053 x28059 x28065 x28071 x28077 x28083
107.88/97.56	v x28089 x28095 x28101 x28107 x28113 x28119 x28125 x28133 x28139 x28145 x28151 x28157 x28163 x28169 x28175 x28181 x28187
107.88/97.56	v x28193 x28199 x28205 x28211 x28217 x28223 x28229 x28235 x28241 x28247 x28253 x28259 x28265 x28271 x28277 x28283 x28289
107.88/97.56	v x28295 x28301 x28303 x28309 x28315 x28321 x28327 x28333 x28339 x28345 x28351 x28357 x28363 x28369 x28375 x28381 x28387
107.88/97.56	v x28393 x28404 x28407 x28413 x28421 x28427 x28433 x28439 x28445 x28451 x28457 x28463 x28469 x28475 x28481 x28487 x28493
107.88/97.56	v x28499 x28505 x28511 x28517 x28523 x28529 x28535 x28541 x28547 x28553 x28559 x28565 x28571 x28577 x28583 x28589 x28595
107.88/97.56	v x28601 x28607 x28613 x28619 x28625 x28631 x28637 x28643 x28649 x28655 x28661 x28667 x28673 x28679 x28685 x28691 x28697
107.88/97.56	v x28703 x28709 x28715 x28721 x28727 x28733 x28739 x28745 x28751 x28757 x28763 x28769 x28775 x28781 x28787 x28793 x28799
107.88/97.56	v x29631 x29640 x30444 x30459 x30460 x30475 x30493 x31766 x31784 x31794 x32889 x32899 x33108 x33123 x33124 x33139 x33157
107.88/97.56	v x33357 x33375 x33385 x33479 x33488 x33774 x33789 x33790 x33805 x33823 x33912 x33930 x33940 x39585 x39594 x39731 x39746
107.88/97.56	v x39747 x39762 x39780 x40128 x40146 x40156 x40843 x40852 x40989 x41004 x41005 x41020 x41038 x41238 x41256 x41266 x41311
107.88/97.56	v x41329 x41331 x41336 x41341 x41342 x41343 x41347 x41374 x41375 x42807 x42810 x42820 x44397 x44410 x44541 x44556 x44557
107.88/97.56	v x44572 x44590 x45308 x45326 x45336 x52278 x52291 x52829 x52844 x52845 x52860 x52878 x53041 x53059 x53069 x55459 x55469
107.88/97.56	v x55900 x55915 x55916 x55931 x55949 x56482 x56500 x56510 x59404 x59422 x59424 x59429 x59434 x59435 x59436 x59588 x59615
107.88/97.56	v x59616 x60086 x60089 x60099 x62748 x62758 x62819 x62834 x62835 x62850 x62868 x63068 x63086 x63096 x64288 x64306 x64308
107.88/97.56	v x64313 x64318 x64319 x64320 x64694 x64721 x64722 x65599 x65602 x65612 x66115 x66125 x66186 x66201 x66202 x66217 x66235
107.88/97.56	v x66583 x66601 x66611 x66706 x66715 x66889 x66904 x66905 x67368 x67383 x67444 x67459 x67460 x67475 x67493 x67619 x67637
107.88/97.56	v x67647 x68262 x68275 x68517 x68532 x68533 x68548 x68566 x68655 x68673 x68683 x68963 x68972 x69516 x69531 x69532 x69547
107.88/97.56	v x69565 x69691 x69709 x69719 x70923 x70932 x71144 x71159 x71160 x71175 x71193 x71504 x71522 x71532 x71577 x71595 x71597
107.88/97.56	v x71602 x71607 x71608 x71609 x71613 x71640 x71641 x72999 x73002 x73012 x73033 x73042 x73216 x73231 x73232 x73247 x73265
107.88/97.56	v x73391 x73409 x73419 x73923 x73936 x74030 x74045 x74046 x74061 x74079 x74723 x74741 x74751 x78792 x78810 x78812 x78817
107.88/97.56	v x78822 x78823 x78824 x79272 x79299 x79300 x80954 x80957 x80967 x80990 x81003 x81097 x81112 x81113 x81128 x81146 x81235
107.88/97.56	v x81253 x81263 x81395 x81404 x81541 x81556 x81557 x81572 x81590 x81989 x82002 x82466 x82481 x82482 x82759 x82773 x82910
107.88/97.56	v x82925 x82926 x82941 x82959 x83714 x83732 x83742 x83787 x83805 x83807 x83812 x83817 x83818 x83819 x83823 x83850 x83851
107.88/97.56	v x85024 x85027 x85037 x85045 x85063 x85065 x85070 x85075 x85076 x85077 x85081 x85108 x85109 x85505 x85508 x85518 x85538
107.88/97.56	v x85547 x85722 x85737 x85738 x85753 x85771 x85860 x85878 x85888 x89278 x89291 x89385 x89400 x89401 x89416 x89434 x89671
107.88/97.56	v x89689 x89699 x89831 x89840 x89977 x89992 x89993 x90008 x90026 x91520 x91538 x91540 x91545 x91550 x91551 x91552 x92185
107.88/97.56	v x92212 x92213 x93238 x93241 x93251 x95368 x95386 x95388 x95393 x95398 x95399 x95400 x95515 x95542 x95543 x96494 x96497
107.88/97.56	v x96507 x99672 x99681 x100226 x100241 x100242 x100257 x100275 x100364 x100382 x100392 x100451 x100461 x100522 x100537
107.88/97.56	v x100538 x100553 x100571 x100845 x100863 x100873 x102065 x102083 x102085 x102090 x102095 x102096 x102097 x102138 x102165
107.88/97.56	v x102166 x103746 x103749 x103759 x104322 x104340 x104342 x104347 x104352 x104353 x104354 x104765 x104792 x104793 x106299
107.88/97.56	v x106302 x106312 x106961 x106970 x107145 x107160 x107161 x107176 x107194 x107431 x107449 x107459 x107518 x107528 x107589
107.88/97.56	v x107604 x107605 x107620 x107638 x108319 x108337 x108347 x110920 x110929 x111141 x111156 x111157 x111172 x111190 x111205
107.88/97.56	v x111223 x111233 x113177 x113186 x113768 x113783 x113784 x114211 x114229 x114323 x114338 x114339 x114354 x114372 x114535
107.88/97.56	v x114553 x114563 x115139 x115148 x115322 x115337 x115338 x115353 x115371 x115423 x115441 x115451 x117249 x117259 x117357
107.88/97.56	v x117372 x117373 x117388 x117406 x117532 x117550 x117560 x118135 x118144 x118319 x118334 x118335 x118350 x118368 x118457
107.88/97.56	v x118475 x118485 x120911 x120920 x121057 x121072 x121073 x121088 x121106 x121380 x121398 x121408 x125202 x125211 x125386
107.88/97.56	v x125401 x125402 x125417 x125435 x125524 x125542 x125552 x125611 x125621 x125682 x125697 x125698 x125713 x125731 x126907
107.88/97.56	v x126920 x127643 x127658 x127659 x127674 x127692 x128262 x128280 x128290 x130161 x130170 x130455 x130470 x130471 x130750
107.88/97.56	v x130768 x130973 x130988 x130989 x131004 x131022 x131740 x131758 x131768 x131899 x131908 x132083 x132098 x132099 x132114
107.88/97.56	v x132132 x132702 x132720 x132730 x132826 x132836 x132934 x132949 x132950 x132965 x132983 x133183 x133201 x133211 x140730
107.88/97.56	v x140748 x140750 x140755 x140760 x140761 x140762 x140766 x140793 x140794 x141116 x141119 x141129 x143764 x143782 x143784
107.88/97.56	v x143789 x143794 x143795 x143796 x143837 x143864 x143865 x144631 x144634 x144644 x149548 x149557 x150176 x150191 x150192
107.88/97.56	v x150207 x150225 x151017 x151035 x151045 x152126 x152144 x152146 x152151 x152156 x152157 x152158 x152162 x152189 x152190
107.88/97.56	v x152731 x152740 x153247 x153262 x153263 x153278 x153296 x153977 x153995 x154005 x156284 x156294 x156355 x156370 x156371
107.88/97.56	v x156386 x156404 x156678 x156696 x156706 x159341 x159359 x159361 x159366 x159371 x159372 x159373 x159414 x159441 x159442
107.88/97.56	v x159986 x159989 x159999 x160020 x160029 x160166 x160181 x160182 x160197 x160215 x161229 x161247 x161257 x162338 x162356
107.88/97.56	v x162358 x162363 x162368 x162369 x162370 x162374 x162401 x162402 x163353 x163356 x163366 x163386 x163395 x163570 x163585
107.88/97.56	v x163586 x163601 x163619 x163782 x163800 x163810 x163981 x163994 x164125 x164140 x164141 x164156 x164174 x164485 x164503
107.88/97.56	v x164513 x164644 x164653 x164828 x164843 x164844 x164859 x164877 x164966 x164984 x164994 x166238 x166251 x166752 x166767
107.88/97.56	v x166768 x166783 x166801 x167186 x167204 x167214 x167236 x167246 x167751 x167766 x167767 x167782 x167800 x168629 x168647
107.88/97.56	v x168657 x169405 x169423 x169425 x169430 x169435 x169436 x169437 x169441 x169468 x169469 x169791 x169794 x169804 x172823
107.88/97.56	v x172833 x172931 x172946 x172947 x172962 x172980 x173180 x173198 x173208 x174375 x174384 x174707 x174722 x174723 x174738
107.88/97.56	v x174756 x174919 x174937 x174947 x175080 x175090 x175558 x175573 x175574 x175589 x175607 x175881 x175899 x175909 x176115
107.88/97.56	v x176124 x176261 x176276 x176277 x176292 x176310 x176362 x176380 x176390 x179151 x179164 x179295 x179310 x179311 x179326
107.88/97.56	v x179344 x179581 x179599 x179609 x179963 x179972 x180738 x180753 x180754 x180769 x180787 x182245 x182263 x182273 x183811
107.88/97.56	v x183820 x184068 x184083 x184084 x184099 x184117 x184169 x184187 x184197 x184959 x184969 x185030 x185045 x185046 x185061
107.88/97.56	v x185079 x185834 x185852 x185862 x187513 x187526 x187620 x187635 x187636 x187651 x187669 x187832 x187850 x187860 x187991
107.88/97.56	v x188000 x188212 x188227 x188228 x188243 x188261 x188720 x188738 x188748 x188807 x188817 x189507 x189522 x189523 x189538
107.88/97.56	v x189556 x189756 x189774 x189784 x191657 x191670 x191764 x191779 x191780 x191795 x191813 x191902 x191920 x191930 x192655
107.88/97.56	v x192665 x192837 x192852 x192853 x192868 x192886 x193419 x193437 x193447 x196353 x196362 x196537 x196552 x196553 x196568
107.88/97.56	v x196586 x198761 x198774 x198868 x198883 x198884 x198899 x198917 x199080 x199098 x199108 x200019 x200032 x200126 x200141
107.88/97.56	v x200142 x200157 x200175 x201522 x201540 x201550 x202607 x202616 x203197 x203212 x203213 x203228 x203246 x203298 x203316
107.88/97.56	v x203326 x205747 x205788 x205828 x206095 x206129 x206159 x206244 x206254 x206334 x206376 x206433 x206627 x206632 x206638
107.88/97.56	v x206660 x206856 x207158 x207206 x207272 x207478 x208012 x208056 x208076 x208275 x208372 x208389 x208413 x208528 x208566
107.88/97.56	v x208608 x208724 x208934 x208958 x209188 x209192 x209495 x209496 x209864 x209948 x209979 x210039 x210298 x210920 x210995
107.88/97.56	v x211133 x211233 x211510 x211527 x211669 x211773 x212059 x212178 x212280 x212286 x212644 x212922 x213033 x213088 x213353
107.88/97.56	v x213433 x213446 x213454 x213567 x213634 x213687 x214086 x214118 x214259 x214392 x214409 x214530 x214545 x214660 x214795
107.88/97.56	v x214891 x214943 x215094 x215125 x215299 x215340 x215590 x215599 x215632 x215910 x216008 x216026 x216158 x216218 x216283
107.88/97.56	v x216311 x216456 x216609 x216664 x216681 x216798 x216870 x216900 x216964 x217050 x217186 x217274 x217279 x217309 x217379
107.88/97.56	v x217546 x217909 x217916 x218003 x218014 x218046 x218052 x218395 x218465 x218612 x219028 x219288 x219321 x219350 x219419
107.88/97.56	v x219420 x219433 x219719 x219930 x220093 x220287 x220329 x220590 x220640 x220976 x221147 x221311 x221327 x221402 x221558
107.88/97.56	v x221742 x221745 x221791 x221826 x221898 x222017 x222066 x222068 x222126 x222240 x222335 x222362 x222506 x222629 x222871
107.88/97.56	v x222925 x223018 x223026 x223035 x223071 x223205 x223415 x223471 x223530 x224038 x224051 x224202 x224228 x224729 x224860
107.88/97.56	v x224872 x224971 x224973 x225028 x225259 x225288 x225512 x225539 x225604 x225760 x225987 x226396 x226398 x226457 x226612
107.88/97.56	v x226652 x226809 x226865 x226875 x226950 x226970 x227094 x227205 x227206 x227409 x227510 x227879 x227968 x227999 x228121
107.88/97.56	v x228303 x228319 x228393 x228428 x228560 x228566 x228630 x228728 x228766 x228839 x228883 x228935 x229067 x229382 x229560
107.88/97.56	v x229738

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/419002-1177400768/instance-419002-1177400768.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.86 2/77 15299
/proc/meminfo: memFree=1688856/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=12268 CPUtime=0
/proc/15299/stat : 15299 (pbclasp) D 15297 15299 15097 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 216114396 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429695589 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/15299/statm: 3067 317 242 3 0 167 0

[startup+0.024398 s]
/proc/loadavg: 0.99 1.00 0.86 2/77 15299
/proc/meminfo: memFree=1688856/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=13188 CPUtime=0.01
/proc/15299/stat : 15299 (pbclasp) R 15297 15299 15097 0 -1 4194304 662 0 0 0 1 0 0 0 18 0 1 0 216114396 13504512 629 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429374177 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15299/statm: 3297 630 314 3 0 397 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13188

[startup+0.101405 s]
/proc/loadavg: 0.99 1.00 0.86 2/77 15299
/proc/meminfo: memFree=1688856/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=16316 CPUtime=0.09
/proc/15299/stat : 15299 (pbclasp) R 15297 15299 15097 0 -1 4194304 1455 0 0 0 9 0 0 0 18 0 1 0 216114396 16707584 1422 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252429374177 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15299/statm: 4079 1423 314 3 0 1179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16316

[startup+0.301426 s]
/proc/loadavg: 0.99 1.00 0.86 2/77 15299
/proc/meminfo: memFree=1688856/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=0.29
/proc/15299/stat : 15299 (pbclasp) R 15297 15299 15097 0 -1 4194304 2352 0 0 0 28 1 0 0 20 0 1 0 216114396 20430848 2319 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15299/statm: 4988 2319 316 3 0 2088 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19952

[startup+0.701465 s]
/proc/loadavg: 0.99 1.00 0.86 2/77 15299
/proc/meminfo: memFree=1688856/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=0.69
/proc/15299/stat : 15299 (pbclasp) R 15297 15299 15097 0 -1 4194304 2352 0 0 0 67 2 0 0 23 0 1 0 216114396 20430848 2319 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 0 0 0 17 1 0 0
/proc/15299/statm: 4988 2319 316 3 0 2088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19952

[startup+1.50155 s]
/proc/loadavg: 0.99 1.00 0.86 2/78 15300
/proc/meminfo: memFree=1682000/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 19952

[startup+3.1027 s]
/proc/loadavg: 0.99 1.00 0.86 2/82 15304
/proc/meminfo: memFree=1676904/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=0
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15302] ppid=15301 vsize=12400 CPUtime=1.99
/proc/15302/stat : 15302 (pb2clasp1) R 15301 15299 15097 0 -1 4194304 502 0 0 0 199 0 0 0 25 0 1 0 216114503 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449070224 0 0 4224 0 0 0 0 17 0 0 0
/proc/15302/statm: 3100 461 340 3 0 200 0
[pid=15303] ppid=15301 vsize=9340 CPUtime=0.24
/proc/15303/stat : 15303 (clasp-1.0) S 15301 15299 15097 0 -1 4194304 1954 0 0 0 23 1 0 0 16 0 1 0 216114503 9564160 1919 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15303/statm: 2335 1919 230 81 0 1709 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216114503 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 59312

[startup+6.30202 s]
/proc/loadavg: 1.07 1.02 0.86 2/82 15304
/proc/meminfo: memFree=1666984/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=0
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15302] ppid=15301 vsize=12400 CPUtime=5.13
/proc/15302/stat : 15302 (pb2clasp1) R 15301 15299 15097 0 -1 4194304 502 0 0 0 513 0 0 0 25 0 1 0 216114503 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252429194721 0 0 4224 0 0 0 0 17 0 0 0
/proc/15302/statm: 3100 461 340 3 0 200 0
[pid=15303] ppid=15301 vsize=20312 CPUtime=0.69
/proc/15303/stat : 15303 (clasp-1.0) S 15301 15299 15097 0 -1 4194304 4661 0 0 0 67 2 0 0 16 0 1 0 216114503 20799488 4585 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15303/statm: 5078 4585 230 81 0 4452 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216114503 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 70284

[startup+12.7017 s]
/proc/loadavg: 1.07 1.02 0.86 2/82 15304
/proc/meminfo: memFree=1636200/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=0
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15302] ppid=15301 vsize=12400 CPUtime=11.44
/proc/15302/stat : 15302 (pb2clasp1) R 15301 15299 15097 0 -1 4194304 502 0 0 0 1143 1 0 0 25 0 1 0 216114503 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449620695 0 0 4224 0 0 0 0 17 0 0 0
/proc/15302/statm: 3100 461 340 3 0 200 0
[pid=15303] ppid=15301 vsize=50048 CPUtime=1.69
/proc/15303/stat : 15303 (clasp-1.0) S 15301 15299 15097 0 -1 4194304 12259 0 0 0 163 6 0 0 16 0 1 0 216114503 51249152 11895 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15303/statm: 12512 11895 230 81 0 11886 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216114503 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 14.17
Current children cumulated vsize (KiB) 100020

[startup+25.5019 s]
/proc/loadavg: 1.13 1.03 0.87 2/82 15304
/proc/meminfo: memFree=1593008/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=0
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15302] ppid=15301 vsize=12400 CPUtime=24.12
/proc/15302/stat : 15302 (pb2clasp1) R 15301 15299 15097 0 -1 4194304 502 0 0 0 2409 3 0 0 25 0 1 0 216114503 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449483728 0 0 4224 0 0 0 0 17 0 0 0
/proc/15302/statm: 3100 461 340 3 0 200 0
[pid=15303] ppid=15301 vsize=92792 CPUtime=3.69
/proc/15303/stat : 15303 (clasp-1.0) S 15301 15299 15097 0 -1 4194304 22744 0 0 0 358 11 0 0 16 0 1 0 216114503 95019008 22380 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/15303/statm: 23198 22380 230 81 0 22572 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216114503 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 28.85
Current children cumulated vsize (KiB) 142764

[startup+51.1015 s]
/proc/loadavg: 1.23 1.06 0.88 2/82 15304
/proc/meminfo: memFree=1517680/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=0
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15302] ppid=15301 vsize=12400 CPUtime=49.42
/proc/15302/stat : 15302 (pb2clasp1) R 15301 15299 15097 0 -1 4194304 502 0 0 0 4935 7 0 0 25 0 1 0 216114503 12697600 461 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 252449485553 0 0 4224 0 0 0 0 17 0 0 0
/proc/15302/statm: 3100 461 340 3 0 200 0
[pid=15303] ppid=15301 vsize=167404 CPUtime=7.78
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 41763 0 0 0 757 21 0 0 16 0 1 0 216114503 171421696 41399 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134683770 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 41851 41399 230 81 0 41225 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 412 0 0 0 0 0 0 0 21 0 1 0 216114503 12562432 372 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 372 289 3 0 167 0
Current children cumulated CPU time (s) 58.24
Current children cumulated vsize (KiB) 217376

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

[startup+76.701 s]
/proc/loadavg: 1.23 1.07 0.89 2/81 15304
/proc/meminfo: memFree=1205368/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=488156 CPUtime=18.46
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 148163 0 0 0 1779 67 0 0 25 0 1 0 216114503 499871744 117468 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 10125319 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 122039 117468 242 81 0 121413 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216114503 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 87.09
Current children cumulated vsize (KiB) 525728

[startup+89.5013 s]
/proc/loadavg: 1.19 1.07 0.89 2/81 15304
/proc/meminfo: memFree=1210040/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=483932 CPUtime=31.26
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 149570 0 0 0 3058 68 0 0 25 0 1 0 216114503 495546368 117819 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 120983 117819 245 81 0 120357 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216114503 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 521504

[startup+92.7016 s]
/proc/loadavg: 1.18 1.07 0.89 2/81 15304
/proc/meminfo: memFree=1209912/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=483932 CPUtime=34.46
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 149582 0 0 0 3378 68 0 0 25 0 1 0 216114503 495546368 117831 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737366 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 120983 117831 245 81 0 120357 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216114503 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 103.09
Current children cumulated vsize (KiB) 521504

[startup+95.903 s]
/proc/loadavg: 1.16 1.06 0.89 2/81 15304
/proc/meminfo: memFree=1209912/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=483932 CPUtime=37.66
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 149583 0 0 0 3698 68 0 0 25 0 1 0 216114503 495546368 117832 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737400 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 120983 117832 245 81 0 120357 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216114503 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 106.29
Current children cumulated vsize (KiB) 521504

[startup+96.702 s]
/proc/loadavg: 1.16 1.06 0.89 2/81 15304
/proc/meminfo: memFree=1209848/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=483932 CPUtime=38.46
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 149591 0 0 0 3778 68 0 0 25 0 1 0 216114503 495546368 117840 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737336 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 120983 117840 245 81 0 120357 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216114503 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 107.09
Current children cumulated vsize (KiB) 521504

[startup+97.1021 s]
/proc/loadavg: 1.16 1.06 0.89 2/81 15304
/proc/meminfo: memFree=1209848/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=483932 CPUtime=38.86
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 149592 0 0 0 3818 68 0 0 25 0 1 0 216114503 495546368 117841 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617542 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 120983 117841 245 81 0 120357 0
[pid=15304] ppid=15301 vsize=12268 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 416 0 0 0 0 0 0 0 16 0 1 0 216114503 12562432 376 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3067 376 293 3 0 167 0
Current children cumulated CPU time (s) 107.49
Current children cumulated vsize (KiB) 521504

[startup+97.5021 s]
/proc/loadavg: 1.16 1.06 0.89 2/81 15304
/proc/meminfo: memFree=1209848/2055920 swapFree=4160020/4192956
[pid=15299] ppid=15297 vsize=19952 CPUtime=1.04
/proc/15299/stat : 15299 (pbclasp) S 15297 15299 15097 0 -1 4194304 2373 0 0 0 101 3 0 0 16 0 1 0 216114396 20430848 2323 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 252438425698 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/15299/statm: 4988 2323 320 3 0 2088 0
[pid=15301] ppid=15299 vsize=5352 CPUtime=67.59
/proc/15301/stat : 15301 (sh) S 15299 15299 15097 0 -1 4194304 297 504 0 0 0 0 6749 10 16 0 1 0 216114502 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15301/statm: 1338 224 188 169 0 49 0
[pid=15303] ppid=15301 vsize=398704 CPUtime=39.25
/proc/15303/stat : 15303 (clasp-1.0) R 15301 15299 15097 0 -1 4194304 149614 0 2 0 3856 69 0 0 16 0 1 0 216114503 408272896 97040 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15303/statm: 99676 97040 2291 81 0 99050 0
[pid=15304] ppid=15301 vsize=12432 CPUtime=0
/proc/15304/stat : 15304 (pboutclasp.pl) S 15301 15299 15097 0 -1 4194304 474 0 0 0 0 0 0 0 17 0 1 0 216114503 12730368 434 18446744073709551615 4194304 4206940 548682069280 18446744073709551615 252438425698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15304/statm: 3108 434 311 3 0 208 0
Current children cumulated CPU time (s) 107.88
Current children cumulated vsize (KiB) 436440

Child status: 0
Real time (s): 97.5831
CPU time (s): 108.01
CPU user time (s): 107.086
CPU system time (s): 0.923859
CPU usage (%): 110.685
Max. virtual memory (cumulated for all children) (KiB): 542324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.086
system time used= 0.923859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155180
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10105
involuntary context switches= 2425

runsolver used 0.084987 second user time and 0.275958 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue Apr 24 07:46:10 UTC 2007

IDJOB= 419002
IDBENCH= 47742
IDSOLVER= 167
FILE ID= node12/419002-1177400768

PBS_JOBID= 4675632

Free space on /tmp= 66354 MiB

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

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  738a10b9084361eb12f7c25e2cf3b540

RANDOM SEED= 93810945

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1689264 kB
Buffers:         41004 kB
Cached:         210236 kB
SwapCached:      11852 kB
Active:         193808 kB
Inactive:       113576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1689264 kB
SwapTotal:     4192956 kB
SwapFree:      4160020 kB
Dirty:           34044 kB
Writeback:           0 kB
Mapped:          62800 kB
Slab:            44724 kB
Committed_AS:  6124360 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66354 MiB

End job on node12 on Tue Apr 24 07:47:48 UTC 2007