Trace number 3281720

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2UNSAT 13.37 13.3708

General information on the benchmark

Namemanol-pipe-c6bidw_i.cnf
MD5SUM8aeb1eb6b7bf22d54183762fb5b6410c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark13.37
Satisfiable
(Un)Satisfiability was proved
Number of variables96089
Number of clauses283993
Sum of the clauses size662649
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2189328
Number of clauses of size 394664
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.12	c ==============================================================================
0.00/0.12	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.12	c ==============================================================================
0.00/0.12	c |         0 |  283992   662648 |   85197       0        0     nan |  0.000 % |
0.00/0.85	c |         0 |  123658   481466 |      --       0       --      -- |     --   | -160332/-181177
0.00/0.85	c ==============================================================================
0.00/0.85	c Result  :   #vars: 16584   #clauses: 123658   #literals: 481466
0.00/0.85	c CPU time:   0.815875 s
0.00/0.85	c ==============================================================================
0.00/0.94	c
0.00/0.94	c Starting glucose
0.00/0.94	c
2.37/2.48	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
2.37/2.48	c WARNING: for repeatability, setting FPU to use double precision
2.37/2.48	c ============================[ Problem Statistics ]=============================
2.37/2.48	c |                                                                             |
2.37/2.48	c |  Number of variables:         16584                                         |
2.37/2.48	c |  Number of clauses:          123658                                         |
2.37/2.48	c |  Parse time:                   0.03 s                                       |
2.37/2.48	c |                                                                             |
2.37/2.48	c ============================[ Search Statistics ]==============================
2.37/2.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.37/2.48	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.37/2.48	c ===============================================================================
2.37/2.48	c |       207 |   16525   123658   481466 |        1      203     14 |  0.356 % |
2.37/2.48	c |       614 |   16447   123658   481466 |        1      605     16 |  0.826 % |
2.37/2.48	c |      2245 |   16447   123658   481466 |        1     2236     16 |  0.826 % |
2.37/2.48	c |      4965 |   16398   120946   469293 |        1     2931     11 |  1.122 % |
2.37/2.48	c |      5100 |   16398   120946   469293 |        1     3066     12 |  1.122 % |
2.37/2.48	c |      5200 |   16398   120946   469293 |        1     3166     12 |  1.122 % |
2.37/2.48	c |      5928 |   16398   120946   469293 |        1     3894     13 |  1.122 % |
2.37/2.48	c |      6029 |   16398   120946   469293 |        1     3995     13 |  1.122 % |
2.37/2.48	c |      7096 |   16398   120946   469293 |        1     5062     14 |  1.122 % |
2.37/2.48	c |      7491 |   16369   120946   469293 |        1     5454     14 |  1.296 % |
2.37/2.48	c |      9467 |   16369   120634   468022 |        1     7428     15 |  1.296 % |
2.37/2.48	c |     13957 |   16369   120634   468022 |        1     7644     12 |  1.296 % |
2.37/2.48	c |     15985 |   16369   120634   468022 |        1     9672     12 |  1.296 % |
2.37/2.48	c |     16833 |   16369   120634   468022 |        1    10520     12 |  1.296 % |
2.37/2.48	c |     21621 |   16365   120620   467952 |        1     8575      9 |  1.321 % |
2.37/2.48	c |     22913 |   16362   120620   467952 |        1     9866     10 |  1.339 % |
2.37/2.48	c |     24365 |   16362   120620   467952 |        1    11318     10 |  1.339 % |
2.37/2.48	c |     24548 |   16362   120543   467643 |        1    11501     10 |  1.339 % |
2.37/2.48	c |     24998 |   16315   120543   467643 |        1    11950     10 |  1.622 % |
2.37/2.48	c |     25441 |   16313   120543   467643 |        1    12392     10 |  1.634 % |
2.37/2.48	c |     26145 |   16307   120543   467643 |        1    13095     11 |  1.670 % |
2.37/2.48	c |     26247 |   16307   120543   467643 |        1    13197     11 |  1.670 % |
2.37/2.48	c |     27231 |   16307   120543   467643 |        1    14181     11 |  1.670 % |
2.37/2.48	c |     27351 |   16307   120543   467643 |        1    14301     11 |  1.670 % |
2.37/2.48	c |     28301 |   16307   120543   467643 |        1    15251     11 |  1.670 % |
2.37/2.48	c |     28691 |   16307   119854   464345 |        1    15606     12 |  1.670 % |
2.37/2.48	c |     35298 |   16307   119854   464345 |        1    12974     10 |  1.670 % |
2.37/2.48	c |     35559 |   16307   119854   464345 |        1    13235     10 |  1.670 % |
2.37/2.48	c |     36414 |   16307   119854   464345 |        1    14090     10 |  1.670 % |
2.37/2.48	c |     36562 |   16307   119854   464345 |        1    14238     10 |  1.670 % |
2.37/2.48	c |     36867 |   16307   119854   464345 |        1    14543     11 |  1.670 % |
2.37/2.48	c |     39228 |   16307   119854   464345 |        1    16904     11 |  1.670 % |
2.37/2.48	c |     40022 |   16307   119854   464345 |        1    17698     11 |  1.670 % |
2.37/2.48	c |     40646 |   16307   119854   464345 |        1    18322     12 |  1.670 % |
2.37/2.48	c |     42816 |   16307   119854   464345 |        1    20492     12 |  1.670 % |
2.37/2.48	c |     44227 |   16307   119854   464345 |        1    21903     12 |  1.670 % |
2.37/2.48	c |     44450 |   16307   119854   464345 |        1    22126     12 |  1.670 % |
2.37/2.48	c |     44844 |   16307   119854   464345 |        1    22520     12 |  1.670 % |
2.37/2.48	c |     47229 |   16307   119854   464345 |        1    13104      9 |  1.670 % |
4.77/4.85	c |     50146 |   16307   119854   464345 |        1    16021     10 |  1.670 % |
4.77/4.85	c |     50875 |   16307   119854   464345 |        1    16750     10 |  1.670 % |
4.77/4.85	c |     50976 |   16307   119854   464345 |        1    16851     10 |  1.670 % |
4.77/4.85	c |     51642 |   16307   119854   464345 |        1    17517     11 |  1.670 % |
4.77/4.85	c |     51959 |   16307   119854   464345 |        1    17834     11 |  1.670 % |
4.77/4.85	c |     52485 |   16307   119854   464345 |        1    18360     11 |  1.670 % |
4.77/4.85	c |     55516 |   16307   119854   464345 |        1    21391     12 |  1.670 % |
4.77/4.85	c |     55674 |   16307   119854   464345 |        1    21549     12 |  1.670 % |
4.77/4.85	c |     56729 |   16307   119854   464345 |        1    22604     12 |  1.670 % |
4.77/4.85	c |     56830 |   16307   119854   464345 |        1    22705     12 |  1.670 % |
4.77/4.85	c |     60478 |   16307   119854   464345 |        1    26353     13 |  1.670 % |
4.77/4.85	c |     60676 |   16307   119854   464345 |        1    26551     13 |  1.670 % |
4.77/4.85	c |     62101 |   16307   119854   464345 |        1    27976     13 |  1.670 % |
4.77/4.85	c |     63591 |   16307   119854   464345 |        1    15060      9 |  1.670 % |
4.77/4.85	c |     64449 |   16307   119854   464345 |        1    15918     10 |  1.670 % |
4.77/4.85	c |     64550 |   16307   119854   464345 |        1    16019     10 |  1.670 % |
4.77/4.85	c |     67529 |   16307   119854   464345 |        1    18998     11 |  1.670 % |
4.77/4.85	c |     68113 |   16307   119854   464345 |        1    19582     11 |  1.670 % |
4.77/4.85	c |     68635 |   16306   119841   464306 |        1    20103     11 |  1.676 % |
4.77/4.85	c |     69255 |   16306   119841   464306 |        1    20723     11 |  1.676 % |
4.77/4.85	c |     70637 |   16306   119841   464306 |        1    22105     12 |  1.676 % |
4.77/4.85	c |     70768 |   16306   119841   464306 |        1    22236     12 |  1.676 % |
4.77/4.85	c |     71191 |   16306   119841   464306 |        1    22659     12 |  1.676 % |
4.77/4.85	c |     71594 |   16306   119841   464306 |        1    23062     12 |  1.676 % |
4.77/4.85	c |     71694 |   16306   119841   464306 |        1    23162     12 |  1.676 % |
4.77/4.85	c |     71871 |   16306   119841   464306 |        1    23339     12 |  1.676 % |
4.77/4.85	c |     72175 |   16306   119841   464306 |        1    23643     12 |  1.676 % |
4.77/4.85	c |     72276 |   16306   119841   464306 |        1    23744     13 |  1.676 % |
4.77/4.85	c |     74595 |   16306   119841   464306 |        1    26063     13 |  1.676 % |
4.77/4.85	c |     74875 |   16306   119841   464306 |        1    26343     13 |  1.676 % |
4.77/4.85	c |     76622 |   16299   119769   463974 |        1    28087     13 |  1.719 % |
4.77/4.85	c |     77332 |   16299   119769   463974 |        1    28797     13 |  1.719 % |
4.77/4.85	c |     78930 |   16299   119769   463974 |        1    30395     13 |  1.719 % |
4.77/4.85	c |     79631 |   16298   119769   463974 |        1    31095     13 |  1.725 % |
4.77/4.85	c |     83648 |   16298   119769   463974 |        1    18087     10 |  1.725 % |
4.77/4.85	c |     83749 |   16298   119769   463974 |        1    18188     10 |  1.725 % |
4.77/4.85	c |     86163 |   16298   119769   463974 |        1    20602     11 |  1.725 % |
4.77/4.85	c |     86398 |   16298   119752   463892 |        1    20837     11 |  1.725 % |
4.77/4.85	c |     87187 |   16298   119752   463892 |        1    21626     11 |  1.725 % |
4.77/4.85	c |     88299 |   16298   119752   463892 |        1    22738     11 |  1.725 % |
4.77/4.85	c |     94523 |   16298   119752   463892 |        1    28962     13 |  1.725 % |
4.77/4.85	c |     94623 |   16298   119752   463892 |        1    29062     13 |  1.725 % |
4.77/4.85	c |     94833 |   16298   119752   463892 |        1    29272     13 |  1.725 % |
4.77/4.85	c |     96604 |   16287   119616   463180 |        1    31041     14 |  1.791 % |
4.77/4.85	c |     99065 |   16287   119616   463180 |        1    33502     14 |  1.791 % |
4.77/4.85	c |    104422 |   16287   119616   463180 |        1    38859     15 |  1.791 % |
4.77/4.85	c |    106124 |   16287   119616   463180 |        1    20994     10 |  1.791 % |
4.77/4.85	c |    109245 |   16287   119616   463180 |        1    24115     12 |  1.791 % |
4.77/4.85	c |    111220 |   16287   119616   463180 |        1    26090     12 |  1.791 % |
4.77/4.85	c |    113360 |   16109   117114   451194 |        1    26977     12 |  2.864 % |
6.68/6.80	c |    113460 |   16109   117114   451194 |        1    27077     12 |  2.864 % |
6.68/6.80	c |    115413 |   16109   117114   451194 |        1    29030     13 |  2.864 % |
6.68/6.80	c |    116560 |   16109   117114   451194 |        1    30177     13 |  2.864 % |
6.68/6.80	c |    117619 |   16109   117114   451194 |        1    31236     13 |  2.864 % |
6.68/6.80	c |    117954 |   16109   117114   451194 |        1    31571     13 |  2.864 % |
6.68/6.80	c |    118129 |   16109   117114   451194 |        1    31746     13 |  2.864 % |
6.68/6.80	c |    118229 |   16109   117114   451194 |        1    31846     13 |  2.864 % |
6.68/6.80	c |    118544 |   16047   116433   448450 |        1    31150     13 |  3.238 % |
6.68/6.80	c |    118826 |   16047   116433   448450 |        1    31432     13 |  3.238 % |
6.68/6.80	c |    119060 |   16047   116433   448450 |        1    31666     13 |  3.238 % |
6.68/6.80	c |    119225 |   16047   116433   448450 |        1    31831     13 |  3.238 % |
6.68/6.80	c |    119407 |   16047   116433   448450 |        1    32013     13 |  3.238 % |
6.68/6.80	c |    119509 |   16047   116433   448450 |        1    32115     13 |  3.238 % |
6.68/6.80	c |    121274 |   16047   116433   448450 |        1    33880     13 |  3.238 % |
6.68/6.80	c |    123894 |   16037   116364   448110 |        1    36064     14 |  3.298 % |
6.68/6.80	c |    124298 |   16037   116364   448110 |        1    36468     14 |  3.298 % |
6.68/6.80	c |    125239 |   16037   116364   448110 |        1    37409     14 |  3.298 % |
6.68/6.80	c |    125343 |   16037   116364   448110 |        1    37513     14 |  3.298 % |
6.68/6.80	c |    126766 |   16036   116364   448110 |        1    38935     14 |  3.304 % |
6.68/6.80	c |    127400 |   16036   116364   448110 |        1    39569     14 |  3.304 % |
6.68/6.80	c |    127911 |   16036   116339   448035 |        1    40080     14 |  3.304 % |
6.68/6.80	c |    129094 |   16036   116339   448035 |        1    41263     14 |  3.304 % |
6.68/6.80	c |    129884 |   16036   116339   448035 |        1    21210     10 |  3.304 % |
6.68/6.80	c |    130228 |   16036   116339   448035 |        1    21554     10 |  3.304 % |
6.68/6.80	c |    130975 |   16036   116339   448035 |        1    22301     10 |  3.304 % |
6.68/6.80	c |    132202 |   16036   116339   448035 |        1    23528     10 |  3.304 % |
6.68/6.80	c |    132341 |   16036   116339   448035 |        1    23667     11 |  3.304 % |
6.68/6.80	c |    133849 |   16033   116295   447844 |        1    25174     11 |  3.322 % |
6.68/6.80	c |    134175 |   16033   116295   447844 |        1    25500     11 |  3.322 % |
6.68/6.80	c |    135675 |   16032   116295   447844 |        1    26999     12 |  3.329 % |
6.68/6.80	c |    137438 |   16032   116276   447778 |        1    28762     12 |  3.329 % |
6.68/6.80	c |    137549 |   16032   116276   447778 |        1    28873     12 |  3.329 % |
6.68/6.80	c |    137708 |   16032   116276   447778 |        1    29032     12 |  3.329 % |
6.68/6.80	c |    138038 |   16032   116276   447778 |        1    29362     12 |  3.329 % |
6.68/6.80	c |    140173 |   16032   116276   447778 |        1    31497     13 |  3.329 % |
6.68/6.80	c |    140513 |   16032   116276   447778 |        1    31837     13 |  3.329 % |
6.68/6.80	c |    141771 |   16032   116276   447778 |        1    33095     13 |  3.329 % |
6.68/6.80	c |    141874 |   16032   116276   447778 |        1    33198     13 |  3.329 % |
6.68/6.80	c |    145968 |   16032   116276   447778 |        1    37292     14 |  3.329 % |
6.68/6.80	c |    146248 |   16032   116276   447778 |        1    37572     14 |  3.329 % |
6.68/6.80	c |    146349 |   16032   116276   447778 |        1    37673     14 |  3.329 % |
6.68/6.80	c |    146518 |   16032   116276   447778 |        1    37842     14 |  3.329 % |
6.68/6.80	c |    148715 |   16032   116276   447778 |        1    40039     14 |  3.329 % |
6.68/6.80	c |    149325 |   16032   116276   447778 |        1    40649     14 |  3.329 % |
6.68/6.80	c |    149738 |   16032   116276   447778 |        1    41062     14 |  3.329 % |
6.68/6.80	c |    150633 |   16026   116210   447545 |        1    41954     14 |  3.365 % |
6.68/6.80	c |    150733 |   16026   116210   447545 |        1    42054     14 |  3.365 % |
6.68/6.80	c |    151224 |   16026   116210   447545 |        1    42545     14 |  3.365 % |
6.68/6.80	c |    151771 |   16026   116210   447545 |        1    43092     14 |  3.365 % |
6.68/6.80	c |    152453 |   16026   116210   447545 |        1    43774     14 |  3.365 % |
10.98/11.03	c |    156447 |   16026   116210   447545 |        1    47768     15 |  3.365 % |
10.98/11.03	c |    158009 |   16026   116210   447545 |        1    25233     10 |  3.365 % |
10.98/11.03	c |    158218 |   16026   116210   447545 |        1    25442     10 |  3.365 % |
10.98/11.03	c |    158770 |   16019   116202   447501 |        1    25970     10 |  3.407 % |
10.98/11.03	c |    160014 |   16019   116202   447501 |        1    27214     11 |  3.407 % |
10.98/11.03	c |    160418 |   16019   116202   447501 |        1    27618     11 |  3.407 % |
10.98/11.03	c |    162554 |   16019   116202   447501 |        1    29754     11 |  3.407 % |
10.98/11.03	c |    164739 |   16019   116100   447040 |        1    31886     12 |  3.407 % |
10.98/11.03	c |    167072 |   16018   116100   447040 |        1    34218     12 |  3.413 % |
10.98/11.03	c |    167578 |   16018   116090   447007 |        1    34724     12 |  3.413 % |
10.98/11.03	c |    168993 |   16018   116090   447007 |        1    36139     13 |  3.413 % |
10.98/11.03	c |    169110 |   16018   116090   447007 |        1    36256     13 |  3.413 % |
10.98/11.03	c |    171669 |   16018   116090   447007 |        1    38815     13 |  3.413 % |
10.98/11.03	c |    172967 |   16018   116090   447007 |        1    40113     13 |  3.413 % |
10.98/11.03	c |    173617 |   16018   116090   447007 |        1    40763     13 |  3.413 % |
10.98/11.03	c |    174809 |   16018   116090   447007 |        1    41955     14 |  3.413 % |
10.98/11.03	c |    174978 |   16018   116090   447007 |        1    42124     14 |  3.413 % |
10.98/11.03	c |    175348 |   16018   116090   447007 |        1    42494     14 |  3.413 % |
10.98/11.03	c |    176573 |   16018   116090   447007 |        1    43719     14 |  3.413 % |
10.98/11.03	c |    179275 |   16018   116090   447007 |        1    46421     14 |  3.413 % |
10.98/11.03	c |    179375 |   16018   116090   447007 |        1    46521     14 |  3.413 % |
10.98/11.03	c |    181864 |   16018   116090   447007 |        1    49010     15 |  3.413 % |
10.98/11.03	c |    182008 |   16018   116090   447007 |        1    49154     15 |  3.413 % |
10.98/11.03	c |    188286 |   16018   116090   447007 |        1    28395     11 |  3.413 % |
10.98/11.03	c |    189231 |   16016   116033   446774 |        1    29338     11 |  3.425 % |
10.98/11.03	c |    197411 |   16016   116033   446774 |        1    37518     14 |  3.425 % |
10.98/11.03	c |    199265 |   16016   116033   446774 |        1    39372     14 |  3.425 % |
10.98/11.03	c |    200512 |   16016   116033   446774 |        1    40619     14 |  3.425 % |
10.98/11.03	c |    201867 |   16015   116007   446683 |        1    41972     14 |  3.431 % |
10.98/11.03	c |    202102 |   16015   116007   446683 |        1    42207     14 |  3.431 % |
10.98/11.03	c |    203450 |   16015   116007   446683 |        1    43555     15 |  3.431 % |
10.98/11.03	c |    203692 |   16015   116007   446683 |        1    43797     15 |  3.431 % |
10.98/11.03	c |    204551 |   16015   116007   446683 |        1    44656     15 |  3.431 % |
10.98/11.03	c |    207002 |   16015   116007   446683 |        1    47107     15 |  3.431 % |
10.98/11.03	c |    207394 |   16015   116007   446683 |        1    47499     15 |  3.431 % |
10.98/11.03	c |    208656 |   16015   116007   446683 |        1    48761     15 |  3.431 % |
10.98/11.03	c |    208756 |   16015   116007   446683 |        1    48861     15 |  3.431 % |
10.98/11.03	c |    208941 |   16015   116007   446683 |        1    49046     15 |  3.431 % |
10.98/11.03	c |    209041 |   16015   116007   446683 |        1    49146     15 |  3.431 % |
10.98/11.03	c |    214007 |   16015   116007   446683 |        1    54112     16 |  3.431 % |
10.98/11.03	c |    220306 |   16015   116007   446683 |        1    31709     12 |  3.431 % |
10.98/11.03	c |    223277 |   16015   116007   446683 |        1    34680     13 |  3.431 % |
10.98/11.03	c |    226217 |   16015   116007   446683 |        1    37620     14 |  3.431 % |
10.98/11.03	c |    228027 |   16015   116007   446683 |        1    39430     14 |  3.431 % |
10.98/11.03	c |    228343 |   16015   116007   446683 |        1    39746     14 |  3.431 % |
10.98/11.03	c |    228514 |   16015   116007   446683 |        1    39917     14 |  3.431 % |
10.98/11.03	c |    230277 |   16015   116007   446683 |        1    41680     14 |  3.431 % |
10.98/11.03	c |    230377 |   16015   116007   446683 |        1    41780     14 |  3.431 % |
10.98/11.03	c |    231853 |   16015   116007   446683 |        1    43256     14 |  3.431 % |
10.98/11.03	c |    232127 |   16015   116007   446683 |        1    43530     15 |  3.431 % |
13.28/13.36	c |    232415 |   16015   116007   446683 |        1    43818     15 |  3.431 % |
13.28/13.36	c |    236986 |   16015   116007   446683 |        1    48389     15 |  3.431 % |
13.28/13.36	c |    239323 |   16011   115988   446593 |        1    50725     15 |  3.455 % |
13.28/13.36	c |    243572 |   16011   115988   446593 |        1    54974     16 |  3.455 % |
13.28/13.36	c |    255558 |   16011   115988   446593 |        1    35425     12 |  3.455 % |
13.28/13.36	c |    256780 |   16011   115988   446593 |        1    36647     12 |  3.455 % |
13.28/13.36	c |    257373 |   16011   115988   446593 |        1    37240     12 |  3.455 % |
13.28/13.36	c |    258146 |   16011   115988   446593 |        1    38013     12 |  3.455 % |
13.28/13.36	c |    258881 |   16011   115988   446593 |        1    38748     13 |  3.455 % |
13.28/13.36	c |    260116 |   16011   115988   446593 |        1    39983     13 |  3.455 % |
13.28/13.36	c |    261074 |   16011   115988   446593 |        1    40941     13 |  3.455 % |
13.28/13.36	c |    261693 |   15958   115482   444319 |        1    40337     13 |  3.775 % |
13.28/13.36	c |    261818 |   15958   115482   444319 |        1    40462     13 |  3.775 % |
13.28/13.36	c |    272000 |   15958   115482   444319 |        1    50644     14 |  3.775 % |
13.28/13.36	c |    272101 |   15958   115482   444319 |        1    50745     15 |  3.775 % |
13.28/13.36	c |    272833 |   15958   115482   444319 |        1    51477     15 |  3.775 % |
13.28/13.36	c |    277831 |   13820   115455   444225 |        1    56094     15 | 16.667 % |
13.28/13.36	c ===============================================================================
13.28/13.36	c restarts              : 206
13.28/13.36	c nb ReduceDB           : 13
13.28/13.36	c nb removed Clauses    : 217244
13.28/13.36	c nb learnts DL2        : 2420
13.28/13.36	c nb learnts size 2     : 419
13.28/13.36	c nb learnts size 1     : 46
13.28/13.36	c conflicts             : 277831         (22409 /sec)
13.28/13.36	c decisions             : 1160109        (0.00 % random) (93571 /sec)
13.28/13.36	c propagations          : 48075453       (3877642 /sec)
13.28/13.36	c conflict literals     : 5253451        (25.16 % deleted)
13.28/13.36	c nb reduced Clauses    : 1608
13.28/13.36	c CPU time              : 12.3981 s
13.28/13.36	
13.28/13.36	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281720-1303751018/watcher-3281720-1303751018 -o /tmp/evaluation-result-3281720-1303751018/solver-3281720-1303751018 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3281720-1303751018.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 3.97 3.90 4/192 5971
/proc/meminfo: memFree=17997136/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 486700358 8912896 253 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 253 211 178 0 69 0

[startup+0.109062 s]
/proc/loadavg: 3.99 3.97 3.90 4/192 5971
/proc/meminfo: memFree=17997136/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 486700358 8912896 253 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.201035 s]
/proc/loadavg: 3.99 3.97 3.90 4/192 5971
/proc/meminfo: memFree=17997136/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 486700358 8912896 253 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301019 s]
/proc/loadavg: 3.99 3.97 3.90 4/192 5971
/proc/meminfo: memFree=17997136/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 486700358 8912896 253 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700952 s]
/proc/loadavg: 3.99 3.97 3.90 4/192 5971
/proc/meminfo: memFree=17997136/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 486700358 8912896 253 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50081 s]
/proc/loadavg: 3.99 3.97 3.90 5/194 5974
/proc/meminfo: memFree=17971636/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=27748 CPUtime=0.54 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 3810 0 0 0 54 0 0 0 20 0 1 0 486700453 28413952 3593 33554432000 4194304 4260849 140734409968240 18446744073709551615 4225250 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 6937 3593 250 17 0 3578 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36452

[startup+3.10055 s]
/proc/loadavg: 3.99 3.97 3.90 5/194 5974
/proc/meminfo: memFree=17966428/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=40292 CPUtime=2.14 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 9006 0 0 0 213 1 0 0 25 0 1 0 486700453 41259008 6045 33554432000 4194304 4260849 140734409968240 18446744073709551615 4226689 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 10073 6045 251 17 0 6714 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48996

[startup+6.30102 s]
/proc/loadavg: 3.99 3.97 3.90 5/194 5974
/proc/meminfo: memFree=17951052/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=40292 CPUtime=5.34 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 9485 0 0 0 533 1 0 0 25 0 1 0 486700453 41259008 6502 33554432000 4194304 4260849 140734409968240 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 10073 6502 251 17 0 6714 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48996

[startup+12.7009 s]
/proc/loadavg: 3.99 3.97 3.90 5/194 5975
/proc/meminfo: memFree=17986036/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=47388 CPUtime=11.75 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 11747 0 0 0 1173 2 0 0 25 0 1 0 486700453 48525312 8572 33554432000 4194304 4260849 140734409968240 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 11847 8572 251 17 0 8488 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56092

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

[startup+12.8009 s]
/proc/loadavg: 3.99 3.97 3.90 5/194 5975
/proc/meminfo: memFree=17986036/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=47388 CPUtime=11.85 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 11747 0 0 0 1183 2 0 0 25 0 1 0 486700453 48525312 8572 33554432000 4194304 4260849 140734409968240 18446744073709551615 4226557 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 11847 8572 251 17 0 8488 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 56092

[startup+13.2009 s]
/proc/loadavg: 4.07 3.99 3.91 5/194 5975
/proc/meminfo: memFree=17986036/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=47388 CPUtime=12.25 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 11747 0 0 0 1223 2 0 0 25 0 1 0 486700453 48525312 8572 33554432000 4194304 4260849 140734409968240 18446744073709551615 4209979 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 11847 8572 251 17 0 8488 0
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (KiB) 56092

[startup+13.3068 s]
/proc/loadavg: 4.07 3.99 3.91 5/194 5975
/proc/meminfo: memFree=17986036/32951124 swapFree=67111528/67111528
[pid=5971] ppid=5969 vsize=8704 CPUtime=0.93 cores=4,6
/proc/5971/stat : 5971 (glucose.sh) S 5969 5971 5394 0 -1 4202496 360 12086 0 0 0 0 89 4 18 0 1 0 486700358 8912896 255 33554432000 4194304 4922060 140737042425136 18446744073709551615 210204466309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5971/statm: 2176 255 211 178 0 69 0
[pid=5974] ppid=5971 vsize=47388 CPUtime=12.35 cores=4,6
/proc/5974/stat : 5974 (glucose_static) R 5971 5971 5394 0 -1 4202496 11747 0 0 0 1233 2 0 0 25 0 1 0 486700453 48525312 8572 33554432000 4194304 4260849 140734409968240 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5974/statm: 11847 8572 251 17 0 8488 0
Current children cumulated CPU time (s) 13.28
Current children cumulated vsize (KiB) 56092

Child status: 20
Real time (s): 13.3708
CPU time (s): 13.37
CPU user time (s): 13.296
CPU system time (s): 0.073988
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 56092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.296
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24410
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= 16

runsolver used 0.021996 second user time and 0.05999 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-25 19:03:39
IDJOB=3281720
IDBENCH=69599
IDSOLVER=1651
FILE ID=node130/3281720-1303751018
RUNJOBID= node130-1303749439-5723
PBS_JOBID= 13154032
Free space on /tmp= 71832 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281720-1303751018/watcher-3281720-1303751018 -o /tmp/evaluation-result-3281720-1303751018/solver-3281720-1303751018 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3281720-1303751018.cnf 

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

MD5SUM BENCH= 8aeb1eb6b7bf22d54183762fb5b6410c
RANDOM SEED=1937177886

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17997408 kB
Buffers:       2097656 kB
Cached:       11879160 kB
SwapCached:          0 kB
Active:        6879952 kB
Inactive:      7524868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17997408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5912 kB
Writeback:          40 kB
AnonPages:      427112 kB
Mapped:          15556 kB
Slab:           482556 kB
PageTables:       6196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   636996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71832 MiB
End job on node130 at 2011-04-25 19:03:52