Trace number 2656305

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardOPT-70 42.0956 42.1104

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
MD5SUMb413d11d214e81d6bb556d5c8775428f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark6.31704
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints30912
Number of constraints which are clauses30912
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 317
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 317
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656305-1276687634.opb
0.00/0.00	c File size is 1025005 bytes.
0.09/0.17	c Highest Coefficient sum: 317
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.168 s
0.09/0.18	c Var: 2025 Constr: 30912 30912/0/0 Lit: 91566 Watch. Lit: 61824
0.09/0.18	c Obj. Vars: 135 (6.66667 % of total variables)
0.29/0.36	c Pre-processing Time: 0.358 s
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   1999    30834    91410    2    61668   10277      0      0 0.36
0.29/0.36	c Switching off lower bounding mode.
0.29/0.37	o -19
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   1999    30835    91519    2    61679   10495      1      0 0.38
0.29/0.39	o -21
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c       28   1999    30883    96475    3    61784   10495     49     71 0.39
0.39/0.40	o -50
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c       69   1999    30966    96872    3    61962   10495    132    170 0.41
0.39/0.47	c      169   1999    31138   100072    3    62311   11545    304    391 0.43
0.39/0.47	o -52
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c      283   1999    31344   103417    3    62746   10495    510    602 0.47
0.49/0.52	c      383   1999    31505   107854    3    63056   11545    671    769 0.50
0.49/0.52	o -54
0.69/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.75	c      448   1999    31623   109400    3    63324   10495    789    848 0.53
0.69/0.75	c      548   1999    31804   111942    3    63674   11545    970    989 0.55
0.69/0.75	c      799   1999    32233   121976    3    64541   12700   1399   1264 0.63
0.69/0.75	o -56
1.10/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.14	c     1139   1999    32799   140707    4    65683   10495   1965   1512 0.75
1.10/1.14	c     1239   1999    32967   144672    4    66037   11545   2133   1562 0.79
1.10/1.14	c     1490   1999    33353   159595    4    66804   12700   2519   1672 0.89
1.10/1.14	c     1965   1999    34010   195863    5    68115   13971   3176   1807 1.09
1.10/1.14	o -60
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c     2055   1999    34154   200651    5    68402   10495   3320   1802 1.14
1.59/1.60	c     2155   1999    34310   205843    5    68749   11545   3476   1823 1.18
1.59/1.60	c     2406   1999    34678   221876    6    69483   12700   3844   1852 1.30
1.59/1.60	c     2882   1999    35363   255143    7    70840   13971   4529   1889 1.52
1.59/1.60	o -64
2.59/2.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.65	c     2993   1999    35543   260325    7    71215   10495   4709   1869 1.60
2.59/2.65	c     3093   1999    35696   265165    7    71543   11545   4862   1871 1.65
2.59/2.65	c     3343   1999    36005   283771    7    72151   12700   5171   1873 1.78
2.59/2.65	c     3818   1999    36625   321435    8    73387   13971   5791   1878 2.03
2.59/2.65	c     4631   1999    37717   381886   10    75590   15369   6883   1868 2.48
2.59/2.65	o -65
3.29/3.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.34	c     4895   1999    38070   403967   10    76279   10495   7236   1847 2.65
3.29/3.34	c     4995   1999    38221   410090   10    76601   11545   7387   1832 2.73
3.29/3.34	c     5245   1999    38544   431828   11    77250   12700   7710   1827 2.87
3.29/3.34	c     5720   1999    39159   472109   12    78476   13971   8325   1784 3.21
3.29/3.34	o -70
42.08/42.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.08/42.10	c     5894   1999    39401   484783   12    78997   10495   8567   1760 3.35
42.08/42.10	c     5995   1999    39534   492356   12    79270   11545   8700   1753 3.42
42.08/42.10	c     6246   1999    39844   510961   12    79888   12700   9010   1741 3.59
42.08/42.10	c     6721   1999    40453   548444   13    81103   13971   9619   1707 3.94
42.08/42.10	c     7536   1999    41448   613315   14    83066   15369  10614   1645 4.58
42.08/42.10	c     8856   1998    43016   713463   16    86237   16906  12182   1577 5.61
42.08/42.10	c    10939   1995    45296   865443   19    90766   18597  14462   1425 7.67
42.08/42.10	c    14162   1992    48707  1084092   22    97584   20457  17873   1239 11.43
42.08/42.10	c    19099   1987    43841   833714   19    87699   22503  13007   1131 16.88
42.08/42.10	c    26605   1976    51784  1261112   24   103577   24754  20950   1030 25.83
42.08/42.10	c    37966   1949    51358   971814   18   102699   27230  20524    928 40.91
42.08/42.10	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 x14 -x15 x16 -x17 x18 x19 x20 -x21 -x22 -x23 x24 x25 -x26 x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 
42.08/42.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
42.08/42.10	c   37    38958   2550    57805    52365   988940  21531    925 42.09
42.08/42.10	c Objective: -70
42.08/42.10	s OPTIMUM FOUND
42.08/42.10	c Total time: 42.09 s

Verifier Data 

OK	-70

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656305-1276687634/watcher-2656305-1276687634 -o /tmp/evaluation-result-2656305-1276687634/solver-2656305-1276687634 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656305-1276687634.opb 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12433
/proc/meminfo: memFree=1732124/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=11936 CPUtime=0
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 349 0 0 0 0 0 0 0 25 0 1 0 44364959 12222464 267 1992294400 134512640 137138936 4291358496 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 2984 270 175 642 0 2089 0

[startup+0.092126 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12433
/proc/meminfo: memFree=1732124/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=13716 CPUtime=0.08
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 914 0 0 0 8 0 0 0 25 0 1 0 44364959 14045184 832 1992294400 134512640 137138936 4291358496 18446744073709551615 136297650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 3429 833 300 642 0 2534 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13716

[startup+0.101127 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12433
/proc/meminfo: memFree=1732124/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=13852 CPUtime=0.09
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 973 0 0 0 9 0 0 0 25 0 1 0 44364959 14184448 891 1992294400 134512640 137138936 4291358496 18446744073709551615 136493754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 3463 891 313 642 0 2568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13852

[startup+0.301166 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12433
/proc/meminfo: memFree=1732124/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=17416 CPUtime=0.29
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 2228 0 0 0 27 2 0 0 25 0 1 0 44364959 17833984 1895 1992294400 134512640 137138936 4291358496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 4354 1895 185 642 0 3710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17416

[startup+0.701244 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12433
/proc/meminfo: memFree=1732124/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=17288 CPUtime=0.69
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 2560 0 0 0 64 5 0 0 25 0 1 0 44364959 17702912 1891 1992294400 134512640 137138936 4291358496 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 4322 1891 192 642 0 3678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17288

[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12434
/proc/meminfo: memFree=1725172/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=18492 CPUtime=1.49
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 2843 0 0 0 144 5 0 0 25 0 1 0 44364959 18935808 2174 1992294400 134512640 137138936 4291358496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 4623 2174 192 642 0 3979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18492

[startup+3.10071 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12434
/proc/meminfo: memFree=1722692/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=21552 CPUtime=3.09
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 3607 0 0 0 303 6 0 0 25 0 1 0 44364959 22069248 2938 1992294400 134512640 137138936 4291358496 18446744073709551615 134542883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 5388 2938 192 642 0 4744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21552

[startup+6.30134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12434
/proc/meminfo: memFree=1717112/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=26028 CPUtime=6.29
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 4734 0 0 0 621 8 0 0 25 0 1 0 44364959 26652672 4065 1992294400 134512640 137138936 4291358496 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 6507 4065 192 642 0 5863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26028

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12434
/proc/meminfo: memFree=1711036/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=31556 CPUtime=12.68
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 6136 0 0 0 1258 10 0 0 25 0 1 0 44364959 32313344 5467 1992294400 134512640 137138936 4291358496 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 7889 5467 192 642 0 7245 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31556

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12434
/proc/meminfo: memFree=1708928/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=33076 CPUtime=25.48
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 6510 0 0 0 2534 14 0 0 25 0 1 0 44364959 33869824 5841 1992294400 134512640 137138936 4291358496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 8269 5841 192 642 0 7625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33076

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

[startup+31.9083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12436
/proc/meminfo: memFree=1705828/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=36216 CPUtime=31.88
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 7293 0 0 0 3172 16 0 0 25 0 1 0 44364959 37085184 6624 1992294400 134512640 137138936 4291358496 18446744073709551615 134540707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 9054 6624 192 642 0 8410 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 36216

[startup+38.3006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12436
/proc/meminfo: memFree=1705828/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=36216 CPUtime=38.28
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 7293 0 0 0 3810 18 0 0 25 0 1 0 44364959 37085184 6624 1992294400 134512640 137138936 4291358496 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 9054 6624 192 642 0 8410 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 36216

[startup+39.9009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12436
/proc/meminfo: memFree=1705828/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=36216 CPUtime=39.88
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 7293 0 0 0 3970 18 0 0 25 0 1 0 44364959 37085184 6624 1992294400 134512640 137138936 4291358496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 9054 6624 192 642 0 8410 0
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (KiB) 36216

[startup+41.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12436
/proc/meminfo: memFree=1705828/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=36216 CPUtime=41.47
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 7293 0 0 0 4129 18 0 0 25 0 1 0 44364959 37085184 6624 1992294400 134512640 137138936 4291358496 18446744073709551615 136506274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 9054 6624 192 642 0 8410 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 36216

[startup+41.9013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12436
/proc/meminfo: memFree=1705828/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=36216 CPUtime=41.88
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 7293 0 0 0 4169 19 0 0 25 0 1 0 44364959 37085184 6624 1992294400 134512640 137138936 4291358496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 9054 6624 192 642 0 8410 0
Current children cumulated CPU time (s) 41.88
Current children cumulated vsize (KiB) 36216

[startup+42.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12436
/proc/meminfo: memFree=1705828/2059040 swapFree=4136232/4192956
[pid=12433] ppid=12431 vsize=36216 CPUtime=42.08
/proc/12433/stat : 12433 (bsolo_pb10) R 12431 12433 11671 0 -1 4202496 7293 0 0 0 4189 19 0 0 25 0 1 0 44364959 37085184 6624 1992294400 134512640 137138936 4291358496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12433/statm: 9054 6624 192 642 0 8410 0
Current children cumulated CPU time (s) 42.08
Current children cumulated vsize (KiB) 36216

Child status: 0
Real time (s): 42.1104
CPU time (s): 42.0956
CPU user time (s): 41.8976
CPU system time (s): 0.197969
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 36312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8976
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7294
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= 2
involuntary context switches= 88

runsolver used 0.068989 second user time and 0.209968 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-16 13:27:14
IDJOB=2656305
IDBENCH=71840
IDSOLVER=1162
FILE ID=node011/2656305-1276687634
PBS_JOBID= 11172563
Free space on /tmp= 62360 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656305-1276687634/watcher-2656305-1276687634 -o /tmp/evaluation-result-2656305-1276687634/solver-2656305-1276687634 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656305-1276687634.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f
RANDOM SEED=107637009

node011.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1732528 kB
Buffers:        127344 kB
Cached:         118680 kB
SwapCached:      10072 kB
Active:         109000 kB
Inactive:       150208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1732528 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            4980 kB
Writeback:           0 kB
AnonPages:       11624 kB
Mapped:           9324 kB
Slab:            45512 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62356 MiB
End job on node011 at 2010-06-16 13:27:56