Trace number 1820260

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.05 1199.93

General information on the benchmark

Nameindustrial/anbulagan/
medium-unsat/total-10-13-u.cnf
MD5SUMa443b9e3a7093c1d9a47b42016a65c52
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 variables226208
Number of clauses1021181
Sum of the clauses size2332626
Maximum clause length10
Minimum clause length1
Number of clauses of size 119072
Number of clauses of size 2821353
Number of clauses of size 3137896
Number of clauses of size 44760
Number of clauses of size 519040
Number of clauses of size over 519060

Solver Data 

0.00/0.00	c Parsing...
0.92/0.91	c ==============================================================================
0.92/0.91	c |           |     ORIGINAL     |              LEARNT              |          |
0.92/0.91	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.92/0.91	c ==============================================================================
0.92/0.91	c |         0 | 1002109  2313554 |  300632       0        0     nan |  0.000 % |
6.52/6.62	c |         0 |  363891   939019 |      --       0       --      -- |     --   | -364511/-752771
6.63/6.62	c ==============================================================================
6.63/6.62	c Result  :   #vars: 61601   #clauses: 363891   #literals: 939019
6.63/6.62	c CPU time:   6.33 s
6.63/6.62	c ==============================================================================
7.02/7.02	c This is MiniSat 2.0 beta
7.02/7.02	c WARNING: for repeatability, setting FPU to use double precision
7.02/7.02	c ============================[ Problem Statistics ]=============================
7.02/7.02	c |                                                                             |
7.02/7.02	c |  Number of variables:  61601                                                |
7.02/7.02	c |  Number of clauses:    363891                                               |
7.03/7.27	c |  Parsing time:         0.22         s                                       |
7.03/7.28	c ============================[ Search Statistics ]==============================
7.03/7.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.03/7.28	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.03/7.28	c ===============================================================================
7.03/7.28	c |         0 |   61601   363891   939019 |   121297        0    nan |  0.000 % |
7.03/7.60	c |       100 |   61354   363891   939019 |   121297       91     20 |  3.625 % |
7.73/7.80	c |       202 |   61332   363891   939019 |   121297      189     42 |  5.867 % |
8.22/8.23	c |       304 |   57931   340896   886349 |   121297      277     54 |  8.414 % |
8.62/8.67	c |       415 |   54658   319510   836213 |   121297      377     58 | 11.964 % |
8.92/8.92	c |       515 |   54658   319510   836213 |   121297      477     55 | 11.964 % |
9.12/9.21	c |       625 |   54231   316732   829866 |   121297      587     59 | 11.964 % |
9.62/9.67	c |       748 |   54231   316732   829866 |   121297      710     66 | 11.964 % |
9.93/9.96	c |       848 |   54034   315404   826773 |   121297      809     79 | 12.284 % |
10.13/10.17	c |       958 |   54027   315404   826773 |   121297      914     73 | 12.406 % |
10.33/10.34	c |      1079 |   53989   315404   826773 |   121297     1034     70 | 12.644 % |
10.73/10.72	c |      1212 |   53989   315404   826773 |   121297     1166     66 | 12.706 % |
11.03/11.04	c |      1312 |   53741   313732   822819 |   121297     1260     65 | 13.388 % |
11.33/11.37	c |      1424 |   53284   310660   815632 |   121297     1360     64 | 13.526 % |
11.53/11.60	c |      1546 |   53268   310660   815632 |   121297     1481     63 | 14.092 % |
11.93/11.93	c |      1682 |   53268   310660   815632 |   121297     1617     66 | 14.092 % |
12.43/12.50	c |      1829 |   52919   308211   809624 |   121297     1763     67 | 14.094 % |
12.73/12.72	c |      1929 |   52919   308211   809624 |   121297     1863     71 | 14.094 % |
12.93/13.01	c |      2039 |   52918   308208   809618 |   121297     1972     76 | 14.109 % |
13.33/13.39	c |      2160 |   52846   307627   808263 |   121297     2084     77 | 14.212 % |
13.53/13.57	c |      2293 |   52846   307627   808263 |   121297     2217     75 | 14.212 % |
13.83/13.88	c |      2439 |   52846   307627   808263 |   121297     2363     77 | 14.212 % |
14.33/14.37	c |      2599 |   52757   307008   806826 |   121297     2518     92 | 14.357 % |
14.63/14.69	c |      2699 |   52757   307008   806826 |   121297     2618     91 | 14.357 % |
15.13/15.20	c |      2813 |   52743   306946   806690 |   121297     2729     93 | 14.802 % |
15.43/15.45	c |      2934 |   52708   306946   806690 |   121297     2850     91 | 14.802 % |
15.93/15.98	c |      3069 |   52708   306946   806690 |   121297     2985     90 | 14.802 % |
16.33/16.39	c |      3216 |   52479   305223   802166 |   121297     3112     89 | 14.829 % |
16.83/16.85	c |      3378 |   52479   305223   802166 |   121297     3274     90 | 14.829 % |
17.43/17.43	c |      3554 |   52465   305083   801859 |   121297     3433     91 | 14.844 % |
17.53/17.60	c |      3660 |   52463   305083   801859 |   121297     3537     90 | 14.868 % |
17.83/17.84	c |      3773 |   52405   304899   801440 |   121297     3646     92 | 15.410 % |
18.33/18.35	c |      3894 |   52405   304899   801440 |   121297     3767     97 | 15.410 % |
18.63/18.71	c |      4027 |   52405   304899   801440 |   121297     3900     96 | 15.410 % |
19.13/19.14	c |      4174 |   52108   302691   795854 |   121297     4047     96 | 15.410 % |
19.93/19.95	c |      4335 |   52097   302618   795677 |   121297     4207     96 | 15.428 % |
20.43/20.44	c |      4514 |   52089   302618   795677 |   121297     4382    101 | 15.492 % |
20.83/20.91	c |      4707 |   51327   294593   775070 |   121297     4571    100 | 16.678 % |
21.23/21.31	c |      4809 |   51326   294593   775070 |   121297     4672    100 | 16.691 % |
21.63/21.63	c |      4919 |   51323   294593   775070 |   121297     4777    101 | 16.769 % |
21.93/21.95	c |      5040 |   51267   294163   774047 |   121297     4897    101 | 16.789 % |
22.33/22.41	c |      5173 |   51267   294163   774047 |   121297     5029    100 | 16.805 % |
22.63/22.67	c |      5320 |   51267   294163   774047 |   121297     5176    102 | 16.805 % |
22.93/23.02	c |      5482 |   51247   293975   773615 |   121297     5334    103 | 17.050 % |
23.23/23.27	c |      5658 |   51247   293975   773615 |   121297     5510    105 | 17.050 % |
23.73/23.74	c |      5851 |   51247   293975   773615 |   121297     5703    107 | 17.050 % |
24.13/24.18	c |      6063 |   51247   293975   773615 |   121297     5915    108 | 17.050 % |
24.53/24.59	c |      6163 |   51096   293056   771368 |   121297     6013    107 | 17.269 % |
24.83/24.85	c |      6274 |   51096   293056   771368 |   121297     6124    108 | 17.269 % |
25.03/25.10	c |      6397 |   51096   293056   771368 |   121297     6247    109 | 17.269 % |
25.33/25.36	c |      6532 |   51096   293056   771368 |   121297     6382    111 | 17.269 % |
25.63/25.65	c |      6686 |   50963   292174   769205 |   121297     6535    111 | 17.269 % |
26.23/26.31	c |      6846 |   50963   292174   769205 |   121297     6695    112 | 17.269 % |
26.93/26.99	c |      7022 |   50954   292102   769035 |   121297     6866    111 | 17.284 % |
27.13/27.21	c |      7215 |   50950   292102   769035 |   121297     7057    112 | 18.112 % |
27.83/27.86	c |      7427 |   50950   292102   769035 |   121297     7269    117 | 18.112 % |
28.53/28.56	c |      7660 |   50950   292102   769035 |   121297     7502    119 | 18.112 % |
28.83/28.87	c |      7760 |   50441   285388   751197 |   121297     7579    120 | 18.134 % |
29.23/29.22	c |      7870 |   50441   285388   751197 |   121297     7689    120 | 18.134 % |
29.43/29.46	c |      7991 |   50441   285388   751197 |   121297     7810    120 | 18.135 % |
29.83/29.85	c |      8127 |   50440   285388   751197 |   121297     7945    121 | 18.151 % |
30.13/30.19	c |      8273 |   50440   285388   751197 |   121297     8091    120 | 18.151 % |
30.53/30.60	c |      8434 |   50420   285192   750736 |   121297     8237    120 | 18.151 % |
31.03/31.04	c |      8610 |   50419   285192   750736 |   121297     8412    120 | 18.160 % |
31.43/31.43	c |      8804 |   50419   285192   750736 |   121297     8606    119 | 18.161 % |
31.83/31.84	c |      9016 |   50419   285192   750736 |   121297     8818    119 | 18.160 % |
32.23/32.22	c |      9249 |   50414   285139   750616 |   121297     9050    120 | 18.160 % |
32.93/32.94	c |      9508 |   50414   285139   750616 |   121297     9308    120 | 18.331 % |
33.13/33.17	c |      9610 |   50407   285139   750616 |   121297     9409    120 | 18.344 % |
33.33/33.37	c |      9720 |   50405   285139   750616 |   121297     9519    121 | 18.344 % |
33.63/33.64	c |      9843 |   50301   284392   748897 |   121297     9640    121 | 18.344 % |
33.83/33.90	c |      9977 |   50301   284392   748897 |   121297     9774    122 | 18.344 % |
34.43/34.47	c |     10125 |   50301   284392   748897 | 2147483647     9922    122 | 18.344 % |
34.93/34.92	c |     10286 |   50301   284392   748897 | 2147483647    10083    122 | 18.344 % |
35.23/35.31	c |     10462 |   50301   284392   748897 | 2147483647    10259    123 | 18.344 % |
35.73/35.78	c |     10656 |   50292   284331   748763 | 2147483647    10450    123 | 18.358 % |
36.53/36.55	c |     10868 |   50291   284331   748763 | 2147483647    10661    122 | 18.385 % |
37.03/37.11	c |     11101 |   50291   284331   748763 | 2147483647    10894    122 | 18.384 % |
37.63/37.67	c |     11357 |   50291   284331   748763 | 2147483647    11150    121 | 18.384 % |
38.13/38.19	c |     11641 |   50276   284208   748493 | 2147483647    11425    122 | 18.385 % |
38.33/38.39	c |     11742 |   50276   284208   748493 | 2147483647    11526    122 | 18.384 % |
38.63/38.65	c |     11852 |   50276   284208   748493 | 2147483647    11635    122 | 18.605 % |
38.83/38.85	c |     11973 |   50274   284208   748493 | 2147483647    11755    122 | 18.626 % |
39.13/39.13	c |     12106 |   50219   284208   748493 | 2147483647    11886    121 | 38.108 % |
39.33/39.38	c |     12252 |   50215   284208   748493 | 2147483647    12031    121 | 38.123 % |
39.83/39.89	c |     12412 |   38054   206827   555378 | 2147483647    11726    123 | 38.225 % |
40.23/40.26	c |     12588 |   38045   206827   555378 | 2147483647    11898    124 | 38.370 % |
40.53/40.59	c |     12781 |   38045   206827   555378 | 2147483647    12091    124 | 38.370 % |
41.33/41.37	c |     12995 |   38045   206827   555378 | 2147483647    12305    123 | 38.370 % |
41.73/41.81	c |     13229 |   37965   206234   553929 | 2147483647    12508    121 | 38.370 % |
42.53/42.52	c |     13488 |   37965   206234   553929 | 2147483647    12767    123 | 38.370 % |
42.83/42.87	c |     13772 |   37963   206234   553929 | 2147483647    13050    124 | 38.384 % |
43.33/43.38	c |     14081 |   37963   206234   553929 | 2147483647    13359    122 | 38.384 % |
43.63/43.62	c |     14184 |   37956   206160   553760 | 2147483647    13461    122 | 38.384 % |
43.83/43.84	c |     14294 |   37956   206160   553760 | 2147483647    13571    123 | 38.384 % |
44.03/44.08	c |     14420 |   37956   206160   553760 | 2147483647    13697    123 | 38.384 % |
44.23/44.29	c |     14553 |   37956   206160   553760 | 2147483647    13830    123 | 38.384 % |
44.53/44.53	c |     14700 |   37954   206160   553760 | 2147483647    13976    123 | 38.400 % |
44.83/44.86	c |     14860 |   37953   206160   553760 | 2147483647    14135    125 | 38.417 % |
45.13/45.18	c |     15036 |   37953   206160   553760 | 2147483647    14311    125 | 38.417 % |
45.43/45.49	c |     15230 |   37951   206160   553760 | 2147483647    14504    126 | 38.832 % |
45.83/45.82	c |     15443 |   37951   206160   553760 | 2147483647    14717    127 | 38.832 % |
46.33/46.32	c |     15676 |   37678   204670   548819 | 2147483647    14903    127 | 38.847 % |
46.73/46.73	c |     15934 |   37678   204670   548819 | 2147483647    15161    126 | 38.847 % |
47.33/47.36	c |     16215 |   37678   204670   548819 | 2147483647    15442    125 | 38.847 % |
48.03/48.11	c |     16528 |   37662   204528   548496 | 2147483647    15751    124 | 38.861 % |
48.63/48.66	c |     16867 |   37662   204528   548496 | 2147483647    16090    124 | 38.861 % |
48.93/48.92	c |     16967 |   37662   204528   548496 | 2147483647    16190    124 | 38.861 % |
49.23/49.22	c |     17079 |   37662   204528   548496 | 2147483647    16302    124 | 38.861 % |
49.33/49.38	c |     17201 |   37662   204528   548496 | 2147483647    16424    124 | 38.862 % |
49.53/49.58	c |     17338 |   37662   204528   548496 | 2147483647    16561    124 | 38.861 % |
49.73/49.78	c |     17484 |   37662   204528   548496 | 2147483647    16707    124 | 38.861 % |
49.93/50.01	c |     17645 |   37662   204528   548496 | 2147483647    16868    123 | 38.861 % |
50.53/50.55	c |     17822 |   37662   204528   548496 | 2147483647    17045    124 | 38.861 % |
51.03/51.02	c |     18015 |   37662   204528   548496 | 2147483647    17238    124 | 38.861 % |
51.33/51.35	c |     18229 |   37662   204528   548496 | 2147483647    17452    125 | 38.861 % |
51.93/51.94	c |     18465 |   37662   204528   548496 | 2147483647    17688    125 | 38.861 % |
52.33/52.32	c |     18722 |   37662   204528   548496 | 2147483647    17945    125 | 38.861 % |
52.83/52.83	c |     19006 |   37662   204528   548496 | 2147483647    18229    124 | 38.861 % |
53.43/53.48	c |     19319 |   37662   204528   548496 | 2147483647    18542    124 | 38.862 % |
54.03/54.06	c |     19658 |   37662   204528   548496 | 2147483647    18881    123 | 38.862 % |
54.73/54.76	c |     20035 |   37662   204528   548496 | 2147483647    19258    124 | 38.861 % |
54.93/55.00	c |     20135 |   37662   204528   548496 | 2147483647    19358    124 | 38.861 % |
55.23/55.23	c |     20246 |   37662   204528   548496 | 2147483647    19469    124 | 38.861 % |
55.43/55.46	c |     20367 |   37662   204528   548496 | 2147483647    19590    124 | 38.861 % |
55.63/55.69	c |     20503 |   37662   204528   548496 | 2147483647    19726    123 | 38.861 % |
55.93/55.92	c |     20652 |   37662   204528   548496 | 2147483647    19875    124 | 38.861 % |
56.33/56.35	c |     20813 |   37662   204528   548496 | 2147483647    20036    124 | 38.861 % |
56.63/56.68	c |     20989 |   37662   204528   548496 | 2147483647    20212    124 | 38.861 % |
57.13/57.16	c |     21183 |   37657   204518   548471 | 2147483647    20402    125 | 38.879 % |
57.53/57.59	c |     21395 |   37657   204518   548471 | 2147483647    20614    126 | 38.879 % |
57.93/57.96	c |     21632 |   37657   204518   548471 | 2147483647    20851    126 | 38.879 % |
58.53/58.58	c |     21888 |   37657   204518   548471 | 2147483647    21107    126 | 38.879 % |
59.13/59.17	c |     22169 |   37657   204518   548471 | 2147483647    21388    127 | 38.879 % |
59.73/59.73	c |     22479 |   37650   204518   548471 | 2147483647    21696    127 | 38.908 % |
60.43/60.47	c |     22818 |   37650   204518   548471 | 2147483647    22035    127 | 38.908 % |
61.53/61.55	c |     23196 |   37632   204316   547998 | 2147483647    22410    126 | 38.921 % |
62.13/62.21	c |     23608 |   37632   204316   547998 | 2147483647    22822    127 | 38.921 % |
62.53/62.52	c |     23708 |   37631   204316   547998 | 2147483647    22921    127 | 38.938 % |
62.83/62.91	c |     23818 |   37631   204316   547998 | 2147483647    23031    127 | 38.938 % |
63.23/63.23	c |     23939 |   37631   204316   547998 | 2147483647    23152    126 | 38.938 % |
63.63/63.64	c |     24072 |   37521   203493   546042 | 2147483647    23065    126 | 39.090 % |
63.93/63.94	c |     24219 |   37506   203493   546042 | 2147483647    23210    126 | 40.066 % |
64.23/64.26	c |     24380 |   37506   203493   546042 | 2147483647    23371    126 | 40.066 % |
64.63/64.63	c |     24556 |   37506   203493   546042 | 2147483647    23547    126 | 40.066 % |
64.94/64.97	c |     24751 |   37506   203493   546042 | 2147483647    23742    126 | 40.066 % |
65.23/65.30	c |     24963 |   37506   203493   546042 | 2147483647    23954    125 | 40.066 % |
65.63/65.64	c |     25196 |   37506   203493   546042 | 2147483647    24187    125 | 40.066 % |
66.04/66.06	c |     25453 |   37506   203493   546042 | 2147483647    24444    124 | 40.066 % |
66.53/66.58	c |     25734 |   37506   203493   546042 | 2147483647    24725    124 | 40.066 % |
67.14/67.15	c |     26043 |   37506   203493   546042 | 2147483647    25034    123 | 40.066 % |
67.63/67.61	c |     26382 |   37506   203493   546042 | 2147483647    25373    122 | 40.066 % |
68.13/68.19	c |     26754 |   37506   203493   546042 | 2147483647    25745    122 | 40.066 % |
68.93/68.95	c |     27163 |   36920   196524   527388 | 2147483647    26107    123 | 40.066 % |
69.73/69.73	c |     27614 |   36920   196524   527388 | 2147483647    26558    122 | 40.066 % |
69.93/69.94	c |     27715 |   36920   196524   527388 | 2147483647    26659    122 | 40.066 % |
70.23/70.30	c |     27826 |   36919   196524   527388 | 2147483647    26769    122 | 40.068 % |
70.73/70.78	c |     27948 |   36913   196524   527388 | 2147483647    26889    122 | 40.491 % |
71.23/71.26	c |     28083 |   36913   196524   527388 | 2147483647    27024    121 | 40.491 % |
71.54/71.54	c |     28229 |   36913   196524   527388 | 2147483647    27170    122 | 40.491 % |
71.83/71.81	c |     28390 |   36913   196524   527388 | 2147483647    27331    122 | 40.491 % |
72.13/72.13	c |     28566 |   36658   195291   524023 | 2147483647    27485    121 | 40.491 % |
72.53/72.52	c |     28760 |   36658   195291   524023 | 2147483647    27679    121 | 40.492 % |
72.93/72.92	c |     28973 |   36658   195291   524023 | 2147483647    27892    121 | 40.491 % |
73.33/73.32	c |     29207 |   36658   195291   524023 | 2147483647    28126    120 | 40.491 % |
73.74/73.77	c |     29466 |   36658   195291   524023 | 2147483647    28385    120 | 40.491 % |
74.33/74.41	c |     29749 |   36658   195291   524023 | 2147483647    28668    119 | 40.491 % |
75.03/75.02	c |     30058 |   36658   195291   524023 | 2147483647    28977    119 | 40.491 % |
75.73/75.71	c |     30398 |   36658   195291   524023 | 2147483647    29317    118 | 40.491 % |
76.33/76.35	c |     30771 |   36658   195291   524023 | 2147483647    29690    118 | 40.491 % |
76.93/77.00	c |     31180 |   36658   195291   524023 | 2147483647    30099    118 | 40.491 % |
78.14/78.15	c |     31632 |   36658   195291   524023 | 2147483647    30551    118 | 40.491 % |
79.53/79.53	c |     32125 |   36658   195291   524023 | 2147483647    31044    119 | 40.491 % |
79.83/79.84	c |     32228 |   36658   195291   524023 | 2147483647    31147    119 | 40.491 % |
80.03/80.10	c |     32339 |   36658   195291   524023 | 2147483647    31258    119 | 40.491 % |
80.43/80.51	c |     32460 |   36658   195291   524023 | 2147483647    31379    119 | 40.491 % |
80.93/80.91	c |     32595 |   36658   195291   524023 | 2147483647    31514    119 | 40.491 % |
81.33/81.31	c |     32741 |   36658   195291   524023 | 2147483647    31660    120 | 40.491 % |
81.83/81.85	c |     32901 |   36639   195159   523703 | 2147483647    31812    120 | 40.522 % |
82.23/82.30	c |     33079 |   36637   195159   523703 | 2147483647    31989    121 | 40.535 % |
82.63/82.66	c |     33272 |   36637   195159   523703 | 2147483647    32182    120 | 40.535 % |
83.13/83.12	c |     33484 |   36637   195159   523703 | 2147483647    32394    120 | 40.535 % |
83.64/83.64	c |     33718 |   36637   195159   523703 | 2147483647    32628    120 | 40.535 % |
84.23/84.28	c |     33977 |   36637   195159   523703 | 2147483647    32887    119 | 40.535 % |
84.93/84.98	c |     34259 |   36637   195159   523703 | 2147483647    33169    119 | 40.535 % |
85.53/85.53	c |     34568 |   36637   195159   523703 | 2147483647    33478    118 | 40.535 % |
86.13/86.18	c |     34909 |   36637   195159   523703 | 2147483647    33819    118 | 40.535 % |
86.94/86.95	c |     35282 |   36637   195159   523703 | 2147483647    34192    117 | 40.536 % |
87.63/87.67	c |     35691 |   36631   195097   523567 | 2147483647    34601    117 | 40.535 % |
88.83/88.84	c |     36148 |   36631   195097   523567 | 2147483647    35058    118 | 40.535 % |
90.13/90.20	c |     36642 |   36631   195097   523567 | 2147483647    35552    119 | 40.535 % |
91.63/91.66	c |     37184 |   36585   194751   522766 | 2147483647    36085    120 | 40.610 % |
91.83/91.89	c |     37284 |   36585   194751   522766 | 2147483647    36185    120 | 40.610 % |
92.04/92.10	c |     37395 |   36585   194751   522766 | 2147483647    36296    120 | 40.610 % |
92.24/92.28	c |     37516 |   36585   194751   522766 | 2147483647    36417    120 | 40.610 % |
92.54/92.54	c |     37651 |   36585   194751   522766 | 2147483647    36552    121 | 40.610 % |
92.84/92.89	c |     37798 |   36585   194751   522766 | 2147483647    36699    121 | 40.610 % |
93.24/93.23	c |     37958 |   36585   194751   522766 | 2147483647    36859    121 | 40.610 % |
93.64/93.70	c |     38134 |   36585   194751   522766 | 2147483647    37035    122 | 40.610 % |
94.24/94.29	c |     38328 |   36578   194751   522766 | 2147483647    37224    122 | 41.100 % |
94.54/94.58	c |     38541 |   36558   194751   522766 | 2147483647    37437    121 | 41.100 % |
95.14/95.19	c |     38778 |   36558   194751   522766 | 2147483647    37674    121 | 41.101 % |
95.54/95.59	c |     39035 |   36558   194751   522766 | 2147483647    37931    121 | 41.100 % |
96.14/96.15	c |     39317 |   36556   194751   522766 | 2147483647    38212    121 | 41.769 % |
96.64/96.71	c |     39627 |   36556   194751   522766 | 2147483647    38522    120 | 41.769 % |
97.34/97.35	c |     39967 |   36556   194751   522766 | 2147483647    38862    120 | 41.769 % |
98.04/98.07	c |     40342 |   36556   194751   522766 | 2147483647    39237    120 | 41.769 % |
98.94/98.93	c |     40751 |   35871   186416   500813 | 2147483647    39582    119 | 41.769 % |
99.84/99.90	c |     41201 |   35871   186416   500813 | 2147483647    40032    118 | 41.769 % |
100.84/100.89	c |     41694 |   35871   186416   500813 | 2147483647    40525    118 | 41.769 % |
102.14/102.21	c |     42236 |   35871   186416   500813 | 2147483647    41067    117 | 41.769 % |
103.34/103.41	c |     42833 |   35871   186416   500813 | 2147483647    41664    116 | 41.769 % |
103.64/103.66	c |     42935 |   35871   186416   500813 | 2147483647    41766    116 | 41.769 % |
104.04/104.04	c |     43047 |   35870   186416   500813 | 2147483647    41877    116 | 41.779 % |
104.24/104.23	c |     43170 |   35870   186416   500813 | 2147483647    42000    116 | 41.779 % |
104.54/104.53	c |     43305 |   35870   186416   500813 | 2147483647    42135    116 | 41.779 % |
104.74/104.80	c |     43453 |   35870   186416   500813 | 2147483647    42283    116 | 41.779 % |
105.14/105.16	c |     43613 |   35870   186416   500813 | 2147483647    42443    116 | 41.779 % |
105.54/105.57	c |     43789 |   35865   186363   500692 | 2147483647    42619    116 | 41.779 % |
105.94/105.96	c |     43982 |   35865   186363   500692 | 2147483647    42812    115 | 41.779 % |
106.34/106.38	c |     44195 |   35865   186363   500692 | 2147483647    43025    115 | 41.779 % |
106.74/106.79	c |     44428 |   35865   186363   500692 | 2147483647    43258    115 | 41.779 % |
107.24/107.30	c |     44684 |   35865   186363   500692 | 2147483647    43514    115 | 41.779 % |
107.74/107.80	c |     44965 |   35865   186363   500692 | 2147483647    43795    115 | 41.779 % |
108.34/108.39	c |     45274 |   35865   186363   500692 | 2147483647    44104    115 | 41.779 % |
109.14/109.16	c |     45614 |   35865   186363   500692 | 2147483647    44444    116 | 41.779 % |
110.34/110.32	c |     45987 |   35864   186363   500692 | 2147483647    44816    116 | 41.798 % |
111.64/111.66	c |     46398 |   35864   186363   500692 | 2147483647    45227    116 | 41.798 % |
113.04/113.09	c |     46847 |   35845   186233   500356 | 2147483647    45671    117 | 41.811 % |
114.24/114.31	c |     47342 |   35845   186233   500356 | 2147483647    46166    117 | 41.811 % |
115.64/115.65	c |     47887 |   35843   186233   500356 | 2147483647    46709    118 | 41.839 % |
116.84/116.82	c |     48484 |   35843   186233   500356 | 2147483647    47306    118 | 41.839 % |
118.14/118.21	c |     49140 |   35843   186233   500356 | 2147483647    47962    118 | 41.839 % |
118.54/118.56	c |     49240 |   35843   186233   500356 | 2147483647    48062    118 | 41.839 % |
118.94/118.95	c |     49350 |   35843   186233   500356 | 2147483647    48172    118 | 41.839 % |
119.14/119.21	c |     49472 |   35843   186233   500356 | 2147483647    48294    117 | 41.839 % |
119.54/119.56	c |     49606 |   35843   186233   500356 | 2147483647    48428    118 | 41.839 % |
119.84/119.90	c |     49753 |   35828   186109   500074 | 2147483647    48568    117 | 41.839 % |
120.54/120.52	c |     49914 |   35823   186109   500074 | 2147483647    48727    117 | 42.060 % |
121.14/121.19	c |     50090 |   35823   186109   500074 | 2147483647    48903    117 | 42.059 % |
121.64/121.64	c |     50284 |   35823   186109   500074 | 2147483647    49097    117 | 42.059 % |
122.14/122.14	c |     50500 |   35823   186109   500074 | 2147483647    49313    117 | 42.059 % |
122.64/122.68	c |     50733 |   35823   186109   500074 | 2147483647    49546    117 | 42.059 % |
123.34/123.36	c |     50989 |   35823   186109   500074 | 2147483647    49802    117 | 42.060 % |
124.04/124.06	c |     51270 |   35823   186109   500074 | 2147483647    50083    118 | 42.060 % |
124.64/124.63	c |     51579 |   35823   186109   500074 | 2147483647    50392    117 | 42.059 % |
125.34/125.34	c |     51919 |   35823   186109   500074 | 2147483647    50732    117 | 42.059 % |
126.04/126.08	c |     52291 |   35823   186109   500074 | 2147483647    51104    117 | 42.059 % |
126.84/126.91	c |     52700 |   35823   186109   500074 | 2147483647    51513    116 | 42.059 % |
127.74/127.72	c |     53149 |   35823   186109   500074 | 2147483647    51962    117 | 42.059 % |
128.84/128.87	c |     53643 |   35823   186109   500074 | 2147483647    52456    116 | 42.059 % |
130.04/130.08	c |     54186 |   35692   185084   497658 | 2147483647    52929    116 | 42.059 % |
131.24/131.23	c |     54782 |   35692   185084   497658 | 2147483647    53525    115 | 42.060 % |
132.64/132.67	c |     55438 |   35692   185084   497658 | 2147483647    54181    114 | 42.060 % |
133.84/133.89	c |     56159 |   35692   185084   497658 | 2147483647    54902    114 | 42.060 % |
134.14/134.13	c |     56263 |   35692   185084   497658 | 2147483647    55006    113 | 42.059 % |
134.44/134.42	c |     56373 |   35692   185084   497658 | 2147483647    55116    113 | 42.059 % |
134.64/134.69	c |     56494 |   35692   185084   497658 | 2147483647    55237    113 | 42.060 % |
134.94/134.92	c |     56628 |   35692   185084   497658 | 2147483647    55371    113 | 42.060 % |
135.14/135.16	c |     56776 |   35692   185084   497658 | 2147483647    55519    113 | 42.060 % |
135.44/135.43	c |     56936 |   35692   185084   497658 | 2147483647    55679    113 | 42.059 % |
135.74/135.76	c |     57112 |   35692   185084   497658 | 2147483647    55855    112 | 42.059 % |
136.24/136.31	c |     57307 |   35691   185084   497658 | 2147483647    56049    112 | 42.076 % |
136.74/136.75	c |     57522 |   35691   185084   497658 | 2147483647    56264    112 | 42.076 % |
137.24/137.24	c |     57757 |   35691   185084   497658 | 2147483647    56499    112 | 42.076 % |
137.94/137.92	c |     58013 |   35691   185084   497658 | 2147483647    56755    112 | 42.076 % |
138.54/138.56	c |     58294 |   35691   185084   497658 | 2147483647    57036    112 | 42.076 % |
139.24/139.22	c |     58604 |   35691   185084   497658 | 2147483647    57346    111 | 42.076 % |
139.94/139.95	c |     58943 |   35691   185084   497658 | 2147483647    57685    111 | 42.076 % |
140.64/140.66	c |     59315 |   35691   185084   497658 | 2147483647    58057    111 | 42.076 % |
141.44/141.46	c |     59725 |   35682   185022   497511 | 2147483647    58466    110 | 42.076 % |
142.24/142.30	c |     60175 |   35682   185022   497511 | 2147483647    58916    111 | 42.076 % |
143.24/143.27	c |     60670 |   35682   185022   497511 | 2147483647    59411    111 | 42.076 % |
144.34/144.32	c |     61213 |   35682   185022   497511 | 2147483647    59954    110 | 42.076 % |
145.74/145.72	c |     61809 |   35682   185022   497511 | 2147483647    60550    110 | 42.076 % |
147.34/147.37	c |     62464 |   35682   185022   497511 | 2147483647    61205    110 | 42.076 % |
148.94/148.94	c |     63184 |   35682   185022   497511 | 2147483647    61925    110 | 42.076 % |
150.64/150.71	c |     63981 |   35682   185022   497511 | 2147483647    62721    111 | 42.090 % |
150.94/150.94	c |     64085 |   35682   185022   497511 | 2147483647    62825    110 | 42.091 % |
151.24/151.29	c |     64196 |   35673   184959   497362 | 2147483647    62936    110 | 42.091 % |
151.54/151.53	c |     64318 |   35673   184959   497362 | 2147483647    63058    110 | 42.091 % |
151.74/151.78	c |     64451 |   35673   184959   497362 | 2147483647    63191    110 | 42.090 % |
152.04/152.09	c |     64599 |   35673   184959   497362 | 2147483647    63339    110 | 42.090 % |
152.44/152.44	c |     64759 |   35673   184959   497362 | 2147483647    63499    110 | 42.090 % |
152.84/152.88	c |     64936 |   35673   184959   497362 | 2147483647    63676    110 | 42.090 % |
153.34/153.40	c |     65140 |   35673   184959   497362 | 2147483647    63880    110 | 42.090 % |
153.84/153.86	c |     65354 |   35673   184959   497362 | 2147483647    64094    111 | 42.090 % |
154.34/154.41	c |     65587 |   35673   184959   497362 | 2147483647    64327    111 | 42.090 % |
155.04/155.04	c |     65844 |   35673   184959   497362 | 2147483647    64584    111 | 42.090 % |
155.64/155.69	c |     66125 |   35673   184959   497362 | 2147483647    64865    111 | 42.090 % |
156.34/156.37	c |     66435 |   35673   184959   497362 | 2147483647    65175    111 | 42.090 % |
157.14/157.14	c |     66775 |   35673   184959   497362 | 2147483647    65515    110 | 42.090 % |
157.84/157.89	c |     67148 |   35673   184959   497362 | 2147483647    65888    110 | 42.090 % |
158.74/158.75	c |     67559 |   35673   184959   497362 | 2147483647    66299    110 | 42.090 % |
159.94/159.98	c |     68008 |   35673   184959   497362 | 2147483647    66748    110 | 42.091 % |
161.04/161.04	c |     68501 |   35673   184959   497362 | 2147483647    67241    109 | 42.090 % |
162.14/162.19	c |     69045 |   35673   184959   497362 | 2147483647    67785    109 | 42.090 % |
163.34/163.40	c |     69642 |   35673   184959   497362 | 2147483647    68382    109 | 42.090 % |
164.74/164.80	c |     70298 |   35673   184959   497362 | 2147483647    69038    109 | 42.090 % |
166.34/166.35	c |     71019 |   35673   184959   497362 | 2147483647    69759    108 | 42.090 % |
168.04/168.07	c |     71812 |   35673   184959   497362 | 2147483647    70552    108 | 42.090 % |
170.04/170.02	c |     72686 |   35667   184904   497236 | 2147483647    71424    108 | 42.100 % |
170.34/170.41	c |     72788 |   35667   184904   497236 | 2147483647    71526    108 | 42.100 % |
170.64/170.66	c |     72898 |   35667   184904   497236 | 2147483647    71636    108 | 42.100 % |
170.94/170.91	c |     73019 |   35667   184904   497236 | 2147483647    71757    108 | 42.100 % |
171.24/171.25	c |     73154 |   35667   184904   497236 | 2147483647    71892    108 | 42.100 % |
171.74/171.76	c |     73300 |   35664   184904   497236 | 2147483647    72035    108 | 42.137 % |
172.24/172.30	c |     73460 |   35664   184904   497236 | 2147483647    72194    108 | 42.152 % |
172.75/172.80	c |     73636 |   35663   184904   497236 | 2147483647    72369    108 | 42.165 % |
173.34/173.39	c |     73830 |   35663   184904   497236 | 2147483647    72563    109 | 42.165 % |
173.95/174.00	c |     74044 |   35663   184904   497236 | 2147483647    72777    109 | 42.165 % |
174.45/174.48	c |     74278 |   35663   184904   497236 | 2147483647    73011    109 | 42.165 % |
175.05/175.11	c |     74534 |   35663   184904   497236 | 2147483647    73267    109 | 42.165 % |
175.85/175.91	c |     74815 |   35663   184904   497236 | 2147483647    73548    109 | 42.165 % |
176.65/176.62	c |     75124 |   35663   184904   497236 | 2147483647    73857    109 | 42.165 % |
177.45/177.48	c |     75468 |   35663   184904   497236 | 2147483647    74201    109 | 42.165 % |
178.45/178.44	c |     75842 |   35663   184904   497236 | 2147483647    74575    109 | 42.165 % |
179.35/179.37	c |     76255 |   35657   184904   497236 | 2147483647    74987    109 | 42.270 % |
180.45/180.48	c |     76704 |   35657   184904   497236 | 2147483647    75436    109 | 42.270 % |
182.15/182.20	c |     77197 |   35657   184904   497236 | 2147483647    75929    110 | 42.271 % |
183.55/183.55	c |     77739 |   35562   184183   495491 | 2147483647    76456    110 | 42.270 % |
184.95/184.96	c |     78335 |   35562   184183   495491 | 2147483647    77052    109 | 42.271 % |
186.25/186.28	c |     78990 |   35562   184183   495491 | 2147483647    77707    109 | 42.270 % |
187.75/187.81	c |     79710 |   35562   184183   495491 | 2147483647    78427    108 | 42.271 % |
190.35/190.36	c |     80503 |   35562   184183   495491 | 2147483647    79220    110 | 42.270 % |
192.65/192.62	c |     81374 |   35562   184183   495491 | 2147483647    80091    111 | 42.270 % |
195.15/195.21	c |     82333 |   35562   184183   495491 | 2147483647    81050    111 | 42.270 % |
195.45/195.44	c |     82433 |   35562   184183   495491 | 2147483647    81150    111 | 42.270 % |
195.75/195.77	c |     82547 |   35562   184183   495491 | 2147483647    81264    112 | 42.270 % |
196.15/196.17	c |     82671 |   35562   184183   495491 | 2147483647    81388    112 | 42.270 % |
196.55/196.54	c |     82805 |   35562   184183   495491 | 2147483647    81522    112 | 42.270 % |
196.95/196.94	c |     82951 |   35562   184183   495491 | 2147483647    81668    112 | 42.270 % |
197.35/197.37	c |     83112 |   35562   184183   495491 | 2147483647    81829    112 | 42.270 % |
197.85/197.83	c |     83289 |   35562   184183   495491 | 2147483647    82006    111 | 42.270 % |
198.35/198.33	c |     83482 |   35562   184183   495491 | 2147483647    82199    111 | 42.270 % |
198.95/199.02	c |     83694 |   35562   184183   495491 | 2147483647    82411    111 | 42.270 % |
199.65/199.71	c |     83927 |   31722   160630   435625 | 2147483647    82481    111 | 48.504 % |
200.45/200.42	c |     84184 |   31721   160630   435625 | 2147483647    82737    111 | 48.515 % |
201.15/201.14	c |     84465 |   31721   160630   435625 | 2147483647    83018    111 | 48.515 % |
202.05/202.02	c |     84776 |   31721   160630   435625 | 2147483647    83329    111 | 48.515 % |
202.75/202.81	c |     85116 |   31721   160630   435625 | 2147483647    83669    110 | 48.515 % |
203.75/203.76	c |     85488 |   31721   160630   435625 | 2147483647    84041    110 | 48.515 % |
205.05/205.03	c |     85898 |   31721   160630   435625 | 2147483647    84451    110 | 48.515 % |
206.55/206.59	c |     86347 |   31720   160630   435625 | 2147483647    84899    110 | 48.528 % |
207.75/207.73	c |     86842 |   31720   160630   435625 | 2147483647    85394    110 | 48.528 % |
209.45/209.43	c |     87385 |   31719   160630   435625 | 2147483647    85935    111 | 48.558 % |
211.25/211.30	c |     87983 |   31719   160630   435625 | 2147483647    86532    111 | 48.569 % |
213.45/213.46	c |     88638 |   31650   160123   434443 | 2147483647    87176    112 | 48.621 % |
215.85/215.91	c |     89361 |   31650   160123   434443 | 2147483647    87899    112 | 48.621 % |
218.24/218.29	c |     90158 |   31648   160123   434443 | 2147483647    88694    112 | 48.678 % |
220.94/220.91	c |     91029 |   31646   160123   434443 | 2147483647    89564    113 | 48.694 % |
223.04/223.05	c |     91989 |   31646   160123   434443 | 2147483647    90523    113 | 48.696 % |
225.74/225.79	c |     93045 |   31646   160123   434443 | 2147483647    91579    112 | 48.696 % |
226.14/226.11	c |     93150 |   31646   160123   434443 | 2147483647    91684    112 | 48.696 % |
226.44/226.43	c |     93260 |   31646   160123   434443 | 2147483647    91794    112 | 48.696 % |
226.74/226.78	c |     93384 |   31646   160123   434443 | 2147483647    91918    112 | 48.696 % |
227.14/227.17	c |     93518 |   31646   160123   434443 | 2147483647    92052    112 | 48.696 % |
227.75/227.75	c |     93665 |   31584   159630   433242 | 2147483647    92163    112 | 48.728 % |
228.14/228.18	c |     93826 |   31584   159630   433242 | 2147483647    92324    112 | 48.728 % |
228.74/228.73	c |     94004 |   31584   159630   433242 | 2147483647    92502    112 | 48.728 % |
229.24/229.30	c |     94202 |   31584   159630   433242 | 2147483647    92700    112 | 48.728 % |
229.74/229.79	c |     94419 |   31584   159630   433242 | 2147483647    92917    112 | 48.728 % |
230.34/230.39	c |     94652 |   31584   159630   433242 | 2147483647    93150    112 | 48.728 % |
230.94/231.00	c |     94908 |   31584   159630   433242 | 2147483647    93406    112 | 48.728 % |
231.74/231.79	c |     95191 |   31584   159630   433242 | 2147483647    93689    112 | 48.728 % |
232.74/232.77	c |     95500 |   31584   159630   433242 | 2147483647    93998    112 | 48.728 % |
233.54/233.54	c |     95839 |   31584   159630   433242 | 2147483647    94337    112 | 48.728 % |
234.64/234.67	c |     96211 |   31584   159630   433242 | 2147483647    94709    112 | 48.728 % |
235.64/235.70	c |     96620 |   31584   159630   433242 | 2147483647    95118    112 | 48.728 % |
237.04/237.08	c |     97073 |   31584   159630   433242 | 2147483647    95571    112 | 48.728 % |
238.34/238.40	c |     97566 |   31584   159630   433242 | 2147483647    96064    113 | 48.728 % |
240.14/240.12	c |     98108 |   31584   159630   433242 | 2147483647    96606    112 | 48.728 % |
242.14/242.14	c |     98707 |   31584   159630   433242 | 2147483647    97205    112 | 48.728 % |
244.34/244.32	c |     99364 |   31584   159630   433242 | 2147483647    97862    112 | 48.728 % |
247.14/247.14	c |    100086 |   31577   159569   433096 | 2147483647    98581    112 | 48.740 % |
249.34/249.33	c |    100884 |   31577   159569   433096 | 2147483647    99379    111 | 48.740 % |
251.74/251.73	c |    101755 |   31577   159569   433096 | 2147483647   100249    111 | 48.746 % |
254.24/254.21	c |    102713 |   31577   159569   433096 | 2147483647   101207    110 | 48.746 % |
256.75/256.77	c |    103766 |   31577   159569   433096 | 2147483647   102260    110 | 48.746 % |
259.75/259.72	c |    104927 |   31577   159569   433096 | 2147483647   103421    109 | 48.746 % |
259.95/259.98	c |    105029 |   31577   159569   433096 | 2147483647   103523    109 | 48.746 % |
260.25/260.29	c |    105139 |   31577   159569   433096 | 2147483647   103633    109 | 48.746 % |
260.65/260.62	c |    105260 |   31577   159569   433096 | 2147483647   103754    109 | 48.746 % |
261.05/261.02	c |    105393 |   31577   159569   433096 | 2147483647   103887    109 | 48.746 % |
261.45/261.46	c |    105549 |   31577   159569   433096 | 2147483647   104043    109 | 48.746 % |
261.85/261.89	c |    105711 |   31577   159569   433096 | 2147483647   104205    109 | 48.746 % |
262.45/262.44	c |    105888 |   31577   159569   433096 | 2147483647   104382    109 | 48.746 % |
263.05/263.05	c |    106081 |   31577   159569   433096 | 2147483647   104575    109 | 48.747 % |
263.55/263.60	c |    106293 |   31577   159569   433096 | 2147483647   104787    109 | 48.747 % |
264.15/264.20	c |    106527 |   31577   159569   433096 | 2147483647   105021    109 | 48.746 % |
264.75/264.80	c |    106783 |   31577   159569   433096 | 2147483647   105277    109 | 48.746 % |
265.35/265.36	c |    107065 |   31577   159569   433096 | 2147483647   105559    108 | 48.746 % |
266.35/266.32	c |    107378 |   31577   159569   433096 | 2147483647   105872    108 | 48.746 % |
267.35/267.32	c |    107717 |   31577   159569   433096 | 2147483647   106211    108 | 48.746 % |
268.45/268.42	c |    108090 |   31577   159569   433096 | 2147483647   106584    108 | 48.746 % |
269.65/269.65	c |    108500 |   31577   159569   433096 | 2147483647   106994    108 | 48.746 % |
270.75/270.75	c |    108952 |   31577   159569   433096 | 2147483647   107446    108 | 48.746 % |
271.95/272.01	c |    109446 |   31577   159569   433096 | 2147483647   107940    107 | 48.746 % |
273.45/273.45	c |    109988 |   31573   159540   433019 | 2147483647   108482    107 | 48.747 % |
274.85/274.84	c |    110584 |   31573   159540   433019 | 2147483647   109078    107 | 48.747 % |
276.85/276.88	c |    111239 |   31573   159540   433019 | 2147483647   109733    106 | 48.747 % |
278.75/278.76	c |    111960 |   31573   159540   433019 | 2147483647   110454    106 | 48.746 % |
280.75/280.76	c |    112753 |   31573   159540   433019 | 2147483647   111247    106 | 48.747 % |
283.15/283.11	c |    113625 |   31573   159540   433019 | 2147483647   112119    105 | 48.747 % |
285.45/285.42	c |    114585 |   31573   159540   433019 | 2147483647   113079    105 | 48.746 % |
288.25/288.30	c |    115638 |   31573   159540   433019 | 2147483647   114132    105 | 48.746 % |
291.55/291.59	c |    116798 |   31573   159540   433019 | 2147483647   115292    105 | 48.746 % |
295.55/295.52	c |    118073 |   31573   159540   433019 | 2147483647   116567    105 | 48.746 % |
295.85/295.89	c |    118174 |   31573   159540   433019 | 2147483647   116668    105 | 48.746 % |
296.15/296.16	c |    118284 |   31573   159540   433019 | 2147483647   116778    105 | 48.746 % |
296.45/296.44	c |    118406 |   31573   159540   433019 | 2147483647   116900    105 | 48.746 % |
296.75/296.79	c |    118539 |   31573   159540   433019 | 2147483647   117033    105 | 48.746 % |
297.35/297.33	c |    118686 |   31573   159540   433019 | 2147483647   117180    105 | 48.746 % |
297.95/297.97	c |    118850 |   31573   159540   433019 | 2147483647   117344    105 | 48.746 % |
298.65/298.67	c |    119028 |   31573   159540   433019 | 2147483647   117522    105 | 48.746 % |
299.35/299.34	c |    119222 |   31573   159540   433019 | 2147483647   117716    105 | 48.746 % |
300.15/300.11	c |    119439 |   31573   159540   433019 | 2147483647   117933    105 | 48.746 % |
300.85/300.90	c |    119672 |   31573   159540   433019 | 2147483647   118166    105 | 48.746 % |
301.75/301.78	c |    119929 |   31573   159540   433019 | 2147483647   118423    105 | 48.746 % |
302.75/302.71	c |    120210 |   31573   159540   433019 | 2147483647   118704    105 | 48.746 % |
304.05/304.08	c |    120525 |   31564   159476   432869 | 2147483647   119016    105 | 48.761 % |
305.35/305.39	c |    120866 |   31564   159476   432869 | 2147483647   119356    105 | 48.777 % |
306.65/306.67	c |    121240 |   31564   159476   432869 | 2147483647   119730    105 | 48.777 % |
307.95/307.92	c |    121649 |   31564   159476   432869 | 2147483647   120139    105 | 48.777 % |
309.55/309.59	c |    122101 |   31564   159476   432869 | 2147483647   120591    105 | 48.777 % |
311.15/311.18	c |    122596 |   31564   159476   432869 | 2147483647   121086    106 | 48.777 % |
312.85/312.86	c |    123139 |   31564   159476   432869 | 2147483647   121629    106 | 48.777 % |
314.95/314.92	c |    123735 |   31564   159476   432869 | 2147483647   122225    106 | 48.777 % |
316.65/316.69	c |    124390 |   31564   159476   432869 | 2147483647   122880    105 | 48.777 % |
318.85/318.83	c |    125115 |   31564   159476   432869 | 2147483647   123605    105 | 48.777 % |
321.85/321.86	c |    125907 |   31564   159476   432869 | 2147483647   124397    105 | 48.777 % |
325.45/325.41	c |    126780 |   31564   159476   432869 | 2147483647   125270    105 | 48.777 % |
328.15/328.19	c |    127742 |   31553   159415   432704 | 2147483647   126229    104 | 48.790 % |
332.45/332.42	c |    128796 |   31553   159415   432704 | 2147483647   127283    104 | 48.790 % |
336.85/336.90	c |    129954 |   31553   159415   432704 | 2147483647   128441    104 | 48.790 % |
340.56/340.59	c |    131230 |   31553   159415   432704 | 2147483647   129717    105 | 48.790 % |
345.66/345.69	c |    132635 |   31553   159415   432704 | 2147483647   131121    105 | 48.804 % |
346.16/346.14	c |    132737 |   31537   159274   432366 | 2147483647   131221    105 | 48.804 % |
346.66/346.63	c |    132847 |   31537   159274   432366 | 2147483647   131331    105 | 48.804 % |
347.06/347.07	c |    132974 |   31537   159274   432366 | 2147483647   131458    105 | 48.804 % |
347.46/347.48	c |    133107 |   31537   159274   432366 | 2147483647   131591    105 | 48.804 % |
347.86/347.90	c |    133254 |   31537   159274   432366 | 2147483647   131738    105 | 48.804 % |
348.26/348.28	c |    133416 |   31537   159274   432366 | 2147483647   131900    105 | 48.804 % |
349.06/349.08	c |    133592 |   31537   159274   432366 | 2147483647   132076    105 | 48.804 % |
349.66/349.63	c |    133787 |   31537   159274   432366 | 2147483647   132271    105 | 48.804 % |
350.16/350.20	c |    133999 |   31537   159274   432366 | 2147483647   132483    105 | 48.805 % |
350.86/350.86	c |    134233 |   31537   159274   432366 | 2147483647   132717    105 | 48.805 % |
351.66/351.70	c |    134490 |   31537   159274   432366 | 2147483647   132974    105 | 48.805 % |
352.66/352.65	c |    134772 |   31537   159274   432366 | 2147483647   133256    105 | 48.804 % |
353.66/353.63	c |    135083 |   31537   159274   432366 | 2147483647   133567    105 | 48.804 % |
354.66/354.65	c |    135423 |   31537   159274   432366 | 2147483647   133907    105 | 48.804 % |
356.06/356.03	c |    135795 |   31537   159274   432366 | 2147483647   134279    105 | 48.804 % |
357.36/357.40	c |    136208 |   31537   159274   432366 | 2147483647   134692    105 | 48.804 % |
358.86/358.90	c |    136657 |   31537   159274   432366 | 2147483647   135141    105 | 48.804 % |
360.16/360.18	c |    137150 |   31537   159274   432366 | 2147483647   135634    105 | 48.804 % |
361.76/361.81	c |    137696 |   31537   159274   432366 | 2147483647   136180    105 | 48.804 % |
363.76/363.72	c |    138293 |   31537   159274   432366 | 2147483647   136777    104 | 48.805 % |
365.76/365.77	c |    138948 |   31537   159274   432366 | 2147483647   137432    104 | 48.804 % |
368.16/368.12	c |    139668 |   31537   159274   432366 | 2147483647   138152    104 | 48.805 % |
370.96/370.97	c |    140460 |   31537   159274   432366 | 2147483647   138944    104 | 48.805 % |
374.26/374.23	c |    141335 |   31537   159274   432366 | 2147483647   139819    103 | 48.804 % |
377.36/377.36	c |    142293 |   31537   159274   432366 | 2147483647   140777    103 | 48.804 % |
381.16/381.16	c |    143348 |   31537   159274   432366 | 2147483647   141832    103 | 48.804 % |
385.26/385.21	c |    144509 |   31537   159274   432366 | 2147483647   142993    102 | 48.804 % |
390.06/390.07	c |    145785 |   31537   159274   432366 | 2147483647   144269    102 | 48.804 % |
394.86/394.84	c |    147185 |   31537   159274   432366 | 2147483647   145669    101 | 48.804 % |
399.66/399.68	c |    148725 |   31537   159274   432366 | 2147483647   147209    101 | 48.804 % |
400.06/400.02	c |    148827 |   31537   159274   432366 | 2147483647   147311    101 | 48.804 % |
400.36/400.37	c |    148937 |   31537   159274   432366 | 2147483647   147421    101 | 48.804 % |
400.76/400.74	c |    149062 |   31537   159274   432366 | 2147483647   147546    101 | 48.804 % |
401.16/401.18	c |    149197 |   31537   159274   432366 | 2147483647   147681    101 | 48.804 % |
401.76/401.77	c |    149343 |   31537   159274   432366 | 2147483647   147827    101 | 48.804 % |
402.26/402.28	c |    149505 |   31537   159274   432366 | 2147483647   147989    101 | 48.804 % |
402.96/402.95	c |    149681 |   31537   159274   432366 | 2147483647   148165    101 | 48.805 % |
403.46/403.47	c |    149874 |   31537   159274   432366 | 2147483647   148358    101 | 48.804 % |
404.06/404.11	c |    150086 |   31537   159274   432366 | 2147483647   148570    101 | 48.804 % |
405.26/405.22	c |    150319 |   31537   159274   432366 | 2147483647   148803    101 | 48.804 % |
406.36/406.38	c |    150576 |   31528   159209   432215 | 2147483647   149058    101 | 48.832 % |
407.36/407.40	c |    150857 |   31528   159209   432215 | 2147483647   149339    101 | 48.832 % |
408.76/408.77	c |    151173 |   31528   159209   432215 | 2147483647   149655    101 | 48.832 % |
410.26/410.23	c |    151514 |   31528   159209   432215 | 2147483647   149996    101 | 48.832 % |
411.76/411.74	c |    151886 |   31528   159209   432215 | 2147483647   150368    101 | 48.832 % |
413.36/413.36	c |    152297 |   31528   159209   432215 | 2147483647   150779    102 | 48.832 % |
414.96/414.98	c |    152747 |   31528   159209   432215 | 2147483647   151229    102 | 48.832 % |
417.16/417.11	c |    153241 |   31528   159209   432215 | 2147483647   151723    101 | 48.832 % |
419.17/419.17	c |    153783 |   31528   159209   432215 | 2147483647   152265    102 | 48.832 % |
421.57/421.55	c |    154379 |   31520   159209   432215 | 2147483647   152860    102 | 48.989 % |
423.77/423.78	c |    155034 |   31520   159209   432215 | 2147483647   153514    102 | 49.017 % |
426.27/426.32	c |    155756 |   31520   159209   432215 | 2147483647   154236    103 | 49.017 % |
429.27/429.29	c |    156548 |   31520   159209   432215 | 2147483647   155028    103 | 49.017 % |
432.67/432.71	c |    157421 |   31520   159209   432215 | 2147483647   155901    103 | 49.017 % |
436.27/436.31	c |    158379 |   31406   158369   430215 | 2147483647   156845    103 | 49.017 % |
440.87/440.84	c |    159435 |   31406   158369   430215 | 2147483647   157901    103 | 49.017 % |
445.27/445.30	c |    160594 |   31406   158369   430215 | 2147483647   159060    103 | 49.017 % |
449.27/449.26	c |    161868 |   31406   158369   430215 | 2147483647   160334    103 | 49.018 % |
453.77/453.81	c |    163268 |   31406   158369   430215 | 2147483647   161734    103 | 49.017 % |
458.87/458.82	c |    164808 |   31406   158369   430215 | 2147483647   163274    103 | 49.017 % |
464.37/464.39	c |    166505 |   31406   158369   430215 | 2147483647   164971    102 | 49.017 % |
464.87/464.89	c |    166607 |   31406   158369   430215 | 2147483647   165073    102 | 49.017 % |
465.27/465.31	c |    166718 |   31406   158369   430215 | 2147483647   165184    102 | 49.018 % |
465.67/465.69	c |    166840 |   31406   158369   430215 | 2147483647   165306    102 | 49.017 % |
466.17/466.21	c |    166974 |   31406   158369   430215 | 2147483647   165440    102 | 49.017 % |
466.87/466.85	c |    167122 |   31406   158369   430215 | 2147483647   165588    102 | 49.017 % |
467.47/467.48	c |    167282 |   31406   158369   430215 | 2147483647   165748    102 | 49.018 % |
467.97/467.99	c |    167458 |   31406   158369   430215 | 2147483647   165924    102 | 49.017 % |
468.68/468.70	c |    167651 |   31406   158369   430215 | 2147483647   166117    102 | 49.017 % |
469.27/469.24	c |    167863 |   31406   158369   430215 | 2147483647   166329    102 | 49.018 % |
469.97/469.92	c |    168104 |   31406   158369   430215 | 2147483647   166570    102 | 49.017 % |
470.47/470.51	c |    168360 |   31406   158369   430215 | 2147483647   166826    102 | 49.017 % |
471.27/471.22	c |    168643 |   31406   158369   430215 | 2147483647   167109    102 | 49.017 % |
472.47/472.44	c |    168953 |   31406   158369   430215 | 2147483647   167419    102 | 49.017 % |
473.67/473.64	c |    169292 |   31406   158369   430215 | 2147483647   167758    102 | 49.017 % |
474.77/474.76	c |    169664 |   31406   158369   430215 | 2147483647   168130    102 | 49.017 % |
476.07/476.10	c |    170074 |   31406   158369   430215 | 2147483647   168540    102 | 49.017 % |
478.27/478.21	c |    170524 |   31406   158369   430215 | 2147483647   168990    102 | 49.017 % |
480.57/480.53	c |    171017 |   31406   158369   430215 | 2147483647   169483    102 | 49.017 % |
482.57/482.56	c |    171561 |   31406   158369   430215 | 2147483647   170027    102 | 49.017 % |
484.77/484.72	c |    172157 |   31406   158369   430215 | 2147483647   170623    102 | 49.017 % |
487.38/487.39	c |    172814 |   31406   158369   430215 | 2147483647   171280    102 | 49.017 % |
489.87/489.85	c |    173534 |   31406   158369   430215 | 2147483647   172000    102 | 49.017 % |
493.07/493.09	c |    174327 |   31294   157798   428681 | 2147483647   172785    103 | 49.228 % |
496.87/496.90	c |    175199 |   31294   157798   428681 | 2147483647   173657    103 | 49.228 % |
500.17/500.19	c |    176161 |   31294   157798   428681 | 2147483647   174619    103 | 49.228 % |
504.48/504.49	c |    177214 |   31294   157798   428681 | 2147483647   175672    103 | 49.228 % |
508.58/508.61	c |    178384 |   31293   157798   428681 | 2147483647   176841    103 | 49.244 % |
514.08/514.06	c |    179658 |   31293   157798   428681 | 2147483647   178114    103 | 49.262 % |
520.18/520.21	c |    181058 |   31247   157482   427918 | 2147483647   179485    104 | 49.275 % |
526.08/526.11	c |    182600 |   31247   157482   427918 | 2147483647   181027    104 | 49.275 % |
532.68/532.62	c |    184298 |   31247   157482   427918 | 2147483647   182724    104 | 49.290 % |
539.58/539.54	c |    186164 |   31247   157482   427918 | 2147483647   184590    104 | 49.290 % |
539.98/539.98	c |    186267 |   31247   157482   427918 | 2147483647   184693    104 | 49.290 % |
540.38/540.39	c |    186377 |   31247   157482   427918 | 2147483647   184803    104 | 49.290 % |
540.88/540.82	c |    186500 |   31247   157482   427918 | 2147483647   184926    104 | 49.290 % |
541.68/541.64	c |    186633 |   31247   157482   427918 | 2147483647   185059    104 | 49.290 % |
542.08/542.06	c |    186779 |   31247   157482   427918 | 2147483647   185205    104 | 49.290 % |
542.68/542.67	c |    186941 |   31247   157482   427918 | 2147483647   185367    104 | 49.290 % |
543.28/543.29	c |    187118 |   31247   157482   427918 | 2147483647   185544    104 | 49.290 % |
543.88/543.89	c |    187311 |   31247   157482   427918 | 2147483647   185737    104 | 49.290 % |
544.58/544.56	c |    187523 |   31247   157482   427918 | 2147483647   185949    104 | 49.290 % |
545.68/545.71	c |    187756 |   31247   157482   427918 | 2147483647   186182    104 | 49.290 % |
546.98/546.98	c |    188012 |   31247   157482   427918 | 2147483647   186438    104 | 49.290 % |
548.28/548.23	c |    188297 |   31247   157482   427918 | 2147483647   186723    104 | 49.290 % |
549.88/549.83	c |    188606 |   31247   157482   427918 | 2147483647   187032    104 | 49.290 % |
551.38/551.39	c |    188945 |   31247   157482   427918 | 2147483647   187371    103 | 49.290 % |
553.08/553.11	c |    189320 |   31247   157482   427918 | 2147483647   187746    103 | 49.290 % |
555.38/555.35	c |    189729 |   31247   157482   427918 | 2147483647   188155    103 | 49.290 % |
557.88/557.87	c |    190179 |   31243   157482   427918 | 2147483647   188604    103 | 49.340 % |
559.88/559.82	c |    190673 |   31243   157482   427918 | 2147483647   189098    103 | 49.340 % |
561.68/561.66	c |    191216 |   31243   157482   427918 | 2147483647   189641    103 | 49.340 % |
563.68/563.67	c |    191812 |   31242   157482   427918 | 2147483647   190236    103 | 49.353 % |
566.18/566.16	c |    192467 |   31242   157482   427918 | 2147483647   190891    103 | 49.353 % |
568.28/568.29	c |    193189 |   31199   157162   427116 | 2147483647   191578    104 | 49.353 % |
570.68/570.70	c |    193981 |   31199   157162   427116 | 2147483647   192370    104 | 49.353 % |
573.58/573.56	c |    194852 |   31199   157162   427116 | 2147483647   193241    104 | 49.353 % |
577.47/577.49	c |    195814 |   31197   157162   427116 | 2147483647   194201    104 | 49.498 % |
580.77/580.73	c |    196869 |   31197   157162   427116 | 2147483647   195256    104 | 49.498 % |
584.78/584.78	c |    198028 |   31197   157162   427116 | 2147483647   196415    105 | 49.498 % |
589.68/589.68	c |    199302 |   31197   157162   427116 | 2147483647   197689    105 | 49.498 % |
596.38/596.35	c |    200707 |   31197   157162   427116 | 2147483647   199093    106 | 49.514 % |
602.88/602.85	c |    202248 |   31197   157162   427116 | 2147483647   200634    107 | 49.514 % |
610.28/610.25	c |    203945 |   31193   157162   427116 | 2147483647   202330    107 | 49.541 % |
618.78/618.71	c |    205809 |   31083   156402   425234 | 2147483647   204177    107 | 49.558 % |
625.78/625.79	c |    207858 |   31076   156402   425234 | 2147483647   206223    107 | 49.777 % |
626.18/626.19	c |    207959 |   31076   156402   425234 | 2147483647   206324    107 | 49.777 % |
626.88/626.84	c |    208072 |   31076   156402   425234 | 2147483647   206437    107 | 49.777 % |
627.18/627.19	c |    208195 |   31076   156402   425234 | 2147483647   206560    107 | 49.777 % |
627.78/627.78	c |    208330 |   31076   156402   425234 | 2147483647   206695    107 | 49.777 % |
628.48/628.45	c |    208476 |   31076   156402   425234 | 2147483647   206841    107 | 49.777 % |
629.08/629.08	c |    208637 |   31076   156402   425234 | 2147483647   207002    107 | 49.777 % |
629.68/629.66	c |    208813 |   31076   156402   425234 | 2147483647   207178    107 | 49.777 % |
630.28/630.27	c |    209006 |   31076   156402   425234 | 2147483647   207371    107 | 49.777 % |
630.88/630.88	c |    209220 |   31076   156402   425234 | 2147483647   207585    107 | 49.777 % |
631.78/631.73	c |    209454 |   31076   156402   425234 | 2147483647   207819    107 | 49.777 % |
632.78/632.77	c |    209710 |   31076   156402   425234 | 2147483647   208075    107 | 49.777 % |
634.38/634.34	c |    209992 |   31076   156402   425234 | 2147483647   208357    107 | 49.777 % |
636.38/636.34	c |    210301 |   31076   156402   425234 | 2147483647   208666    107 | 49.777 % |
638.28/638.21	c |    210646 |   31076   156402   425234 | 2147483647   209011    107 | 49.777 % |
639.98/639.98	c |    211026 |   31076   156402   425234 | 2147483647   209391    107 | 49.777 % |
642.18/642.11	c |    211436 |   31076   156402   425234 | 2147483647   209801    107 | 49.777 % |
644.48/644.43	c |    211887 |   31076   156402   425234 | 2147483647   210252    107 | 49.777 % |
647.18/647.12	c |    212381 |   31076   156402   425234 | 2147483647   210746    107 | 49.777 % |
650.28/650.22	c |    212923 |   31076   156402   425234 | 2147483647   211288    106 | 49.777 % |
653.88/653.84	c |    213520 |   31076   156402   425234 | 2147483647   211885    106 | 49.777 % |
656.38/656.32	c |    214175 |   31076   156402   425234 | 2147483647   212540    106 | 49.777 % |
659.18/659.17	c |    214895 |   31076   156402   425234 | 2147483647   213260    107 | 49.777 % |
663.08/663.02	c |    215687 |   30938   155511   422905 | 2147483647   214029    107 | 49.777 % |
667.09/667.05	c |    216559 |   30938   155511   422905 | 2147483647   214901    107 | 49.777 % |
670.69/670.64	c |    217518 |   30938   155511   422905 | 2147483647   215860    106 | 49.777 % |
675.29/675.26	c |    218571 |   30938   155511   422905 | 2147483647   216913    107 | 49.777 % |
679.89/679.85	c |    219729 |   30938   155511   422905 | 2147483647   218071    106 | 49.777 % |
684.89/684.84	c |    221004 |   30938   155511   422905 | 2147483647   219346    106 | 49.777 % |
691.89/691.89	c |    222406 |   30938   155511   422905 | 2147483647   220748    106 | 49.777 % |
698.69/698.64	c |    223948 |   30937   155511   422905 | 2147483647   222289    106 | 49.783 % |
705.59/705.51	c |    225645 |   30937   155511   422905 | 2147483647   223986    106 | 49.783 % |
714.09/714.06	c |    227508 |   30936   155511   422905 | 2147483647   225848    106 | 49.827 % |
723.19/723.15	c |    229557 |   30936   155511   422905 | 2147483647   227897    106 | 49.827 % |
733.19/733.16	c |    231812 |   30907   155331   422422 | 2147483647   230144    106 | 49.827 % |
733.80/733.73	c |    231916 |   30907   155331   422422 | 2147483647   230248    106 | 49.827 % |
734.19/734.21	c |    232028 |   30907   155331   422422 | 2147483647   230360    106 | 49.827 % |
734.79/734.77	c |    232149 |   30907   155331   422422 | 2147483647   230481    106 | 49.827 % |
735.39/735.31	c |    232283 |   30907   155331   422422 | 2147483647   230615    106 | 49.827 % |
736.39/736.39	c |    232432 |   30907   155331   422422 | 2147483647   230764    106 | 49.827 % |
737.29/737.30	c |    232593 |   30907   155331   422422 | 2147483647   230925    106 | 49.828 % |
738.20/738.18	c |    232769 |   30907   155331   422422 | 2147483647   231101    106 | 49.828 % |
739.39/739.37	c |    232964 |   30907   155331   422422 | 2147483647   231296    106 | 49.828 % |
740.69/740.66	c |    233177 |   30907   155331   422422 | 2147483647   231509    106 | 49.827 % |
741.99/741.99	c |    233410 |   30907   155331   422422 | 2147483647   231742    106 | 49.827 % |
743.29/743.29	c |    233669 |   30907   155331   422422 | 2147483647   232001    106 | 49.827 % |
744.59/744.54	c |    233955 |   30907   155331   422422 | 2147483647   232287    106 | 49.827 % |
745.79/745.79	c |    234265 |   30907   155331   422422 | 2147483647   232597    106 | 49.827 % |
747.90/747.90	c |    234608 |   30907   155331   422422 | 2147483647   232940    106 | 49.827 % |
749.30/749.28	c |    234981 |   30907   155331   422422 | 2147483647   233313    106 | 49.827 % |
751.10/751.08	c |    235392 |   30907   155331   422422 | 2147483647   233724    106 | 49.827 % |
753.00/752.97	c |    235841 |   30907   155331   422422 | 2147483647   234173    106 | 49.827 % |
754.70/754.65	c |    236334 |   30907   155331   422422 | 2147483647   234666    106 | 49.827 % |
756.30/756.30	c |    236882 |   30907   155331   422422 | 2147483647   235214    106 | 49.827 % |
758.30/758.23	c |    237480 |   30907   155331   422422 | 2147483647   235812    106 | 49.827 % |
761.30/761.24	c |    238136 |   30907   155331   422422 | 2147483647   236468    106 | 49.827 % |
764.10/764.07	c |    238856 |   30907   155331   422422 | 2147483647   237188    106 | 49.827 % |
767.40/767.37	c |    239648 |   30907   155331   422422 | 2147483647   237980    106 | 49.827 % |
770.60/770.56	c |    240519 |   30907   155331   422422 | 2147483647   238851    106 | 49.827 % |
774.50/774.46	c |    241477 |   30906   155331   422422 | 2147483647   239808    106 | 49.861 % |
778.80/778.78	c |    242531 |   30906   155331   422422 | 2147483647   240862    106 | 49.861 % |
784.30/784.23	c |    243689 |   30886   155178   422025 | 2147483647   242004    106 | 49.861 % |
789.50/789.48	c |    244964 |   30886   155178   422025 | 2147483647   243279    106 | 49.861 % |
795.90/795.84	c |    246364 |   30886   155178   422025 | 2147483647   244678    106 | 49.931 % |
804.50/804.46	c |    247905 |   30886   155178   422025 | 2147483647   246219    107 | 49.931 % |
813.70/813.69	c |    249600 |   30886   155178   422025 | 2147483647   247914    106 | 49.931 % |
821.10/821.09	c |    251463 |   30884   155178   422025 | 2147483647   249774    106 | 50.139 % |
828.60/828.60	c |    253518 |   30884   155178   422025 | 2147483647   251828    106 | 50.153 % |
838.81/838.81	c |    255773 |   30884   155178   422025 | 2147483647   254083    106 | 50.153 % |
850.31/850.31	c |    258251 |   30706   153951   419019 | 2147483647   256491    107 | 50.153 % |
850.81/850.81	c |    258351 |   30706   153951   419019 | 2147483647   256591    107 | 50.153 % |
851.31/851.25	c |    258464 |   30706   153951   419019 | 2147483647   256704    107 | 50.153 % |
851.81/851.72	c |    258587 |   30706   153951   419019 | 2147483647   256827    107 | 50.154 % |
852.51/852.50	c |    258722 |   30706   153951   419019 | 2147483647   256962    107 | 50.153 % |
853.21/853.17	c |    258868 |   30706   153951   419019 | 2147483647   257108    107 | 50.153 % |
854.01/853.95	c |    259031 |   30706   153951   419019 | 2147483647   257271    107 | 50.153 % |
855.41/855.33	c |    259209 |   30706   153951   419019 | 2147483647   257449    107 | 50.153 % |
856.41/856.31	c |    259407 |   30706   153951   419019 | 2147483647   257647    107 | 50.154 % |
857.91/857.90	c |    259620 |   30706   153951   419019 | 2147483647   257860    107 | 50.153 % |
859.21/859.20	c |    259854 |   30706   153951   419019 | 2147483647   258094    107 | 50.153 % |
860.71/860.69	c |    260110 |   30706   153951   419019 | 2147483647   258350    107 | 50.153 % |
862.01/861.92	c |    260391 |   30706   153951   419019 | 2147483647   258631    106 | 50.153 % |
863.71/863.68	c |    260702 |   30706   153951   419019 | 2147483647   258942    106 | 50.153 % |
865.31/865.22	c |    261041 |   30706   153951   419019 | 2147483647   259281    106 | 50.153 % |
867.61/867.59	c |    261414 |   30706   153951   419019 | 2147483647   259654    106 | 50.153 % |
869.91/869.82	c |    261824 |   30706   153951   419019 | 2147483647   260064    106 | 50.154 % |
872.41/872.38	c |    262273 |   30706   153951   419019 | 2147483647   260513    106 | 50.153 % |
875.41/875.37	c |    262767 |   30705   153951   419019 | 2147483647   261006    106 | 50.168 % |
878.71/878.69	c |    263310 |   30705   153951   419019 | 2147483647   261549    106 | 50.168 % |
882.41/882.32	c |    263908 |   30705   153951   419019 | 2147483647   262147    106 | 50.168 % |
885.81/885.77	c |    264567 |   30705   153951   419019 | 2147483647   262806    106 | 50.168 % |
890.21/890.20	c |    265287 |   30705   153951   419019 | 2147483647   263526    106 | 50.168 % |
893.32/893.24	c |    266083 |   30705   153951   419019 | 2147483647   264322    106 | 50.168 % |
897.91/897.88	c |    266954 |   30705   153951   419019 | 2147483647   265193    106 | 50.168 % |
903.22/903.16	c |    267912 |   30705   153951   419019 | 2147483647   266151    106 | 50.168 % |
908.51/908.42	c |    268968 |   30705   153951   419019 | 2147483647   267207    106 | 50.168 % |
913.92/913.91	c |    270127 |   30705   153951   419019 | 2147483647   268366    106 | 50.168 % |
919.62/919.58	c |    271400 |   30688   153826   418726 | 2147483647   269637    106 | 50.183 % |
927.12/927.04	c |    272801 |   30688   153826   418726 | 2147483647   271038    106 | 50.183 % |
933.71/933.62	c |    274341 |   30688   153826   418726 | 2147483647   272578    106 | 50.183 % |
943.21/943.16	c |    276040 |   30688   153826   418726 | 2147483647   274276    106 | 50.199 % |
953.31/953.29	c |    277903 |   30688   153826   418726 | 2147483647   276139    106 | 50.199 % |
963.61/963.58	c |    279955 |   30688   153826   418726 | 2147483647   278191    106 | 50.199 % |
973.71/973.63	c |    282208 |   30688   153826   418726 | 2147483647   280444    106 | 50.199 % |
984.21/984.12	c |    284686 |   30688   153826   418726 | 2147483647   282922    106 | 50.199 % |
997.92/997.85	c |    287412 |   30688   153826   418726 | 2147483647   285648    106 | 50.199 % |
998.62/998.55	c |    287514 |   30678   153761   418560 | 2147483647   285744    106 | 50.199 % |
999.22/999.13	c |    287624 |   30678   153761   418560 | 2147483647   285854    106 | 50.199 % |
999.72/999.61	c |    287746 |   30678   153761   418560 | 2147483647   285976    106 | 50.199 % |
1000.42/1000.38	c |    287879 |   30678   153761   418560 | 2147483647   286109    106 | 50.199 % |
1001.22/1001.11	c |    288027 |   30678   153761   418560 | 2147483647   286257    106 | 50.199 % |
1002.22/1002.14	c |    288187 |   30678   153761   418560 | 2147483647   286417    106 | 50.199 % |
1003.22/1003.19	c |    288365 |   30678   153761   418560 | 2147483647   286595    106 | 50.199 % |
1004.32/1004.21	c |    288560 |   30678   153761   418560 | 2147483647   286790    106 | 50.199 % |
1005.62/1005.58	c |    288774 |   30678   153761   418560 | 2147483647   287004    106 | 50.199 % |
1007.02/1006.97	c |    289010 |   30678   153761   418560 | 2147483647   287240    106 | 50.199 % |
1008.42/1008.37	c |    289270 |   30678   153761   418560 | 2147483647   287500    106 | 50.199 % |
1009.62/1009.59	c |    289552 |   30678   153761   418560 | 2147483647   287782    106 | 50.199 % |
1011.52/1011.44	c |    289863 |   30678   153761   418560 | 2147483647   288093    106 | 50.199 % |
1013.22/1013.20	c |    290208 |   30678   153761   418560 | 2147483647   288438    106 | 50.199 % |
1015.32/1015.27	c |    290581 |   30678   153761   418560 | 2147483647   288811    106 | 50.199 % |
1017.02/1016.99	c |    290990 |   30678   153761   418560 | 2147483647   289220    106 | 50.199 % |
1019.12/1019.03	c |    291441 |   30678   153761   418560 | 2147483647   289671    105 | 50.199 % |
1021.62/1021.58	c |    291936 |   30678   153761   418560 | 2147483647   290166    105 | 50.199 % |
1024.12/1024.09	c |    292478 |   30678   153761   418560 | 2147483647   290708    105 | 50.199 % |
1026.32/1026.26	c |    293076 |   30678   153761   418560 | 2147483647   291306    105 | 50.199 % |
1029.92/1029.90	c |    293736 |   30678   153761   418560 | 2147483647   291966    105 | 50.199 % |
1033.62/1033.59	c |    294456 |   30678   153761   418560 | 2147483647   292686    105 | 50.199 % |
1038.12/1038.02	c |    295248 |   30678   153761   418560 | 2147483647   293478    105 | 50.199 % |
1042.42/1042.39	c |    296120 |   30678   153761   418560 | 2147483647   294350    105 | 50.199 % |
1046.82/1046.74	c |    297082 |   30678   153761   418560 | 2147483647   295311    105 | 50.212 % |
1051.32/1051.28	c |    298135 |   30678   153761   418560 | 2147483647   296364    105 | 50.212 % |
1056.13/1056.06	c |    299294 |   30678   153761   418560 | 2147483647   297523    106 | 50.212 % |
1061.82/1061.76	c |    300567 |   30678   153761   418560 | 2147483647   298796    106 | 50.212 % |
1068.02/1067.93	c |    301968 |   30678   153761   418560 | 2147483647   300197    105 | 50.212 % |
1075.32/1075.21	c |    303510 |   30678   153761   418560 | 2147483647   301739    106 | 50.212 % |
1081.63/1081.58	c |    305204 |   30678   153761   418560 | 2147483647   303433    106 | 50.212 % |
1091.93/1091.87	c |    307068 |   30678   153761   418560 | 2147483647   305297    105 | 50.212 % |
1104.13/1104.01	c |    309118 |   30678   153761   418560 | 2147483647   307347    105 | 50.212 % |
1112.03/1111.98	c |    311371 |   30678   153761   418560 | 2147483647   309600    105 | 50.212 % |
1123.73/1123.68	c |    313849 |   30670   153700   418417 | 2147483647   312077    105 | 50.218 % |
1136.53/1136.45	c |    316574 |   30670   153700   418417 | 2147483647   314802    105 | 50.218 % |
1153.23/1153.17	c |    319571 |   30670   153700   418417 | 2147483647   317799    105 | 50.218 % |
1153.83/1153.73	c |    319676 |   30670   153700   418417 | 2147483647   317904    105 | 50.219 % |
1154.53/1154.49	c |    319786 |   30670   153700   418417 | 2147483647   318014    105 | 50.218 % |
1155.14/1155.04	c |    319910 |   30670   153700   418417 | 2147483647   318138    105 | 50.218 % |
1155.83/1155.75	c |    320044 |   30670   153700   418417 | 2147483647   318272    105 | 50.218 % |
1157.23/1157.12	c |    320191 |   30670   153700   418417 | 2147483647   318419    105 | 50.218 % |
1158.34/1158.22	c |    320352 |   30670   153700   418417 | 2147483647   318580    105 | 50.218 % |
1159.44/1159.36	c |    320530 |   30670   153700   418417 | 2147483647   318758    105 | 50.218 % |
1161.04/1160.96	c |    320723 |   30670   153700   418417 | 2147483647   318951    105 | 50.218 % |
1162.94/1162.85	c |    320935 |   30670   153700   418417 | 2147483647   319163    105 | 50.218 % |
1164.34/1164.22	c |    321168 |   30670   153700   418417 | 2147483647   319396    105 | 50.218 % |
1165.94/1165.87	c |    321425 |   30670   153700   418417 | 2147483647   319653    105 | 50.218 % |
1167.44/1167.40	c |    321706 |   30670   153700   418417 | 2147483647   319934    105 | 50.218 % |
1169.14/1169.05	c |    322015 |   30670   153700   418417 | 2147483647   320243    105 | 50.218 % |
1170.64/1170.56	c |    322356 |   30670   153700   418417 | 2147483647   320584    105 | 50.218 % |
1172.64/1172.61	c |    322732 |   30670   153700   418417 | 2147483647   320960    104 | 50.218 % |
1175.14/1175.08	c |    323141 |   30670   153700   418417 | 2147483647   321369    105 | 50.218 % |
1177.24/1177.17	c |    323593 |   30669   153700   418417 | 2147483647   321820    105 | 50.235 % |
1180.34/1180.28	c |    324086 |   30669   153700   418417 | 2147483647   322313    105 | 50.235 % |
1183.14/1183.03	c |    324629 |   30668   153700   418417 | 2147483647   322854    105 | 50.261 % |
1186.04/1185.98	c |    325225 |   30668   153700   418417 | 2147483647   323450    105 | 50.261 % |
1188.44/1188.37	c |    325880 |   30668   153700   418417 | 2147483647   324105    105 | 50.261 % |
1192.14/1192.05	c |    326604 |   30668   153700   418417 | 2147483647   324829    105 | 50.261 % |
1196.14/1196.04	c |    327399 |   30668   153700   418417 | 2147483647   325624    104 | 50.261 % |
1200.04/1199.92	HOME/SatELiteGTI: line 36: 21030 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.09 0.03 0.01 3/93 21022
/proc/meminfo: memFree=1686236/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) R 21020 21022 20977 0 -1 4194304 354 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864524 3084990324 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=0 CPUtime=0
/proc/21026/stat : 21026 (SatELiteGTI) R 21022 21022 20977 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1006583422 0 0 4294967295 0 0 0 3213864676 3084990954 0 0 0 0 0 0 0 17 2 0 0 0
/proc/21026/statm: 0 0 0 0 0 0 0

[startup+0.082582 s]
/proc/loadavg: 0.09 0.03 0.01 3/93 21022
/proc/meminfo: memFree=1686236/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=16776 CPUtime=0.08
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 3507 0 0 0 5 3 0 0 25 0 1 0 1006583422 17178624 3443 4294967295 134512640 135223648 3217321856 3217320576 134734703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 4194 3447 46 174 0 4019 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19188

[startup+0.11258 s]
/proc/loadavg: 0.09 0.03 0.01 3/93 21022
/proc/meminfo: memFree=1686236/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=22588 CPUtime=0.11
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 5023 0 0 0 8 3 0 0 25 0 1 0 1006583422 23130112 4959 4294967295 134512640 135223648 3217321856 3217320808 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 5647 4960 46 174 0 5472 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 25000

[startup+0.312559 s]
/proc/loadavg: 0.09 0.03 0.01 3/93 21022
/proc/meminfo: memFree=1686236/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=52640 CPUtime=0.31
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 11613 0 0 0 25 6 0 0 25 0 1 0 1006583422 53903360 11549 4294967295 134512640 135223648 3217321856 3217320808 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 13160 11549 46 174 0 12985 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 55052

[startup+0.712544 s]
/proc/loadavg: 0.09 0.03 0.01 3/93 21022
/proc/meminfo: memFree=1686236/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=81092 CPUtime=0.71
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 19240 0 0 0 52 19 0 0 25 0 1 0 1006583422 83038208 19176 4294967295 134512640 135223648 3217321856 3217320424 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 20273 19176 47 174 0 20098 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 83504

[startup+1.51244 s]
/proc/loadavg: 0.09 0.03 0.01 2/95 21029
/proc/meminfo: memFree=1590260/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=111612 CPUtime=1.51
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 28182 0 0 0 129 22 0 0 25 0 1 0 1006583422 114290688 25523 4294967295 134512640 135223648 3217321856 3217319856 134548963 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 27903 25523 73 174 0 27728 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 114024

[startup+3.11228 s]
/proc/loadavg: 0.09 0.03 0.01 2/95 21029
/proc/meminfo: memFree=1577736/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=116564 CPUtime=3.11
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 29593 0 0 0 289 22 0 0 25 0 1 0 1006583422 119361536 26771 4294967295 134512640 135223648 3217321856 3217319872 134586682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 29141 26771 73 174 0 28966 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 118976

[startup+6.31197 s]
/proc/loadavg: 0.16 0.05 0.01 2/95 21029
/proc/meminfo: memFree=1564220/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2412 CPUtime=0.01
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 368 644 0 0 0 0 0 1 25 0 1 0 1006583421 2469888 276 4294967295 134512640 135169312 3213866048 3213864584 3084988142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21022/statm: 603 276 235 161 0 42 0
[pid=21026] ppid=21022 vsize=128200 CPUtime=6.31
/proc/21026/stat : 21026 (SatELite_releas) R 21022 21022 20977 0 -1 4202496 37818 0 0 0 604 27 0 0 25 0 1 0 1006583422 131276800 28760 4294967295 134512640 135223648 3217321856 3217320208 134605001 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21026/statm: 32050 28761 73 174 0 31875 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 130612

[startup+12.7213 s]
/proc/loadavg: 0.23 0.06 0.02 3/95 21030
/proc/meminfo: memFree=1652076/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=22500 CPUtime=5.7
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 5232 0 0 0 568 2 0 0 25 0 1 0 1006584124 23040000 5122 4294967295 134512640 135215339 3219433968 3219431968 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 5625 5122 73 172 0 5452 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 24916

[startup+25.5201 s]
/proc/loadavg: 0.40 0.11 0.03 2/95 21216
/proc/meminfo: memFree=1649116/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=24888 CPUtime=18.5
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 5826 0 0 0 1848 2 0 0 25 0 1 0 1006584124 25485312 5716 4294967295 134512640 135215339 3219433968 3219432240 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 6222 5716 73 172 0 6049 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 27304

[startup+51.1175 s]
/proc/loadavg: 0.60 0.18 0.05 2/98 21233
/proc/meminfo: memFree=1642068/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=30324 CPUtime=44.1
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 7184 0 0 0 4408 2 0 0 25 0 1 0 1006584124 31051776 7074 4294967295 134512640 135215339 3219433968 3219432256 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 7581 7074 73 172 0 7408 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 32740

[startup+102.322 s]
/proc/loadavg: 0.83 0.30 0.10 2/95 21433
/proc/meminfo: memFree=1632536/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=41472 CPUtime=95.31
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 9951 0 0 0 9526 5 0 0 25 0 1 0 1006584124 42467328 9841 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 10368 9841 73 172 0 10195 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 43888

[startup+162.317 s]
/proc/loadavg: 0.93 0.43 0.15 2/95 21621
/proc/meminfo: memFree=1621004/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=52788 CPUtime=155.31
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 12788 0 0 0 15524 7 0 0 25 0 1 0 1006584124 54054912 12678 4294967295 134512640 135215339 3219433968 3219432256 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 13197 12678 73 172 0 13024 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 55204

[startup+222.311 s]
/proc/loadavg: 0.97 0.53 0.20 3/95 21808
/proc/meminfo: memFree=1609464/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=64384 CPUtime=215.31
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 15703 0 0 0 21521 10 0 0 25 0 1 0 1006584124 65929216 15593 4294967295 134512640 135215339 3219433968 3219432032 134538362 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 16096 15593 73 172 0 15923 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 66800

[startup+282.315 s]
/proc/loadavg: 1.14 0.64 0.26 2/95 21997
/proc/meminfo: memFree=1602140/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=71788 CPUtime=275.32
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 17489 0 0 0 27521 11 0 0 25 0 1 0 1006584124 73510912 17379 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 17947 17379 73 172 0 17774 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 74204

[startup+342.319 s]
/proc/loadavg: 1.05 0.71 0.31 2/95 22185
/proc/meminfo: memFree=1594004/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=79976 CPUtime=335.33
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 19538 0 0 0 33518 15 0 0 25 0 1 0 1006584124 81895424 19428 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 19994 19428 73 172 0 19821 0
Current children cumulated CPU time (s) 342.36

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

[pid=21030] ppid=21022 vsize=102640 CPUtime=515.35
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 25100 0 0 0 51515 20 0 0 25 0 1 0 1006584124 105103360 24990 4294967295 134512640 135215339 3219433968 3219432256 134528795 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 25660 24990 73 172 0 25487 0
Current children cumulated CPU time (s) 522.38
Current children cumulated vsize (KiB) 105056

[startup+582.305 s]
/proc/loadavg: 1.00 0.86 0.45 2/95 22953
/proc/meminfo: memFree=1564056/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=110416 CPUtime=575.34
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 27054 0 0 0 57510 24 0 0 25 0 1 0 1006584124 113065984 26944 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 27604 26944 73 172 0 27431 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 112832

[startup+642.309 s]
/proc/loadavg: 1.00 0.88 0.48 2/95 23139
/proc/meminfo: memFree=1555664/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=119372 CPUtime=635.35
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 29153 0 0 0 63510 25 0 0 25 0 1 0 1006584124 122236928 29043 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 29843 29043 73 172 0 29670 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 121788

[startup+702.313 s]
/proc/loadavg: 1.00 0.90 0.51 3/95 23328
/proc/meminfo: memFree=1550200/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=124556 CPUtime=695.36
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 30436 0 0 0 69510 26 0 0 25 0 1 0 1006584124 127545344 30326 4294967295 134512640 135215339 3219433968 3219432032 134539136 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 31139 30326 73 172 0 30966 0
Current children cumulated CPU time (s) 702.39
Current children cumulated vsize (KiB) 126972

[startup+762.318 s]
/proc/loadavg: 1.00 0.92 0.54 2/95 23520
/proc/meminfo: memFree=1543396/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=131308 CPUtime=755.37
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 32136 0 0 0 75507 30 0 0 25 0 1 0 1006584124 134459392 32026 4294967295 134512640 135215339 3219433968 3219432256 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 32827 32026 73 172 0 32654 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 133724

[startup+822.312 s]
/proc/loadavg: 1.00 0.93 0.57 2/95 23707
/proc/meminfo: memFree=1537460/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=137228 CPUtime=815.37
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 33647 0 0 0 81507 30 0 0 25 0 1 0 1006584124 140521472 33537 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 34307 33537 73 172 0 34134 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 139644

[startup+882.316 s]
/proc/loadavg: 1.00 0.94 0.59 2/95 23896
/proc/meminfo: memFree=1532072/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=142632 CPUtime=875.38
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 35001 0 0 0 87503 35 0 0 25 0 1 0 1006584124 146055168 34891 4294967295 134512640 135215339 3219433968 3219432256 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 35658 34891 73 172 0 35485 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 145048

[startup+942.31 s]
/proc/loadavg: 1.00 0.95 0.61 3/95 24082
/proc/meminfo: memFree=1526260/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=148348 CPUtime=935.38
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 36427 0 0 0 93502 36 0 0 25 0 1 0 1006584124 151908352 36317 4294967295 134512640 135215339 3219433968 3219432256 134529059 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 37087 36317 73 172 0 36914 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 150764

[startup+1002.31 s]
/proc/loadavg: 1.00 0.95 0.64 2/95 24271
/proc/meminfo: memFree=1520696/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=154124 CPUtime=995.39
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 37847 0 0 0 99502 37 0 0 25 0 1 0 1006584124 157822976 37737 4294967295 134512640 135215339 3219433968 3219432256 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 38531 37737 73 172 0 38358 0
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (KiB) 156540

[startup+1062.31 s]
/proc/loadavg: 1.00 0.96 0.65 2/95 24459
/proc/meminfo: memFree=1516132/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=158824 CPUtime=1055.39
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 39035 0 0 0 105502 37 0 0 25 0 1 0 1006584124 162635776 38925 4294967295 134512640 135215339 3219433968 3219432256 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 39706 38925 73 172 0 39533 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 161240

[startup+1122.31 s]
/proc/loadavg: 1.00 0.96 0.67 3/95 24650
/proc/meminfo: memFree=1510536/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=164600 CPUtime=1115.4
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 40324 0 0 0 111500 40 0 0 25 0 1 0 1006584124 168550400 40214 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 41150 40214 73 172 0 40977 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 167016

[startup+1182.32 s]
/proc/loadavg: 1.00 0.97 0.69 2/95 24839
/proc/meminfo: memFree=1506148/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=169320 CPUtime=1175.41
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 41493 0 0 0 117498 43 0 0 25 0 1 0 1006584124 173383680 41383 4294967295 134512640 135215339 3219433968 3219432256 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 42330 41383 73 172 0 42157 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 171736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.91 s]
/proc/loadavg: 1.00 0.97 0.70 2/95 24839
/proc/meminfo: memFree=1504764/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=170780 CPUtime=1193.01
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 41835 0 0 0 119258 43 0 0 25 0 1 0 1006584124 174878720 41725 4294967295 134512640 135215339 3219433968 3219432256 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 42695 41725 73 172 0 42522 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 173196

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

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

[startup+1199.91 s]
/proc/loadavg: 1.00 0.97 0.70 2/95 24839
/proc/meminfo: memFree=1504764/2074464 swapFree=1951868/1959888
[pid=21022] ppid=21020 vsize=2416 CPUtime=7.03
/proc/21022/stat : 21022 (SatELiteGTI) S 21020 21022 20977 0 -1 4194304 386 43740 0 0 0 0 670 33 18 0 1 0 1006583421 2473984 277 4294967295 134512640 135169312 3213866048 3213862264 3084988142 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21022/statm: 604 277 235 161 0 43 0
[pid=21030] ppid=21022 vsize=170780 CPUtime=1193.01
/proc/21030/stat : 21030 (minisat_static) R 21022 21022 20977 0 -1 4202496 41835 0 0 0 119258 43 0 0 25 0 1 0 1006584124 174878720 41725 4294967295 134512640 135215339 3219433968 3219432256 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21030/statm: 42695 41725 73 172 0 42522 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 173196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.93
CPU time (s): 1200.05
CPU user time (s): 1199.28
CPU system time (s): 0.77
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 173196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.28
system time used= 0.77
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86053
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= 17
involuntary context switches= 960

runsolver used 0.02 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-15 22:53:41
IDJOB=1820260
IDBENCH=20342
IDSOLVER=657
FILE ID=tipi10/1820260-1242420821
PBS_JOBID=
Free space on /tmp= 5737 MiB

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

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

MD5SUM BENCH= a443b9e3a7093c1d9a47b42016a65c52
RANDOM SEED= 846935996

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1688484 kB
Buffers:         22772 kB
Cached:         284444 kB
SwapCached:       2896 kB
Active:         291636 kB
Inactive:        25656 kB
HighTotal:     1178688 kB
HighFree:       886224 kB
LowTotal:       895776 kB
LowFree:        802260 kB
SwapTotal:     1959888 kB
SwapFree:      1951868 kB
Dirty:           20184 kB
Writeback:         160 kB
AnonPages:        9108 kB
Mapped:           3104 kB
Slab:            60948 kB
PageTables:        448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90588 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5737 MiB
End job on tipi10 at 2009-05-15 23:13:46