Trace number 1821730

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
minisat_cumr p-2009-03-18? (TO) 1200.05 1199.94

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
MD5SUM57b85ec7870f670f13b00667a6315c05
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2058
Number of clauses144294
Sum of the clauses size429916
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23219
Number of clauses of size 3141052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.10/0.10	c ==============================================================================
0.10/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.10/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.10/0.10	c ==============================================================================
0.10/0.10	c |         0 |  144294   429916 |   43288       0        0     nan |  0.000 % |
1.42/1.44	c |         0 |  143366   620643 |      --       0       --      -- |     --   | -928/190727
1.42/1.44	c ==============================================================================
1.42/1.44	c Result  :   #vars: 1298   #clauses: 143366   #literals: 620643
1.42/1.44	c CPU time:   1.41 s
1.42/1.44	c ==============================================================================
1.62/1.63	c This is MiniSat 2.0 beta
1.62/1.63	c WARNING: for repeatability, setting FPU to use double precision
1.62/1.63	c ============================[ Problem Statistics ]=============================
1.62/1.63	c |                                                                             |
1.62/1.63	c |  Number of variables:  1298                                                 |
1.62/1.63	c |  Number of clauses:    143366                                               |
1.64/1.72	c |  Parsing time:         0.07         s                                       |
1.64/1.73	c ============================[ Search Statistics ]==============================
1.64/1.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.64/1.73	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.64/1.73	c ===============================================================================
1.64/1.73	c |         0 |    1298   143366   620643 |    47788        0    nan |  0.000 % |
1.64/1.79	c |       101 |    1298   143366   620643 |    47788      101     61 |  0.000 % |
1.64/1.83	c |       201 |    1298   143366   620643 |    47788      201     74 |  0.000 % |
1.64/1.86	c |       301 |    1298   143366   620643 |    47788      301     75 |  0.000 % |
1.64/1.91	c |       413 |    1298   143366   620643 |    47788      413     78 |  0.000 % |
1.64/1.96	c |       513 |    1298   143366   620643 |    47788      513     79 |  0.000 % |
1.64/2.01	c |       623 |    1298   143366   620643 |    47788      623     79 |  0.000 % |
1.64/2.05	c |       744 |    1298   143366   620643 |    47788      744     80 |  0.000 % |
1.64/2.09	c |       844 |    1298   143366   620643 |    47788      844     81 |  0.000 % |
2.12/2.14	c |       956 |    1298   143366   620643 |    47788      956     81 |  0.000 % |
2.22/2.21	c |      1078 |    1298   143366   620643 |    47788     1078     82 |  0.000 % |
2.22/2.25	c |      1212 |    1298   143366   620643 |    47788     1212     81 |  0.000 % |
2.22/2.30	c |      1312 |    1298   143366   620643 |    47788     1312     82 |  0.000 % |
2.32/2.34	c |      1422 |    1298   143366   620643 |    47788     1422     83 |  0.000 % |
2.32/2.40	c |      1544 |    1298   143366   620643 |    47788     1544     85 |  0.000 % |
2.42/2.45	c |      1677 |    1298   143366   620643 |    47788     1677     85 |  0.000 % |
2.52/2.51	c |      1823 |    1298   143366   620643 |    47788     1823     85 |  0.000 % |
2.52/2.55	c |      1924 |    1298   143366   620643 |    47788     1924     85 |  0.000 % |
2.52/2.60	c |      2034 |    1298   143366   620643 |    47788     2034     85 |  0.000 % |
2.62/2.66	c |      2156 |    1298   143366   620643 |    47788     2156     86 |  0.000 % |
2.72/2.73	c |      2290 |    1298   143366   620643 |    47788     2290     86 |  0.000 % |
2.72/2.80	c |      2437 |    1298   143366   620643 |    47788     2437     86 |  0.000 % |
2.82/2.88	c |      2598 |    1298   143366   620643 |    47788     2598     86 |  0.000 % |
2.92/2.93	c |      2698 |    1298   143366   620643 |    47788     2698     86 |  0.000 % |
2.92/2.98	c |      2809 |    1298   143366   620643 |    47788     2809     86 |  0.000 % |
3.02/3.04	c |      2930 |    1298   143366   620643 |    47788     2930     85 |  0.000 % |
3.12/3.12	c |      3063 |    1298   143366   620643 |    47788     3063     86 |  0.000 % |
3.12/3.20	c |      3209 |    1298   143366   620643 |    47788     3209     86 |  0.000 % |
3.22/3.27	c |      3370 |    1298   143366   620643 |    47788     3370     85 |  0.000 % |
3.32/3.34	c |      3546 |    1298   143366   620643 |    47788     3546     86 |  0.000 % |
3.32/3.41	c |      3648 |    1298   143366   620643 |    47788     3648     86 |  0.000 % |
3.42/3.44	c |      3759 |    1298   143366   620643 |    47788     3759     86 |  0.000 % |
3.42/3.50	c |      3882 |    1298   143366   620643 |    47788     3882     86 |  0.000 % |
3.52/3.55	c |      4017 |    1298   143366   620643 |    47788     4017     86 |  0.000 % |
3.62/3.62	c |      4163 |    1298   143366   620643 |    47788     4163     86 |  0.000 % |
3.62/3.68	c |      4324 |    1298   143366   620643 |    47788     4324     87 |  0.000 % |
3.71/3.74	c |      4500 |    1298   143366   620643 |    47788     4500     88 |  0.000 % |
3.71/3.80	c |      4693 |    1298   143366   620643 |    47788     4693     89 |  0.000 % |
3.81/3.84	c |      4793 |    1298   143366   620643 |    47788     4793     89 |  0.000 % |
3.81/3.88	c |      4904 |    1298   143366   620643 |    47788     4904     89 |  0.000 % |
3.91/3.93	c |      5025 |    1298   143366   620643 |    47788     5025     90 |  0.000 % |
3.91/3.98	c |      5158 |    1298   143366   620643 |    47788     5158     90 |  0.000 % |
4.01/4.03	c |      5305 |    1298   143366   620643 |    47788     5305     91 |  0.000 % |
4.01/4.07	c |      5465 |    1298   143366   620643 |    47788     5465     91 |  0.000 % |
4.11/4.14	c |      5643 |    1298   143366   620643 |    47788     5643     92 |  0.000 % |
4.21/4.23	c |      5836 |    1298   143366   620643 |    47788     5836     93 |  0.000 % |
4.21/4.29	c |      6048 |    1298   143366   620643 |    47788     6048     94 |  0.000 % |
4.31/4.32	c |      6150 |    1298   143366   620643 |    47788     6150     94 |  0.000 % |
4.31/4.38	c |      6260 |    1298   143366   620643 |    47788     6260     95 |  0.000 % |
4.41/4.41	c |      6383 |    1298   143366   620643 |    47788     6383     95 |  0.000 % |
4.41/4.46	c |      6518 |    1298   143366   620643 |    47788     6518     95 |  0.000 % |
4.51/4.52	c |      6668 |    1298   143366   620643 |    47788     6668     96 |  0.000 % |
4.51/4.57	c |      6829 |    1298   143366   620643 |    47788     6829     96 |  0.000 % |
4.61/4.63	c |      7006 |    1298   143366   620643 |    47788     7006     97 |  0.000 % |
4.61/4.70	c |      7200 |    1298   143366   620643 |    47788     7200     98 |  0.000 % |
4.71/4.78	c |      7413 |    1298   143366   620643 |    47788     7413     99 |  0.000 % |
4.81/4.89	c |      7646 |    1298   143366   620643 |    47788     7646    100 |  0.000 % |
4.91/4.94	c |      7747 |    1298   143366   620643 |    47788     7747    100 |  0.000 % |
4.91/4.98	c |      7857 |    1298   143366   620643 |    47788     7857    100 |  0.000 % |
5.01/5.03	c |      7978 |    1298   143366   620643 |    47788     7978    101 |  0.000 % |
5.01/5.09	c |      8111 |    1298   143366   620643 |    47788     8111    101 |  0.000 % |
5.11/5.19	c |      8257 |    1298   143366   620643 |    47788     8257    101 |  0.000 % |
5.21/5.30	c |      8417 |    1298   143366   620643 |    47788     8417    102 |  0.000 % |
5.41/5.41	c |      8593 |    1298   143366   620643 |    47788     8593    102 |  0.000 % |
5.51/5.54	c |      8786 |    1298   143366   620643 |    47788     8786    103 |  0.000 % |
5.61/5.70	c |      8998 |    1298   143366   620643 |    47788     8998    103 |  0.000 % |
5.81/5.85	c |      9233 |    1298   143366   620643 |    47788     9233    104 |  0.000 % |
6.01/6.03	c |      9491 |    1298   143366   620643 |    47788     9491    104 |  0.000 % |
6.01/6.08	c |      9591 |    1298   143366   620643 |    47788     9591    104 |  0.000 % |
6.11/6.19	c |      9703 |    1298   143366   620643 |    47788     9703    105 |  0.000 % |
6.21/6.28	c |      9824 |    1298   143366   620643 |    47788     9824    105 |  0.000 % |
6.31/6.40	c |      9958 |    1298   143366   620643 |    47788     9958    105 |  0.000 % |
6.51/6.52	c |     10105 |    1298   143366   620643 | 2147483647    10105    105 |  0.000 % |
6.61/6.64	c |     10265 |    1298   143366   620643 | 2147483647    10265    106 |  0.000 % |
6.81/6.85	c |     10441 |    1298   143366   620643 | 2147483647    10441    106 |  0.000 % |
7.01/7.08	c |     10638 |    1298   143366   620643 | 2147483647    10638    106 |  0.000 % |
7.21/7.28	c |     10850 |    1298   143366   620643 | 2147483647    10850    106 |  0.000 % |
7.41/7.48	c |     11084 |    1298   143366   620643 | 2147483647    11084    107 |  0.000 % |
7.81/7.84	c |     11341 |    1298   143366   620643 | 2147483647    11341    107 |  0.000 % |
8.11/8.14	c |     11623 |    1298   143366   620643 | 2147483647    11623    108 |  0.000 % |
8.21/8.27	c |     11723 |    1298   143366   620643 | 2147483647    11723    108 |  0.000 % |
8.41/8.42	c |     11836 |    1298   143366   620643 | 2147483647    11836    108 |  0.000 % |
8.51/8.58	c |     11958 |    1298   143366   620643 | 2147483647    11958    108 |  0.000 % |
8.71/8.74	c |     12092 |    1298   143366   620643 | 2147483647    12092    108 |  0.000 % |
8.81/8.88	c |     12239 |    1298   143366   620643 | 2147483647    12239    108 |  0.000 % |
9.01/9.05	c |     12400 |    1298   143366   620643 | 2147483647    12400    108 |  0.000 % |
9.21/9.27	c |     12576 |    1298   143366   620643 | 2147483647    12576    109 |  0.000 % |
9.41/9.41	c |     12770 |    1298   143366   620643 | 2147483647    12770    109 |  0.000 % |
9.41/9.48	c |     12982 |    1298   143366   620643 | 2147483647    12982    109 |  0.000 % |
9.51/9.57	c |     13215 |    1298   143366   620643 | 2147483647    13215    109 |  0.000 % |
9.71/9.72	c |     13472 |    1298   143366   620643 | 2147483647    13472    109 |  0.000 % |
9.81/9.82	c |     13755 |    1298   143366   620643 | 2147483647    13755    109 |  0.000 % |
9.92/9.95	c |     14064 |    1298   143366   620643 | 2147483647    14064    109 |  0.000 % |
9.92/10.00	c |     14165 |    1298   143366   620643 | 2147483647    14165    109 |  0.000 % |
10.01/10.05	c |     14276 |    1298   143366   620643 | 2147483647    14276    109 |  0.000 % |
10.11/10.11	c |     14398 |    1298   143366   620643 | 2147483647    14398    109 |  0.000 % |
10.11/10.18	c |     14533 |    1298   143366   620643 | 2147483647    14533    109 |  0.000 % |
10.21/10.28	c |     14680 |    1298   143366   620643 | 2147483647    14680    109 |  0.000 % |
10.31/10.38	c |     14842 |    1298   143366   620643 | 2147483647    14842    109 |  0.000 % |
10.41/10.50	c |     15019 |    1298   143366   620643 | 2147483647    15019    109 |  0.000 % |
10.61/10.62	c |     15212 |    1298   143366   620643 | 2147483647    15212    109 |  0.000 % |
10.71/10.76	c |     15424 |    1298   143366   620643 | 2147483647    15424    109 |  0.000 % |
10.91/10.94	c |     15658 |    1298   143366   620643 | 2147483647    15658    110 |  0.000 % |
11.01/11.08	c |     15915 |    1298   143366   620643 | 2147483647    15915    110 |  0.000 % |
11.21/11.27	c |     16196 |    1298   143366   620643 | 2147483647    16196    110 |  0.000 % |
11.41/11.47	c |     16505 |    1298   143366   620643 | 2147483647    16505    110 |  0.000 % |
11.71/11.78	c |     16845 |    1298   143366   620643 | 2147483647    16845    110 |  0.000 % |
11.81/11.89	c |     16945 |    1298   143366   620643 | 2147483647    16945    110 |  0.000 % |
12.01/12.01	c |     17056 |    1298   143366   620643 | 2147483647    17056    110 |  0.000 % |
12.12/12.15	c |     17177 |    1298   143366   620643 | 2147483647    17177    110 |  0.000 % |
12.21/12.27	c |     17310 |    1298   143366   620643 | 2147483647    17310    110 |  0.000 % |
12.31/12.40	c |     17458 |    1298   143366   620643 | 2147483647    17458    110 |  0.000 % |
12.51/12.51	c |     17618 |    1298   143366   620643 | 2147483647    17618    110 |  0.000 % |
12.61/12.64	c |     17794 |    1298   143366   620643 | 2147483647    17794    110 |  0.000 % |
13.11/13.19	c |     17988 |    1298   143366   620643 | 2147483647    17988    110 |  0.000 % |
13.61/13.62	c |     18201 |    1298   143366   620643 | 2147483647    18201    110 |  0.000 % |
14.11/14.20	c |     18436 |    1298   143366   620643 | 2147483647    18436    110 |  0.000 % |
14.71/14.74	c |     18692 |    1298   143366   620643 | 2147483647    18692    110 |  0.000 % |
15.31/15.36	c |     18973 |    1298   143366   620643 | 2147483647    18973    110 |  0.000 % |
16.01/16.04	c |     19284 |    1298   143366   620643 | 2147483647    19284    110 |  0.000 % |
16.71/16.75	c |     19625 |    1298   143366   620643 | 2147483647    19625    110 |  0.000 % |
17.41/17.45	c |     19998 |    1298   143366   620643 | 2147483647    19998    110 |  0.000 % |
17.51/17.54	c |     20099 |    1298   143366   620643 | 2147483647    20099    110 |  0.000 % |
17.62/17.65	c |     20209 |    1298   143366   620643 | 2147483647    20209    110 |  0.000 % |
17.81/17.86	c |     20331 |    1298   143366   620643 | 2147483647    20331    110 |  0.000 % |
18.21/18.23	c |     20465 |    1298   143366   620643 | 2147483647    20465    110 |  0.000 % |
18.31/18.40	c |     20611 |    1298   143366   620643 | 2147483647    20611    110 |  0.000 % |
18.61/18.70	c |     20774 |    1298   143366   620643 | 2147483647    20774    110 |  0.000 % |
18.72/18.80	c |     20951 |    1298   143366   620643 | 2147483647    20951    110 |  0.000 % |
19.11/19.18	c |     21145 |    1298   143366   620643 | 2147483647    21145    110 |  0.000 % |
19.21/19.28	c |     21357 |    1298   143366   620643 | 2147483647    21357    110 |  0.000 % |
19.41/19.42	c |     21591 |    1298   143366   620643 | 2147483647    21591    110 |  0.002 % |
19.91/19.92	c |     21847 |    1298   143366   620643 | 2147483647    21847    110 |  0.000 % |
20.41/20.49	c |     22128 |    1298   143366   620643 | 2147483647    22128    110 |  0.000 % |
20.92/20.98	c |     22438 |    1298   143366   620643 | 2147483647    22438    110 |  0.000 % |
21.11/21.15	c |     22777 |    1298   143366   620643 | 2147483647    22777    110 |  0.000 % |
22.11/22.12	c |     23153 |    1298   143366   620643 | 2147483647    23153    110 |  0.000 % |
23.01/23.11	c |     23562 |    1298   143366   620643 | 2147483647    23562    110 |  0.000 % |
23.41/23.42	c |     23663 |    1298   143366   620643 | 2147483647    23663    110 |  0.000 % |
23.61/23.69	c |     23773 |    1298   143366   620643 | 2147483647    23773    110 |  0.000 % |
23.91/23.97	c |     23895 |    1298   143366   620643 | 2147483647    23895    110 |  0.000 % |
24.22/24.29	c |     24029 |    1298   143366   620643 | 2147483647    24029    110 |  0.000 % |
24.81/24.85	c |     24177 |    1298   143366   620643 | 2147483647    24177    110 |  0.000 % |
25.41/25.47	c |     24337 |    1298   143366   620643 | 2147483647    24337    111 |  0.000 % |
26.01/26.03	c |     24513 |    1298   143366   620643 | 2147483647    24513    111 |  0.000 % |
26.51/26.53	c |     24707 |    1298   143366   620643 | 2147483647    24707    111 |  0.000 % |
27.31/27.32	c |     24919 |    1298   143366   620643 | 2147483647    24919    111 |  0.000 % |
28.31/28.33	c |     25154 |    1298   143366   620643 | 2147483647    25154    111 |  0.000 % |
29.11/29.17	c |     25412 |    1298   143366   620643 | 2147483647    25412    111 |  0.000 % |
30.21/30.28	c |     25694 |    1298   143366   620643 | 2147483647    25694    111 |  0.000 % |
31.21/31.29	c |     26004 |    1298   143366   620643 | 2147483647    26004    111 |  0.000 % |
32.61/32.67	c |     26344 |    1298   143366   620643 | 2147483647    26344    111 |  0.000 % |
34.12/34.19	c |     26717 |    1298   143366   620643 | 2147483647    26717    111 |  0.000 % |
35.61/35.64	c |     27126 |    1298   143366   620643 | 2147483647    27126    111 |  0.000 % |
36.91/36.92	c |     27575 |    1298   143366   620643 | 2147483647    27575    111 |  0.000 % |
37.31/37.39	c |     27675 |    1298   143366   620643 | 2147483647    27675    111 |  0.000 % |
37.81/37.87	c |     27786 |    1298   143366   620643 | 2147483647    27786    111 |  0.000 % |
38.41/38.48	c |     27907 |    1298   143366   620643 | 2147483647    27907    111 |  0.000 % |
39.01/39.10	c |     28041 |    1298   143366   620643 | 2147483647    28041    111 |  0.000 % |
39.51/39.57	c |     28187 |    1298   143366   620643 | 2147483647    28187    111 |  0.000 % |
40.11/40.20	c |     28347 |    1298   143366   620643 | 2147483647    28347    111 |  0.000 % |
40.91/40.98	c |     28523 |    1298   143366   620643 | 2147483647    28523    111 |  0.000 % |
41.82/41.84	c |     28718 |    1298   143366   620643 | 2147483647    28718    111 |  0.000 % |
42.51/42.56	c |     28930 |    1298   143366   620643 | 2147483647    28930    111 |  0.000 % |
43.31/43.35	c |     29163 |    1298   143366   620643 | 2147483647    29163    111 |  0.000 % |
44.02/44.08	c |     29419 |    1298   143366   620643 | 2147483647    29419    111 |  0.000 % |
44.71/44.79	c |     29700 |    1298   143366   620643 | 2147483647    29700    111 |  0.000 % |
45.82/45.85	c |     30009 |    1298   143366   620643 | 2147483647    30009    111 |  0.000 % |
46.92/46.96	c |     30349 |    1298   143366   620643 | 2147483647    30349    111 |  0.000 % |
47.82/47.81	c |     30722 |    1298   143366   620643 | 2147483647    30722    111 |  0.000 % |
48.32/48.37	c |     31131 |    1298   143366   620643 | 2147483647    31131    111 |  0.000 % |
50.12/50.17	c |     31582 |    1298   143366   620643 | 2147483647    31582    111 |  0.000 % |
51.42/51.48	c |     32077 |    1298   143366   620643 | 2147483647    32077    111 |  0.000 % |
51.52/51.60	c |     32178 |    1298   143366   620643 | 2147483647    32178    111 |  0.000 % |
51.82/51.87	c |     32290 |    1298   143366   620643 | 2147483647    32290    111 |  0.000 % |
52.12/52.13	c |     32411 |    1298   143366   620643 | 2147483647    32411    111 |  0.000 % |
52.52/52.51	c |     32545 |    1298   143366   620643 | 2147483647    32545    111 |  0.000 % |
52.72/52.81	c |     32691 |    1298   143366   620643 | 2147483647    32691    111 |  0.000 % |
53.32/53.37	c |     32852 |    1298   143366   620643 | 2147483647    32852    111 |  0.000 % |
53.62/53.63	c |     33028 |    1298   143366   620643 | 2147483647    33028    111 |  0.000 % |
53.72/53.76	c |     33223 |    1298   143366   620643 | 2147483647    33223    111 |  0.000 % |
53.92/53.95	c |     33438 |    1298   143366   620643 | 2147483647    33438    111 |  0.000 % |
54.22/54.23	c |     33672 |    1298   143366   620643 | 2147483647    33672    112 |  0.000 % |
54.72/54.73	c |     33928 |    1298   143366   620643 | 2147483647    33928    112 |  0.000 % |
54.92/54.99	c |     34209 |    1298   143366   620643 | 2147483647    34209    112 |  0.000 % |
55.32/55.31	c |     34519 |    1298   143366   620643 | 2147483647    34519    112 |  0.000 % |
55.52/55.55	c |     34860 |    1298   143366   620643 | 2147483647    34860    112 |  0.000 % |
55.72/55.80	c |     35233 |    1298   143366   620643 | 2147483647    35233    112 |  0.000 % |
56.02/56.09	c |     35643 |    1298   143366   620643 | 2147483647    35643    112 |  0.000 % |
56.52/56.57	c |     36093 |    1298   143366   620643 | 2147483647    36093    112 |  0.000 % |
57.02/57.03	c |     36587 |    1298   143366   620643 | 2147483647    36587    112 |  0.000 % |
57.42/57.47	c |     37131 |    1298   143366   620643 | 2147483647    37131    112 |  0.000 % |
57.52/57.57	c |     37231 |    1298   143366   620643 | 2147483647    37231    112 |  0.000 % |
57.62/57.66	c |     37342 |    1298   143366   620643 | 2147483647    37342    112 |  0.000 % |
57.72/57.80	c |     37463 |    1298   143366   620643 | 2147483647    37463    112 |  0.000 % |
57.92/57.93	c |     37599 |    1298   143366   620643 | 2147483647    37599    112 |  0.000 % |
58.02/58.10	c |     37746 |    1298   143366   620643 | 2147483647    37746    112 |  0.000 % |
58.22/58.29	c |     37908 |    1298   143366   620643 | 2147483647    37908    112 |  0.000 % |
58.52/58.52	c |     38085 |    1298   143366   620643 | 2147483647    38085    112 |  0.000 % |
58.72/58.74	c |     38279 |    1298   143366   620643 | 2147483647    38279    112 |  0.000 % |
59.02/59.05	c |     38492 |    1298   143366   620643 | 2147483647    38492    112 |  0.000 % |
59.32/59.38	c |     38728 |    1298   143366   620643 | 2147483647    38728    111 |  0.000 % |
59.62/59.70	c |     38984 |    1298   143366   620643 | 2147483647    38984    111 |  0.000 % |
59.92/59.99	c |     39265 |    1298   143366   620643 | 2147483647    39265    111 |  0.000 % |
60.32/60.36	c |     39574 |    1298   143366   620643 | 2147483647    39574    111 |  0.000 % |
60.72/60.78	c |     39916 |    1298   143366   620643 | 2147483647    39916    111 |  0.000 % |
61.32/61.31	c |     40289 |    1298   143366   620643 | 2147483647    40289    111 |  0.000 % |
62.42/62.45	c |     40698 |    1298   143366   620643 | 2147483647    40698    111 |  0.000 % |
63.42/63.44	c |     41147 |    1298   143366   620643 | 2147483647    41147    111 |  0.000 % |
66.12/66.18	c |     41640 |    1298   143366   620643 | 2147483647    41640    110 |  0.000 % |
66.82/66.86	c |     42182 |    1298   143366   620643 | 2147483647    42182    110 |  0.000 % |
68.22/68.26	c |     42778 |    1298   143366   620643 | 2147483647    42778    110 |  0.000 % |
68.52/68.59	c |     42879 |    1298   143366   620643 | 2147483647    42879    110 |  0.000 % |
69.02/69.06	c |     42990 |    1298   143366   620643 | 2147483647    42990    110 |  0.000 % |
69.52/69.58	c |     43111 |    1298   143366   620643 | 2147483647    43111    110 |  0.000 % |
69.82/69.83	c |     43244 |    1298   143366   620643 | 2147483647    43244    110 |  0.000 % |
70.32/70.33	c |     43393 |    1298   143366   620643 | 2147483647    43393    110 |  0.000 % |
71.02/71.03	c |     43553 |    1298   143366   620643 | 2147483647    43553    110 |  0.000 % |
71.12/71.18	c |     43731 |    1298   143366   620643 | 2147483647    43731    110 |  0.000 % |
71.92/72.01	c |     43924 |    1298   143366   620643 | 2147483647    43924    110 |  0.000 % |
72.32/72.34	c |     44136 |    1298   143366   620643 | 2147483647    44136    110 |  0.000 % |
73.02/73.07	c |     44370 |    1298   143366   620643 | 2147483647    44370    109 |  0.000 % |
73.22/73.26	c |     44627 |    1298   143366   620643 | 2147483647    44627    109 |  0.000 % |
73.72/73.76	c |     44908 |    1298   143366   620643 | 2147483647    44908    109 |  0.000 % |
74.42/74.42	c |     45217 |    1298   143366   620643 | 2147483647    45217    109 |  0.000 % |
75.12/75.17	c |     45558 |    1298   143366   620643 | 2147483647    45558    109 |  0.000 % |
76.42/76.42	c |     45930 |    1298   143366   620643 | 2147483647    45930    109 |  0.000 % |
77.62/77.61	c |     46340 |    1298   143366   620643 | 2147483647    46340    109 |  0.000 % |
78.52/78.61	c |     46790 |    1298   143366   620643 | 2147483647    46790    108 |  0.000 % |
80.42/80.42	c |     47284 |    1298   143366   620643 | 2147483647    47284    108 |  0.002 % |
81.32/81.39	c |     47826 |    1298   143366   620643 | 2147483647    47826    108 |  0.000 % |
82.82/82.87	c |     48422 |    1298   143366   620643 | 2147483647    48422    108 |  0.000 % |
83.72/83.73	c |     49078 |    1298   143366   620643 | 2147483647    49078    108 |  0.000 % |
84.12/84.11	c |     49179 |    1298   143366   620643 | 2147483647    49179    108 |  0.000 % |
84.42/84.42	c |     49289 |    1298   143366   620643 | 2147483647    49289    108 |  0.000 % |
84.82/84.84	c |     49411 |    1298   143366   620643 | 2147483647    49411    108 |  0.000 % |
85.22/85.28	c |     49547 |    1298   143366   620643 | 2147483647    49547    108 |  0.000 % |
85.82/85.84	c |     49694 |    1298   143366   620643 | 2147483647    49694    108 |  0.000 % |
86.12/86.17	c |     49856 |    1298   143366   620643 | 2147483647    49856    108 |  0.000 % |
86.42/86.41	c |     50032 |    1298   143366   620643 | 2147483647    50032    108 |  0.000 % |
86.92/86.92	c |     50225 |    1298   143366   620643 | 2147483647    50225    108 |  0.000 % |
87.72/87.75	c |     50437 |    1298   143366   620643 | 2147483647    50437    108 |  0.000 % |
88.42/88.50	c |     50672 |    1298   143366   620643 | 2147483647    50672    107 |  0.000 % |
89.22/89.28	c |     50928 |    1298   143366   620643 | 2147483647    50928    107 |  0.000 % |
89.92/89.99	c |     51210 |    1298   143366   620643 | 2147483647    51210    107 |  0.000 % |
90.42/90.50	c |     51519 |    1298   143366   620643 | 2147483647    51519    107 |  0.000 % |
91.52/91.54	c |     51860 |    1298   143366   620643 | 2147483647    51860    107 |  0.000 % |
92.72/92.76	c |     52234 |    1298   143366   620643 | 2147483647    52234    107 |  0.000 % |
93.42/93.47	c |     52643 |    1298   143366   620643 | 2147483647    52643    107 |  0.000 % |
94.32/94.33	c |     53094 |    1298   143366   620643 | 2147483647    53094    107 |  0.000 % |
95.52/95.55	c |     53588 |    1298   143366   620643 | 2147483647    53588    107 |  0.000 % |
96.92/96.97	c |     54130 |    1298   143366   620643 | 2147483647    54130    107 |  0.000 % |
97.72/97.80	c |     54726 |    1298   143366   620643 | 2147483647    54726    107 |  0.000 % |
98.82/98.83	c |     55381 |    1298   143366   620643 | 2147483647    55381    106 |  0.000 % |
100.13/100.15	c |     56101 |    1298   143366   620643 | 2147483647    56101    106 |  0.000 % |
100.32/100.33	c |     56202 |    1298   143366   620643 | 2147483647    56202    106 |  0.000 % |
100.62/100.66	c |     56313 |    1298   143366   620643 | 2147483647    56313    106 |  0.000 % |
100.92/100.93	c |     56435 |    1298   143366   620643 | 2147483647    56435    106 |  0.001 % |
101.82/101.87	c |     56568 |    1298   143366   620643 | 2147483647    56568    106 |  0.000 % |
102.12/102.20	c |     56720 |    1298   143366   620643 | 2147483647    56720    106 |  0.000 % |
102.92/102.94	c |     56880 |    1298   143366   620643 | 2147483647    56880    106 |  0.000 % |
103.62/103.61	c |     57056 |    1298   143366   620643 | 2147483647    57056    106 |  0.000 % |
104.12/104.11	c |     57251 |    1298   143366   620643 | 2147483647    57251    106 |  0.000 % |
104.32/104.34	c |     57463 |    1298   143366   620643 | 2147483647    57463    105 |  0.000 % |
104.92/104.99	c |     57699 |    1298   143366   620643 | 2147483647    57699    106 |  0.000 % |
105.63/105.71	c |     57956 |    1298   143366   620643 | 2147483647    57956    106 |  0.000 % |
107.22/107.22	c |     58237 |    1298   143366   620643 | 2147483647    58237    106 |  0.000 % |
108.12/108.18	c |     58546 |    1298   143366   620643 | 2147483647    58546    106 |  0.000 % |
108.42/108.50	c |     58886 |    1298   143366   620643 | 2147483647    58886    105 |  0.000 % |
110.32/110.38	c |     59260 |    1298   143366   620643 | 2147483647    59260    105 |  0.000 % |
111.52/111.55	c |     59670 |    1298   143366   620643 | 2147483647    59670    106 |  0.000 % |
112.42/112.50	c |     60119 |    1298   143366   620643 | 2147483647    60119    106 |  0.000 % |
113.62/113.63	c |     60612 |    1298   143366   620643 | 2147483647    60612    106 |  0.000 % |
115.22/115.26	c |     61155 |    1298   143366   620643 | 2147483647    61155    106 |  0.000 % |
117.22/117.21	c |     61752 |    1298   143366   620643 | 2147483647    61752    105 |  0.000 % |
118.72/118.75	c |     62409 |    1298   143366   620643 | 2147483647    62409    105 |  0.000 % |
120.32/120.38	c |     63130 |    1298   143366   620643 | 2147483647    63130    105 |  0.000 % |
122.52/122.54	c |     63922 |    1298   143366   620643 | 2147483647    63922    105 |  0.000 % |
122.62/122.70	c |     64023 |    1298   143366   620643 | 2147483647    64023    105 |  0.000 % |
123.02/123.10	c |     64136 |    1298   143366   620643 | 2147483647    64136    105 |  0.000 % |
123.23/123.22	c |     64257 |    1298   143366   620643 | 2147483647    64257    105 |  0.000 % |
124.12/124.12	c |     64391 |    1298   143366   620643 | 2147483647    64391    105 |  0.000 % |
124.33/124.40	c |     64538 |    1298   143366   620643 | 2147483647    64538    105 |  0.000 % |
124.92/124.99	c |     64699 |    1298   143366   620643 | 2147483647    64699    105 |  0.000 % |
125.32/125.36	c |     64876 |    1298   143366   620643 | 2147483647    64876    105 |  0.000 % |
126.12/126.12	c |     65070 |    1298   143366   620643 | 2147483647    65070    105 |  0.000 % |
127.22/127.24	c |     65282 |    1298   143366   620643 | 2147483647    65282    105 |  0.000 % |
127.52/127.59	c |     65517 |    1298   143366   620643 | 2147483647    65517    105 |  0.000 % |
128.33/128.33	c |     65773 |    1298   143366   620643 | 2147483647    65773    105 |  0.000 % |
129.13/129.20	c |     66055 |    1298   143366   620643 | 2147483647    66055    105 |  0.000 % |
130.33/130.37	c |     66364 |    1298   143366   620643 | 2147483647    66364    105 |  0.000 % |
131.03/131.10	c |     66703 |    1298   143366   620643 | 2147483647    66703    105 |  0.001 % |
131.73/131.79	c |     67075 |    1298   143366   620643 | 2147483647    67075    105 |  0.000 % |
133.03/133.08	c |     67484 |    1298   143366   620643 | 2147483647    67484    105 |  0.000 % |
134.63/134.68	c |     67935 |    1298   143366   620643 | 2147483647    67935    105 |  0.000 % |
135.63/135.68	c |     68428 |    1298   143366   620643 | 2147483647    68428    105 |  0.000 % |
138.23/138.29	c |     68970 |    1298   143366   620643 | 2147483647    68970    105 |  0.000 % |
141.03/141.07	c |     69567 |    1298   143366   620643 | 2147483647    69567    105 |  0.000 % |
143.13/143.14	c |     70222 |    1298   143366   620643 | 2147483647    70222    105 |  0.000 % |
145.13/145.12	c |     70942 |    1298   143366   620643 | 2147483647    70942    105 |  0.000 % |
147.23/147.31	c |     71734 |    1298   143366   620643 | 2147483647    71734    105 |  0.000 % |
149.03/149.11	c |     72605 |    1298   143366   620643 | 2147483647    72605    105 |  0.000 % |
149.63/149.63	c |     72705 |    1298   143366   620643 | 2147483647    72705    105 |  0.000 % |
149.83/149.89	c |     72817 |    1298   143366   620643 | 2147483647    72817    105 |  0.000 % |
150.23/150.23	c |     72940 |    1298   143366   620643 | 2147483647    72940    105 |  0.000 % |
150.63/150.71	c |     73074 |    1298   143366   620643 | 2147483647    73074    105 |  0.000 % |
151.23/151.23	c |     73220 |    1298   143366   620643 | 2147483647    73220    105 |  0.000 % |
151.73/151.76	c |     73381 |    1298   143366   620643 | 2147483647    73381    105 |  0.000 % |
152.33/152.33	c |     73557 |    1298   143366   620643 | 2147483647    73557    105 |  0.000 % |
153.03/153.09	c |     73750 |    1298   143366   620643 | 2147483647    73750    105 |  0.000 % |
153.73/153.76	c |     73962 |    1298   143366   620643 | 2147483647    73962    105 |  0.000 % |
155.03/155.07	c |     74195 |    1298   143366   620643 | 2147483647    74195    105 |  0.000 % |
156.53/156.57	c |     74451 |    1298   143366   620643 | 2147483647    74451    105 |  0.000 % |
157.83/157.85	c |     74734 |    1298   143366   620643 | 2147483647    74734    104 |  0.001 % |
158.43/158.46	c |     75044 |    1298   143366   620643 | 2147483647    75044    104 |  0.000 % |
159.33/159.33	c |     75388 |    1298   143366   620643 | 2147483647    75388    104 |  0.000 % |
160.23/160.23	c |     75760 |    1298   143366   620643 | 2147483647    75760    104 |  0.000 % |
161.43/161.43	c |     76170 |    1298   143366   620643 | 2147483647    76170    104 |  0.000 % |
163.43/163.44	c |     76620 |    1298   143366   620643 | 2147483647    76620    104 |  0.000 % |
164.93/165.00	c |     77114 |    1298   143366   620643 | 2147483647    77114    104 |  0.000 % |
166.53/166.53	c |     77656 |    1298   143366   620643 | 2147483647    77656    104 |  0.000 % |
167.63/167.63	c |     78252 |    1298   143366   620643 | 2147483647    78252    104 |  0.000 % |
168.53/168.51	c |     78907 |    1298   143366   620643 | 2147483647    78907    104 |  0.000 % |
170.53/170.56	c |     79630 |    1298   143366   620643 | 2147483647    79630    104 |  0.000 % |
172.03/172.11	c |     80422 |    1298   143366   620643 | 2147483647    80422    104 |  0.000 % |
173.63/173.69	c |     81293 |    1298   143366   620643 | 2147483647    81293    104 |  0.002 % |
175.23/175.22	c |     82258 |    1298   143366   620643 | 2147483647    82258    104 |  0.000 % |
175.43/175.48	c |     82359 |    1298   143366   620643 | 2147483647    82359    104 |  0.000 % |
175.73/175.78	c |     82470 |    1298   143366   620643 | 2147483647    82470    104 |  0.000 % |
175.93/175.96	c |     82591 |    1298   143366   620643 | 2147483647    82591    104 |  0.000 % |
176.43/176.50	c |     82724 |    1298   143366   620643 | 2147483647    82724    104 |  0.000 % |
177.03/177.04	c |     82870 |    1298   143366   620643 | 2147483647    82870    104 |  0.000 % |
177.63/177.62	c |     83031 |    1298   143366   620643 | 2147483647    83031    104 |  0.000 % |
178.13/178.13	c |     83208 |    1298   143366   620643 | 2147483647    83208    104 |  0.000 % |
178.73/178.72	c |     83404 |    1298   143366   620643 | 2147483647    83404    104 |  0.000 % |
179.43/179.48	c |     83618 |    1298   143366   620643 | 2147483647    83618    104 |  0.000 % |
180.23/180.24	c |     83851 |    1298   143366   620643 | 2147483647    83851    104 |  0.000 % |
181.03/181.07	c |     84107 |    1298   143366   620643 | 2147483647    84107    104 |  0.000 % |
181.54/181.59	c |     84388 |    1298   143366   620643 | 2147483647    84388    104 |  0.000 % |
182.93/182.95	c |     84697 |    1298   143366   620643 | 2147483647    84697    104 |  0.000 % |
184.23/184.28	c |     85036 |    1298   143366   620643 | 2147483647    85036    104 |  0.000 % |
185.23/185.26	c |     85409 |    1298   143366   620643 | 2147483647    85409    104 |  0.000 % |
186.93/186.96	c |     85819 |    1298   143366   620643 | 2147483647    85819    104 |  0.000 % |
188.14/188.14	c |     86270 |    1298   143366   620643 | 2147483647    86270    104 |  0.001 % |
189.33/189.31	c |     86764 |    1298   143366   620643 | 2147483647    86764    104 |  0.000 % |
191.93/191.95	c |     87306 |    1298   143366   620643 | 2147483647    87306    104 |  0.000 % |
193.43/193.42	c |     87902 |    1298   143366   620643 | 2147483647    87902    104 |  0.000 % |
194.83/194.90	c |     88558 |    1298   143366   620643 | 2147483647    88558    104 |  0.000 % |
198.04/198.10	c |     89278 |    1298   143366   620643 | 2147483647    89278    104 |  0.000 % |
200.73/200.72	c |     90070 |    1298   143366   620643 | 2147483647    90070    104 |  0.000 % |
203.63/203.63	c |     90943 |    1298   143366   620643 | 2147483647    90943    104 |  0.000 % |
205.53/205.57	c |     91901 |    1298   143366   620643 | 2147483647    91901    104 |  0.000 % |
207.63/207.68	c |     92956 |    1298   143366   620643 | 2147483647    92956    104 |  0.000 % |
208.23/208.23	c |     93058 |    1298   143366   620643 | 2147483647    93058    104 |  0.000 % |
208.83/208.88	c |     93170 |    1298   143366   620643 | 2147483647    93170    104 |  0.000 % |
209.13/209.17	c |     93293 |    1298   143366   620643 | 2147483647    93293    104 |  0.000 % |
209.63/209.63	c |     93427 |    1298   143366   620643 | 2147483647    93427    104 |  0.000 % |
210.04/210.04	c |     93576 |    1298   143366   620643 | 2147483647    93576    104 |  0.000 % |
210.54/210.58	c |     93736 |    1298   143366   620643 | 2147483647    93736    104 |  0.000 % |
210.94/210.98	c |     93912 |    1298   143366   620643 | 2147483647    93912    104 |  0.000 % |
211.74/211.80	c |     94107 |    1298   143366   620643 | 2147483647    94107    104 |  0.000 % |
212.54/212.52	c |     94322 |    1298   143366   620643 | 2147483647    94322    104 |  0.000 % |
213.34/213.32	c |     94561 |    1298   143366   620643 | 2147483647    94561    103 |  0.000 % |
214.34/214.38	c |     94817 |    1298   143366   620643 | 2147483647    94817    103 |  0.000 % |
216.04/216.07	c |     95099 |    1298   143366   620643 | 2147483647    95099    103 |  0.000 % |
216.84/216.91	c |     95408 |    1298   143366   620643 | 2147483647    95408    103 |  0.000 % |
218.24/218.28	c |     95747 |    1298   143366   620643 | 2147483647    95747    103 |  0.000 % |
219.44/219.43	c |     96120 |    1298   143366   620643 | 2147483647    96120    103 |  0.000 % |
220.14/220.16	c |     96529 |    1298   143366   620643 | 2147483647    96529    103 |  0.000 % |
221.84/221.85	c |     96980 |    1298   143366   620643 | 2147483647    96980    103 |  0.000 % |
222.74/222.72	c |     97475 |    1298   143366   620643 | 2147483647    97475    103 |  0.000 % |
225.14/225.20	c |     98019 |    1298   143366   620643 | 2147483647    98019    103 |  0.000 % |
226.34/226.38	c |     98618 |    1298   143366   620643 | 2147483647    98618    103 |  0.000 % |
228.04/228.06	c |     99273 |    1298   143366   620643 | 2147483647    99273    103 |  0.000 % |
229.53/229.54	c |     99993 |    1298   143366   620643 | 2147483647    99993    103 |  0.000 % |
233.73/233.78	c |    100786 |    1298   143366   620643 | 2147483647   100786    103 |  0.000 % |
237.93/237.95	c |    101657 |    1298   143366   620643 | 2147483647   101657    103 |  0.001 % |
240.43/240.45	c |    102617 |    1298   143366   620643 | 2147483647   102617    103 |  0.000 % |
242.93/242.99	c |    103671 |    1298   143366   620643 | 2147483647   103671    103 |  0.000 % |
244.33/244.34	c |    104830 |    1298   143366   620643 | 2147483647   104830    102 |  0.000 % |
244.73/244.78	c |    104931 |    1298   143366   620643 | 2147483647   104931    102 |  0.000 % |
245.43/245.41	c |    105042 |    1298   143366   620643 | 2147483647   105042    102 |  0.000 % |
245.83/245.83	c |    105164 |    1298   143366   620643 | 2147483647   105164    102 |  0.000 % |
246.63/246.60	c |    105298 |    1298   143366   620643 | 2147483647   105298    102 |  0.000 % |
246.93/246.98	c |    105446 |    1298   143366   620643 | 2147483647   105446    102 |  0.000 % |
247.63/247.65	c |    105606 |    1298   143366   620643 | 2147483647   105606    102 |  0.000 % |
248.23/248.24	c |    105782 |    1298   143366   620643 | 2147483647   105782    102 |  0.000 % |
248.83/248.88	c |    105975 |    1298   143366   620643 | 2147483647   105975    102 |  0.000 % |
249.83/249.87	c |    106187 |    1298   143366   620643 | 2147483647   106187    102 |  0.000 % |
251.13/251.15	c |    106425 |    1298   143366   620643 | 2147483647   106425    102 |  0.000 % |
252.73/252.73	c |    106684 |    1298   143366   620643 | 2147483647   106684    102 |  0.000 % |
253.63/253.66	c |    106968 |    1298   143366   620643 | 2147483647   106968    102 |  0.001 % |
255.03/255.02	c |    107277 |    1298   143366   620643 | 2147483647   107277    102 |  0.000 % |
255.93/256.00	c |    107620 |    1298   143366   620643 | 2147483647   107620    102 |  0.000 % |
257.13/257.13	c |    107992 |    1298   143366   620643 | 2147483647   107992    102 |  0.000 % |
258.43/258.41	c |    108402 |    1298   143366   620643 | 2147483647   108402    102 |  0.000 % |
260.53/260.53	c |    108852 |    1298   143366   620643 | 2147483647   108852    102 |  0.000 % |
262.03/262.05	c |    109345 |    1298   143366   620643 | 2147483647   109345    102 |  0.000 % |
263.73/263.80	c |    109893 |    1298   143366   620643 | 2147483647   109893    102 |  0.000 % |
265.73/265.72	c |    110493 |    1298   143366   620643 | 2147483647   110493    102 |  0.000 % |
268.44/268.47	c |    111150 |    1298   143366   620643 | 2147483647   111150    101 |  0.001 % |
270.93/270.94	c |    111872 |    1298   143366   620643 | 2147483647   111872    101 |  0.001 % |
273.94/273.99	c |    112666 |    1298   143366   620643 | 2147483647   112666    101 |  0.000 % |
275.13/275.11	c |    113540 |    1298   143366   620643 | 2147483647   113540    101 |  0.000 % |
277.63/277.60	c |    114500 |    1298   143366   620643 | 2147483647   114500    101 |  0.000 % |
281.33/281.39	c |    115555 |    1298   143366   620643 | 2147483647   115555    101 |  0.000 % |
286.23/286.25	c |    116717 |    1298   143366   620643 | 2147483647   116717    101 |  0.000 % |
289.63/289.64	c |    117990 |    1298   143366   620643 | 2147483647   117990    101 |  0.000 % |
289.93/290.00	c |    118090 |    1298   143366   620643 | 2147483647   118090    101 |  0.000 % |
290.33/290.34	c |    118200 |    1298   143366   620643 | 2147483647   118200    101 |  0.000 % |
290.73/290.71	c |    118321 |    1298   143366   620643 | 2147483647   118321    101 |  0.000 % |
291.23/291.28	c |    118454 |    1298   143366   620643 | 2147483647   118454    101 |  0.000 % |
291.94/291.95	c |    118600 |    1298   143366   620643 | 2147483647   118600    101 |  0.000 % |
292.54/292.55	c |    118761 |    1298   143366   620643 | 2147483647   118761    101 |  0.000 % |
293.24/293.28	c |    118938 |    1298   143366   620643 | 2147483647   118938    101 |  0.000 % |
293.94/293.94	c |    119131 |    1298   143366   620643 | 2147483647   119131    101 |  0.000 % |
294.44/294.47	c |    119343 |    1298   143366   620643 | 2147483647   119343    101 |  0.000 % |
295.94/295.92	c |    119578 |    1298   143366   620643 | 2147483647   119578    101 |  0.001 % |
296.54/296.52	c |    119835 |    1298   143366   620643 | 2147483647   119835    101 |  0.000 % |
297.44/297.44	c |    120118 |    1298   143366   620643 | 2147483647   120118    101 |  0.000 % |
298.34/298.33	c |    120427 |    1298   143366   620643 | 2147483647   120427    101 |  0.000 % |
299.04/299.01	c |    120768 |    1298   143366   620643 | 2147483647   120768    101 |  0.000 % |
300.34/300.41	c |    121142 |    1298   143366   620643 | 2147483647   121142    101 |  0.000 % |
302.04/302.02	c |    121556 |    1298   143366   620643 | 2147483647   121556    101 |  0.000 % |
304.64/304.68	c |    122005 |    1298   143366   620643 | 2147483647   122005    101 |  0.000 % |
307.54/307.59	c |    122498 |    1298   143366   620643 | 2147483647   122498    101 |  0.000 % |
309.34/309.40	c |    123042 |    1298   143366   620643 | 2147483647   123042    101 |  0.000 % |
311.34/311.39	c |    123638 |    1298   143366   620643 | 2147483647   123638    101 |  0.000 % |
313.94/314.00	c |    124293 |    1298   143366   620643 | 2147483647   124293    101 |  0.000 % |
316.44/316.47	c |    125014 |    1298   143366   620643 | 2147483647   125014    101 |  0.000 % |
320.14/320.18	c |    125806 |    1298   143366   620643 | 2147483647   125806    101 |  0.000 % |
322.44/322.46	c |    126677 |    1298   143366   620643 | 2147483647   126677    101 |  0.000 % |
326.34/326.31	c |    127637 |    1298   143366   620643 | 2147483647   127637    101 |  0.000 % |
329.64/329.65	c |    128691 |    1298   143366   620643 | 2147483647   128691    101 |  0.000 % |
334.54/334.52	c |    129849 |    1298   143366   620643 | 2147483647   129849    101 |  0.000 % |
338.74/338.72	c |    131122 |    1298   143366   620643 | 2147483647   131122    101 |  0.000 % |
343.74/343.78	c |    132523 |    1298   143366   620643 | 2147483647   132523    100 |  0.001 % |
344.14/344.14	c |    132623 |    1298   143366   620643 | 2147483647   132623    100 |  0.000 % |
344.74/344.75	c |    132735 |    1298   143366   620643 | 2147483647   132735    100 |  0.000 % |
345.24/345.30	c |    132856 |    1298   143366   620643 | 2147483647   132856    100 |  0.000 % |
345.94/345.93	c |    132990 |    1298   143366   620643 | 2147483647   132990    100 |  0.000 % |
346.44/346.44	c |    133136 |    1298   143366   620643 | 2147483647   133136    100 |  0.000 % |
346.84/346.89	c |    133296 |    1298   143366   620643 | 2147483647   133296    100 |  0.000 % |
347.94/347.93	c |    133472 |    1298   143366   620643 | 2147483647   133472    100 |  0.000 % |
348.84/348.86	c |    133666 |    1298   143366   620643 | 2147483647   133666    100 |  0.000 % |
349.44/349.42	c |    133879 |    1298   143366   620643 | 2147483647   133879    100 |  0.000 % |
351.04/351.05	c |    134113 |    1298   143366   620643 | 2147483647   134113    100 |  0.000 % |
352.54/352.56	c |    134370 |    1298   143366   620643 | 2147483647   134370    100 |  0.000 % |
353.24/353.28	c |    134652 |    1298   143366   620643 | 2147483647   134652    100 |  0.000 % |
354.84/354.88	c |    134961 |    1298   143366   620643 | 2147483647   134961    100 |  0.000 % |
355.44/355.49	c |    135302 |    1298   143366   620643 | 2147483647   135302    100 |  0.000 % |
356.34/356.38	c |    135674 |    1298   143366   620643 | 2147483647   135674    100 |  0.000 % |
357.44/357.48	c |    136084 |    1298   143366   620643 | 2147483647   136084    100 |  0.000 % |
359.14/359.20	c |    136536 |    1298   143366   620643 | 2147483647   136536    100 |  0.000 % |
361.64/361.61	c |    137030 |    1298   143366   620643 | 2147483647   137030    100 |  0.000 % |
363.14/363.20	c |    137572 |    1298   143366   620643 | 2147483647   137572    100 |  0.000 % |
365.44/365.46	c |    138169 |    1298   143366   620643 | 2147483647   138169    100 |  0.000 % |
366.84/366.89	c |    138825 |    1298   143366   620643 | 2147483647   138825    101 |  0.000 % |
370.24/370.26	c |    139546 |    1298   143366   620643 | 2147483647   139546    101 |  0.000 % |
372.95/372.98	c |    140338 |    1298   143366   620643 | 2147483647   140338    101 |  0.000 % |
376.75/376.79	c |    141211 |    1298   143366   620643 | 2147483647   141211    101 |  0.000 % |
380.75/380.77	c |    142169 |    1298   143366   620643 | 2147483647   142169    101 |  0.000 % |
384.15/384.20	c |    143225 |    1298   143366   620643 | 2147483647   143225    101 |  0.000 % |
388.16/388.16	c |    144383 |    1298   143366   620643 | 2147483647   144383    101 |  0.000 % |
393.96/393.93	c |    145657 |    1298   143366   620643 | 2147483647   145657    101 |  0.000 % |
396.56/396.55	c |    147057 |    1298   143366   620643 | 2147483647   147057    101 |  0.000 % |
403.86/403.84	c |    148598 |    1298   143366   620643 | 2147483647   148598    102 |  0.000 % |
404.16/404.16	c |    148698 |    1298   143366   620643 | 2147483647   148698    102 |  0.000 % |
404.66/404.68	c |    148808 |    1298   143366   620643 | 2147483647   148808    102 |  0.000 % |
405.36/405.32	c |    148929 |    1298   143366   620643 | 2147483647   148929    102 |  0.000 % |
405.96/405.94	c |    149062 |    1298   143366   620643 | 2147483647   149062    102 |  0.000 % |
406.76/406.76	c |    149208 |    1298   143366   620643 | 2147483647   149208    102 |  0.000 % |
407.76/407.81	c |    149369 |    1298   143366   620643 | 2147483647   149369    102 |  0.000 % |
408.46/408.44	c |    149545 |    1298   143366   620643 | 2147483647   149545    102 |  0.000 % |
409.26/409.27	c |    149739 |    1298   143366   620643 | 2147483647   149739    102 |  0.000 % |
410.26/410.23	c |    149952 |    1298   143366   620643 | 2147483647   149952    102 |  0.000 % |
411.06/411.05	c |    150187 |    1298   143366   620643 | 2147483647   150187    102 |  0.000 % |
411.96/411.97	c |    150444 |    1298   143366   620643 | 2147483647   150444    102 |  0.000 % |
413.36/413.40	c |    150725 |    1298   143366   620643 | 2147483647   150725    101 |  0.000 % |
414.56/414.55	c |    151034 |    1298   143366   620643 | 2147483647   151034    101 |  0.000 % |
417.16/417.16	c |    151374 |    1298   143366   620643 | 2147483647   151374    102 |  0.000 % |
418.06/418.08	c |    151748 |    1298   143366   620643 | 2147483647   151748    102 |  0.000 % |
419.96/419.94	c |    152160 |    1298   143366   620643 | 2147483647   152160    102 |  0.000 % |
421.66/421.68	c |    152610 |    1298   143366   620643 | 2147483647   152610    102 |  0.000 % |
423.36/423.34	c |    153103 |    1298   143366   620643 | 2147483647   153103    102 |  0.000 % |
424.76/424.79	c |    153645 |    1298   143366   620643 | 2147483647   153645    102 |  0.000 % |
426.66/426.64	c |    154242 |    1298   143366   620643 | 2147483647   154242    102 |  0.000 % |
429.96/429.99	c |    154898 |    1298   143366   620643 | 2147483647   154898    102 |  0.000 % |
433.06/433.10	c |    155620 |    1298   143366   620643 | 2147483647   155620    102 |  0.000 % |
437.06/437.10	c |    156413 |    1298   143366   620643 | 2147483647   156413    101 |  0.000 % |
441.36/441.34	c |    157284 |    1298   143366   620643 | 2147483647   157284    101 |  0.000 % |
443.86/443.91	c |    158243 |    1298   143366   620643 | 2147483647   158243    101 |  0.000 % |
447.66/447.72	c |    159296 |    1298   143366   620643 | 2147483647   159296    101 |  0.000 % |
450.26/450.31	c |    160455 |    1298   143366   620643 | 2147483647   160455    101 |  0.000 % |
452.56/452.58	c |    161730 |    1298   143366   620643 | 2147483647   161730    101 |  0.000 % |
455.26/455.26	c |    163131 |    1298   143366   620643 | 2147483647   163131    101 |  0.000 % |
459.17/459.15	c |    164672 |    1298   143366   620643 | 2147483647   164672    101 |  0.000 % |
463.17/463.13	c |    166366 |    1298   143366   620643 | 2147483647   166366    101 |  0.000 % |
463.37/463.38	c |    166466 |    1298   143366   620643 | 2147483647   166466    101 |  0.000 % |
463.67/463.68	c |    166576 |    1298   143366   620643 | 2147483647   166576    101 |  0.000 % |
464.27/464.32	c |    166697 |    1298   143366   620643 | 2147483647   166697    101 |  0.000 % |
464.87/464.91	c |    166831 |    1298   143366   620643 | 2147483647   166831    101 |  0.000 % |
466.17/466.15	c |    166978 |    1298   143366   620643 | 2147483647   166978    101 |  0.000 % |
467.17/467.17	c |    167139 |    1298   143366   620643 | 2147483647   167139    101 |  0.000 % |
468.07/468.08	c |    167316 |    1298   143366   620643 | 2147483647   167316    101 |  0.000 % |
468.97/468.98	c |    167513 |    1298   143366   620643 | 2147483647   167513    101 |  0.001 % |
470.17/470.13	c |    167726 |    1298   143366   620643 | 2147483647   167726    101 |  0.000 % |
471.17/471.17	c |    167960 |    1298   143366   620643 | 2147483647   167960    101 |  0.000 % |
472.17/472.20	c |    168218 |    1298   143366   620643 | 2147483647   168218    101 |  0.000 % |
473.47/473.48	c |    168499 |    1298   143366   620643 | 2147483647   168499    101 |  0.000 % |
474.57/474.53	c |    168808 |    1298   143366   620643 | 2147483647   168808    101 |  0.000 % |
475.57/475.59	c |    169147 |    1298   143366   620643 | 2147483647   169147    101 |  0.000 % |
476.57/476.55	c |    169520 |    1298   143366   620643 | 2147483647   169520    101 |  0.000 % |
478.77/478.79	c |    169931 |    1298   143366   620643 | 2147483647   169931    101 |  0.000 % |
481.27/481.29	c |    170380 |    1298   143366   620643 | 2147483647   170380    101 |  0.000 % |
483.07/483.09	c |    170873 |    1298   143366   620643 | 2147483647   170873    101 |  0.000 % |
484.87/484.88	c |    171415 |    1298   143366   620643 | 2147483647   171415    101 |  0.000 % |
486.87/486.90	c |    172013 |    1298   143366   620643 | 2147483647   172013    101 |  0.001 % |
489.77/489.81	c |    172668 |    1298   143366   620643 | 2147483647   172668    101 |  0.000 % |
493.97/493.97	c |    173389 |    1298   143366   620643 | 2147483647   173389    101 |  0.000 % |
497.37/497.40	c |    174181 |    1298   143366   620643 | 2147483647   174181    101 |  0.000 % |
501.27/501.27	c |    175054 |    1298   143366   620643 | 2147483647   175054    100 |  0.000 % |
505.37/505.34	c |    176014 |    1298   143366   620643 | 2147483647   176014    101 |  0.000 % |
512.27/512.26	c |    177069 |    1298   143366   620643 | 2147483647   177069    101 |  0.000 % |
517.37/517.40	c |    178227 |    1298   143366   620643 | 2147483647   178227    101 |  0.000 % |
522.27/522.29	c |    179500 |    1298   143366   620643 | 2147483647   179500    101 |  0.000 % |
527.37/527.36	c |    180901 |    1298   143366   620643 | 2147483647   180901    101 |  0.000 % |
532.87/532.86	c |    182441 |    1298   143366   620643 | 2147483647   182441    101 |  0.000 % |
537.77/537.73	c |    184136 |    1298   143366   620643 | 2147483647   184136    101 |  0.000 % |
545.88/545.86	c |    186004 |    1298   143366   620643 | 2147483647   186004    101 |  0.000 % |
546.48/546.52	c |    186106 |    1298   143366   620643 | 2147483647   186106    101 |  0.000 % |
547.18/547.18	c |    186216 |    1298   143366   620643 | 2147483647   186216    101 |  0.000 % |
547.78/547.82	c |    186338 |    1298   143366   620643 | 2147483647   186338    101 |  0.000 % |
548.48/548.52	c |    186472 |    1298   143366   620643 | 2147483647   186472    101 |  0.000 % |
549.18/549.19	c |    186622 |    1298   143366   620643 | 2147483647   186622    101 |  0.000 % |
549.98/549.94	c |    186782 |    1298   143366   620643 | 2147483647   186782    101 |  0.000 % |
550.88/550.90	c |    186958 |    1298   143366   620643 | 2147483647   186958    101 |  0.000 % |
551.78/551.75	c |    187151 |    1298   143366   620643 | 2147483647   187151    101 |  0.000 % |
552.68/552.67	c |    187363 |    1298   143366   620643 | 2147483647   187363    101 |  0.000 % |
553.28/553.30	c |    187596 |    1298   143366   620643 | 2147483647   187596    101 |  0.000 % |
555.08/555.06	c |    187852 |    1298   143366   620643 | 2147483647   187852    101 |  0.000 % |
556.48/556.47	c |    188137 |    1298   143366   620643 | 2147483647   188137    101 |  0.000 % |
557.78/557.75	c |    188446 |    1298   143366   620643 | 2147483647   188446    101 |  0.000 % |
559.58/559.59	c |    188785 |    1298   143366   620643 | 2147483647   188785    101 |  0.000 % |
560.38/560.40	c |    189159 |    1298   143366   620643 | 2147483647   189159    101 |  0.000 % |
561.48/561.46	c |    189568 |    1298   143366   620643 | 2147483647   189568    101 |  0.000 % |
564.38/564.35	c |    190017 |    1298   143366   620643 | 2147483647   190017    101 |  0.000 % |
566.88/566.89	c |    190510 |    1298   143366   620643 | 2147483647   190510    101 |  0.000 % |
570.28/570.25	c |    191052 |    1298   143366   620643 | 2147483647   191052    101 |  0.000 % |
572.88/572.82	c |    191648 |    1298   143366   620643 | 2147483647   191648    101 |  0.000 % |
576.88/576.86	c |    192303 |    1298   143366   620643 | 2147483647   192303    101 |  0.000 % |
581.48/581.51	c |    193027 |    1298   143366   620643 | 2147483647   193027    101 |  0.000 % |
586.37/586.38	c |    193819 |    1298   143366   620643 | 2147483647   193819    101 |  0.000 % |
590.07/590.03	c |    194690 |    1298   143366   620643 | 2147483647   194690    101 |  0.000 % |
592.57/592.58	c |    195648 |    1298   143366   620643 | 2147483647   195648    101 |  0.001 % |
595.97/595.92	c |    196703 |    1298   143366   620643 | 2147483647   196703    101 |  0.000 % |
598.27/598.29	c |    197862 |    1298   143366   620643 | 2147483647   197862    101 |  0.000 % |
602.07/602.06	c |    199135 |    1298   143366   620643 | 2147483647   199135    101 |  0.000 % |
606.67/606.66	c |    200538 |    1298   143366   620643 | 2147483647   200538    101 |  0.000 % |
612.47/612.48	c |    202081 |    1298   143366   620643 | 2147483647   202081    101 |  0.000 % |
622.88/622.83	c |    203776 |    1298   143366   620643 | 2147483647   203776    101 |  0.000 % |
628.18/628.16	c |    205639 |    1298   143366   620643 | 2147483647   205639    101 |  0.000 % |
635.08/635.02	c |    207690 |    1298   143366   620643 | 2147483647   207690    101 |  0.000 % |
635.58/635.55	c |    207791 |    1298   143366   620643 | 2147483647   207791    101 |  0.000 % |
636.28/636.28	c |    207904 |    1298   143366   620643 | 2147483647   207904    101 |  0.000 % |
636.88/636.91	c |    208026 |    1298   143366   620643 | 2147483647   208026    101 |  0.000 % |
637.98/638.00	c |    208160 |    1298   143366   620643 | 2147483647   208160    101 |  0.000 % |
638.78/638.78	c |    208306 |    1298   143366   620643 | 2147483647   208306    101 |  0.000 % |
639.58/639.61	c |    208466 |    1298   143366   620643 | 2147483647   208466    101 |  0.000 % |
640.68/640.65	c |    208646 |    1298   143366   620643 | 2147483647   208646    101 |  0.000 % |
641.98/641.93	c |    208840 |    1298   143366   620643 | 2147483647   208840    101 |  0.000 % |
643.08/643.02	c |    209055 |    1298   143366   620643 | 2147483647   209055    101 |  0.000 % |
644.48/644.48	c |    209288 |    1298   143366   620643 | 2147483647   209288    101 |  0.000 % |
645.58/645.54	c |    209545 |    1298   143366   620643 | 2147483647   209545    101 |  0.000 % |
646.58/646.57	c |    209826 |    1298   143366   620643 | 2147483647   209826    101 |  0.000 % |
648.18/648.14	c |    210135 |    1298   143366   620643 | 2147483647   210135    101 |  0.000 % |
649.78/649.78	c |    210474 |    1298   143366   620643 | 2147483647   210474    101 |  0.000 % |
651.18/651.20	c |    210846 |    1298   143366   620643 | 2147483647   210846    101 |  0.000 % |
653.88/653.89	c |    211255 |    1298   143366   620643 | 2147483647   211255    101 |  0.000 % |
656.78/656.81	c |    211704 |    1298   143366   620643 | 2147483647   211704    101 |  0.000 % |
659.08/659.06	c |    212197 |    1298   143366   620643 | 2147483647   212197    101 |  0.000 % |
661.78/661.75	c |    212740 |    1298   143366   620643 | 2147483647   212740    101 |  0.000 % |
664.78/664.80	c |    213336 |    1298   143366   620643 | 2147483647   213336    101 |  0.000 % |
667.58/667.59	c |    213991 |    1298   143366   620643 | 2147483647   213991    101 |  0.000 % |
669.18/669.20	c |    214712 |    1298   143366   620643 | 2147483647   214712    101 |  0.000 % |
672.08/672.05	c |    215504 |    1298   143366   620643 | 2147483647   215504    101 |  0.000 % |
675.58/675.57	c |    216375 |    1298   143366   620643 | 2147483647   216375    101 |  0.000 % |
679.98/679.92	c |    217333 |    1298   143366   620643 | 2147483647   217333    101 |  0.000 % |
685.39/685.35	c |    218388 |    1298   143366   620643 | 2147483647   218388    101 |  0.000 % |
691.28/691.26	c |    219546 |    1298   143366   620643 | 2147483647   219546    101 |  0.000 % |
697.98/697.94	c |    220819 |    1298   143366   620643 | 2147483647   220819    101 |  0.000 % |
703.09/703.08	c |    222221 |    1298   143366   620643 | 2147483647   222221    101 |  0.000 % |
709.19/709.12	c |    223761 |    1298   143366   620643 | 2147483647   223761    101 |  0.000 % |
717.29/717.26	c |    225455 |    1298   143366   620643 | 2147483647   225455    101 |  0.000 % |
725.89/725.91	c |    227318 |    1298   143366   620643 | 2147483647   227318    101 |  0.000 % |
733.09/733.09	c |    229369 |    1298   143366   620643 | 2147483647   229369    101 |  0.000 % |
743.39/743.40	c |    231622 |    1298   143366   620643 | 2147483647   231622    101 |  0.000 % |
743.99/743.94	c |    231724 |    1298   143366   620643 | 2147483647   231724    101 |  0.000 % |
744.49/744.46	c |    231838 |    1298   143366   620643 | 2147483647   231838    101 |  0.000 % |
745.19/745.20	c |    231959 |    1298   143366   620643 | 2147483647   231959    101 |  0.000 % |
745.79/745.75	c |    232092 |    1298   143366   620643 | 2147483647   232092    101 |  0.000 % |
746.39/746.38	c |    232238 |    1298   143366   620643 | 2147483647   232238    101 |  0.000 % |
747.29/747.22	c |    232400 |    1298   143366   620643 | 2147483647   232400    101 |  0.000 % |
748.19/748.13	c |    232576 |    1298   143366   620643 | 2147483647   232576    101 |  0.000 % |
749.79/749.72	c |    232770 |    1298   143366   620643 | 2147483647   232770    101 |  0.000 % |
750.99/750.92	c |    232984 |    1298   143366   620643 | 2147483647   232984    101 |  0.000 % |
751.89/751.90	c |    233219 |    1298   143366   620643 | 2147483647   233219    101 |  0.000 % |
753.99/753.95	c |    233475 |    1298   143366   620643 | 2147483647   233475    101 |  0.000 % |
755.59/755.56	c |    233756 |    1298   143366   620643 | 2147483647   233756    101 |  0.000 % |
756.79/756.80	c |    234066 |    1298   143366   620643 | 2147483647   234066    101 |  0.000 % |
758.19/758.14	c |    234405 |    1298   143366   620643 | 2147483647   234405    101 |  0.000 % |
760.39/760.35	c |    234778 |    1298   143366   620643 | 2147483647   234778    101 |  0.000 % |
762.49/762.42	c |    235187 |    1298   143366   620643 | 2147483647   235187    101 |  0.000 % |
764.89/764.84	c |    235637 |    1298   143366   620643 | 2147483647   235637    101 |  0.000 % |
767.19/767.19	c |    236130 |    1298   143366   620643 | 2147483647   236130    101 |  0.000 % |
768.89/768.87	c |    236672 |    1298   143366   620643 | 2147483647   236672    101 |  0.000 % |
772.30/772.24	c |    237268 |    1298   143366   620643 | 2147483647   237268    101 |  0.000 % |
777.69/777.67	c |    237923 |    1298   143366   620643 | 2147483647   237923    101 |  0.000 % |
780.79/780.75	c |    238643 |    1298   143366   620643 | 2147483647   238643    101 |  0.000 % |
783.39/783.36	c |    239436 |    1298   143366   620643 | 2147483647   239436    101 |  0.000 % |
788.10/788.04	c |    240307 |    1298   143366   620643 | 2147483647   240307    101 |  0.000 % |
792.10/792.09	c |    241265 |    1298   143366   620643 | 2147483647   241265    101 |  0.000 % |
798.20/798.17	c |    242319 |    1298   143366   620643 | 2147483647   242319    101 |  0.000 % |
803.30/803.28	c |    243477 |    1298   143366   620643 | 2147483647   243477    101 |  0.000 % |
809.40/809.33	c |    244750 |    1298   143366   620643 | 2147483647   244750    101 |  0.000 % |
813.40/813.39	c |    246151 |    1298   143366   620643 | 2147483647   246151    101 |  0.000 % |
820.40/820.39	c |    247692 |    1298   143366   620643 | 2147483647   247692    101 |  0.000 % |
829.90/829.87	c |    249389 |    1298   143366   620643 | 2147483647   249389    100 |  0.000 % |
837.60/837.52	c |    251255 |    1298   143366   620643 | 2147483647   251255    100 |  0.000 % |
847.70/847.65	c |    253305 |    1298   143366   620643 | 2147483647   253305    100 |  0.000 % |
854.90/854.82	c |    255558 |    1298   143366   620643 | 2147483647   255558    100 |  0.000 % |
861.10/861.02	c |    258036 |    1298   143366   620643 | 2147483647   258036    100 |  0.000 % |
861.90/861.87	c |    258136 |    1298   143366   620643 | 2147483647   258136    100 |  0.000 % |
862.40/862.39	c |    258248 |    1298   143366   620643 | 2147483647   258248    100 |  0.000 % |
863.61/863.56	c |    258370 |    1298   143366   620643 | 2147483647   258370    100 |  0.000 % |
864.30/864.24	c |    258503 |    1298   143366   620643 | 2147483647   258503    100 |  0.000 % |
865.20/865.17	c |    258649 |    1298   143366   620643 | 2147483647   258649    100 |  0.000 % |
866.10/866.06	c |    258809 |    1298   143366   620643 | 2147483647   258809    100 |  0.000 % |
867.71/867.70	c |    258985 |    1298   143366   620643 | 2147483647   258985    100 |  0.000 % |
869.01/869.00	c |    259178 |    1298   143366   620643 | 2147483647   259178    100 |  0.000 % |
870.21/870.19	c |    259390 |    1298   143366   620643 | 2147483647   259390    100 |  0.000 % |
871.71/871.66	c |    259625 |    1298   143366   620643 | 2147483647   259625    100 |  0.000 % |
873.41/873.35	c |    259881 |    1298   143366   620643 | 2147483647   259881    100 |  0.001 % |
875.01/875.00	c |    260163 |    1298   143366   620643 | 2147483647   260163    100 |  0.000 % |
876.91/876.83	c |    260472 |    1298   143366   620643 | 2147483647   260472    100 |  0.000 % |
878.71/878.71	c |    260816 |    1298   143366   620643 | 2147483647   260816    100 |  0.000 % |
880.71/880.63	c |    261189 |    1298   143366   620643 | 2147483647   261189    100 |  0.000 % |
882.11/882.06	c |    261599 |    1298   143366   620643 | 2147483647   261599    100 |  0.000 % |
883.41/883.39	c |    262048 |    1298   143366   620643 | 2147483647   262048    100 |  0.000 % |
887.01/886.93	c |    262541 |    1298   143366   620643 | 2147483647   262541    100 |  0.000 % |
891.11/891.06	c |    263084 |    1298   143366   620643 | 2147483647   263084    100 |  0.000 % |
894.81/894.76	c |    263680 |    1298   143366   620643 | 2147483647   263680    100 |  0.000 % |
897.71/897.63	c |    264336 |    1298   143366   620643 | 2147483647   264336    100 |  0.001 % |
900.61/900.55	c |    265058 |    1298   143366   620643 | 2147483647   265058    100 |  0.000 % |
906.51/906.49	c |    265852 |    1298   143366   620643 | 2147483647   265852    100 |  0.000 % |
911.91/911.87	c |    266723 |    1298   143366   620643 | 2147483647   266723    100 |  0.000 % |
917.81/917.81	c |    267681 |    1298   143366   620643 | 2147483647   267681    100 |  0.000 % |
923.51/923.48	c |    268736 |    1298   143366   620643 | 2147483647   268736    100 |  0.000 % |
928.91/928.82	c |    269894 |    1298   143366   620643 | 2147483647   269894    100 |  0.000 % |
935.12/935.09	c |    271168 |    1298   143366   620643 | 2147483647   271168     99 |  0.000 % |
944.30/944.21	c |    272570 |    1298   143366   620643 | 2147483647   272570     99 |  0.000 % |
951.11/951.05	c |    274110 |    1298   143366   620643 | 2147483647   274110     99 |  0.000 % |
958.91/958.90	c |    275805 |    1298   143366   620643 | 2147483647   275805     99 |  0.000 % |
965.11/965.04	c |    277675 |    1298   143366   620643 | 2147483647   277675     99 |  0.000 % |
973.41/973.33	c |    279728 |    1298   143366   620643 | 2147483647   279728     99 |  0.000 % |
982.11/982.01	c |    281981 |    1298   143366   620643 | 2147483647   281981     99 |  0.000 % |
996.51/996.50	c |    284460 |    1298   143366   620643 | 2147483647   284460     99 |  0.000 % |
1010.11/1010.06	c |    287185 |    1298   143366   620643 | 2147483647   287185     99 |  0.000 % |
1010.51/1010.44	c |    287285 |    1298   143366   620643 | 2147483647   287285     99 |  0.000 % |
1010.91/1010.89	c |    287396 |    1298   143366   620643 | 2147483647   287396     99 |  0.000 % |
1011.61/1011.53	c |    287518 |    1298   143366   620643 | 2147483647   287518     99 |  0.000 % |
1012.81/1012.76	c |    287652 |    1298   143366   620643 | 2147483647   287652     99 |  0.000 % |
1013.61/1013.59	c |    287798 |    1298   143366   620643 | 2147483647   287798     99 |  0.000 % |
1014.81/1014.75	c |    287958 |    1298   143366   620643 | 2147483647   287958     99 |  0.000 % |
1015.71/1015.64	c |    288134 |    1298   143366   620643 | 2147483647   288134     99 |  0.000 % |
1017.21/1017.19	c |    288327 |    1298   143366   620643 | 2147483647   288327     99 |  0.000 % |
1018.61/1018.56	c |    288539 |    1298   143366   620643 | 2147483647   288539     99 |  0.000 % |
1021.01/1020.99	c |    288774 |    1298   143366   620643 | 2147483647   288774     99 |  0.000 % |
1022.41/1022.41	c |    289030 |    1298   143366   620643 | 2147483647   289030     99 |  0.000 % |
1024.11/1024.08	c |    289311 |    1298   143366   620643 | 2147483647   289311     99 |  0.000 % |
1025.71/1025.67	c |    289620 |    1298   143366   620643 | 2147483647   289620     99 |  0.000 % |
1028.62/1028.59	c |    289959 |    1298   143366   620643 | 2147483647   289959     99 |  0.000 % |
1031.01/1030.96	c |    290332 |    1298   143366   620643 | 2147483647   290332     99 |  0.000 % |
1033.42/1033.36	c |    290741 |    1298   143366   620643 | 2147483647   290741     99 |  0.000 % |
1036.42/1036.35	c |    291191 |    1298   143366   620643 | 2147483647   291191     99 |  0.000 % |
1039.02/1038.99	c |    291686 |    1298   143366   620643 | 2147483647   291686     99 |  0.001 % |
1041.92/1041.89	c |    292229 |    1298   143366   620643 | 2147483647   292229     99 |  0.000 % |
1045.62/1045.56	c |    292825 |    1298   143366   620643 | 2147483647   292825     99 |  0.000 % |
1050.02/1049.94	c |    293480 |    1298   143366   620643 | 2147483647   293480     99 |  0.001 % |
1053.92/1053.91	c |    294201 |    1298   143366   620643 | 2147483647   294201     99 |  0.000 % |
1056.72/1056.64	c |    294993 |    1298   143366   620643 | 2147483647   294993     99 |  0.000 % |
1061.02/1060.97	c |    295864 |    1298   143366   620643 | 2147483647   295864     99 |  0.000 % |
1066.22/1066.13	c |    296823 |    1298   143366   620643 | 2147483647   296823     99 |  0.000 % |
1072.22/1072.16	c |    297878 |    1298   143366   620643 | 2147483647   297878     99 |  0.000 % |
1077.02/1076.94	c |    299039 |    1298   143366   620643 | 2147483647   299039     99 |  0.000 % |
1084.12/1084.05	c |    300312 |    1298   143366   620643 | 2147483647   300312     99 |  0.000 % |
1093.92/1093.90	c |    301715 |    1298   143366   620643 | 2147483647   301715     99 |  0.000 % |
1104.82/1104.75	c |    303255 |    1298   143366   620643 | 2147483647   303255     99 |  0.000 % |
1115.73/1115.65	c |    304949 |    1298   143366   620643 | 2147483647   304949     99 |  0.000 % |
1127.93/1127.86	c |    306812 |    1298   143366   620643 | 2147483647   306812     99 |  0.000 % |
1138.13/1138.08	c |    308861 |    1298   143366   620643 | 2147483647   308861     98 |  0.000 % |
1150.83/1150.78	c |    311114 |    1298   143366   620643 | 2147483647   311114     98 |  0.000 % |
1165.73/1165.66	c |    313592 |    1298   143366   620643 | 2147483647   313592     98 |  0.001 % |
1176.13/1176.04	c |    316319 |    1298   143366   620643 | 2147483647   316319     98 |  0.000 % |
1192.63/1192.52	c |    319317 |    1298   143366   620643 | 2147483647   319317     98 |  0.000 % |
1193.43/1193.37	c |    319419 |    1298   143366   620643 | 2147483647   319419     98 |  0.000 % |
1194.33/1194.26	c |    319530 |    1298   143366   620643 | 2147483647   319530     98 |  0.000 % |
1195.13/1195.06	c |    319656 |    1298   143366   620643 | 2147483647   319656     98 |  0.000 % |
1196.54/1196.48	c |    319790 |    1298   143366   620643 | 2147483647   319790     98 |  0.000 % |
1197.34/1197.30	c |    319939 |    1298   143366   620643 | 2147483647   319939     98 |  0.000 % |
1198.84/1198.78	c |    320100 |    1298   143366   620643 | 2147483647   320100     98 |  0.000 % |
1199.74/1199.63	c |    320278 |    1298   143366   620643 | 2147483647   320278     98 |  0.000 % |
1200.04/1199.93	HOME/SatELiteGTI: line 36:  7217 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821730-1242557894/watcher-1821730-1242557894 -o /tmp/evaluation-result-1821730-1242557894/solver-1821730-1242557894 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821730-1242557894.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 7211
/proc/meminfo: memFree=453408/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2412 CPUtime=0.01
/proc/7211/stat : 7211 (SatELiteGTI) R 7209 7211 20977 0 -1 4194304 361 646 0 0 1 0 0 0 18 0 1 0 1020290452 2469888 275 4294967295 134512640 135169312 3217985584 3217984368 134690634 0 0 4 65536 0 0 0 17 2 0 0 0
/proc/7211/statm: 603 275 235 161 0 42 0
[pid=7215] ppid=7211 vsize=812 CPUtime=0
/proc/7215/stat : 7215 (SatELite_releas) R 7211 7211 20977 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 1020290453 831488 1 4294967295 0 0 3220999269 3217984212 3085335018 0 0 0 0 0 0 0 17 0 0 0 0
/proc/7215/statm: 204 10 6 174 0 29 0

[startup+0.090982 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 7211
/proc/meminfo: memFree=453408/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2412 CPUtime=0.01
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 365 646 0 0 1 0 0 0 18 0 1 0 1020290452 2469888 275 4294967295 134512640 135169312 3217985584 3217984120 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7211/statm: 603 275 235 161 0 42 0
[pid=7215] ppid=7211 vsize=9896 CPUtime=0.09
/proc/7215/stat : 7215 (SatELite_releas) R 7211 7211 20977 0 -1 4202496 2225 0 0 0 7 2 0 0 20 0 1 0 1020290453 10133504 2161 4294967295 134512640 135223648 3220992768 3220991776 134547559 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7215/statm: 2474 2161 47 174 0 2299 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12308

[startup+0.110967 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 7211
/proc/meminfo: memFree=453408/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2412 CPUtime=0.01
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 365 646 0 0 1 0 0 0 18 0 1 0 1020290452 2469888 275 4294967295 134512640 135169312 3217985584 3217984120 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7211/statm: 603 275 235 161 0 42 0
[pid=7215] ppid=7211 vsize=10996 CPUtime=0.11
/proc/7215/stat : 7215 (SatELite_releas) R 7211 7211 20977 0 -1 4202496 2524 0 0 0 9 2 0 0 21 0 1 0 1020290453 11259904 2460 4294967295 134512640 135223648 3220992768 3220990436 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7215/statm: 2749 2462 73 174 0 2574 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13408

[startup+0.310947 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 7211
/proc/meminfo: memFree=453408/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2412 CPUtime=0.01
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 365 646 0 0 1 0 0 0 18 0 1 0 1020290452 2469888 275 4294967295 134512640 135169312 3217985584 3217984120 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7211/statm: 603 275 235 161 0 42 0
[pid=7215] ppid=7211 vsize=13428 CPUtime=0.31
/proc/7215/stat : 7215 (SatELite_releas) R 7211 7211 20977 0 -1 4202496 3141 0 0 0 28 3 0 0 21 0 1 0 1020290453 13750272 3077 4294967295 134512640 135223648 3220992768 3220990768 134548987 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7215/statm: 3357 3077 73 174 0 3182 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 15840

[startup+0.710908 s]
/proc/loadavg: 0.94 0.98 0.99 2/93 7211
/proc/meminfo: memFree=453408/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2412 CPUtime=0.01
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 365 646 0 0 1 0 0 0 18 0 1 0 1020290452 2469888 275 4294967295 134512640 135169312 3217985584 3217984120 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7211/statm: 603 275 235 161 0 42 0
[pid=7215] ppid=7211 vsize=16984 CPUtime=0.71
/proc/7215/stat : 7215 (SatELite_releas) R 7211 7211 20977 0 -1 4202496 3782 0 0 0 68 3 0 0 22 0 1 0 1020290453 17391616 3718 4294967295 134512640 135223648 3220992768 3220990864 134585504 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7215/statm: 4246 3718 73 174 0 4071 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 19396

[startup+1.51083 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 7216
/proc/meminfo: memFree=437992/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2412 CPUtime=0.01
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 365 646 0 0 1 0 0 0 18 0 1 0 1020290452 2469888 275 4294967295 134512640 135169312 3217985584 3217984120 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7211/statm: 603 275 235 161 0 42 0
[pid=7215] ppid=7211 vsize=14968 CPUtime=1.51
/proc/7215/stat : 7215 (SatELite_releas) R 7211 7211 20977 0 -1 4202496 3783 0 0 0 148 3 0 0 25 0 1 0 1020290453 15327232 3439 4294967295 134512640 135223648 3220992768 3220991120 134608304 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7215/statm: 3742 3439 73 174 0 3567 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 17380

[startup+3.11067 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 7217
/proc/meminfo: memFree=441216/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=10372 CPUtime=1.48
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 2476 0 0 0 145 3 0 0 25 0 1 0 1020290616 10620928 2410 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/7217/statm: 2593 2410 73 172 0 2420 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12788

[startup+6.31036 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 7217
/proc/meminfo: memFree=438116/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=13672 CPUtime=4.67
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 3303 0 0 0 463 4 0 0 25 0 1 0 1020290616 14000128 3237 4294967295 134512640 135215339 3217049504 3217047792 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 3418 3237 73 172 0 3245 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 16088

[startup+12.7097 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 7217
/proc/meminfo: memFree=433716/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=17816 CPUtime=11.07
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 4338 0 0 0 1102 5 0 0 25 0 1 0 1020290616 18243584 4272 4294967295 134512640 135215339 3217049504 3217047792 134528795 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 4454 4272 73 172 0 4281 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 20232

[startup+25.5085 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 7217
/proc/meminfo: memFree=429472/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=22012 CPUtime=23.87
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 5346 0 0 0 2382 5 0 0 25 0 1 0 1020290616 22540288 5280 4294967295 134512640 135215339 3217049504 3217047792 134528806 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 5503 5280 73 172 0 5330 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 24428

[startup+51.116 s]
/proc/loadavg: 0.97 0.98 0.99 2/95 7402
/proc/meminfo: memFree=424284/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=26344 CPUtime=49.48
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 6413 0 0 0 4942 6 0 0 25 0 1 0 1020290616 26976256 6347 4294967295 134512640 135215339 3217049504 3217047792 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 6586 6347 73 172 0 6413 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 28760

[startup+102.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7593
/proc/meminfo: memFree=411324/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=39748 CPUtime=100.69
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 9666 0 0 0 10057 12 0 0 25 0 1 0 1020290616 40701952 9600 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 9937 9600 73 172 0 9764 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 42164

[startup+162.315 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 7782
/proc/meminfo: memFree=401852/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=48912 CPUtime=160.69
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 11915 0 0 0 16056 13 0 0 25 0 1 0 1020290616 50085888 11849 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 12228 11849 73 172 0 12055 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 51328

[startup+222.319 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7969
/proc/meminfo: memFree=392592/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=58436 CPUtime=220.7
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 14280 0 0 0 22056 14 0 0 25 0 1 0 1020290616 59838464 14214 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 14609 14214 73 172 0 14436 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 60852

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 8156
/proc/meminfo: memFree=385096/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=65760 CPUtime=280.69
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 16116 0 0 0 28052 17 0 0 25 0 1 0 1020290616 67338240 16050 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 16440 16050 73 172 0 16267 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 68176

[startup+342.307 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 8347
/proc/meminfo: memFree=378300/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=72716 CPUtime=340.7
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 17888 0 0 0 34053 17 0 0 25 0 1 0 1020290616 74461184 17822 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 18179 17822 73 172 0 18006 0
Current children cumulated CPU time (s) 342.34

################
# More data... #
################

[pid=7217] ppid=7211 vsize=94348 CPUtime=520.73
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 23216 0 0 0 52053 20 0 0 25 0 1 0 1020290616 96612352 23150 4294967295 134512640 135215339 3217049504 3217047792 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 23587 23150 73 172 0 23414 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 96764

[startup+582.324 s]
/proc/loadavg: 1.15 1.02 1.01 3/95 9101
/proc/meminfo: memFree=350548/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=100676 CPUtime=580.74
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 24784 0 0 0 58052 22 0 0 25 0 1 0 1020290616 103092224 24718 4294967295 134512640 135215339 3217049504 3217047792 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 25169 24718 73 172 0 24996 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 103092

[startup+642.318 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 9290
/proc/meminfo: memFree=343084/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=108416 CPUtime=640.74
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 26606 0 0 0 64051 23 0 0 25 0 1 0 1020290616 111017984 26540 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 27104 26540 73 172 0 26931 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 110832

[startup+702.312 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 9477
/proc/meminfo: memFree=337148/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=114352 CPUtime=700.74
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 28082 0 0 0 70049 25 0 0 25 0 1 0 1020290616 117096448 28016 4294967295 134512640 135215339 3217049504 3217047792 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 28588 28016 73 172 0 28415 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 116768

[startup+762.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9666
/proc/meminfo: memFree=331908/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=119872 CPUtime=760.76
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 29440 0 0 0 76051 25 0 0 25 0 1 0 1020290616 122748928 29374 4294967295 134512640 135215339 3217049504 3217047792 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 29968 29374 73 172 0 29795 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 122288

[startup+822.32 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 9674
/proc/meminfo: memFree=326544/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=125496 CPUtime=820.76
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 30832 0 0 0 82051 25 0 0 25 0 1 0 1020290616 128507904 30766 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 31374 30766 73 172 0 31201 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 127912

[startup+882.324 s]
/proc/loadavg: 1.16 1.05 1.01 4/96 9954
/proc/meminfo: memFree=320588/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=131124 CPUtime=880.77
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 32231 0 0 0 88052 25 0 0 25 0 1 0 1020290616 134270976 32165 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 32781 32165 73 172 0 32608 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 133540

[startup+942.318 s]
/proc/loadavg: 1.06 1.04 1.01 3/95 10050
/proc/meminfo: memFree=316732/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=135228 CPUtime=940.77
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 33261 0 0 0 94052 25 0 0 25 0 1 0 1020290616 138473472 33195 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 33807 33195 73 172 0 33634 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 137644

[startup+1002.31 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 10237
/proc/meminfo: memFree=310796/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=140896 CPUtime=1000.77
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 34687 0 0 0 100051 26 0 0 25 0 1 0 1020290616 144277504 34621 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 35224 34621 73 172 0 35051 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 143312

[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 10426
/proc/meminfo: memFree=306564/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=145164 CPUtime=1060.78
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 35754 0 0 0 106051 27 0 0 25 0 1 0 1020290616 148647936 35688 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 36291 35688 73 172 0 36118 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 147580

[startup+1122.32 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 10613
/proc/meminfo: memFree=302356/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=149584 CPUtime=1120.79
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 36819 0 0 0 112048 31 0 0 25 0 1 0 1020290616 153174016 36753 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 37396 36753 73 172 0 37223 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 152000

[startup+1182.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 10803
/proc/meminfo: memFree=298380/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=153892 CPUtime=1180.79
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 37783 0 0 0 118048 31 0 0 25 0 1 0 1020290616 157585408 37717 4294967295 134512640 135215339 3217049504 3217047792 134528806 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 38473 37717 73 172 0 38300 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 156308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 10994
/proc/meminfo: memFree=296936/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=155492 CPUtime=1198.4
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 38168 0 0 0 119808 32 0 0 25 0 1 0 1020290616 159223808 38102 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 38873 38102 73 172 0 38700 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 157908

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 10994
/proc/meminfo: memFree=296936/2074464 swapFree=1951864/1959888
[pid=7211] ppid=7209 vsize=2416 CPUtime=1.64
/proc/7211/stat : 7211 (SatELiteGTI) S 7209 7211 20977 0 -1 4194304 385 4431 0 0 1 0 160 3 18 0 1 0 1020290452 2473984 277 4294967295 134512640 135169312 3217985584 3217981800 3085332206 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/7211/statm: 604 277 235 161 0 43 0
[pid=7217] ppid=7211 vsize=155492 CPUtime=1198.4
/proc/7217/stat : 7217 (minisat_static) R 7211 7211 20977 0 -1 4202496 38168 0 0 0 119808 32 0 0 25 0 1 0 1020290616 159223808 38102 4294967295 134512640 135215339 3217049504 3217047792 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7217/statm: 38873 38102 73 172 0 38700 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 157908

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.05
CPU user time (s): 1199.69
CPU system time (s): 0.36
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 157908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.69
system time used= 0.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43259
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= 21
involuntary context switches= 3533

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-17 12:58:14
IDJOB=1821730
IDBENCH=71076
IDSOLVER=657
FILE ID=tipi10/1821730-1242557894
PBS_JOBID=
Free space on /tmp= 3860 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821730-1242557894/watcher-1821730-1242557894 -o /tmp/evaluation-result-1821730-1242557894/solver-1821730-1242557894 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821730-1242557894.cnf

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

MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED= 126413472

Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.367
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        453788 kB
Buffers:         44768 kB
Cached:        1442092 kB
SwapCached:       2732 kB
Active:         605772 kB
Inactive:       891228 kB
HighTotal:     1178688 kB
HighFree:       118576 kB
LowTotal:       895776 kB
LowFree:        335212 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            3968 kB
Writeback:           0 kB
AnonPages:        9136 kB
Mapped:           3272 kB
Slab:           115620 kB
PageTables:        428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 3860 MiB
End job on tipi10 at 2009-05-17 13:18:14