Trace number 3741114

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: PB-clasp 2007-04-10SAT 1381.37 1380.64

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-31.opb
MD5SUM1231d9e508dc821e38b22e6db3fd2b2f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark203.957
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9310
Total number of constraints199239
Number of constraints which are clauses178407
Number of constraints which are cardinality constraints (but not clauses)730
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint1
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1381.29/1380.64	s SATISFIABLE
1381.29/1380.64	v x7 x11 x12 x32 x33 x40 x41 x44 x45 x56 x62 x63 x66 x67 x68 x79 x83 x95 x106 x110 x117 x118 x138 x139 x143 x144 x149 x150 x151 x162 x171 x172 x173 x174 x185 x189 x199 x210 x214 x227 x238 x239 x242 x243 x248 x251 x262 x263 x266 x267 x274 x285 x286 x289 x290 x308 x314 x325 x329 x341 x348 x349 x351 x353 x356 x367 x371 x384 x395 x396 x399 x400 x406 x417 x418 x419 x424 x425 x431 x442 x443 x446 x447 x453 x459 x470 x471 x474 x475 x481 x492 x493 x494 x499 x500 x506 x517 x518 x519 x524 x525 x533 x544 x545 x546 x551 x552 x559 x570 x581 x585 x591 x592 x601 x608 x609 x610 x613 x624 x628 x640 x651 x652 x655 x656 x663 x674 x675 x676 x681 x682 x690 x701 x703 x705 x706 x714 x725 x726 x729 x730 x739 x750 x751 x754 x755 x763 x774 x775 x776 x781 x782 x791 x802 x804 x806 x807 x813 x824 x825 x826 x831 x832 x835 x838 x849 x850 x851 x856 x857 x863 x874 x876 x878 x879 x890 x901 x903 x905 x906 x915 x926 x928 x930 x931 x948 x954 x965 x969 x973 x974 x975 x976 x977 x978 x979 x980 x981 x984 x985 x986 x987 x989 x991 x992 x995 x1006 x1010 x1020 x1031 x1032 x1035 x1036 x1047 x1058 x1059 x1060 x1065 x1066 x1070 x1081 x1083 x1085 x1086 x1093 x1096 x1107 x1108 x1109 x1116 x1123 x1134 x1135 x1138 x1139 x1148 x1159 x1160 x1163 x1164 x1172 x1183 x1184 x1185 x1190 x1191 x1198 x1209 x1211 x1213 x1214 x1221 x1232 x1233 x1234 x1241 x1245 x1256 x1257 x1258 x1263 x1264 x1270 x1281 x1282 x1283 x1288 x1289 x1298 x1309 x1311 x1313 x1314 x1320 x1331 x1332 x1333 x1340 x1348 x1359 x1361 x1363 x1364 x1371 x1382 x1384 x1386 x1387 x1395 x1406 x1407 x1408 x1415 x1420 x1431 x1432 x1433 x1440 x1446 x1457 x1458 x1459 x1466 x1480 x1482 x1493 x1497 x1505 x1506 x1507 x1508 x1509 x1510 x1516 x1519 x1520 x1521 x1523 x1524 x1527 x1538 x1542 x1557 x1568 x1569 x1572 x1573 x1577 x1588 x1589 x1590 x1595 x1596 x1607 x1618 x1620 x1622 x1623 x1628 x1639 x1640 x1641 x1648 x1654 x1665 x1666 x1668 x1670 x1671 x1672 x1673 x1679 x1690 x1691 x1694 x1695 x1702 x1713 x1714 x1717 x1718 x1729 x1740 x1741 x1742 x1747 x1748 x1756 x1767 x1769 x1771 x1772 x1777 x1788 x1789 x1790 x1797 x1801 x1802 x1813 x1814 x1816 x1818 x1819 x1820 x1821 x1829 x1840 x1841 x1842 x1847 x1848 x1852 x1863 x1864 x1865 x1870 x1871 x1881 x1892 x1894 x1896 x1897 x1903 x1914 x1915 x1916 x1923 x1929 x1940 x1941 x1943 x1945 x1946 x1947 x1948 x1957 x1968 x1970 x1972 x1973 x1979 x1990 x1992 x1994 x1995 x2003 x2014 x2015 x2016 x2023 x2027 x2038 x2039 x2041 x2043 x2044 x2045 x2046 x2053 x2064 x2065 x2066 x2073 x2077 x2088 x2089 x2090 x2097 x2104 x2115 x2116 x2118 x2120 x2121 x2122 x2123 x2129 x2140 x2141 x2143 x2145 x2146 x2147 x2148 x2152 x2163 x2164 x2166 x2168 x2169 x2170 x2171 x2184 x2188 x2199 x2203 x2217 x2222 x2225 x2226 x2228 x2229 x2230 x2235 x2246 x2250 x2263 x2274 x2275 x2278 x2279 x2286 x2297 x2298 x2299 x2304 x2305 x2312 x2323 x2325 x2327 x2328 x2334 x2345 x2346 x2347 x2354 x2361 x2372 x2373 x2375 x2377 x2378 x2379 x2380 x2384 x2395 x2396 x2398 x2399 x2400 x2403 x2413 x2424 x2425 x2428 x2429 x2437 x2448 x2449 x2452 x2453 x2459 x2470 x2471 x2472 x2477 x2478 x2488 x2499 x2501 x2503 x2504 x2509 x2520 x2521 x2522 x2529 x2536 x2547 x2548 x2550 x2552 x2553 x2554 x2555 x2561 x2572 x2573 x2575 x2576 x2577 x2580 x2584 x2595 x2596 x2597 x2602 x2603 x2609 x2620 x2621 x2622 x2627 x2628 x2638 x2649 x2651 x2653 x2654 x2660 x2671 x2672 x2673 x2680 x2684 x2695 x2696 x2698 x2700 x2701 x2702 x2703 x2711 x2722 x2723 x2725 x2726 x2727 x2730 x2738 x2749 x2751 x2753 x2754 x2760 x2771 x2773 x2775 x2776 x2784 x2795 x2796 x2797 x2804 x2811 x2822 x2823 x2825 x2827 x2828 x2829 x2830 x2836 x2847 x2848 x2850 x2851 x2852 x2855 x2860 x2871 x2872 x2873 x2880 x2884 x2895 x2896 x2897 x2904 x2911 x2922 x2923 x2925 x2927 x2928 x2929 x2930 x2935 x2946 x2947 x2949 x2950 x2951 x2954 x2959 x2970 x2971 x2973 x2975 x2976 x2977 x2978 x2986 x2997 x2998 x3000 x3002 x3003 x3004 x3005 x3011 x3022 x3023 x3025 x3026 x3027 x3030 x3035 x3046 x3047 x3049 x3050 x3051 x3054 x3057 x3060 x3071 x3072 x3074 x3075 x3076 x3079 x3094 x3095 x3106 x3110 x3119 x3120 x3121 x3124 x3129 x3131 x3133 x3134 x3136 x3137 x3138 x3141 x3152 x3156 x3171 x3182 x3183 x3186 x3187 x3193 x3204 x3205 x3206 x3211 x3212 x3220 x3231 x3233 x3235 x3236 x3241 x3252 x3253 x3254 x3261 x3268 x3279 x3280 x3282 x3284 x3285 x3286 x3287 x3293 x3304 x3305 x3307 x3308 x3309 x3312 x3316 x3328 x3329 x3330 x3332 x3333 x3336 x3343 x3354 x3355 x3358 x3359 x3369 x3380 x3381 x3384 x3385 x3393 x3404 x3405 x3406 x3411 x3412 x3419 x3430 x3432 x3434 x3435 x3441 x3452 x3453 x3454 x3461 x3466 x3477 x3478 x3480 x3482 x3483 x3484 x3485 x3488 x3493 x3504 x3505 x3507 x3508 x3509 x3512 x3517 x3529 x3530 x3531 x3533 x3534 x3537 x3541 x3552 x3553 x3554 x3559 x3560 x3566 x3577 x3578 x3579 x3584 x3585 x3595 x3606 x3608 x3610 x3611 x3617 x3628 x3629 x3630 x3637 x3643 x3654 x3655 x3657 x3659 x3660 x3661 x3662 x3668 x3679 x3680 x3682 x3683 x3684 x3687 x3692 x3704 x3705 x3706 x3708 x3709 x3712 x3719 x3730 x3732 x3734 x3735 x3742 x3753 x3755 x3757 x3758 x3767 x3778 x3779 x3780 x3787 x3793 x3804 x3805 x3807 x3809 x3810 x3811 x3812 x3818 x3829 x3830 x3832 x3833 x3834 x3837 x3842 x3854 x3855 x3856 x3858 x3859 x3862 x3867 x3878 x3879 x3880 x3887 x3892 x3903 x3904 x3905 x3912 x3918 x3929 x3930 x3932 x3934 x3935 x3936 x3937 x3943 x3954 x3955 x3957 x3958 x3959 x3962 x3966 x3978 x3979 x3980 x3982 x3983 x3986 x3991 x4002 x4003 x4005 x4007 x4008 x4009 x4010 x4018 x4029 x4030 x4032 x4034 x4035 x4036 x4037 x4043 x4054 x4055 x4057 x4058 x4059 x4062 x4067 x4079 x4080 x4081 x4083 x4084 x4087 x4091 x4102 x4103 x4105 x4106 x4107 x4110 x4117 x4128 x4129 x4131 x4132 x4133 x4136 x4141 x4153 x4154 x4155 x4157 x4158 x4161 x4167 x4179 x4180 x4181 x4183 x4184 x4187 x4192 x4204 x4205 x4206 x4208 x4209 x4212 x4222 x4230 x4241 x4245 x4254 x4255 x4262 x4264 x4267 x4269 x4270 x4273 x4284 x4288 x4298 x4309 x4310 x4313 x4314 x4323 x4334 x4335 x4336 x4341 x4342 x4352 x4363 x4365 x4367 x4368 x4373 x4384 x4385 x4386 x4393 x4398 x4409 x4410 x4412 x4414 x4415 x4416 x4417 x4425 x4436 x4437 x4439 x4440 x4441 x4444 x4448 x4460 x4461 x4462 x4464 x4465 x4468 x4473 x4484 x4485 x4486 x4488 x4489 x4491 x4493 x4499 x4510 x4511 x4514 x4515 x4525 x4536 x4537 x4540 x4541 x4550 x4561 x4562 x4563 x4568 x4569 x4576 x4587 x4589 x4591 x4592 x4599 x4610 x4611 x4612 x4619 x4625 x4636 x4637 x4639 x4641 x4642 x4643 x4644 x4650 x4661 x4662 x4664 x4665 x4666 x4669 x4674 x4686 x4687 x4688 x4690 x4691 x4694 x4699 x4710 x4711 x4712 x4714 x4715 x4717 x4719 x4724 x4735 x4736 x4737 x4742 x4743 x4750 x4761 x4762 x4763 x4768 x4769 x4774 x4785 x4787 x4789 x4790 x4798 x4809 x4810 x4811 x4818 x4823 x4834 x4835 x4837 x4839 x4840 x4841 x4842 x4850 x4861 x4862 x4864 x4865 x4866 x4869 x4874 x4886 x4887 x4888 x4890 x4891 x4894 x4899 x4910 x4911 x4912 x4914 x4915 x4917 x4919 x4923 x4934 x4936 x4938 x4939 x4950 x4961 x4963 x4965 x4966 x4974 x4985 x4986 x4987 x4994 x5000 x5011 x5012 x5014 x5016 x5017 x5018 x5019 x5025 x5036 x5037 x5039 x5040 x5041 x5044 x5049 x5061 x5062 x5063 x5065 x5066 x5069 x5074 x5085 x5086 x5087 x5089 x5090 x5092 x5094 x5099 x5110 x5111 x5112 x5119 x5124 x5135 x5136 x5137 x5144 x5150 x5161 x5162 x5164 x5166 x5167 x5168 x5169 x5175 x5186 x5187 x5189 x5190 x5191 x5194 x5198 x5210 x5211 x5212 x5214 x5215 x5218 x5224 x5235 x5236 x5237 x5239 x5240 x5242 x5244 x5250 x5261 x5262 x5264 x5266 x5267 x5268 x5269 x5275 x5286 x5287 x5289 x5291 x5292 x5293 x5294 x5300 x5311 x5312 x5314 x5315 x5316 x5319 x5323 x5335 x5336 x5337 x5339 x5340 x5343 x5349 x5360 x5361 x5362 x5364 x5365 x5367 x5369 x5373 x5384 x5385 x5387 x5388 x5389 x5392 x5395 x5400 x5411 x5412 x5414 x5415 x5416 x5419 x5423 x5435 x5436 x5437 x5439 x5440 x5443 x5449 x5460 x5461 x5462 x5464 x5465 x5467 x5469 x5473 x5485 x5486 x5487 x5489 x5490 x5493 x5499 x5511 x5512 x5513 x5515 x5516 x5519 x5524 x5535 x5536 x5537 x5539 x5540 x5542 x5544 x5548 x5559 x5560 x5561 x5563 x5564 x5566 x5568 x5573 x5584 x5585 x5586 x5588 x5589 x5591 x5593 x5608 x5613 x5624 x5628 x5632 x5633 x5640 x5641 x5643 x5644 x5645 x5648 x5652 x5655 x5666 x5670 x5682 x5693 x5694 x5697 x5698 x5705 x5716 x5717 x5718 x5723 x5724 x5733 x5744 x5746 x5748 x5749 x5756 x5767 x5768 x5769 x5776 x5782 x5793 x5794 x5796 x5798 x5799 x5800 x5801 x5807 x5818 x5819 x5821 x5822 x5823 x5826 x5831 x5843 x5844 x5845 x5847 x5848 x5851 x5856 x5867 x5868 x5869 x5871 x5872 x5874 x5876 x5882 x5893 x5894 x5896 x5899 x5901 x5910 x5921 x5922 x5925 x5926 x5930 x5941 x5942 x5945 x5946 x5956 x5967 x5968 x5969 x5974 x5975 x5981 x5992 x5994 x5996 x5997 x6005 x6016 x6017 x6018 x6025 x6030 x6041 x6042 x6044 x6046 x6047 x6048 x6049 x6055 x6066 x6067 x6069 x6070 x6071 x6074 x6080 x6092 x6093 x6094 x6096 x6097 x6100 x6105 x6116 x6117 x6118 x6120 x6121 x6123 x6125 x6130 x6141 x6142 x6144 x6147 x6149 x6155 x6166 x6167 x6168 x6173 x6174 x6181 x6192 x6193 x6194 x6199 x6200 x6206 x6217 x6219 x6221 x6222 x6231 x6242 x6243 x6244 x6251 x6257 x6268 x6269 x6271 x6273 x6274 x6275 x6276 x6282 x6293 x6294 x6296 x6297 x6298 x6301 x6305 x6317 x6318 x6319 x6321 x6322 x6325 x6331 x6342 x6343 x6344 x6346 x6347 x6349 x6351 x6357 x6368 x6369 x6371 x6374 x6376 x6380 x6391 x6393 x6395 x6396 x6408 x6419 x6421 x6423 x6424 x6431 x6442 x6443 x6444 x6451 x6457 x6468 x6469 x6471 x6473 x6474 x6475 x6476 x6482 x6493 x6494 x6496 x6497 x6498 x6501 x6505 x6517 x6518 x6519 x6521 x6522 x6525 x6531 x6542 x6543 x6544 x6546 x6547 x6549 x6551 x6557 x6568 x6569 x6571 x6574 x6576 x6580 x6591 x6592 x6593 x6600 x6606 x6617 x6618 x6619 x6626 x6632 x6643 x6644 x6646 x6648 x6649 x6650 x6651 x6657 x6668 x6669 x6671 x6672 x6673 x6676 x6680 x6692 x6693 x6694 x6696 x6697 x6700 x6706 x6717 x6718 x6719 x6721 x6722 x6724 x6726 x6732 x6743 x6744 x6746 x6749 x6751 x6756 x6767 x6768 x6770 x6772 x6773 x6774 x6775 x6781 x6792 x6793 x6795 x6797 x6798 x6799 x6800 x6807 x6818 x6819 x6821 x6822 x6823 x6826 x6830 x6842 x6843 x6844 x6846 x6847 x6850 x6856 x6867 x6868 x6869 x6871 x6872 x6874 x6876 x6882 x6893 x6894 x6896 x6899 x6901 x6906 x6917 x6918 x6920 x6921 x6922 x6925 x6932 x6943 x6944 x6946 x6947 x6948 x6951 x6955 x6967 x6968 x6969 x6971 x6972 x6975 x6981 x6992 x6993 x6994 x6996 x6997 x6999 x7001 x7007 x7018 x7019 x7021 x7024 x7026 x7031 x7043 x7044 x7045 x7047 x7048 x7051 x7055 x7067 x7068 x7069 x7071 x7072 x7075 x7080 x7091 x7092 x7093 x7095 x7096 x7098 x7100 x7105 x7116 x7117 x7119 x7122 x7124 x7128 x7130 x7141 x7142 x7143 x7145 x7146 x7148 x7150 x7156 x7167 x7168 x7169 x7171 x7172 x7174 x7176 x7182 x7193 x7194 x7196 x7199 x7201 x7206 x7217 x7218 x7220 x7223 x7225 x7232 x7243 x7244 x7246 x7249 x7251 x7265 x7269 x7280 x7284 x7300 x7303 x7304 x7306 x7307 x7308 x7309 x7312 x7323 x7327 x7339 x7350 x7351 x7354 x7355 x7364 x7375 x7376 x7377 x7382 x7383 x7389 x7400 x7402 x7404 x7405 x7413 x7424 x7425 x7426 x7433 x7438 x7449 x7450 x7452 x7454 x7455 x7456 x7457 x7464 x7475 x7476 x7478 x7479 x7480 x7483 x7487 x7499 x7500 x7501 x7503 x7504 x7507 x7513 x7524 x7525 x7526 x7528 x7529 x7531 x7533 x7539 x7550 x7551 x7553 x7556 x7558 x7563 x7574 x7578 x7581 x7582 x7583 x7588 x7599 x7600 x7603 x7604 x7615 x7626 x7627 x7630 x7631 x7638 x7649 x7650 x7651 x7656 x7657 x7664 x7675 x7677 x7679 x7680 x7688 x7699 x7700 x7701 x7708 x7714 x7725 x7726 x7728 x7730 x7731 x7732 x7733 x7739 x7750 x7751 x7753 x7754 x7755 x7758 x7763 x7775 x7776 x7777 x7779 x7780 x7783 x7788 x7799 x7800 x7801 x7803 x7804 x7806 x7808 x7812 x7823 x7824 x7826 x7829 x7831 x7838 x7849 x7853 x7856 x7857 x7858 x7864 x7875 x7876 x7877 x7882 x7883 x7889 x7900 x7901 x7902 x7907 x7908 x7913 x7924 x7926 x7928 x7929 x7938 x7949 x7950 x7951 x7958 x7964 x7975 x7976 x7978 x7980 x7981 x7982 x7983 x7989 x8000 x8001 x8003 x8004 x8005 x8008 x8013 x8025 x8026 x8027 x8029 x8030 x8033 x8038 x8049 x8050 x8051 x8053 x8054 x8056 x8058 x8064 x8075 x8076 x8078 x8081 x8083 x8087 x8098 x8102 x8105 x8106 x8107 x8115 x8126 x8128 x8130 x8131 x8138 x8149 x8151 x8153 x8154 x8163 x8174 x8175 x8176 x8183 x8189 x8200 x8201 x8203 x8205 x8206 x8207 x8208 x8214 x8225 x8226 x8228 x8229 x8230 x8233 x8238 x8250 x8251 x8252 x8254 x8255 x8258 x8263 x8274 x8275 x8276 x8278 x8279 x8281 x8283 x8288 x8299 x8300 x8302 x8305 x8307 x8313 x8324 x8328 x8331 x8332 x8333 x8337 x8348 x8349 x8350 x8357 x8363 x8374 x8375 x8376 x8383 x8388 x8399 x8400 x8402 x8404 x8405 x8406 x8407 x8414 x8425 x8426 x8428 x8429 x8430 x8433 x8437 x8449 x8450 x8451 x8453 x8454 x8457 x8463 x8474 x8475 x8476 x8478 x8479 x8481 x8483 x8489 x8500 x8501 x8503 x8506 x8508 x8513 x8524 x8528 x8531 x8532 x8533 x8538 x8549 x8550 x8552 x8554 x8555 x8556 x8557 x8563 x8574 x8575 x8577 x8579 x8580 x8581 x8582 x8587 x8598 x8599 x8601 x8602 x8603 x8606 x8613 x8625 x8626 x8627 x8629 x8630 x8633 x8638 x8649 x8650 x8651 x8653 x8654 x8656 x8658 x8664 x8675 x8676 x8678 x8681 x8683 x8688 x8699 x8703 x8706 x8707 x8708 x8714 x8725 x8726 x8728 x8729 x8730 x8733 x8739 x8750 x8751 x8753 x8754 x8755 x8758 x8762 x8774 x8775 x8776 x8778 x8779 x8782 x8788 x8799 x8800 x8801 x8803 x8804 x8806 x8808 x8814 x8825 x8826 x8828 x8831 x8833 x8837 x8848 x8852 x8855 x8856 x8857 x8862 x8874 x8875 x8876 x8878 x8879 x8882 x8884 x8888 x8900 x8901 x8902 x8904 x8905 x8908 x8913 x8924 x8925 x8926 x8928 x8929 x8931 x8933 x8938 x8949 x8950 x8952 x8955 x8957 x8963 x8974 x8978 x8981 x8982 x8983 x8988 x8999 x9000 x9001 x9003 x9004 x9006 x9008 x9013 x9024 x9025 x9026 x9028 x9029 x9031 x9033 x9039 x9050 x9051 x9053 x9056 x9058 x9062 x9073 x9077 x9080 x9081 x9082 x9088 x9099 x9100 x9102 x9105 x9107 x9114 x9125 x9126 x9128 x9131 x9133 x9138 x9149 x9153 x9156 x9157 x9158 x9163 x9174 x9178 x9181 x9182 x9183 x9188 x9199 x9203 x9206 x9207 x9208 x9221 x9227 x9244 x9252 x9264 x9269 x9281 x9294 x9301

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741114-1338774057/watcher-3741114-1338774057 -o /tmp/evaluation-result-3741114-1338774057/solver-3741114-1338774057 -C 1800 -W 1900 -M 15500 pbclasp instance-3741114-1338774057.opb HOME/temp 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.57 1.26 1.51 3/179 6038
/proc/meminfo: memFree=27963680/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=25740 CPUtime=0 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) R 6036 6038 5924 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 343531226 26357760 524 33554432000 4194304 4198148 140734427016336 140734427013784 252288052936 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6435 524 355 1 0 230 0

[startup+0.056195 s]
/proc/loadavg: 1.57 1.26 1.51 3/179 6038
/proc/meminfo: memFree=27963680/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.05 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) R 6036 6038 5924 0 -1 4202496 645 0 0 0 5 0 0 0 20 0 1 0 343531226 26628096 575 33554432000 4194304 4198148 140734427016336 140734427013784 252266472688 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 575 357 1 0 296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26004

[startup+0.100296 s]
/proc/loadavg: 1.57 1.26 1.51 3/179 6038
/proc/meminfo: memFree=27963680/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) R 6036 6038 5924 0 -1 4202496 645 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 575 33554432000 4194304 4198148 140734427016336 140734427013784 252266472688 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 575 357 1 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26004

[startup+0.300133 s]
/proc/loadavg: 1.57 1.26 1.51 3/179 6038
/proc/meminfo: memFree=27963680/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26004

[startup+0.700109 s]
/proc/loadavg: 1.57 1.26 1.51 3/179 6038
/proc/meminfo: memFree=27963680/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26004

[startup+1.50037 s]
/proc/loadavg: 1.57 1.26 1.51 3/184 6043
/proc/meminfo: memFree=27957820/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6041] ppid=6040 vsize=25592 CPUtime=1.39 cores=1,3,5,7
/proc/6041/stat : 6041 (pb2clasp1) R 6040 6038 5924 0 -1 4202496 611 0 0 0 139 0 0 0 20 0 1 0 343531236 26206208 511 33554432000 4194304 4198148 140736843745168 140736843744152 252288073616 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 6398 511 378 1 0 193 0
[pid=6042] ppid=6040 vsize=10524 CPUtime=0.15 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) S 6040 6038 5924 0 -1 4202496 2170 0 0 0 15 0 0 0 20 0 1 0 343531236 10776576 2078 33554432000 134512640 134847168 4286733648 4286729496 14263344 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 2631 2078 249 82 0 1872 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 96728

[startup+3.10036 s]
/proc/loadavg: 1.57 1.26 1.51 3/184 6043
/proc/meminfo: memFree=27951620/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6041] ppid=6040 vsize=25592 CPUtime=2.98 cores=1,3,5,7
/proc/6041/stat : 6041 (pb2clasp1) R 6040 6038 5924 0 -1 4202496 614 0 0 0 298 0 0 0 20 0 1 0 343531236 26206208 514 33554432000 4194304 4198148 140736843745168 140736843744152 252288447894 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 6398 514 378 1 0 193 0
[pid=6042] ppid=6040 vsize=19040 CPUtime=0.36 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) S 6040 6038 5924 0 -1 4202496 4241 0 0 0 35 1 0 0 20 0 1 0 343531236 19496960 4149 33554432000 134512640 134847168 4286733648 4286729368 14263344 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 4760 4149 249 82 0 4001 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 105244

[startup+6.30037 s]
/proc/loadavg: 1.60 1.27 1.51 3/182 6043
/proc/meminfo: memFree=27934284/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6041] ppid=6040 vsize=25592 CPUtime=6.18 cores=1,3,5,7
/proc/6041/stat : 6041 (pb2clasp1) R 6040 6038 5924 0 -1 4202496 617 0 0 0 618 0 0 0 20 0 1 0 343531236 26206208 517 33554432000 4194304 4198148 140736843745168 140736843735704 252266472688 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/6041/statm: 6398 517 378 1 0 193 0
[pid=6042] ppid=6040 vsize=35912 CPUtime=0.78 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) S 6040 6038 5924 0 -1 4202496 8369 0 0 0 76 2 0 0 20 0 1 0 343531236 36773888 8277 33554432000 134512640 134847168 4286733648 4286729480 14263344 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 8978 8277 249 82 0 8219 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 122116

[startup+12.7004 s]
/proc/loadavg: 1.71 1.30 1.52 3/182 6044
/proc/meminfo: memFree=27868676/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=96724 CPUtime=5.61 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 24400 0 0 0 555 6 0 0 20 0 1 0 343531236 99045376 23281 33554432000 134512640 134847168 4286733648 4286732288 134782435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 24181 23281 270 82 0 23422 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.72
Current children cumulated vsize (KiB) 157336

[startup+25.5005 s]
/proc/loadavg: 1.78 1.33 1.53 3/182 6044
/proc/meminfo: memFree=27869040/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=96724 CPUtime=18.41 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 24411 0 0 0 1835 6 0 0 20 0 1 0 343531236 99045376 23292 33554432000 134512640 134847168 4286733648 4286732332 134715803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 24181 23292 270 82 0 23422 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (KiB) 157336

[startup+51.1004 s]
/proc/loadavg: 1.85 1.38 1.54 3/182 6044
/proc/meminfo: memFree=27864280/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=102112 CPUtime=44.01 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 25886 0 0 0 4394 7 0 0 20 0 1 0 343531236 104562688 24564 33554432000 134512640 134847168 4286733648 4286732404 134737608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 25528 24564 270 82 0 24769 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 52.12
Current children cumulated vsize (KiB) 162724

[startup+102.307 s]
/proc/loadavg: 1.98 1.49 1.57 3/182 6246
/proc/meminfo: memFree=27836844/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=128612 CPUtime=95.21 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 32264 0 0 0 9512 9 0 0 20 0 1 0 343531236 131698688 30942 33554432000 134512640 134847168 4286733648 4286732388 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6042/statm: 32153 30942 270 82 0 31394 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 103.32
Current children cumulated vsize (KiB) 189224

[startup+162.3 s]

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

/proc/6042/statm: 102415 101037 270 82 0 101656 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1243.01
Current children cumulated vsize (KiB) 470272

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 6331
/proc/meminfo: memFree=27113456/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=410460 CPUtime=1294.9 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 102418 0 0 0 129451 39 0 0 20 0 1 0 343531236 420311040 101196 33554432000 134512640 134847168 4286733648 4286732404 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 102615 101196 270 82 0 101856 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1303.01
Current children cumulated vsize (KiB) 471072

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27072176/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=412140 CPUtime=1354.89 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 102784 0 0 0 135450 39 0 0 20 0 1 0 343531236 422031360 101562 33554432000 134512640 134847168 4286733648 4286732340 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103035 101562 270 82 0 102276 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1363
Current children cumulated vsize (KiB) 472752

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

[startup+1369.51 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27069076/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=412700 CPUtime=1362.09 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 102915 0 0 0 136170 39 0 0 20 0 1 0 343531236 422604800 101693 33554432000 134512640 134847168 4286733648 4286732288 134782914 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103175 101693 270 82 0 102416 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1370.2
Current children cumulated vsize (KiB) 473312

[startup+1375.9 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27065604/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=413180 CPUtime=1368.48 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 103015 0 0 0 136809 39 0 0 20 0 1 0 343531236 423096320 101793 33554432000 134512640 134847168 4286733648 4286732404 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103295 101793 270 82 0 102536 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1376.59
Current children cumulated vsize (KiB) 473792

[startup+1379.1 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27063620/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=413180 CPUtime=1371.68 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 103016 0 0 0 137129 39 0 0 20 0 1 0 343531236 423096320 101794 33554432000 134512640 134847168 4286733648 4286732288 134782458 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103295 101794 270 82 0 102536 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1379.79
Current children cumulated vsize (KiB) 473792

[startup+1379.9 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27063124/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=413180 CPUtime=1372.48 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 103020 0 0 0 137209 39 0 0 20 0 1 0 343531236 423096320 101798 33554432000 134512640 134847168 4286733648 4286732288 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103295 101798 270 82 0 102536 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1380.59
Current children cumulated vsize (KiB) 473792

[startup+1380.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27063124/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=413180 CPUtime=1372.88 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 103020 0 0 0 137249 39 0 0 20 0 1 0 343531236 423096320 101798 33554432000 134512640 134847168 4286733648 4286732340 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103295 101798 270 82 0 102536 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1380.99
Current children cumulated vsize (KiB) 473792

[startup+1380.51 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27062628/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=413180 CPUtime=1373.09 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 103020 0 0 0 137270 39 0 0 20 0 1 0 343531236 423096320 101798 33554432000 134512640 134847168 4286733648 4286732416 134617536 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 103295 101798 270 82 0 102536 0
[pid=6043] ppid=6040 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343531236 26071040 437 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1381.2
Current children cumulated vsize (KiB) 473792

[startup+1380.6 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 6331
/proc/meminfo: memFree=27062628/32873852 swapFree=7624/7624
[pid=6038] ppid=6036 vsize=26004 CPUtime=0.09 cores=1,3,5,7
/proc/6038/stat : 6038 (pbclasp) S 6036 6038 5924 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343531226 26628096 583 33554432000 4194304 4198148 140734427016336 140734427015224 252266472688 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6038/statm: 6501 583 364 1 0 296 0
[pid=6040] ppid=6038 vsize=9148 CPUtime=8.02 cores=1,3,5,7
/proc/6040/stat : 6040 (sh) S 6038 6038 5924 0 -1 4202496 372 629 0 0 0 0 802 0 20 0 1 0 343531236 9367552 264 33554432000 4194304 5064252 140734862106768 140734862105024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6040/statm: 2287 264 223 213 0 72 0
[pid=6042] ppid=6040 vsize=410724 CPUtime=1373.18 cores=1,3,5,7
/proc/6042/stat : 6042 (clasp-1.0) R 6040 6038 5924 0 -1 4202496 103040 0 0 0 137279 39 0 0 20 0 1 0 343531236 420581376 101204 33554432000 134512640 134847168 4286733648 4286732628 11862400 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6042/statm: 102681 101204 290 82 0 101922 0
[pid=6043] ppid=6040 vsize=25596 CPUtime=0 cores=1,3,5,7
/proc/6043/stat : 6043 (pboutclasp.pl) S 6040 6038 5924 0 -1 4202496 558 0 0 0 0 0 0 0 20 0 1 0 343531236 26210304 459 33554432000 4194304 4198148 140733784986464 140733784977000 252266472688 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6043/statm: 6399 459 351 1 0 194 0
Current children cumulated CPU time (s) 1381.29
Current children cumulated vsize (KiB) 471472

Child status: 0
Real time (s): 1380.64
CPU time (s): 1381.37
CPU user time (s): 1380.95
CPU system time (s): 0.422935
CPU usage (%): 100.053
Max. virtual memory (cumulated for all children) (KiB): 473792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1380.95
system time used= 0.422935
maximum resident set size= 407272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2081
involuntary context switches= 1738

runsolver used 2.57761 second user time and 6.64399 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-04 03:40:58
IDJOB=3741114
IDBENCH=89784
IDSOLVER=2317
FILE ID=node131/3741114-1338774057
RUNJOBID= node131-1338774007-5941
PBS_JOBID= 14636826
Free space on /tmp= 71368 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-31.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741114-1338774057/watcher-3741114-1338774057 -o /tmp/evaluation-result-3741114-1338774057/solver-3741114-1338774057 -C 1800 -W 1900 -M 15500  pbclasp instance-3741114-1338774057.opb HOME/temp

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1231d9e508dc821e38b22e6db3fd2b2f
RANDOM SEED=737206150

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27963588 kB
Buffers:          568520 kB
Cached:          3185416 kB
SwapCached:         2348 kB
Active:          1765716 kB
Inactive:        2273652 kB
Active(anon):     281380 kB
Inactive(anon):     3664 kB
Active(file):    1484336 kB
Inactive(file):  2269988 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              8632 kB
Writeback:             0 kB
AnonPages:        272468 kB
Mapped:            16260 kB
Shmem:                 0 kB
Slab:             729516 kB
SReclaimable:     171620 kB
SUnreclaim:       557896 kB
KernelStack:        1480 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     410060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741114-1338774057.opb

Free space on /tmp at the end= 71364 MiB
End job on node131 at 2012-06-04 04:03:58