Trace number 3286918

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 457.783 457.786

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
MD5SUM28b7074e04e59e64b5e4d7991d54f9d1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark15.4606
Satisfiable
(Un)Satisfiability was proved
Number of variables448370
Number of clauses1130525
Sum of the clauses size2637889
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2753682
Number of clauses of size 3376841
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.48	c ==============================================================================
0.00/0.48	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.48	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.48	c ==============================================================================
0.00/0.48	c |         0 | 1130523  2637887 |  339156       0        0     nan |  0.000 % |
441.20/441.25	c |         0 |  101640   410022 |      --       0       --      -- |     --   | -1019741/-2205924
441.20/441.25	c ==============================================================================
441.20/441.25	c Result  :   #vars: 6404   #clauses: 101640   #literals: 410022
441.20/441.25	c CPU time:   440.974 s
441.20/441.25	c ==============================================================================
441.29/441.34	c
441.29/441.34	c Starting glucose
441.29/441.34	c
443.28/443.31	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
443.28/443.31	c WARNING: for repeatability, setting FPU to use double precision
443.28/443.31	c ============================[ Problem Statistics ]=============================
443.28/443.31	c |                                                                             |
443.28/443.31	c |  Number of variables:          6404                                         |
443.28/443.31	c |  Number of clauses:          101640                                         |
443.28/443.31	c |  Parse time:                   0.03 s                                       |
443.28/443.31	c |                                                                             |
443.28/443.31	c ============================[ Search Statistics ]==============================
443.28/443.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
443.28/443.31	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
443.28/443.31	c ===============================================================================
443.28/443.31	c |      1604 |    6379   101640   410022 |        1     1603    120 |  0.390 % |
443.28/443.31	c |      1706 |    6379   101640   410022 |        1     1705    125 |  0.390 % |
443.28/443.31	c |      1806 |    6379   101640   410022 |        1     1805    128 |  0.390 % |
443.28/443.31	c |      1907 |    6379   101640   410022 |        1     1906    131 |  0.390 % |
443.28/443.31	c |      2007 |    6379   101640   410022 |        1     2006    132 |  0.390 % |
443.28/443.31	c |      2107 |    6379   101640   410022 |        1     2106    131 |  0.390 % |
443.28/443.31	c |      2207 |    6379   101640   410022 |        1     2206    129 |  0.390 % |
443.28/443.31	c |      2307 |    6379   101640   410022 |        1     2306    129 |  0.390 % |
443.28/443.31	c |      2407 |    6379   101640   410022 |        1     2406    133 |  0.390 % |
443.28/443.31	c |      2507 |    6379   101640   410022 |        1     2506    138 |  0.390 % |
443.28/443.31	c |      2607 |    6379   101640   410022 |        1     2606    140 |  0.390 % |
443.28/443.31	c |      2707 |    6379   101640   410022 |        1     2706    141 |  0.390 % |
443.28/443.31	c |     25685 |    6379   101488   409086 |        1    12650    106 |  0.390 % |
443.28/443.31	c |     25786 |    6379   101488   409086 |        1    12751    106 |  0.390 % |
443.28/443.31	c |     25887 |    6379   101488   409086 |        1    12852    107 |  0.390 % |
443.28/443.31	c |     25987 |    6379   101488   409086 |        1    12952    108 |  0.390 % |
443.28/443.31	c |     26087 |    6379   101488   409086 |        1    13052    108 |  0.390 % |
443.28/443.31	c |     26187 |    6379   101488   409086 |        1    13152    109 |  0.390 % |
443.28/443.31	c |     26287 |    6379   101488   409086 |        1    13252    109 |  0.390 % |
443.28/443.31	c |     26387 |    6379   101488   409086 |        1    13352    110 |  0.390 % |
443.28/443.31	c |     26487 |    6379   101488   409086 |        1    13452    110 |  0.390 % |
443.28/443.31	c |     34245 |    6379   101488   409086 |        1    11967     98 |  0.390 % |
443.28/443.31	c |     34346 |    6379   101488   409086 |        1    12068     99 |  0.390 % |
443.28/443.31	c |     34446 |    6379   101488   409086 |        1    12168    100 |  0.390 % |
443.28/443.31	c |     34546 |    6379   101488   409086 |        1    12268    100 |  0.390 % |
443.28/443.31	c |     34647 |    6379   101488   409086 |        1    12369    101 |  0.390 % |
443.28/443.31	c |     34753 |    6379   101488   409086 |        1    12475    101 |  0.390 % |
443.28/443.31	c |     34853 |    6379   101488   409086 |        1    12575    101 |  0.390 % |
443.28/443.31	c |     34954 |    6379   101488   409086 |        1    12676    102 |  0.390 % |
443.28/443.31	c |     35055 |    6379   101488   409086 |        1    12777    103 |  0.390 % |
443.28/443.31	c |     35155 |    6379   101488   409086 |        1    12877    103 |  0.390 % |
443.28/443.31	c |     35256 |    6379   101488   409086 |        1    12978    104 |  0.390 % |
443.28/443.31	c |     35357 |    6379   101488   409086 |        1    13079    104 |  0.390 % |
443.28/443.31	c |     35458 |    6379   101488   409086 |        1    13180    104 |  0.390 % |
443.28/443.31	c |     35559 |    6379   101488   409086 |        1    13281    105 |  0.390 % |
443.28/443.31	c |     35659 |    6379   101488   409086 |        1    13381    106 |  0.390 % |
443.28/443.31	c |     35760 |    6379   101488   409086 |        1    13482    106 |  0.390 % |
443.28/443.31	c |     35861 |    6379   101488   409086 |        1    13583    106 |  0.390 % |
443.28/443.31	c |     36024 |    6379   101488   409086 |        1    13746    106 |  0.390 % |
443.58/443.67	c |     36193 |    6379   101488   409086 |        1    13915    106 |  0.390 % |
443.58/443.67	c |     36393 |    6379   101488   409086 |        1    14115    105 |  0.390 % |
443.58/443.67	c |     36494 |    6379   101488   409086 |        1    14216    106 |  0.390 % |
443.58/443.67	c |     36594 |    6379   101488   409086 |        1    14316    106 |  0.390 % |
443.58/443.67	c |     36694 |    6379   101488   409086 |        1    14416    106 |  0.390 % |
443.58/443.67	c |     36794 |    6379   101488   409086 |        1    14516    106 |  0.390 % |
443.58/443.67	c |     36894 |    6379   101488   409086 |        1    14616    107 |  0.390 % |
443.58/443.67	c |     36994 |    6379   101488   409086 |        1    14716    107 |  0.390 % |
443.58/443.67	c |     37095 |    6379   101488   409086 |        1    14817    107 |  0.390 % |
443.58/443.67	c |     37195 |    6379   101488   409086 |        1    14917    107 |  0.390 % |
443.58/443.67	c |     37301 |    6379   101488   409086 |        1    15023    107 |  0.390 % |
443.58/443.67	c |     37403 |    6379   101488   409086 |        1    15125    108 |  0.390 % |
443.58/443.67	c |     37503 |    6379   101488   409086 |        1    15225    108 |  0.390 % |
443.58/443.67	c |     37604 |    6379   101488   409086 |        1    15326    108 |  0.390 % |
443.58/443.67	c |     37704 |    6379   101488   409086 |        1    15426    108 |  0.390 % |
443.58/443.67	c |     37804 |    6379   101488   409086 |        1    15526    108 |  0.390 % |
443.58/443.67	c |     37904 |    6379   101488   409086 |        1    15626    108 |  0.390 % |
443.58/443.67	c |     38005 |    6379   101488   409086 |        1    15727    108 |  0.390 % |
443.58/443.67	c |     38122 |    6379   101488   409086 |        1    15844    108 |  0.390 % |
443.58/443.67	c |     38288 |    6379   101488   409086 |        1    16010    108 |  0.390 % |
443.58/443.67	c |     38496 |    6379   101488   409086 |        1    16218    108 |  0.390 % |
443.58/443.67	c |     38597 |    6379   101488   409086 |        1    16319    108 |  0.390 % |
443.58/443.67	c |     38698 |    6379   101488   409086 |        1    16420    109 |  0.390 % |
443.58/443.67	c |     39070 |    6379   101488   409086 |        1    16792    108 |  0.390 % |
443.58/443.67	c |     39262 |    6379   101488   409086 |        1    16984    108 |  0.390 % |
443.58/443.67	c |     39362 |    6379   101488   409086 |        1    17084    108 |  0.390 % |
443.58/443.67	c |     39462 |    6379   101488   409086 |        1    17184    108 |  0.390 % |
443.58/443.67	c |     39562 |    6379   101488   409086 |        1    17284    108 |  0.390 % |
443.58/443.67	c |     39662 |    6379   101488   409086 |        1    17384    109 |  0.390 % |
443.58/443.67	c |     39762 |    6379   101488   409086 |        1    17484    109 |  0.390 % |
443.58/443.67	c |     40043 |    6379   101488   409086 |        1    17765    109 |  0.390 % |
443.58/443.67	c |     40144 |    6379   101488   409086 |        1    17866    109 |  0.390 % |
443.58/443.67	c |     40245 |    6379   101488   409086 |        1    17967    109 |  0.390 % |
443.58/443.67	c |     40347 |    6379   101488   409086 |        1    18069    109 |  0.390 % |
443.58/443.67	c |     40447 |    6379   101488   409086 |        1    18169    109 |  0.390 % |
443.58/443.67	c |     40547 |    6379   101488   409086 |        1    18269    109 |  0.390 % |
443.58/443.67	c |     40750 |    6379   101488   409086 |        1    18472    109 |  0.390 % |
443.58/443.67	c |     40851 |    6379   101488   409086 |        1    18573    109 |  0.390 % |
443.58/443.67	c |     40951 |    6379   101488   409086 |        1    18673    109 |  0.390 % |
443.58/443.67	c |     41051 |    6379   101488   409086 |        1    18773    109 |  0.390 % |
443.58/443.67	c |     41152 |    6379   101488   409086 |        1    18874    109 |  0.390 % |
443.58/443.67	c |     41289 |    6379   101488   409086 |        1    19011    109 |  0.390 % |
443.58/443.67	c |     41504 |    6379   101488   409086 |        1    19226    109 |  0.390 % |
443.58/443.67	c |     41605 |    6379   101488   409086 |        1    19327    109 |  0.390 % |
443.58/443.67	c |     41770 |    6379   101488   409086 |        1    19492    109 |  0.390 % |
443.58/443.67	c |     41870 |    6379   101488   409086 |        1    19592    109 |  0.390 % |
443.58/443.67	c |     41971 |    6379   101488   409086 |        1    19693    110 |  0.390 % |
443.58/443.67	c |     42319 |    6379   101488   409086 |        1    20041    109 |  0.390 % |
443.58/443.67	c |     42419 |    6379   101488   409086 |        1    20141    109 |  0.390 % |
443.58/443.67	c |     42519 |    6379   101488   409086 |        1    20241    109 |  0.390 % |
446.88/446.99	c |     42622 |    6379   101488   409086 |        1    20344    110 |  0.390 % |
446.88/446.99	c |     42722 |    6379   101488   409086 |        1    20444    110 |  0.390 % |
446.88/446.99	c |     42822 |    6379   101488   409086 |        1    20544    111 |  0.390 % |
446.88/446.99	c |     43257 |    6379   101488   409086 |        1    20979    111 |  0.390 % |
446.88/446.99	c |     43534 |    6379   101488   409086 |        1    21256    111 |  0.390 % |
446.88/446.99	c |     43772 |    6379   101488   409086 |        1    21494    111 |  0.390 % |
446.88/446.99	c |     43872 |    6379   101488   409086 |        1    21594    111 |  0.390 % |
446.88/446.99	c |     43973 |    6379   101488   409086 |        1    21695    111 |  0.390 % |
446.88/446.99	c |     44074 |    6379   101488   409086 |        1    21796    111 |  0.390 % |
446.88/446.99	c |     44191 |    6379   101488   409086 |        1    21913    111 |  0.390 % |
446.88/446.99	c |     44292 |    6379   101488   409086 |        1    22014    111 |  0.390 % |
446.88/446.99	c |     44393 |    6379   101488   409086 |        1    22115    112 |  0.390 % |
446.88/446.99	c |     44493 |    6379   101488   409086 |        1    22215    112 |  0.390 % |
446.88/446.99	c |     44594 |    6379   101488   409086 |        1    22316    112 |  0.390 % |
446.88/446.99	c |     47950 |    6379   101488   409086 |        1    13819     87 |  0.390 % |
446.88/446.99	c |     48050 |    6379   101488   409086 |        1    13919     87 |  0.390 % |
446.88/446.99	c |     48150 |    6379   101488   409086 |        1    14019     88 |  0.390 % |
446.88/446.99	c |     48253 |    6379   101488   409086 |        1    14122     88 |  0.390 % |
446.88/446.99	c |     48354 |    6379   101488   409086 |        1    14223     89 |  0.390 % |
446.88/446.99	c |     48669 |    6379   101488   409086 |        1    14538     89 |  0.390 % |
446.88/446.99	c |     48770 |    6379   101488   409086 |        1    14639     89 |  0.390 % |
446.88/446.99	c |     48871 |    6379   101488   409086 |        1    14740     89 |  0.390 % |
446.88/446.99	c |     48971 |    6379   101488   409086 |        1    14840     90 |  0.390 % |
446.88/446.99	c |     55972 |    6379   101488   409086 |        1    21841    100 |  0.390 % |
446.88/446.99	c |     56072 |    6379   101488   409086 |        1    21941    100 |  0.390 % |
446.88/446.99	c |     56173 |    6379   101488   409086 |        1    22042    100 |  0.390 % |
446.88/446.99	c |     56273 |    6379   101488   409086 |        1    22142    101 |  0.390 % |
446.88/446.99	c |     56463 |    6379   101488   409086 |        1    22332    101 |  0.390 % |
446.88/446.99	c |     56625 |    6379   101488   409086 |        1    22494    101 |  0.390 % |
446.88/446.99	c |     56725 |    6379   101488   409086 |        1    22594    101 |  0.390 % |
446.88/446.99	c |     56825 |    6379   101488   409086 |        1    22694    101 |  0.390 % |
446.88/446.99	c |     56925 |    6379   101488   409086 |        1    22794    101 |  0.390 % |
446.88/446.99	c |     57026 |    6379   101488   409086 |        1    22895    101 |  0.390 % |
446.88/446.99	c |     57126 |    6379   101488   409086 |        1    22995    101 |  0.390 % |
446.88/446.99	c |     57226 |    6379   101488   409086 |        1    23095    101 |  0.390 % |
446.88/446.99	c |     57328 |    6379   101488   409086 |        1    23197    101 |  0.390 % |
446.88/446.99	c |     57428 |    6379   101488   409086 |        1    23297    102 |  0.390 % |
446.88/446.99	c |     57528 |    6379   101488   409086 |        1    23397    102 |  0.390 % |
446.88/446.99	c |     57629 |    6379   101488   409086 |        1    23498    102 |  0.390 % |
446.88/446.99	c |     57731 |    6379   101488   409086 |        1    23600    102 |  0.390 % |
446.88/446.99	c |     79819 |    6379   101488   409086 |        1    31297    101 |  0.390 % |
446.88/446.99	c |     99921 |    6379   101488   409086 |        1    34371    104 |  0.390 % |
446.88/446.99	c |    100021 |    6379   101488   409086 |        1    34471    104 |  0.390 % |
446.88/446.99	c |    100224 |    6379   101488   409086 |        1    34674    104 |  0.390 % |
446.88/446.99	c |    100325 |    6379   101488   409086 |        1    34775    104 |  0.390 % |
446.88/446.99	c |    100426 |    6379   101488   409086 |        1    34876    104 |  0.390 % |
446.88/446.99	c |    100526 |    6379   101488   409086 |        1    34976    104 |  0.390 % |
446.88/446.99	c |    100710 |    6379   101488   409086 |        1    35160    104 |  0.390 % |
446.88/446.99	c |    100881 |    6379   101488   409086 |        1    35331    104 |  0.390 % |
446.88/446.99	c |    101072 |    6379   101488   409086 |        1    35522    104 |  0.390 % |
452.88/452.97	c |    101173 |    6379   101488   409086 |        1    35623    105 |  0.390 % |
452.88/452.97	c |    101274 |    6379   101488   409086 |        1    35724    105 |  0.390 % |
452.88/452.97	c |    101619 |    6379   101488   409086 |        1    36069    104 |  0.390 % |
452.88/452.97	c |    115374 |    6379   101488   409086 |        1    30235     90 |  0.390 % |
452.88/452.97	c |    115474 |    6379   101488   409086 |        1    30335     90 |  0.390 % |
452.88/452.97	c |    115959 |    6379   101488   409086 |        1    30820     91 |  0.390 % |
452.88/452.97	c |    122598 |    6379   101488   409086 |        1    37459    101 |  0.390 % |
452.88/452.97	c |    122698 |    6379   101488   409086 |        1    37559    101 |  0.390 % |
452.88/452.97	c |    122798 |    6379   101488   409086 |        1    37659    102 |  0.390 % |
452.88/452.97	c |    131241 |    6379   101488   409086 |        1    23872     79 |  0.390 % |
452.88/452.97	c |    131341 |    6379   101488   409086 |        1    23972     79 |  0.390 % |
452.88/452.97	c |    131683 |    6379   101488   409086 |        1    24314     79 |  0.390 % |
452.88/452.97	c |    132273 |    6379   101488   409086 |        1    24904     81 |  0.390 % |
452.88/452.97	c |    132375 |    6379   101488   409086 |        1    25006     81 |  0.390 % |
452.88/452.97	c |    132475 |    6379   101488   409086 |        1    25106     81 |  0.390 % |
452.88/452.97	c |    132575 |    6379   101488   409086 |        1    25206     82 |  0.390 % |
452.88/452.97	c |    132676 |    6379   101488   409086 |        1    25307     82 |  0.390 % |
452.88/452.97	c |    132965 |    6379   101488   409086 |        1    25596     82 |  0.390 % |
452.88/452.97	c |    133065 |    6379   101488   409086 |        1    25696     82 |  0.390 % |
452.88/452.97	c |    133166 |    6379   101488   409086 |        1    25797     83 |  0.390 % |
452.88/452.97	c |    133952 |    6379   101488   409086 |        1    26583     82 |  0.390 % |
452.88/452.97	c |    134074 |    6379   101488   409086 |        1    26705     82 |  0.390 % |
452.88/452.97	c |    134174 |    6379   101488   409086 |        1    26805     82 |  0.390 % |
452.88/452.97	c |    134276 |    6379   101488   409086 |        1    26907     82 |  0.390 % |
452.88/452.97	c |    153278 |    6379   101488   409086 |        1    45909     99 |  0.390 % |
452.88/452.97	c |    153378 |    6379   101488   409086 |        1    46009     99 |  0.390 % |
452.88/452.97	c |    153478 |    6379   101488   409086 |        1    46109     99 |  0.390 % |
452.88/452.97	c |    153579 |    6379   101488   409086 |        1    46210     99 |  0.390 % |
452.88/452.97	c |    153717 |    6379   101488   409086 |        1    46348     99 |  0.390 % |
452.88/452.97	c |    153818 |    6379   101488   409086 |        1    46449     99 |  0.390 % |
452.88/452.97	c |    153919 |    6379   101488   409086 |        1    46550     99 |  0.390 % |
452.88/452.97	c |    154046 |    6379   101488   409086 |        1    46677     99 |  0.390 % |
452.88/452.97	c |    154147 |    6379   101488   409086 |        1    46778     99 |  0.390 % |
452.88/452.97	c |    154248 |    6379   101488   409086 |        1    46879     99 |  0.390 % |
452.88/452.97	c |    154349 |    6379   101488   409086 |        1    46980    100 |  0.390 % |
452.88/452.97	c |    154450 |    6379   101488   409086 |        1    47081    100 |  0.390 % |
452.88/452.97	c |    154550 |    6379   101488   409086 |        1    47181    100 |  0.390 % |
452.88/452.97	c |    155029 |    6379   101488   409086 |        1    47660    100 |  0.390 % |
452.88/452.97	c |    155129 |    6379   101488   409086 |        1    47760    100 |  0.390 % |
452.88/452.97	c |    155231 |    6379   101488   409086 |        1    47862    100 |  0.390 % |
452.88/452.97	c |    180307 |    6379   101488   409086 |        1    48125    109 |  0.390 % |
452.88/452.97	c |    180407 |    6379   101488   409086 |        1    48225    109 |  0.390 % |
452.88/452.97	c |    180601 |    6379   101488   409086 |        1    48419    109 |  0.390 % |
452.88/452.97	c |    180702 |    6379   101488   409086 |        1    48520    109 |  0.390 % |
452.88/452.97	c |    190102 |    6379   101488   409086 |        1    30536     82 |  0.390 % |
452.88/452.97	c |    190203 |    6379   101488   409086 |        1    30637     82 |  0.390 % |
452.88/452.97	c |    190305 |    6379   101488   409086 |        1    30739     82 |  0.390 % |
452.88/452.97	c |    190405 |    6379   101488   409086 |        1    30839     82 |  0.390 % |
452.88/452.97	c |    190518 |    6379   101488   409086 |        1    30952     82 |  0.390 % |
452.88/452.97	c |    190619 |    6379   101488   409086 |        1    31053     82 |  0.390 % |
453.38/453.44	c |    190719 |    6379   101488   409086 |        1    31153     82 |  0.390 % |
453.38/453.44	c |    190819 |    6379   101488   409086 |        1    31253     82 |  0.390 % |
453.38/453.44	c |    190920 |    6379   101488   409086 |        1    31354     82 |  0.390 % |
453.38/453.44	c |    191020 |    6379   101488   409086 |        1    31454     83 |  0.390 % |
453.38/453.44	c |    191121 |    6379   101488   409086 |        1    31555     83 |  0.390 % |
453.38/453.44	c |    191221 |    6379   101488   409086 |        1    31655     83 |  0.390 % |
453.38/453.44	c |    191361 |    6379   101488   409086 |        1    31795     83 |  0.390 % |
453.38/453.44	c |    191476 |    6379   101488   409086 |        1    31910     83 |  0.390 % |
453.38/453.44	c |    191577 |    6379   101488   409086 |        1    32011     83 |  0.390 % |
453.38/453.44	c |    191678 |    6379   101488   409086 |        1    32112     83 |  0.390 % |
453.38/453.44	c |    191863 |    6379   101488   409086 |        1    32297     83 |  0.390 % |
453.38/453.44	c |    191963 |    6379   101488   409086 |        1    32397     83 |  0.390 % |
453.38/453.44	c |    192063 |    6379   101488   409086 |        1    32497     83 |  0.390 % |
453.38/453.44	c |    192163 |    6379   101488   409086 |        1    32597     84 |  0.390 % |
453.38/453.44	c |    192369 |    6379   101488   409086 |        1    32803     84 |  0.390 % |
453.38/453.44	c |    192469 |    6379   101488   409086 |        1    32903     84 |  0.390 % |
453.38/453.44	c |    192624 |    6379   101488   409086 |        1    33058     84 |  0.390 % |
453.38/453.44	c |    192724 |    6379   101488   409086 |        1    33158     84 |  0.390 % |
453.38/453.44	c |    192824 |    6379   101488   409086 |        1    33258     84 |  0.390 % |
453.38/453.44	c |    192924 |    6379   101488   409086 |        1    33358     84 |  0.390 % |
453.38/453.44	c |    193025 |    6379   101488   409086 |        1    33459     84 |  0.390 % |
453.38/453.44	c |    193125 |    6379   101488   409086 |        1    33559     84 |  0.390 % |
453.38/453.44	c |    193226 |    6379   101488   409086 |        1    33660     84 |  0.390 % |
453.38/453.44	c |    193326 |    6379   101488   409086 |        1    33760     84 |  0.390 % |
453.38/453.44	c |    193426 |    6379   101488   409086 |        1    33860     85 |  0.390 % |
453.38/453.44	c |    193526 |    6379   101488   409086 |        1    33960     85 |  0.390 % |
453.38/453.44	c |    193627 |    6379   101488   409086 |        1    34061     85 |  0.390 % |
453.38/453.44	c |    193727 |    6379   101488   409086 |        1    34161     85 |  0.390 % |
453.38/453.44	c |    193827 |    6379   101488   409086 |        1    34261     85 |  0.390 % |
453.38/453.44	c |    193928 |    6379   101488   409086 |        1    34362     85 |  0.390 % |
453.38/453.44	c |    194029 |    6379   101488   409086 |        1    34463     85 |  0.390 % |
453.38/453.44	c |    194130 |    6379   101488   409086 |        1    34564     85 |  0.390 % |
453.38/453.44	c |    194230 |    6379   101488   409086 |        1    34664     85 |  0.390 % |
453.38/453.44	c |    194331 |    6379   101488   409086 |        1    34765     85 |  0.390 % |
453.38/453.44	c |    194432 |    6379   101488   409086 |        1    34866     85 |  0.390 % |
453.38/453.44	c |    194532 |    6379   101488   409086 |        1    34966     86 |  0.390 % |
453.38/453.44	c |    194650 |    6379   101488   409086 |        1    35084     86 |  0.390 % |
453.38/453.44	c |    196763 |    6379   101488   409086 |        1    37197     88 |  0.390 % |
453.38/453.44	c |    196864 |    6379   101488   409086 |        1    37298     89 |  0.390 % |
453.38/453.44	c |    196964 |    6379   101488   409086 |        1    37398     89 |  0.390 % |
453.38/453.44	c |    197066 |    6379   101488   409086 |        1    37500     89 |  0.390 % |
453.38/453.44	c |    197204 |    6379   101488   409086 |        1    37638     89 |  0.390 % |
453.38/453.44	c |    197305 |    6379   101488   409086 |        1    37739     89 |  0.390 % |
453.38/453.44	c |    197408 |    6379   101488   409086 |        1    37842     89 |  0.390 % |
453.38/453.44	c |    197508 |    6379   101488   409086 |        1    37942     89 |  0.390 % |
453.38/453.44	c |    197608 |    6379   101488   409086 |        1    38042     89 |  0.390 % |
453.38/453.44	c |    197708 |    6379   101488   409086 |        1    38142     89 |  0.390 % |
453.38/453.44	c |    197809 |    6379   101488   409086 |        1    38243     89 |  0.390 % |
453.38/453.44	c |    197911 |    6379   101488   409086 |        1    38345     89 |  0.390 % |
453.38/453.44	c |    198011 |    6379   101488   409086 |        1    38445     89 |  0.390 % |
453.88/453.92	c |    198216 |    6379   101488   409086 |        1    38650     89 |  0.390 % |
453.88/453.92	c |    198317 |    6379   101488   409086 |        1    38751     89 |  0.390 % |
453.88/453.92	c |    198477 |    6379   101488   409086 |        1    38911     89 |  0.390 % |
453.88/453.92	c |    198578 |    6379   101488   409086 |        1    39012     89 |  0.390 % |
453.88/453.92	c |    198791 |    6379   101488   409086 |        1    39225     89 |  0.390 % |
453.88/453.92	c |    198892 |    6379   101488   409086 |        1    39326     90 |  0.390 % |
453.88/453.92	c |    198992 |    6379   101488   409086 |        1    39426     90 |  0.390 % |
453.88/453.92	c |    199092 |    6379   101488   409086 |        1    39526     90 |  0.390 % |
453.88/453.92	c |    199192 |    6379   101488   409086 |        1    39626     90 |  0.390 % |
453.88/453.92	c |    199292 |    6379   101488   409086 |        1    39726     90 |  0.390 % |
453.88/453.92	c |    199466 |    6379   101488   409086 |        1    39900     90 |  0.390 % |
453.88/453.92	c |    199566 |    6379   101488   409086 |        1    40000     90 |  0.390 % |
453.88/453.92	c |    199666 |    6379   101488   409086 |        1    40100     90 |  0.390 % |
453.88/453.92	c |    199766 |    6379   101488   409086 |        1    40200     90 |  0.390 % |
453.88/453.92	c |    199866 |    6379   101488   409086 |        1    40300     90 |  0.390 % |
453.88/453.92	c |    199971 |    6379   101488   409086 |        1    40405     90 |  0.390 % |
453.88/453.92	c |    200072 |    6379   101488   409086 |        1    40506     90 |  0.390 % |
453.88/453.92	c |    200172 |    6379   101488   409086 |        1    40606     90 |  0.390 % |
453.88/453.92	c |    200272 |    6379   101488   409086 |        1    40706     90 |  0.390 % |
453.88/453.92	c |    200373 |    6379   101488   409086 |        1    40807     91 |  0.390 % |
453.88/453.92	c |    200649 |    6379   101488   409086 |        1    41083     90 |  0.390 % |
453.88/453.92	c |    200749 |    6379   101488   409086 |        1    41183     91 |  0.390 % |
453.88/453.92	c |    200850 |    6379   101488   409086 |        1    41284     91 |  0.390 % |
453.88/453.92	c |    201045 |    6379   101488   409086 |        1    41479     91 |  0.390 % |
453.88/453.92	c |    201146 |    6379   101488   409086 |        1    41580     91 |  0.390 % |
453.88/453.92	c |    201305 |    6379   101488   409086 |        1    41739     91 |  0.390 % |
453.88/453.92	c |    201436 |    6379   101488   409086 |        1    41870     91 |  0.390 % |
453.88/453.92	c |    201536 |    6379   101488   409086 |        1    41970     91 |  0.390 % |
453.88/453.92	c |    201638 |    6379   101488   409086 |        1    42072     91 |  0.390 % |
453.88/453.92	c |    201816 |    6379   101488   409086 |        1    42250     91 |  0.390 % |
453.88/453.92	c |    201917 |    6379   101488   409086 |        1    42351     91 |  0.390 % |
453.88/453.92	c |    202017 |    6379   101488   409086 |        1    42451     91 |  0.390 % |
453.88/453.92	c |    202117 |    6379   101488   409086 |        1    42551     91 |  0.390 % |
453.88/453.92	c |    202218 |    6379   101488   409086 |        1    42652     91 |  0.390 % |
453.88/453.92	c |    202319 |    6379   101488   409086 |        1    42753     92 |  0.390 % |
453.88/453.92	c |    202566 |    6379   101488   409086 |        1    43000     92 |  0.390 % |
453.88/453.92	c |    202666 |    6379   101488   409086 |        1    43100     92 |  0.390 % |
453.88/453.92	c |    202768 |    6379   101488   409086 |        1    43202     92 |  0.390 % |
453.88/453.92	c |    202868 |    6379   101488   409086 |        1    43302     92 |  0.390 % |
453.88/453.92	c |    202968 |    6379   101488   409086 |        1    43402     92 |  0.390 % |
453.88/453.92	c |    203070 |    6379   101488   409086 |        1    43504     92 |  0.390 % |
453.88/453.92	c |    203170 |    6379   101488   409086 |        1    43604     92 |  0.390 % |
453.88/453.92	c |    203270 |    6379   101488   409086 |        1    43704     92 |  0.390 % |
453.88/453.92	c |    203371 |    6379   101488   409086 |        1    43805     92 |  0.390 % |
453.88/453.92	c |    203472 |    6379   101488   409086 |        1    43906     92 |  0.390 % |
453.88/453.92	c |    203573 |    6379   101488   409086 |        1    44007     92 |  0.390 % |
453.88/453.92	c |    203673 |    6379   101488   409086 |        1    44107     93 |  0.390 % |
453.88/453.92	c |    203773 |    6379   101488   409086 |        1    44207     93 |  0.390 % |
453.88/453.92	c |    203875 |    6379   101488   409086 |        1    44309     93 |  0.390 % |
453.88/453.92	c |    203976 |    6379   101488   409086 |        1    44410     93 |  0.390 % |
454.38/454.44	c |    204077 |    6379   101488   409086 |        1    44511     93 |  0.390 % |
454.38/454.44	c |    204178 |    6379   101488   409086 |        1    44612     93 |  0.390 % |
454.38/454.44	c |    204279 |    6379   101488   409086 |        1    44713     93 |  0.390 % |
454.38/454.44	c |    204379 |    6379   101488   409086 |        1    44813     93 |  0.390 % |
454.38/454.44	c |    204480 |    6379   101488   409086 |        1    44914     93 |  0.390 % |
454.38/454.44	c |    204580 |    6379   101488   409086 |        1    45014     93 |  0.390 % |
454.38/454.44	c |    204681 |    6379   101488   409086 |        1    45115     93 |  0.390 % |
454.38/454.44	c |    204781 |    6379   101488   409086 |        1    45215     94 |  0.390 % |
454.38/454.44	c |    204881 |    6379   101488   409086 |        1    45315     94 |  0.390 % |
454.38/454.44	c |    204981 |    6379   101488   409086 |        1    45415     94 |  0.390 % |
454.38/454.44	c |    205082 |    6379   101488   409086 |        1    45516     94 |  0.390 % |
454.38/454.44	c |    205182 |    6379   101488   409086 |        1    45616     94 |  0.390 % |
454.38/454.44	c |    205283 |    6379   101488   409086 |        1    45717     94 |  0.390 % |
454.38/454.44	c |    205417 |    6379   101488   409086 |        1    45851     94 |  0.390 % |
454.38/454.44	c |    205518 |    6379   101488   409086 |        1    45952     94 |  0.390 % |
454.38/454.44	c |    205618 |    6379   101488   409086 |        1    46052     94 |  0.390 % |
454.38/454.44	c |    205812 |    6379   101488   409086 |        1    46246     94 |  0.390 % |
454.38/454.44	c |    205912 |    6379   101488   409086 |        1    46346     94 |  0.390 % |
454.38/454.44	c |    206029 |    6379   101488   409086 |        1    46463     94 |  0.390 % |
454.38/454.44	c |    206130 |    6379   101488   409086 |        1    46564     94 |  0.390 % |
454.38/454.44	c |    206230 |    6379   101488   409086 |        1    46664     94 |  0.390 % |
454.38/454.44	c |    206392 |    6379   101488   409086 |        1    46826     94 |  0.390 % |
454.38/454.44	c |    206492 |    6379   101488   409086 |        1    46926     94 |  0.390 % |
454.38/454.44	c |    206788 |    6379   101488   409086 |        1    47222     94 |  0.390 % |
454.38/454.44	c |    206888 |    6379   101488   409086 |        1    47322     95 |  0.390 % |
454.38/454.44	c |    206989 |    6379   101488   409086 |        1    47423     95 |  0.390 % |
454.38/454.44	c |    207089 |    6379   101488   409086 |        1    47523     95 |  0.390 % |
454.38/454.44	c |    207190 |    6379   101488   409086 |        1    47624     95 |  0.390 % |
454.38/454.44	c |    207291 |    6379   101488   409086 |        1    47725     95 |  0.390 % |
454.38/454.44	c |    207393 |    6379   101488   409086 |        1    47827     95 |  0.390 % |
454.38/454.44	c |    207589 |    6379   101488   409086 |        1    48023     95 |  0.390 % |
454.38/454.44	c |    207690 |    6379   101488   409086 |        1    48124     95 |  0.390 % |
454.38/454.44	c |    207791 |    6379   101488   409086 |        1    48225     95 |  0.390 % |
454.38/454.44	c |    207892 |    6379   101488   409086 |        1    48326     95 |  0.390 % |
454.38/454.44	c |    208031 |    6379   101488   409086 |        1    48465     95 |  0.390 % |
454.38/454.44	c |    208132 |    6379   101488   409086 |        1    48566     95 |  0.390 % |
454.38/454.44	c |    208267 |    6379   101488   409086 |        1    48701     95 |  0.390 % |
454.38/454.44	c |    208367 |    6379   101488   409086 |        1    48801     95 |  0.390 % |
454.38/454.44	c |    208467 |    6379   101488   409086 |        1    48901     95 |  0.390 % |
454.38/454.44	c |    208567 |    6379   101488   409086 |        1    49001     95 |  0.390 % |
454.38/454.44	c |    208667 |    6379   101488   409086 |        1    49101     95 |  0.390 % |
454.38/454.44	c |    208768 |    6379   101488   409086 |        1    49202     96 |  0.390 % |
454.38/454.44	c |    208911 |    6379   101488   409086 |        1    49345     96 |  0.390 % |
454.38/454.44	c |    209012 |    6379   101488   409086 |        1    49446     96 |  0.390 % |
454.38/454.44	c |    209128 |    6379   101488   409086 |        1    49562     96 |  0.390 % |
454.38/454.44	c |    209229 |    6379   101488   409086 |        1    49663     96 |  0.390 % |
454.38/454.44	c |    209329 |    6379   101488   409086 |        1    49763     96 |  0.390 % |
454.38/454.44	c |    209429 |    6379   101488   409086 |        1    49863     96 |  0.390 % |
454.38/454.44	c |    209529 |    6379   101488   409086 |        1    49963     96 |  0.390 % |
454.88/454.92	c |    209629 |    6379   101488   409086 |        1    50063     96 |  0.390 % |
454.88/454.92	c |    209730 |    6379   101488   409086 |        1    50164     96 |  0.390 % |
454.88/454.92	c |    209832 |    6379   101488   409086 |        1    50266     96 |  0.390 % |
454.88/454.92	c |    209933 |    6379   101488   409086 |        1    50367     96 |  0.390 % |
454.88/454.92	c |    210117 |    6379   101488   409086 |        1    50551     96 |  0.390 % |
454.88/454.92	c |    210218 |    6379   101488   409086 |        1    50652     96 |  0.390 % |
454.88/454.92	c |    210319 |    6379   101488   409086 |        1    50753     96 |  0.390 % |
454.88/454.92	c |    210500 |    6379   101488   409086 |        1    50934     96 |  0.390 % |
454.88/454.92	c |    210601 |    6379   101488   409086 |        1    51035     96 |  0.390 % |
454.88/454.92	c |    210702 |    6379   101488   409086 |        1    51136     96 |  0.390 % |
454.88/454.92	c |    210803 |    6379   101488   409086 |        1    51237     96 |  0.390 % |
454.88/454.92	c |    210904 |    6379   101488   409086 |        1    51338     96 |  0.390 % |
454.88/454.92	c |    211005 |    6379   101488   409086 |        1    51439     96 |  0.390 % |
454.88/454.92	c |    211106 |    6379   101488   409086 |        1    51540     96 |  0.390 % |
454.88/454.92	c |    211206 |    6379   101488   409086 |        1    51640     97 |  0.390 % |
454.88/454.92	c |    211306 |    6379   101488   409086 |        1    51740     97 |  0.390 % |
454.88/454.92	c |    211406 |    6379   101488   409086 |        1    51840     97 |  0.390 % |
454.88/454.92	c |    211507 |    6379   101488   409086 |        1    51941     97 |  0.390 % |
454.88/454.92	c |    211607 |    6379   101488   409086 |        1    52041     97 |  0.390 % |
454.88/454.92	c |    211708 |    6379   101488   409086 |        1    52142     97 |  0.390 % |
454.88/454.92	c |    212036 |    6379   101488   409086 |        1    52470     97 |  0.390 % |
454.88/454.92	c |    212209 |    6379   101488   409086 |        1    52643     97 |  0.390 % |
454.88/454.92	c |    212343 |    6379   101488   409086 |        1    52777     97 |  0.390 % |
454.88/454.92	c |    212444 |    6379   101488   409086 |        1    52878     97 |  0.390 % |
454.88/454.92	c |    212545 |    6379   101488   409086 |        1    52979     97 |  0.390 % |
454.88/454.92	c |    212645 |    6379   101488   409086 |        1    53079     97 |  0.390 % |
454.88/454.92	c |    212745 |    6379   101488   409086 |        1    53179     97 |  0.390 % |
454.88/454.92	c |    212846 |    6379   101488   409086 |        1    53280     97 |  0.390 % |
454.88/454.92	c |    212946 |    6379   101488   409086 |        1    53380     97 |  0.390 % |
454.88/454.92	c |    213047 |    6379   101488   409086 |        1    53481     97 |  0.390 % |
454.88/454.92	c |    213172 |    6379   101488   409086 |        1    53606     97 |  0.390 % |
454.88/454.92	c |    213273 |    6379   101488   409086 |        1    53707     97 |  0.390 % |
454.88/454.92	c |    213373 |    6379   101488   409086 |        1    53807     97 |  0.390 % |
454.88/454.92	c |    213473 |    6379   101488   409086 |        1    53907     97 |  0.390 % |
454.88/454.92	c |    213573 |    6379   101488   409086 |        1    54007     97 |  0.390 % |
454.88/454.92	c |    213674 |    6379   101488   409086 |        1    54108     97 |  0.390 % |
454.88/454.92	c |    213774 |    6379   101488   409086 |        1    54208     97 |  0.390 % |
454.88/454.92	c |    213875 |    6379   101488   409086 |        1    54309     97 |  0.390 % |
454.88/454.92	c |    213976 |    6379   101488   409086 |        1    54410     97 |  0.390 % |
454.88/454.92	c |    214076 |    6379   101488   409086 |        1    54510     97 |  0.390 % |
454.88/454.92	c |    214217 |    6379   101488   409086 |        1    54651     97 |  0.390 % |
454.88/454.92	c |    214420 |    6379   101488   409086 |        1    54854     97 |  0.390 % |
454.88/454.92	c |    214520 |    6379   101488   409086 |        1    54954     97 |  0.390 % |
454.88/454.92	c |    214670 |    6379   101488   409086 |        1    55104     98 |  0.390 % |
454.88/454.92	c |    214770 |    6379   101488   409086 |        1    55204     98 |  0.390 % |
454.88/454.92	c |    214871 |    6379   101488   409086 |        1    55305     98 |  0.390 % |
454.88/454.92	c |    214971 |    6379   101488   409086 |        1    55405     98 |  0.390 % |
454.88/454.92	c |    215071 |    6379   101488   409086 |        1    55505     98 |  0.390 % |
454.88/454.92	c |    215172 |    6379   101488   409086 |        1    55606     98 |  0.390 % |
454.88/454.92	c |    215272 |    6379   101488   409086 |        1    55706     98 |  0.390 % |
456.48/456.54	c |    215373 |    6379   101488   409086 |        1    55807     98 |  0.390 % |
456.48/456.54	c |    215473 |    6379   101488   409086 |        1    55907     98 |  0.390 % |
456.48/456.54	c |    215634 |    6379   101488   409086 |        1    56068     98 |  0.390 % |
456.48/456.54	c |    215835 |    6379   101488   409086 |        1    56269     98 |  0.390 % |
456.48/456.54	c |    215983 |    6379   101488   409086 |        1    56417     98 |  0.390 % |
456.48/456.54	c |    216083 |    6379   101488   409086 |        1    56517     98 |  0.390 % |
456.48/456.54	c |    216184 |    6379   101488   409086 |        1    56618     98 |  0.390 % |
456.48/456.54	c |    216352 |    6379   101488   409086 |        1    56786     98 |  0.390 % |
456.48/456.54	c |    216522 |    6379   101488   409086 |        1    56956     98 |  0.390 % |
456.48/456.54	c |    216936 |    6379   101488   409086 |        1    57370     98 |  0.390 % |
456.48/456.54	c |    217052 |    6379   101488   409086 |        1    57486     98 |  0.390 % |
456.48/456.54	c |    217221 |    6379   101488   409086 |        1    57655     98 |  0.390 % |
456.48/456.54	c |    217321 |    6379   101488   409086 |        1    57755     98 |  0.390 % |
456.48/456.54	c |    217480 |    6379   101488   409086 |        1    57914     98 |  0.390 % |
456.48/456.54	c |    217580 |    6379   101488   409086 |        1    58014     98 |  0.390 % |
456.48/456.54	c |    217680 |    6379   101488   409086 |        1    58114     98 |  0.390 % |
456.48/456.54	c |    217780 |    6379   101488   409086 |        1    58214     98 |  0.390 % |
456.48/456.54	c |    218085 |    6379   101488   409086 |        1    58519     98 |  0.390 % |
456.48/456.54	c |    218185 |    6379   101488   409086 |        1    58619     98 |  0.390 % |
456.48/456.54	c |    218362 |    6379   101488   409086 |        1    58796     98 |  0.390 % |
456.48/456.54	c |    218462 |    6379   101488   409086 |        1    58896     98 |  0.390 % |
456.48/456.54	c |    218562 |    6379   101488   409086 |        1    58996     98 |  0.390 % |
456.48/456.54	c |    218662 |    6379   101488   409086 |        1    59096     98 |  0.390 % |
456.48/456.54	c |    218762 |    6379   101488   409086 |        1    59196     98 |  0.390 % |
456.48/456.54	c |    218862 |    6379   101488   409086 |        1    59296     98 |  0.390 % |
456.48/456.54	c |    218964 |    6379   101488   409086 |        1    59398     98 |  0.390 % |
456.48/456.54	c |    219064 |    6379   101488   409086 |        1    59498     98 |  0.390 % |
456.48/456.54	c |    219167 |    6379   101488   409086 |        1    59601     98 |  0.390 % |
456.48/456.54	c |    219283 |    6379   101488   409086 |        1    59717     98 |  0.390 % |
456.48/456.54	c |    219385 |    6379   101488   409086 |        1    59819     98 |  0.390 % |
456.48/456.54	c |    219575 |    6379   101488   409086 |        1    60009     98 |  0.390 % |
456.48/456.54	c |    219894 |    6379   101488   409086 |        1    30319     71 |  0.390 % |
456.48/456.54	c |    219994 |    6379   101488   409086 |        1    30419     72 |  0.390 % |
456.48/456.54	c |    220094 |    6379   101488   409086 |        1    30519     72 |  0.390 % |
456.48/456.54	c |    220194 |    6379   101488   409086 |        1    30619     72 |  0.390 % |
456.48/456.54	c |    220311 |    6379   101488   409086 |        1    30736     72 |  0.390 % |
456.48/456.54	c |    220411 |    6379   101488   409086 |        1    30836     72 |  0.390 % |
456.48/456.54	c |    220511 |    6379   101488   409086 |        1    30936     72 |  0.390 % |
456.48/456.54	c |    220612 |    6379   101488   409086 |        1    31037     73 |  0.390 % |
456.48/456.54	c |    220712 |    6379   101488   409086 |        1    31137     73 |  0.390 % |
456.48/456.54	c |    220812 |    6379   101488   409086 |        1    31237     73 |  0.390 % |
456.48/456.54	c |    220912 |    6379   101488   409086 |        1    31337     73 |  0.390 % |
456.48/456.54	c |    221140 |    6379   101488   409086 |        1    31565     73 |  0.390 % |
456.48/456.54	c |    223937 |    6379   101488   409086 |        1    34362     77 |  0.390 % |
456.48/456.54	c |    224431 |    6379   101488   409086 |        1    34856     78 |  0.390 % |
456.48/456.54	c |    224873 |    6379   101488   409086 |        1    35298     78 |  0.390 % |
456.48/456.54	c |    236498 |    6379   101488   409086 |        1    46923     88 |  0.390 % |
456.48/456.54	c |    236619 |    6379   101488   409086 |        1    47044     88 |  0.390 % |
456.48/456.54	c |    236720 |    6379   101488   409086 |        1    47145     89 |  0.390 % |
456.48/456.54	c |    236821 |    6379   101488   409086 |        1    47246     89 |  0.390 % |
456.97/457.01	c |    236922 |    6379   101488   409086 |        1    47347     89 |  0.390 % |
456.97/457.01	c |    237181 |    6379   101488   409086 |        1    47606     89 |  0.390 % |
456.97/457.01	c |    237282 |    6379   101488   409086 |        1    47707     89 |  0.390 % |
456.97/457.01	c |    237383 |    6379   101488   409086 |        1    47808     89 |  0.390 % |
456.97/457.01	c |    237483 |    6379   101488   409086 |        1    47908     89 |  0.390 % |
456.97/457.01	c |    237584 |    6379   101488   409086 |        1    48009     89 |  0.390 % |
456.97/457.01	c |    237691 |    6379   101488   409086 |        1    48116     89 |  0.390 % |
456.97/457.01	c |    237792 |    6379   101488   409086 |        1    48217     89 |  0.390 % |
456.97/457.01	c |    237893 |    6379   101488   409086 |        1    48318     89 |  0.390 % |
456.97/457.01	c |    237995 |    6379   101488   409086 |        1    48420     89 |  0.390 % |
456.97/457.01	c |    240382 |    6379   101488   409086 |        1    50807     90 |  0.390 % |
456.97/457.01	c |    240500 |    6379   101488   409086 |        1    50925     90 |  0.390 % |
456.97/457.01	c |    240619 |    6379   101488   409086 |        1    51044     90 |  0.390 % |
456.97/457.01	c |    240721 |    6379   101488   409086 |        1    51146     90 |  0.390 % |
456.97/457.01	c |    240918 |    6379   101488   409086 |        1    51343     90 |  0.390 % |
456.97/457.01	c |    241019 |    6379   101488   409086 |        1    51444     91 |  0.390 % |
456.97/457.01	c |    241119 |    6379   101488   409086 |        1    51544     91 |  0.390 % |
456.97/457.01	c |    241230 |    6379   101488   409086 |        1    51655     91 |  0.390 % |
456.97/457.01	c |    241359 |    6379   101488   409086 |        1    51784     91 |  0.390 % |
456.97/457.01	c |    241459 |    6379   101488   409086 |        1    51884     91 |  0.390 % |
456.97/457.01	c |    241560 |    6379   101488   409086 |        1    51985     91 |  0.390 % |
456.97/457.01	c |    241662 |    6379   101488   409086 |        1    52087     91 |  0.390 % |
456.97/457.01	c |    241887 |    6379   101488   409086 |        1    52312     91 |  0.390 % |
456.97/457.01	c |    241987 |    6379   101488   409086 |        1    52412     91 |  0.390 % |
456.97/457.01	c |    242122 |    6379   101488   409086 |        1    52547     91 |  0.390 % |
456.97/457.01	c |    242222 |    6379   101488   409086 |        1    52647     91 |  0.390 % |
456.97/457.01	c |    242322 |    6379   101488   409086 |        1    52747     91 |  0.390 % |
456.97/457.01	c |    242422 |    6379   101488   409086 |        1    52847     91 |  0.390 % |
456.97/457.01	c |    242554 |    6379   101488   409086 |        1    52979     91 |  0.390 % |
456.97/457.01	c |    242769 |    6379   101488   409086 |        1    53194     91 |  0.390 % |
456.97/457.01	c |    242869 |    6379   101488   409086 |        1    53294     91 |  0.390 % |
456.97/457.01	c |    242970 |    6379   101488   409086 |        1    53395     91 |  0.390 % |
456.97/457.01	c |    243070 |    6379   101488   409086 |        1    53495     91 |  0.390 % |
456.97/457.01	c |    243171 |    6379   101488   409086 |        1    53596     91 |  0.390 % |
456.97/457.01	c |    243294 |    6379   101488   409086 |        1    53719     91 |  0.390 % |
456.97/457.01	c |    243396 |    6379   101488   409086 |        1    53821     91 |  0.390 % |
456.97/457.01	c |    243785 |    6379   101488   409086 |        1    54210     91 |  0.390 % |
456.97/457.01	c |    243997 |    6379   101488   409086 |        1    54422     91 |  0.390 % |
456.97/457.01	c |    244099 |    6379   101488   409086 |        1    54524     91 |  0.390 % |
456.97/457.01	c |    244284 |    6379   101488   409086 |        1    54709     91 |  0.390 % |
456.97/457.01	c |    244384 |    6379   101488   409086 |        1    54809     92 |  0.390 % |
456.97/457.01	c |    244485 |    6379   101488   409086 |        1    54910     92 |  0.390 % |
456.97/457.01	c |    244586 |    6379   101488   409086 |        1    55011     92 |  0.390 % |
456.97/457.01	c |    244687 |    6379   101488   409086 |        1    55112     92 |  0.390 % |
456.97/457.01	c |    244787 |    6379   101488   409086 |        1    55212     92 |  0.390 % |
456.97/457.01	c |    244910 |    6379   101488   409086 |        1    55335     92 |  0.390 % |
456.97/457.01	c |    245022 |    6379   101488   409086 |        1    55447     92 |  0.390 % |
456.97/457.01	c |    245389 |    6379   101488   409086 |        1    55814     92 |  0.390 % |
456.97/457.01	c |    245685 |    6379   101488   409086 |        1    56110     92 |  0.390 % |
456.97/457.01	c |    245786 |    6379   101488   409086 |        1    56211     92 |  0.390 % |
457.68/457.76	c |    245887 |    6379   101488   409086 |        1    56312     92 |  0.390 % |
457.68/457.76	c |    246152 |    6379   101488   409086 |        1    56577     92 |  0.390 % |
457.68/457.76	c |    246260 |    6379   101488   409086 |        1    56685     92 |  0.390 % |
457.68/457.76	c |    246855 |    6379   101488   409086 |        1    57280     92 |  0.390 % |
457.68/457.76	c |    247038 |    6379   101488   409086 |        1    57463     92 |  0.390 % |
457.68/457.76	c |    247194 |    6379   101488   409086 |        1    57619     92 |  0.390 % |
457.68/457.76	c |    247314 |    6379   101488   409086 |        1    57739     92 |  0.390 % |
457.68/457.76	c |    247414 |    6379   101488   409086 |        1    57839     92 |  0.390 % |
457.68/457.76	c |    247515 |    6379   101488   409086 |        1    57940     92 |  0.390 % |
457.68/457.76	c |    247660 |    6379   101488   409086 |        1    58085     92 |  0.390 % |
457.68/457.76	c |    247760 |    6379   101488   409086 |        1    58185     92 |  0.390 % |
457.68/457.76	c |    247911 |    6379   101488   409086 |        1    58336     92 |  0.390 % |
457.68/457.76	c |    248011 |    6379   101488   409086 |        1    58436     92 |  0.390 % |
457.68/457.76	c |    248111 |    6379   101488   409086 |        1    58536     92 |  0.390 % |
457.68/457.76	c |    248258 |    6379   101488   409086 |        1    58683     92 |  0.390 % |
457.68/457.76	c |    248453 |    6379   101488   409086 |        1    58878     93 |  0.390 % |
457.68/457.76	c |    248554 |    6379   101488   409086 |        1    58979     93 |  0.390 % |
457.68/457.76	c |    248654 |    6379   101488   409086 |        1    59079     93 |  0.390 % |
457.68/457.76	c |    248754 |    6379   101488   409086 |        1    59179     93 |  0.390 % |
457.68/457.76	c |    248856 |    6379   101488   409086 |        1    59281     93 |  0.390 % |
457.68/457.76	c |    248956 |    6379   101488   409086 |        1    59381     93 |  0.390 % |
457.68/457.76	c |    249056 |    6379   101488   409086 |        1    59481     93 |  0.390 % |
457.68/457.76	c |    249156 |    6379   101488   409086 |        1    59581     93 |  0.390 % |
457.68/457.76	c |    249257 |    6379   101488   409086 |        1    59682     93 |  0.390 % |
457.68/457.76	c |    249363 |    6379   101488   409086 |        1    59788     93 |  0.390 % |
457.68/457.76	c |    249472 |    6379   101488   409086 |        1    59897     93 |  0.390 % |
457.68/457.76	c |    249572 |    6379   101488   409086 |        1    59997     93 |  0.390 % |
457.68/457.76	c |    249672 |    6379   101488   409086 |        1    60097     93 |  0.390 % |
457.68/457.76	c |    249846 |    6379   101488   409086 |        1    60271     93 |  0.390 % |
457.68/457.76	c |    249947 |    6379   101488   409086 |        1    60372     93 |  0.390 % |
457.68/457.76	c |    250063 |    6379   101488   409086 |        1    60488     93 |  0.390 % |
457.68/457.76	c |    250164 |    6379   101488   409086 |        1    60589     93 |  0.390 % |
457.68/457.76	c |    250266 |    6379   101488   409086 |        1    60691     93 |  0.390 % |
457.68/457.76	c |    250366 |    6379   101488   409086 |        1    60791     93 |  0.390 % |
457.68/457.76	c |    250467 |    6379   101488   409086 |        1    60892     93 |  0.390 % |
457.68/457.76	c |    250571 |    6379   101488   409086 |        1    60996     93 |  0.390 % |
457.68/457.76	c |    250672 |    6379   101488   409086 |        1    61097     93 |  0.390 % |
457.68/457.76	c |    250791 |    6379   101488   409086 |        1    61216     93 |  0.390 % |
457.68/457.76	c |    250952 |    6379   101488   409086 |        1    61377     93 |  0.390 % |
457.68/457.76	c |    251054 |    6379   101488   409086 |        1    61479     93 |  0.390 % |
457.68/457.76	c |    251155 |    6379   101488   409086 |        1    61580     93 |  0.390 % |
457.68/457.76	c |    251257 |    6379   101488   409086 |        1    61682     93 |  0.390 % |
457.68/457.76	c |    251358 |    6379   101488   409086 |        1    61783     94 |  0.390 % |
457.68/457.76	c |    251458 |    6379   101488   409086 |        1    61883     94 |  0.390 % |
457.68/457.76	c |    251558 |    6379   101488   409086 |        1    61983     94 |  0.390 % |
457.68/457.76	c |    251658 |    6379   101488   409086 |        1    62083     94 |  0.390 % |
457.68/457.76	c |    253816 |    4463   101258   407659 |        1    64233     92 | 30.309 % |
457.68/457.76	c ===============================================================================
457.68/457.76	c restarts              : 535
457.68/457.76	c nb ReduceDB           : 12
457.68/457.76	c nb removed Clauses    : 189574
457.68/457.76	c nb learnts DL2        : 81
457.68/457.76	c nb learnts size 2     : 72
457.68/457.76	c nb learnts size 1     : 7
457.68/457.76	c conflicts             : 253816         (15501 /sec)
457.68/457.76	c decisions             : 999123         (0.00 % random) (61017 /sec)
457.68/457.76	c propagations          : 28337299       (1730574 /sec)
457.68/457.76	c conflict literals     : 31167893       (6.69 % deleted)
457.68/457.76	c nb reduced Clauses    : 107
457.68/457.76	c CPU time              : 16.3745 s
457.68/457.76	
457.68/457.76	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-3286918-1303764352/watcher-3286918-1303764352 -o /tmp/evaluation-result-3286918-1303764352/solver-3286918-1303764352 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3286918-1303764352.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.10 3.09 3.25 3/185 22053
/proc/meminfo: memFree=28216656/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) R 22051 22053 20892 0 -1 4202496 317 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080052629 0 65538 4100 65536 0 0 0 17 4 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0

[startup+0.105749 s]
/proc/loadavg: 3.10 3.09 3.25 3/185 22053
/proc/meminfo: memFree=28216656/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.20073 s]
/proc/loadavg: 3.10 3.09 3.25 3/185 22053
/proc/meminfo: memFree=28216656/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300716 s]
/proc/loadavg: 3.10 3.09 3.25 3/185 22053
/proc/meminfo: memFree=28216656/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700638 s]
/proc/loadavg: 3.10 3.09 3.25 3/185 22053
/proc/meminfo: memFree=28216656/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50049 s]
/proc/loadavg: 3.10 3.09 3.25 4/187 22055
/proc/meminfo: memFree=28036600/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=187856 CPUtime=1.49 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 46540 0 0 0 140 9 0 0 25 0 1 0 488034984 192364544 43043 33554432000 134512640 135144242 4290660672 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22054/statm: 46964 43043 77 155 0 46807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196560

[startup+3.10107 s]
/proc/loadavg: 3.10 3.09 3.25 4/187 22055
/proc/meminfo: memFree=28010680/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=199616 CPUtime=3.09 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 49470 0 0 0 296 13 0 0 25 0 1 0 488034984 204406784 45973 33554432000 134512640 135144242 4290660672 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22054/statm: 49904 45973 77 155 0 49747 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208320

[startup+6.30057 s]
/proc/loadavg: 3.10 3.09 3.25 3/187 22055
/proc/meminfo: memFree=27941972/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=215712 CPUtime=6.28 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 53650 0 0 0 608 20 0 0 25 0 1 0 488034984 220889088 49686 33554432000 134512640 135144242 4290660672 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 53928 49686 77 155 0 53771 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 224416

[startup+12.7002 s]
/proc/loadavg: 3.09 3.09 3.25 4/187 22055
/proc/meminfo: memFree=27991344/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=218756 CPUtime=12.68 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 54540 0 0 0 1246 22 0 0 25 0 1 0 488034984 224006144 50470 33554432000 134512640 135144242 4290660672 18446744073709551615 134555120 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 54689 50470 77 155 0 54532 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 227460

[startup+25.5008 s]
/proc/loadavg: 3.07 3.08 3.24 4/187 22056
/proc/meminfo: memFree=27955516/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=222716 CPUtime=25.48 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55297 0 0 0 2523 25 0 0 25 0 1 0 488034984 228061184 51227 33554432000 134512640 135144242 4290660672 18446744073709551615 134555768 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 55679 51227 77 155 0 55522 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 231420

[startup+51.1009 s]
/proc/loadavg: 3.04 3.08 3.23 4/187 22056
/proc/meminfo: memFree=27909240/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=220924 CPUtime=51.08 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55334 0 0 0 5083 25 0 0 25 0 1 0 488034984 226226176 50829 33554432000 134512640 135144242 4290660672 18446744073709551615 134551331 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 55231 50829 77 155 0 55074 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 229628

[startup+102.301 s]
/proc/loadavg: 3.02 3.06 3.22 4/187 22058
/proc/meminfo: memFree=27966688/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=220924 CPUtime=102.29 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55378 0 0 0 10204 25 0 0 25 0 1 0 488034984 226226176 50873 33554432000 134512640 135144242 4290660672 18446744073709551615 134551328 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 55231 50873 77 155 0 55074 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 229628

[startup+162.301 s]
/proc/loadavg: 3.00 3.05 3.20 4/187 22059
/proc/meminfo: memFree=27938520/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=221692 CPUtime=162.28 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55480 0 0 0 16203 25 0 0 25 0 1 0 488034984 227012608 50975 33554432000 134512640 135144242 4290660672 18446744073709551615 134551280 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 55423 50975 77 155 0 55266 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 230396

[startup+222.306 s]
/proc/loadavg: 3.00 3.04 3.18 4/187 22061
/proc/meminfo: memFree=27989020/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=222204 CPUtime=222.29 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55584 0 0 0 22204 25 0 0 25 0 1 0 488034984 227536896 51079 33554432000 134512640 135144242 4290660672 18446744073709551615 134551340 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 55551 51079 77 155 0 55394 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 230908

[startup+282.301 s]
/proc/loadavg: 3.00 3.03 3.17 4/187 22063
/proc/meminfo: memFree=27941012/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=222876 CPUtime=282.29 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55688 0 0 0 28204 25 0 0 25 0 1 0 488034984 228225024 51183 33554432000 134512640 135144242 4290660672 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 55719 51183 77 155 0 55562 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 231580

[startup+342.3 s]
/proc/loadavg: 3.00 3.02 3.16 4/187 22064
/proc/meminfo: memFree=27933952/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=224156 CPUtime=342.29 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55815 0 0 0 34204 25 0 0 25 0 1 0 488034984 229535744 51310 33554432000 134512640 135144242 4290660672 18446744073709551615 134551328 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 56039 51310 77 155 0 55882 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 232860

[startup+402.301 s]
/proc/loadavg: 3.00 3.02 3.15 4/187 22066
/proc/meminfo: memFree=27911352/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=224732 CPUtime=402.29 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55963 0 0 0 40204 25 0 0 25 0 1 0 488034984 230125568 51458 33554432000 134512640 135144242 4290660672 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 56183 51458 77 155 0 56026 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 233436

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

[startup+409.601 s]
/proc/loadavg: 3.00 3.02 3.15 4/187 22066
/proc/meminfo: memFree=27902036/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=224924 CPUtime=409.59 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 55998 0 0 0 40934 25 0 0 25 0 1 0 488034984 230322176 51493 33554432000 134512640 135144242 4290660672 18446744073709551615 134550686 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 56231 51493 77 155 0 56074 0
Current children cumulated CPU time (s) 409.59
Current children cumulated vsize (KiB) 233628

[startup+435.201 s]
/proc/loadavg: 3.05 3.03 3.15 4/187 22067
/proc/meminfo: memFree=27928444/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=0 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 488034983 8912896 253 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/22053/statm: 2176 253 211 178 0 69 0
[pid=22054] ppid=22053 vsize=241968 CPUtime=435.19 cores=4,6
/proc/22054/stat : 22054 (SatELite_releas) R 22053 22053 20892 0 -1 4202496 60250 0 0 0 43492 27 0 0 25 0 1 0 488034984 247775232 54534 33554432000 134512640 135144242 4290660672 18446744073709551615 134551320 0 0 4096 3 0 0 0 17 4 0 0 1
/proc/22054/statm: 60492 54534 77 155 0 60335 0
Current children cumulated CPU time (s) 435.19
Current children cumulated vsize (KiB) 250672

[startup+448 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28098988/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=54256 CPUtime=6.64 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 24672 0 0 0 661 3 0 0 25 0 1 0 488079118 55558144 6800 33554432000 4194304 4260849 140734543769552 18446744073709551615 4224434 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 13564 6800 252 17 0 10205 0
Current children cumulated CPU time (s) 447.98
Current children cumulated vsize (KiB) 62960

[startup+454.407 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28055708/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=73112 CPUtime=13.04 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 32355 0 0 0 1301 3 0 0 25 0 1 0 488079118 74866688 14278 33554432000 4194304 4260849 140734543769552 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 18278 14278 252 17 0 14919 0
Current children cumulated CPU time (s) 454.38
Current children cumulated vsize (KiB) 81816

[startup+456.001 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28054964/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=73112 CPUtime=14.64 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 32355 0 0 0 1461 3 0 0 25 0 1 0 488079118 74866688 14278 33554432000 4194304 4260849 140734543769552 18446744073709551615 4224467 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 18278 14278 252 17 0 14919 0
Current children cumulated CPU time (s) 455.98
Current children cumulated vsize (KiB) 81816

[startup+456.801 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28051244/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=85612 CPUtime=15.43 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 33229 0 0 0 1540 3 0 0 25 0 1 0 488079118 87666688 15149 33554432000 4194304 4260849 140734543769552 18446744073709551615 4227776 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 21403 15149 252 17 0 18044 0
Current children cumulated CPU time (s) 456.77
Current children cumulated vsize (KiB) 94316

[startup+457.201 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28051244/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=85612 CPUtime=15.83 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 34127 0 0 0 1580 3 0 0 25 0 1 0 488079118 87666688 16036 33554432000 4194304 4260849 140734543769552 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 21403 16036 252 17 0 18044 0
Current children cumulated CPU time (s) 457.17
Current children cumulated vsize (KiB) 94316

[startup+457.6 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28042564/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=85612 CPUtime=16.24 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 34444 0 0 0 1621 3 0 0 25 0 1 0 488079118 87666688 16350 33554432000 4194304 4260849 140734543769552 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 21403 16350 252 17 0 18044 0
Current children cumulated CPU time (s) 457.58
Current children cumulated vsize (KiB) 94316

[startup+457.706 s]
/proc/loadavg: 3.04 3.03 3.14 4/187 22068
/proc/meminfo: memFree=28042564/32950928 swapFree=67111364/67111528
[pid=22053] ppid=22051 vsize=8704 CPUtime=441.34 cores=4,6
/proc/22053/stat : 22053 (glucose.sh) S 22051 22053 20892 0 -1 4202496 360 63194 0 0 0 0 44105 29 18 0 1 0 488034983 8912896 255 33554432000 4194304 4922060 140733823490320 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22053/statm: 2176 255 211 178 0 69 0
[pid=22068] ppid=22053 vsize=85612 CPUtime=16.34 cores=4,6
/proc/22068/stat : 22068 (glucose_static) R 22053 22053 20892 0 -1 4202496 34471 0 0 0 1631 3 0 0 25 0 1 0 488079118 87666688 16376 33554432000 4194304 4260849 140734543769552 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22068/statm: 21403 16376 252 17 0 18044 0
Current children cumulated CPU time (s) 457.68
Current children cumulated vsize (KiB) 94316

Child status: 20
Real time (s): 457.786
CPU time (s): 457.783
CPU user time (s): 457.426
CPU system time (s): 0.356945
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 251792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 457.426
system time used= 0.356945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98246
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= 44
involuntary context switches= 574

runsolver used 0.779881 second user time and 1.72274 second system time

The end

Launcher Data

Begin job on node127 at 2011-04-25 22:45:53
IDJOB=3286918
IDBENCH=82450
IDSOLVER=1651
FILE ID=node127/3286918-1303764352
RUNJOBID= node127-1303762207-21569
PBS_JOBID= 13157130
Free space on /tmp= 71152 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286918-1303764352/watcher-3286918-1303764352 -o /tmp/evaluation-result-3286918-1303764352/solver-3286918-1303764352 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3286918-1303764352.cnf 

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

MD5SUM BENCH= 28b7074e04e59e64b5e4d7991d54f9d1
RANDOM SEED=874027174

node127.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.823
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.64
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.823
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.823
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.74
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.823
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.86
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.823
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.823
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.75
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28216812 kB
Buffers:       1235596 kB
Cached:        2608212 kB
SwapCached:          0 kB
Active:         800464 kB
Inactive:      3465688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28216812 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           61624 kB
Writeback:           0 kB
AnonPages:      422160 kB
Mapped:          15532 kB
Slab:           401712 kB
PageTables:       5772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   650136 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= 71148 MiB
End job on node127 at 2011-04-25 22:53:31