Trace number 3501137

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
MUSer 2011-02-10UNSAT 529.443 529.433

General information on the benchmark

Namegmus/belov/
bj08amba5g62.aig.k20.gcnf
MD5SUM529d23eafc4b4ed14da45cde8752ae3d
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark44.9372
Satisfiable
(Un)Satisfiability was proved
Number of variables231705
Number of clauses694459
Sum of the clauses size1620403
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2462972
Number of clauses of size 3231486
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups231486
Number of clauses in the kernel (group 0)1
Least number of clauses in a group (except group 0) 3
Greatest number of clauses in a group (except group 0) 3

Solver Data 

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3501137-1308043097.gcnf ***
0.00/0.00	c 
0.79/0.89	c Parsing CPU Time: 0.836872
0.79/0.89	c Running MUSer ...
3.89/3.92	c 0.00% completed ... 
86.29/86.37	c 5.06% completed ... 
529.20/529.23	c 100.00% completed ... 
529.20/529.23	c MUS size: 17241
529.20/529.24	s UNSATISFIABLE
529.20/529.24	v 17 18 19 20 24 25 28 30 31 32 33 44 45 46 47 48 49 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 83 84 85 86 87 88 89 90 91 95 96 98 99 100 102 103 104 105 106 108 109 110 112 113 115 116 117 118 119 120 122 123 125 126 131 132 133 134 135 143 144 145 147 149 150 151 152 154 155 156 158 159 160 161 162 163 164 165 166 167 168 171 172 178 179 180 181 182 183 186 190 192 193 196 199 200 201 202 203 204 205 206 207 208 210 211 212 213 214 215 216 217 223 224 225 230 234 235 236 237 238 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 275 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 353 356 359 360 361 362 364 366 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 401 402 403 404 405 406 408 409 410 412 413 415 416 418 419 420 421 422 423 424 426 427 428 429 431 432 433 435 436 437 438 439 440 441 442 443 445 446 449 450 451 452 453 454 455 457 458 466 467 468 469 470 473 477 479 480 490 491 492 493 494 495 496 497 498 500 502 503 504 505 507 508 509 511 512 513 514 515 516 517 518 519 520 521 524 525 531 532 533 534 535 536 539 543 545 546 549 552 553 554 555 556 557 558 559 560 561 564 565 566 567 568 569 570 571 578 579 584 588 589 590 591 594 595 596 597 598 599 600 602 603 606 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 682 683 684 685 686 687 688 689 691 692 693 694 695 696 697 698 699 700 701 702 703 704 706 707 708 711 712 713 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 793 796 800 801 802 803 804 805 806 808 810 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 850 851 852 853 854 855 857 858 859 861 862 864 865 867 868 869 870 871 872 873 875 876 877 878 880 881 882 884 885 886 887 888 889 890 891 892 894 895 898 899 900 901 902 903 904 906 907 915 916 917 918 919 922 926 928 929 939 940 941 942 943 944 945 946 947 948 949 951 952 953 954 956 957 958 960 961 962 963 964 965 966 967 968 969 970 972 973 974 976 977 978 979 980 981 982 983 984 985 988 992 994 995 998 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1012 1013 1014 1015 1016 1017 1018 1019 1020 1060 1061 1062 1067 1068 1069 1070 1071 1072 1073 1074 1075 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1089 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1175 1176 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1265 1267 1268 1269 1270 1271 1272 1273 1274 1276 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1291 1293 1295 1296 1298 1300 1302 1303 1304 1307 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1333 1334 1335 1336 1337 1338 1340 1341 1342 1344 1345 1347 1348 1350 1351 1352 1353 1355 1356 1358 1359 1360 1361 1363 1364 1365 1367 1368 1369 1370 1371 1372 1373 1374 1375 1377 1378 1381 1382 1383 1384 1385 1386 1387 1389 1390 1398 1399 1400 1401 1402 1405 1409 1411 1412 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1434 1435 1436 1437 1439 1440 1441 1443 1444 1445 1446 1447 1448 1449 1450 1451 2020 2021 2022 2024 2025 2026 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2040 2044 2046 2047 2050 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2086 2087 2088 2089 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2117 2119 2121 2122 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2142 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2201 2203 2204 2205 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2231 2232 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2245 2246 2247 2250 2251 2252 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2308 2309 2311 2312 2314 2315 2316 2317 2318 2321 2323 2324 2325 2326 2327 2328 2329 2330 2332 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2347 2349 2351 2352 2354 2356 2358 2359 2360 2363 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2389 2390 2391 2392 2393 2394 2396 2397 2398 2400 2401 2403 2404 2406 2407 2408 2409 2411 2412 2414 2415 2416 2417 2419 2420 2421 2423 2424 2425 2426 2427 2428 2429 2430 2431 2433 2434 2437 2438 2439 2440 2441 2442 2443 2445 2446 2454 2455 2456 2457 2458 2461 2465 2467 2468 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2490 2491 2492 2493 2495 2496 2497 2499 2500 2501 2502 2503 2504 2505 2506 2507 5625 5626 5627 5629 5630 5631 5633 5634 5635 5636 5637 5638 5639 5640 5641 5642 5645 5649 5651 5652 5655 5658 5659 5660 5661 5662 5663 5664 5665 5666 5667 5668 5669 5670 5671 5672 5673 5674 5675 5676 5677 5678 5679 5680 5681 5682 5683 5684 5685 5686 5687 5688 5689 5691 5692 5693 5694 5701 5702 5703 5704 5705 5706 5707 5708 5709 5710 5711 5712 5713 5714 5715 5716 5717 5718 5719 5722 5724 5726 5727 5729 5730 5731 5732 5733 5734 5735 5736 5737 5738 5739 5740 5741 5742 5743 5744 5747 5749 5750 5751 5752 5753 5754 5755 5756 5757 5758 5759 5760 5761 5762 5763 5764 5765 5766 5767 5768 5769 5770 5771 5772 5773 5774 5775 5776 5777 5778 5779 5780 5806 5808 5809 5810 5817 5818 5819 5820 5821 5822 5823 5824 5825 5826 5827 5828 5829 5830 5831 5832 5833 5836 5837 5839 5840 5841 5842 5843 5844 5845 5846 5847 5848 5850 5851 5852 5855 5856 5857 5859 5860 5861 5862 5863 5864 5865 5866 5867 5868 5869 5870 5871 5872 5873 5874 5875 5876 5877 5878 5879 5880 5881 5882 5883 5884 5885 5886 5887 5888 5889 5890 5891 5892 5893 5894 5895 5896 5897 5898 5899 5900 5901 5902 5903 5904 5905 5906 5907 5908 5909 5910 5911 5913 5914 5916 5917 5919 5920 5921 5922 5923 5926 5928 5929 5930 5931 5932 5933 5934 5935 5937 5940 5941 5942 5943 5944 5945 5946 5947 5948 5949 5950 5952 5954 5956 5957 5959 5961 5963 5964 5965 5968 5970 5971 5972 5973 5974 5975 5976 5977 5978 5979 5980 5981 5982 5983 5984 5985 5986 5987 5988 5989 5990 5994 5995 5996 5997 5998 5999 6001 6002 6003 6005 6006 6008 6009 6011 6012 6013 6014 6016 6017 6019 6020 6021 6022 6024 6025 6026 6028 6029 6030 6031 6032 6033 6034 6035 6036 6038 6039 6042 6043 6044 6045 6046 6047 6048 6050 6051 6059 6060 6061 6062 6063 6066 6070 6072 6073 6083 6084 6085 6086 6087 6088 6089 6090 6091 6092 6093 6095 6096 6097 6098 6100 6101 6102 6104 6105 6106 6107 6108 6109 6110 6111 6112 17467 17468 17469 17471 17472 17473 17475 17476 17477 17478 17479 17480 17481 17482 17483 17484 17485 17486 17487 17488 17489 17490 17491 17492 17493 17494 17497 17500 17501 17502 17503 17504 17505 17506 17507 17508 17509 17510 17511 17512 17513 17514 17515 17516 17517 17518 17519 17520 17521 17522 17523 17524 17525 17526 17527 17528 17529 17530 17531 17533 17534 17535 17536 17537 17540 17542 17543 17544 17545 17546 17547 17548 17549 17550 17551 17552 17553 17554 17555 17556 17557 17558 17559 17560 17561 17564 17566 17568 17569 17571 17572 17573 17574 17575 17576 17577 17578 17579 17580 17581 17582 17583 17584 17585 17586 17589 17591 17592 17593 17594 17595 17596 17597 17598 17599 17600 17601 17602 17603 17604 17605 17606 17607 17608 17609 17610 17611 17612 17613 17614 17615 17616 17617 17618 17619 17620 17621 17622 17632 17633 17641 17642 17643 17644 17645 17646 17647 17648 17650 17651 17652 17653 17656 17658 17659 17660 17661 17662 17663 17664 17665 17666 17667 17668 17669 17670 17671 17672 17673 17674 17675 17678 17679 17681 17682 17683 17684 17685 17686 17687 17688 17689 17690 17692 17693 17694 17697 17698 17699 17701 17702 17703 17704 17705 17706 17707 17708 17709 17710 17711 17712 17713 17714 17715 17716 17717 17718 17719 17720 17721 17722 17723 17724 17725 17726 17727 17728 17729 17730 17731 17732 17733 17734 17735 17736 17737 17738 17739 17740 17741 17742 17743 17744 17745 17746 17747 17748 17749 17750 17751 17752 17753 17755 17756 17758 17759 17761 17762 17763 17764 17765 17768 17770 17771 17772 17773 17774 17775 17776 17777 17778 17779 17782 17783 17784 17785 17786 17787 17788 17789 17790 17791 17792 17794 17796 17798 17799 17801 17803 17805 17807 17810 17812 17813 17814 17815 17816 17817 17818 17819 17820 17821 17822 17823 17824 17825 17826 17827 17828 17829 17830 17831 17832 17836 17837 17838 17839 17840 17841 17843 17844 17845 17847 17848 17850 17851 17853 17854 17855 17856 17858 17859 17861 17862 17863 17864 17866 17867 17868 17870 17871 17872 17873 17874 17875 17876 17877 17878 17880 17881 17884 17885 17886 17887 17888 17889 17890 17892 17893 17901 17902 17903 17904 17905 17908 17912 17914 17915 17925 17926 17927 17928 17929 17930 17931 17932 17933 17934 17935 17937 17938 17939 17940 17942 17943 17944 17946 17947 17948 17949 17950 17951 17952 17953 17954 32860 32861 32862 32864 32865 32866 32868 32869 32870 32871 32872 32873 32874 32875 32876 32877 32880 32884 32886 32887 32890 32893 32894 32895 32896 32897 32898 32899 32900 32901 32902 32903 32904 32905 32906 32907 32908 32909 32910 32911 32912 32913 32914 32915 32916 32917 32918 32919 32920 32921 32922 32923 32924 32926 32927 32928 32929 32936 32937 32938 32939 32940 32941 32942 32943 32944 32945 32946 32947 32948 32949 32950 32951 32952 32953 32954 32957 32959 32961 32962 32964 32965 32966 32967 32968 32969 32970 32971 32972 32973 32974 32975 32976 32977 32978 32979 32982 32984 32985 32986 32987 32988 32989 32990 32991 32992 32993 32994 32995 32996 32997 32998 32999 33000 33001 33002 33003 33004 33005 33006 33007 33008 33009 33010 33011 33012 33013 33014 33015 33025 33026 33027 33033 33034 33035 33036 33037 33038 33039 33040 33041 33043 33044 33045 33052 33053 33054 33055 33056 33057 33058 33059 33060 33061 33062 33063 33064 33065 33066 33067 33068 33071 33072 33074 33075 33076 33077 33078 33079 33080 33081 33082 33083 33085 33086 33087 33090 33091 33092 33094 33095 33096 33097 33098 33099 33100 33101 33102 33103 33104 33105 33106 33107 33108 33109 33110 33111 33112 33113 33114 33115 33116 33117 33118 33119 33120 33121 33122 33123 33124 33125 33126 33127 33128 33129 33130 33131 33132 33133 33134 33135 33136 33137 33138 33139 33140 33141 33142 33143 33144 33145 33146 33148 33149 33151 33152 33154 33155 33156 33157 33158 33161 33163 33164 33165 33166 33167 33168 33169 33170 33171 33172 33175 33176 33177 33178 33179 33180 33181 33182 33183 33184 33185 33187 33189 33191 33192 33194 33196 33198 33200 33203 33205 33206 33207 33208 33209 33210 33211 33212 33213 33214 33215 33216 33217 33218 33219 33220 33221 33222 33223 33224 33225 33229 33230 33231 33232 33233 33234 33236 33237 33238 33240 33241 33243 33244 33246 33247 33248 33249 33251 33252 33254 33255 33256 33257 33259 33260 33261 33263 33264 33265 33266 33267 33268 33269 33270 33271 33273 33274 33277 33278 33279 33280 33281 33282 33283 33285 33286 33294 33295 33296 33297 33298 33301 33305 33307 33308 33318 33319 33320 33321 33322 33323 33324 33325 33326 33327 33328 33330 33331 33332 33333 33335 33336 33337 33339 33340 33341 33342 33343 33344 33345 33346 33347 51535 51536 51537 51539 51540 51541 51543 51544 51545 51546 51547 51548 51549 51550 51551 51552 51553 51554 51555 51556 51557 51558 51559 51560 51561 51562 51565 51568 51569 51570 51571 51572 51573 51574 51575 51576 51577 51578 51579 51580 51581 51582 51583 51584 51585 51586 51587 51588 51589 51590 51591 51592 51593 51594 51595 51596 51597 51598 51599 51601 51602 51603 51604 51605 51608 51610 51611 51612 51613 51614 51615 51616 51617 51618 51619 51620 51621 51622 51623 51624 51625 51626 51627 51628 51629 51632 51634 51636 51637 51639 51640 51641 51642 51643 51644 51645 51646 51647 51648 51649 51650 51651 51652 51653 51654 51657 51659 51660 51661 51662 51663 51664 51665 51666 51667 51668 51669 51670 51671 51672 51673 51674 51675 51676 51677 51678 51679 51680 51681 51682 51683 51684 51685 51686 51687 51688 51689 51690 51700 51701 51709 51710 51711 51712 51713 51714 51715 51716 51718 51719 51720 51721 51724 51726 51727 51728 51729 51730 51731 51732 51733 51734 51735 51736 51737 51738 51739 51740 51741 51742 51743 51746 51747 51749 51750 51751 51752 51753 51754 51755 51756 51757 51758 51760 51761 51762 51765 51766 51767 51769 51770 51771 51772 51773 51774 51775 51776 51777 51778 51779 51780 51781 51782 51783 51784 51785 51786 51787 51788 51789 51790 51791 51792 51793 51794 51795 51796 51797 51798 51799 51800 51801 51802 51803 51804 51805 51806 51807 51808 51809 51810 51811 51812 51813 51814 51815 51816 51817 51818 51819 51820 51821 51823 51824 51826 51827 51829 51830 51831 51832 51833 51836 51838 51839 51840 51841 51842 51843 51844 51845 51846 51847 51850 51851 51852 51853 51854 51855 51856 51857 51858 51859 51860 51862 51864 51866 51867 51869 51871 51873 51875 51878 51880 51881 51882 51883 51884 51885 51886 51887 51888 51889 51890 51891 51892 51893 51894 51895 51896 51897 51898 51899 51900 51904 51905 51906 51907 51908 51909 51911 51912 51913 51915 51916 51918 51919 51921 51922 51923 51924 51926 51927 51929 51930 51931 51932 51934 51935 51936 51938 51939 51940 51941 51942 51943 51944 51945 51946 51948 51949 51952 51953 51954 51955 51956 51957 51958 51960 51961 51969 51970 51971 51972 51973 51976 51980 51982 51983 51993 51994 51995 51996 51997 51998 51999 52000 52001 52002 52003 52005 52006 52007 52008 52010 52011 52012 52014 52015 52016 52017 52018 52019 52020 52021 52022 71489 71490 71491 71493 71494 71495 71497 71498 71499 71500 71501 71502 71503 71504 71505 71506 71509 71513 71515 71516 71519 71522 71523 71524 71525 71526 71527 71528 71529 71530 71531 71532 71533 71534 71535 71536 71537 71538 71539 71540 71541 71542 71543 71544 71545 71546 71547 71548 71549 71550 71551 71552 71553 71555 71556 71557 71558 71565 71566 71567 71568 71569 71570 71571 71572 71573 71574 71575 71576 71577 71578 71579 71580 71581 71582 71583 71586 71588 71590 71591 71593 71594 71595 71596 71597 71598 71599 71600 71601 71602 71603 71604 71605 71606 71607 71608 71611 71613 71614 71615 71616 71617 71618 71619 71620 71621 71622 71623 71624 71625 71626 71627 71628 71629 71630 71631 71632 71633 71634 71635 71636 71637 71638 71639 71640 71641 71642 71643 71644 71670 71672 71673 71674 71681 71682 71683 71684 71685 71686 71687 71688 71689 71690 71691 71692 71693 71694 71695 71696 71697 71700 71701 71703 71704 71705 71706 71707 71708 71709 71710 71711 71712 71714 71715 71716 71719 71720 71721 71723 71724 71725 71726 71727 71728 71729 71730 71731 71732 71733 71734 71735 71736 71737 71738 71739 71740 71741 71742 71743 71744 71745 71746 71747 71748 71749 71750 71751 71752 71753 71754 71755 71756 71757 71758 71759 71760 71761 71762 71763 71764 71765 71766 71767 71768 71769 71770 71771 71772 71773 71774 71775 71777 71778 71780 71781 71783 71784 71785 71786 71787 71790 71792 71793 71794 71795 71796 71797 71798 71799 71801 71804 71805 71806 71807 71808 71809 71810 71811 71812 71813 71814 71816 71818 71820 71821 71823 71825 71827 71828 71829 71832 71834 71835 71836 71837 71838 71839 71840 71841 71842 71843 71844 71845 71846 71847 71848 71849 71850 71851 71852 71853 71854 71858 71859 71860 71861 71862 71863 71865 71866 71867 71869 71870 71872 71873 71875 71876 71877 71878 71880 71881 71883 71884 71885 71886 71888 71889 71890 71892 71893 71894 71895 71896 71897 71898 71899 71900 71902 71903 71906 71907 71908 71909 71910 71911 71912 71914 71915 71923 71924 71925 71926 71927 71930 71934 71936 71937 71947 71948 71949 71950 71951 71952 71953 71954 71955 71956 71957 71959 71960 71961 71962 71964 71965 71966 71968 71969 71970 71971 71972 71973 71974 71975 71976 91443 91444 91445 91447 91448 91449 91451 91452 91453 91454 91455 91456 91457 91458 91459 91460 91463 91467 91469 91470 91473 91476 91477 91478 91479 91480 91481 91482 91483 91484 91485 91486 91487 91488 91489 91490 91491 91492 91493 91494 91495 91496 91497 91498 91499 91500 91501 91502 91503 91504 91505 91506 91507 91509 91510 91511 91512 91519 91520 91521 91522 91523 91524 91525 91526 91527 91528 91529 91530 91531 91532 91533 91534 91535 91536 91537 91540 91542 91544 91545 91547 91548 91549 91550 91551 91552 91553 91554 91555 91556 91557 91558 91559 91560 91561 91562 91565 91567 91568 91569 91570 91571 91572 91573 91574 91575 91576 91577 91578 91579 91580 91581 91582 91583 91584 91585 91586 91587 91588 91589 91590 91591 91592 91593 91594 91595 91596 91597 91598 91624 91626 91627 91628 91635 91636 91637 91638 91639 91640 91641 91642 91643 91644 91645 91646 91647 91648 91649 91650 91651 91654 91655 91657 91658 91659 91660 91661 91662 91663 91664 91665 91666 91668 91669 91670 91673 91674 91675 91677 91678 91679 91680 91681 91682 91683 91684 91685 91686 91687 91688 91689 91690 91691 91692 91693 91694 91695 91696 91697 91698 91699 91700 91701 91702 91703 91704 91705 91706 91707 91708 91709 91710 91711 91712 91713 91714 91715 91716 91717 91718 91719 91720 91721 91722 91723 91724 91725 91726 91727 91728 91729 91731 91732 91734 91735 91737 91738 91739 91740 91741 91744 91746 91747 91748 91749 91750 91751 91752 91753 91755 91758 91759 91760 91761 91762 91763 91764 91765 91766 91767 91768 91770 91772 91774 91775 91777 91779 91781 91782 91783 91786 91788 91789 91790 91791 91792 91793 91794 91795 91796 91797 91798 91799 91800 91801 91802 91803 91804 91805 91806 91807 91808 91812 91813 91814 91815 91816 91817 91819 91820 91821 91823 91824 91826 91827 91829 91830 91831 91832 91834 91835 91837 91838 91839 91840 91842 91843 91844 91846 91847 91848 91849 91850 91851 91852 91853 91854 91856 91857 91860 91861 91862 91863 91864 91865 91866 91868 91869 91877 91878 91879 91880 91881 91884 91888 91890 91891 91901 91902 91903 91904 91905 91906 91907 91908 91909 91910 91911 91913 91914 91915 91916 91918 91919 91920 91922 91923 91924 91925 91926 91927 91928 91929 91930 111397 111398 111399 111401 111402 111403 111405 111406 111407 111408 111409 111410 111411 111412 111413 111414 111417 111421 111423 111424 111427 111430 111431 111432 111433 111434 111435 111436 111437 111438 111439 111440 111441 111442 111443 111444 111445 111446 111447 111448 111449 111450 111451 111452 111453 111454 111455 111456 111457 111458 111459 111460 111461 111463 111464 111465 111466 111473 111474 111475 111476 111477 111478 111479 111480 111481 111482 111483 111484 111485 111486 111487 111488 111489 111490 111491 111494 111496 111498 111499 111501 111502 111503 111504 111505 111506 111507 111508 111509 111510 111511 111512 111513 111514 111515 111516 111519 111521 111522 111523 111524 111525 111526 111527 111528 111529 111530 111531 111532 111533 111534 111535 111536 111537 111538 111539 111540 111541 111542 111543 111544 111545 111546 111547 111548 111549 111550 111551 111552 111578 111580 111581 111582 111589 111590 111591 111592 111593 111594 111595 111596 111597 111598 111599 111600 111601 111602 111603 111604 111605 111608 111609 111611 111612 111613 111614 111615 111616 111617 111618 111619 111620 111622 111623 111624 111627 111628 111629 111631 111632 111633 111634 111635 111636 111637 111638 111639 111640 111641 111642 111643 111644 111645 111646 111647 111648 111649 111650 111651 111652 111653 111654 111655 111656 111657 111658 111659 111660 111661 111662 111663 111664 111665 111666 111667 111668 111669 111670 111671 111672 111673 111674 111675 111676 111677 111678 111679 111680 111681 111682 111683 111685 111686 111688 111689 111691 111692 111693 111694 111695 111698 111700 111701 111702 111703 111704 111705 111706 111707 111709 111712 111713 111714 111715 111716 111717 111718 111719 111720 111721 111722 111724 111726 111728 111729 111731 111733 111735 111736 111737 111740 111742 111743 111744 111745 111746 111747 111748 111749 111750 111751 111752 111753 111754 111755 111756 111757 111758 111759 111760 111761 111762 111766 111767 111768 111769 111770 111771 111773 111774 111775 111777 111778 111780 111781 111783 111784 111785 111786 111788 111789 111791 111792 111793 111794 111796 111797 111798 111800 111801 111802 111803 111804 111805 111806 111807 111808 111810 111811 111814 111815 111816 111817 111818 111819 111820 111822 111823 111831 111832 111833 111834 111835 111838 111842 111844 111845 111855 111856 111857 111858 111859 111860 111861 111862 111863 111864 111865 111867 111868 111869 111870 111872 111873 111874 111876 111877 111878 111879 111880 111881 111882 111883 111884 131351 131352 131353 131355 131356 131357 131359 131360 131361 131362 131363 131364 131365 131366 131367 131368 131371 131375 131377 131378 131381 131384 131385 131386 131387 131388 131389 131390 131391 131392 131393 131394 131395 131396 131397 131398 131399 131400 131401 131402 131403 131404 131405 131406 131407 131408 131409 131410 131411 131412 131413 131414 131415 131417 131418 131419 131420 131427 131428 131429 131430 131431 131432 131433 131434 131435 131436 131437 131438 131439 131440 131441 131442 131443 131444 131445 131448 131450 131452 131453 131455 131456 131457 131458 131459 131460 131461 131462 131463 131464 131465 131466 131467 131468 131469 131470 131473 131475 131476 131477 131478 131479 131480 131481 131482 131483 131484 131485 131486 131487 131488 131489 131490 131491 131492 131493 131494 131495 131496 131497 131498 131499 131500 131501 131502 131503 131504 131505 131506 131516 131517 131518 131524 131525 131526 131527 131528 131529 131530 131531 131532 131534 131535 131536 131543 131544 131545 131546 131547 131548 131549 131550 131551 131552 131553 131554 131555 131556 131557 131558 131559 131562 131563 131565 131566 131567 131568 131569 131570 131571 131572 131573 131574 131576 131577 131578 131581 131582 131583 131585 131586 131587 131588 131589 131590 131591 131592 131593 131594 131595 131596 131597 131598 131599 131600 131601 131602 131603 131604 131605 131606 131607 131608 131609 131610 131611 131612 131613 131614 131615 131616 131617 131618 131619 131620 131621 131622 131623 131624 131625 131626 131627 131628 131629 131630 131631 131632 131633 131634 131635 131636 131637 131639 131640 131642 131643 131645 131646 131647 131648 131649 131652 131654 131655 131656 131657 131658 131659 131660 131661 131662 131663 131666 131667 131668 131669 131670 131671 131672 131673 131674 131675 131676 131678 131680 131682 131683 131685 131687 131689 131691 131694 131696 131697 131698 131699 131700 131701 131702 131703 131704 131705 131706 131707 131708 131709 131710 131711 131712 131713 131714 131715 131716 131720 131721 131722 131723 131724 131725 131727 131728 131729 131731 131732 131734 131735 131737 131738 131739 131740 131742 131743 131745 131746 131747 131748 131750 131751 131752 131754 131755 131756 131757 131758 131759 131760 131761 131762 131764 131765 131768 131769 131770 131771 131772 131773 131774 131776 131777 131785 131786 131787 131788 131789 131792 131796 131798 131799 131809 131810 131811 131812 131813 131814 131815 131816 131817 131818 131819 131821 131822 131823 131824 131826 131827 131828 131830 131831 131832 131833 131834 131835 131836 131837 131838 151305 151306 151307 151309 151310 151311 151313 151314 151315 151316 151317 151318 151319 151320 151321 151322 151325 151329 151331 151332 151335 151338 151339 151340 151341 151342 151343 151344 151345 151346 151347 151348 151349 151350 151351 151352 151353 151354 151355 151356 151357 151358 151359 151360 151361 151362 151363 151364 151365 151366 151367 151368 151369 151371 151372 151373 151374 151381 151382 151383 151384 151385 151386 151387 151388 151389 151390 151391 151392 151393 151394 151395 151396 151397 151398 151399 151402 151404 151406 151407 151409 151410 151411 151412 151413 151414 151415 151416 151417 151418 151419 151420 151421 151422 151423 151424 151427 151429 151430 151431 151432 151433 151434 151435 151436 151437 151438 151439 151440 151441 151442 151443 151444 151445 151446 151447 151448 151449 151450 151451 151452 151453 151454 151455 151456 151457 151458 151459 151460 151486 151488 151489 151490 151497 151498 151499 151500 151501 151502 151503 151504 151505 151506 151507 151508 151509 151510 151511 151512 151513 151516 151517 151519 151520 151521 151522 151523 151524 151525 151526 151527 151528 151530 151531 151532 151535 151536 151537 151539 151540 151541 151542 151543 151544 151547 151549 151550 151551 151552 151553 151554 151555 151556 151558 151559 151562 151563 151564 151565 151566 151568 151569 151572 151573 151574 151575 151576 151577 151578 151579 151580 151581 151582 151583 151584 151585 151586 151587 151588 151589 151590 151591 151593 151594 151596 151597 151599 151600 151601 151602 151603 151606 151608 151609 151610 151611 151612 151613 151614 151615 151617 151620 151621 151622 151623 151624 151625 151626 151627 151628 151629 151630 151632 151634 151636 151637 151639 151641 151643 151644 151645 151648 151650 151651 151652 151653 151654 151655 151656 151657 151658 151659 151660 151661 151662 151663 151664 151665 151666 151667 151668 151669 151670 151674 151675 151676 151677 151678 151679 151681 151682 151683 151685 151686 151688 151689 151691 151692 151693 151694 151695 151696 151697 151699 151700 151701 151702 151704 151705 151706 151708 151709 151710 151711 151712 151713 151714 151715 151716 151718 151719 151722 151723 151724 151725 151726 151727 151728 151730 151731 151739 151740 151741 151742 151743 151746 151750 151752 151753 151763 151764 151765 151766 151767 151768 151769 151770 151771 151773 151775 151776 151777 151778 151780 151781 151782 151784 151785 151786 151787 151788 151789 151790 151791 151792 171259 171260 171261 171263 171264 171265 171267 171268 171269 171270 171271 171272 171273 171274 171275 171276 171279 171283 171285 171286 171289 171292 171293 171294 171295 171296 171297 171298 171299 171300 171301 171302 171303 171304 171305 171306 171307 171308 171309 171310 171311 171312 171313 171314 171315 171316 171317 171318 171319 171320 171321 171322 171323 171326 171327 171328 171335 171336 171337 171338 171339 171340 171341 171342 171343 171344 171345 171346 171347 171348 171349 171350 171351 171352 171353 171356 171358 171360 171361 171363 171364 171365 171366 171367 171368 171369 171370 171371 171372 171373 171374 171375 171377 171378 171381 171383 171384 171385 171386 171387 171388 171389 171390 171391 171392 171393 171394 171395 171396 171397 171398 171399 171400 171401 171402 171403 171404 171405 171406 171407 171408 171409 171443 171453 171454 171455 171456 171457 171458 171459 171460 171461 171462 171463 171464 171465 171466 171467 171469 171470 171471 171472 171473 171474 171475 171476 171477 171478 171479 171480 171481 171482 171484 171485 171486 171489 171490 171491 171493 171494 171495 171496 171497 171498 171499 171500 171501 171502 171503 171504 171505 171506 171507 171508 171509 171510 171511 171512 171513 171514 171515 171516 171517 171518 171519 171520 171521 171522 171523 171524 171525 171526 171527 171528 171529 171530 171531 171532 171533 171534 171535 171536 171537 171538 171539 171540 171541 171542 171543 171544 171545 171547 171548 171550 171551 171553 171554 171556 171557 171558 171559 171560 171561 171562 171563 171564 171565 171566 171567 171568 171571 171574 171578 171579 171580 171581 171582 171583 171584 171586 171588 171590 171591 171592 171593 171594 171595 171596 171597 171598 171599 171600 171601 171602 171603 171604 171605 171606 171607 171608 171609 171610 171611 171612 171613 171614 171615 171616 171617 171618 171619 171620 171621 171622 171623 171624 171628 171629 171630 171631 171632 171633 171635 171636 171637 171639 171642 171643 171645 171646 171647 171649 171650 171678 171679 171680 171684 171685 171693 171694 171695 171696 171697 171700 171704 171706 171707 171717 171718 171719 171720 171721 171722 171723 171724 171725 171727 171729 171730 171731 171732 171734 171735 171736 171738 171739 171740 171741 171742 171743 171744 171745 171746 191213 191216 191217 191220 191221 191222 191223 191224 191227 191230 191233 191237 191239 191240 191241 191242 191243 191244 191245 191246 191247 191248 191249 191250 191251 191252 191253 191254 191255 191256 191257 191258 191259 191260 191261 191262 191263 191264 191265 191266 191267 191268 191269 191270 191271 191272 191273 191274 191275 191276 191277 191280 191281 191282 191289 191290 191291 191292 191293 191294 191295 191296 191297 191298 191299 191300 191301 191302 191303 191304 191305 191306 191307 191310 191312 191314 191315 191317 191318 191319 191320 191321 191322 191323 191324 191325 191326 191327 191328 191329 191331 191332 191335 191337 191338 191339 191340 191341 191342 191343 191344 191345 191346 191347 191348 191349 191350 191351 191352 191353 191354 191355 191356 191357 191358 191359 191360 191361 191362 191363 191397 191407 191408 191409 191410 191411 191412 191413 191414 191415 191416 191417 191418 191419 191420 191421 191423 191424 191425 191426 191427 191428 191429 191430 191431 191432 191433 191434 191435 191436 191438 191439 191440 191443 191444 191445 191447 191448 191449 191450 191451 191452 191453 191454 191455 191456 191457 191458 191459 191460 191461 191462 191463 191464 191465 191466 191467 191468 191469 191470 191471 191472 191473 191474 191475 191476 191477 191478 191479 191480 191481 191482 191483 191484 191485 191486 191487 191488 191489 191490 191491 191492 191493 191494 191495 191496 191497 191498 191499 191501 191502 191504 191505 191507 191508 191510 191511 191512 191513 191514 191515 191516 191517 191518 191519 191520 191521 191522 191525 191528 191532 191533 191534 191535 191536 191537 191538 191540 191542 191544 191545 191546 191547 191548 191549 191550 191551 191552 191553 191554 191555 191556 191557 191558 191559 191560 191561 191562 191563 191564 191565 191566 191567 191568 191569 191570 191571 191572 191573 191574 191575 191576 191577 191578 191582 191583 191584 191585 191586 191587 191589 191590 191591 191593 191594 191596 191597 191599 191600 191601 191602 191603 191604 191605 191607 191608 191609 191610 191612 191613 191614 191616 191617 191618 191619 191620 191621 191622 191623 191624 191626 191627 191630 191631 191632 191633 191634 191635 191636 191638 191639 191647 191648 191649 191650 191651 191654 191658 191660 191661 191671 191672 191673 191674 191675 191676 191677 191678 191679 191681 191683 191684 191685 191686 191688 191689 191690 191692 191693 191694 191695 191696 191697 191698 191699 191700 211167 211168 211169 211172 211173 211179 211180 211181 211182 211183 211184 211187 211191 211193 211194 211197 211200 211201 211202 211203 211204 211205 211206 211207 211208 211209 211210 211211 211212 211213 211214 211215 211216 211217 211218 211219 211220 211221 211222 211223 211224 211225 211226 211227 211228 211229 211230 211231 211234 211235 211236 211243 211244 211245 211246 211247 211255 211256 211257 211258 211259 211261 211264 211266 211268 211269 211271 211272 211273 211274 211275 211276 211277 211278 211279 211280 211281 211282 211283 211285 211286 211289 211291 211292 211293 211294 211295 211296 211297 211298 211299 211300 211301 211302 211303 211304 211305 211306 211307 211308 211309 211310 211311 211312 211313 211314 211315 211316 211317 211368 211369 211370 211371 211372 211373 211374 211375 211377 211378 211379 211380 211381 211382 211383 211384 211385 211386 211387 211388 211389 211390 211392 211393 211394 211397 211398 211399 211401 211402 211403 211404 211405 211406 211407 211408 211409 211410 211411 211412 211413 211414 211415 211416 211417 211418 211419 211420 211421 211422 211423 211424 211425 211426 211427 211428 211429 211430 211431 211432 211433 211434 211435 211436 211437 211438 211439 211440 211441 211442 211443 211444 211445 211446 211447 211448 211449 211450 211451 211452 211453 211479 211482 211486 211487 211488 211489 211490 211491 211492 211494 211496 211498 211499 211500 211501 211502 211503 211504 211505 211506 211507 211508 211509 211510 211511 211512 211513 211514 211515 211516 211517 211518 211519 211520 211521 211522 211523 211524 211525 211526 211527 211528 211529 211530 211531 211532 211536 211538 211539 211540 211541 211542 211548 211556 211557 211558 211559 211560 211561 211562 211563 211564 211565 211566 211567 211568 211569 211570 211571 211572 211573 211574 211575 211576 211577 211578 211580 211581 211584 211585 211589 211590 211591 211615 211633 211635 211636 211637 211638 211639 211640 211641 211642 211643 211644 211645 211646 211647 211648 211649 211650 211651 211652 211653 211654 231121 231148 231163 231166 231167 231168 231169 231170 231171 231172 231173 231174 231175 231176 231177 231178 231179 231180 231181 231182 231183 231184 231185 231239 231240 231243 231245 231246 231247 231248 231249 231250 231251 231252 231253 231254 231255 231256 231257 231258 231259 231260 231261 231262 231263 231264 231265 231266 231267 231268 231269 231270 231271 231346 231347 231348 231351 231352 231353 231355 231356 231357 231358 231359 231360 231361 231362 231363 231364 231365 231366 231367 231368 231372 231375 231379 231380 231381 231382 231383 231384 231385 231386 231387 231388 231389 231390 231391 231392 231395 231398 231401 231402 231403 231404 231405 231406 231407 231428 231429 231430 231433 231436 231440 231441 231442 231443 231444 231445 231446 231448 231450 231452 231453 231485 231486 0
529.40/529.42	c Terminating MUSer ...
529.40/529.42	c CPU Time: 529.19

Verifier Data 

OK	5747

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-3501137-1308043097/watcher-3501137-1308043097 -o /tmp/evaluation-result-3501137-1308043097/solver-3501137-1308043097 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501137-1308043097.gcnf 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.00 3.98 3.47 5/184 18125
/proc/meminfo: memFree=30522508/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=4352 CPUtime=0 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 557 0 0 0 0 0 0 0 22 0 1 0 896725020 4456448 509 33554432000 4194304 5696331 140736377387648 18446744073709551615 4210406 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 1088 509 114 367 0 718 0

[startup+0.01101 s]
/proc/loadavg: 4.00 3.98 3.47 5/184 18125
/proc/meminfo: memFree=30522508/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=5604 CPUtime=0 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 882 0 0 0 0 0 0 0 22 0 1 0 896725020 5738496 834 33554432000 4194304 5696331 140736377387648 18446744073709551615 4208149 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 1401 834 114 367 0 1031 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5604

[startup+0.100973 s]
/proc/loadavg: 4.00 3.98 3.47 5/184 18125
/proc/meminfo: memFree=30522508/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=22640 CPUtime=0.09 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 5571 0 0 0 9 0 0 0 22 0 1 0 896725020 23183360 5085 33554432000 4194304 5696331 140736377387648 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 5660 5088 114 367 0 5290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22640

[startup+0.300941 s]
/proc/loadavg: 4.00 3.98 3.47 5/184 18125
/proc/meminfo: memFree=30522508/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=50276 CPUtime=0.29 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 14237 0 0 0 28 1 0 0 23 0 1 0 896725020 51482624 12017 33554432000 4194304 5696331 140736377387648 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 12569 12020 114 367 0 12199 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50276

[startup+0.700868 s]
/proc/loadavg: 4.00 3.98 3.47 5/184 18125
/proc/meminfo: memFree=30522508/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=113084 CPUtime=0.69 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 32221 0 0 0 66 3 0 0 25 0 1 0 896725020 115798016 27694 33554432000 4194304 5696331 140736377387648 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 28271 27696 114 367 0 27901 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113084

[startup+1.50073 s]
/proc/loadavg: 4.00 3.98 3.47 5/190 18137
/proc/meminfo: memFree=30303180/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=233272 CPUtime=1.49 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 63084 0 0 0 142 7 0 0 25 0 1 0 896725020 238870528 57028 33554432000 4194304 5696331 140736377387648 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 58318 57028 141 367 0 57948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 233272

[startup+3.10045 s]
/proc/loadavg: 4.00 3.98 3.47 5/190 18137
/proc/meminfo: memFree=30274412/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=180356 CPUtime=3.08 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 70012 0 0 0 300 8 0 0 25 0 1 0 896725020 184684544 44796 33554432000 4194304 5696331 140736377387648 18446744073709551615 4417472 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 45089 44796 142 367 0 44719 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 180356

[startup+6.30087 s]
/proc/loadavg: 4.00 3.98 3.47 5/190 18137
/proc/meminfo: memFree=29951020/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=543084 CPUtime=6.29 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 173863 0 0 0 609 20 0 0 25 0 1 0 896725020 556118016 135104 33554432000 4194304 5696331 140736377387648 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 135771 135104 148 367 0 135401 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 543084

[startup+12.7008 s]
/proc/loadavg: 4.07 4.00 3.48 5/190 18137
/proc/meminfo: memFree=29855804/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=546628 CPUtime=12.69 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 174717 0 0 0 1249 20 0 0 25 0 1 0 896725020 559747072 135957 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 136657 135957 149 367 0 136287 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 546628

[startup+25.5005 s]
/proc/loadavg: 4.06 4.00 3.48 5/190 18138
/proc/meminfo: memFree=29539948/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=546764 CPUtime=25.49 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 174776 0 0 0 2529 20 0 0 25 0 1 0 896725020 559886336 136016 33554432000 4194304 5696331 140736377387648 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 136691 136016 149 367 0 136321 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 546764

[startup+51.101 s]
/proc/loadavg: 4.04 4.00 3.50 5/190 18138
/proc/meminfo: memFree=29445520/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=546764 CPUtime=51.09 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 174777 0 0 0 5089 20 0 0 25 0 1 0 896725020 559886336 136017 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416890 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 136691 136017 149 367 0 136321 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 546764

[startup+102.307 s]
/proc/loadavg: 4.01 4.00 3.52 5/190 18140
/proc/meminfo: memFree=29444532/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=547248 CPUtime=102.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 174888 0 0 0 10209 21 0 0 25 0 1 0 896725020 560381952 136128 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416830 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 136812 136128 149 367 0 136442 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 547248

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.55 5/190 18141
/proc/meminfo: memFree=29440216/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=162.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 16209 21 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 5069383 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 548056

[startup+222.301 s]
/proc/loadavg: 4.03 4.01 3.58 5/190 18143
/proc/meminfo: memFree=29433476/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=222.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 22209 21 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416830 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 548056

[startup+282.301 s]
/proc/loadavg: 4.01 4.01 3.60 5/190 18181
/proc/meminfo: memFree=29867880/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=282.29 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 28208 21 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416018 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 548056

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.63 5/190 18220
/proc/meminfo: memFree=30008240/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=342.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 34208 22 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4381288 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 548056

[startup+402.301 s]
/proc/loadavg: 4.06 4.01 3.65 5/190 18222
/proc/meminfo: memFree=29602892/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=402.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 40208 22 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416874 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 548056

[startup+462.3 s]
/proc/loadavg: 4.12 4.04 3.68 5/190 18226
/proc/meminfo: memFree=29602312/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=462.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 46208 22 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416249 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 548056

[startup+522.301 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602412/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=522.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 52207 23 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4416836 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 548056

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

[startup+524.707 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602412/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=524.71 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 52448 23 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 524.71
Current children cumulated vsize (KiB) 548056

[startup+527.901 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602284/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=527.91 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 52768 23 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4381288 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 527.91
Current children cumulated vsize (KiB) 548056

[startup+528.701 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602284/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=528.7 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 52847 23 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4381132 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 528.7
Current children cumulated vsize (KiB) 548056

[startup+529.106 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602284/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=529.11 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175076 0 0 0 52888 23 0 0 25 0 1 0 896725020 561209344 136316 33554432000 4194304 5696331 140736377387648 18446744073709551615 4400289 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136316 149 367 0 136644 0
Current children cumulated CPU time (s) 529.11
Current children cumulated vsize (KiB) 548056

[startup+529.3 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602284/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=529.3 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175078 0 0 0 52907 23 0 0 25 0 1 0 896725020 561209344 136318 33554432000 4194304 5696331 140736377387648 18446744073709551615 4320188 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136318 151 367 0 136644 0
Current children cumulated CPU time (s) 529.3
Current children cumulated vsize (KiB) 548056

[startup+529.4 s]
/proc/loadavg: 4.04 4.03 3.70 5/190 18228
/proc/meminfo: memFree=29602284/32951124 swapFree=67057920/67111528
[pid=18125] ppid=18123 vsize=548056 CPUtime=529.4 cores=1,3
/proc/18125/stat : 18125 (muser) R 18123 18125 17266 0 -1 4202496 175078 0 0 0 52917 23 0 0 25 0 1 0 896725020 561209344 136318 33554432000 4194304 5696331 140736377387648 18446744073709551615 4959478 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/18125/statm: 137014 136318 151 367 0 136644 0
Current children cumulated CPU time (s) 529.4
Current children cumulated vsize (KiB) 548056

Child status: 20
Real time (s): 529.433
CPU time (s): 529.443
CPU user time (s): 529.186
CPU system time (s): 0.25796
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 548056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 529.186
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 843

runsolver used 0.833873 second user time and 2.05869 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-14 11:18:17
IDJOB=3501137
IDBENCH=90077
IDSOLVER=1998
FILE ID=node140/3501137-1308043097
RUNJOBID= node140-1308041267-17286
PBS_JOBID= 13564384
Free space on /tmp= 74000 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/gmus/belov/bj08amba5g62.aig.k20.gcnf
COMMAND LINE= muser -comp -grp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501137-1308043097/watcher-3501137-1308043097 -o /tmp/evaluation-result-3501137-1308043097/solver-3501137-1308043097 -C 1800 -W 1850 -M 7680  muser -comp -grp HOME/instance-3501137-1308043097.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 529d23eafc4b4ed14da45cde8752ae3d
RANDOM SEED=842425386

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30523176 kB
Buffers:        200444 kB
Cached:        1037700 kB
SwapCached:       6704 kB
Active:        1244188 kB
Inactive:       957732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30523176 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:           19428 kB
Writeback:           0 kB
AnonPages:      961832 kB
Mapped:          14872 kB
Slab:           157436 kB
PageTables:       6724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1180652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74004 MiB
End job on node140 at 2011-06-14 11:27:07