Trace number 311110

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MXC 2007-02-08SAT 4.31934 4.34774

General information on the benchmark

Namerandom/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
MD5SUMc77e3fe2797ba24ba2baccdc1afa561c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.028995
Satisfiable
(Un)Satisfiability was proved
Number of variables1294
Number of clauses4026
Sum of the clauses size11273
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2805
Number of clauses of size 33221
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

4.29/4.33	c MXC attempting /tmp/evaluation/311110-1172564519/instance-311110-1172564519.cnf
4.29/4.33	c 0 assignments made, starting to guess now
4.29/4.33	c ===================================[MXC]=====================================
4.29/4.33	c | Conflicts |     ORIGINAL     |             LEARNT              | Progress |
4.29/4.33	c |           | Clauses Literals |  Limit Clauses Literals  Lit/Cl |          |
4.29/4.33	c =============================================================================
4.29/4.33	c |         0 |    3221     9663 |    1073       0       0     nan |  0.000 % |
4.29/4.33	c |       100 |    3221     9663 |    1180      98    2150    21.9 |  0.000 % |
4.29/4.33	c |       251 |    3215     9645 |    1298     247    5216    21.1 |  0.077 % |
4.29/4.33	c |       476 |    3215     9645 |    1428     471   10404    22.1 |  0.077 % |
4.29/4.33	c |       814 |    3215     9645 |    1570     809   17770    22.0 |  0.077 % |
4.29/4.33	c |      1322 |    3215     9645 |    1728    1317   29379    22.3 |  0.077 % |
4.29/4.33	c |      2081 |    3215     9645 |    1900    1212   28338    23.4 |  0.077 % |
4.29/4.33	c |      3222 |    3215     9645 |    2090    1400   31018    22.2 |  0.077 % |
4.29/4.33	c |      4930 |    3215     9645 |    2300    2061   47719    23.2 |  0.077 % |
4.29/4.33	c |      7492 |    3215     9645 |    2530    1172   23013    19.6 |  0.077 % |
4.29/4.33	c |     11337 |    3215     9645 |    2783    2490   66145    26.6 |  0.077 % |
4.29/4.33	c |     17104 |    3215     9645 |    3061    2688   58560    21.8 |  0.077 % |
4.29/4.33	c |     25753 |    3215     9645 |    3367    2155   51356    23.8 |  0.077 % |
4.29/4.33	c |     38730 |    3215     9645 |    3704    3364   81894    24.3 |  0.077 % |
4.29/4.33	c 4.310s elapsed
4.29/4.33	c restarts: 13
4.29/4.33	c decisions: 60018
4.29/4.33	c propagations: 8201284
4.29/4.33	c conflicts: 47761
4.29/4.33	s SATISFIABLE
4.29/4.33	v -1209 -1234 -1047 -630 -441 -734 -521 -409 -330 65 -106 -1173 -122 -29 -243 763 681 1210 -741 -615 921 -604 -835 -248 1083 -328 -132 -413 -570 -994 703 -830 1201 -3 -1114 72 585 -85 -924 -340 -1151 286 -247 1107 733 -1240 87 -544 -1144 -244 -872 73 -111 -99 1101 844 1065 376 598 -538 701 102 -273 -978 1167 780 227 -349 -24 -985 -1272 -958 967 51 -688 507 -405 260 -142 -407 -857 727 -566 622 -492 1278 -639 1100 1023 1012 -976 807 460 146 956 190 -653 -33 1244 1121 -716 1072 -404 -1202 -448 -1213 -682 454 -1282 -640 509 -464 918 -177 -986 -705 -875 -498 373 740 -339 1228 -125 1067 449 1039 98 874 -326 -1076 173 241 1196 651 -713 1181 592 1290 -1226 54 9 607 -1279 -320 -481 74 -1235 778 212 -291 337 -176 934 -71 -518 -657 1051 -710 57 -860 1224 -94 -104 -549 784 -420 1218 654 1001 -459 -165 -1060 -1175 543 -214 1136 34 720 1192 -865 -678 821 456 189 -536 -444 945 -774 650 1158 419 1222 19 722 1232 -210 -805 264 -336 -749 -27 520 -706 452 -926 -1080 -769 -471 1233 344 385 -1171 -205 -487 -327 -775 93 -1266 -558 -1205 744 -647 -387 666 1276 -537 1191 -836 -297 -1193 219 -798 484 -759 -510 -1081 -47 -1261 12 -745 1143 -1267 1263 899 -89 970 215 685 901 889 1140 116 467 1024 1043 -1127 529 567 -140 -943 -494 597 -1045 -739 -1257 -1163 181 357 1188 -771 345 717 -886 1236 1082 -1132 422 904 -987 -1198 548 1176 -547 -32 -628 -946 -222 282 -1190 -1009 78 1208 -632 937 -656 -450 -1229 79 191 -1004 591 -137 -788 1248 -1203 -870 1242 -193 1253 -1111 -461 274 -147 -48 -453 -1033 -1116 -457 -59 766 -858 975 1129 -292 180 -794 -923 431 398 -305 -550 437 -1061 -1077 1194 134 -819 826 -5 762 -810 440 -883 135 -439 -277 1138 1182 728 1147 -91 479 -1025 -786 163 551 965 -195 839 -369 474 49 1183 -1038 -614 -977 -403 799 608 21 -1293 -785 -1048 -64 -1179 466 224 324 -515 296 -955 -1289 451 -303 815 670 526 -843 -861 -76 554 831 1126 1032 629 -20 2 -1159 -742 -300 523 -1078 -155 634 -908 1052 418 -718 847 553 1019 663 75 302 1037 174 -913 50 605 -1097 199 -568 53 1122 -760 -941 541 -1007 -1199 -995 -1006 1260 -468 1241 68 -472 -62 841 1058 -211 -782 -1135 -563 1221 -1073 -988 557 636 737 287 213 -643 -981 -783 -915 136 95 -642 -1084 1262 -169 -1239 393 1137 -940 -131 852 907 -906 -1026 141 -208 -342 963 -17 998 101 -370 565 -888 -276 -691 -424 415 -119 -1124 811 -920 -833 572 1 230 664 -1106 -298 1211 1059 -1292 201 -933 845 -1018 545 -1155 428 -848 -100 -939 -7 -265 -1055 -644 -838 -463 612 469 689 864 1178 574 -168 -1118 -480 42 16 621 -828 708 -263 -346 662 145 294 -711 571 -882 -114 436 36 991 561 -332 542 -267 -15 1087 245 -162 -118 -675 -318 -699 325 -897 779 -655 686 -216 -560 -488 -381 316 -500 -389 -353 -796 -859 580 -1220 -1294 -1020 -221 121 -41 -533 -1017 631 959 611 756 -170 -485 -1273 -525 -256 -1214 -182 -672 334 237 185 144 -700 359 23 329 88 535 -1046 -249 -1166 -312 -203 1074 -668 206 -878 -252 1022 37 -231 677 -310 348 -1255 -638 138 -1139 315 -309 960 687 894 -1108 -593 961 916 258 236 1174 218 624 -931 171 1275 -1168 483 765 -600 -925 -1148 -1031 -476 -950 -109 113 1142 911 856 -637 751 -732 -665 -1110 891 513 -1008 562 712 416 1285 465 1215 758 1180 -394 929 -462 -186 1071 658 -773 92 -380 969 625 -290 761 -386 539 596 -1238 -412 143 729 239 595 103 128 1204 792 149 -1034 -156 -1120 962 377 754 -301 -455 -697 -70 -532 -1064 -676 438 869 -435 10 -971 -490 66 -823 -159 -220 43 356 -873 804 228 -738 77 1113 295 606 35 787 1157 -317 -851 829 564 559 26 -25 -1044 -366 633 928 209 -84 822 -360 680 1125 1177 556 949 -1207 80 254 314 105 1245 -433 -1227 -626 390 399 603 944 -69 -1258 -414 770 546 1030 434 -990 842 -803 832 1230 898 -1092 234 -620 446 1029 726 331 1269 -1249 -364 -1066 130 1002 900 -375 -1217 582 -966 -1013 -1094 402 777 -18 259 968 -1150 371 772 -1186 -661 768 -511 -383 -816 1028 -307 38 -610 -996 -1098 -223 -1288 1231 793 -421 288 947 -1187 -980 -1003 -1096 725 311 648 -601 -1160 623 1225 581 877 -1268 817 506 -11 -335 -1295 -1062 -752 589 67 430 757 -764 1070 698 -1053 -1164 1041 -167 -812 -801 -679 -13 363 -1274 646 -268 -384 -157 -1256 -1189 1291 283 -107 -880 266 -834 1115 -97 -1223 -120 -1145 -1280 -504 -528 -1035 -755 508 914 -1270 -45 1146 423 473 -391 -1277 129 802 659 -96 -1197 58 522 753 -1265 721 -207 1091 495 -253 1254 1112 -641 951 -154 1090 868 -392 1021 840 -183 -660 -790 -527 1014 1169 -246 -90 -1128 -432 -594 -767 14 -56 308 382 55 -993 28 997 -361 849 -652 609 -797 -715 200 827 -482 617 -791 938 1161 -372 530 584 673 -1079 -1103 -1063 813 -351 -1088 1286 408 -586 -575 299 -269 -280 -952 519 707 -809 -1170 -692 -723 -517 442 -148 750 -1212 477 -396 -854 -627 -108 1119 -892 255 1162 881 397 -531 1195 -127 -599 -447 -667 590 800 -350 -850 -910 -884 388 979 -1089 -1185 -347 -896 178 1123 683 60 83 -1104 -1057 -1099 133 499 -379 -151 -1095 -285 -278 619 -443 -44 -126 1040 879 -973 999 552 232 197 235 876 -188 867 281 -86 -139 1283 -319 982 -352 -150 271 912 -555 -22 -953 863 -1117 -776 587 -885 -818 238 4 -846 489 -613 262 -1172 -1264 -1243 516 -948 -736 -1206 -579 -972 -161 -30 -930 -837 -747 410 -355 -39 374 -1016 160 -1131 -333 -198 -917 -866 -1015 -820 -964 -341 -63 -475 887 -602 -984 -115 -400 -152 -501 -1237 1247 1068 -425 229 -172 -731 -534 -251 -378 -1271 -919 -724 -1036 -1216 -1184 -322 -1287 -1049 -1105 -902 -289 -123 -871 -824 1075 -540 -702 -417 -1042 491 -175 905 -304 -735 -192 -795 -616 573 -578 -932 -825 -684 957 -270 -187 -690 -746 -179 694 927 -671 1093 -225 -748 -893 -365 -618 -401 -1284 -1010 -257 -583 -233 -46 -306 -853 -1133 -502 -184 -903 -202 -992 395 -261 -855 -6 -52 -789 -284 -695 -730 -983 493 -808 -411 496 -649 -158 -368 -704 -429 -362 -1219 -486 806 -8 -588 -1085 922 -1005 -674 -1165 -895 -478 -1050 -709 -696 -272 -989 -82 -781 -204 217 -194 935 -669 -1134 -1086 -110 -1109 -242 -954 -1054 -1011 -279 -313 -890 -942 -503 -505 -909 -576 -427 -31 -338 -81 -1069 -166 -458 -354 -635 -1252 -1056 -524 -514 -1246 -1281 -497 -1102 -1130 -974 -358 -321 -577 -1250 -1141 -343 40 -293 -240 -426 -470 -164 -112 -1149 -226 -61 -196 -569 -153 -1153 -1152 -645 -445 -367 -1154 -1156 -117 -1027 -693 -743 -862 -124 -814 -323 -512 -1251 -250 -275 -1200 -406 -719 -714 -1000 -936 -1259 0

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-311110-1172564519 -o ROOT/results/node10/solver-311110-1172564519 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/311110-1172564519/mxc /tmp/evaluation/311110-1172564519/instance-311110-1172564519.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27276
/proc/meminfo: memFree=1591536/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1200 CPUtime=0
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 170 0 0 0 0 0 0 0 18 0 1 0 276406885 1228800 154 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134775504 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 300 154 57 122 0 174 0

[startup+0.107757 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27276
/proc/meminfo: memFree=1591536/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1332 CPUtime=0.1
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 216 0 0 0 10 0 0 0 18 0 1 0 276406885 1363968 200 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 333 200 59 122 0 207 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1332

[startup+0.515804 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27276
/proc/meminfo: memFree=1591536/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1604 CPUtime=0.51
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 270 0 0 0 51 0 0 0 21 0 1 0 276406885 1642496 252 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134530028 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 401 252 67 122 0 275 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1604

[startup+1.33592 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27277
/proc/meminfo: memFree=1590568/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1736 CPUtime=1.33
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 308 0 0 0 133 0 0 0 25 0 1 0 276406885 1777664 290 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 434 290 67 122 0 308 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 1736

[startup+2.97214 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27277
/proc/meminfo: memFree=1590312/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1992 CPUtime=2.96
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 369 0 0 0 296 0 0 0 25 0 1 0 276406885 2039808 351 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134531283 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 498 351 67 122 0 372 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 1992

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

[startup+3.27818 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27277
/proc/meminfo: memFree=1590312/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1992 CPUtime=3.27
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 373 0 0 0 327 0 0 0 25 0 1 0 276406885 2039808 355 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134535029 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 498 355 67 122 0 372 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 1992

[startup+4.09829 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27277
/proc/meminfo: memFree=1590184/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1992 CPUtime=4.09
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 387 0 0 0 409 0 0 0 25 0 1 0 276406885 2039808 369 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134517942 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 498 369 67 122 0 372 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 1992

[startup+4.30232 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27277
/proc/meminfo: memFree=1590184/2055920 swapFree=4192812/4192956
[pid=27276] ppid=27274 vsize=1992 CPUtime=4.29
/proc/27276/stat : 27276 (mxc) R 27274 27276 25902 0 -1 4194304 387 0 0 0 429 0 0 0 25 0 1 0 276406885 2039808 369 18446744073709551615 134512640 135013041 4294956704 18446744073709551615 134519220 0 0 4096 0 0 0 0 17 1 0 0
/proc/27276/statm: 498 369 67 122 0 372 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 1992

Child status: 10
Real time (s): 4.34774
CPU time (s): 4.31934
CPU user time (s): 4.31534
CPU system time (s): 0.003999
CPU usage (%): 99.3469
Max. virtual memory (cumulated for all children) (KiB): 1992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.31534
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389
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= 12
involuntary context switches= 9

runsolver used 0.005999 second user time and 0.013997 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue Feb 27 08:21:59 UTC 2007

IDJOB= 311110
IDBENCH= 20305
IDSOLVER= 107
FILE ID= node10/311110-1172564519

PBS_JOBID= 3971657

Free space on /tmp= 66560 MiB

SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v1295/unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
COMMAND LINE= /tmp/evaluation/311110-1172564519/mxc /tmp/evaluation/311110-1172564519/instance-311110-1172564519.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-311110-1172564519 -o ROOT/results/node10/solver-311110-1172564519 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/311110-1172564519/mxc /tmp/evaluation/311110-1172564519/instance-311110-1172564519.cnf            

META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH=  c77e3fe2797ba24ba2baccdc1afa561c

RANDOM SEED= 27543918

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1591944 kB
Buffers:         50264 kB
Cached:         299596 kB
SwapCached:          0 kB
Active:         249816 kB
Inactive:       144736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1591944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             668 kB
Writeback:           0 kB
Mapped:          63620 kB
Slab:            54904 kB
Committed_AS:  1370996 kB
PageTables:       1832 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node10 on Tue Feb 27 08:22:03 UTC 2007