Trace number 1832025

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.02 1200.61

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-19-u.cnf
MD5SUMa2687a8a1b0deeabfd7eddcfa56549a2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables331202
Number of clauses1571183
Sum of the clauses size3644324
Maximum clause length10
Minimum clause length1
Number of clauses of size 127558
Number of clauses of size 21199929
Number of clauses of size 3281756
Number of clauses of size 46880
Number of clauses of size 527520
Number of clauses of size over 527540

Solver Data 

0.00/0.00	c Parsing...
1.18/1.21	c ==============================================================================
1.18/1.21	c |           |     ORIGINAL     |              LEARNT              |          |
1.18/1.21	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.18/1.21	c ==============================================================================
1.18/1.21	c |         0 | 1543625  3616766 |  463087       0        0     nan |  0.000 % |
11.07/11.11	c |         0 |  616629  1615529 |      --       0       --      -- |     --   | -584573/-1226581
11.07/11.12	c ==============================================================================
11.07/11.12	c Result  :   #vars: 93490   #clauses: 616629   #literals: 1615529
11.07/11.12	c CPU time:   10.7084 s
11.07/11.12	c ==============================================================================
11.67/11.74	c This is MiniSat 2.0 beta
11.67/11.74	c WARNING: for repeatability, setting FPU to use double precision
11.67/11.74	c ============================[ Problem Statistics ]=============================
11.67/11.74	c |                                                                             |
11.67/11.74	c |  Number of variables:  93490                                                |
11.67/11.74	c |  Number of clauses:    616629                                               |
12.06/12.13	c |  Parsing time:         0.34         s                                       |
12.06/12.15	c ============================[ Search Statistics ]==============================
12.06/12.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.06/12.15	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
12.06/12.15	c ===============================================================================
12.06/12.15	c |         0 |   93490   616629  1615529 |   205543        0    nan |  0.000 % |
12.35/12.47	c |       100 |   93302   616629  1615529 |   205543       92     30 |  2.567 % |
12.65/12.76	c |       200 |   93301   616629  1615529 |   205543      191     32 |  2.576 % |
12.95/13.01	c |       301 |   93301   616629  1615529 |   205543      292     35 |  2.576 % |
13.55/13.65	c |       412 |   90261   595358  1565642 |   205543      390     41 |  5.821 % |
13.95/14.08	c |       512 |   90259   595358  1565642 |   205543      488     41 |  5.843 % |
14.55/14.67	c |       627 |   88015   580679  1530753 |   205543      598     45 |  6.225 % |
15.26/15.33	c |       748 |   87746   580679  1530753 |   205543      709     45 | 12.949 % |
15.65/15.77	c |       848 |   81051   529912  1407458 |   205543      769     47 | 13.305 % |
16.15/16.27	c |       961 |   81038   529912  1407458 |   205543      880     57 | 13.687 % |
16.55/16.66	c |      1083 |   81038   529912  1407458 |   205543     1002     60 | 13.687 % |
16.95/17.06	c |      1217 |   76476   496784  1325215 |   205543     1119     60 | 19.179 % |
17.55/17.60	c |      1317 |   75783   496784  1325215 |   205543     1214     59 | 22.987 % |
17.85/17.93	c |      1430 |   75781   496784  1325215 |   205543     1327     64 | 22.987 % |
18.55/18.62	c |      1553 |   71988   464717  1245484 |   205543     1428     68 | 37.091 % |
18.75/18.85	c |      1687 |   70995   464717  1245484 |   205543     1560     67 | 48.975 % |
19.35/19.40	c |      1835 |   70995   464717  1245484 |   205543     1707     70 | 49.514 % |
19.75/19.89	c |      1935 |   47195   276853   758286 |   205543     1690     73 | 50.818 % |
20.25/20.32	c |      2051 |   45959   265454   726328 |   205543     1792     74 | 50.992 % |
20.35/20.47	c |      2174 |   45944   265454   726328 |   205543     1915     73 | 50.992 % |
20.75/20.90	c |      2308 |   45944   265454   726328 |   205543     2048     73 | 51.249 % |
20.95/21.06	c |      2455 |   45577   259474   709662 |   205543     2194     72 | 51.249 % |
21.45/21.57	c |      2615 |   45577   259474   709662 |   205543     2354     86 | 51.249 % |
21.75/21.81	c |      2718 |   45564   259387   709418 |   205543     2456     89 | 51.263 % |
22.05/22.12	c |      2828 |   45564   259387   709418 |   205543     2566     90 | 51.263 % |
22.55/22.67	c |      2949 |   45563   259387   709418 |   205543     2686     91 | 51.273 % |
22.95/23.08	c |      3084 |   45551   259318   709255 |   205543     2819     92 | 51.388 % |
23.35/23.47	c |      3231 |   45541   259318   709255 |   205543     2965     92 | 51.404 % |
23.85/23.95	c |      3393 |   45394   258552   707427 |   205543     3123     91 | 52.116 % |
24.55/24.62	c |      3570 |   44362   250673   687976 |   205543     3290     91 | 54.135 % |
24.75/24.83	c |      3670 |   44358   250673   687976 |   205543     3389     90 | 54.164 % |
24.95/25.08	c |      3782 |   44358   250673   687976 |   205543     3501     93 | 54.164 % |
25.45/25.55	c |      3903 |   42848   240726   661928 |   205543     3585     97 | 60.476 % |
25.85/25.90	c |      4036 |   42847   240726   661928 |   205543     3717     98 | 60.486 % |
26.25/26.34	c |      4182 |   36933   203001   559025 |   205543     3670     99 | 61.786 % |
26.45/26.53	c |      4344 |   36921   203001   559025 |   205543     3831    100 | 61.796 % |
26.85/26.92	c |      4522 |   36921   203001   559025 |   205543     4009    103 | 61.796 % |
26.95/27.05	c |      4716 |   35717   195876   539200 |   205543     4182    102 | 61.796 % |
27.25/27.37	c |      4816 |   35717   195876   539200 |   205543     4282    100 | 61.796 % |
27.45/27.52	c |      4927 |   35717   195876   539200 |   205543     4393    102 | 61.796 % |
27.55/27.61	c |      5048 |   35717   195876   539200 |   205543     4514    101 | 61.796 % |
27.75/27.81	c |      5183 |   35717   195876   539200 |   205543     4647    102 | 61.816 % |
28.15/28.21	c |      5332 |   35698   195734   538848 |   205543     4795    103 | 61.826 % |
28.45/28.59	c |      5492 |   35695   195734   538848 |   205543     4954    102 | 61.871 % |
28.85/28.98	c |      5673 |   35695   195734   538848 |   205543     5135    104 | 61.871 % |
29.35/29.46	c |      5866 |   35647   195357   537949 |   205543     5328    104 | 61.871 % |
29.65/29.78	c |      6078 |   35647   195357   537949 |   205543     5540    107 | 61.871 % |
29.75/29.88	c |      6180 |   35647   195357   537949 |   205543     5642    106 | 61.871 % |
29.95/30.04	c |      6290 |   35647   195357   537949 |   205543     5752    105 | 61.871 % |
30.14/30.29	c |      6411 |   35647   195357   537949 |   205543     5873    105 | 61.871 % |
30.54/30.70	c |      6544 |   35647   195357   537949 |   205543     6006    106 | 61.871 % |
30.84/30.96	c |      6691 |   35643   195310   537817 |   205543     6152    105 | 61.875 % |
31.24/31.31	c |      6851 |   35643   195310   537817 |   205543     6311    106 | 61.889 % |
31.54/31.67	c |      7027 |   35641   195310   537817 |   205543     6487    106 | 61.889 % |
31.94/32.02	c |      7221 |   35161   192439   529760 |   205543     6668    106 | 62.391 % |
32.24/32.39	c |      7436 |   35161   192439   529760 |   205543     6882    107 | 62.594 % |
32.85/32.99	c |      7671 |   35161   192439   529760 |   205543     7117    105 | 62.594 % |
33.14/33.21	c |      7772 |   34971   188506   518536 |   205543     7218    105 | 62.594 % |
33.34/33.41	c |      7883 |   34971   188506   518536 |   205543     7329    105 | 62.594 % |
33.44/33.58	c |      8004 |   34971   188506   518536 |   205543     7450    106 | 62.594 % |
33.64/33.74	c |      8137 |   34966   188506   518536 |   205543     7582    105 | 64.226 % |
34.04/34.12	c |      8283 |   34966   188506   518536 |   205543     7728    106 | 64.226 % |
34.34/34.49	c |      8444 |   33434   179705   494190 |   205543     7742    108 | 64.248 % |
34.64/34.78	c |      8622 |   33430   179705   494190 |   205543     7919    109 | 64.326 % |
34.94/35.05	c |      8815 |   33430   179705   494190 |   205543     8112    109 | 64.326 % |
35.24/35.36	c |      9028 |   33430   179705   494190 |   205543     8325    108 | 64.326 % |
35.64/35.71	c |      9261 |   33429   179705   494190 |   205543     8557    107 | 64.335 % |
36.24/36.31	c |      9519 |   33343   179091   492620 |   205543     8815    106 | 64.335 % |
36.44/36.51	c |      9621 |   33343   179091   492620 |   205543     8917    106 | 64.335 % |
36.64/36.73	c |      9731 |   33343   179091   492620 |   205543     9027    107 | 64.335 % |
36.74/36.90	c |      9852 |   33343   179091   492620 |   205543     9148    107 | 64.335 % |
37.04/37.16	c |      9986 |   33343   179091   492620 |   205543     9282    108 | 64.335 % |
37.25/37.37	c |     10132 |   33343   179091   492620 | 2147483647     9428    109 | 64.335 % |
37.55/37.66	c |     10293 |   33343   179091   492620 | 2147483647     9589    108 | 64.335 % |
37.85/37.92	c |     10469 |   33343   179091   492620 | 2147483647     9765    108 | 64.335 % |
38.25/38.30	c |     10662 |   33343   179091   492620 | 2147483647     9958    109 | 64.335 % |
38.75/38.86	c |     10878 |   33343   179091   492620 | 2147483647    10174    109 | 64.335 % |
39.05/39.15	c |     11111 |   33343   179091   492620 | 2147483647    10407    109 | 64.335 % |
39.65/39.75	c |     11367 |   33343   179091   492620 | 2147483647    10663    110 | 64.335 % |
40.24/40.33	c |     11648 |   33343   179091   492620 | 2147483647    10944    111 | 64.335 % |
40.44/40.55	c |     11748 |   33343   179091   492620 | 2147483647    11044    111 | 64.335 % |
40.74/40.86	c |     11860 |   33343   179091   492620 | 2147483647    11156    112 | 64.335 % |
41.24/41.31	c |     11981 |   33332   179009   492410 | 2147483647    11276    112 | 64.347 % |
41.34/41.50	c |     12115 |   33332   179009   492410 | 2147483647    11410    112 | 64.347 % |
41.65/41.78	c |     12261 |   33332   179009   492410 | 2147483647    11556    113 | 64.347 % |
41.84/41.92	c |     12421 |   33332   179009   492410 | 2147483647    11716    113 | 64.347 % |
42.24/42.39	c |     12597 |   33332   179009   492410 | 2147483647    11892    114 | 64.347 % |
42.54/42.65	c |     12790 |   33332   179009   492410 | 2147483647    12085    114 | 64.347 % |
43.14/43.25	c |     13003 |   33332   179009   492410 | 2147483647    12298    113 | 64.347 % |
43.44/43.57	c |     13236 |   33332   179009   492410 | 2147483647    12531    113 | 64.347 % |
44.04/44.16	c |     13496 |   33154   175383   482066 | 2147483647    12790    113 | 64.537 % |
44.34/44.44	c |     13777 |   33154   175383   482066 | 2147483647    13071    113 | 64.537 % |
45.24/45.35	c |     14087 |   33147   175383   482066 | 2147483647    13379    113 | 64.778 % |
45.44/45.51	c |     14188 |   33146   175383   482066 | 2147483647    13479    113 | 64.849 % |
45.64/45.70	c |     14299 |   32863   173912   478048 | 2147483647    13568    113 | 64.849 % |
45.84/45.97	c |     14420 |   32863   173912   478048 | 2147483647    13689    114 | 64.849 % |
46.05/46.10	c |     14554 |   32863   173912   478048 | 2147483647    13823    114 | 64.849 % |
46.15/46.28	c |     14700 |   32863   173912   478048 | 2147483647    13969    113 | 64.849 % |
46.84/46.94	c |     14861 |   32863   173912   478048 | 2147483647    14130    112 | 64.849 % |
47.44/47.50	c |     15037 |   32863   173912   478048 | 2147483647    14306    113 | 64.849 % |
47.75/47.83	c |     15230 |   32863   173912   478048 | 2147483647    14499    112 | 64.849 % |
47.95/48.02	c |     15442 |   32863   173912   478048 | 2147483647    14711    112 | 64.849 % |
48.45/48.54	c |     15675 |   32863   173912   478048 | 2147483647    14944    111 | 64.849 % |
49.14/49.26	c |     15932 |   32863   173912   478048 | 2147483647    15201    111 | 64.849 % |
50.04/50.19	c |     16213 |   32863   173912   478048 | 2147483647    15482    110 | 64.849 % |
50.55/50.62	c |     16526 |   31804   168801   463270 | 2147483647    15636    110 | 65.981 % |
51.04/51.18	c |     16865 |   31803   168801   463270 | 2147483647    15974    110 | 66.062 % |
51.24/51.34	c |     16965 |   31803   168801   463270 | 2147483647    16074    110 | 66.062 % |
51.34/51.49	c |     17075 |   31803   168801   463270 | 2147483647    16184    110 | 66.062 % |
51.55/51.65	c |     17196 |   31803   168801   463270 | 2147483647    16305    110 | 66.062 % |
51.94/52.00	c |     17329 |   31803   168801   463270 | 2147483647    16438    111 | 66.062 % |
52.04/52.18	c |     17475 |   31803   168801   463270 | 2147483647    16584    111 | 66.062 % |
52.54/52.66	c |     17635 |   31803   168801   463270 | 2147483647    16744    111 | 66.062 % |
53.14/53.28	c |     17813 |   31729   168519   462348 | 2147483647    16911    111 | 66.062 % |
53.44/53.51	c |     18006 |   31729   168519   462348 | 2147483647    17104    111 | 66.062 % |
53.84/53.95	c |     18218 |   31729   168519   462348 | 2147483647    17316    111 | 66.062 % |
54.34/54.41	c |     18451 |   31729   168519   462348 | 2147483647    17549    112 | 66.062 % |
54.74/54.87	c |     18708 |   31729   168519   462348 | 2147483647    17806    112 | 66.062 % |
55.44/55.58	c |     18989 |   31729   168519   462348 | 2147483647    18087    112 | 66.062 % |
56.04/56.16	c |     19299 |   31729   168519   462348 | 2147483647    18397    113 | 66.062 % |
56.83/56.92	c |     19641 |   31729   168519   462348 | 2147483647    18739    114 | 66.062 % |
57.33/57.42	c |     20013 |   31729   168519   462348 | 2147483647    19111    113 | 66.062 % |
57.53/57.65	c |     20114 |   31729   168519   462348 | 2147483647    19212    114 | 66.062 % |
57.63/57.79	c |     20225 |   31729   168519   462348 | 2147483647    19323    113 | 66.062 % |
57.93/58.01	c |     20346 |   31729   168519   462348 | 2147483647    19444    113 | 66.062 % |
58.24/58.37	c |     20480 |   31729   168519   462348 | 2147483647    19578    113 | 66.062 % |
58.63/58.72	c |     20626 |   31729   168519   462348 | 2147483647    19724    113 | 66.062 % |
58.93/59.08	c |     20790 |   31729   168519   462348 | 2147483647    19888    113 | 66.062 % |
59.23/59.38	c |     20966 |   31719   168437   462158 | 2147483647    20063    113 | 66.072 % |
59.63/59.73	c |     21159 |   31719   168437   462158 | 2147483647    20256    113 | 66.072 % |
60.33/60.42	c |     21372 |   31719   168437   462158 | 2147483647    20469    112 | 66.072 % |
60.73/60.82	c |     21608 |   31719   168437   462158 | 2147483647    20705    113 | 66.072 % |
61.24/61.34	c |     21864 |   31719   168437   462158 | 2147483647    20961    112 | 66.072 % |
61.74/61.89	c |     22145 |   31719   168437   462158 | 2147483647    21242    113 | 66.072 % |
62.14/62.23	c |     22454 |   31719   168437   462158 | 2147483647    21551    113 | 66.072 % |
62.74/62.86	c |     22793 |   31719   168437   462158 | 2147483647    21890    112 | 66.072 % |
63.44/63.56	c |     23166 |   31708   168350   461934 | 2147483647    22262    114 | 66.084 % |
64.84/64.90	c |     23575 |   31708   168350   461934 | 2147483647    22671    116 | 66.084 % |
64.93/65.01	c |     23675 |   31708   168350   461934 | 2147483647    22771    115 | 66.084 % |
65.23/65.39	c |     23788 |   31708   168350   461934 | 2147483647    22884    115 | 66.084 % |
65.53/65.61	c |     23909 |   31708   168350   461934 | 2147483647    23005    115 | 66.084 % |
65.84/65.90	c |     24042 |   31708   168350   461934 | 2147483647    23138    116 | 66.084 % |
66.03/66.14	c |     24188 |   31708   168350   461934 | 2147483647    23284    115 | 66.084 % |
66.63/66.75	c |     24351 |   31708   168350   461934 | 2147483647    23447    116 | 66.084 % |
66.94/67.02	c |     24527 |   31708   168350   461934 | 2147483647    23623    116 | 66.084 % |
67.13/67.30	c |     24721 |   31708   168350   461934 | 2147483647    23817    116 | 66.084 % |
67.63/67.70	c |     24934 |   31708   168350   461934 | 2147483647    24030    115 | 66.084 % |
68.53/68.69	c |     25167 |   31699   168286   461788 | 2147483647    24262    115 | 66.094 % |
69.63/69.73	c |     25424 |   31699   168286   461788 | 2147483647    24519    115 | 66.094 % |
70.53/70.63	c |     25706 |   31699   168286   461788 | 2147483647    24801    115 | 66.094 % |
71.13/71.22	c |     26015 |   31699   168286   461788 | 2147483647    25110    115 | 66.094 % |
71.53/71.68	c |     26354 |   31699   168286   461788 | 2147483647    25449    115 | 66.094 % |
72.23/72.36	c |     26729 |   31699   168286   461788 | 2147483647    25824    116 | 66.094 % |
73.13/73.23	c |     27138 |   31699   168286   461788 | 2147483647    26233    116 | 66.094 % |
74.03/74.14	c |     27588 |   31699   168286   461788 | 2147483647    26683    116 | 66.094 % |
74.23/74.32	c |     27688 |   31699   168286   461788 | 2147483647    26783    116 | 66.094 % |
74.32/74.49	c |     27800 |   31699   168286   461788 | 2147483647    26895    116 | 66.094 % |
74.73/74.84	c |     27921 |   31699   168286   461788 | 2147483647    27016    116 | 66.094 % |
74.92/75.05	c |     28054 |   31699   168286   461788 | 2147483647    27149    116 | 66.094 % |
75.22/75.31	c |     28203 |   31699   168286   461788 | 2147483647    27298    116 | 66.094 % |
75.52/75.62	c |     28367 |   31503   166917   458466 | 2147483647    27461    116 | 66.303 % |
76.02/76.11	c |     28543 |   31503   166917   458466 | 2147483647    27637    116 | 66.303 % |
76.32/76.48	c |     28737 |   31503   166917   458466 | 2147483647    27831    116 | 66.303 % |
76.73/76.85	c |     28949 |   31503   166917   458466 | 2147483647    28043    117 | 66.303 % |
77.23/77.33	c |     29182 |   31503   166917   458466 | 2147483647    28276    116 | 66.303 % |
77.73/77.89	c |     29439 |   31503   166917   458466 | 2147483647    28533    117 | 66.303 % |
78.13/78.24	c |     29720 |   31503   166917   458466 | 2147483647    28814    116 | 66.303 % |
79.04/79.17	c |     30031 |   31503   166917   458466 | 2147483647    29125    116 | 66.303 % |
79.53/79.60	c |     30370 |   31503   166917   458466 | 2147483647    29464    116 | 66.303 % |
80.23/80.31	c |     30742 |   31503   166917   458466 | 2147483647    29836    117 | 66.303 % |
80.83/80.92	c |     31151 |   31503   166917   458466 | 2147483647    30245    117 | 66.303 % |
81.53/81.64	c |     31600 |   31503   166917   458466 | 2147483647    30694    118 | 66.303 % |
82.43/82.54	c |     32093 |   31503   166917   458466 | 2147483647    31187    117 | 66.303 % |
82.63/82.74	c |     32195 |   31503   166917   458466 | 2147483647    31289    117 | 66.303 % |
82.83/82.96	c |     32305 |   31503   166917   458466 | 2147483647    31399    117 | 66.303 % |
83.03/83.19	c |     32428 |   31503   166917   458466 | 2147483647    31522    117 | 66.303 % |
83.33/83.48	c |     32561 |   31503   166917   458466 | 2147483647    31655    117 | 66.303 % |
83.63/83.73	c |     32707 |   31503   166917   458466 | 2147483647    31801    117 | 66.303 % |
84.03/84.11	c |     32868 |   31503   166917   458466 | 2147483647    31962    116 | 66.303 % |
84.32/84.40	c |     33047 |   31503   166917   458466 | 2147483647    32141    116 | 66.303 % |
84.53/84.67	c |     33240 |   31503   166917   458466 | 2147483647    32334    116 | 66.303 % |
84.92/85.03	c |     33452 |   31503   166917   458466 | 2147483647    32546    116 | 66.303 % |
85.33/85.42	c |     33685 |   31503   166917   458466 | 2147483647    32779    116 | 66.303 % |
85.73/85.81	c |     33941 |   31503   166917   458466 | 2147483647    33035    116 | 66.303 % |
86.03/86.16	c |     34223 |   31503   166917   458466 | 2147483647    33317    116 | 66.303 % |
86.63/86.73	c |     34535 |   31503   166917   458466 | 2147483647    33629    115 | 66.303 % |
87.03/87.19	c |     34874 |   31503   166917   458466 | 2147483647    33968    115 | 66.303 % |
87.73/87.88	c |     35247 |   31503   166917   458466 | 2147483647    34341    115 | 66.303 % |
88.83/88.93	c |     35656 |   31503   166917   458466 | 2147483647    34750    116 | 66.303 % |
89.83/89.93	c |     36107 |   31490   166838   458247 | 2147483647    35200    117 | 66.317 % |
90.53/90.61	c |     36601 |   31490   166838   458247 | 2147483647    35694    117 | 66.317 % |
91.43/91.52	c |     37144 |   31490   166838   458247 | 2147483647    36237    117 | 66.317 % |
91.53/91.69	c |     37244 |   31490   166838   458247 | 2147483647    36337    117 | 66.317 % |
91.73/91.89	c |     37354 |   31490   166838   458247 | 2147483647    36447    117 | 66.317 % |
92.03/92.10	c |     37475 |   31490   166838   458247 | 2147483647    36568    117 | 66.317 % |
92.43/92.54	c |     37608 |   31490   166838   458247 | 2147483647    36701    117 | 66.317 % |
92.83/92.93	c |     37754 |   31490   166838   458247 | 2147483647    36847    117 | 66.317 % |
93.33/93.41	c |     37914 |   31490   166838   458247 | 2147483647    37007    117 | 66.317 % |
93.73/93.86	c |     38090 |   31490   166838   458247 | 2147483647    37183    117 | 66.317 % |
94.03/94.13	c |     38283 |   31490   166838   458247 | 2147483647    37376    117 | 66.317 % |
94.33/94.48	c |     38496 |   31490   166838   458247 | 2147483647    37589    117 | 66.317 % |
94.83/94.90	c |     38730 |   31490   166838   458247 | 2147483647    37823    117 | 66.317 % |
95.33/95.44	c |     38987 |   31490   166838   458247 | 2147483647    38080    117 | 66.317 % |
95.83/95.90	c |     39269 |   31490   166838   458247 | 2147483647    38362    117 | 66.317 % |
96.23/96.33	c |     39578 |   31490   166838   458247 | 2147483647    38671    118 | 66.317 % |
96.82/96.93	c |     39917 |   31490   166838   458247 | 2147483647    39010    118 | 66.317 % |
97.83/97.92	c |     40291 |   31490   166838   458247 | 2147483647    39384    118 | 66.317 % |
98.72/98.89	c |     40700 |   31490   166838   458247 | 2147483647    39793    118 | 66.317 % |
100.12/100.24	c |     41149 |   31490   166838   458247 | 2147483647    40242    118 | 66.317 % |
101.52/101.66	c |     41642 |   31480   166768   458082 | 2147483647    40734    119 | 66.328 % |
102.91/103.04	c |     42185 |   31480   166768   458082 | 2147483647    41277    119 | 66.328 % |
103.91/104.07	c |     42784 |   31480   166768   458082 | 2147483647    41876    119 | 66.328 % |
104.21/104.31	c |     42885 |   31480   166768   458082 | 2147483647    41977    119 | 66.328 % |
104.51/104.62	c |     42996 |   31480   166768   458082 | 2147483647    42088    119 | 66.328 % |
104.71/104.85	c |     43117 |   31480   166768   458082 | 2147483647    42209    119 | 66.328 % |
105.11/105.24	c |     43255 |   31480   166768   458082 | 2147483647    42347    119 | 66.328 % |
105.52/105.60	c |     43401 |   31480   166768   458082 | 2147483647    42493    119 | 66.328 % |
105.82/105.97	c |     43562 |   31480   166768   458082 | 2147483647    42654    119 | 66.328 % |
106.12/106.29	c |     43739 |   31480   166768   458082 | 2147483647    42831    119 | 66.328 % |
106.52/106.67	c |     43932 |   31480   166768   458082 | 2147483647    43024    120 | 66.328 % |
107.32/107.44	c |     44145 |   31480   166768   458082 | 2147483647    43237    119 | 66.328 % |
107.92/108.04	c |     44379 |   31480   166768   458082 | 2147483647    43471    120 | 66.328 % |
108.32/108.48	c |     44636 |   31480   166768   458082 | 2147483647    43728    119 | 66.328 % |
108.82/108.95	c |     44920 |   31480   166768   458082 | 2147483647    44012    119 | 66.328 % |
109.42/109.55	c |     45230 |   31480   166768   458082 | 2147483647    44322    119 | 66.328 % |
110.42/110.55	c |     45569 |   31480   166768   458082 | 2147483647    44661    120 | 66.328 % |
111.02/111.18	c |     45942 |   31480   166768   458082 | 2147483647    45034    120 | 66.328 % |
111.71/111.86	c |     46351 |   31480   166768   458082 | 2147483647    45443    119 | 66.328 % |
112.41/112.56	c |     46803 |   31480   166768   458082 | 2147483647    45895    119 | 66.328 % |
113.31/113.42	c |     47298 |   31480   166768   458082 | 2147483647    46390    119 | 66.328 % |
114.32/114.49	c |     47840 |   31480   166768   458082 | 2147483647    46932    118 | 66.328 % |
115.51/115.62	c |     48438 |   31480   166768   458082 | 2147483647    47530    119 | 66.328 % |
116.91/117.00	c |     49093 |   31480   166768   458082 | 2147483647    48185    118 | 66.328 % |
117.11/117.28	c |     49196 |   31480   166768   458082 | 2147483647    48288    118 | 66.328 % |
117.41/117.57	c |     49307 |   31480   166768   458082 | 2147483647    48399    118 | 66.328 % |
117.71/117.85	c |     49428 |   31480   166768   458082 | 2147483647    48520    118 | 66.328 % |
118.01/118.14	c |     49561 |   31480   166768   458082 | 2147483647    48653    118 | 66.328 % |
118.41/118.53	c |     49707 |   31480   166768   458082 | 2147483647    48799    118 | 66.328 % |
118.62/118.79	c |     49867 |   31480   166768   458082 | 2147483647    48959    118 | 66.328 % |
119.41/119.58	c |     50043 |   31471   166704   457915 | 2147483647    49131    118 | 66.338 % |
119.82/119.98	c |     50236 |   31471   166704   457915 | 2147483647    49324    118 | 66.338 % |
120.51/120.64	c |     50449 |   31471   166704   457915 | 2147483647    49537    118 | 66.338 % |
121.21/121.33	c |     50682 |   31471   166704   457915 | 2147483647    49769    118 | 66.353 % |
121.91/122.09	c |     50938 |   31471   166704   457915 | 2147483647    50024    118 | 66.502 % |
122.71/122.85	c |     51219 |   31471   166704   457915 | 2147483647    50305    118 | 66.502 % |
123.61/123.77	c |     51530 |   31471   166704   457915 | 2147483647    50616    118 | 66.502 % |
124.31/124.47	c |     51870 |   31471   166704   457915 | 2147483647    50956    118 | 66.502 % |
125.01/125.14	c |     52244 |   31471   166704   457915 | 2147483647    51330    119 | 66.502 % |
126.01/126.15	c |     52653 |   31471   166704   457915 | 2147483647    51739    119 | 66.502 % |
127.01/127.11	c |     53104 |   31471   166704   457915 | 2147483647    52190    119 | 66.502 % |
128.11/128.23	c |     53600 |   31304   165623   455021 | 2147483647    52685    119 | 66.516 % |
129.31/129.44	c |     54146 |   31304   165623   455021 | 2147483647    53231    119 | 66.516 % |
130.81/130.91	c |     54743 |   31304   165623   455021 | 2147483647    53828    120 | 66.516 % |
132.21/132.31	c |     55398 |   31304   165623   455021 | 2147483647    54482    120 | 66.522 % |
134.71/134.80	c |     56118 |   31304   165623   455021 | 2147483647    55202    120 | 66.522 % |
135.01/135.17	c |     56219 |   31304   165623   455021 | 2147483647    55303    120 | 66.522 % |
135.31/135.48	c |     56330 |   31304   165623   455021 | 2147483647    55414    120 | 66.522 % |
135.61/135.79	c |     56454 |   31304   165623   455021 | 2147483647    55538    120 | 66.522 % |
135.91/136.05	c |     56587 |   31299   165576   454893 | 2147483647    55671    120 | 66.522 % |
136.21/136.39	c |     56733 |   31299   165576   454893 | 2147483647    55817    120 | 66.522 % |
136.80/136.95	c |     56894 |   31299   165576   454893 | 2147483647    55978    120 | 66.522 % |
137.60/137.80	c |     57074 |   31299   165576   454893 | 2147483647    56158    120 | 66.522 % |
138.10/138.21	c |     57267 |   31299   165576   454893 | 2147483647    56351    120 | 66.522 % |
138.71/138.88	c |     57480 |   31299   165576   454893 | 2147483647    56564    120 | 66.522 % |
139.51/139.67	c |     57713 |   31299   165576   454893 | 2147483647    56797    120 | 66.522 % |
140.41/140.52	c |     57970 |   31299   165576   454893 | 2147483647    57054    120 | 66.522 % |
141.51/141.61	c |     58255 |   31299   165576   454893 | 2147483647    57339    120 | 66.522 % |
142.01/142.17	c |     58567 |   31299   165576   454893 | 2147483647    57651    120 | 66.522 % |
142.51/142.67	c |     58906 |   31299   165576   454893 | 2147483647    57990    120 | 66.522 % |
143.61/143.70	c |     59278 |   31299   165576   454893 | 2147483647    58362    120 | 66.522 % |
144.41/144.52	c |     59687 |   31299   165576   454893 | 2147483647    58771    120 | 66.522 % |
146.11/146.30	c |     60136 |   31299   165576   454893 | 2147483647    59220    120 | 66.522 % |
147.40/147.56	c |     60629 |   31299   165576   454893 | 2147483647    59713    119 | 66.522 % |
148.41/148.57	c |     61171 |   31299   165576   454893 | 2147483647    60255    119 | 66.522 % |
149.30/149.48	c |     61768 |   31299   165576   454893 | 2147483647    60852    119 | 66.522 % |
151.00/151.11	c |     62424 |   28698   149062   411911 | 2147483647    61324    119 | 69.319 % |
152.10/152.26	c |     63146 |   28698   149062   411911 | 2147483647    62046    118 | 69.319 % |
153.80/153.99	c |     63940 |   28698   149062   411911 | 2147483647    62840    119 | 69.319 % |
154.20/154.31	c |     64040 |   28698   149062   411911 | 2147483647    62940    119 | 69.319 % |
154.40/154.52	c |     64150 |   28698   149062   411911 | 2147483647    63050    119 | 69.319 % |
154.90/155.01	c |     64271 |   28698   149062   411911 | 2147483647    63171    119 | 69.319 % |
155.10/155.28	c |     64404 |   28698   149062   411911 | 2147483647    63304    119 | 69.319 % |
155.39/155.55	c |     64551 |   28698   149062   411911 | 2147483647    63451    119 | 69.319 % |
155.79/155.98	c |     64711 |   28698   149062   411911 | 2147483647    63611    119 | 69.319 % |
156.19/156.34	c |     64888 |   28698   149062   411911 | 2147483647    63788    119 | 69.319 % |
156.59/156.74	c |     65083 |   28698   149062   411911 | 2147483647    63983    119 | 69.319 % |
156.99/157.18	c |     65298 |   28698   149062   411911 | 2147483647    64198    119 | 69.319 % |
157.60/157.76	c |     65531 |   28698   149062   411911 | 2147483647    64431    119 | 69.319 % |
158.10/158.23	c |     65789 |   28698   149062   411911 | 2147483647    64689    119 | 69.319 % |
158.70/158.80	c |     66071 |   28698   149062   411911 | 2147483647    64971    119 | 69.319 % |
159.20/159.37	c |     66381 |   28698   149062   411911 | 2147483647    65281    119 | 69.319 % |
160.29/160.40	c |     66721 |   28698   149062   411911 | 2147483647    65621    119 | 69.319 % |
160.89/161.09	c |     67097 |   28698   149062   411911 | 2147483647    65996    119 | 69.329 % |
161.69/161.89	c |     67508 |   28698   149062   411911 | 2147483647    66407    119 | 69.329 % |
162.79/162.91	c |     67958 |   28674   148889   411460 | 2147483647    66857    119 | 69.329 % |
163.59/163.70	c |     68452 |   28674   148889   411460 | 2147483647    67351    118 | 69.329 % |
164.49/164.68	c |     68994 |   28674   148889   411460 | 2147483647    67893    118 | 69.329 % |
165.69/165.81	c |     69591 |   28674   148889   411460 | 2147483647    68490    118 | 69.329 % |
166.59/166.79	c |     70247 |   28674   148889   411460 | 2147483647    69146    118 | 69.329 % |
168.59/168.77	c |     70968 |   28674   148889   411460 | 2147483647    69867    117 | 69.329 % |
170.49/170.62	c |     71760 |   28674   148889   411460 | 2147483647    70659    117 | 69.329 % |
173.49/173.68	c |     72633 |   28674   148889   411460 | 2147483647    71532    117 | 69.329 % |
173.89/174.00	c |     72733 |   28674   148889   411460 | 2147483647    71632    117 | 69.329 % |
174.09/174.29	c |     72844 |   28674   148889   411460 | 2147483647    71743    117 | 69.329 % |
174.39/174.54	c |     72966 |   28674   148889   411460 | 2147483647    71865    117 | 69.329 % |
174.80/174.91	c |     73100 |   28674   148889   411460 | 2147483647    71999    117 | 69.329 % |
175.29/175.46	c |     73246 |   28674   148889   411460 | 2147483647    72145    117 | 69.329 % |
175.80/175.93	c |     73409 |   28674   148889   411460 | 2147483647    72308    117 | 69.329 % |
176.19/176.38	c |     73586 |   28674   148889   411460 | 2147483647    72485    117 | 69.329 % |
176.69/176.84	c |     73779 |   28674   148889   411460 | 2147483647    72678    117 | 69.329 % |
177.09/177.22	c |     73991 |   28674   148889   411460 | 2147483647    72890    117 | 69.329 % |
177.59/177.76	c |     74224 |   28674   148889   411460 | 2147483647    73123    117 | 69.329 % |
178.19/178.39	c |     74480 |   28674   148889   411460 | 2147483647    73379    117 | 69.329 % |
178.99/179.10	c |     74763 |   28674   148889   411460 | 2147483647    73662    117 | 69.329 % |
179.69/179.85	c |     75073 |   28674   148889   411460 | 2147483647    73972    117 | 69.329 % |
180.59/180.78	c |     75414 |   28674   148889   411460 | 2147483647    74313    117 | 69.329 % |
181.49/181.61	c |     75787 |   28674   148889   411460 | 2147483647    74686    117 | 69.329 % |
182.29/182.42	c |     76197 |   28674   148889   411460 | 2147483647    75096    117 | 69.329 % |
183.28/183.44	c |     76646 |   28674   148889   411460 | 2147483647    75545    117 | 69.329 % |
184.28/184.45	c |     77140 |   28674   148889   411460 | 2147483647    76039    117 | 69.329 % |
185.48/185.65	c |     77682 |   28674   148889   411460 | 2147483647    76581    117 | 69.329 % |
186.89/187.02	c |     78278 |   28674   148889   411460 | 2147483647    77177    117 | 69.329 % |
188.18/188.38	c |     78936 |   28674   148889   411460 | 2147483647    77835    117 | 69.329 % |
189.98/190.12	c |     79656 |   28674   148889   411460 | 2147483647    78555    117 | 69.329 % |
191.58/191.79	c |     80448 |   28674   148889   411460 | 2147483647    79347    116 | 69.329 % |
193.49/193.62	c |     81319 |   28674   148889   411460 | 2147483647    80218    116 | 69.329 % |
195.78/195.90	c |     82280 |   28674   148889   411460 | 2147483647    81179    116 | 69.329 % |
196.08/196.28	c |     82382 |   28674   148889   411460 | 2147483647    81281    116 | 69.329 % |
196.48/196.60	c |     82494 |   28674   148889   411460 | 2147483647    81393    116 | 69.329 % |
196.78/196.93	c |     82616 |   28674   148889   411460 | 2147483647    81515    116 | 69.329 % |
197.18/197.39	c |     82749 |   28674   148889   411460 | 2147483647    81648    117 | 69.329 % |
197.68/197.84	c |     82896 |   28674   148889   411460 | 2147483647    81795    117 | 69.329 % |
197.98/198.15	c |     83057 |   28674   148889   411460 | 2147483647    81956    117 | 69.329 % |
198.58/198.79	c |     83233 |   28674   148889   411460 | 2147483647    82132    117 | 69.329 % |
199.27/199.47	c |     83427 |   28674   148889   411460 | 2147483647    82326    117 | 69.329 % |
200.08/200.23	c |     83644 |   28674   148889   411460 | 2147483647    82543    117 | 69.329 % |
200.57/200.79	c |     83877 |   28674   148889   411460 | 2147483647    82776    117 | 69.329 % |
201.47/201.62	c |     84134 |   28674   148889   411460 | 2147483647    83033    117 | 69.329 % |
202.18/202.35	c |     84419 |   28674   148889   411460 | 2147483647    83318    117 | 69.329 % |
202.87/203.06	c |     84731 |   28663   148806   411245 | 2147483647    83627    117 | 69.341 % |
204.17/204.37	c |     85073 |   28663   148806   411245 | 2147483647    83969    117 | 69.341 % |
205.27/205.41	c |     85447 |   28663   148806   411245 | 2147483647    84343    117 | 69.341 % |
206.47/206.69	c |     85856 |   28663   148806   411245 | 2147483647    84752    117 | 69.341 % |
207.38/207.55	c |     86306 |   28663   148806   411245 | 2147483647    85202    117 | 69.341 % |
208.97/209.19	c |     86803 |   28663   148806   411245 | 2147483647    85699    117 | 69.341 % |
211.27/211.41	c |     87346 |   28663   148806   411245 | 2147483647    86241    117 | 69.345 % |
212.57/212.75	c |     87943 |   28663   148806   411245 | 2147483647    86838    117 | 69.345 % |
214.37/214.54	c |     88598 |   28663   148806   411245 | 2147483647    87493    117 | 69.345 % |
215.57/215.78	c |     89318 |   28663   148806   411245 | 2147483647    88213    117 | 69.345 % |
217.97/218.14	c |     90110 |   28663   148806   411245 | 2147483647    89005    117 | 69.345 % |
219.97/220.18	c |     90982 |   28659   148773   411162 | 2147483647    89877    117 | 69.345 % |
222.26/222.50	c |     91943 |   28659   148773   411162 | 2147483647    90838    117 | 69.345 % |
226.17/226.39	c |     92997 |   28659   148773   411162 | 2147483647    91892    117 | 69.345 % |
226.57/226.75	c |     93100 |   28659   148773   411162 | 2147483647    91994    117 | 69.358 % |
226.87/227.09	c |     93212 |   28659   148773   411162 | 2147483647    92106    117 | 69.358 % |
227.17/227.37	c |     93333 |   28658   148773   411162 | 2147483647    92226    117 | 69.369 % |
227.77/227.94	c |     93466 |   28658   148773   411162 | 2147483647    92359    117 | 69.369 % |
228.07/228.21	c |     93613 |   28658   148773   411162 | 2147483647    92506    117 | 69.369 % |
228.67/228.81	c |     93774 |   28658   148773   411162 | 2147483647    92667    117 | 69.369 % |
229.57/229.72	c |     93952 |   28658   148773   411162 | 2147483647    92845    117 | 69.369 % |
230.17/230.35	c |     94153 |   28658   148773   411162 | 2147483647    93046    117 | 69.369 % |
230.97/231.18	c |     94366 |   28658   148773   411162 | 2147483647    93259    117 | 69.369 % |
231.77/231.90	c |     94599 |   28658   148773   411162 | 2147483647    93492    117 | 69.369 % |
232.37/232.54	c |     94856 |   28658   148773   411162 | 2147483647    93749    118 | 69.369 % |
233.16/233.33	c |     95138 |   28658   148773   411162 | 2147483647    94031    118 | 69.369 % |
234.36/234.58	c |     95447 |   28626   148533   410542 | 2147483647    94331    118 | 69.381 % |
235.46/235.61	c |     95787 |   28626   148533   410542 | 2147483647    94671    118 | 69.381 % |
236.56/236.74	c |     96160 |   28626   148533   410542 | 2147483647    95043    118 | 69.391 % |
237.75/237.96	c |     96570 |   28626   148533   410542 | 2147483647    95453    118 | 69.391 % |
238.86/239.04	c |     97021 |   28626   148533   410542 | 2147483647    95904    118 | 69.391 % |
240.06/240.29	c |     97514 |   28626   148533   410542 | 2147483647    96397    118 | 69.391 % |
241.46/241.60	c |     98056 |   28626   148533   410542 | 2147483647    96939    117 | 69.391 % |
242.86/243.07	c |     98654 |   28626   148533   410542 | 2147483647    97537    117 | 69.391 % |
244.46/244.67	c |     99309 |   28626   148533   410542 | 2147483647    98192    117 | 69.391 % |
246.95/247.11	c |    100030 |   28626   148533   410542 | 2147483647    98913    117 | 69.391 % |
249.05/249.24	c |    100823 |   28626   148533   410542 | 2147483647    99706    117 | 69.391 % |
252.25/252.48	c |    101696 |   28626   148533   410542 | 2147483647   100579    117 | 69.391 % |
254.64/254.86	c |    102657 |   28626   148533   410542 | 2147483647   101540    117 | 69.391 % |
257.44/257.62	c |    103710 |   28615   148454   410345 | 2147483647   102590    117 | 69.401 % |
260.14/260.37	c |    104869 |   28615   148454   410345 | 2147483647   103749    116 | 69.401 % |
260.45/260.61	c |    104972 |   28615   148454   410345 | 2147483647   103852    116 | 69.401 % |
260.74/260.93	c |    105085 |   28615   148454   410345 | 2147483647   103965    116 | 69.401 % |
261.04/261.28	c |    105206 |   28615   148454   410345 | 2147483647   104086    116 | 69.401 % |
261.44/261.66	c |    105344 |   28615   148454   410345 | 2147483647   104224    116 | 69.401 % |
261.85/262.08	c |    105491 |   28615   148454   410345 | 2147483647   104371    116 | 69.401 % |
262.35/262.52	c |    105654 |   28615   148454   410345 | 2147483647   104534    116 | 69.401 % |
262.95/263.13	c |    105830 |   28615   148454   410345 | 2147483647   104710    116 | 69.401 % |
263.55/263.75	c |    106023 |   28615   148454   410345 | 2147483647   104903    116 | 69.401 % |
264.15/264.36	c |    106236 |   28615   148454   410345 | 2147483647   105116    116 | 69.401 % |
264.85/265.05	c |    106469 |   28615   148454   410345 | 2147483647   105349    116 | 69.401 % |
265.65/265.86	c |    106727 |   28615   148454   410345 | 2147483647   105607    116 | 69.401 % |
266.45/266.60	c |    107010 |   28615   148454   410345 | 2147483647   105890    116 | 69.401 % |
267.24/267.44	c |    107323 |   28615   148454   410345 | 2147483647   106203    116 | 69.401 % |
268.04/268.25	c |    107664 |   28615   148454   410345 | 2147483647   106544    116 | 69.401 % |
269.14/269.32	c |    108039 |   28615   148454   410345 | 2147483647   106919    116 | 69.401 % |
270.14/270.35	c |    108448 |   28615   148454   410345 | 2147483647   107328    116 | 69.401 % |
271.44/271.70	c |    108897 |   28615   148454   410345 | 2147483647   107777    116 | 69.401 % |
273.14/273.39	c |    109392 |   28615   148454   410345 | 2147483647   108272    116 | 69.401 % |
274.44/274.64	c |    109934 |   28615   148454   410345 | 2147483647   108814    116 | 69.401 % |
276.94/277.13	c |    110530 |   28581   148184   409671 | 2147483647   109407    117 | 69.429 % |
278.74/278.94	c |    111185 |   28581   148184   409671 | 2147483647   110062    117 | 69.429 % |
281.24/281.47	c |    111906 |   28581   148184   409671 | 2147483647   110783    116 | 69.429 % |
283.54/283.72	c |    112698 |   28581   148184   409671 | 2147483647   111575    117 | 69.429 % |
285.93/286.19	c |    113569 |   28581   148184   409671 | 2147483647   112446    117 | 69.429 % |
288.14/288.33	c |    114529 |   28581   148184   409671 | 2147483647   113406    117 | 69.429 % |
290.73/290.97	c |    115582 |   28581   148184   409671 | 2147483647   114459    117 | 69.429 % |
294.53/294.71	c |    116741 |   28580   148184   409671 | 2147483647   115617    117 | 69.437 % |
299.93/300.10	c |    118016 |   28579   148184   409671 | 2147483647   116890    116 | 69.461 % |
300.33/300.52	c |    118117 |   28551   147977   409147 | 2147483647   116982    116 | 69.461 % |
300.63/300.88	c |    118227 |   28551   147977   409147 | 2147483647   117092    116 | 69.461 % |
300.93/301.15	c |    118348 |   28551   147977   409147 | 2147483647   117213    116 | 69.461 % |
301.43/301.64	c |    118481 |   28551   147977   409147 | 2147483647   117346    117 | 69.461 % |
301.83/302.03	c |    118630 |   28551   147977   409147 | 2147483647   117495    116 | 69.461 % |
302.53/302.77	c |    118791 |   28551   147977   409147 | 2147483647   117656    117 | 69.461 % |
303.23/303.50	c |    118967 |   28551   147977   409147 | 2147483647   117832    116 | 69.461 % |
304.02/304.27	c |    119163 |   28551   147977   409147 | 2147483647   118028    116 | 69.461 % |
304.83/305.07	c |    119377 |   28551   147977   409147 | 2147483647   118242    116 | 69.461 % |
305.82/306.03	c |    119610 |   28551   147977   409147 | 2147483647   118475    116 | 69.461 % |
306.63/306.83	c |    119866 |   28551   147977   409147 | 2147483647   118731    117 | 69.461 % |
307.42/307.62	c |    120147 |   28551   147977   409147 | 2147483647   119012    117 | 69.461 % |
308.63/308.85	c |    120456 |   28551   147977   409147 | 2147483647   119321    117 | 69.461 % |
309.53/309.76	c |    120796 |   28551   147977   409147 | 2147483647   119661    118 | 69.461 % |
311.33/311.53	c |    121168 |   28551   147977   409147 | 2147483647   120033    118 | 69.461 % |
312.93/313.15	c |    121580 |   28551   147977   409147 | 2147483647   120445    118 | 69.461 % |
314.33/314.51	c |    122029 |   28551   147977   409147 | 2147483647   120894    118 | 69.461 % |
315.43/315.60	c |    122522 |   28551   147977   409147 | 2147483647   121387    118 | 69.461 % |
316.53/316.75	c |    123064 |   28551   147977   409147 | 2147483647   121929    118 | 69.461 % |
318.22/318.49	c |    123660 |   28551   147977   409147 | 2147483647   122525    118 | 69.461 % |
320.02/320.29	c |    124317 |   28551   147977   409147 | 2147483647   123182    118 | 69.461 % |
321.83/322.02	c |    125037 |   28551   147977   409147 | 2147483647   123902    118 | 69.461 % |
323.83/324.09	c |    125831 |   28551   147977   409147 | 2147483647   124696    118 | 69.461 % |
326.62/326.81	c |    126702 |   28551   147977   409147 | 2147483647   125567    119 | 69.461 % |
329.61/329.85	c |    127662 |   28551   147977   409147 | 2147483647   126527    119 | 69.461 % |
333.31/333.58	c |    128716 |   28551   147977   409147 | 2147483647   127581    119 | 69.461 % |
337.51/337.74	c |    129874 |   28551   147977   409147 | 2147483647   128739    119 | 69.461 % |
342.80/343.04	c |    131149 |   28551   147977   409147 | 2147483647   130014    119 | 69.461 % |
349.51/349.71	c |    132549 |   28551   147977   409147 | 2147483647   131414    118 | 69.461 % |
349.81/350.03	c |    132649 |   28551   147977   409147 | 2147483647   131514    118 | 69.461 % |
350.11/350.37	c |    132759 |   28551   147977   409147 | 2147483647   131624    118 | 69.461 % |
350.51/350.76	c |    132885 |   28551   147977   409147 | 2147483647   131750    118 | 69.461 % |
351.11/351.31	c |    133018 |   28551   147977   409147 | 2147483647   131883    118 | 69.461 % |
351.51/351.70	c |    133164 |   28551   147977   409147 | 2147483647   132029    118 | 69.461 % |
352.31/352.50	c |    133324 |   28551   147977   409147 | 2147483647   132189    118 | 69.461 % |
352.81/353.07	c |    133500 |   28551   147977   409147 | 2147483647   132365    118 | 69.461 % |
353.31/353.57	c |    133698 |   28551   147977   409147 | 2147483647   132563    118 | 69.461 % |
354.50/354.74	c |    133910 |   28551   147977   409147 | 2147483647   132775    118 | 69.461 % |
355.60/355.86	c |    134144 |   28551   147977   409147 | 2147483647   133009    118 | 69.461 % |
356.80/357.03	c |    134403 |   28551   147977   409147 | 2147483647   133268    118 | 69.461 % |
357.80/358.05	c |    134684 |   28551   147977   409147 | 2147483647   133549    118 | 69.461 % |
358.80/359.06	c |    134994 |   28551   147977   409147 | 2147483647   133859    118 | 69.461 % |
360.61/360.89	c |    135335 |   28551   147977   409147 | 2147483647   134200    118 | 69.461 % |
362.60/362.87	c |    135708 |   28551   147977   409147 | 2147483647   134573    118 | 69.461 % |
364.10/364.35	c |    136117 |   28551   147977   409147 | 2147483647   134982    118 | 69.461 % |
365.30/365.52	c |    136569 |   28551   147977   409147 | 2147483647   135434    118 | 69.461 % |
366.90/367.16	c |    137063 |   28551   147977   409147 | 2147483647   135928    118 | 69.461 % |
368.60/368.83	c |    137605 |   28551   147977   409147 | 2147483647   136470    118 | 69.461 % |
370.00/370.29	c |    138202 |   28551   147977   409147 | 2147483647   137067    118 | 69.461 % |
371.60/371.81	c |    138857 |   28551   147977   409147 | 2147483647   137722    118 | 69.461 % |
373.60/373.90	c |    139577 |   28551   147977   409147 | 2147483647   138442    118 | 69.461 % |
375.79/376.08	c |    140369 |   28391   146873   406411 | 2147483647   139233    118 | 69.632 % |
378.79/379.08	c |    141242 |   28391   146873   406411 | 2147483647   140106    118 | 69.632 % |
381.19/381.46	c |    142200 |   28391   146873   406411 | 2147483647   141064    119 | 69.632 % |
384.49/384.76	c |    143253 |   28391   146873   406411 | 2147483647   142117    119 | 69.632 % |
387.49/387.74	c |    144411 |   28391   146873   406411 | 2147483647   143275    119 | 69.632 % |
391.59/391.86	c |    145685 |   28391   146873   406411 | 2147483647   144549    119 | 69.632 % |
395.38/395.66	c |    147086 |   28391   146873   406411 | 2147483647   145950    120 | 69.632 % |
399.09/399.32	c |    148626 |   28391   146873   406411 | 2147483647   147490    120 | 69.632 % |
399.38/399.68	c |    148726 |   28391   146873   406411 | 2147483647   147590    120 | 69.632 % |
400.08/400.31	c |    148837 |   28391   146873   406411 | 2147483647   147701    120 | 69.632 % |
400.78/401.03	c |    148960 |   28391   146873   406411 | 2147483647   147824    120 | 69.632 % |
401.48/401.71	c |    149093 |   28391   146873   406411 | 2147483647   147957    120 | 69.632 % |
401.88/402.13	c |    149239 |   28391   146873   406411 | 2147483647   148103    120 | 69.632 % |
402.28/402.58	c |    149399 |   28391   146873   406411 | 2147483647   148263    120 | 69.632 % |
403.19/403.49	c |    149575 |   28391   146873   406411 | 2147483647   148439    120 | 69.632 % |
403.79/404.02	c |    149768 |   28391   146873   406411 | 2147483647   148632    120 | 69.632 % |
404.49/404.78	c |    149981 |   28391   146873   406411 | 2147483647   148845    120 | 69.632 % |
405.19/405.49	c |    150214 |   28391   146873   406411 | 2147483647   149078    120 | 69.632 % |
406.69/406.95	c |    150470 |   28391   146873   406411 | 2147483647   149334    120 | 69.632 % |
407.59/407.85	c |    150751 |   28391   146873   406411 | 2147483647   149615    120 | 69.632 % |
408.59/408.80	c |    151065 |   28391   146873   406411 | 2147483647   149929    120 | 69.632 % |
409.59/409.85	c |    151404 |   28391   146873   406411 | 2147483647   150268    119 | 69.632 % |
410.98/411.22	c |    151776 |   28391   146873   406411 | 2147483647   150640    120 | 69.632 % |
412.58/412.87	c |    152185 |   28391   146873   406411 | 2147483647   151049    120 | 69.632 % |
414.49/414.73	c |    152634 |   28391   146873   406411 | 2147483647   151498    120 | 69.632 % |
416.48/416.79	c |    153128 |   28391   146873   406411 | 2147483647   151992    120 | 69.632 % |
418.47/418.77	c |    153670 |   28391   146873   406411 | 2147483647   152534    120 | 69.632 % |
420.47/420.76	c |    154266 |   28391   146873   406411 | 2147483647   153130    120 | 69.632 % |
422.47/422.79	c |    154922 |   28391   146873   406411 | 2147483647   153786    120 | 69.632 % |
425.17/425.42	c |    155643 |   28391   146873   406411 | 2147483647   154507    120 | 69.632 % |
428.17/428.42	c |    156440 |   28391   146873   406411 | 2147483647   155304    119 | 69.632 % |
431.47/431.73	c |    157313 |   28391   146873   406411 | 2147483647   156177    119 | 69.632 % |
435.07/435.36	c |    158274 |   28391   146873   406411 | 2147483647   157138    119 | 69.632 % |
437.67/437.92	c |    159330 |   28391   146873   406411 | 2147483647   158194    119 | 69.632 % |
442.97/443.27	c |    160493 |   28391   146873   406411 | 2147483647   159357    119 | 69.632 % |
447.26/447.60	c |    161772 |   28391   146873   406411 | 2147483647   160636    119 | 69.632 % |
453.36/453.60	c |    163174 |   28391   146873   406411 | 2147483647   162038    119 | 69.632 % |
459.16/459.43	c |    164717 |   28391   146873   406411 | 2147483647   163581    119 | 69.632 % |
464.45/464.77	c |    166412 |   28391   146873   406411 | 2147483647   165276    120 | 69.632 % |
464.96/465.24	c |    166513 |   28391   146873   406411 | 2147483647   165377    120 | 69.632 % |
465.45/465.75	c |    166624 |   28391   146873   406411 | 2147483647   165488    120 | 69.632 % |
466.05/466.36	c |    166749 |   28391   146873   406411 | 2147483647   165613    120 | 69.632 % |
466.55/466.84	c |    166883 |   28391   146873   406411 | 2147483647   165747    120 | 69.632 % |
467.05/467.38	c |    167030 |   28391   146873   406411 | 2147483647   165894    120 | 69.632 % |
467.65/467.96	c |    167192 |   28391   146873   406411 | 2147483647   166056    120 | 69.632 % |
468.15/468.42	c |    167369 |   28391   146873   406411 | 2147483647   166233    120 | 69.632 % |
468.75/469.05	c |    167562 |   28391   146873   406411 | 2147483647   166426    120 | 69.632 % |
469.35/469.65	c |    167774 |   28391   146873   406411 | 2147483647   166638    120 | 69.632 % |
470.14/470.44	c |    168010 |   28391   146873   406411 | 2147483647   166874    120 | 69.632 % |
470.94/471.28	c |    168267 |   28391   146873   406411 | 2147483647   167131    120 | 69.632 % |
471.84/472.18	c |    168548 |   28391   146873   406411 | 2147483647   167412    119 | 69.632 % |
473.04/473.40	c |    168857 |   28391   146873   406411 | 2147483647   167721    119 | 69.632 % |
474.35/474.67	c |    169199 |   28391   146873   406411 | 2147483647   168063    119 | 69.632 % |
475.96/476.21	c |    169572 |   28096   144870   401526 | 2147483647   168435    119 | 69.948 % |
477.25/477.51	c |    169982 |   28096   144870   401526 | 2147483647   168845    119 | 69.948 % |
478.55/478.90	c |    170431 |   28096   144870   401526 | 2147483647   169294    119 | 69.948 % |
480.94/481.21	c |    170928 |   28096   144870   401526 | 2147483647   169791    120 | 69.948 % |
482.65/482.98	c |    171470 |   28096   144870   401526 | 2147483647   170333    120 | 69.948 % |
484.44/484.75	c |    172067 |   28096   144870   401526 | 2147483647   170930    120 | 69.948 % |
486.64/486.94	c |    172724 |   28096   144870   401526 | 2147483647   171586    120 | 69.963 % |
489.35/489.63	c |    173444 |   28096   144870   401526 | 2147483647   172306    120 | 69.963 % |
492.95/493.23	c |    174236 |   28096   144870   401526 | 2147483647   173098    120 | 69.963 % |
496.24/496.56	c |    175109 |   28096   144870   401526 | 2147483647   173971    120 | 69.963 % |
499.54/499.87	c |    176071 |   28096   144870   401526 | 2147483647   174933    120 | 69.963 % |
502.44/502.78	c |    177125 |   28096   144870   401526 | 2147483647   175987    120 | 69.963 % |
505.83/506.16	c |    178283 |   28096   144870   401526 | 2147483647   177145    120 | 69.963 % |
509.73/510.00	c |    179557 |   28096   144870   401526 | 2147483647   178419    119 | 69.963 % |
513.83/514.13	c |    180959 |   28096   144870   401526 | 2147483647   179821    119 | 69.963 % |
520.72/521.05	c |    182499 |   28095   144870   401526 | 2147483647   181360    119 | 69.975 % |
527.72/528.05	c |    184194 |   28095   144870   401526 | 2147483647   183055    119 | 69.975 % |
534.92/535.25	c |    186057 |   28070   144688   401060 | 2147483647   184906    119 | 69.975 % |
535.22/535.52	c |    186157 |   28070   144688   401060 | 2147483647   185006    119 | 69.975 % |
535.62/535.93	c |    186267 |   28070   144688   401060 | 2147483647   185116    119 | 69.975 % |
536.22/536.54	c |    186389 |   28070   144688   401060 | 2147483647   185238    119 | 69.975 % |
536.72/537.05	c |    186522 |   28070   144688   401060 | 2147483647   185371    119 | 69.975 % |
537.32/537.67	c |    186670 |   28070   144688   401060 | 2147483647   185519    119 | 69.975 % |
537.92/538.24	c |    186838 |   28070   144688   401060 | 2147483647   185687    119 | 69.975 % |
538.82/539.13	c |    187016 |   28070   144688   401060 | 2147483647   185865    119 | 69.975 % |
539.72/540.01	c |    187209 |   28070   144688   401060 | 2147483647   186058    119 | 69.975 % |
540.62/540.98	c |    187422 |   28070   144688   401060 | 2147483647   186271    119 | 69.975 % |
541.82/542.17	c |    187658 |   28070   144688   401060 | 2147483647   186507    119 | 69.975 % |
543.22/543.57	c |    187918 |   28070   144688   401060 | 2147483647   186767    119 | 69.975 % |
544.42/544.75	c |    188199 |   28070   144688   401060 | 2147483647   187048    119 | 69.975 % |
545.62/545.93	c |    188508 |   28070   144688   401060 | 2147483647   187357    119 | 69.975 % |
546.81/547.17	c |    188848 |   28070   144688   401060 | 2147483647   187697    119 | 69.975 % |
548.21/548.50	c |    189225 |   28070   144688   401060 | 2147483647   188074    119 | 69.975 % |
549.51/549.83	c |    189634 |   28070   144688   401060 | 2147483647   188483    119 | 69.975 % |
551.01/551.37	c |    190084 |   28070   144688   401060 | 2147483647   188933    119 | 69.975 % |
552.71/553.09	c |    190577 |   28070   144688   401060 | 2147483647   189426    119 | 69.975 % |
554.91/555.26	c |    191119 |   28070   144688   401060 | 2147483647   189968    119 | 69.975 % |
557.71/558.00	c |    191719 |   28070   144688   401060 | 2147483647   190568    119 | 69.975 % |
560.21/560.54	c |    192375 |   28070   144688   401060 | 2147483647   191224    119 | 69.975 % |
563.11/563.45	c |    193095 |   28070   144688   401060 | 2147483647   191944    119 | 69.975 % |
565.81/566.14	c |    193889 |   28070   144688   401060 | 2147483647   192738    119 | 69.975 % |
570.20/570.52	c |    194766 |   28070   144688   401060 | 2147483647   193614    119 | 69.986 % |
573.10/573.47	c |    195724 |   28070   144688   401060 | 2147483647   194572    119 | 69.986 % |
576.30/576.67	c |    196777 |   28070   144688   401060 | 2147483647   195625    119 | 69.986 % |
580.10/580.48	c |    197935 |   28070   144688   401060 | 2147483647   196783    119 | 69.986 % |
584.20/584.56	c |    199208 |   28070   144688   401060 | 2147483647   198056    118 | 69.986 % |
588.70/589.03	c |    200610 |   28070   144688   401060 | 2147483647   199458    118 | 69.986 % |
593.80/594.15	c |    202150 |   28060   144610   400850 | 2147483647   200995    118 | 69.986 % |
599.49/599.89	c |    203846 |   28060   144610   400850 | 2147483647   202691    118 | 69.986 % |
605.39/605.74	c |    205710 |   28060   144610   400850 | 2147483647   204555    117 | 69.986 % |
613.48/613.83	c |    207763 |   28060   144610   400850 | 2147483647   206608    117 | 69.986 % |
613.99/614.30	c |    207865 |   28060   144610   400850 | 2147483647   206710    117 | 69.986 % |
614.39/614.71	c |    207976 |   28060   144610   400850 | 2147483647   206821    117 | 69.986 % |
614.79/615.13	c |    208097 |   28060   144610   400850 | 2147483647   206942    117 | 69.986 % |
615.39/615.78	c |    208230 |   28060   144610   400850 | 2147483647   207075    117 | 69.986 % |
615.99/616.30	c |    208376 |   28060   144610   400850 | 2147483647   207221    117 | 69.986 % |
616.49/616.86	c |    208537 |   28060   144610   400850 | 2147483647   207382    117 | 69.986 % |
617.29/617.63	c |    208714 |   28060   144610   400850 | 2147483647   207559    117 | 69.986 % |
618.49/618.90	c |    208907 |   28060   144610   400850 | 2147483647   207752    117 | 69.986 % |
619.48/619.81	c |    209122 |   28060   144610   400850 | 2147483647   207967    117 | 69.986 % |
620.58/620.97	c |    209356 |   28060   144610   400850 | 2147483647   208201    117 | 69.986 % |
621.28/621.63	c |    209612 |   28060   144610   400850 | 2147483647   208457    117 | 69.986 % |
622.48/622.80	c |    209893 |   28060   144610   400850 | 2147483647   208738    117 | 69.986 % |
623.48/623.80	c |    210204 |   28060   144610   400850 | 2147483647   209049    117 | 69.986 % |
624.98/625.37	c |    210543 |   28060   144610   400850 | 2147483647   209388    117 | 69.986 % |
626.48/626.81	c |    210915 |   28060   144610   400850 | 2147483647   209760    117 | 69.986 % |
627.88/628.29	c |    211325 |   28060   144610   400850 | 2147483647   210170    117 | 69.986 % |
629.78/630.19	c |    211774 |   28059   144610   400850 | 2147483647   210618    117 | 70.011 % |
631.78/632.16	c |    212271 |   28059   144610   400850 | 2147483647   211115    117 | 70.011 % |
634.28/634.69	c |    212813 |   28059   144610   400850 | 2147483647   211657    117 | 70.011 % |
637.07/637.45	c |    213411 |   28058   144610   400850 | 2147483647   212254    117 | 70.357 % |
640.28/640.62	c |    214069 |   28058   144610   400850 | 2147483647   212912    117 | 70.357 % |
642.97/643.30	c |    214789 |   28058   144610   400850 | 2147483647   213632    117 | 70.357 % |
647.47/647.86	c |    215581 |   28057   144610   400850 | 2147483647   214423    117 | 70.374 % |
650.47/650.89	c |    216452 |   28056   144610   400850 | 2147483647   215293    117 | 70.380 % |
654.46/654.85	c |    217412 |   28056   144610   400850 | 2147483647   216252    117 | 70.394 % |
659.36/659.76	c |    218465 |   28056   144610   400850 | 2147483647   217305    118 | 70.394 % |
664.56/664.97	c |    219623 |   27679   142647   394521 | 2147483647   218452    117 | 70.394 % |
670.46/670.86	c |    220898 |   27679   142647   394521 | 2147483647   219727    117 | 70.394 % |
676.66/677.05	c |    222298 |   27679   142647   394521 | 2147483647   221127    117 | 70.394 % |
684.56/684.90	c |    223839 |   27679   142647   394521 | 2147483647   222668    117 | 70.394 % |
690.25/690.64	c |    225534 |   27679   142647   394521 | 2147483647   224363    117 | 70.394 % |
698.85/699.26	c |    227400 |   27679   142647   394521 | 2147483647   226229    117 | 70.394 % |
707.85/708.24	c |    229454 |   27679   142647   394521 | 2147483647   228282    118 | 70.406 % |
719.84/720.20	c |    231708 |   27679   142647   394521 | 2147483647   230536    118 | 70.406 % |
720.54/720.99	c |    231808 |   27667   142554   394292 | 2147483647   230636    118 | 70.406 % |
721.14/721.57	c |    231918 |   27667   142554   394292 | 2147483647   230746    118 | 70.406 % |
721.64/722.03	c |    232039 |   27667   142554   394292 | 2147483647   230867    118 | 70.406 % |
722.44/722.89	c |    232172 |   27667   142554   394292 | 2147483647   231000    118 | 70.406 % |
723.23/723.61	c |    232318 |   27667   142554   394292 | 2147483647   231146    118 | 70.406 % |
724.03/724.42	c |    232481 |   27667   142554   394292 | 2147483647   231309    118 | 70.406 % |
724.83/725.26	c |    232657 |   27667   142554   394292 | 2147483647   231485    118 | 70.406 % |
725.74/726.13	c |    232850 |   27667   142554   394292 | 2147483647   231678    118 | 70.406 % |
726.84/727.23	c |    233062 |   27667   142554   394292 | 2147483647   231890    118 | 70.406 % |
727.85/728.27	c |    233295 |   27667   142554   394292 | 2147483647   232123    118 | 70.406 % |
729.44/729.84	c |    233552 |   27667   142554   394292 | 2147483647   232380    118 | 70.406 % |
730.64/731.04	c |    233833 |   27667   142554   394292 | 2147483647   232661    118 | 70.406 % |
732.33/732.75	c |    234143 |   27667   142554   394292 | 2147483647   232971    118 | 70.406 % |
733.83/734.30	c |    234487 |   27667   142554   394292 | 2147483647   233315    118 | 70.406 % |
735.73/736.12	c |    234859 |   27667   142554   394292 | 2147483647   233687    118 | 70.406 % |
737.23/737.65	c |    235270 |   27667   142554   394292 | 2147483647   234098    118 | 70.406 % |
739.23/739.60	c |    235720 |   27667   142554   394292 | 2147483647   234548    118 | 70.406 % |
741.03/741.45	c |    236213 |   27667   142554   394292 | 2147483647   235041    118 | 70.406 % |
743.23/743.68	c |    236755 |   27667   142554   394292 | 2147483647   235583    118 | 70.406 % |
746.02/746.44	c |    237353 |   27667   142554   394292 | 2147483647   236181    118 | 70.406 % |
748.52/748.91	c |    238008 |   27667   142554   394292 | 2147483647   236836    118 | 70.406 % |
751.42/751.82	c |    238729 |   27667   142554   394292 | 2147483647   237557    118 | 70.406 % |
754.82/755.29	c |    239521 |   27667   142554   394292 | 2147483647   238349    118 | 70.406 % |
757.72/758.19	c |    240392 |   27667   142554   394292 | 2147483647   239220    118 | 70.406 % |
761.92/762.36	c |    241351 |   27667   142554   394292 | 2147483647   240179    117 | 70.406 % |
767.32/767.74	c |    242406 |   27667   142554   394292 | 2147483647   241234    117 | 70.406 % |
772.62/773.07	c |    243565 |   27667   142554   394292 | 2147483647   242393    117 | 70.406 % |
778.61/779.04	c |    244838 |   27667   142554   394292 | 2147483647   243666    117 | 70.406 % |
785.30/785.71	c |    246238 |   27667   142554   394292 | 2147483647   245066    117 | 70.406 % |
791.71/792.13	c |    247779 |   27667   142554   394292 | 2147483647   246607    117 | 70.406 % |
798.70/799.14	c |    249473 |   27667   142554   394292 | 2147483647   248301    118 | 70.406 % |
807.09/807.51	c |    251336 |   27667   142554   394292 | 2147483647   250164    118 | 70.406 % |
816.40/816.82	c |    253385 |   27667   142554   394292 | 2147483647   252213    119 | 70.406 % |
826.69/827.19	c |    255638 |   27667   142554   394292 | 2147483647   254466    119 | 70.406 % |
838.67/839.10	c |    258119 |   27667   142554   394292 | 2147483647   256947    119 | 70.406 % |
839.17/839.60	c |    258219 |   27667   142554   394292 | 2147483647   257047    119 | 70.406 % |
839.67/840.19	c |    258330 |   27667   142554   394292 | 2147483647   257158    119 | 70.406 % |
840.17/840.69	c |    258456 |   27667   142554   394292 | 2147483647   257284    119 | 70.406 % |
841.08/841.54	c |    258590 |   27667   142554   394292 | 2147483647   257418    119 | 70.406 % |
841.77/842.22	c |    258738 |   27667   142554   394292 | 2147483647   257566    119 | 70.406 % |
842.57/843.03	c |    258899 |   27667   142554   394292 | 2147483647   257727    119 | 70.406 % |
843.67/844.11	c |    259075 |   27667   142554   394292 | 2147483647   257903    119 | 70.406 % |
844.47/844.95	c |    259269 |   27667   142554   394292 | 2147483647   258097    119 | 70.406 % |
845.77/846.22	c |    259481 |   27667   142554   394292 | 2147483647   258309    119 | 70.406 % |
846.77/847.26	c |    259716 |   27667   142554   394292 | 2147483647   258544    119 | 70.406 % |
847.87/848.39	c |    259972 |   27667   142554   394292 | 2147483647   258800    119 | 70.406 % |
849.88/850.34	c |    260255 |   27667   142554   394292 | 2147483647   259083    119 | 70.406 % |
851.28/851.77	c |    260564 |   27667   142554   394292 | 2147483647   259392    119 | 70.406 % |
852.78/853.26	c |    260903 |   27667   142554   394292 | 2147483647   259731    119 | 70.406 % |
854.88/855.31	c |    261276 |   27667   142554   394292 | 2147483647   260104    118 | 70.406 % |
856.78/857.21	c |    261685 |   27667   142554   394292 | 2147483647   260513    118 | 70.406 % |
858.88/859.33	c |    262135 |   27667   142554   394292 | 2147483647   260963    118 | 70.406 % |
861.07/861.59	c |    262629 |   27642   142414   393913 | 2147483647   261453    118 | 70.433 % |
862.98/863.47	c |    263172 |   27642   142414   393913 | 2147483647   261996    118 | 70.433 % |
865.27/865.73	c |    263768 |   27642   142414   393913 | 2147483647   262592    119 | 70.433 % |
867.87/868.32	c |    264424 |   27642   142414   393913 | 2147483647   263248    118 | 70.433 % |
870.26/870.73	c |    265145 |   27642   142414   393913 | 2147483647   263969    118 | 70.433 % |
873.26/873.70	c |    265938 |   27642   142414   393913 | 2147483647   264762    118 | 70.433 % |
876.26/876.77	c |    266810 |   27642   142414   393913 | 2147483647   265634    118 | 70.433 % |
879.66/880.13	c |    267771 |   27642   142414   393913 | 2147483647   266595    118 | 70.433 % |
884.36/884.81	c |    268830 |   27642   142414   393913 | 2147483647   267654    118 | 70.433 % |
889.46/889.94	c |    269988 |   27642   142414   393913 | 2147483647   268812    118 | 70.433 % |
894.45/894.96	c |    271265 |   27642   142414   393913 | 2147483647   270089    118 | 70.433 % |
901.26/901.79	c |    272665 |   27642   142414   393913 | 2147483647   271489    119 | 70.433 % |
909.35/909.84	c |    274205 |   27642   142414   393913 | 2147483647   273029    119 | 70.433 % |
918.34/918.86	c |    275900 |   27637   142414   393913 | 2147483647   274722    119 | 71.479 % |
926.85/927.37	c |    277763 |   27637   142414   393913 | 2147483647   276585    119 | 71.479 % |
936.94/937.50	c |    279814 |   27637   142414   393913 | 2147483647   278636    119 | 71.479 % |
947.63/948.11	c |    282068 |   27637   142414   393913 | 2147483647   280890    119 | 71.479 % |
957.43/957.98	c |    284546 |   26664   138126   380946 | 2147483647   283136    119 | 71.479 % |
968.42/968.96	c |    287272 |   26664   138126   380946 | 2147483647   285862    119 | 71.479 % |
969.22/969.73	c |    287373 |   26664   138126   380946 | 2147483647   285963    119 | 71.479 % |
970.02/970.58	c |    287484 |   26664   138126   380946 | 2147483647   286074    119 | 71.479 % |
970.72/971.24	c |    287605 |   26664   138126   380946 | 2147483647   286195    119 | 71.479 % |
971.62/972.16	c |    287739 |   26664   138126   380946 | 2147483647   286329    119 | 71.479 % |
972.72/973.22	c |    287885 |   26664   138126   380946 | 2147483647   286475    119 | 71.479 % |
973.82/974.34	c |    288047 |   26664   138126   380946 | 2147483647   286637    119 | 71.479 % |
975.12/975.64	c |    288225 |   26664   138126   380946 | 2147483647   286815    119 | 71.479 % |
976.32/976.80	c |    288422 |   26664   138126   380946 | 2147483647   287012    119 | 71.479 % |
977.32/977.84	c |    288634 |   26664   138126   380946 | 2147483647   287224    119 | 71.479 % |
978.42/978.91	c |    288870 |   26664   138126   380946 | 2147483647   287460    119 | 71.479 % |
979.62/980.13	c |    289135 |   26664   138126   380946 | 2147483647   287725    119 | 71.479 % |
980.82/981.35	c |    289416 |   26664   138126   380946 | 2147483647   288006    119 | 71.479 % |
982.01/982.58	c |    289725 |   26664   138126   380946 | 2147483647   288315    119 | 71.479 % |
983.51/984.09	c |    290064 |   26664   138126   380946 |   288593   288654    119 | 71.479 % |
985.91/986.41	c |    290441 |   26664   138126   380946 |   288593   289031    119 | 71.479 % |
987.71/988.28	c |    290851 |   26664   138126   380946 |   288593   289441    119 | 71.479 % |
990.91/991.47	c |    291301 |   26664   138126   380946 |   288593   289891    119 | 71.479 % |
995.31/995.82	c |    291797 |   26664   138126   380946 |   288593   290387    119 | 71.479 % |
998.51/999.07	c |    292339 |   26664   138126   380946 |   288593   290929    119 | 71.479 % |
1001.20/1001.76	c |    292936 |   26664   138126   380946 |   288593   291526    119 | 71.479 % |
1004.10/1004.69	c |    293591 |   26664   138126   380946 |   288593   292181    119 | 71.479 % |
1007.39/1007.90	c |    294313 |   26664   138126   380946 |   288593   292903    119 | 71.479 % |
1012.10/1012.63	c |    295107 |   26664   138126   380946 |   288593   293697    119 | 71.479 % |
1017.50/1018.06	c |    295981 |   26664   138126   380946 |   288593   294571    119 | 71.479 % |
1022.60/1023.14	c |    296941 |   26664   138126   380946 |   288593   295530    119 | 71.580 % |
1027.80/1028.37	c |    297997 |   26664   138126   380946 |   288593   296586    119 | 71.580 % |
1033.99/1034.55	c |    299158 |   26664   138126   380946 |   288593   297747    119 | 71.580 % |
1041.19/1041.77	c |    300432 |   26664   138126   380946 | 2147483647   299021    119 | 71.580 % |
1047.79/1048.35	c |    301832 |   26664   138126   380946 | 2147483647   300421    119 | 71.580 % |
1054.08/1054.67	c |    303373 |   26664   138126   380946 | 2147483647   301962    119 | 71.580 % |
1061.87/1062.45	c |    305067 |   26664   138126   380946 | 2147483647   303656    119 | 71.580 % |
1071.88/1072.46	c |    306934 |   26664   138126   380946 | 2147483647   305523    119 | 71.580 % |
1082.77/1083.38	c |    308986 |   26569   137657   379515 | 2147483647   307572    119 | 71.592 % |
1092.16/1092.79	c |    311239 |   26569   137657   379515 |   308587   309825    119 | 71.592 % |
1102.76/1103.36	c |    313718 |   26569   137657   379515 |   308587   312304    119 | 71.592 % |
1118.45/1119.01	c |    316444 |   26569   137657   379515 |   308587   315030    119 | 71.592 % |
1134.95/1135.51	c |    319442 |   26569   137657   379515 |   308587   318028    119 | 71.592 % |
1135.45/1136.04	c |    319542 |   26569   137657   379515 |   308587   318128    119 | 71.592 % |
1136.15/1136.70	c |    319654 |   26569   137657   379515 |   308587   318240    119 | 71.592 % |
1136.85/1137.40	c |    319776 |   26569   137657   379515 |   308587   318362    119 | 71.592 % |
1137.45/1138.06	c |    319909 |   26569   137657   379515 |   308587   318495    119 | 71.592 % |
1138.35/1138.99	c |    320060 |   26569   137657   379515 | 2147483647   318646    119 | 71.592 % |
1139.25/1139.87	c |    320221 |   26569   137657   379515 | 2147483647   318807    119 | 71.592 % |
1140.55/1141.10	c |    320400 |   26569   137657   379515 | 2147483647   318986    119 | 71.592 % |
1141.44/1142.07	c |    320593 |   26569   137657   379515 | 2147483647   319179    119 | 71.592 % |
1142.44/1143.06	c |    320805 |   26569   137657   379515 | 2147483647   319391    119 | 71.592 % |
1143.84/1144.49	c |    321041 |   26569   137657   379515 | 2147483647   319627    119 | 71.592 % |
1145.44/1146.00	c |    321297 |   26569   137657   379515 | 2147483647   319883    119 | 71.592 % |
1146.84/1147.42	c |    321578 |   26569   137657   379515 | 2147483647   320164    119 | 71.592 % |
1148.14/1148.72	c |    321890 |   26569   137657   379515 | 2147483647   320476    119 | 71.592 % |
1149.74/1150.33	c |    322229 |   26569   137657   379515 | 2147483647   320815    119 | 71.592 % |
1151.94/1152.50	c |    322601 |   26569   137657   379515 | 2147483647   321187    119 | 71.592 % |
1153.14/1153.80	c |    323011 |   26569   137657   379515 | 2147483647   321597    119 | 71.592 % |
1155.04/1155.63	c |    323461 |   26569   137657   379515 | 2147483647   322047    119 | 71.592 % |
1157.13/1157.75	c |    323954 |   26569   137657   379515 | 2147483647   322540    119 | 71.592 % |
1159.44/1160.09	c |    324496 |   26569   137657   379515 | 2147483647   323082    119 | 71.592 % |
1163.14/1163.77	c |    325096 |   26569   137657   379515 | 2147483647   323682    119 | 71.592 % |
1165.73/1166.32	c |    325753 |   26569   137657   379515 | 2147483647   324339    119 | 71.592 % |
1170.83/1171.44	c |    326474 |   26569   137657   379515 | 2147483647   325060    119 | 71.592 % |
1175.43/1176.03	c |    327273 |   26569   137657   379515 | 2147483647   325859    119 | 71.592 % |
1180.02/1180.60	c |    328145 |   26569   137657   379515 | 2147483647   326731    119 | 71.592 % |
1185.42/1186.09	c |    329106 |   26569   137657   379515 | 2147483647   327692    119 | 71.592 % |
1191.72/1192.38	c |    330159 |   26559   137564   379287 | 2147483647   328745    119 | 71.592 % |
1197.32/1197.97	c |    331318 |   26559   137564   379287 | 2147483647   329903    119 | 71.596 % |

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-1832025-1242767308/watcher-1832025-1242767308 -o /tmp/evaluation-result-1832025-1242767308/solver-1832025-1242767308 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832025-1242767308.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 0.96 3/65 310
/proc/meminfo: memFree=1808232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304760916 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/310/statm: 1339 235 195 169 0 50 0
[pid=311] ppid=310 vsize=5356 CPUtime=0
/proc/311/stat : 311 (SatELiteGTI) S 310 310 32578 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304760916 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/311/statm: 1339 238 198 169 0 50 0
[pid=313] ppid=311 vsize=0 CPUtime=0
/proc/313/stat : 313 (SatELiteGTI) R 311 310 32578 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 304760917 0 0 1992294400 0 0 0 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 0 0 0
/proc/313/statm: 0 0 0 0 0 0 0

[startup+0.0441671 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 310
/proc/meminfo: memFree=1808232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101172 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 310
/proc/meminfo: memFree=1808232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301196 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 310
/proc/meminfo: memFree=1808232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701237 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 310
/proc/meminfo: memFree=1808232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 315
/proc/meminfo: memFree=1680664/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
[pid=315] ppid=310 vsize=171352 CPUtime=1.48
/proc/315/stat : 315 (SatELite_releas) R 310 310 32578 0 -1 4194304 36399 0 0 0 128 20 0 0 25 0 1 0 304760917 175464448 36293 1992294400 134512640 135223648 4294956128 18446744073709551615 134575965 0 0 4096 3 0 0 0 17 1 0 0
/proc/315/statm: 42838 36293 71 173 0 42663 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 176708

[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 315
/proc/meminfo: memFree=1652760/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
[pid=315] ppid=310 vsize=186296 CPUtime=3.07
/proc/315/stat : 315 (SatELite_releas) R 310 310 32578 0 -1 4194304 43472 0 0 0 281 26 0 0 25 0 1 0 304760917 190767104 39704 1992294400 134512640 135223648 4294956128 18446744073709551615 134548352 0 0 4096 3 0 0 0 17 1 0 0
/proc/315/statm: 46574 39704 76 173 0 46399 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 191652

[startup+6.30182 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 315
/proc/meminfo: memFree=1641240/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=0
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304760916 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 237 197 169 0 50 0
[pid=315] ppid=310 vsize=205052 CPUtime=6.27
/proc/315/stat : 315 (SatELite_releas) R 310 310 32578 0 -1 4194304 48004 0 0 0 598 29 0 0 25 0 1 0 304760917 209973248 43505 1992294400 134512640 135223648 4294956128 18446744073709551615 134585529 0 0 4096 3 0 0 0 17 0 0 0
/proc/315/statm: 51263 43505 76 173 0 51088 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 210408

[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1764120/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=34680 CPUtime=0.94
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 8128 0 0 0 90 4 0 0 25 0 1 0 304762090 35512320 8077 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/316/statm: 8670 8077 76 171 0 8497 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 40036

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1754592/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=35328 CPUtime=13.74
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 8271 0 0 0 1369 5 0 0 25 0 1 0 304762090 36175872 8220 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 8832 8220 77 171 0 8659 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 40684

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1751200/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=38772 CPUtime=39.33
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 9155 0 0 0 3926 7 0 0 25 0 1 0 304762090 39702528 9104 1992294400 134512640 135215339 4294956256 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 9693 9104 77 171 0 9520 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 44128

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1739232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=50436 CPUtime=90.51
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 12069 0 0 0 9041 10 0 0 25 0 1 0 304762090 51646464 12018 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 12609 12018 77 171 0 12436 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 55792

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1727072/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=62832 CPUtime=150.48
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 15130 0 0 0 15034 14 0 0 25 0 1 0 304762090 64339968 15079 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 15708 15079 77 171 0 15535 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 68188

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1715488/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=74148 CPUtime=210.45
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 17979 0 0 0 21028 17 0 0 25 0 1 0 304762090 75927552 17928 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 18537 17928 77 171 0 18364 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 79504

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1705568/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=84160 CPUtime=270.43
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 20466 0 0 0 27022 21 0 0 25 0 1 0 304762090 86179840 20415 1992294400 134512640 135215339 4294956256 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/316/statm: 21040 20415 77 171 0 20867 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 89516

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 316
/proc/meminfo: memFree=1694816/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=94660 CPUtime=330.39
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 23079 0 0 0 33015 24 0 0 25 0 1 0 304762090 96931840 23028 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 23665 23028 77 171 0 23492 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 100016

[startup+402.301 s]
/proc/loadavg: 1.06 1.01 0.97 2/67 316
/proc/meminfo: memFree=1685024/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=104564 CPUtime=390.37

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

/proc/316/statm: 30269 29618 77 171 0 30096 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 126432

[startup+582.301 s]
/proc/loadavg: 1.02 1.02 0.98 2/67 316
/proc/meminfo: memFree=1660384/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=128740 CPUtime=570.29
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 31581 0 0 0 56994 35 0 0 25 0 1 0 304762090 131829760 31530 1992294400 134512640 135215339 4294956256 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 32185 31530 77 171 0 32012 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 134096

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 0.98 2/67 316
/proc/meminfo: memFree=1653088/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=136456 CPUtime=630.27
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 33363 0 0 0 62989 38 0 0 25 0 1 0 304762090 139730944 33312 1992294400 134512640 135215339 4294956256 18446744073709551615 134538087 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 34114 33312 77 171 0 33941 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 141812

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/67 316
/proc/meminfo: memFree=1646176/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=143240 CPUtime=690.24
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 35084 0 0 0 68984 40 0 0 25 0 1 0 304762090 146677760 35033 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 35810 35033 77 171 0 35637 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 148596

[startup+762.306 s]
/proc/loadavg: 1.00 1.01 0.98 2/67 316
/proc/meminfo: memFree=1639200/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=150004 CPUtime=750.21
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 36789 0 0 0 74980 41 0 0 25 0 1 0 304762090 153604096 36738 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 37501 36738 77 171 0 37328 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 155360

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1631264/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=157856 CPUtime=810.18
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 38761 0 0 0 80974 44 0 0 25 0 1 0 304762090 161644544 38710 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/316/statm: 39464 38710 77 171 0 39291 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 163212

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1624544/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=164540 CPUtime=870.15
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 40397 0 0 0 86969 46 0 0 25 0 1 0 304762090 168488960 40346 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 41135 40346 77 171 0 40962 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 169896

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1617376/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=171552 CPUtime=930.13
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 42180 0 0 0 92965 48 0 0 25 0 1 0 304762090 175669248 42129 1992294400 134512640 135215339 4294956256 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 42888 42129 77 171 0 42715 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 176908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1611232/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=177732 CPUtime=990.09
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 43716 0 0 0 98960 49 0 0 25 0 1 0 304762090 181997568 43665 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 44433 43665 77 171 0 44260 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 183088

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1604960/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=184020 CPUtime=1050.06
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 45267 0 0 0 104956 50 0 0 25 0 1 0 304762090 188436480 45216 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 46005 45216 77 171 0 45832 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 189376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1598688/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=190580 CPUtime=1110.04
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 46786 0 0 0 110952 52 0 0 25 0 1 0 304762090 195153920 46735 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 47645 46735 77 171 0 47472 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 195936

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1592800/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=196568 CPUtime=1170.01
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 48259 0 0 0 116948 53 0 0 25 0 1 0 304762090 201285632 48208 1992294400 134512640 135215339 4294956256 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/316/statm: 49142 48208 77 171 0 48969 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 201924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 316
/proc/meminfo: memFree=1590752/2055920 swapFree=4179364/4192956
[pid=310] ppid=308 vsize=5356 CPUtime=11.71
/proc/310/stat : 310 (SatELiteGTI) S 308 310 32578 0 -1 4194304 336 67209 0 0 0 0 1126 45 16 0 1 0 304760916 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/310/statm: 1339 239 197 169 0 50 0
[pid=316] ppid=310 vsize=198428 CPUtime=1188.31
/proc/316/stat : 316 (minisat_static) R 310 310 32578 0 -1 4194304 48735 0 0 0 118777 54 0 0 25 0 1 0 304762090 203190272 48684 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/316/statm: 49607 48684 77 171 0 49434 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 203784

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 310 and gives
#  childrusage.ru_utime.tv_sec=11
#  childrusage.ru_utime.tv_usec=270286
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=455930
# CPU time returned by wait4() is 11.7262
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.61
CPU time (s): 1200.02
CPU user time (s): 1199.03
CPU system time (s): 0.99
CPU usage (%): 99.9507
Max. virtual memory (cumulated for all children) (KiB): 220536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2703
system time used= 0.45593
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67545
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= 14
involuntary context switches= 81

runsolver used 1.10683 second user time and 3.31549 second system time

The end

Launcher Data 

Begin job on node81 at 2009-05-19 23:08:31
IDJOB=1832025
IDBENCH=20375
IDSOLVER=671
FILE ID=node81/1832025-1242767308
PBS_JOBID= 9322222
Free space on /tmp= 126524 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832025-1242767308/watcher-1832025-1242767308 -o /tmp/evaluation-result-1832025-1242767308/solver-1832025-1242767308 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832025-1242767308.cnf

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

MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED=710630803

node81.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.234
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.234
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:       1808648 kB
Buffers:         13292 kB
Cached:         195996 kB
SwapCached:       7020 kB
Active:         104808 kB
Inactive:       113004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808648 kB
SwapTotal:     4192956 kB
SwapFree:      4179364 kB
Dirty:           30468 kB
Writeback:           0 kB
Mapped:          13660 kB
Slab:            15100 kB
Committed_AS:   930344 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126504 MiB
End job on node81 at 2009-05-19 23:28:33