Trace number 3281030

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 24.4043 24.4064

General information on the benchmark

Nameindustrial/manolios/
manol-pipe-f7idw.cnf
MD5SUMe11b8f7666247454d93edb47f1646e2c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark19.761
Satisfiable
(Un)Satisfiability was proved
Number of variables263022
Number of clauses782329
Sum of the clauses size1825433
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2521552
Number of clauses of size 3260776
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.34	c ==============================================================================
0.00/0.34	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.34	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.34	c ==============================================================================
0.00/0.34	c |         0 |  782328  1825432 |  234698       0        0     nan |  0.000 % |
2.39/2.48	c |         0 |  326692  1297075 |      --       0       --      -- |     --   | -455634/-528352
2.39/2.48	c ==============================================================================
2.39/2.48	c Result  :   #vars: 41290   #clauses: 326692   #literals: 1297075
2.39/2.48	c CPU time:   2.36164 s
2.39/2.48	c ==============================================================================
2.68/2.72	c
2.68/2.72	c Starting glucose
2.68/2.72	c
4.48/4.53	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
4.48/4.53	c WARNING: for repeatability, setting FPU to use double precision
4.48/4.53	c ============================[ Problem Statistics ]=============================
4.48/4.53	c |                                                                             |
4.48/4.53	c |  Number of variables:         41290                                         |
4.48/4.53	c |  Number of clauses:          326692                                         |
4.48/4.53	c |  Parse time:                   0.09 s                                       |
4.48/4.53	c |                                                                             |
4.48/4.53	c ============================[ Search Statistics ]==============================
4.48/4.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.48/4.53	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.48/4.53	c ===============================================================================
4.48/4.53	c |      1325 |   41288   326692  1297075 |        1     1323     17 |  0.005 % |
4.48/4.53	c |      2656 |   41288   326692  1297075 |        1     2654     16 |  0.005 % |
4.48/4.53	c |      4997 |   41286   326692  1297075 |        1     2997     12 |  0.010 % |
4.48/4.53	c |      5535 |   41286   326692  1297075 |        1     3535     14 |  0.010 % |
4.48/4.53	c |      5635 |   41260   326692  1297075 |        1     3634     14 |  0.073 % |
4.48/4.53	c |      6820 |   41260   326692  1297075 |        1     4819     15 |  0.073 % |
4.48/4.53	c |      7807 |   41260   326126  1295042 |        1     5804     15 |  0.073 % |
4.48/4.53	c |      9261 |   41260   326126  1295042 |        1     7258     15 |  0.073 % |
4.48/4.53	c |      9391 |   41256   326126  1295042 |        1     7387     16 |  0.082 % |
4.48/4.53	c |     10180 |   41256   326126  1295042 |        1     8176     15 |  0.082 % |
4.48/4.53	c |     10670 |   41256   326126  1295042 |        1     4380     10 |  0.082 % |
4.48/4.53	c |     11098 |   41256   326126  1295042 |        1     4808     11 |  0.082 % |
4.48/4.53	c |     11533 |   41256   326094  1294894 |        1     5243     11 |  0.082 % |
4.48/4.53	c |     11633 |   41256   326094  1294894 |        1     5343     12 |  0.082 % |
4.48/4.53	c |     12085 |   41256   326094  1294894 |        1     5795     12 |  0.082 % |
4.48/4.53	c |     12545 |   41256   326094  1294894 |        1     6255     12 |  0.082 % |
4.48/4.53	c |     12645 |   41256   326094  1294894 |        1     6355     12 |  0.082 % |
4.48/4.53	c |     14016 |   41256   326094  1294894 |        1     7726     14 |  0.082 % |
4.48/4.53	c |     14272 |   41256   326094  1294894 |        1     7982     14 |  0.082 % |
4.48/4.53	c |     14490 |   41256   326094  1294894 |        1     8200     14 |  0.082 % |
4.48/4.53	c |     14837 |   41256   326094  1294894 |        1     8547     14 |  0.082 % |
4.48/4.53	c |     14948 |   41256   326094  1294894 |        1     8658     15 |  0.082 % |
4.48/4.53	c |     15451 |   41256   326094  1294894 |        1     9161     15 |  0.082 % |
4.48/4.53	c |     16601 |   41256   326094  1294894 |        1    10311     16 |  0.082 % |
4.48/4.53	c |     19959 |   41255   326073  1294831 |        1     6926     10 |  0.085 % |
4.48/4.53	c |     20486 |   41255   326073  1294831 |        1     7453     10 |  0.085 % |
4.48/4.53	c |     20586 |   41255   326073  1294831 |        1     7553     11 |  0.085 % |
4.48/4.53	c |     21034 |   41255   326073  1294831 |        1     8001     11 |  0.085 % |
4.48/4.53	c |     21471 |   41255   326073  1294831 |        1     8438     12 |  0.085 % |
4.48/4.53	c |     21671 |   41246   326073  1294831 |        1     8637     12 |  0.107 % |
4.48/4.53	c |     21895 |   41246   326073  1294831 |        1     8861     12 |  0.107 % |
4.48/4.53	c |     23214 |   41246   326073  1294831 |        1    10180     12 |  0.107 % |
4.48/4.53	c |     25157 |   41226   326073  1294831 |        1    12121     13 |  0.155 % |
4.48/4.53	c |     26819 |   41225   326073  1294831 |        1    13782     14 |  0.157 % |
4.48/4.53	c |     27143 |   41225   325685  1293374 |        1    14091     14 |  0.157 % |
4.48/4.53	c |     27243 |   41225   325685  1293374 |        1    14191     14 |  0.157 % |
4.48/4.53	c |     27343 |   41225   325685  1293374 |        1    14291     15 |  0.157 % |
4.48/4.53	c |     30059 |   41131   325685  1293374 |        1    16998     15 |  0.385 % |
4.48/4.53	c |     30159 |   41131   325685  1293374 |        1    17098     15 |  0.385 % |
6.28/6.30	c |     30573 |   41131   325685  1293374 |        1    17512     15 |  0.385 % |
6.28/6.30	c |     30684 |   41131   325685  1293374 |        1    17623     15 |  0.385 % |
6.28/6.30	c |     31084 |   41131   325685  1293374 |        1    18023     16 |  0.385 % |
6.28/6.30	c |     31247 |   41050   325685  1293374 |        1    18185     16 |  0.581 % |
6.28/6.30	c |     31376 |   41050   323468  1284567 |        1    18288     16 |  0.581 % |
6.28/6.30	c |     31502 |   41050   323468  1284567 |        1    18414     16 |  0.581 % |
6.28/6.30	c |     32955 |   41050   323468  1284567 |        1    10634     13 |  0.581 % |
6.28/6.30	c |     33082 |   41050   323468  1284567 |        1    10761     13 |  0.581 % |
6.28/6.30	c |     33182 |   41050   323468  1284567 |        1    10861     13 |  0.581 % |
6.28/6.30	c |     34331 |   41050   323468  1284567 |        1    12010     14 |  0.581 % |
6.28/6.30	c |     34431 |   41050   323468  1284567 |        1    12110     14 |  0.581 % |
6.28/6.30	c |     36366 |   41050   323468  1284567 |        1    14045     16 |  0.581 % |
6.28/6.30	c |     36684 |   41050   323468  1284567 |        1    14363     16 |  0.581 % |
6.28/6.30	c |     36890 |   40972   323468  1284567 |        1    14567     16 |  0.770 % |
6.28/6.30	c |     37078 |   40972   323468  1284567 |        1    14755     16 |  0.770 % |
6.28/6.30	c |     37213 |   40972   323468  1284567 |        1    14890     16 |  0.770 % |
6.28/6.30	c |     37739 |   40972   323468  1284567 |        1    15416     16 |  0.770 % |
6.28/6.30	c |     38941 |   40965   322525  1280876 |        1    16617     17 |  0.787 % |
6.28/6.30	c |     39307 |   40965   322525  1280876 |        1    16983     17 |  0.787 % |
6.28/6.30	c |     39729 |   40965   322525  1280876 |        1    17405     17 |  0.787 % |
6.28/6.30	c |     40254 |   40965   322525  1280876 |        1    17930     17 |  0.787 % |
6.28/6.30	c |     40354 |   40965   322525  1280876 |        1    18030     17 |  0.787 % |
6.28/6.30	c |     40455 |   40965   322525  1280876 |        1    18131     17 |  0.787 % |
6.28/6.30	c |     45175 |   40965   322525  1280876 |        1    22851     20 |  0.787 % |
6.28/6.30	c |     45275 |   40965   322525  1280876 |        1    22951     20 |  0.787 % |
6.28/6.30	c |     45376 |   40965   322525  1280876 |        1    23052     20 |  0.787 % |
6.28/6.30	c |     45477 |   40965   322525  1280876 |        1    23153     20 |  0.787 % |
6.28/6.30	c |     49916 |   40965   322525  1280876 |        1    15762     14 |  0.787 % |
6.28/6.30	c |     50883 |   40965   322243  1279844 |        1    16727     15 |  0.787 % |
6.28/6.30	c |     51330 |   40962   322243  1279844 |        1    17173     15 |  0.794 % |
6.28/6.30	c |     53160 |   40962   322243  1279844 |        1    19003     16 |  0.794 % |
6.28/6.30	c |     53534 |   40962   322243  1279844 |        1    19377     16 |  0.794 % |
6.28/6.30	c |     53634 |   40962   322243  1279844 |        1    19477     16 |  0.794 % |
6.28/6.30	c |     53832 |   40962   322243  1279844 |        1    19675     16 |  0.794 % |
6.28/6.30	c |     53932 |   40962   322243  1279844 |        1    19775     16 |  0.794 % |
6.28/6.30	c |     54662 |   40962   322243  1279844 |        1    20505     16 |  0.794 % |
6.28/6.30	c |     55232 |   40962   322243  1279844 |        1    21075     16 |  0.794 % |
6.28/6.30	c |     55375 |   40962   322243  1279844 |        1    21218     16 |  0.794 % |
6.28/6.30	c |     56609 |   40962   322243  1279844 |        1    22452     17 |  0.794 % |
6.28/6.30	c |     56871 |   40962   322243  1279844 |        1    22714     18 |  0.794 % |
6.28/6.30	c |     57219 |   40962   322232  1279786 |        1    23061     18 |  0.794 % |
6.28/6.30	c |     57409 |   40962   322232  1279786 |        1    23251     18 |  0.794 % |
6.28/6.30	c |     57588 |   40962   322232  1279786 |        1    23430     18 |  0.794 % |
6.28/6.30	c |     57811 |   40962   322232  1279786 |        1    23653     18 |  0.794 % |
6.28/6.30	c |     57911 |   40962   322232  1279786 |        1    23753     18 |  0.794 % |
6.28/6.30	c |     67098 |   40962   322232  1279786 |        1    18525     16 |  0.794 % |
6.28/6.30	c |     67199 |   40962   322232  1279786 |        1    18626     16 |  0.794 % |
6.28/6.30	c |     67299 |   40962   322232  1279786 |        1    18726     16 |  0.794 % |
6.28/6.30	c |     67432 |   40962   322232  1279786 |        1    18859     16 |  0.794 % |
6.28/6.30	c |     67808 |   40962   322232  1279786 |        1    19235     16 |  0.794 % |
8.68/8.71	c |     74147 |   40962   322232  1279786 |        1    25574     19 |  0.794 % |
8.68/8.71	c |     74857 |   40962   322232  1279786 |        1    26284     19 |  0.794 % |
8.68/8.71	c |     75494 |   40962   322232  1279786 |        1    26921     19 |  0.794 % |
8.68/8.71	c |     75619 |   40962   322232  1279786 |        1    27046     19 |  0.794 % |
8.68/8.71	c |     75720 |   40962   322232  1279786 |        1    27147     19 |  0.794 % |
8.68/8.71	c |     75858 |   40962   322232  1279786 |        1    27285     19 |  0.794 % |
8.68/8.71	c |     91623 |   40962   322232  1279786 |        1    26052     22 |  0.794 % |
8.68/8.71	c |     91730 |   40962   322232  1279786 |        1    26159     22 |  0.794 % |
8.68/8.71	c |     91830 |   40962   322232  1279786 |        1    26259     22 |  0.794 % |
8.68/8.71	c |     91931 |   40962   322232  1279786 |        1    26360     22 |  0.794 % |
8.68/8.71	c |     93177 |   40962   322232  1279786 |        1    27606     22 |  0.794 % |
8.68/8.71	c |     93277 |   40962   322232  1279786 |        1    27706     22 |  0.794 % |
8.68/8.71	c |     93443 |   40962   322232  1279786 |        1    27872     22 |  0.794 % |
8.68/8.71	c |     93544 |   40962   322232  1279786 |        1    27973     22 |  0.794 % |
8.68/8.71	c |     93744 |   40962   322232  1279786 |        1    28173     22 |  0.794 % |
8.68/8.71	c |     94324 |   40962   322232  1279786 |        1    28753     22 |  0.794 % |
8.68/8.71	c |     94459 |   40962   322232  1279786 |        1    28888     22 |  0.794 % |
8.68/8.71	c |     94559 |   40962   322232  1279786 |        1    28988     22 |  0.794 % |
8.68/8.71	c |     94770 |   40962   322232  1279786 |        1    29199     23 |  0.794 % |
8.68/8.71	c |     94965 |   40962   322232  1279786 |        1    29394     23 |  0.794 % |
8.68/8.71	c |     95069 |   40962   322232  1279786 |        1    29498     23 |  0.794 % |
8.68/8.71	c |     96400 |   40962   322232  1279786 |        1    30829     23 |  0.794 % |
8.68/8.71	c |     96582 |   40962   322232  1279786 |        1    31011     23 |  0.794 % |
8.68/8.71	c |    101722 |   40962   322232  1279786 |        1    36151     24 |  0.794 % |
8.68/8.71	c |    101823 |   40962   322232  1279786 |        1    36252     24 |  0.794 % |
8.68/8.71	c |    103224 |   40962   322232  1279786 |        1    37653     24 |  0.794 % |
8.68/8.71	c |    103327 |   40962   322232  1279786 |        1    37756     24 |  0.794 % |
8.68/8.71	c |    103564 |   40962   322232  1279786 |        1    37993     24 |  0.794 % |
8.68/8.71	c |    103926 |   40947   322227  1279771 |        1    38350     24 |  0.831 % |
8.68/8.71	c |    106018 |   40947   322227  1279771 |        1    20846     16 |  0.831 % |
8.68/8.71	c |    106444 |   40939   322227  1279771 |        1    21270     16 |  0.850 % |
8.68/8.71	c |    106586 |   40939   322227  1279771 |        1    21412     16 |  0.850 % |
8.68/8.71	c |    108106 |   40939   322227  1279771 |        1    22932     17 |  0.850 % |
8.68/8.71	c |    109339 |   40937   322227  1279771 |        1    24164     17 |  0.855 % |
8.68/8.71	c |    109716 |   40937   322227  1279771 |        1    24541     17 |  0.855 % |
8.68/8.71	c |    110281 |   40937   322227  1279771 |        1    25106     17 |  0.855 % |
8.68/8.71	c |    110430 |   40937   322227  1279771 |        1    25255     17 |  0.855 % |
8.68/8.71	c |    110595 |   40937   322227  1279771 |        1    25420     17 |  0.855 % |
8.68/8.71	c |    110788 |   40937   322227  1279771 |        1    25613     17 |  0.855 % |
8.68/8.71	c |    110891 |   40937   322227  1279771 |        1    25716     17 |  0.855 % |
8.68/8.71	c |    110991 |   40937   322227  1279771 |        1    25816     18 |  0.855 % |
8.68/8.71	c |    112291 |   40937   322227  1279771 |        1    27116     18 |  0.855 % |
8.68/8.71	c |    112391 |   40937   322227  1279771 |        1    27216     18 |  0.855 % |
8.68/8.71	c |    114323 |   40937   322227  1279771 |        1    29148     18 |  0.855 % |
8.68/8.71	c |    114704 |   40937   322227  1279771 |        1    29529     18 |  0.855 % |
8.68/8.71	c |    114922 |   40937   322227  1279771 |        1    29747     18 |  0.855 % |
8.68/8.71	c |    119605 |   40937   322227  1279771 |        1    34430     20 |  0.855 % |
8.68/8.71	c |    120167 |   40937   321879  1278407 |        1    34978     20 |  0.855 % |
8.68/8.71	c |    120525 |   40937   321879  1278407 |        1    35336     20 |  0.855 % |
8.68/8.71	c |    120790 |   40937   321879  1278407 |        1    35601     20 |  0.855 % |
10.88/10.99	c |    120989 |   40937   321879  1278407 |        1    35800     20 |  0.855 % |
10.88/10.99	c |    123156 |   40934   321879  1278407 |        1    37966     20 |  0.862 % |
10.88/10.99	c |    123257 |   40934   321879  1278407 |        1    38067     20 |  0.862 % |
10.88/10.99	c |    123357 |   40934   321879  1278407 |        1    38167     20 |  0.862 % |
10.88/10.99	c |    125001 |   40934   321879  1278407 |        1    39811     20 |  0.862 % |
10.88/10.99	c |    125550 |   40934   321879  1278407 |        1    40360     21 |  0.862 % |
10.88/10.99	c |    125650 |   40934   321879  1278407 |        1    40460     21 |  0.862 % |
10.88/10.99	c |    126049 |   40934   321879  1278407 |        1    40859     21 |  0.862 % |
10.88/10.99	c |    126150 |   40934   321879  1278407 |        1    40960     21 |  0.862 % |
10.88/10.99	c |    126250 |   40934   321879  1278407 |        1    41060     21 |  0.862 % |
10.88/10.99	c |    126806 |   40934   321879  1278407 |        1    41616     21 |  0.862 % |
10.88/10.99	c |    126908 |   40934   321879  1278407 |        1    41718     21 |  0.862 % |
10.88/10.99	c |    128656 |   40934   321879  1278407 |        1    43466     21 |  0.862 % |
10.88/10.99	c |    135270 |   40934   321879  1278407 |        1    27879     16 |  0.862 % |
10.88/10.99	c |    135370 |   40934   321856  1278297 |        1    27979     16 |  0.862 % |
10.88/10.99	c |    136009 |   40934   321856  1278297 |        1    28618     16 |  0.862 % |
10.88/10.99	c |    136272 |   40934   321856  1278297 |        1    28881     16 |  0.862 % |
10.88/10.99	c |    137296 |   40933   321856  1278297 |        1    29904     16 |  0.865 % |
10.88/10.99	c |    138450 |   40933   321856  1278297 |        1    31058     17 |  0.865 % |
10.88/10.99	c |    138550 |   40933   321856  1278297 |        1    31158     17 |  0.865 % |
10.88/10.99	c |    138785 |   40933   321856  1278297 |        1    31393     17 |  0.865 % |
10.88/10.99	c |    138885 |   40933   321856  1278297 |        1    31493     17 |  0.865 % |
10.88/10.99	c |    138988 |   40933   321856  1278297 |        1    31596     17 |  0.865 % |
10.88/10.99	c |    139128 |   40933   321856  1278297 |        1    31736     17 |  0.865 % |
10.88/10.99	c |    139229 |   40933   321856  1278297 |        1    31837     17 |  0.865 % |
10.88/10.99	c |    139512 |   40932   321856  1278297 |        1    32119     17 |  0.867 % |
10.88/10.99	c |    139636 |   40932   321856  1278297 |        1    32243     17 |  0.867 % |
10.88/10.99	c |    139975 |   40932   321856  1278297 |        1    32582     17 |  0.867 % |
10.88/10.99	c |    140121 |   40932   321856  1278297 |        1    32728     17 |  0.867 % |
10.88/10.99	c |    140368 |   40932   321856  1278297 |        1    32975     17 |  0.867 % |
10.88/10.99	c |    140469 |   40932   321856  1278297 |        1    33076     17 |  0.867 % |
10.88/10.99	c |    140642 |   40932   321856  1278297 |        1    33249     17 |  0.867 % |
10.88/10.99	c |    140764 |   40932   321856  1278297 |        1    33371     17 |  0.867 % |
10.88/10.99	c |    141592 |   40932   321856  1278297 |        1    34199     18 |  0.867 % |
10.88/10.99	c |    141815 |   40932   321824  1278187 |        1    34420     18 |  0.867 % |
10.88/10.99	c |    141915 |   40932   321824  1278187 |        1    34520     18 |  0.867 % |
10.88/10.99	c |    142017 |   40932   321824  1278187 |        1    34622     18 |  0.867 % |
10.88/10.99	c |    142118 |   40932   321824  1278187 |        1    34723     18 |  0.867 % |
10.88/10.99	c |    156656 |   40932   321824  1278187 |        1    49261     21 |  0.867 % |
10.88/10.99	c |    156756 |   40932   321824  1278187 |        1    49361     21 |  0.867 % |
10.88/10.99	c |    156858 |   40932   321824  1278187 |        1    49463     21 |  0.867 % |
10.88/10.99	c |    156958 |   40932   321824  1278187 |        1    49563     21 |  0.867 % |
10.88/10.99	c |    157588 |   40932   321824  1278187 |        1    25401     15 |  0.867 % |
10.88/10.99	c |    157784 |   40932   321824  1278187 |        1    25597     15 |  0.867 % |
10.88/10.99	c |    157885 |   40932   321824  1278187 |        1    25698     16 |  0.867 % |
10.88/10.99	c |    158005 |   40932   321824  1278187 |        1    25818     16 |  0.867 % |
10.88/10.99	c |    158105 |   40932   321824  1278187 |        1    25918     16 |  0.867 % |
10.88/10.99	c |    158205 |   40932   321824  1278187 |        1    26018     16 |  0.867 % |
10.88/10.99	c |    158663 |   40932   321824  1278187 |        1    26476     16 |  0.867 % |
10.88/10.99	c |    158763 |   40932   321824  1278187 |        1    26576     16 |  0.867 % |
13.78/13.82	c |    158863 |   40932   321824  1278187 |        1    26676     16 |  0.867 % |
13.78/13.82	c |    158964 |   40932   321824  1278187 |        1    26777     16 |  0.867 % |
13.78/13.82	c |    159070 |   40932   321824  1278187 |        1    26883     16 |  0.867 % |
13.78/13.82	c |    159170 |   40932   321824  1278187 |        1    26983     16 |  0.867 % |
13.78/13.82	c |    159272 |   40932   321824  1278187 |        1    27085     16 |  0.867 % |
13.78/13.82	c |    163574 |   40932   321824  1278187 |        1    31387     19 |  0.867 % |
13.78/13.82	c |    163674 |   40932   321824  1278187 |        1    31487     20 |  0.867 % |
13.78/13.82	c |    164922 |   40932   321824  1278187 |        1    32735     21 |  0.867 % |
13.78/13.82	c |    165022 |   40932   321824  1278187 |        1    32835     21 |  0.867 % |
13.78/13.82	c |    165122 |   40932   321824  1278187 |        1    32935     21 |  0.867 % |
13.78/13.82	c |    165382 |   40932   321824  1278187 |        1    33195     21 |  0.867 % |
13.78/13.82	c |    165483 |   40932   321824  1278187 |        1    33296     21 |  0.867 % |
13.78/13.82	c |    167788 |   40932   321824  1278187 |        1    35601     22 |  0.867 % |
13.78/13.82	c |    168033 |   40932   321824  1278187 |        1    35846     22 |  0.867 % |
13.78/13.82	c |    168216 |   40932   321824  1278187 |        1    36029     22 |  0.867 % |
13.78/13.82	c |    175712 |   40932   321824  1278187 |        1    43525     26 |  0.867 % |
13.78/13.82	c |    175902 |   40932   321824  1278187 |        1    43715     26 |  0.867 % |
13.78/13.82	c |    176030 |   40932   321824  1278187 |        1    43843     26 |  0.867 % |
13.78/13.82	c |    176731 |   40932   321824  1278187 |        1    44544     26 |  0.867 % |
13.78/13.82	c |    176894 |   40932   321824  1278187 |        1    44707     26 |  0.867 % |
13.78/13.82	c |    177564 |   40932   321824  1278187 |        1    45377     26 |  0.867 % |
13.78/13.82	c |    177684 |   40932   321824  1278187 |        1    45497     26 |  0.867 % |
13.78/13.82	c |    177817 |   40932   321824  1278187 |        1    45630     26 |  0.867 % |
13.78/13.82	c |    177919 |   40932   321824  1278187 |        1    45732     26 |  0.867 % |
13.78/13.82	c |    178019 |   40932   321824  1278187 |        1    45832     26 |  0.867 % |
13.78/13.82	c |    179070 |   40932   321824  1278187 |        1    46883     26 |  0.867 % |
13.78/13.82	c |    179331 |   40932   321824  1278187 |        1    47144     26 |  0.867 % |
13.78/13.82	c |    186274 |   40932   321824  1278187 |        1    54087     30 |  0.867 % |
13.78/13.82	c |    186375 |   40932   321824  1278187 |        1    54188     30 |  0.867 % |
13.78/13.82	c |    186890 |   40932   321824  1278187 |        1    54703     30 |  0.867 % |
13.78/13.82	c |    187087 |   40932   321824  1278187 |        1    27529     20 |  0.867 % |
13.78/13.82	c |    191254 |   40932   321824  1278187 |        1    31696     20 |  0.867 % |
13.78/13.82	c |    191354 |   40932   321824  1278187 |        1    31796     20 |  0.867 % |
13.78/13.82	c |    191515 |   40932   321824  1278187 |        1    31957     20 |  0.867 % |
13.78/13.82	c |    191726 |   40932   321824  1278187 |        1    32168     20 |  0.867 % |
13.78/13.82	c |    191826 |   40932   321824  1278187 |        1    32268     20 |  0.867 % |
13.78/13.82	c |    191926 |   40932   321824  1278187 |        1    32368     20 |  0.867 % |
13.78/13.82	c |    192026 |   40932   321824  1278187 |        1    32468     20 |  0.867 % |
13.78/13.82	c |    193048 |   40932   321824  1278187 |        1    33490     21 |  0.867 % |
13.78/13.82	c |    193148 |   40932   321824  1278187 |        1    33590     21 |  0.867 % |
13.78/13.82	c |    193248 |   40932   321824  1278187 |        1    33690     21 |  0.867 % |
13.78/13.82	c |    193348 |   40932   321824  1278187 |        1    33790     21 |  0.867 % |
13.78/13.82	c |    197548 |   40932   321824  1278187 |        1    37990     22 |  0.867 % |
13.78/13.82	c |    200375 |   40932   321824  1278187 |        1    40817     23 |  0.867 % |
13.78/13.82	c |    200475 |   40932   321824  1278187 |        1    40917     23 |  0.867 % |
13.78/13.82	c |    200987 |   40932   321824  1278187 |        1    41429     23 |  0.867 % |
13.78/13.82	c |    201379 |   40932   321824  1278187 |        1    41821     23 |  0.867 % |
13.78/13.82	c |    201847 |   40932   321824  1278187 |        1    42289     23 |  0.867 % |
13.78/13.82	c |    201963 |   40932   321824  1278187 |        1    42405     23 |  0.867 % |
13.78/13.82	c |    202064 |   40932   321824  1278187 |        1    42506     23 |  0.867 % |
15.08/15.17	c |    203202 |   40932   321824  1278187 |        1    43644     23 |  0.867 % |
15.08/15.17	c |    209081 |   40932   321824  1278187 |        1    49523     24 |  0.867 % |
15.08/15.17	c |    209826 |   40932   321824  1278187 |        1    50268     24 |  0.867 % |
15.08/15.17	c |    209926 |   40932   321824  1278187 |        1    50368     24 |  0.867 % |
15.08/15.17	c |    211660 |   40932   321824  1278187 |        1    52102     24 |  0.867 % |
15.08/15.17	c |    213005 |   40932   321824  1278187 |        1    53447     24 |  0.867 % |
15.08/15.17	c |    213105 |   40932   321824  1278187 |        1    53547     24 |  0.867 % |
15.08/15.17	c |    213328 |   40932   321824  1278187 |        1    53770     24 |  0.867 % |
15.08/15.17	c |    215740 |   39756   321792  1278077 |        1    56180     24 |  3.715 % |
15.08/15.17	c |    215842 |   39756   321792  1278077 |        1    56282     24 |  3.715 % |
15.08/15.17	c |    215942 |   39756   321792  1278077 |        1    56382     24 |  3.715 % |
15.08/15.17	c |    216042 |   39756   321792  1278077 |        1    56482     24 |  3.715 % |
15.08/15.17	c |    216158 |   39756   321792  1278077 |        1    56598     24 |  3.715 % |
15.08/15.17	c |    216301 |   39756   321792  1278077 |        1    56741     24 |  3.715 % |
15.08/15.17	c |    216401 |   39756   321792  1278077 |        1    56841     24 |  3.715 % |
15.08/15.17	c |    216502 |   39756   321792  1278077 |        1    56942     24 |  3.715 % |
15.08/15.17	c |    216611 |   39756   321792  1278077 |        1    57051     24 |  3.715 % |
15.08/15.17	c |    217244 |   39755   321792  1278077 |        1    57683     24 |  3.718 % |
15.08/15.17	c |    217345 |   39755   321792  1278077 |        1    57784     24 |  3.718 % |
15.08/15.17	c |    217886 |   39755   321792  1278077 |        1    58325     25 |  3.718 % |
15.08/15.17	c |    218083 |   39755   321792  1278077 |        1    58522     25 |  3.718 % |
15.08/15.17	c |    218183 |   39755   321792  1278077 |        1    58622     25 |  3.718 % |
15.08/15.17	c |    218284 |   39755   321792  1278077 |        1    58723     25 |  3.718 % |
15.08/15.17	c |    218384 |   39755   321792  1278077 |        1    58823     25 |  3.718 % |
15.08/15.17	c |    218484 |   39755   321792  1278077 |        1    58923     25 |  3.718 % |
15.08/15.17	c |    218584 |   39755   321792  1278077 |        1    59023     25 |  3.718 % |
15.08/15.17	c |    218684 |   39755   321792  1278077 |        1    59123     25 |  3.718 % |
15.08/15.17	c |    218784 |   39755   321792  1278077 |        1    59223     25 |  3.718 % |
15.08/15.17	c |    218884 |   39755   321792  1278077 |        1    59323     25 |  3.718 % |
15.08/15.17	c |    218984 |   39755   321792  1278077 |        1    59423     25 |  3.718 % |
15.08/15.17	c |    219085 |   39755   321792  1278077 |        1    59524     25 |  3.718 % |
15.08/15.17	c |    219185 |   39755   321792  1278077 |        1    59624     25 |  3.718 % |
15.08/15.17	c |    219285 |   39755   321792  1278077 |        1    59724     25 |  3.718 % |
15.08/15.17	c |    219385 |   39755   321792  1278077 |        1    59824     25 |  3.718 % |
15.08/15.17	c |    219485 |   39755   321792  1278077 |        1    59924     25 |  3.718 % |
15.08/15.17	c |    219585 |   39755   321792  1278077 |        1    60024     25 |  3.718 % |
15.08/15.17	c |    219685 |   39755   321792  1278077 |        1    30117     15 |  3.718 % |
15.08/15.17	c |    219785 |   39755   321792  1278077 |        1    30217     15 |  3.718 % |
15.08/15.17	c |    219974 |   39755   321792  1278077 |        1    30406     15 |  3.718 % |
15.08/15.17	c |    220075 |   39755   321792  1278077 |        1    30507     15 |  3.718 % |
15.08/15.17	c |    220176 |   39755   321792  1278077 |        1    30608     15 |  3.718 % |
15.08/15.17	c |    220279 |   39755   321792  1278077 |        1    30711     15 |  3.718 % |
15.08/15.17	c |    220570 |   39755   321792  1278077 |        1    31002     15 |  3.718 % |
15.08/15.17	c |    220670 |   39755   305309  1203791 |        1    28540     15 |  3.718 % |
15.08/15.17	c |    220770 |   39755   305309  1203791 |        1    28640     16 |  3.718 % |
15.08/15.17	c |    220870 |   39755   305309  1203791 |        1    28740     16 |  3.718 % |
15.08/15.17	c |    220971 |   39755   305309  1203791 |        1    28841     16 |  3.718 % |
15.08/15.17	c |    221073 |   39755   305309  1203791 |        1    28943     16 |  3.718 % |
15.08/15.17	c |    221185 |   39755   305309  1203791 |        1    29055     16 |  3.718 % |
15.08/15.17	c |    221296 |   39755   305309  1203791 |        1    29166     16 |  3.718 % |
15.78/15.86	c |    221396 |   39755   305309  1203791 |        1    29266     16 |  3.718 % |
15.78/15.86	c |    221497 |   39755   305309  1203791 |        1    29367     16 |  3.718 % |
15.78/15.86	c |    221598 |   39755   305309  1203791 |        1    29468     16 |  3.718 % |
15.78/15.86	c |    221996 |   39755   305309  1203791 |        1    29866     16 |  3.718 % |
15.78/15.86	c |    222096 |   39755   305309  1203791 |        1    29966     16 |  3.718 % |
15.78/15.86	c |    222197 |   39755   305309  1203791 |        1    30067     16 |  3.718 % |
15.78/15.86	c |    222321 |   39755   305309  1203791 |        1    30191     16 |  3.718 % |
15.78/15.86	c |    223005 |   39755   305309  1203791 |        1    30875     17 |  3.718 % |
15.78/15.86	c |    223199 |   39755   305309  1203791 |        1    31069     17 |  3.718 % |
15.78/15.86	c |    223496 |   39755   305309  1203791 |        1    31366     17 |  3.718 % |
15.78/15.86	c |    224082 |   39755   305309  1203791 |        1    31952     18 |  3.718 % |
15.78/15.86	c |    224182 |   39755   305309  1203791 |        1    32052     18 |  3.718 % |
15.78/15.86	c |    224285 |   39755   305309  1203791 |        1    32155     18 |  3.718 % |
15.78/15.86	c |    224385 |   39755   305309  1203791 |        1    32255     18 |  3.718 % |
15.78/15.86	c |    224521 |   39755   305309  1203791 |        1    32391     18 |  3.718 % |
15.78/15.86	c |    224769 |   39755   305309  1203791 |        1    32639     18 |  3.718 % |
15.78/15.86	c |    224898 |   39755   305309  1203791 |        1    32768     18 |  3.718 % |
15.78/15.86	c |    224998 |   39755   305309  1203791 |        1    32868     18 |  3.718 % |
15.78/15.86	c |    225098 |   39755   305309  1203791 |        1    32968     18 |  3.718 % |
15.78/15.86	c |    225247 |   39755   305309  1203791 |        1    33117     18 |  3.718 % |
15.78/15.86	c |    225348 |   39755   305309  1203791 |        1    33218     18 |  3.718 % |
15.78/15.86	c |    225836 |   39752   305279  1203647 |        1    33704     18 |  3.725 % |
15.78/15.86	c |    226262 |   39752   305279  1203647 |        1    34130     18 |  3.725 % |
15.78/15.86	c |    226416 |   39752   305279  1203647 |        1    34284     18 |  3.725 % |
15.78/15.86	c |    226553 |   39752   305279  1203647 |        1    34421     18 |  3.725 % |
15.78/15.86	c |    226654 |   39752   305279  1203647 |        1    34522     18 |  3.725 % |
15.78/15.86	c |    226755 |   39752   305279  1203647 |        1    34623     18 |  3.725 % |
15.78/15.86	c |    226855 |   39752   305279  1203647 |        1    34723     18 |  3.725 % |
15.78/15.86	c |    226981 |   39752   305279  1203647 |        1    34849     18 |  3.725 % |
15.78/15.86	c |    227082 |   39752   305279  1203647 |        1    34950     19 |  3.725 % |
15.78/15.86	c |    227182 |   39752   305279  1203647 |        1    35050     19 |  3.725 % |
15.78/15.86	c |    227284 |   39752   305279  1203647 |        1    35152     19 |  3.725 % |
15.78/15.86	c |    227385 |   39752   305279  1203647 |        1    35253     19 |  3.725 % |
15.78/15.86	c |    227485 |   39752   305279  1203647 |        1    35353     19 |  3.725 % |
15.78/15.86	c |    227585 |   39752   305279  1203647 |        1    35453     19 |  3.725 % |
15.78/15.86	c |    227685 |   39752   305279  1203647 |        1    35553     19 |  3.725 % |
15.78/15.86	c |    227786 |   39752   305279  1203647 |        1    35654     19 |  3.725 % |
15.78/15.86	c |    227887 |   39752   305279  1203647 |        1    35755     19 |  3.725 % |
15.78/15.86	c |    227987 |   39752   305279  1203647 |        1    35855     19 |  3.725 % |
15.78/15.86	c |    228089 |   39752   305279  1203647 |        1    35957     19 |  3.725 % |
15.78/15.86	c |    228189 |   39752   305279  1203647 |        1    36057     19 |  3.725 % |
15.78/15.86	c |    228289 |   39752   305279  1203647 |        1    36157     19 |  3.725 % |
15.78/15.86	c |    228523 |   39752   305279  1203647 |        1    36391     19 |  3.725 % |
15.78/15.86	c |    228623 |   39752   305279  1203647 |        1    36491     19 |  3.725 % |
15.78/15.86	c |    228723 |   39752   305279  1203647 |        1    36591     19 |  3.725 % |
15.78/15.86	c |    228827 |   39752   305261  1203586 |        1    36636     19 |  3.725 % |
15.78/15.86	c |    228928 |   39752   305261  1203586 |        1    36737     19 |  3.725 % |
15.78/15.86	c |    229028 |   39752   305261  1203586 |        1    36837     20 |  3.725 % |
15.78/15.86	c |    229128 |   39752   305261  1203586 |        1    36937     20 |  3.725 % |
16.38/16.46	c |    229231 |   39752   305261  1203586 |        1    37040     20 |  3.725 % |
16.38/16.46	c |    229391 |   39752   305261  1203586 |        1    37200     20 |  3.725 % |
16.38/16.46	c |    229491 |   39752   305261  1203586 |        1    37300     20 |  3.725 % |
16.38/16.46	c |    229591 |   39752   305261  1203586 |        1    37400     20 |  3.725 % |
16.38/16.46	c |    229691 |   39752   305261  1203586 |        1    37500     20 |  3.725 % |
16.38/16.46	c |    229791 |   39752   305261  1203586 |        1    37600     20 |  3.725 % |
16.38/16.46	c |    230512 |   39752   305261  1203586 |        1    38321     20 |  3.725 % |
16.38/16.46	c |    230615 |   39752   305261  1203586 |        1    38424     20 |  3.725 % |
16.38/16.46	c |    230716 |   39752   305261  1203586 |        1    38525     20 |  3.725 % |
16.38/16.46	c |    230817 |   39752   305261  1203586 |        1    38626     20 |  3.725 % |
16.38/16.46	c |    230919 |   39752   305261  1203586 |        1    38728     20 |  3.725 % |
16.38/16.46	c |    231019 |   39752   305261  1203586 |        1    38828     20 |  3.725 % |
16.38/16.46	c |    231119 |   39752   305261  1203586 |        1    38928     20 |  3.725 % |
16.38/16.46	c |    231221 |   39752   305261  1203586 |        1    39030     20 |  3.725 % |
16.38/16.46	c |    231321 |   39752   305261  1203586 |        1    39130     20 |  3.725 % |
16.38/16.46	c |    231422 |   39752   305261  1203586 |        1    39231     20 |  3.725 % |
16.38/16.46	c |    231522 |   39752   305261  1203586 |        1    39331     20 |  3.725 % |
16.38/16.46	c |    231623 |   39752   305261  1203586 |        1    39432     20 |  3.725 % |
16.38/16.46	c |    231723 |   39752   305261  1203586 |        1    39532     20 |  3.725 % |
16.38/16.46	c |    231827 |   39752   305261  1203586 |        1    39636     20 |  3.725 % |
16.38/16.46	c |    231927 |   39752   305261  1203586 |        1    39736     20 |  3.725 % |
16.38/16.46	c |    232027 |   39752   305261  1203586 |        1    39836     21 |  3.725 % |
16.38/16.46	c |    232127 |   39752   305261  1203586 |        1    39936     21 |  3.725 % |
16.38/16.46	c |    232228 |   39752   305261  1203586 |        1    40037     21 |  3.725 % |
16.38/16.46	c |    232328 |   39752   305261  1203586 |        1    40137     21 |  3.725 % |
16.38/16.46	c |    232429 |   39752   305261  1203586 |        1    40238     21 |  3.725 % |
16.38/16.46	c |    232530 |   39752   305261  1203586 |        1    40339     21 |  3.725 % |
16.38/16.46	c |    232630 |   39752   305261  1203586 |        1    40439     21 |  3.725 % |
16.38/16.46	c |    232730 |   39752   305261  1203586 |        1    40539     21 |  3.725 % |
16.38/16.46	c |    232831 |   39752   305261  1203586 |        1    40640     21 |  3.725 % |
16.38/16.46	c |    232931 |   39752   305261  1203586 |        1    40740     21 |  3.725 % |
16.38/16.46	c |    233031 |   39752   305261  1203586 |        1    40840     21 |  3.725 % |
16.38/16.46	c |    233131 |   39752   305261  1203586 |        1    40940     21 |  3.725 % |
16.38/16.46	c |    233282 |   39752   305261  1203586 |        1    41091     21 |  3.725 % |
16.38/16.46	c |    233382 |   39752   305261  1203586 |        1    41191     21 |  3.725 % |
16.38/16.46	c |    233482 |   39752   305261  1203586 |        1    41291     21 |  3.725 % |
16.38/16.46	c |    233585 |   39752   305261  1203586 |        1    41394     21 |  3.725 % |
16.38/16.46	c |    233726 |   39752   305261  1203586 |        1    41535     21 |  3.725 % |
16.38/16.46	c |    233828 |   39752   305261  1203586 |        1    41637     21 |  3.725 % |
16.38/16.46	c |    233929 |   39752   305261  1203586 |        1    41738     21 |  3.725 % |
16.38/16.46	c |    234030 |   39752   305261  1203586 |        1    41839     22 |  3.725 % |
16.38/16.46	c |    234133 |   39752   305261  1203586 |        1    41942     22 |  3.725 % |
16.38/16.46	c |    234235 |   39752   305261  1203586 |        1    42044     22 |  3.725 % |
16.38/16.46	c |    234336 |   39752   305261  1203586 |        1    42145     22 |  3.725 % |
16.38/16.46	c |    234796 |   39752   305261  1203586 |        1    42605     22 |  3.725 % |
16.38/16.46	c |    234896 |   39752   305261  1203586 |        1    42705     22 |  3.725 % |
16.38/16.46	c |    234997 |   39752   305261  1203586 |        1    42806     22 |  3.725 % |
16.38/16.46	c |    235099 |   39752   305261  1203586 |        1    42908     22 |  3.725 % |
16.38/16.46	c |    235200 |   39752   305261  1203586 |        1    43009     22 |  3.725 % |
16.38/16.46	c |    235300 |   39752   305261  1203586 |        1    43109     22 |  3.725 % |
17.08/17.11	c |    235400 |   39751   305250  1203539 |        1    43089     22 |  3.727 % |
17.08/17.11	c |    235501 |   39751   305250  1203539 |        1    43190     22 |  3.727 % |
17.08/17.11	c |    235601 |   39751   305250  1203539 |        1    43290     22 |  3.727 % |
17.08/17.11	c |    235701 |   39751   305250  1203539 |        1    43390     22 |  3.727 % |
17.08/17.11	c |    235801 |   39751   305250  1203539 |        1    43490     22 |  3.727 % |
17.08/17.11	c |    235901 |   39751   305250  1203539 |        1    43590     22 |  3.727 % |
17.08/17.11	c |    236003 |   39751   305250  1203539 |        1    43692     22 |  3.727 % |
17.08/17.11	c |    236104 |   39751   305250  1203539 |        1    43793     22 |  3.727 % |
17.08/17.11	c |    236204 |   39751   305250  1203539 |        1    43893     22 |  3.727 % |
17.08/17.11	c |    236306 |   39751   305250  1203539 |        1    43995     22 |  3.727 % |
17.08/17.11	c |    236407 |   39751   305250  1203539 |        1    44096     22 |  3.727 % |
17.08/17.11	c |    236508 |   39751   305250  1203539 |        1    44197     22 |  3.727 % |
17.08/17.11	c |    236608 |   39751   305250  1203539 |        1    44297     22 |  3.727 % |
17.08/17.11	c |    236709 |   39751   305250  1203539 |        1    44398     23 |  3.727 % |
17.08/17.11	c |    236810 |   39746   305250  1203539 |        1    44498     23 |  3.739 % |
17.08/17.11	c |    236911 |   39746   305250  1203539 |        1    44599     23 |  3.739 % |
17.08/17.11	c |    237011 |   39746   305250  1203539 |        1    44699     23 |  3.739 % |
17.08/17.11	c |    237112 |   39746   305250  1203539 |        1    44800     23 |  3.739 % |
17.08/17.11	c |    237212 |   39746   305250  1203539 |        1    44900     23 |  3.739 % |
17.08/17.11	c |    237312 |   39746   305250  1203539 |        1    45000     23 |  3.739 % |
17.08/17.11	c |    237543 |   39744   305250  1203539 |        1    45230     23 |  3.744 % |
17.08/17.11	c |    237658 |   39744   305250  1203539 |        1    45345     23 |  3.744 % |
17.08/17.11	c |    237758 |   39744   305250  1203539 |        1    45445     23 |  3.744 % |
17.08/17.11	c |    237860 |   39744   305250  1203539 |        1    45547     23 |  3.744 % |
17.08/17.11	c |    237960 |   39744   305250  1203539 |        1    45647     23 |  3.744 % |
17.08/17.11	c |    238060 |   39744   305250  1203539 |        1    45747     23 |  3.744 % |
17.08/17.11	c |    238162 |   39744   305250  1203539 |        1    45849     23 |  3.744 % |
17.08/17.11	c |    238319 |   39744   305250  1203539 |        1    46006     23 |  3.744 % |
17.08/17.11	c |    238419 |   39744   305250  1203539 |        1    46106     23 |  3.744 % |
17.08/17.11	c |    238520 |   39744   305250  1203539 |        1    46207     23 |  3.744 % |
17.08/17.11	c |    238620 |   39744   305250  1203539 |        1    46307     23 |  3.744 % |
17.08/17.11	c |    238720 |   39744   305250  1203539 |        1    46407     23 |  3.744 % |
17.08/17.11	c |    238824 |   39744   305250  1203539 |        1    46511     23 |  3.744 % |
17.08/17.11	c |    239474 |   39744   305250  1203539 |        1    47161     23 |  3.744 % |
17.08/17.11	c |    239574 |   39744   305250  1203539 |        1    47261     23 |  3.744 % |
17.08/17.11	c |    239677 |   39744   305250  1203539 |        1    47364     23 |  3.744 % |
17.08/17.11	c |    240106 |   39744   305250  1203539 |        1    47793     23 |  3.744 % |
17.08/17.11	c |    240208 |   39744   305177  1203237 |        1    46901     23 |  3.744 % |
17.08/17.11	c |    240308 |   39744   305177  1203237 |        1    47001     23 |  3.744 % |
17.08/17.11	c |    240566 |   39744   305177  1203237 |        1    47259     23 |  3.744 % |
17.08/17.11	c |    240668 |   39744   305177  1203237 |        1    47361     23 |  3.744 % |
17.08/17.11	c |    240768 |   39744   305177  1203237 |        1    47461     23 |  3.744 % |
17.08/17.11	c |    241747 |   39743   305177  1203237 |        1    48439     23 |  3.747 % |
17.08/17.11	c |    241942 |   39743   305177  1203237 |        1    48634     23 |  3.747 % |
17.08/17.11	c |    242042 |   39743   305177  1203237 |        1    48734     23 |  3.747 % |
17.08/17.11	c |    242142 |   39743   305177  1203237 |        1    48834     23 |  3.747 % |
17.08/17.11	c |    242242 |   39743   305177  1203237 |        1    48934     23 |  3.747 % |
17.08/17.11	c |    242343 |   39743   305177  1203237 |        1    49035     23 |  3.747 % |
17.08/17.11	c |    242445 |   39743   305177  1203237 |        1    49137     23 |  3.747 % |
17.08/17.11	c |    242545 |   39743   305177  1203237 |        1    49237     23 |  3.747 % |
17.68/17.76	c |    242646 |   39742   305177  1203237 |        1    49337     23 |  3.749 % |
17.68/17.76	c |    242750 |   39742   305177  1203237 |        1    49441     23 |  3.749 % |
17.68/17.76	c |    242851 |   39742   305177  1203237 |        1    49542     24 |  3.749 % |
17.68/17.76	c |    242951 |   39742   305177  1203237 |        1    49642     24 |  3.749 % |
17.68/17.76	c |    243051 |   39742   305177  1203237 |        1    49742     24 |  3.749 % |
17.68/17.76	c |    243204 |   39742   305177  1203237 |        1    49895     24 |  3.749 % |
17.68/17.76	c |    243305 |   39742   305177  1203237 |        1    49996     24 |  3.749 % |
17.68/17.76	c |    243405 |   39742   305177  1203237 |        1    50096     24 |  3.749 % |
17.68/17.76	c |    243507 |   39742   305177  1203237 |        1    50198     24 |  3.749 % |
17.68/17.76	c |    243608 |   39742   305177  1203237 |        1    50299     24 |  3.749 % |
17.68/17.76	c |    243709 |   39742   305177  1203237 |        1    50400     24 |  3.749 % |
17.68/17.76	c |    243810 |   39742   305177  1203237 |        1    50501     24 |  3.749 % |
17.68/17.76	c |    243911 |   39742   305177  1203237 |        1    50602     24 |  3.749 % |
17.68/17.76	c |    244011 |   39742   305177  1203237 |        1    50702     24 |  3.749 % |
17.68/17.76	c |    244113 |   39742   305177  1203237 |        1    50804     24 |  3.749 % |
17.68/17.76	c |    244213 |   39742   305177  1203237 |        1    50904     24 |  3.749 % |
17.68/17.76	c |    244313 |   39742   305177  1203237 |        1    51004     24 |  3.749 % |
17.68/17.76	c |    244413 |   39742   305177  1203237 |        1    51104     24 |  3.749 % |
17.68/17.76	c |    244513 |   39742   305177  1203237 |        1    51204     24 |  3.749 % |
17.68/17.76	c |    244613 |   39742   305177  1203237 |        1    51304     24 |  3.749 % |
17.68/17.76	c |    244713 |   39742   305177  1203237 |        1    51404     24 |  3.749 % |
17.68/17.76	c |    244813 |   39742   305177  1203237 |        1    51504     24 |  3.749 % |
17.68/17.76	c |    244915 |   39742   305177  1203237 |        1    51606     24 |  3.749 % |
17.68/17.76	c |    245015 |   39742   305177  1203237 |        1    51706     24 |  3.749 % |
17.68/17.76	c |    245116 |   39742   305177  1203237 |        1    51807     24 |  3.749 % |
17.68/17.76	c |    245217 |   39742   305177  1203237 |        1    51908     24 |  3.749 % |
17.68/17.76	c |    245317 |   39742   305161  1203175 |        1    51204     24 |  3.749 % |
17.68/17.76	c |    245418 |   39742   305161  1203175 |        1    51305     24 |  3.749 % |
17.68/17.76	c |    245518 |   39742   305161  1203175 |        1    51405     24 |  3.749 % |
17.68/17.76	c |    245622 |   39742   305161  1203175 |        1    51509     24 |  3.749 % |
17.68/17.76	c |    245724 |   39742   305161  1203175 |        1    51611     24 |  3.749 % |
17.68/17.76	c |    245824 |   39742   305161  1203175 |        1    51711     24 |  3.749 % |
17.68/17.76	c |    245925 |   39742   305161  1203175 |        1    51812     24 |  3.749 % |
17.68/17.76	c |    246025 |   39742   305161  1203175 |        1    51912     24 |  3.749 % |
17.68/17.76	c |    246130 |   39742   305161  1203175 |        1    52017     24 |  3.749 % |
17.68/17.76	c |    246232 |   39742   305161  1203175 |        1    52119     24 |  3.749 % |
17.68/17.76	c |    246333 |   39742   305161  1203175 |        1    52220     24 |  3.749 % |
17.68/17.76	c |    248047 |   39742   305161  1203175 |        1    53934     24 |  3.749 % |
17.68/17.76	c |    248287 |   39741   305161  1203175 |        1    54173     24 |  3.752 % |
17.68/17.76	c |    248387 |   39741   305161  1203175 |        1    54273     24 |  3.752 % |
17.68/17.76	c |    248488 |   39741   305161  1203175 |        1    54374     24 |  3.752 % |
17.68/17.76	c |    248588 |   39741   305161  1203175 |        1    54474     24 |  3.752 % |
17.68/17.76	c |    248689 |   39741   305161  1203175 |        1    54575     24 |  3.752 % |
17.68/17.76	c |    248790 |   39741   305161  1203175 |        1    54676     24 |  3.752 % |
17.68/17.76	c |    248890 |   39741   305161  1203175 |        1    54776     24 |  3.752 % |
17.68/17.76	c |    248990 |   39741   305161  1203175 |        1    54876     24 |  3.752 % |
17.68/17.76	c |    249090 |   39741   305161  1203175 |        1    54976     24 |  3.752 % |
17.68/17.76	c |    249190 |   39741   305161  1203175 |        1    55076     24 |  3.752 % |
17.68/17.76	c |    249290 |   39741   305161  1203175 |        1    55176     24 |  3.752 % |
17.68/17.76	c |    249411 |   39741   305161  1203175 |        1    55297     24 |  3.752 % |
18.38/18.40	c |    249587 |   39741   305161  1203175 |        1    55473     25 |  3.752 % |
18.38/18.40	c |    249687 |   39741   305161  1203175 |        1    55573     25 |  3.752 % |
18.38/18.40	c |    249787 |   39741   305161  1203175 |        1    55673     25 |  3.752 % |
18.38/18.40	c |    249887 |   39741   305161  1203175 |        1    55773     25 |  3.752 % |
18.38/18.40	c |    249987 |   39741   305161  1203175 |        1    55873     25 |  3.752 % |
18.38/18.40	c |    250088 |   39741   305161  1203175 |        1    55974     25 |  3.752 % |
18.38/18.40	c |    250189 |   39741   305156  1203160 |        1    56074     25 |  3.752 % |
18.38/18.40	c |    250289 |   39741   305156  1203160 |        1    56174     25 |  3.752 % |
18.38/18.40	c |    250449 |   39741   305156  1203160 |        1    56334     25 |  3.752 % |
18.38/18.40	c |    250550 |   39741   305156  1203160 |        1    56435     25 |  3.752 % |
18.38/18.40	c |    250650 |   39741   305156  1203160 |        1    56535     25 |  3.752 % |
18.38/18.40	c |    250750 |   39741   305156  1203160 |        1    56635     25 |  3.752 % |
18.38/18.40	c |    250853 |   39741   305156  1203160 |        1    56738     25 |  3.752 % |
18.38/18.40	c |    251227 |   39741   305156  1203160 |        1    57112     25 |  3.752 % |
18.38/18.40	c |    251405 |   39741   305156  1203160 |        1    57290     25 |  3.752 % |
18.38/18.40	c |    251505 |   39741   305156  1203160 |        1    57390     25 |  3.752 % |
18.38/18.40	c |    251605 |   39741   305156  1203160 |        1    57490     25 |  3.752 % |
18.38/18.40	c |    251706 |   39741   305156  1203160 |        1    57591     25 |  3.752 % |
18.38/18.40	c |    251806 |   39741   305156  1203160 |        1    57691     25 |  3.752 % |
18.38/18.40	c |    251906 |   39741   305156  1203160 |        1    57791     25 |  3.752 % |
18.38/18.40	c |    252012 |   39741   305156  1203160 |        1    57897     25 |  3.752 % |
18.38/18.40	c |    252113 |   39741   305156  1203160 |        1    57998     25 |  3.752 % |
18.38/18.40	c |    252221 |   39741   305156  1203160 |        1    58106     25 |  3.752 % |
18.38/18.40	c |    252321 |   39741   305156  1203160 |        1    58206     25 |  3.752 % |
18.38/18.40	c |    252421 |   39741   305156  1203160 |        1    58306     25 |  3.752 % |
18.38/18.40	c |    252521 |   39741   305156  1203160 |        1    58406     25 |  3.752 % |
18.38/18.40	c |    252621 |   39741   305156  1203160 |        1    58506     25 |  3.752 % |
18.38/18.40	c |    252721 |   39741   305156  1203160 |        1    58606     25 |  3.752 % |
18.38/18.40	c |    252821 |   39741   305156  1203160 |        1    58706     25 |  3.752 % |
18.38/18.40	c |    252922 |   39741   305156  1203160 |        1    58807     25 |  3.752 % |
18.38/18.40	c |    253084 |   39741   305156  1203160 |        1    58969     25 |  3.752 % |
18.38/18.40	c |    253184 |   39741   305156  1203160 |        1    59069     25 |  3.752 % |
18.38/18.40	c |    253285 |   39741   305156  1203160 |        1    59170     25 |  3.752 % |
18.38/18.40	c |    253385 |   39741   305156  1203160 |        1    59270     25 |  3.752 % |
18.38/18.40	c |    253487 |   39741   305156  1203160 |        1    59372     25 |  3.752 % |
18.38/18.40	c |    253589 |   39741   305156  1203160 |        1    59474     25 |  3.752 % |
18.38/18.40	c |    253689 |   39741   305156  1203160 |        1    59574     25 |  3.752 % |
18.38/18.40	c |    253791 |   39741   305156  1203160 |        1    59676     25 |  3.752 % |
18.38/18.40	c |    253940 |   39741   305156  1203160 |        1    59825     25 |  3.752 % |
18.38/18.40	c |    254040 |   39741   305156  1203160 |        1    59925     25 |  3.752 % |
18.38/18.40	c |    254141 |   39741   305156  1203160 |        1    60026     25 |  3.752 % |
18.38/18.40	c |    254241 |   39741   305156  1203160 |        1    60126     25 |  3.752 % |
18.38/18.40	c |    254388 |   39741   305156  1203160 |        1    60273     25 |  3.752 % |
18.38/18.40	c |    254493 |   39741   305156  1203160 |        1    60378     25 |  3.752 % |
18.38/18.40	c |    254593 |   39741   305156  1203160 |        1    60478     25 |  3.752 % |
18.38/18.40	c |    254693 |   39741   305156  1203160 |        1    60578     25 |  3.752 % |
18.38/18.40	c |    254996 |   39741   305156  1203160 |        1    30541     17 |  3.752 % |
18.38/18.40	c |    255098 |   39741   305156  1203160 |        1    30643     17 |  3.752 % |
18.38/18.40	c |    255370 |   39741   305156  1203160 |        1    30915     17 |  3.752 % |
18.38/18.40	c |    255474 |   39741   305156  1203160 |        1    31019     17 |  3.752 % |
18.88/18.93	c |    255709 |   39741   305156  1203160 |        1    31254     17 |  3.752 % |
18.88/18.93	c |    255809 |   39741   305156  1203160 |        1    31354     17 |  3.752 % |
18.88/18.93	c |    255909 |   39741   305156  1203160 |        1    31454     17 |  3.752 % |
18.88/18.93	c |    256010 |   39741   305156  1203160 |        1    31555     17 |  3.752 % |
18.88/18.93	c |    256110 |   39741   305156  1203160 |        1    31655     17 |  3.752 % |
18.88/18.93	c |    256341 |   39741   305156  1203160 |        1    31886     17 |  3.752 % |
18.88/18.93	c |    256441 |   39741   305156  1203160 |        1    31986     18 |  3.752 % |
18.88/18.93	c |    256544 |   39741   305156  1203160 |        1    32089     18 |  3.752 % |
18.88/18.93	c |    256644 |   39741   305156  1203160 |        1    32189     18 |  3.752 % |
18.88/18.93	c |    256744 |   39741   305156  1203160 |        1    32289     18 |  3.752 % |
18.88/18.93	c |    257168 |   39741   305156  1203160 |        1    32713     18 |  3.752 % |
18.88/18.93	c |    257269 |   39741   305156  1203160 |        1    32814     18 |  3.752 % |
18.88/18.93	c |    257369 |   39741   305156  1203160 |        1    32914     18 |  3.752 % |
18.88/18.93	c |    257469 |   39741   305156  1203160 |        1    33014     18 |  3.752 % |
18.88/18.93	c |    257570 |   39741   305156  1203160 |        1    33115     18 |  3.752 % |
18.88/18.93	c |    258038 |   39741   305156  1203160 |        1    33583     18 |  3.752 % |
18.88/18.93	c |    258139 |   39741   305156  1203160 |        1    33684     18 |  3.752 % |
18.88/18.93	c |    258350 |   39741   305156  1203160 |        1    33895     18 |  3.752 % |
18.88/18.93	c |    258601 |   39741   305156  1203160 |        1    34146     18 |  3.752 % |
18.88/18.93	c |    258701 |   39741   305156  1203160 |        1    34246     19 |  3.752 % |
18.88/18.93	c |    258803 |   39741   305156  1203160 |        1    34348     19 |  3.752 % |
18.88/18.93	c |    258903 |   39741   305156  1203160 |        1    34448     19 |  3.752 % |
18.88/18.93	c |    259003 |   39741   305156  1203160 |        1    34548     19 |  3.752 % |
18.88/18.93	c |    259110 |   39741   305156  1203160 |        1    34655     19 |  3.752 % |
18.88/18.93	c |    259211 |   39741   305156  1203160 |        1    34756     19 |  3.752 % |
18.88/18.93	c |    259311 |   39741   305156  1203160 |        1    34856     19 |  3.752 % |
18.88/18.93	c |    259411 |   39741   305156  1203160 |        1    34956     19 |  3.752 % |
18.88/18.93	c |    259511 |   39741   305156  1203160 |        1    35056     19 |  3.752 % |
18.88/18.93	c |    259675 |   39741   305156  1203160 |        1    35220     19 |  3.752 % |
18.88/18.93	c |    259776 |   39741   305156  1203160 |        1    35321     19 |  3.752 % |
18.88/18.93	c |    260021 |   39741   305156  1203160 |        1    35566     19 |  3.752 % |
18.88/18.93	c |    260121 |   39741   305156  1203160 |        1    35666     19 |  3.752 % |
18.88/18.93	c |    260221 |   39741   305156  1203160 |        1    35766     19 |  3.752 % |
18.88/18.93	c |    260322 |   39741   305156  1203160 |        1    35867     19 |  3.752 % |
18.88/18.93	c |    260423 |   39741   305156  1203160 |        1    35968     19 |  3.752 % |
18.88/18.93	c |    260525 |   39741   305156  1203160 |        1    36070     19 |  3.752 % |
18.88/18.93	c |    260625 |   39741   305156  1203160 |        1    36170     19 |  3.752 % |
18.88/18.93	c |    260726 |   39741   305156  1203160 |        1    36271     19 |  3.752 % |
18.88/18.93	c |    260829 |   39741   305156  1203160 |        1    36374     19 |  3.752 % |
18.88/18.93	c |    260953 |   39741   305156  1203160 |        1    36498     19 |  3.752 % |
18.88/18.93	c |    261055 |   39741   305156  1203160 |        1    36600     20 |  3.752 % |
18.88/18.93	c |    261156 |   39741   305156  1203160 |        1    36701     20 |  3.752 % |
18.88/18.93	c |    261258 |   39741   305156  1203160 |        1    36803     20 |  3.752 % |
18.88/18.93	c |    261360 |   39741   305156  1203160 |        1    36905     20 |  3.752 % |
18.88/18.93	c |    261460 |   39741   305156  1203160 |        1    37005     20 |  3.752 % |
18.88/18.93	c |    261560 |   39741   305156  1203160 |        1    37105     20 |  3.752 % |
18.88/18.93	c |    261719 |   39741   305156  1203160 |        1    37264     20 |  3.752 % |
18.88/18.93	c |    261820 |   39741   305156  1203160 |        1    37365     20 |  3.752 % |
18.88/18.93	c |    262431 |   39741   305156  1203160 |        1    37976     20 |  3.752 % |
18.88/18.93	c |    262531 |   39741   305156  1203160 |        1    38076     20 |  3.752 % |
21.38/21.47	c |    262633 |   39741   305156  1203160 |        1    38178     20 |  3.752 % |
21.38/21.47	c |    262734 |   39741   305156  1203160 |        1    38279     20 |  3.752 % |
21.38/21.47	c |    262834 |   39741   305156  1203160 |        1    38379     20 |  3.752 % |
21.38/21.47	c |    262934 |   39741   305156  1203160 |        1    38479     20 |  3.752 % |
21.38/21.47	c |    263034 |   39741   305156  1203160 |        1    38579     20 |  3.752 % |
21.38/21.47	c |    263134 |   39741   305156  1203160 |        1    38679     20 |  3.752 % |
21.38/21.47	c |    263234 |   39741   305156  1203160 |        1    38779     20 |  3.752 % |
21.38/21.47	c |    263334 |   39741   305156  1203160 |        1    38879     20 |  3.752 % |
21.38/21.47	c |    263434 |   39741   305156  1203160 |        1    38979     20 |  3.752 % |
21.38/21.47	c |    263604 |   39741   305156  1203160 |        1    39149     20 |  3.752 % |
21.38/21.47	c |    263705 |   39741   305156  1203160 |        1    39250     20 |  3.752 % |
21.38/21.47	c |    263941 |   39741   305156  1203160 |        1    39486     20 |  3.752 % |
21.38/21.47	c |    264221 |   39741   305156  1203160 |        1    39766     20 |  3.752 % |
21.38/21.47	c |    264322 |   39741   305156  1203160 |        1    39867     20 |  3.752 % |
21.38/21.47	c |    264422 |   39741   305156  1203160 |        1    39967     20 |  3.752 % |
21.38/21.47	c |    264908 |   39741   305156  1203160 |        1    40453     21 |  3.752 % |
21.38/21.47	c |    265008 |   39741   305156  1203160 |        1    40553     21 |  3.752 % |
21.38/21.47	c |    265108 |   39741   305156  1203160 |        1    40653     21 |  3.752 % |
21.38/21.47	c |    265210 |   39741   305156  1203160 |        1    40755     21 |  3.752 % |
21.38/21.47	c |    265311 |   39741   305156  1203160 |        1    40856     21 |  3.752 % |
21.38/21.47	c |    265413 |   39741   305156  1203160 |        1    40958     21 |  3.752 % |
21.38/21.47	c |    265590 |   39740   305138  1203099 |        1    40593     21 |  3.754 % |
21.38/21.47	c |    265691 |   39740   305138  1203099 |        1    40694     21 |  3.754 % |
21.38/21.47	c |    265792 |   39740   305138  1203099 |        1    40795     21 |  3.754 % |
21.38/21.47	c |    265892 |   39740   305138  1203099 |        1    40895     21 |  3.754 % |
21.38/21.47	c |    265992 |   39740   305138  1203099 |        1    40995     21 |  3.754 % |
21.38/21.47	c |    284529 |   39740   305138  1203099 |        1    59532     22 |  3.754 % |
21.38/21.47	c |    284629 |   39740   305138  1203099 |        1    59632     22 |  3.754 % |
21.38/21.47	c |    284729 |   39740   305138  1203099 |        1    59732     22 |  3.754 % |
21.38/21.47	c |    284831 |   39740   305138  1203099 |        1    59834     22 |  3.754 % |
21.38/21.47	c |    285029 |   39740   305138  1203099 |        1    60032     22 |  3.754 % |
21.38/21.47	c |    285129 |   39739   305124  1203057 |        1    60129     22 |  3.756 % |
21.38/21.47	c |    285230 |   39739   305124  1203057 |        1    60230     22 |  3.756 % |
21.38/21.47	c |    285441 |   39739   305124  1203057 |        1    60441     22 |  3.756 % |
21.38/21.47	c |    285543 |   39739   305124  1203057 |        1    60543     22 |  3.756 % |
21.38/21.47	c |    299605 |   39739   305124  1203057 |        1    40809     18 |  3.756 % |
21.38/21.47	c |    299768 |   39739   305124  1203057 |        1    40972     18 |  3.756 % |
21.38/21.47	c |    300266 |   39739   305124  1203057 |        1    41470     18 |  3.756 % |
21.38/21.47	c |    300366 |   39739   305124  1203057 |        1    41570     18 |  3.756 % |
21.38/21.47	c |    300546 |   39739   305124  1203057 |        1    41750     19 |  3.756 % |
21.38/21.47	c |    300647 |   39739   305124  1203057 |        1    41851     19 |  3.756 % |
21.38/21.47	c |    300852 |   36170   271825  1054895 |        1    32966     19 | 12.400 % |
21.38/21.47	c |    300953 |   36170   271825  1054895 |        1    33067     19 | 12.400 % |
21.38/21.47	c |    301078 |   36170   271825  1054895 |        1    33192     19 | 12.400 % |
21.38/21.47	c |    304002 |   36170   271825  1054895 |        1    36116     19 | 12.400 % |
21.38/21.47	c |    315903 |   36170   271825  1054895 |        1    48017     18 | 12.400 % |
21.38/21.47	c |    316005 |   36170   271825  1054895 |        1    48119     18 | 12.400 % |
21.38/21.47	c |    317357 |   36170   271825  1054895 |        1    49471     18 | 12.400 % |
21.38/21.47	c |    317678 |   36170   271825  1054895 |        1    49792     18 | 12.400 % |
21.38/21.47	c |    318969 |   36170   271825  1054895 |        1    51083     18 | 12.400 % |
24.28/24.39	c |    319096 |   36170   271825  1054895 |        1    51210     18 | 12.400 % |
24.28/24.39	c |    322201 |   36170   271825  1054895 |        1    54315     18 | 12.400 % |
24.28/24.39	c |    344542 |   36170   271825  1054895 |        1    44116     14 | 12.400 % |
24.28/24.39	c |    355149 |   36170   271825  1054895 |        1    54723     14 | 12.400 % |
24.28/24.39	c |    356076 |   36170   271825  1054895 |        1    55650     14 | 12.400 % |
24.28/24.39	c |    359780 |   36170   271825  1054895 |        1    59354     14 | 12.400 % |
24.28/24.39	c |    361877 |   36170   271825  1054895 |        1    61451     14 | 12.400 % |
24.28/24.39	c |    362423 |   36170   271825  1054895 |        1    61997     14 | 12.400 % |
24.28/24.39	c |    363628 |   36170   271825  1054895 |        1    63202     14 | 12.400 % |
24.28/24.39	c |    363728 |   36170   271825  1054895 |        1    63302     14 | 12.400 % |
24.28/24.39	c |    366587 |   36170   271825  1054895 |        1    66161     14 | 12.400 % |
24.28/24.39	c |    367454 |   36170   271825  1054895 |        1    67028     14 | 12.400 % |
24.28/24.39	c |    400656 |   35886   271154  1051868 |        1    29177     12 | 13.088 % |
24.28/24.39	c ===============================================================================
24.28/24.39	c restarts              : 651
24.28/24.39	c nb ReduceDB           : 16
24.28/24.39	c nb removed Clauses    : 323924
24.28/24.39	c nb learnts DL2        : 1701
24.28/24.39	c nb learnts size 2     : 424
24.28/24.39	c nb learnts size 1     : 63
24.28/24.39	c conflicts             : 400656         (18519 /sec)
24.28/24.39	c decisions             : 1349729        (0.00 % random) (62387 /sec)
24.28/24.39	c propagations          : 83597590       (3864049 /sec)
24.28/24.39	c conflict literals     : 10092724       (35.07 % deleted)
24.28/24.39	c nb reduced Clauses    : 1995
24.28/24.39	c CPU time              : 21.6347 s
24.28/24.39	
24.28/24.39	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-3281030-1303750724/watcher-3281030-1303750724 -o /tmp/evaluation-result-3281030-1303750724/solver-3281030-1303750724 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3281030-1303750724.cnf 

running on 2 cores: 5,7

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.92 3.99 3.90 4/192 14599
/proc/meminfo: memFree=19516120/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=0 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) R 14597 14599 13951 0 -1 4202496 317 0 0 0 0 0 0 0 21 0 1 0 467488545 8912896 253 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106589077 0 65538 4100 65536 0 0 0 17 5 0 0 0
/proc/14599/statm: 2176 253 211 178 0 69 0

[startup+0.0207771 s]
/proc/loadavg: 3.92 3.99 3.90 4/192 14599
/proc/meminfo: memFree=19516120/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=0 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 467488545 8912896 253 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/14599/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100761 s]
/proc/loadavg: 3.92 3.99 3.90 4/192 14599
/proc/meminfo: memFree=19516120/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=0 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 467488545 8912896 253 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/14599/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300726 s]
/proc/loadavg: 3.92 3.99 3.90 4/192 14599
/proc/meminfo: memFree=19516120/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=0 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 467488545 8912896 253 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/14599/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700662 s]
/proc/loadavg: 3.92 3.99 3.90 4/192 14599
/proc/meminfo: memFree=19516120/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=0 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 467488545 8912896 253 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/14599/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50051 s]
/proc/loadavg: 3.92 3.99 3.90 5/194 14602
/proc/meminfo: memFree=19403876/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=0 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 467488545 8912896 253 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/14599/statm: 2176 253 211 178 0 69 0
[pid=14600] ppid=14599 vsize=145364 CPUtime=1.48 cores=5,7
/proc/14600/stat : 14600 (SatELite_releas) R 14599 14599 13951 0 -1 4202496 30966 0 0 0 139 9 0 0 25 0 1 0 467488546 148852736 28750 33554432000 134512640 135144242 4290630640 18446744073709551615 134726939 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14600/statm: 36341 28750 77 155 0 36184 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 154068

[startup+3.1002 s]
/proc/loadavg: 3.92 3.99 3.90 5/194 14602
/proc/meminfo: memFree=19376596/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 8704

[startup+6.30067 s]
/proc/loadavg: 3.93 3.99 3.90 5/194 14603
/proc/meminfo: memFree=19479340/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=49688 CPUtime=3.57 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 14787 0 0 0 355 2 0 0 25 0 1 0 467488818 50880512 8108 33554432000 4194304 4260849 140736889187024 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 12422 8108 251 17 0 9063 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58392

[startup+12.7006 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19445504/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=80400 CPUtime=9.97 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 22228 0 0 0 994 3 0 0 25 0 1 0 467488818 82329600 15199 33554432000 4194304 4260849 140736889187024 18446744073709551615 4209456 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 20100 15199 251 17 0 16741 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89104

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

[startup+19.1004 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19436576/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=80400 CPUtime=16.37 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 22443 0 0 0 1634 3 0 0 25 0 1 0 467488818 82329600 15413 33554432000 4194304 4260849 140736889187024 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 20100 15413 251 17 0 16741 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 89104

[startup+22.3009 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19428624/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=80400 CPUtime=19.57 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 22443 0 0 0 1954 3 0 0 25 0 1 0 467488818 82329600 15413 33554432000 4194304 4260849 140736889187024 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 20100 15413 251 17 0 16741 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 89104

[startup+23.1067 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19428748/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=80400 CPUtime=20.37 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 22443 0 0 0 2034 3 0 0 25 0 1 0 467488818 82329600 15413 33554432000 4194304 4260849 140736889187024 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 20100 15413 251 17 0 16741 0
Current children cumulated CPU time (s) 23.08
Current children cumulated vsize (KiB) 89104

[startup+23.9006 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19428748/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=80400 CPUtime=21.17 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 22443 0 0 0 2114 3 0 0 25 0 1 0 467488818 82329600 15413 33554432000 4194304 4260849 140736889187024 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 20100 15413 251 17 0 16741 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 89104

[startup+24.3005 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19428748/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=2.71 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 360 34584 0 0 0 0 258 13 18 0 1 0 467488545 8912896 255 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 255 211 178 0 69 0
[pid=14603] ppid=14599 vsize=80400 CPUtime=21.57 cores=5,7
/proc/14603/stat : 14603 (glucose_static) R 14599 14599 13951 0 -1 4202496 23614 0 0 0 2154 3 0 0 25 0 1 0 467488818 82329600 16428 33554432000 4194304 4260849 140736889187024 18446744073709551615 4226724 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14603/statm: 20100 16428 251 17 0 16741 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 89104

[startup+24.4005 s]
/proc/loadavg: 3.94 3.99 3.90 5/194 14604
/proc/meminfo: memFree=19428748/32951124 swapFree=67111524/67111528
[pid=14599] ppid=14597 vsize=8704 CPUtime=24.39 cores=5,7
/proc/14599/stat : 14599 (glucose.sh) S 14597 14599 13951 0 -1 4202496 390 58202 0 0 0 0 2422 17 18 0 1 0 467488545 8912896 257 33554432000 4194304 4922060 140737367730624 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/14599/statm: 2176 257 213 178 0 69 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 8704

Child status: 20
Real time (s): 24.4064
CPU time (s): 24.4043
CPU user time (s): 24.2223
CPU system time (s): 0.181972
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 158488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2223
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58773
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= 11
involuntary context switches= 37

runsolver used 0.040993 second user time and 0.103984 second system time

The end

Launcher Data

Begin job on node144 at 2011-04-25 18:58:44
IDJOB=3281030
IDBENCH=20495
IDSOLVER=1651
FILE ID=node144/3281030-1303750724
RUNJOBID= node144-1303749419-14282
PBS_JOBID= 13154018
Free space on /tmp= 72152 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281030-1303750724/watcher-3281030-1303750724 -o /tmp/evaluation-result-3281030-1303750724/solver-3281030-1303750724 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3281030-1303750724.cnf 

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

MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=585690407

node144.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.850
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.70
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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
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.850
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.850
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.83
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.850
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19516516 kB
Buffers:       2163032 kB
Cached:       10444972 kB
SwapCached:          4 kB
Active:        3741976 kB
Inactive:      9156188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19516516 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           22532 kB
Writeback:           0 kB
AnonPages:      289324 kB
Mapped:          15604 kB
Slab:           470744 kB
PageTables:       5780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   504936 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= 72148 MiB
End job on node144 at 2011-04-25 18:59:09