Trace number 2656304

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-75 34.0588 34.0667

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-10000opt.opb
MD5SUM3c1368de4464ff81756c1b99158c803c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-75
Best CPU time to get the best result obtained on this benchmark5.76412
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 constraints29711
Number of constraints which are clauses29711
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 356
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 356
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-2656304-1276687497.opb
0.00/0.00	c File size is 982467 bytes.
0.10/0.16	c Highest Coefficient sum: 356
0.10/0.16	c Parsing was ok!!
0.10/0.16	c Total parsing time: 0.163 s
0.10/0.17	c Var: 2025 Constr: 29711 29711/0/0 Lit: 87963 Watch. Lit: 59422
0.10/0.17	c Obj. Vars: 135 (6.66667 % of total variables)
0.29/0.34	c Pre-processing Time: 0.343 s
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   1995    29621    87783    2    59242    9873      0      0 0.34
0.29/0.34	c Switching off lower bounding mode.
0.29/0.36	o -23
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   1995    29622    87888    2    59251   10083      1      0 0.36
0.29/0.36	o -27
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        2   1995    29626    88289    2    59267   10083      5      5 0.37
0.29/0.38	o -42
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c       44   1995    29710    88697    2    59450   10083     89    115 0.38
0.29/0.38	o -46
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c       47   1995    29717    88824    2    59480   10083     96    121 0.39
0.29/0.39	o -51
0.29/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.40	c       49   1995    29722    88945    2    59510   10083    101    124 0.39
0.29/0.40	o -55
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c       50   1995    29725    89058    2    59536   10083    104    125 0.40
0.39/0.44	c      150   1995    29907    92642    3    59886   11092    286    352 0.42
0.39/0.44	o -56
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c      201   1995    30006    93765    3    60099   10083    385    450 0.45
0.39/0.47	o -57
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c      258   1995    30109    95349    3    60329   10083    488    547 0.47
0.79/0.81	c      358   1995    30285    97559    3    60675   11092    664    721 0.50
0.79/0.81	c      608   1995    30701   108264    3    61537   12202   1080   1072 0.57
0.79/0.81	c     1083   1995    31453   133230    4    63026   13423   1832   1502 0.72
0.79/0.81	o -58
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c     1290   1995    31744   146730    4    63636   10083   2123   1592 0.81
0.79/0.82	o -66
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c     1300   1995    31765   146907    4    63694   10083   2144   1579 0.82
0.89/0.98	c     1400   1995    31935   150732    4    64034   11092   2314   1631 0.86
0.89/0.98	c     1650   1995    32320   165369    5    64803   12202   2699   1724 0.96
0.89/0.98	o -68
0.89/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/1.00	c     1671   1995    32357   166129    5    64894   10083   2736   1701 0.98
0.89/1.00	o -71
3.69/3.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.79	c     1705   1995    32417   167793    5    65028   10083   2796   1693 1.01
3.69/3.79	c     1805   1995    32574   172844    5    65362   11092   2953   1719 1.05
3.69/3.79	c     2056   1995    32897   192437    5    65996   12202   3276   1766 1.16
3.69/3.79	c     2532   1995    33599   217992    6    67410   13423   3978   1848 1.37
3.69/3.79	c     3345   1995    34649   275836    7    69485   14766   5028   1882 1.78
3.69/3.79	c     4665   1995    36340   378620   10    72869   16243   6719   1905 2.45
3.69/3.79	c     6746   1994    38904   533397   13    78002   17868   9283   1789 3.77
3.69/3.79	o -72
3.89/3.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.89/3.96	c     6751   1994    38913   533675   13    78043   10081   9292   1779 3.79
3.89/3.96	c     6851   1994    39049   540072   13    78331   11090   9428   1766 3.88
3.89/3.96	o -73
4.59/4.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.60	c     6925   1994    39148   544536   13    78520   10081   9527   1746 3.96
4.59/4.60	c     7025   1994    39279   551109   14    78822   11090   9658   1737 4.04
4.59/4.60	c     7276   1994    39602   568663   14    79472   12200   9981   1701 4.28
4.59/4.60	o -75
33.99/34.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.99/34.06	c     7674   1993    40081   597479   14    80438   10079  10460   1665 4.61
33.99/34.06	c     7774   1993    34926   358870   10    69876   11087   5305   1643 4.73
33.99/34.06	c     8024   1993    35241   373955   10    70512   12196   5620   1647 4.87
33.99/34.06	c     8500   1993    35784   412080   11    71592   13416   6163   1663 5.11
33.99/34.06	c     9313   1993    36802   473531   12    73634   14758   7181   1663 5.60
33.99/34.06	c    10633   1993    38453   571697   14    76933   16234   8832   1637 6.49
33.99/34.06	c    12715   1991    40854   720625   17    81736   17858  11233   1554 8.18
33.99/34.06	c    15938   1988    44316   932885   21    88656   19644  14695   1415 11.26
33.99/34.06	c    20874   1982    39897   615390   15    79807   21609  10276   1181 17.67
33.99/34.06	c    28380   1968    47722  1010995   21    95447   23770  18101   1117 25.40
33.99/34.06	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 
33.99/34.06	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
33.99/34.06	c   39    34191   2309    59790    42022   521624  12401   1004 34.05
33.99/34.06	c Objective: -75
33.99/34.06	s OPTIMUM FOUND
33.99/34.06	c Total time: 34.054 s

Verifier Data 

OK	-75

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656304-1276687497/watcher-2656304-1276687497 -o /tmp/evaluation-result-2656304-1276687497/solver-2656304-1276687497 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656304-1276687497.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 3/106 7812
/proc/meminfo: memFree=1794028/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=11892 CPUtime=0
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 352 0 0 0 0 0 0 0 23 0 1 0 44353614 12177408 271 1992294400 134512640 137138936 4294615920 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 2973 271 175 642 0 2089 0

[startup+0.0230479 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7812
/proc/meminfo: memFree=1794028/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=12172 CPUtime=0.02
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 456 0 0 0 2 0 0 0 23 0 1 0 44353614 12464128 375 1992294400 134512640 137138936 4294615920 18446744073709551615 134531476 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 3043 375 197 642 0 2159 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12172

[startup+0.101055 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7812
/proc/meminfo: memFree=1794028/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=13808 CPUtime=0.1
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 965 0 0 0 10 0 0 0 25 0 1 0 44353614 14139392 884 1992294400 134512640 137138936 4294615920 18446744073709551615 136505155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 3452 884 311 642 0 2568 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13808

[startup+0.30107 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7812
/proc/meminfo: memFree=1794028/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=17156 CPUtime=0.29
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 2153 0 0 0 28 1 0 0 25 0 1 0 44353614 17567744 1832 1992294400 134512640 137138936 4294615920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 4289 1832 185 642 0 3645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17156

[startup+0.701104 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7812
/proc/meminfo: memFree=1794028/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=17100 CPUtime=0.69
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 2469 0 0 0 67 2 0 0 25 0 1 0 44353614 17510400 1828 1992294400 134512640 137138936 4294615920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 4275 1828 192 642 0 3631 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17100

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1787324/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=18072 CPUtime=1.49
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 2727 0 0 0 146 3 0 0 25 0 1 0 44353614 18505728 2086 1992294400 134512640 137138936 4294615920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 4518 2086 192 642 0 3874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18072

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1784844/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=21276 CPUtime=3.09
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 3524 0 0 0 305 4 0 0 25 0 1 0 44353614 21786624 2883 1992294400 134512640 137138936 4294615920 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 5319 2883 192 642 0 4675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21276

[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1780628/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=23424 CPUtime=6.29
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 4071 0 0 0 623 6 0 0 25 0 1 0 44353614 23986176 3430 1992294400 134512640 137138936 4294615920 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 5856 3430 192 642 0 5212 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23424

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1775420/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=29264 CPUtime=12.69
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 5527 0 0 0 1261 8 0 0 25 0 1 0 44353614 29966336 4886 1992294400 134512640 137138936 4294615920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 7316 4887 192 642 0 6672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29264

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771700/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32420 CPUtime=25.48
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6311 0 0 0 2537 11 0 0 25 0 1 0 44353614 33198080 5670 1992294400 134512640 137138936 4294615920 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8105 5670 192 642 0 7461 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32420

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

[startup+28.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771700/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32424 CPUtime=28.68
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6311 0 0 0 2856 12 0 0 25 0 1 0 44353614 33202176 5670 1992294400 134512640 137138936 4294615920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8106 5670 192 642 0 7462 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 32424

[startup+31.9086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771700/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32432 CPUtime=31.89
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6314 0 0 0 3177 12 0 0 25 0 1 0 44353614 33210368 5673 1992294400 134512640 137138936 4294615920 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8108 5673 192 642 0 7464 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 32432

[startup+32.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771700/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32432 CPUtime=32.69
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6316 0 0 0 3256 13 0 0 25 0 1 0 44353614 33210368 5675 1992294400 134512640 137138936 4294615920 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8108 5675 192 642 0 7464 0
Current children cumulated CPU time (s) 32.69
Current children cumulated vsize (KiB) 32432

[startup+33.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771576/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32680 CPUtime=33.48
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6374 0 0 0 3335 13 0 0 25 0 1 0 44353614 33464320 5733 1992294400 134512640 137138936 4294615920 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8170 5733 192 642 0 7526 0
Current children cumulated CPU time (s) 33.48
Current children cumulated vsize (KiB) 32680

[startup+33.9008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771576/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32752 CPUtime=33.88
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6398 0 0 0 3375 13 0 0 25 0 1 0 44353614 33538048 5757 1992294400 134512640 137138936 4294615920 18446744073709551615 136500760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8188 5757 192 642 0 7544 0
Current children cumulated CPU time (s) 33.88
Current children cumulated vsize (KiB) 32752

[startup+34.0008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7813
/proc/meminfo: memFree=1771328/2059040 swapFree=4140244/4192956
[pid=7812] ppid=7810 vsize=32752 CPUtime=33.99
/proc/7812/stat : 7812 (bsolo_pb10) R 7810 7812 7376 0 -1 4202496 6398 0 0 0 3386 13 0 0 25 0 1 0 44353614 33538048 5757 1992294400 134512640 137138936 4294615920 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7812/statm: 8188 5757 192 642 0 7544 0
Current children cumulated CPU time (s) 33.99
Current children cumulated vsize (KiB) 32752

Child status: 0
Real time (s): 34.0667
CPU time (s): 34.0588
CPU user time (s): 33.9228
CPU system time (s): 0.135979
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 32752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.9228
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6399
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= 1
involuntary context switches= 105

runsolver used 0.051992 second user time and 0.180972 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-16 13:24:57
IDJOB=2656304
IDBENCH=71839
IDSOLVER=1162
FILE ID=node003/2656304-1276687497
PBS_JOBID= 11172574
Free space on /tmp= 62580 MiB

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

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

MD5SUM BENCH= 3c1368de4464ff81756c1b99158c803c
RANDOM SEED=866713862

node003.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.251
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.50
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.251
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:       1794556 kB
Buffers:         68756 kB
Cached:         114232 kB
SwapCached:       6096 kB
Active:         107116 kB
Inactive:        89164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1794556 kB
SwapTotal:     4192956 kB
SwapFree:      4140244 kB
Dirty:            4872 kB
Writeback:           0 kB
AnonPages:       11668 kB
Mapped:          13112 kB
Slab:            46340 kB
PageTables:       3892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183352 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= 62576 MiB
End job on node003 at 2010-06-16 13:25:31