Trace number 1832201

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 1200.41

General information on the benchmark

Namecrafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
MD5SUMbccff1bed1e8ac721090562d562b05f0
Bench CategoryCRAFTED (crafted 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 variables8319
Number of clauses80958
Sum of the clauses size363322
Maximum clause length5
Minimum clause length1
Number of clauses of size 1194
Number of clauses of size 28188
Number of clauses of size 38064
Number of clauses of size 40
Number of clauses of size 564512
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.05/0.09	c ==============================================================================
0.05/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.05/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.05/0.09	c ==============================================================================
0.05/0.09	c |         0 |   80099   359735 |   24029       0        0     nan |  0.000 % |
0.09/0.13	c |         0 |   78373   351331 |      --       0       --      -- |     --   | -795/-3916
0.09/0.13	c ==============================================================================
0.09/0.13	c Result  :   #vars: 7981   #clauses: 78373   #literals: 351331
0.09/0.13	c CPU time:   0.110983 s
0.09/0.13	c ==============================================================================
0.19/0.23	c This is MiniSat 2.0 beta
0.19/0.23	c WARNING: for repeatability, setting FPU to use double precision
0.19/0.23	c ============================[ Problem Statistics ]=============================
0.19/0.23	c |                                                                             |
0.19/0.23	c |  Number of variables:  7981                                                 |
0.19/0.23	c |  Number of clauses:    78373                                                |
0.19/0.29	c |  Parsing time:         0.05         s                                       |
0.22/0.30	c ============================[ Search Statistics ]==============================
0.22/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.22/0.30	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.22/0.30	c ===============================================================================
0.22/0.30	c |         0 |    7981    78373   351331 |    26124        0    nan |  0.000 % |
0.22/0.32	c |       100 |    7981    78373   351331 |    26124      100     19 |  0.000 % |
0.22/0.35	c |       200 |    7981    78373   351331 |    26124      200     25 |  0.000 % |
0.22/0.36	c |       302 |    7981    78373   351331 |    26124      302     24 |  0.000 % |
0.22/0.45	c |       412 |    7981    78373   351331 |    26124      412     33 |  0.000 % |
0.22/0.71	c |       512 |    7981    78373   351331 |    26124      512     50 |  0.000 % |
0.22/0.79	c |       622 |    7981    78373   351331 |    26124      622     45 |  0.000 % |
0.22/0.95	c |       743 |    7981    78373   351331 |    26124      743     54 |  0.000 % |
0.98/1.09	c |       843 |    7981    78373   351331 |    26124      843     54 |  0.000 % |
1.17/1.28	c |       954 |    7981    78373   351331 |    26124      954     56 |  0.000 % |
1.47/1.51	c |      1075 |    7981    78373   351331 |    26124     1075     55 |  0.000 % |
1.67/1.72	c |      1208 |    7981    78373   351331 |    26124     1208     60 |  0.000 % |
1.97/2.00	c |      1308 |    7981    78373   351331 |    26124     1308     65 |  0.000 % |
2.08/2.13	c |      1419 |    7981    78373   351331 |    26124     1419     65 |  0.000 % |
2.37/2.40	c |      1541 |    7981    78373   351331 |    26124     1541     69 |  0.000 % |
2.57/2.61	c |      1674 |    7981    78373   351331 |    26124     1674     66 |  0.000 % |
2.77/2.85	c |      1821 |    7981    78373   351331 |    26124     1821     67 |  0.000 % |
2.97/3.02	c |      1922 |    7981    78373   351331 |    26124     1922     68 |  0.000 % |
3.18/3.28	c |      2032 |    7981    78373   351331 |    26124     2032     71 |  0.000 % |
3.47/3.53	c |      2154 |    7981    78373   351331 |    26124     2154     71 |  0.000 % |
3.67/3.73	c |      2287 |    7981    78373   351331 |    26124     2287     70 |  0.000 % |
3.87/3.98	c |      2433 |    7981    78373   351331 |    26124     2433     70 |  0.000 % |
4.28/4.33	c |      2593 |    7981    78373   351331 |    26124     2593     72 |  0.000 % |
4.57/4.66	c |      2694 |    7981    78373   351331 |    26124     2694     73 |  0.000 % |
5.07/5.10	c |      2804 |    7981    78373   351331 |    26124     2804     73 |  0.000 % |
5.57/5.64	c |      2925 |    7981    78373   351331 |    26124     2925     72 |  0.000 % |
5.87/5.93	c |      3058 |    7981    78373   351331 |    26124     3058     72 |  0.000 % |
5.97/6.01	c |      3204 |    7981    78373   351331 |    26124     3204     70 |  0.000 % |
6.27/6.32	c |      3365 |    7981    78373   351331 |    26124     3365     71 |  0.000 % |
6.47/6.56	c |      3543 |    7981    78373   351331 |    26124     3543     71 |  0.000 % |
6.67/6.76	c |      3644 |    7981    78373   351331 |    26124     3644     71 |  0.000 % |
6.77/6.90	c |      3754 |    7981    78373   351331 |    26124     3754     70 |  0.000 % |
7.17/7.22	c |      3875 |    7981    78373   351331 |    26124     3875     72 |  0.000 % |
7.37/7.47	c |      4008 |    7981    78373   351331 |    26124     4008     71 |  0.000 % |
7.77/7.87	c |      4154 |    7981    78373   351331 |    26124     4154     71 |  0.000 % |
8.17/8.29	c |      4315 |    7981    78373   351331 |    26124     4315     72 |  0.000 % |
8.47/8.57	c |      4491 |    7981    78373   351331 |    26124     4491     71 |  0.000 % |
8.87/8.91	c |      4684 |    7981    78373   351331 |    26124     4684     72 |  0.000 % |
9.37/9.45	c |      4784 |    7981    78373   351331 |    26124     4784     71 |  0.000 % |
9.77/9.84	c |      4894 |    7981    78373   351331 |    26124     4894     72 |  0.000 % |
10.17/10.26	c |      5016 |    7981    78373   351331 |    26124     5016     72 |  0.000 % |
10.37/10.47	c |      5149 |    7981    78373   351331 |    26124     5149     72 |  0.000 % |
10.77/10.87	c |      5295 |    7981    78373   351331 |    26124     5295     73 |  0.000 % |
11.17/11.21	c |      5455 |    7981    78373   351331 |    26124     5455     73 |  0.000 % |
11.47/11.58	c |      5633 |    7981    78373   351331 |    26124     5633     73 |  0.000 % |
11.97/12.06	c |      5827 |    7981    78373   351331 |    26124     5827     72 |  0.000 % |
12.37/12.43	c |      6039 |    7981    78373   351331 |    26124     6039     72 |  0.000 % |
12.57/12.63	c |      6139 |    7981    78373   351331 |    26124     6139     72 |  0.000 % |
12.77/12.83	c |      6250 |    7981    78373   351331 |    26124     6250     72 |  0.000 % |
13.07/13.10	c |      6372 |    7981    78373   351331 |    26124     6372     72 |  0.000 % |
13.17/13.28	c |      6506 |    7981    78373   351331 |    26124     6506     72 |  0.000 % |
13.37/13.45	c |      6652 |    7981    78373   351331 |    26124     6652     71 |  0.000 % |
13.66/13.77	c |      6813 |    7981    78373   351331 |    26124     6813     71 |  0.000 % |
14.06/14.14	c |      6990 |    7981    78373   351331 |    26124     6990     71 |  0.000 % |
14.47/14.50	c |      7183 |    7981    78373   351331 |    26124     7183     71 |  0.000 % |
14.87/14.90	c |      7395 |    7981    78373   351331 |    26124     7395     71 |  0.000 % |
15.17/15.27	c |      7628 |    7981    78373   351331 |    26124     7628     70 |  0.000 % |
15.38/15.43	c |      7728 |    7981    78373   351331 |    26124     7728     70 |  0.000 % |
15.57/15.66	c |      7840 |    7981    78373   351331 |    26124     7840     70 |  0.000 % |
15.97/16.03	c |      7962 |    7981    78373   351331 |    26124     7962     70 |  0.000 % |
16.17/16.28	c |      8096 |    7981    78373   351331 |    26124     8096     71 |  0.000 % |
16.57/16.60	c |      8242 |    7981    78373   351331 |    26124     8242     71 |  0.000 % |
16.67/16.75	c |      8404 |    7981    78373   351331 |    26124     8404     71 |  0.000 % |
16.97/17.09	c |      8581 |    7981    78373   351331 |    26124     8581     71 |  0.000 % |
17.37/17.47	c |      8775 |    7981    78373   351331 |    26124     8775     71 |  0.000 % |
17.77/17.86	c |      8988 |    7981    78373   351331 |    26124     8988     71 |  0.000 % |
18.27/18.36	c |      9221 |    7981    78373   351331 |    26124     9221     72 |  0.000 % |
18.77/18.82	c |      9478 |    7981    78373   351331 |    26124     9478     71 |  0.000 % |
18.87/18.98	c |      9578 |    7981    78373   351331 |    26124     9578     71 |  0.000 % |
19.27/19.31	c |      9689 |    7981    78373   351331 |    26124     9689     72 |  0.000 % |
19.47/19.59	c |      9810 |    7981    78373   351331 |    26124     9810     72 |  0.000 % |
19.87/19.90	c |      9944 |    7981    78373   351331 |    26124     9944     72 |  0.000 % |
20.17/20.23	c |     10090 |    7981    78373   351331 | 2147483647    10090     73 |  0.000 % |
20.57/20.61	c |     10250 |    7981    78373   351331 | 2147483647    10250     73 |  0.000 % |
20.87/20.96	c |     10427 |    7981    78373   351331 | 2147483647    10427     73 |  0.000 % |
21.27/21.32	c |     10621 |    7981    78373   351331 | 2147483647    10621     72 |  0.000 % |
21.57/21.62	c |     10834 |    7981    78373   351331 | 2147483647    10834     72 |  0.000 % |
22.07/22.16	c |     11067 |    7981    78373   351331 | 2147483647    11067     72 |  0.000 % |
22.57/22.68	c |     11323 |    7981    78373   351331 | 2147483647    11323     72 |  0.000 % |
23.67/23.72	c |     11604 |    7981    78373   351331 | 2147483647    11604     73 |  0.000 % |
23.87/23.93	c |     11705 |    7981    78373   351331 | 2147483647    11705     73 |  0.000 % |
24.27/24.36	c |     11817 |    7981    78373   351331 | 2147483647    11817     73 |  0.000 % |
24.57/24.61	c |     11940 |    7981    78373   351331 | 2147483647    11940     73 |  0.000 % |
24.97/25.05	c |     12074 |    7981    78373   351331 | 2147483647    12074     74 |  0.000 % |
25.27/25.32	c |     12220 |    7981    78373   351331 | 2147483647    12220     74 |  0.000 % |
25.57/25.67	c |     12380 |    7981    78373   351331 | 2147483647    12380     74 |  0.000 % |
26.07/26.10	c |     12556 |    7981    78373   351331 | 2147483647    12556     73 |  0.000 % |
26.47/26.56	c |     12750 |    7981    78373   351331 | 2147483647    12750     74 |  0.000 % |
26.96/27.00	c |     12962 |    7981    78373   351331 | 2147483647    12962     74 |  0.000 % |
27.56/27.65	c |     13196 |    7981    78373   351331 | 2147483647    13196     75 |  0.000 % |
28.06/28.12	c |     13452 |    7981    78373   351331 | 2147483647    13452     75 |  0.000 % |
28.66/28.71	c |     13733 |    7981    78373   351331 | 2147483647    13733     75 |  0.000 % |
28.96/29.00	c |     14042 |    7981    78373   351331 | 2147483647    14042     74 |  0.000 % |
29.06/29.15	c |     14143 |    7981    78373   351331 | 2147483647    14143     74 |  0.000 % |
29.26/29.30	c |     14253 |    7981    78373   351331 | 2147483647    14253     74 |  0.000 % |
29.46/29.56	c |     14374 |    7981    78373   351331 | 2147483647    14374     74 |  0.000 % |
29.76/29.80	c |     14507 |    7981    78373   351331 | 2147483647    14507     74 |  0.000 % |
30.06/30.10	c |     14654 |    7981    78373   351331 | 2147483647    14654     74 |  0.000 % |
30.36/30.40	c |     14815 |    7981    78373   351331 | 2147483647    14815     74 |  0.000 % |
30.67/30.74	c |     14991 |    7981    78373   351331 | 2147483647    14991     74 |  0.000 % |
31.16/31.28	c |     15185 |    7981    78373   351331 | 2147483647    15185     74 |  0.000 % |
31.46/31.57	c |     15398 |    7981    78373   351331 | 2147483647    15398     74 |  0.000 % |
31.96/32.01	c |     15631 |    7981    78373   351331 | 2147483647    15631     74 |  0.000 % |
32.36/32.45	c |     15887 |    7981    78373   351331 | 2147483647    15887     74 |  0.000 % |
32.96/33.07	c |     16169 |    7981    78373   351331 | 2147483647    16169     74 |  0.000 % |
33.46/33.58	c |     16479 |    7981    78373   351331 | 2147483647    16479     74 |  0.000 % |
34.16/34.23	c |     16819 |    7981    78373   351331 | 2147483647    16819     74 |  0.000 % |
34.36/34.43	c |     16920 |    7981    78373   351331 | 2147483647    16920     74 |  0.000 % |
34.57/34.62	c |     17031 |    7981    78373   351331 | 2147483647    17031     74 |  0.000 % |
34.77/34.85	c |     17153 |    7981    78373   351331 | 2147483647    17153     74 |  0.000 % |
35.07/35.12	c |     17287 |    7981    78373   351331 | 2147483647    17287     74 |  0.000 % |
35.36/35.44	c |     17433 |    7981    78373   351331 | 2147483647    17433     74 |  0.000 % |
35.66/35.76	c |     17594 |    7981    78373   351331 | 2147483647    17594     74 |  0.000 % |
36.06/36.13	c |     17771 |    7981    78373   351331 | 2147483647    17771     74 |  0.000 % |
36.46/36.59	c |     17964 |    7981    78373   351331 | 2147483647    17964     74 |  0.000 % |
36.96/37.02	c |     18176 |    7981    78373   351331 | 2147483647    18176     74 |  0.000 % |
37.16/37.20	c |     18409 |    7981    78373   351331 | 2147483647    18409     73 |  0.000 % |
37.66/37.76	c |     18666 |    7981    78373   351331 | 2147483647    18666     73 |  0.000 % |
38.76/38.85	c |     18948 |    7981    78373   351331 | 2147483647    18948     73 |  0.000 % |
39.46/39.51	c |     19258 |    7981    78373   351331 | 2147483647    19258     74 |  0.000 % |
40.06/40.16	c |     19597 |    7981    78373   351331 | 2147483647    19597     74 |  0.000 % |
40.56/40.65	c |     19969 |    7981    78373   351331 | 2147483647    19969     74 |  0.000 % |
40.76/40.83	c |     20069 |    7981    78373   351331 | 2147483647    20069     74 |  0.000 % |
41.06/41.11	c |     20179 |    7981    78373   351331 | 2147483647    20179     74 |  0.000 % |
41.26/41.35	c |     20300 |    7981    78373   351331 | 2147483647    20300     74 |  0.000 % |
41.66/41.76	c |     20434 |    7981    78373   351331 | 2147483647    20434     74 |  0.000 % |
41.96/42.03	c |     20580 |    7981    78373   351331 | 2147483647    20580     74 |  0.000 % |
42.26/42.37	c |     20740 |    7981    78373   351331 | 2147483647    20740     74 |  0.000 % |
42.76/42.85	c |     20917 |    7981    78373   351331 | 2147483647    20917     74 |  0.000 % |
43.16/43.27	c |     21111 |    7981    78373   351331 | 2147483647    21111     74 |  0.000 % |
43.96/44.05	c |     21323 |    7981    78373   351331 | 2147483647    21323     74 |  0.000 % |
44.36/44.47	c |     21556 |    7981    78373   351331 | 2147483647    21556     74 |  0.000 % |
44.76/44.88	c |     21812 |    7981    78373   351331 | 2147483647    21812     74 |  0.000 % |
45.36/45.48	c |     22094 |    7981    78373   351331 | 2147483647    22094     74 |  0.000 % |
46.06/46.13	c |     22403 |    7981    78373   351331 | 2147483647    22403     74 |  0.000 % |
46.76/46.81	c |     22742 |    7981    78373   351331 | 2147483647    22742     74 |  0.000 % |
47.45/47.54	c |     23116 |    7981    78373   351331 | 2147483647    23116     74 |  0.000 % |
48.26/48.33	c |     23525 |    7981    78373   351331 | 2147483647    23525     75 |  0.000 % |
48.55/48.65	c |     23625 |    7981    78373   351331 | 2147483647    23625     75 |  0.000 % |
48.85/48.90	c |     23736 |    7981    78373   351331 | 2147483647    23736     75 |  0.000 % |
49.05/49.13	c |     23858 |    7981    78373   351331 | 2147483647    23858     75 |  0.000 % |
49.36/49.49	c |     23992 |    7981    78373   351331 | 2147483647    23992     75 |  0.000 % |
49.65/49.77	c |     24139 |    7981    78373   351331 | 2147483647    24139     75 |  0.000 % |
49.95/50.04	c |     24299 |    7981    78373   351331 | 2147483647    24299     75 |  0.000 % |
50.35/50.45	c |     24476 |    7981    78373   351331 | 2147483647    24476     75 |  0.000 % |
50.75/50.89	c |     24670 |    7981    78373   351331 | 2147483647    24670     75 |  0.000 % |
51.25/51.32	c |     24883 |    7981    78373   351331 | 2147483647    24883     75 |  0.000 % |
51.35/51.46	c |     25116 |    7981    78373   351331 | 2147483647    25116     74 |  0.000 % |
51.96/52.06	c |     25373 |    7981    78373   351331 | 2147483647    25373     75 |  0.000 % |
52.56/52.68	c |     25654 |    7981    78373   351331 | 2147483647    25654     75 |  0.000 % |
52.96/53.05	c |     25963 |    7981    78373   351331 | 2147483647    25963     74 |  0.000 % |
53.76/53.89	c |     26302 |    7981    78373   351331 | 2147483647    26302     75 |  0.000 % |
54.16/54.21	c |     26674 |    7981    78373   351331 | 2147483647    26674     74 |  0.000 % |
55.06/55.18	c |     27083 |    7981    78373   351331 | 2147483647    27083     75 |  0.000 % |
55.96/56.10	c |     27532 |    7981    78373   351331 | 2147483647    27532     75 |  0.000 % |
56.06/56.17	c |     27633 |    7981    78373   351331 | 2147483647    27633     75 |  0.000 % |
56.26/56.39	c |     27743 |    7981    78373   351331 | 2147483647    27743     75 |  0.000 % |
56.56/56.67	c |     27865 |    7981    78373   351331 | 2147483647    27865     75 |  0.000 % |
56.86/56.97	c |     27999 |    7981    78373   351331 | 2147483647    27999     75 |  0.000 % |
57.16/57.26	c |     28146 |    7981    78373   351331 | 2147483647    28146     75 |  0.000 % |
57.56/57.68	c |     28307 |    7981    78373   351331 | 2147483647    28307     75 |  0.000 % |
58.05/58.17	c |     28484 |    7981    78373   351331 | 2147483647    28484     75 |  0.000 % |
58.95/59.01	c |     28677 |    7981    78373   351331 | 2147483647    28677     75 |  0.000 % |
59.26/59.35	c |     28890 |    7981    78373   351331 | 2147483647    28890     75 |  0.000 % |
60.36/60.41	c |     29123 |    7981    78373   351331 | 2147483647    29123     75 |  0.000 % |
60.85/60.99	c |     29379 |    7981    78373   351331 | 2147483647    29379     75 |  0.000 % |
61.46/61.57	c |     29660 |    7981    78373   351331 | 2147483647    29660     75 |  0.000 % |
62.15/62.21	c |     29970 |    7981    78373   351331 | 2147483647    29970     75 |  0.000 % |
63.45/63.59	c |     30310 |    7981    78373   351331 | 2147483647    30310     75 |  0.000 % |
64.25/64.37	c |     30683 |    7981    78373   351331 | 2147483647    30683     75 |  0.000 % |
65.15/65.20	c |     31093 |    7981    78373   351331 | 2147483647    31093     75 |  0.000 % |
65.95/66.08	c |     31543 |    7981    78373   351331 | 2147483647    31543     75 |  0.000 % |
67.05/67.15	c |     32036 |    7981    78373   351331 | 2147483647    32036     75 |  0.000 % |
67.25/67.37	c |     32136 |    7981    78373   351331 | 2147483647    32136     75 |  0.000 % |
67.55/67.68	c |     32247 |    7981    78373   351331 | 2147483647    32247     75 |  0.000 % |
67.95/68.08	c |     32369 |    7981    78373   351331 | 2147483647    32369     75 |  0.000 % |
68.35/68.42	c |     32502 |    7981    78373   351331 | 2147483647    32502     74 |  0.000 % |
68.66/68.75	c |     32650 |    7981    78373   351331 | 2147483647    32650     74 |  0.000 % |
68.95/69.09	c |     32812 |    7981    78373   351331 | 2147483647    32812     74 |  0.000 % |
69.35/69.48	c |     32988 |    7981    78373   351331 | 2147483647    32988     74 |  0.000 % |
69.65/69.79	c |     33181 |    7981    78373   351331 | 2147483647    33181     74 |  0.000 % |
70.15/70.24	c |     33393 |    7981    78373   351331 | 2147483647    33393     75 |  0.000 % |
70.75/70.80	c |     33626 |    7981    78373   351331 | 2147483647    33626     75 |  0.000 % |
71.55/71.68	c |     33882 |    7981    78373   351331 | 2147483647    33882     75 |  0.000 % |
72.25/72.30	c |     34164 |    7981    78373   351331 | 2147483647    34164     75 |  0.000 % |
72.95/73.01	c |     34474 |    7981    78373   351331 | 2147483647    34474     75 |  0.000 % |
74.15/74.21	c |     34815 |    7981    78373   351331 | 2147483647    34815     74 |  0.000 % |
75.05/75.11	c |     35188 |    7981    78373   351331 | 2147483647    35188     74 |  0.000 % |
75.95/76.04	c |     35599 |    7981    78373   351331 | 2147483647    35599     74 |  0.000 % |
76.86/76.92	c |     36049 |    7981    78373   351331 | 2147483647    36049     74 |  0.000 % |
77.75/77.88	c |     36543 |    7981    78373   351331 | 2147483647    36543     74 |  0.000 % |
79.06/79.16	c |     37085 |    7981    78373   351331 | 2147483647    37085     74 |  0.000 % |
79.25/79.32	c |     37186 |    7981    78373   351331 | 2147483647    37186     74 |  0.000 % |
79.45/79.57	c |     37296 |    7981    78373   351331 | 2147483647    37296     74 |  0.000 % |
79.75/79.87	c |     37417 |    7981    78373   351331 | 2147483647    37417     74 |  0.000 % |
80.25/80.37	c |     37550 |    7981    78373   351331 | 2147483647    37550     74 |  0.000 % |
80.75/80.89	c |     37696 |    7981    78373   351331 | 2147483647    37696     74 |  0.000 % |
81.25/81.33	c |     37857 |    7981    78373   351331 | 2147483647    37857     74 |  0.000 % |
81.75/81.81	c |     38034 |    7981    78373   351331 | 2147483647    38034     74 |  0.000 % |
82.15/82.23	c |     38228 |    7981    78373   351331 | 2147483647    38228     74 |  0.000 % |
82.85/82.97	c |     38441 |    7981    78373   351331 | 2147483647    38441     74 |  0.000 % |
83.55/83.60	c |     38674 |    7981    78373   351331 | 2147483647    38674     74 |  0.000 % |
84.05/84.16	c |     38931 |    7981    78373   351331 | 2147483647    38931     74 |  0.000 % |
84.65/84.75	c |     39213 |    7981    78373   351331 | 2147483647    39213     74 |  0.000 % |
85.24/85.32	c |     39524 |    7981    78373   351331 | 2147483647    39524     74 |  0.000 % |
86.04/86.14	c |     39863 |    7981    78373   351331 | 2147483647    39863     74 |  0.000 % |
86.75/86.89	c |     40236 |    7981    78373   351331 | 2147483647    40236     74 |  0.000 % |
87.75/87.80	c |     40646 |    7981    78373   351331 | 2147483647    40646     74 |  0.000 % |
88.65/88.71	c |     41095 |    7981    78373   351331 | 2147483647    41095     74 |  0.000 % |
89.55/89.61	c |     41590 |    7981    78373   351331 | 2147483647    41590     74 |  0.000 % |
90.25/90.40	c |     42133 |    7981    78373   351331 | 2147483647    42133     74 |  0.000 % |
91.35/91.48	c |     42729 |    7981    78373   351331 | 2147483647    42729     73 |  0.000 % |
91.65/91.73	c |     42829 |    7981    78373   351331 | 2147483647    42829     73 |  0.000 % |
91.85/92.00	c |     42940 |    7981    78373   351331 | 2147483647    42940     73 |  0.000 % |
92.25/92.32	c |     43061 |    7981    78373   351331 | 2147483647    43061     73 |  0.000 % |
92.65/92.70	c |     43194 |    7981    78373   351331 | 2147483647    43194     73 |  0.000 % |
92.95/93.03	c |     43340 |    7981    78373   351331 | 2147483647    43340     73 |  0.000 % |
93.25/93.39	c |     43500 |    7981    78373   351331 | 2147483647    43500     73 |  0.000 % |
93.65/93.79	c |     43677 |    7981    78373   351331 | 2147483647    43677     73 |  0.000 % |
94.15/94.30	c |     43871 |    7981    78373   351331 | 2147483647    43871     73 |  0.000 % |
94.75/94.83	c |     44084 |    7981    78373   351331 | 2147483647    44084     73 |  0.000 % |
95.55/95.68	c |     44317 |    7981    78373   351331 | 2147483647    44317     73 |  0.000 % |
96.35/96.47	c |     44573 |    7981    78373   351331 | 2147483647    44573     73 |  0.000 % |
97.05/97.18	c |     44855 |    7981    78373   351331 | 2147483647    44855     73 |  0.000 % |
97.75/97.86	c |     45165 |    7981    78373   351331 | 2147483647    45165     73 |  0.000 % |
98.65/98.71	c |     45506 |    7981    78373   351331 | 2147483647    45506     73 |  0.000 % |
99.75/99.90	c |     45880 |    7981    78373   351331 | 2147483647    45880     73 |  0.000 % |
100.84/100.95	c |     46290 |    7981    78373   351331 | 2147483647    46290     73 |  0.000 % |
101.84/101.98	c |     46739 |    7981    78373   351331 | 2147483647    46739     73 |  0.000 % |
103.35/103.45	c |     47232 |    7981    78373   351331 | 2147483647    47232     73 |  0.000 % |
104.54/104.60	c |     47775 |    7981    78373   351331 | 2147483647    47775     73 |  0.000 % |
105.94/106.03	c |     48372 |    7981    78373   351331 | 2147483647    48372     73 |  0.000 % |
108.44/108.50	c |     49029 |    7981    78373   351331 | 2147483647    49029     73 |  0.000 % |
108.64/108.79	c |     49130 |    7981    78373   351331 | 2147483647    49130     73 |  0.000 % |
108.94/109.04	c |     49240 |    7981    78373   351331 | 2147483647    49240     73 |  0.000 % |
109.14/109.27	c |     49362 |    7981    78373   351331 | 2147483647    49362     73 |  0.000 % |
109.45/109.56	c |     49495 |    7981    78373   351331 | 2147483647    49495     73 |  0.000 % |
110.04/110.18	c |     49641 |    7981    78373   351331 | 2147483647    49641     73 |  0.000 % |
110.44/110.57	c |     49801 |    7981    78373   351331 | 2147483647    49801     73 |  0.000 % |
110.95/111.08	c |     49978 |    7981    78373   351331 | 2147483647    49978     73 |  0.000 % |
111.24/111.32	c |     50172 |    7981    78373   351331 | 2147483647    50172     73 |  0.000 % |
111.84/111.96	c |     50385 |    7981    78373   351331 | 2147483647    50385     74 |  0.000 % |
112.44/112.56	c |     50618 |    7981    78373   351331 | 2147483647    50618     73 |  0.000 % |
113.04/113.17	c |     50874 |    7981    78373   351331 | 2147483647    50874     73 |  0.000 % |
113.94/114.09	c |     51155 |    7981    78373   351331 | 2147483647    51155     73 |  0.000 % |
114.74/114.84	c |     51465 |    7981    78373   351331 | 2147483647    51465     73 |  0.000 % |
115.84/115.98	c |     51805 |    7981    78373   351331 | 2147483647    51805     73 |  0.000 % |
116.74/116.89	c |     52178 |    7981    78373   351331 | 2147483647    52178     73 |  0.000 % |
117.54/117.69	c |     52588 |    7981    78373   351331 | 2147483647    52588     74 |  0.000 % |
118.74/118.88	c |     53037 |    7981    78373   351331 | 2147483647    53037     74 |  0.000 % |
120.24/120.35	c |     53531 |    7981    78373   351331 | 2147483647    53531     74 |  0.000 % |
121.74/121.81	c |     54074 |    7981    78373   351331 | 2147483647    54074     74 |  0.000 % |
123.34/123.42	c |     54671 |    7981    78373   351331 | 2147483647    54671     74 |  0.000 % |
124.93/125.03	c |     55326 |    7981    78373   351331 | 2147483647    55326     73 |  0.000 % |
127.03/127.13	c |     56046 |    7981    78373   351331 | 2147483647    56046     74 |  0.000 % |
127.23/127.35	c |     56147 |    7981    78373   351331 | 2147483647    56147     74 |  0.000 % |
127.53/127.60	c |     56258 |    7981    78373   351331 | 2147483647    56258     74 |  0.000 % |
127.73/127.90	c |     56379 |    7981    78373   351331 | 2147483647    56379     74 |  0.000 % |
128.13/128.20	c |     56512 |    7981    78373   351331 | 2147483647    56512     74 |  0.000 % |
128.33/128.47	c |     56658 |    7981    78373   351331 | 2147483647    56658     74 |  0.000 % |
128.74/128.84	c |     56819 |    7981    78373   351331 | 2147483647    56819     73 |  0.000 % |
128.94/129.08	c |     56996 |    7981    78373   351331 | 2147483647    56996     73 |  0.000 % |
129.44/129.55	c |     57189 |    7981    78373   351331 | 2147483647    57189     74 |  0.000 % |
129.94/130.04	c |     57402 |    7981    78373   351331 | 2147483647    57402     73 |  0.000 % |
130.54/130.62	c |     57635 |    7981    78373   351331 | 2147483647    57635     74 |  0.000 % |
131.44/131.57	c |     57892 |    7981    78373   351331 | 2147483647    57892     74 |  0.000 % |
132.14/132.24	c |     58173 |    7981    78373   351331 | 2147483647    58173     74 |  0.000 % |
132.83/132.98	c |     58483 |    7981    78373   351331 | 2147483647    58483     74 |  0.000 % |
133.93/134.07	c |     58822 |    7981    78373   351331 | 2147483647    58822     74 |  0.000 % |
134.83/134.95	c |     59194 |    7981    78373   351331 | 2147483647    59194     74 |  0.000 % |
135.73/135.89	c |     59604 |    7981    78373   351331 | 2147483647    59604     73 |  0.000 % |
136.43/136.50	c |     60054 |    7981    78373   351331 | 2147483647    60054     73 |  0.000 % |
137.63/137.75	c |     60548 |    7981    78373   351331 | 2147483647    60548     73 |  0.000 % |
139.43/139.55	c |     61090 |    7981    78373   351331 | 2147483647    61090     73 |  0.000 % |
140.83/140.98	c |     61687 |    7981    78373   351331 | 2147483647    61687     73 |  0.000 % |
142.43/142.51	c |     62343 |    7981    78373   351331 | 2147483647    62343     73 |  0.000 % |
144.13/144.29	c |     63064 |    7981    78373   351331 | 2147483647    63064     73 |  0.000 % |
146.62/146.71	c |     63856 |    7981    78373   351331 | 2147483647    63856     73 |  0.000 % |
146.72/146.88	c |     63956 |    7981    78373   351331 | 2147483647    63956     73 |  0.000 % |
147.02/147.18	c |     64067 |    7981    78373   351331 | 2147483647    64067     73 |  0.000 % |
147.33/147.47	c |     64189 |    7981    78373   351331 | 2147483647    64189     73 |  0.000 % |
147.73/147.80	c |     64322 |    7981    78373   351331 | 2147483647    64322     73 |  0.000 % |
148.23/148.32	c |     64468 |    7981    78373   351331 | 2147483647    64468     73 |  0.000 % |
148.53/148.68	c |     64628 |    7981    78373   351331 | 2147483647    64628     73 |  0.000 % |
148.93/149.09	c |     64805 |    7981    78373   351331 | 2147483647    64805     73 |  0.000 % |
149.44/149.53	c |     64998 |    7981    78373   351331 | 2147483647    64998     73 |  0.000 % |
150.03/150.19	c |     65211 |    7981    78373   351331 | 2147483647    65211     73 |  0.000 % |
150.53/150.62	c |     65446 |    7981    78373   351331 | 2147483647    65446     73 |  0.000 % |
151.13/151.27	c |     65703 |    7981    78373   351331 | 2147483647    65703     73 |  0.000 % |
151.83/151.93	c |     65984 |    7981    78373   351331 | 2147483647    65984     73 |  0.000 % |
152.63/152.78	c |     66293 |    7981    78373   351331 | 2147483647    66293     73 |  0.000 % |
153.53/153.64	c |     66632 |    7981    78373   351331 | 2147483647    66632     73 |  0.000 % |
154.53/154.60	c |     67004 |    7981    78373   351331 | 2147483647    67004     73 |  0.000 % |
156.03/156.15	c |     67413 |    7981    78373   351331 | 2147483647    67413     74 |  0.000 % |
157.03/157.17	c |     67863 |    7981    78373   351331 | 2147483647    67863     74 |  0.000 % |
158.23/158.38	c |     68357 |    7981    78373   351331 | 2147483647    68357     74 |  0.000 % |
159.62/159.74	c |     68899 |    7981    78373   351331 | 2147483647    68899     73 |  0.000 % |
161.32/161.49	c |     69495 |    7981    78373   351331 | 2147483647    69495     73 |  0.000 % |
162.82/162.97	c |     70151 |    7981    78373   351331 | 2147483647    70151     73 |  0.000 % |
164.82/164.96	c |     70872 |    7981    78373   351331 | 2147483647    70872     73 |  0.000 % |
166.63/166.75	c |     71664 |    7981    78373   351331 | 2147483647    71664     73 |  0.000 % |
168.83/168.95	c |     72536 |    7981    78373   351331 | 2147483647    72536     73 |  0.000 % |
169.03/169.19	c |     72636 |    7981    78373   351331 | 2147483647    72636     73 |  0.000 % |
169.33/169.48	c |     72748 |    7981    78373   351331 | 2147483647    72748     73 |  0.000 % |
169.63/169.76	c |     72870 |    7981    78373   351331 | 2147483647    72870     73 |  0.000 % |
170.02/170.15	c |     73003 |    7981    78373   351331 | 2147483647    73003     73 |  0.000 % |
170.62/170.70	c |     73149 |    7981    78373   351331 | 2147483647    73149     73 |  0.000 % |
170.92/171.10	c |     73309 |    7981    78373   351331 | 2147483647    73309     73 |  0.000 % |
171.32/171.48	c |     73486 |    7981    78373   351331 | 2147483647    73486     73 |  0.000 % |
171.92/172.00	c |     73680 |    7981    78373   351331 | 2147483647    73680     73 |  0.000 % |
172.63/172.76	c |     73893 |    7981    78373   351331 | 2147483647    73893     73 |  0.000 % |
173.22/173.37	c |     74129 |    7981    78373   351331 | 2147483647    74129     73 |  0.000 % |
173.82/173.92	c |     74385 |    7981    78373   351331 | 2147483647    74385     73 |  0.000 % |
174.52/174.64	c |     74667 |    7981    78373   351331 | 2147483647    74667     73 |  0.000 % |
175.32/175.46	c |     74976 |    7981    78373   351331 | 2147483647    74976     73 |  0.000 % |
176.22/176.36	c |     75316 |    7981    78373   351331 | 2147483647    75316     73 |  0.000 % |
177.12/177.27	c |     75689 |    7981    78373   351331 | 2147483647    75689     73 |  0.000 % |
178.42/178.51	c |     76098 |    7981    78373   351331 | 2147483647    76098     73 |  0.000 % |
179.62/179.72	c |     76548 |    7981    78373   351331 | 2147483647    76548     73 |  0.000 % |
181.12/181.20	c |     77042 |    7981    78373   351331 | 2147483647    77042     73 |  0.000 % |
183.42/183.56	c |     77584 |    7981    78373   351331 | 2147483647    77584     73 |  0.000 % |
184.52/184.68	c |     78183 |    7981    78373   351331 | 2147483647    78183     73 |  0.000 % |
186.52/186.65	c |     78839 |    7981    78373   351331 | 2147483647    78839     73 |  0.000 % |
188.41/188.54	c |     79561 |    7981    78373   351331 | 2147483647    79561     73 |  0.000 % |
191.01/191.17	c |     80354 |    7981    78373   351331 | 2147483647    80354     73 |  0.000 % |
194.42/194.54	c |     81225 |    7981    78373   351331 | 2147483647    81225     73 |  0.000 % |
197.92/198.05	c |     82183 |    7981    78373   351331 | 2147483647    82183     73 |  0.000 % |
198.22/198.31	c |     82285 |    7981    78373   351331 | 2147483647    82285     73 |  0.000 % |
198.42/198.60	c |     82395 |    7981    78373   351331 | 2147483647    82395     73 |  0.000 % |
198.82/198.94	c |     82518 |    7981    78373   351331 | 2147483647    82518     73 |  0.000 % |
199.12/199.29	c |     82651 |    7981    78373   351331 | 2147483647    82651     73 |  0.000 % |
199.62/199.79	c |     82797 |    7981    78373   351331 | 2147483647    82797     73 |  0.000 % |
200.32/200.43	c |     82960 |    7981    78373   351331 | 2147483647    82960     73 |  0.000 % |
200.72/200.88	c |     83136 |    7981    78373   351331 | 2147483647    83136     73 |  0.000 % |
201.32/201.43	c |     83329 |    7981    78373   351331 | 2147483647    83329     73 |  0.000 % |
201.72/201.86	c |     83542 |    7981    78373   351331 | 2147483647    83542     73 |  0.000 % |
202.32/202.48	c |     83776 |    7981    78373   351331 | 2147483647    83776     73 |  0.000 % |
203.02/203.17	c |     84032 |    7981    78373   351331 | 2147483647    84032     73 |  0.000 % |
204.12/204.29	c |     84313 |    7981    78373   351331 | 2147483647    84313     73 |  0.000 % |
205.11/205.24	c |     84624 |    7981    78373   351331 | 2147483647    84624     73 |  0.000 % |
206.11/206.28	c |     84964 |    7981    78373   351331 | 2147483647    84964     73 |  0.000 % |
207.21/207.35	c |     85337 |    7981    78373   351331 | 2147483647    85337     73 |  0.000 % |
208.21/208.35	c |     85747 |    7981    78373   351331 | 2147483647    85747     73 |  0.000 % |
209.41/209.53	c |     86197 |    7981    78373   351331 | 2147483647    86197     73 |  0.000 % |
210.81/210.95	c |     86691 |    7981    78373   351331 | 2147483647    86691     73 |  0.000 % |
212.41/212.50	c |     87233 |    7981    78373   351331 | 2147483647    87233     73 |  0.000 % |
213.91/214.02	c |     87830 |    7981    78373   351331 | 2147483647    87830     73 |  0.000 % |
214.61/214.72	c |     88487 |    7981    78373   351331 | 2147483647    88487     73 |  0.000 % |
216.81/216.99	c |     89207 |    7981    78373   351331 | 2147483647    89207     73 |  0.000 % |
220.10/220.28	c |     89999 |    7981    78373   351331 | 2147483647    89999     73 |  0.000 % |
222.91/223.01	c |     90871 |    7981    78373   351331 | 2147483647    90871     73 |  0.000 % |
226.71/226.80	c |     91829 |    7981    78373   351331 | 2147483647    91829     74 |  0.000 % |
229.61/229.75	c |     92883 |    7981    78373   351331 | 2147483647    92883     74 |  0.000 % |
229.91/230.09	c |     92983 |    7981    78373   351331 | 2147483647    92983     73 |  0.000 % |
230.31/230.46	c |     93094 |    7981    78373   351331 | 2147483647    93094     73 |  0.000 % |
230.61/230.78	c |     93216 |    7981    78373   351331 | 2147483647    93216     73 |  0.000 % |
230.81/230.95	c |     93350 |    7981    78373   351331 | 2147483647    93350     73 |  0.000 % |
231.41/231.50	c |     93497 |    7980    78362   351287 | 2147483647    93496     73 |  0.013 % |
231.81/231.96	c |     93659 |    7980    78362   351287 | 2147483647    93658     73 |  0.013 % |
232.31/232.42	c |     93836 |    7980    78362   351287 | 2147483647    93835     73 |  0.013 % |
232.70/232.80	c |     94030 |    7980    78362   351287 | 2147483647    94029     73 |  0.013 % |
233.30/233.46	c |     94242 |    7980    78362   351287 | 2147483647    94241     73 |  0.013 % |
233.70/233.85	c |     94475 |    7980    78362   351287 | 2147483647    94474     73 |  0.013 % |
234.51/234.64	c |     94733 |    7980    78362   351287 | 2147483647    94732     73 |  0.013 % |
235.40/235.50	c |     95014 |    7980    78362   351287 | 2147483647    95013     73 |  0.013 % |
236.20/236.37	c |     95324 |    7980    78362   351287 | 2147483647    95323     73 |  0.013 % |
237.20/237.30	c |     95663 |    7980    78362   351287 | 2147483647    95662     73 |  0.013 % |
238.30/238.44	c |     96037 |    7980    78362   351287 | 2147483647    96036     73 |  0.013 % |
239.50/239.69	c |     96446 |    7980    78362   351287 | 2147483647    96445     73 |  0.013 % |
241.00/241.11	c |     96896 |    7980    78362   351287 | 2147483647    96895     73 |  0.013 % |
242.50/242.69	c |     97390 |    7980    78362   351287 | 2147483647    97389     73 |  0.013 % |
244.30/244.46	c |     97934 |    7980    78362   351287 | 2147483647    97933     73 |  0.013 % |
246.40/246.56	c |     98530 |    7980    78362   351287 | 2147483647    98529     73 |  0.013 % |
248.50/248.65	c |     99185 |    7980    78362   351287 | 2147483647    99184     73 |  0.013 % |
251.00/251.17	c |     99907 |    7980    78362   351287 | 2147483647    99906     73 |  0.013 % |
253.69/253.81	c |    100700 |    7980    78362   351287 | 2147483647   100699     73 |  0.013 % |
258.00/258.13	c |    101572 |    7980    78362   351287 | 2147483647   101571     73 |  0.013 % |
261.40/261.53	c |    102531 |    7980    78362   351287 | 2147483647   102530     73 |  0.013 % |
264.39/264.54	c |    103584 |    7980    78362   351287 | 2147483647   103583     73 |  0.013 % |
267.99/268.13	c |    104742 |    7980    78362   351287 | 2147483647   104741     73 |  0.013 % |
268.30/268.49	c |    104842 |    7980    78362   351287 | 2147483647   104841     73 |  0.013 % |
268.59/268.77	c |    104954 |    7980    78362   351287 | 2147483647   104953     73 |  0.013 % |
269.19/269.34	c |    105076 |    7980    78362   351287 | 2147483647   105075     73 |  0.013 % |
269.69/269.87	c |    105210 |    7980    78362   351287 | 2147483647   105209     73 |  0.013 % |
269.99/270.12	c |    105357 |    7980    78362   351287 | 2147483647   105356     73 |  0.013 % |
270.49/270.65	c |    105519 |    7980    78362   351287 | 2147483647   105518     73 |  0.013 % |
270.99/271.19	c |    105695 |    7980    78362   351287 | 2147483647   105694     73 |  0.013 % |
271.69/271.87	c |    105891 |    7980    78362   351287 | 2147483647   105890     73 |  0.013 % |
272.40/272.54	c |    106103 |    7980    78362   351287 | 2147483647   106102     73 |  0.013 % |
273.30/273.44	c |    106336 |    7980    78362   351287 | 2147483647   106335     73 |  0.013 % |
274.10/274.23	c |    106592 |    7980    78362   351287 | 2147483647   106591     73 |  0.013 % |
275.00/275.13	c |    106874 |    7980    78362   351287 | 2147483647   106873     73 |  0.013 % |
276.00/276.15	c |    107183 |    7980    78362   351287 | 2147483647   107182     73 |  0.013 % |
277.30/277.47	c |    107522 |    7980    78362   351287 | 2147483647   107521     73 |  0.013 % |
278.80/278.94	c |    107895 |    7980    78362   351287 | 2147483647   107894     73 |  0.013 % |
280.30/280.47	c |    108304 |    7980    78362   351287 | 2147483647   108303     73 |  0.013 % |
281.50/281.66	c |    108755 |    7980    78362   351287 | 2147483647   108754     73 |  0.013 % |
282.69/282.82	c |    109249 |    7980    78362   351287 | 2147483647   109248     73 |  0.013 % |
283.89/284.02	c |    109791 |    7980    78362   351287 | 2147483647   109790     73 |  0.013 % |
285.99/286.18	c |    110388 |    7980    78362   351287 | 2147483647   110387     73 |  0.013 % |
288.09/288.20	c |    111043 |    7980    78362   351287 | 2147483647   111042     73 |  0.013 % |
290.20/290.30	c |    111764 |    7980    78362   351287 | 2147483647   111763     73 |  0.013 % |
292.99/293.11	c |    112556 |    7980    78362   351287 | 2147483647   112555     73 |  0.013 % |
295.99/296.15	c |    113427 |    7980    78362   351287 | 2147483647   113426     73 |  0.013 % |
300.49/300.68	c |    114386 |    7980    78362   351287 | 2147483647   114385     73 |  0.013 % |
303.49/303.68	c |    115439 |    7980    78362   351287 | 2147483647   115438     73 |  0.013 % |
306.98/307.12	c |    116598 |    7980    78362   351287 | 2147483647   116597     73 |  0.013 % |
312.08/312.20	c |    117872 |    7980    78362   351287 | 2147483647   117871     73 |  0.013 % |
312.38/312.57	c |    117973 |    7980    78362   351287 | 2147483647   117972     73 |  0.013 % |
312.78/312.93	c |    118084 |    7980    78362   351287 | 2147483647   118083     73 |  0.013 % |
313.18/313.33	c |    118205 |    7980    78362   351287 | 2147483647   118204     73 |  0.013 % |
313.78/313.98	c |    118339 |    7980    78362   351287 | 2147483647   118338     73 |  0.013 % |
314.49/314.64	c |    118485 |    7980    78362   351287 | 2147483647   118484     73 |  0.013 % |
315.49/315.66	c |    118646 |    7980    78362   351287 | 2147483647   118645     73 |  0.013 % |
315.98/316.16	c |    118822 |    7980    78362   351287 | 2147483647   118821     73 |  0.013 % |
316.69/316.89	c |    119015 |    7980    78362   351287 | 2147483647   119014     73 |  0.013 % |
317.58/317.77	c |    119229 |    7980    78362   351287 | 2147483647   119228     73 |  0.013 % |
318.38/318.50	c |    119463 |    7980    78362   351287 | 2147483647   119462     73 |  0.013 % |
319.08/319.29	c |    119719 |    7980    78362   351287 | 2147483647   119718     73 |  0.013 % |
320.08/320.23	c |    120002 |    7980    78362   351287 | 2147483647   120001     73 |  0.013 % |
321.28/321.41	c |    120311 |    7980    78362   351287 | 2147483647   120310     73 |  0.013 % |
322.38/322.53	c |    120651 |    7980    78362   351287 | 2147483647   120650     73 |  0.013 % |
323.58/323.71	c |    121023 |    7980    78362   351287 | 2147483647   121022     73 |  0.013 % |
325.28/325.45	c |    121433 |    7980    78362   351287 | 2147483647   121432     73 |  0.013 % |
326.88/327.08	c |    121882 |    7980    78362   351287 | 2147483647   121881     73 |  0.013 % |
328.18/328.39	c |    122375 |    7980    78362   351287 | 2147483647   122374     73 |  0.013 % |
329.68/329.80	c |    122918 |    7980    78362   351287 | 2147483647   122917     73 |  0.013 % |
331.88/332.08	c |    123515 |    7980    78362   351287 | 2147483647   123514     73 |  0.013 % |
334.29/334.45	c |    124170 |    7980    78362   351287 | 2147483647   124169     73 |  0.013 % |
336.88/337.06	c |    124891 |    7980    78362   351287 | 2147483647   124890     73 |  0.013 % |
339.58/339.79	c |    125683 |    7980    78362   351287 | 2147483647   125682     73 |  0.013 % |
342.38/342.53	c |    126555 |    7980    78362   351287 | 2147483647   126554     73 |  0.013 % |
345.38/345.55	c |    127513 |    7980    78362   351287 | 2147483647   127512     73 |  0.013 % |
347.97/348.19	c |    128567 |    7980    78362   351287 | 2147483647   128566     73 |  0.013 % |
352.47/352.65	c |    129725 |    7980    78362   351287 | 2147483647   129724     73 |  0.013 % |
357.27/357.40	c |    130998 |    7980    78362   351287 | 2147483647   130997     73 |  0.013 % |
363.87/364.04	c |    132398 |    7980    78362   351287 | 2147483647   132397     73 |  0.013 % |
364.37/364.54	c |    132498 |    7980    78362   351287 | 2147483647   132497     73 |  0.013 % |
364.77/364.98	c |    132608 |    7980    78362   351287 | 2147483647   132607     73 |  0.013 % |
365.17/365.39	c |    132729 |    7980    78362   351287 | 2147483647   132728     73 |  0.013 % |
365.87/366.00	c |    132862 |    7980    78362   351287 | 2147483647   132861     73 |  0.013 % |
366.37/366.53	c |    133009 |    7980    78362   351287 | 2147483647   133008     73 |  0.013 % |
366.97/367.10	c |    133169 |    7980    78362   351287 | 2147483647   133168     73 |  0.013 % |
367.57/367.76	c |    133346 |    7980    78362   351287 | 2147483647   133345     73 |  0.013 % |
368.27/368.44	c |    133539 |    7980    78362   351287 | 2147483647   133538     73 |  0.013 % |
369.06/369.21	c |    133751 |    7980    78362   351287 | 2147483647   133750     73 |  0.013 % |
369.96/370.11	c |    133985 |    7980    78362   351287 | 2147483647   133984     73 |  0.013 % |
370.76/370.95	c |    134241 |    7980    78362   351287 | 2147483647   134240     73 |  0.013 % |
371.86/372.01	c |    134523 |    7980    78362   351287 | 2147483647   134522     73 |  0.013 % |
373.16/373.32	c |    134832 |    7980    78362   351287 | 2147483647   134831     73 |  0.013 % |
375.16/375.39	c |    135171 |    7980    78362   351287 | 2147483647   135170     73 |  0.013 % |
376.46/376.61	c |    135543 |    7980    78362   351287 | 2147483647   135542     73 |  0.013 % |
377.67/377.85	c |    135953 |    7980    78362   351287 | 2147483647   135952     73 |  0.013 % |
379.27/379.44	c |    136403 |    7980    78362   351287 | 2147483647   136402     73 |  0.013 % |
380.87/381.04	c |    136897 |    7980    78362   351287 | 2147483647   136896     73 |  0.013 % |
382.67/382.81	c |    137439 |    7980    78362   351287 | 2147483647   137438     73 |  0.013 % |
384.77/384.93	c |    138036 |    7980    78362   351287 | 2147483647   138035     73 |  0.013 % |
387.36/387.51	c |    138691 |    7980    78362   351287 | 2147483647   138690     73 |  0.013 % |
389.56/389.74	c |    139411 |    7980    78362   351287 | 2147483647   139410     73 |  0.013 % |
392.06/392.20	c |    140203 |    7980    78362   351287 | 2147483647   140202     73 |  0.013 % |
394.96/395.14	c |    141075 |    7980    78362   351287 | 2147483647   141074     73 |  0.013 % |
398.56/398.72	c |    142034 |    7980    78362   351287 | 2147483647   142033     73 |  0.013 % |
402.56/402.76	c |    143088 |    7980    78362   351287 | 2147483647   143087     73 |  0.013 % |
406.66/406.89	c |    144246 |    7980    78362   351287 | 2147483647   144245     73 |  0.013 % |
413.56/413.75	c |    145519 |    7980    78362   351287 | 2147483647   145518     73 |  0.013 % |
419.15/419.32	c |    146921 |    7980    78362   351287 | 2147483647   146920     73 |  0.013 % |
425.15/425.36	c |    148461 |    7980    78362   351287 | 2147483647   148460     73 |  0.013 % |
425.45/425.64	c |    148561 |    7980    78362   351287 | 2147483647   148560     73 |  0.013 % |
425.95/426.11	c |    148671 |    7980    78362   351287 | 2147483647   148670     73 |  0.013 % |
426.35/426.59	c |    148793 |    7980    78362   351287 | 2147483647   148792     73 |  0.013 % |
426.65/426.83	c |    148927 |    7980    78362   351287 | 2147483647   148926     73 |  0.013 % |
427.15/427.33	c |    149074 |    7980    78362   351287 | 2147483647   149073     73 |  0.013 % |
427.45/427.66	c |    149235 |    7980    78362   351287 | 2147483647   149234     73 |  0.013 % |
428.05/428.23	c |    149412 |    7980    78362   351287 | 2147483647   149411     73 |  0.013 % |
428.36/428.55	c |    149605 |    7980    78362   351287 | 2147483647   149604     73 |  0.013 % |
429.16/429.37	c |    149817 |    7980    78362   351287 | 2147483647   149816     73 |  0.013 % |
430.06/430.28	c |    150050 |    7980    78362   351287 | 2147483647   150049     73 |  0.013 % |
430.96/431.14	c |    150306 |    7980    78362   351287 | 2147483647   150305     73 |  0.013 % |
431.65/431.88	c |    150589 |    7980    78362   351287 | 2147483647   150588     73 |  0.013 % |
432.85/433.09	c |    150899 |    7980    78362   351287 | 2147483647   150898     73 |  0.013 % |
434.15/434.39	c |    151240 |    7980    78362   351287 | 2147483647   151239     73 |  0.013 % |
435.65/435.84	c |    151613 |    7980    78362   351287 | 2147483647   151612     73 |  0.013 % |
437.25/437.42	c |    152022 |    7980    78362   351287 | 2147483647   152021     73 |  0.013 % |
442.15/442.31	c |    152472 |    7980    78362   351287 | 2147483647   152471     73 |  0.013 % |
443.15/443.39	c |    152965 |    7980    78362   351287 | 2147483647   152964     73 |  0.013 % |
444.95/445.18	c |    153507 |    7980    78362   351287 | 2147483647   153506     73 |  0.013 % |
445.85/446.00	c |    154104 |    7980    78362   351287 | 2147483647   154103     73 |  0.013 % |
448.15/448.32	c |    154759 |    7980    78362   351287 | 2147483647   154758     73 |  0.013 % |
454.15/454.34	c |    155480 |    7980    78362   351287 | 2147483647   155479     73 |  0.013 % |
457.14/457.38	c |    156273 |    7980    78362   351287 | 2147483647   156272     73 |  0.013 % |
459.24/459.42	c |    157144 |    7980    78362   351287 | 2147483647   157143     73 |  0.013 % |
460.94/461.13	c |    158103 |    7980    78362   351287 | 2147483647   158102     73 |  0.013 % |
465.05/465.21	c |    159157 |    7980    78362   351287 | 2147483647   159156     73 |  0.013 % |
468.85/469.04	c |    160315 |    7980    78362   351287 | 2147483647   160314     73 |  0.013 % |
474.14/474.34	c |    161588 |    7980    78362   351287 | 2147483647   161587     73 |  0.013 % |
477.64/477.81	c |    162988 |    7980    78362   351287 | 2147483647   162987     73 |  0.013 % |
481.54/481.76	c |    164528 |    7980    78362   351287 | 2147483647   164527     73 |  0.013 % |
487.44/487.64	c |    166223 |    7980    78362   351287 | 2147483647   166222     72 |  0.013 % |
487.84/488.05	c |    166324 |    7980    78362   351287 | 2147483647   166323     72 |  0.013 % |
488.44/488.64	c |    166434 |    7980    78362   351287 | 2147483647   166433     72 |  0.013 % |
488.84/489.03	c |    166558 |    7980    78362   351287 | 2147483647   166557     72 |  0.013 % |
489.24/489.49	c |    166693 |    7980    78362   351287 | 2147483647   166692     72 |  0.013 % |
489.74/489.97	c |    166841 |    7980    78362   351287 | 2147483647   166840     72 |  0.013 % |
490.34/490.50	c |    167004 |    7980    78362   351287 | 2147483647   167003     72 |  0.013 % |
490.84/491.05	c |    167181 |    7980    78362   351287 | 2147483647   167180     72 |  0.013 % |
491.54/491.74	c |    167374 |    7980    78362   351287 | 2147483647   167373     72 |  0.013 % |
492.54/492.73	c |    167586 |    7980    78362   351287 | 2147483647   167585     72 |  0.013 % |
493.54/493.78	c |    167820 |    7980    78362   351287 | 2147483647   167819     72 |  0.013 % |
494.54/494.70	c |    168076 |    7980    78362   351287 | 2147483647   168075     72 |  0.013 % |
495.54/495.77	c |    168358 |    7980    78362   351287 | 2147483647   168357     72 |  0.013 % |
496.84/497.08	c |    168667 |    7980    78362   351287 | 2147483647   168666     72 |  0.013 % |
498.04/498.24	c |    169006 |    7980    78362   351287 | 2147483647   169005     72 |  0.013 % |
500.04/500.22	c |    169380 |    7980    78362   351287 | 2147483647   169379     72 |  0.013 % |
501.23/501.40	c |    169790 |    7980    78362   351287 | 2147483647   169789     72 |  0.013 % |
503.03/503.24	c |    170239 |    7980    78362   351287 | 2147483647   170238     72 |  0.013 % |
504.53/504.70	c |    170732 |    7980    78362   351287 | 2147483647   170731     72 |  0.013 % |
506.23/506.40	c |    171274 |    7980    78362   351287 | 2147483647   171273     72 |  0.013 % |
508.53/508.73	c |    171870 |    7980    78362   351287 | 2147483647   171869     72 |  0.013 % |
509.43/509.68	c |    172525 |    7980    78362   351287 | 2147483647   172524     72 |  0.013 % |
509.73/509.94	c |    173245 |    7980    78362   351287 | 2147483647   173244     72 |  0.013 % |
512.63/512.85	c |    174037 |    7980    78362   351287 | 2147483647   174036     72 |  0.013 % |
515.33/515.53	c |    174908 |    7980    78362   351287 | 2147483647   174907     72 |  0.013 % |
518.13/518.30	c |    175867 |    7980    78362   351287 | 2147483647   175866     72 |  0.013 % |
519.63/519.89	c |    176921 |    7980    78362   351287 | 2147483647   176920     72 |  0.013 % |
522.63/522.83	c |    178079 |    7980    78362   351287 | 2147483647   178078     72 |  0.013 % |
523.53/523.70	c |    179352 |    7980    78362   351287 | 2147483647   179351     72 |  0.013 % |
527.73/527.98	c |    180753 |    7980    78362   351287 | 2147483647   180752     72 |  0.013 % |
532.13/532.31	c |    182294 |    7980    78362   351287 | 2147483647   182293     72 |  0.013 % |
535.63/535.84	c |    183990 |    7980    78362   351287 | 2147483647   183989     72 |  0.013 % |
543.23/543.43	c |    185853 |    7980    78362   351287 | 2147483647   185852     72 |  0.013 % |
543.62/543.80	c |    185953 |    7980    78362   351287 | 2147483647   185952     72 |  0.013 % |
543.82/544.05	c |    186063 |    7980    78362   351287 | 2147483647   186062     72 |  0.013 % |
544.33/544.53	c |    186184 |    7980    78362   351287 | 2147483647   186183     72 |  0.013 % |
544.52/544.73	c |    186317 |    7980    78362   351287 | 2147483647   186316     71 |  0.013 % |
544.62/544.87	c |    186463 |    7980    78362   351287 | 2147483647   186462     71 |  0.013 % |
544.72/544.91	c |    186624 |    7980    78362   351287 | 2147483647   186623     71 |  0.013 % |
544.72/544.93	c |    186801 |    7980    78362   351287 | 2147483647   186800     71 |  0.013 % |
545.33/545.55	c |    186995 |    7980    78362   351287 | 2147483647   186994     71 |  0.013 % |
546.92/547.12	c |    187207 |    7980    78362   351287 | 2147483647   187206     71 |  0.013 % |
547.72/547.99	c |    187440 |    7980    78362   351287 | 2147483647   187439     71 |  0.013 % |
548.32/548.53	c |    187697 |    7980    78362   351287 | 2147483647   187696     71 |  0.013 % |
549.32/549.55	c |    187979 |    7980    78362   351287 | 2147483647   187978     71 |  0.013 % |
551.32/551.50	c |    188289 |    7980    78362   351287 | 2147483647   188288     71 |  0.013 % |
553.02/553.21	c |    188629 |    7980    78362   351287 | 2147483647   188628     71 |  0.013 % |
555.02/555.27	c |    189001 |    7980    78362   351287 | 2147483647   189000     71 |  0.013 % |
555.42/555.66	c |    189411 |    7980    78362   351287 | 2147483647   189410     71 |  0.013 % |
556.61/556.85	c |    189860 |    7980    78362   351287 | 2147483647   189859     71 |  0.013 % |
557.91/558.19	c |    190354 |    7980    78362   351287 | 2147483647   190353     71 |  0.013 % |
559.91/560.17	c |    190897 |    7980    78362   351287 | 2147483647   190896     71 |  0.013 % |
562.12/562.39	c |    191493 |    7980    78362   351287 | 2147483647   191492     71 |  0.013 % |
564.72/564.98	c |    192149 |    7980    78362   351287 | 2147483647   192148     71 |  0.013 % |
566.82/567.05	c |    192870 |    7980    78362   351287 | 2147483647   192869     71 |  0.013 % |
569.62/569.87	c |    193663 |    7980    78362   351287 | 2147483647   193662     71 |  0.013 % |
571.11/571.34	c |    194534 |    7980    78362   351287 | 2147483647   194533     71 |  0.013 % |
574.91/575.17	c |    195493 |    7980    78362   351287 | 2147483647   195492     71 |  0.013 % |
578.21/578.48	c |    196547 |    7980    78362   351287 | 2147483647   196546     71 |  0.013 % |
582.41/582.63	c |    197707 |    7980    78362   351287 | 2147483647   197706     71 |  0.013 % |
584.61/584.89	c |    198980 |    7980    78362   351287 | 2147483647   198979     71 |  0.013 % |
588.02/588.23	c |    200380 |    7980    78362   351287 | 2147483647   200379     71 |  0.013 % |
594.61/594.82	c |    201920 |    7980    78362   351287 | 2147483647   201919     71 |  0.013 % |
599.71/599.92	c |    203615 |    7980    78362   351287 | 2147483647   203614     71 |  0.013 % |
606.80/607.00	c |    205479 |    7980    78362   351287 | 2147483647   205478     71 |  0.013 % |
615.60/615.86	c |    207528 |    7980    78362   351287 | 2147483647   207527     71 |  0.013 % |
615.80/616.05	c |    207628 |    7980    78362   351287 | 2147483647   207627     71 |  0.013 % |
616.30/616.50	c |    207738 |    7980    78362   351287 | 2147483647   207737     71 |  0.013 % |
616.50/616.74	c |    207859 |    7980    78362   351287 | 2147483647   207858     71 |  0.013 % |
617.10/617.30	c |    207992 |    7980    78362   351287 | 2147483647   207991     71 |  0.013 % |
617.60/617.83	c |    208138 |    7980    78362   351287 | 2147483647   208137     71 |  0.013 % |
618.61/618.82	c |    208298 |    7980    78362   351287 | 2147483647   208297     71 |  0.013 % |
619.31/619.53	c |    208475 |    7980    78362   351287 | 2147483647   208474     71 |  0.013 % |
620.11/620.32	c |    208668 |    7980    78362   351287 | 2147483647   208667     71 |  0.013 % |
620.71/620.99	c |    208881 |    7980    78362   351287 | 2147483647   208880     71 |  0.013 % |
622.31/622.56	c |    209115 |    7980    78362   351287 | 2147483647   209114     71 |  0.013 % |
623.21/623.47	c |    209371 |    7980    78362   351287 | 2147483647   209370     71 |  0.013 % |
624.11/624.39	c |    209652 |    7980    78362   351287 | 2147483647   209651     71 |  0.013 % |
625.20/625.40	c |    209961 |    7980    78362   351287 | 2147483647   209960     71 |  0.013 % |
627.60/627.81	c |    210300 |    7980    78362   351287 | 2147483647   210299     71 |  0.013 % |
629.01/629.26	c |    210674 |    7980    78362   351287 | 2147483647   210673     71 |  0.013 % |
630.11/630.34	c |    211085 |    7980    78362   351287 | 2147483647   211084     71 |  0.013 % |
631.80/632.06	c |    211535 |    7980    78362   351287 | 2147483647   211534     71 |  0.013 % |
634.80/635.04	c |    212029 |    7980    78362   351287 | 2147483647   212028     71 |  0.013 % |
636.30/636.58	c |    212571 |    7980    78362   351287 | 2147483647   212570     71 |  0.013 % |
638.60/638.80	c |    213168 |    7980    78362   351287 | 2147483647   213167     71 |  0.013 % |
640.80/641.03	c |    213824 |    7980    78362   351287 | 2147483647   213823     71 |  0.013 % |
642.30/642.60	c |    214544 |    7980    78362   351287 | 2147483647   214543     71 |  0.013 % |
645.60/645.83	c |    215337 |    7980    78362   351287 | 2147483647   215336     71 |  0.013 % |
647.99/648.22	c |    216209 |    7980    78362   351287 | 2147483647   216208     71 |  0.013 % |
651.29/651.58	c |    217167 |    7980    78362   351287 | 2147483647   217166     71 |  0.013 % |
656.19/656.44	c |    218222 |    7980    78362   351287 | 2147483647   218221     71 |  0.013 % |
660.89/661.16	c |    219380 |    7980    78362   351287 | 2147483647   219379     71 |  0.013 % |
665.09/665.38	c |    220654 |    7980    78362   351287 | 2147483647   220653     71 |  0.013 % |
669.39/669.66	c |    222054 |    7980    78362   351287 | 2147483647   222053     71 |  0.013 % |
671.19/671.43	c |    223595 |    7980    78362   351287 | 2147483647   223594     71 |  0.013 % |
679.99/680.20	c |    225289 |    7980    78362   351287 | 2147483647   225288     71 |  0.013 % |
688.58/688.81	c |    227152 |    7980    78362   351287 | 2147483647   227151     71 |  0.013 % |
694.68/694.95	c |    229203 |    7980    78362   351287 | 2147483647   229202     71 |  0.013 % |
703.08/703.34	c |    231457 |    7980    78362   351287 |   230001   231456     71 |  0.013 % |
704.08/704.30	c |    231557 |    7980    78362   351287 |   230001   205260     70 |  0.013 % |
704.38/704.68	c |    231669 |    7980    78362   351287 |   230001   205372     70 |  0.013 % |
704.68/704.94	c |    231791 |    7980    78362   351287 |   230001   205494     70 |  0.013 % |
704.89/705.14	c |    231925 |    7980    78362   351287 |   230001   205628     70 |  0.013 % |
705.28/705.51	c |    232072 |    7980    78362   351287 |   230001   205775     70 |  0.013 % |
705.89/706.14	c |    232233 |    7980    78362   351287 |   230001   205936     70 |  0.013 % |
706.88/707.16	c |    232410 |    7980    78362   351287 |   230001   206113     70 |  0.013 % |
707.58/707.86	c |    232605 |    7980    78362   351287 |   230001   206308     70 |  0.013 % |
708.09/708.37	c |    232820 |    7980    78362   351287 |   230001   206523     70 |  0.013 % |
708.88/709.11	c |    233053 |    7980    78362   351287 |   230001   206756     70 |  0.013 % |
709.48/709.72	c |    233309 |    7980    78362   351287 |   230001   207012     70 |  0.013 % |
710.18/710.42	c |    233590 |    7980    78362   351287 |   230001   207293     70 |  0.013 % |
711.38/711.67	c |    233900 |    7980    78362   351287 |   230001   207603     70 |  0.013 % |
713.08/713.30	c |    234241 |    7980    78362   351287 |   230001   207944     70 |  0.013 % |
714.38/714.63	c |    234613 |    7980    78362   351287 |   230001   208316     70 |  0.013 % |
716.18/716.44	c |    235023 |    7980    78362   351287 |   230001   208726     70 |  0.013 % |
718.28/718.53	c |    235473 |    7980    78362   351287 |   230001   209176     70 |  0.013 % |
718.88/719.17	c |    235967 |    7980    78362   351287 |   230001   209670     70 |  0.013 % |
720.48/720.70	c |    236511 |    7980    78362   351287 |   230001   210214     70 |  0.013 % |
722.78/723.04	c |    237108 |    7980    78362   351287 |   230001   210811     70 |  0.013 % |
725.28/725.54	c |    237764 |    7980    78362   351287 |   230001   211467     70 |  0.013 % |
728.98/729.29	c |    238485 |    7980    78362   351287 |   230001   212188     70 |  0.013 % |
731.37/731.63	c |    239278 |    7980    78362   351287 |   230001   212981     70 |  0.013 % |
732.87/733.13	c |    240150 |    7980    78362   351287 | 2147483647   213853     70 |  0.013 % |
736.57/736.85	c |    241108 |    7980    78362   351287 | 2147483647   214811     70 |  0.013 % |
739.17/739.43	c |    242161 |    7980    78362   351287 | 2147483647   215864     70 |  0.013 % |
744.17/744.45	c |    243320 |    7980    78362   351287 | 2147483647   217023     70 |  0.013 % |
748.47/748.79	c |    244594 |    7980    78362   351287 | 2147483647   218297     70 |  0.013 % |
753.27/753.55	c |    245995 |    7980    78362   351287 | 2147483647   219698     70 |  0.013 % |
770.06/770.35	c |    247535 |    7980    78362   351287 | 2147483647   221238     70 |  0.013 % |
775.46/775.77	c |    249229 |    7980    78362   351287 | 2147483647   222932     70 |  0.013 % |
782.06/782.39	c |    251093 |    7980    78362   351287 | 2147483647   224796     70 |  0.013 % |
788.66/788.97	c |    253142 |    7980    78362   351287 | 2147483647   226845     70 |  0.013 % |
797.55/797.80	c |    255395 |    7980    78362   351287 | 2147483647   229098     70 |  0.013 % |
807.65/807.95	c |    257874 |    7980    78362   351287 | 2147483647   231577     70 |  0.013 % |
807.85/808.15	c |    257974 |    7980    78362   351287 | 2147483647   231677     70 |  0.013 % |
808.45/808.73	c |    258085 |    7980    78362   351287 | 2147483647   231788     70 |  0.013 % |
808.95/809.29	c |    258207 |    7980    78362   351287 | 2147483647   231910     70 |  0.013 % |
809.55/809.82	c |    258341 |    7980    78362   351287 | 2147483647   232044     70 |  0.013 % |
809.95/810.26	c |    258487 |    7980    78362   351287 | 2147483647   232190     70 |  0.013 % |
810.85/811.16	c |    258648 |    7980    78362   351287 | 2147483647   232351     70 |  0.013 % |
811.95/812.20	c |    258825 |    7980    78362   351287 | 2147483647   232528     70 |  0.013 % |
813.75/814.04	c |    259019 |    7980    78362   351287 | 2147483647   232722     70 |  0.013 % |
814.75/815.04	c |    259232 |    7980    78362   351287 | 2147483647   232935     70 |  0.013 % |
815.35/815.67	c |    259465 |    7980    78362   351287 | 2147483647   233168     70 |  0.013 % |
816.45/816.73	c |    259721 |    7980    78362   351287 | 2147483647   233424     70 |  0.013 % |
817.85/818.10	c |    260003 |    7980    78362   351287 |   233704   233706     70 |  0.013 % |
819.54/819.81	c |    260312 |    7980    78362   351287 |   233704   209499     69 |  0.013 % |
820.54/820.89	c |    260653 |    7980    78362   351287 |   233704   209840     69 |  0.013 % |
822.24/822.57	c |    261026 |    7980    78362   351287 |   233704   210213     69 |  0.013 % |
823.34/823.64	c |    261435 |    7980    78362   351287 |   233704   210622     69 |  0.013 % |
825.94/826.28	c |    261884 |    7980    78362   351287 |   233704   211071     69 |  0.013 % |
829.75/830.07	c |    262378 |    7980    78362   351287 |   233704   211565     69 |  0.013 % |
832.15/832.40	c |    262920 |    7980    78362   351287 |   233704   212107     69 |  0.013 % |
834.45/834.75	c |    263517 |    7980    78362   351287 |   233704   212704     69 |  0.013 % |
837.05/837.34	c |    264173 |    7980    78362   351287 |   233704   213360     69 |  0.013 % |
839.25/839.57	c |    264895 |    7980    78362   351287 |   233704   214082     69 |  0.013 % |
844.65/844.94	c |    265687 |    7980    78362   351287 |   233704   214874     69 |  0.013 % |
848.25/848.51	c |    266559 |    7980    78362   351287 |   233704   215746     69 |  0.013 % |
850.85/851.10	c |    267517 |    7980    78362   351287 |   233704   216704     69 |  0.013 % |
855.55/855.87	c |    268570 |    7980    78362   351287 |   233704   217757     69 |  0.013 % |
861.64/861.95	c |    269728 |    7980    78362   351287 |   233704   218915     69 |  0.013 % |
867.55/867.81	c |    271004 |    7980    78362   351287 | 2147483647   220191     69 |  0.013 % |
872.74/873.04	c |    272405 |    7980    78362   351287 | 2147483647   221592     69 |  0.013 % |
878.14/878.40	c |    273948 |    7980    78362   351287 | 2147483647   223135     69 |  0.013 % |
887.74/888.02	c |    275643 |    7980    78362   351287 | 2147483647   224830     69 |  0.013 % |
894.23/894.59	c |    277506 |    7980    78362   351287 | 2147483647   226693     69 |  0.013 % |
900.93/901.20	c |    279555 |    7980    78362   351287 | 2147483647   228742     69 |  0.013 % |
911.03/911.39	c |    281809 |    7980    78362   351287 | 2147483647   230996     69 |  0.013 % |
919.93/920.22	c |    284287 |    7980    78362   351287 | 2147483647   233474     69 |  0.013 % |
931.12/931.44	c |    287012 |    7980    78362   351287 | 2147483647   236199     69 |  0.013 % |
931.52/931.85	c |    287113 |    7980    78362   351287 | 2147483647   236300     69 |  0.013 % |
932.12/932.48	c |    287223 |    7980    78362   351287 | 2147483647   236410     69 |  0.013 % |
932.82/933.11	c |    287345 |    7980    78362   351287 | 2147483647   236532     69 |  0.013 % |
933.32/933.65	c |    287478 |    7980    78362   351287 | 2147483647   236665     69 |  0.013 % |
934.02/934.38	c |    287625 |    7980    78362   351287 | 2147483647   236812     69 |  0.013 % |
934.92/935.20	c |    287785 |    7980    78362   351287 | 2147483647   236972     69 |  0.013 % |
935.32/935.63	c |    287962 |    7980    78362   351287 | 2147483647   237149     69 |  0.013 % |
935.83/936.11	c |    288155 |    7980    78362   351287 | 2147483647   237342     69 |  0.013 % |
936.32/936.61	c |    288367 |    7980    78362   351287 | 2147483647   237554     69 |  0.013 % |
939.02/939.40	c |    288601 |    7980    78362   351287 | 2147483647   237788     69 |  0.013 % |
940.12/940.49	c |    288857 |    7980    78362   351287 | 2147483647   238044     69 |  0.013 % |
942.32/942.67	c |    289138 |    7980    78362   351287 | 2147483647   238325     69 |  0.013 % |
943.72/944.08	c |    289448 |    7980    78362   351287 | 2147483647   238635     69 |  0.013 % |
945.02/945.40	c |    289789 |    7980    78362   351287 | 2147483647   238976     69 |  0.013 % |
946.32/946.67	c |    290162 |    7980    78362   351287 | 2147483647   239349     69 |  0.013 % |
947.82/948.12	c |    290573 |    7980    78362   351287 | 2147483647   239760     69 |  0.013 % |
953.42/953.74	c |    291022 |    7980    78362   351287 | 2147483647   240209     69 |  0.013 % |
954.91/955.20	c |    291515 |    7980    78362   351287 | 2147483647   240702     69 |  0.013 % |
957.01/957.31	c |    292060 |    7980    78362   351287 | 2147483647   241247     69 |  0.013 % |
959.51/959.84	c |    292656 |    7980    78362   351287 | 2147483647   241843     69 |  0.013 % |
962.41/962.73	c |    293312 |    7980    78362   351287 | 2147483647   242499     69 |  0.013 % |
965.81/966.12	c |    294032 |    7980    78362   351287 | 2147483647   243219     69 |  0.013 % |
967.81/968.16	c |    294824 |    7980    78362   351287 | 2147483647   244011     69 |  0.013 % |
971.31/971.68	c |    295696 |    7980    78362   351287 | 2147483647   244883     69 |  0.013 % |
975.21/975.52	c |    296655 |    7980    78362   351287 | 2147483647   245842     69 |  0.013 % |
979.81/980.18	c |    297709 |    7980    78362   351287 | 2147483647   246896     69 |  0.013 % |
984.00/984.31	c |    298867 |    7980    78362   351287 | 2147483647   248054     69 |  0.013 % |
987.80/988.14	c |    300141 |    7980    78362   351287 | 2147483647   249328     69 |  0.013 % |
993.70/994.01	c |    301541 |    7980    78362   351287 | 2147483647   250728     69 |  0.013 % |
1002.10/1002.40	c |    303081 |    7980    78362   351287 | 2147483647   252268     69 |  0.013 % |
1009.10/1009.45	c |    304775 |    7980    78362   351287 | 2147483647   253962     69 |  0.013 % |
1018.20/1018.60	c |    306638 |    7980    78362   351287 | 2147483647   255825     69 |  0.013 % |
1027.39/1027.73	c |    308687 |    7980    78362   351287 | 2147483647   257874     69 |  0.013 % |
1034.89/1035.29	c |    310941 |    7980    78362   351287 |   259187   260128     69 |  0.013 % |
1045.49/1045.84	c |    313420 |    7980    78362   351287 |   259187   232788     68 |  0.013 % |
1055.99/1056.34	c |    316145 |    7980    78362   351287 |   259187   235513     68 |  0.013 % |
1065.88/1066.21	c |    319144 |    7980    78362   351287 |   259187   238512     68 |  0.013 % |
1066.08/1066.43	c |    319245 |    7980    78362   351287 |   259187   238613     68 |  0.013 % |
1066.48/1066.80	c |    319355 |    7980    78362   351287 |   259187   238723     68 |  0.013 % |
1066.59/1066.98	c |    319476 |    7980    78362   351287 |   259187   238844     68 |  0.013 % |
1067.18/1067.55	c |    319609 |    7980    78362   351287 |   259187   238977     68 |  0.013 % |
1067.48/1067.84	c |    319755 |    7980    78362   351287 |   259187   239123     68 |  0.013 % |
1068.18/1068.54	c |    319916 |    7980    78362   351287 |   259187   239284     68 |  0.013 % |
1069.08/1069.40	c |    320092 |    7980    78362   351287 | 2147483647   239460     68 |  0.013 % |
1069.98/1070.39	c |    320285 |    7980    78362   351287 | 2147483647   239653     68 |  0.013 % |
1070.88/1071.28	c |    320497 |    7980    78362   351287 | 2147483647   239865     68 |  0.013 % |
1072.18/1072.59	c |    320731 |    7980    78362   351287 | 2147483647   240099     68 |  0.013 % |
1074.18/1074.52	c |    320988 |    7980    78362   351287 | 2147483647   240356     68 |  0.013 % |
1075.28/1075.66	c |    321271 |    7980    78362   351287 | 2147483647   240639     68 |  0.013 % |
1078.18/1078.56	c |    321581 |    7980    78362   351287 | 2147483647   240949     68 |  0.013 % |
1079.58/1079.99	c |    321920 |    7980    78362   351287 | 2147483647   241288     68 |  0.013 % |
1081.78/1082.18	c |    322294 |    7980    78362   351287 | 2147483647   241662     68 |  0.013 % |
1086.07/1086.44	c |    322703 |    7980    78362   351287 | 2147483647   242071     68 |  0.013 % |
1088.07/1088.42	c |    323153 |    7980    78362   351287 | 2147483647   242521     68 |  0.013 % |
1088.97/1089.38	c |    323647 |    7980    78362   351287 | 2147483647   243015     68 |  0.013 % |
1091.18/1091.57	c |    324189 |    7980    78362   351287 | 2147483647   243557     68 |  0.013 % |
1093.48/1093.80	c |    324785 |    7980    78362   351287 | 2147483647   244153     68 |  0.013 % |
1095.78/1096.16	c |    325440 |    7980    78362   351287 | 2147483647   244808     68 |  0.013 % |
1096.28/1096.65	c |    326160 |    7980    78362   351287 | 2147483647   245528     68 |  0.013 % |
1096.48/1096.86	c |    326952 |    7980    78362   351287 | 2147483647   246320     68 |  0.013 % |
1099.38/1099.75	c |    327823 |    7980    78362   351287 | 2147483647   247191     67 |  0.013 % |
1103.88/1104.21	c |    328783 |    7980    78362   351287 | 2147483647   248151     67 |  0.013 % |
1111.28/1111.62	c |    329836 |    7980    78362   351287 | 2147483647   249204     67 |  0.013 % |
1117.07/1117.49	c |    330995 |    7980    78362   351287 | 2147483647   250363     68 |  0.013 % |
1121.47/1121.86	c |    332269 |    7980    78362   351287 | 2147483647   251637     67 |  0.013 % |
1129.77/1130.19	c |    333670 |    7980    78362   351287 | 2147483647   253038     67 |  0.013 % |
1135.37/1135.75	c |    335210 |    7980    78362   351287 | 2147483647   254578     67 |  0.013 % |
1149.57/1149.94	c |    336904 |    7980    78362   351287 | 2147483647   256272     67 |  0.013 % |
1158.16/1158.59	c |    338767 |    7980    78362   351287 | 2147483647   258135     67 |  0.013 % |
1165.46/1165.82	c |    340816 |    7980    78362   351287 | 2147483647   260184     67 |  0.013 % |
1175.06/1175.49	c |    343071 |    7980    78362   351287 | 2147483647   262439     67 |  0.013 % |
1185.65/1186.06	c |    345550 |    7980    78362   351287 | 2147483647   264918     67 |  0.013 % |

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832201-1242770335/watcher-1832201-1242770335 -o /tmp/evaluation-result-1832201-1242770335/solver-1832201-1242770335 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832201-1242770335.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 744
/proc/meminfo: memFree=1766728/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305063371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/744/statm: 1339 237 197 169 0 50 0
[pid=748] ppid=744 vsize=1004 CPUtime=0
/proc/748/stat : 748 (SatELite_releas) R 744 744 595 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 305063371 1028096 118 1992294400 134512640 135223648 4294956128 18446744073709551615 134543905 0 0 4096 3 0 0 0 17 1 0 0
/proc/748/statm: 251 121 48 173 0 76 0

[startup+0.0605199 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 744
/proc/meminfo: memFree=1766728/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305063371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/744/statm: 1339 237 197 169 0 50 0
[pid=748] ppid=744 vsize=5812 CPUtime=0.05
/proc/748/stat : 748 (SatELite_releas) R 744 744 595 0 -1 4194304 1178 0 0 0 4 1 0 0 18 0 1 0 305063371 5951488 1164 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/748/statm: 1453 1164 50 173 0 1278 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11168

[startup+0.101523 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 744
/proc/meminfo: memFree=1766728/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305063371 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/744/statm: 1339 237 197 169 0 50 0
[pid=748] ppid=744 vsize=8864 CPUtime=0.09
/proc/748/stat : 748 (SatELite_releas) R 744 744 595 0 -1 4194304 1906 0 0 0 8 1 0 0 18 0 1 0 305063371 9076736 1892 1992294400 134512640 135223648 4294956128 18446744073709551615 134549795 0 0 4096 3 0 0 0 17 1 0 0
/proc/748/statm: 2216 1892 71 173 0 2041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14220

[startup+0.301552 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 744
/proc/meminfo: memFree=1766728/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356

[startup+0.701606 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 744
/proc/meminfo: memFree=1766728/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1758392/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=6868 CPUtime=1.25
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 1592 0 0 0 124 1 0 0 25 0 1 0 305063394 7032832 1578 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 1717 1578 77 171 0 1544 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12224

[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1758008/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=7264 CPUtime=2.85
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 1692 0 0 0 284 1 0 0 25 0 1 0 305063394 7438336 1678 1992294400 134512640 135215339 4294956256 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 1816 1678 77 171 0 1643 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12620

[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1757376/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=7792 CPUtime=6.05
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 1816 0 0 0 604 1 0 0 25 0 1 0 305063394 7979008 1802 1992294400 134512640 135215339 4294956256 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 1948 1802 77 171 0 1775 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13148

[startup+12.7029 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1756352/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=8716 CPUtime=12.45
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 2057 0 0 0 1244 1 0 0 25 0 1 0 305063394 8925184 2043 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 2179 2043 77 171 0 2006 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14072

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1754176/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=10900 CPUtime=25.25
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 2582 0 0 0 2523 2 0 0 25 0 1 0 305063394 11161600 2568 1992294400 134512640 135215339 4294956256 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 2725 2568 77 171 0 2552 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 16256

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1750080/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=15052 CPUtime=50.83
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 3641 0 0 0 5080 3 0 0 25 0 1 0 305063394 15413248 3627 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 3763 3627 77 171 0 3590 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 20408

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 750
/proc/meminfo: memFree=1742848/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=22188 CPUtime=102.03
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 5406 0 0 0 10197 6 0 0 25 0 1 0 305063394 22720512 5392 1992294400 134512640 135215339 4294956256 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 5547 5392 77 171 0 5374 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 27544

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1734976/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=29876 CPUtime=162
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 7315 0 0 0 16190 10 0 0 25 0 1 0 305063394 30593024 7301 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 7469 7301 77 171 0 7296 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 35232

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1728064/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=36668 CPUtime=221.99
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 9028 0 0 0 22186 13 0 0 25 0 1 0 305063394 37548032 9014 1992294400 134512640 135215339 4294956256 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 9167 9014 77 171 0 8994 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42024

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1721920/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=43108 CPUtime=281.97
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 10567 0 0 0 28182 15 0 0 25 0 1 0 305063394 44142592 10553 1992294400 134512640 135215339 4294956256 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 10777 10553 77 171 0 10604 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 48464

[startup+342.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/67 756
/proc/meminfo: memFree=1715840/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=48996 CPUtime=341.96
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 12038 0 0 0 34179 17 0 0 25 0 1 0 305063394 50171904 12024 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 12249 12024 77 171 0 12076 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 54352

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/67 756
/proc/meminfo: memFree=1710272/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22

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

/proc/750/statm: 16544 16233 77 171 0 16371 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 71532

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1692800/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=71872 CPUtime=581.89
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 17689 0 0 0 58166 23 0 0 25 0 1 0 305063394 73596928 17675 1992294400 134512640 135215339 4294956256 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 17968 17675 77 171 0 17795 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 77228

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1687552/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=77464 CPUtime=641.88
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 18982 0 0 0 64163 25 0 0 25 0 1 0 305063394 79323136 18968 1992294400 134512640 135215339 4294956256 18446744073709551615 134532689 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 19366 18968 77 171 0 19193 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 82820

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1682432/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=82584 CPUtime=701.87
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 20251 0 0 0 70160 27 0 0 25 0 1 0 305063394 84566016 20237 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 20646 20237 77 171 0 20473 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 87940

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1682112/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=82584 CPUtime=761.85
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 20291 0 0 0 76158 27 0 0 25 0 1 0 305063394 84566016 20277 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 20646 20277 77 171 0 20473 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 87940

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1681792/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=82716 CPUtime=821.82
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 20343 0 0 0 82155 27 0 0 25 0 1 0 305063394 84701184 20329 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 20679 20329 77 171 0 20506 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 88072

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1681536/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=82948 CPUtime=881.82
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 20373 0 0 0 88154 28 0 0 25 0 1 0 305063394 84938752 20359 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 20737 20359 77 171 0 20564 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 88304

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1681024/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=83408 CPUtime=941.8
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 20487 0 0 0 94152 28 0 0 25 0 1 0 305063394 85409792 20473 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 20852 20473 77 171 0 20679 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 88764

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1676608/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=87788 CPUtime=1001.78
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 21586 0 0 0 100149 29 0 0 25 0 1 0 305063394 89894912 21572 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 21947 21572 77 171 0 21774 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 93144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1674368/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=89984 CPUtime=1061.76
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 22136 0 0 0 106146 30 0 0 25 0 1 0 305063394 92143616 22122 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 22496 22122 77 171 0 22323 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 95340

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1674240/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=89984 CPUtime=1121.75
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 22141 0 0 0 112144 31 0 0 25 0 1 0 305063394 92143616 22127 1992294400 134512640 135215339 4294956256 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 22496 22127 77 171 0 22323 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 95340

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1674176/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=89984 CPUtime=1181.74
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 22145 0 0 0 118143 31 0 0 25 0 1 0 305063394 92143616 22131 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 22496 22131 77 171 0 22323 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 95340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 756
/proc/meminfo: memFree=1673792/2055920 swapFree=4124164/4192956
[pid=744] ppid=742 vsize=5356 CPUtime=0.22
/proc/744/stat : 744 (SatELiteGTI) S 742 744 595 0 -1 4194304 336 2649 0 0 0 0 20 2 15 0 1 0 305063371 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/744/statm: 1339 239 197 169 0 50 0
[pid=750] ppid=744 vsize=90380 CPUtime=1199.83
/proc/750/stat : 750 (minisat_static) R 744 744 595 0 -1 4194304 22242 0 0 0 119952 31 0 0 25 0 1 0 305063394 92549120 22228 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/750/statm: 22595 22228 77 171 0 22422 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 95736

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 744 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=205968
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=31995
# CPU time returned by wait4() is 0.237963
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.72
CPU system time (s): 0.33
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 95736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.205968
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2985
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= 13
involuntary context switches= 5

runsolver used 1.24281 second user time and 3.17952 second system time

The end

Launcher Data 

Begin job on node85 at 2009-05-19 23:58:57
IDJOB=1832201
IDBENCH=24623
IDSOLVER=671
FILE ID=node85/1832201-1242770335
PBS_JOBID= 9322219
Free space on /tmp= 126512 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/others/Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832201-1242770335/watcher-1832201-1242770335 -o /tmp/evaluation-result-1832201-1242770335/solver-1832201-1242770335 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832201-1242770335.cnf

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

MD5SUM BENCH= bccff1bed1e8ac721090562d562b05f0
RANDOM SEED=578315836

node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1767272 kB
Buffers:         13104 kB
Cached:         176920 kB
SwapCached:      63276 kB
Active:          73568 kB
Inactive:       181756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767272 kB
SwapTotal:     4192956 kB
SwapFree:      4124164 kB
Dirty:            3648 kB
Writeback:           0 kB
Mapped:          13944 kB
Slab:            19364 kB
Committed_AS:   941240 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126512 MiB
End job on node85 at 2009-05-20 00:18:59