Trace number 1820819

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 r-2009-03-18? (TO) 1200.05 1200.02

General information on the benchmark

Namegoldb-heqc-dalumul.cnf
MD5SUMf03acb1e2f3063539a5fb2ac1bbf6244
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 variables9426
Number of clauses59991
Sum of the clauses size202888
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 213834
Number of clauses of size 327796
Number of clauses of size 40
Number of clauses of size 518360
Number of clauses of size over 51

Solver Data 

0.00/0.00	c Parsing...
0.03/0.06	c ==============================================================================
0.03/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.06	c ==============================================================================
0.03/0.06	c |         0 |   59991   202888 |   17997       0        0     nan |  0.000 % |
0.12/0.16	c |         0 |   59810   202648 |      --       0       --      -- |     --   | -181/-240
0.12/0.16	c ==============================================================================
0.12/0.16	c Result  :   #vars: 9363   #clauses: 59810   #literals: 202648
0.12/0.16	c CPU time:   0.14 s
0.12/0.16	c ==============================================================================
0.22/0.23	c This is MiniSat 2.0 beta
0.22/0.23	c WARNING: for repeatability, setting FPU to use double precision
0.22/0.23	c ============================[ Problem Statistics ]=============================
0.22/0.23	c |                                                                             |
0.22/0.23	c |  Number of variables:  9363                                                 |
0.22/0.23	c |  Number of clauses:    59810                                                |
0.22/0.27	c |  Parsing time:         0.04         s                                       |
0.22/0.27	c ============================[ Search Statistics ]==============================
0.22/0.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.22/0.27	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.22/0.27	c ===============================================================================
0.22/0.27	c |         0 |    9363    59810   202648 |    19936        0    nan |  0.000 % |
0.23/0.40	c |       512 |    9355    59717   202335 |    19936      492      7 |  0.085 % |
0.23/0.57	c |      1024 |    9346    59642   202081 |    19936      989      8 |  0.182 % |
0.23/0.78	c |      1536 |    9341    59518   201665 |    19936     1487      7 |  0.235 % |
1.12/1.19	c |      2560 |    9327    59340   201065 |    19936     2482      8 |  0.385 % |
1.32/1.36	c |      3072 |    9323    59340   201065 |    19936     2990      9 |  0.438 % |
1.52/1.54	c |      3584 |    9321    59269   200716 |    19936     3492     11 |  0.449 % |
1.72/1.75	c |      4608 |    9315    59258   200682 |    19936     4508     13 |  0.513 % |
2.42/2.48	c |      6658 |    9306    59064   200025 |    19936     6529     14 |  0.609 % |
2.62/2.64	c |      7170 |    9304    59044   199963 |    19936     7035     15 |  0.630 % |
2.82/2.85	c |      7682 |    9304    59044   199963 |    19936     7547     16 |  0.630 % |
3.32/3.39	c |      8708 |    9300    58988   199758 |    19936     8562     16 |  0.673 % |
3.52/3.55	c |      9221 |    9300    58988   199758 |    19936     9075     16 |  0.673 % |
3.72/3.73	c |      9736 |    9298    58982   199740 |    19936     9587     16 |  0.694 % |
4.12/4.12	c |     10761 |    9292    58928   199567 | 2147483647    10602     17 |  0.758 % |
4.82/4.87	c |     12810 |    9291    58864   199359 | 2147483647    12645     17 |  0.769 % |
6.12/6.11	c |     16907 |    9290    58858   199341 | 2147483647    16741     22 |  0.780 % |
6.22/6.30	c |     17419 |    9290    58858   199341 | 2147483647    17253     22 |  0.780 % |
6.42/6.51	c |     17933 |    9290    58858   199341 | 2147483647    17767     22 |  0.780 % |
7.12/7.12	c |     18957 |    9286    58833   199262 | 2147483647    18785     22 |  0.822 % |
7.32/7.35	c |     19470 |    9286    58833   199262 | 2147483647    19298     23 |  0.822 % |
7.42/7.48	c |     19983 |    9286    58826   199238 | 2147483647    19810     23 |  0.823 % |
7.82/7.82	c |     21007 |    9286    58826   199238 | 2147483647    20833     24 |  0.865 % |
8.62/8.62	c |     23056 |    9282    58761   199008 | 2147483647    22871     24 |  0.865 % |
8.72/8.78	c |     23568 |    9282    58761   199008 | 2147483647    23383     24 |  0.866 % |
8.92/8.96	c |     24080 |    9282    58761   199008 | 2147483647    23895     25 |  0.865 % |
9.32/9.34	c |     25104 |    9282    58761   199008 | 2147483647    24919     25 |  0.865 % |
9.52/9.56	c |     25617 |    9282    58761   199008 | 2147483647    25432     25 |  0.865 % |
9.72/9.72	c |     26129 |    9282    58761   199008 | 2147483647    25944     25 |  0.865 % |
10.02/10.11	c |     27156 |    9280    58740   198940 | 2147483647    26962     25 |  0.908 % |
10.82/10.85	c |     29204 |    9277    58713   198857 | 2147483647    29007     26 |  0.919 % |
12.62/12.70	c |     33300 |    9275    58695   198797 | 2147483647    33098     25 |  0.940 % |
17.12/17.16	c |     41493 |    9261    58513   198182 | 2147483647    41248     26 |  1.089 % |
17.52/17.52	c |     42006 |    9261    58513   198182 | 2147483647    41761     26 |  1.089 % |
17.92/17.92	c |     42518 |    9261    58513   198182 | 2147483647    42273     26 |  1.090 % |
18.62/18.67	c |     43542 |    9261    58513   198182 | 2147483647    43297     27 |  1.089 % |
19.02/19.04	c |     44054 |    9258    58503   198149 | 2147483647    43805     27 |  1.121 % |
19.62/19.63	c |     44567 |    9255    58503   198149 | 2147483647    44315     27 |  1.154 % |
20.32/20.37	c |     45594 |    9255    58503   198149 | 2147483647    45342     27 |  1.154 % |
22.42/22.45	c |     47642 |    9255    58452   197982 | 2147483647    47379     27 |  1.154 % |
22.82/22.87	c |     48155 |    9253    58444   197958 | 2147483647    47885     27 |  1.186 % |
23.32/23.35	c |     48669 |    9252    58444   197958 | 2147483647    48398     27 |  1.196 % |
23.72/23.74	c |     49693 |    9252    58444   197958 | 2147483647    49422     27 |  1.196 % |
23.92/24.00	c |     50205 |    9252    58444   197958 | 2147483647    49934     27 |  1.196 % |
24.22/24.27	c |     50717 |    9252    58444   197958 | 2147483647    50446     27 |  1.196 % |
24.71/24.77	c |     51743 |    9251    58408   197840 | 2147483647    51460     27 |  1.196 % |
25.81/25.86	c |     53793 |    9251    58408   197840 | 2147483647    53510     28 |  1.197 % |
27.61/27.64	c |     57889 |    9251    58408   197840 | 2147483647    57606     30 |  1.196 % |
28.01/28.03	c |     58401 |    9250    58401   197819 | 2147483647    58115     30 |  1.207 % |
28.41/28.49	c |     58914 |    9250    58401   197819 | 2147483647    58628     30 |  1.207 % |
29.01/29.10	c |     59940 |    9250    58401   197819 | 2147483647    59654     30 |  1.207 % |
29.31/29.36	c |     60452 |    9249    58401   197819 | 2147483647    60165     30 |  1.218 % |
29.61/29.67	c |     60964 |    9249    58401   197819 | 2147483647    60677     30 |  1.218 % |
30.01/30.04	c |     61988 |    9249    58401   197819 | 2147483647    61701     30 |  1.218 % |
30.82/30.89	c |     64036 |    9249    58393   197792 | 2147483647    63748     31 |  1.218 % |
31.31/31.32	c |     64548 |    9249    58393   197792 | 2147483647    64260     31 |  1.218 % |
31.71/31.72	c |     65060 |    9249    58393   197792 | 2147483647    64772     31 |  1.218 % |
32.51/32.58	c |     66088 |    9249    58393   197792 | 2147483647    65800     31 |  1.218 % |
32.81/32.91	c |     66601 |    9249    58393   197792 | 2147483647    66313     31 |  1.218 % |
33.21/33.25	c |     67113 |    9249    58393   197792 | 2147483647    66825     31 |  1.218 % |
33.71/33.77	c |     68138 |    9249    58393   197792 | 2147483647    67850     31 |  1.218 % |
35.22/35.28	c |     70190 |    9248    58387   197774 |    69712    69901     31 |  1.228 % |
37.71/37.74	c |     74286 |    9246    58387   197774 |    69712    62366     31 |  1.271 % |
42.31/42.35	c |     82478 |    9242    58349   197645 |    68070    70547     31 |  1.293 % |
53.79/53.92	c |     98862 |    9236    58316   197538 |    66023    63517     35 |  1.356 % |
54.69/54.72	c |     99375 |    9236    58285   197441 |    66023    64022     35 |  1.356 % |
55.19/55.24	c |     99887 |    9236    58285   197441 |    66023    64534     35 |  1.356 % |
56.19/56.27	c |    100911 |    9235    58285   197441 |    64647    54037     33 |  1.378 % |
56.69/56.79	c |    101423 |    9234    58285   197441 |    64647    54548     33 |  1.388 % |
57.20/57.23	c |    101936 |    9231    58285   197441 |    64647    55058     33 |  1.421 % |
57.89/57.98	c |    102960 |    9231    58285   197441 |    64647    56082     33 |  1.421 % |
59.69/59.75	c |    105009 |    9229    58217   197226 |    64647    58122     33 |  1.431 % |
60.29/60.31	c |    105521 |    9229    58217   197226 |    64647    58634     33 |  1.432 % |
60.79/60.84	c |    106033 |    9229    58217   197226 |    64647    59146     33 |  1.431 % |
61.79/61.90	c |    107058 |    9229    58217   197226 |    64647    60171     33 |  1.431 % |
62.70/62.77	c |    107570 |    9229    58210   197202 |    64647    60683     33 |  1.432 % |
63.19/63.30	c |    108083 |    9229    58210   197202 |    64647    61196     33 |  1.431 % |
63.89/64.01	c |    109107 |    9227    58210   197202 |    64647    62219     33 |  1.453 % |
65.79/65.82	c |    111155 |    9227    58210   197202 |    63114    64267     33 |  1.453 % |
68.49/68.57	c |    115252 |    9227    58190   197140 |    63114    59996     32 |  1.453 % |
68.79/68.91	c |    115765 |    9227    58190   197140 |    63114    60509     32 |  1.453 % |
69.09/69.20	c |    116277 |    9227    58190   197140 |    63114    61021     32 |  1.453 % |
69.89/69.99	c |    117301 |    9227    58190   197140 |    63114    62045     32 |  1.453 % |
70.40/70.50	c |    117816 |    9227    58190   197140 |    63114    62560     32 |  1.453 % |
70.99/71.02	c |    118329 |    9227    58190   197140 |    63114    63073     32 |  1.453 % |
71.99/72.03	c |    119353 |    9227    58190   197140 |    63114    64097     32 |  1.453 % |
73.59/73.62	c |    121403 |    9227    58190   197140 |    54712    56114     31 |  1.453 % |
73.99/74.04	c |    121918 |    9227    58190   197140 |    54712    47159     30 |  1.453 % |
74.29/74.31	c |    122432 |    9227    58190   197140 |    54712    47673     30 |  1.453 % |
74.89/74.93	c |    123456 |    9227    58190   197140 |    54712    48697     30 |  1.453 % |
75.29/75.40	c |    123968 |    9227    58190   197140 |    54712    49209     30 |  1.453 % |
75.59/75.66	c |    124480 |    9227    58190   197140 |    54712    49721     30 |  1.453 % |
76.19/76.26	c |    125504 |    9227    58190   197140 |    54712    50745     30 |  1.453 % |
77.59/77.71	c |    127552 |    9227    58190   197140 |    54712    52793     30 |  1.453 % |
80.70/80.82	c |    131648 |    9227    58190   197140 |    55243    56889     29 |  1.453 % |
87.20/87.29	c |    139840 |    9227    58190   197140 |    55243    55628     26 |  1.453 % |
87.70/87.77	c |    140352 |    9227    58190   197140 |    47391    47743     25 |  1.453 % |
88.10/88.16	c |    140865 |    9227    58190   197140 |    47391    40977     24 |  1.453 % |
88.80/88.88	c |    141890 |    9227    58190   197140 |    47391    42002     24 |  1.453 % |
89.40/89.50	c |    142403 |    9227    58190   197140 |    47391    42515     24 |  1.453 % |
89.80/89.82	c |    142916 |    9227    58190   197140 |    47391    43028     24 |  1.453 % |
90.40/90.42	c |    143942 |    9227    58190   197140 |    47391    44054     24 |  1.453 % |
91.50/91.58	c |    145990 |    9227    58190   197140 |    47391    46102     24 |  1.453 % |
91.90/91.97	c |    146503 |    9227    58190   197140 |    47391    46615     25 |  1.453 % |
92.30/92.34	c |    147015 |    9227    58190   197140 |    47391    47127     25 |  1.453 % |
93.30/93.38	c |    148040 |    9220    58180   197107 |    47391    42882     24 |  1.527 % |
93.70/93.76	c |    148552 |    9211    58180   197107 |    47391    43389     24 |  1.623 % |
94.30/94.32	c |    149064 |    9211    58180   197107 |    47391    43901     24 |  1.623 % |
95.00/95.07	c |    150088 |    9211    58001   196517 | 2147483647    44902     24 |  1.624 % |
96.40/96.48	c |    152136 |    9211    58001   196517 | 2147483647    46950     24 |  1.624 % |
98.70/98.72	c |    156232 |    9211    58001   196517 | 2147483647    51046     25 |  1.624 % |
98.90/98.99	c |    156744 |    9211    58001   196517 | 2147483647    51558     25 |  1.623 % |
99.30/99.38	c |    157256 |    9211    58001   196517 | 2147483647    52070     25 |  1.624 % |
100.10/100.13	c |    158281 |    9211    58001   196517 | 2147483647    53095     25 |  1.623 % |
100.40/100.45	c |    158794 |    9211    58001   196517 | 2147483647    53608     25 |  1.623 % |
100.80/100.83	c |    159307 |    9211    58001   196517 | 2147483647    54121     25 |  1.623 % |
101.40/101.48	c |    160331 |    9211    58001   196517 |    54814    55145     25 |  1.624 % |
103.10/103.16	c |    162380 |    9211    58001   196517 |    54814    49410     25 |  1.624 % |
103.50/103.53	c |    162893 |    9211    58001   196517 |    54814    49923     25 |  1.623 % |
103.70/103.80	c |    163405 |    9211    58001   196517 |    54814    50435     25 |  1.623 % |
104.40/104.45	c |    164430 |    9211    58001   196517 |    54814    51460     25 |  1.624 % |
104.70/104.78	c |    164945 |    9211    58001   196517 |    54814    51975     25 |  1.624 % |
105.00/105.11	c |    165458 |    9211    58001   196517 |    54814    52488     25 |  1.623 % |
105.80/105.83	c |    166482 |    9211    58001   196517 |    54814    53512     25 |  1.624 % |
107.40/107.44	c |    168530 |    9211    58001   196517 |    54814    55560     25 |  1.624 % |
110.40/110.44	c |    172626 |    9210    57995   196499 |    48051    50676     25 |  1.635 % |
115.20/115.29	c |    180818 |    9210    57995   196499 |    50714    51532     24 |  1.634 % |
127.39/127.43	c |    197203 |    9201    57934   196302 | 2147483647    54489     26 |  1.730 % |
154.99/155.11	c |    229971 |    9195    57815   195907 |    77260    69013     26 |  1.794 % |
155.49/155.51	c |    230485 |    9195    57815   195907 |    69042    69527     26 |  1.794 % |
156.20/156.22	c |    230998 |    9195    57815   195907 |    69042    54234     26 |  1.794 % |
156.99/157.04	c |    232023 |    9195    57815   195907 |    69042    55259     26 |  1.794 % |
157.39/157.47	c |    232535 |    9195    57815   195907 |    69042    55771     26 |  1.794 % |
157.99/158.08	c |    233049 |    9195    57815   195907 |    69042    56285     26 |  1.795 % |
158.79/158.82	c |    234073 |    9195    57815   195907 |    69042    57309     26 |  1.794 % |
160.49/160.59	c |    236121 |    9193    57809   195889 |    69042    59355     26 |  1.816 % |
160.99/161.08	c |    236633 |    9193    57809   195889 |    69042    59867     26 |  1.816 % |
161.59/161.64	c |    237145 |    9193    57809   195889 |    69042    60379     26 |  1.816 % |
162.39/162.50	c |    238170 |    9193    57809   195889 |    69042    61404     26 |  1.816 % |
162.80/162.89	c |    238682 |    9193    57796   195848 |    69042    61915     26 |  1.816 % |
163.19/163.23	c |    239195 |    9193    57796   195848 |    69042    62428     26 |  1.816 % |
163.99/164.01	c |    240221 |    9193    57796   195848 |    63233    63454     26 |  1.816 % |
165.69/165.79	c |    242270 |    9193    57796   195848 |    63233    54505     23 |  1.816 % |
168.89/168.96	c |    246367 |    9193    57796   195848 |    63233    58602     23 |  1.816 % |
169.40/169.42	c |    246880 |    9193    57796   195848 |    63233    59115     23 |  1.816 % |
169.89/169.99	c |    247392 |    9193    57796   195848 |    63233    59627     23 |  1.816 % |
171.39/171.49	c |    248417 |    9193    57796   195848 |    63233    60652     24 |  1.816 % |
171.79/171.81	c |    248929 |    9193    57796   195848 |    63233    61164     24 |  1.816 % |
172.39/172.41	c |    249441 |    9192    57764   195744 |    63233    61672     24 |  1.826 % |
173.49/173.54	c |    250465 |    9192    57764   195744 |    62231    62696     24 |  1.826 % |
175.39/175.42	c |    252514 |    9190    57736   195649 |    62231    54472     24 |  1.848 % |
175.69/175.75	c |    253027 |    9190    57736   195649 |    62231    54985     24 |  1.848 % |
176.09/176.12	c |    253539 |    9190    57736   195649 |    62231    55497     24 |  1.848 % |
177.10/177.13	c |    254564 |    9189    57736   195649 |    62231    56521     24 |  1.869 % |
177.39/177.45	c |    255076 |    9188    57736   195649 |    62231    57033     24 |  1.869 % |
177.79/177.87	c |    255588 |    9188    57736   195649 |    62231    57545     24 |  1.870 % |
178.59/178.70	c |    256612 |    9188    57717   195590 |    62231    58567     24 |  1.869 % |
179.99/180.07	c |    258661 |    9188    57717   195590 |    62231    60616     24 |  1.869 % |
183.29/183.39	c |    262757 |    9188    57717   195590 |    61957    53610     24 |  1.869 % |
189.79/189.86	c |    270951 |    9188    57717   195590 |    60854    61804     24 |  1.869 % |
190.49/190.57	c |    271463 |    9188    57717   195590 |    60854    51213     23 |  1.869 % |
190.89/190.95	c |    271975 |    9188    57717   195590 |    60854    51725     23 |  1.869 % |
191.79/191.90	c |    273000 |    9188    57717   195590 |    60854    52750     23 |  1.870 % |
192.59/192.63	c |    273512 |    9188    57717   195590 |    60854    53262     23 |  1.869 % |
192.99/193.07	c |    274024 |    9188    57717   195590 |    60854    53774     23 |  1.869 % |
193.69/193.77	c |    275048 |    9188    57717   195590 |    60854    54798     23 |  1.869 % |
195.60/195.68	c |    277096 |    9188    57717   195590 |    60854    56846     23 |  1.869 % |
196.00/196.02	c |    277610 |    9188    57717   195590 |    60854    57360     23 |  1.870 % |
196.30/196.39	c |    278122 |    9188    57717   195590 |    60854    57872     23 |  1.869 % |
197.00/197.06	c |    279147 |    9188    57717   195590 |    60854    58897     23 |  1.869 % |
197.30/197.38	c |    279661 |    9188    57717   195590 |    60854    59411     23 |  1.869 % |
197.60/197.70	c |    280174 |    9188    57717   195590 |    59751    59924     23 |  1.869 % |
198.30/198.34	c |    281198 |    9188    57717   195590 |    59751    60948     23 |  1.870 % |
200.10/200.12	c |    283246 |    9188    57717   195590 |    59751    53066     22 |  1.870 % |
203.10/203.18	c |    287343 |    9188    57717   195590 |    59751    57163     22 |  1.869 % |
203.60/203.62	c |    287857 |    9188    57717   195590 |    59751    57677     22 |  1.870 % |
204.10/204.15	c |    288369 |    9188    57717   195590 |    59751    58189     22 |  1.870 % |
205.00/205.09	c |    289393 |    9187    57702   195540 |    59751    59208     22 |  1.880 % |
205.50/205.58	c |    289905 |    9187    57702   195540 |    59751    59720     22 |  1.880 % |
206.00/206.03	c |    290417 |    9187    57702   195540 |    59815    60232     22 |  1.880 % |
206.70/206.79	c |    291441 |    9187    57702   195540 |    59815    51019     20 |  1.880 % |
208.30/208.35	c |    293489 |    9187    57702   195540 |    59815    53067     20 |  1.880 % |
208.80/208.81	c |    294003 |    9187    57702   195540 |    59815    53581     20 |  1.880 % |
209.10/209.18	c |    294516 |    9187    57702   195540 |    59815    54094     20 |  1.880 % |
209.90/210.00	c |    295540 |    9187    57702   195540 |    59815    55118     20 |  1.880 % |
210.30/210.37	c |    296052 |    9187    57702   195540 |    59815    55630     20 |  1.880 % |
210.80/210.89	c |    296564 |    9187    57702   195540 |    59815    56142     20 |  1.880 % |
211.80/211.81	c |    297590 |    9187    57702   195540 |    59815    57168     20 |  1.880 % |
212.90/212.97	c |    299638 |    9186    57694   195516 |    59815    59213     21 |  1.891 % |
216.50/216.57	c |    303734 |    9186    57694   195516 |    59578    51924     21 |  1.890 % |
222.90/223.00	c |    311927 |    9186    57694   195516 |    58190    47950     21 |  1.890 % |
234.40/234.44	c |    328311 |    9171    57625   195222 |    56001    55520     22 |  2.062 % |
234.80/234.83	c |    328824 |    9170    57558   195015 |    56001    56018     22 |  2.061 % |
235.10/235.15	c |    329336 |    9170    57558   195015 |    56001    56530     22 |  2.062 % |
235.90/235.97	c |    330362 |    9170    57558   195015 |    47178    47539     22 |  2.061 % |
236.30/236.37	c |    330874 |    9170    57558   195015 |    47178    39577     23 |  2.062 % |
236.70/236.77	c |    331387 |    9170    57558   195015 |    47178    40090     23 |  2.061 % |
237.40/237.49	c |    332412 |    9170    57558   195015 |    47178    41115     22 |  2.062 % |
239.00/239.01	c |    334460 |    9170    57558   195015 |    47178    43163     23 |  2.061 % |
239.30/239.34	c |    334973 |    9170    57558   195015 |    47178    43676     23 |  2.061 % |
239.70/239.74	c |    335485 |    9170    57558   195015 |    47178    44188     23 |  2.061 % |
240.40/240.47	c |    336509 |    9170    57558   195015 |    47178    45212     22 |  2.061 % |
240.80/240.88	c |    337021 |    9170    57558   195015 |    47178    45724     22 |  2.061 % |
241.10/241.21	c |    337534 |    9170    57558   195015 |    47178    46237     22 |  2.061 % |
242.00/242.02	c |    338558 |    9168    57539   194956 |    47178    47259     23 |  2.083 % |
243.70/243.78	c |    340607 |    9166    57531   194929 |    42746    39020     23 |  2.105 % |
246.00/246.07	c |    344703 |    9166    57531   194929 |    42746    43116     23 |  2.105 % |
246.40/246.50	c |    345215 |    9166    57523   194902 |    42746    38753     22 |  2.104 % |
246.80/246.90	c |    345727 |    9166    57523   194902 |    42746    39265     22 |  2.104 % |
247.40/247.50	c |    346753 |    9166    57523   194902 |    42746    40291     22 |  2.105 % |
247.80/247.83	c |    347265 |    9166    57523   194902 |    42746    40803     22 |  2.104 % |
248.10/248.17	c |    347778 |    9166    57523   194902 |    42746    41316     22 |  2.104 % |
248.80/248.85	c |    348805 |    9166    57523   194902 |    42746    42343     22 |  2.104 % |
250.00/250.01	c |    350853 |    9166    57523   194902 |    43539    44391     22 |  2.105 % |
250.30/250.34	c |    351365 |    9166    57523   194902 |    43539    40062     21 |  2.104 % |
250.60/250.68	c |    351878 |    9166    57523   194902 |    43539    40575     21 |  2.105 % |
251.40/251.50	c |    352902 |    9165    57515   194878 |    43539    41597     21 |  2.115 % |
251.70/251.80	c |    353415 |    9164    57515   194878 |    43539    42109     21 |  2.126 % |
252.10/252.17	c |    353930 |    9164    57515   194878 |    43539    42624     21 |  2.126 % |
252.80/252.87	c |    354955 |    9162    57462   194704 |    43539    43641     21 |  2.147 % |
254.00/254.10	c |    357003 |    9162    57462   194704 |    43539    45689     22 |  2.147 % |
257.20/257.23	c |    361099 |    9162    57454   194677 | 2147483647    45213     23 |  2.147 % |
263.30/263.36	c |    369293 |    9160    57448   194659 | 2147483647    53404     23 |  2.179 % |
263.70/263.79	c |    369805 |    9159    57428   194595 | 2147483647    53911     23 |  2.179 % |
264.10/264.20	c |    370317 |    9159    57428   194595 |    54106    54423     23 |  2.179 % |
265.11/265.20	c |    371341 |    9159    57428   194595 |    54106    49387     23 |  2.179 % |
265.50/265.61	c |    371853 |    9159    57428   194595 |    54106    49899     23 |  2.179 % |
266.00/266.07	c |    372365 |    9159    57428   194595 |    54106    50411     23 |  2.179 % |
266.70/266.81	c |    373389 |    9159    57428   194595 |    54106    51435     23 |  2.179 % |
268.70/268.80	c |    375438 |    9158    57418   194564 |    54106    53482     23 |  2.190 % |
269.20/269.24	c |    375950 |    9158    57418   194564 |    54106    53994     23 |  2.189 % |
269.70/269.73	c |    376463 |    9158    57418   194564 |    54106    54507     23 |  2.190 % |
270.80/270.85	c |    377487 |    9158    57418   194564 |    54106    49601     23 |  2.190 % |
271.10/271.19	c |    378000 |    9158    57418   194564 |    54106    50114     23 |  2.190 % |
271.40/271.46	c |    378512 |    9158    57418   194564 |    54106    50626     23 |  2.190 % |
272.20/272.23	c |    379538 |    9158    57418   194564 |    54106    51652     24 |  2.190 % |
273.70/273.76	c |    381588 |    9158    57418   194564 | 2147483647    53702     24 |  2.190 % |
276.60/276.68	c |    385685 |    9158    57418   194564 | 2147483647    57799     23 |  2.190 % |
277.00/277.01	c |    386197 |    9157    57403   194514 | 2147483647    58303     24 |  2.200 % |
277.30/277.37	c |    386709 |    9154    57403   194514 | 2147483647    58814     23 |  2.254 % |
278.00/278.10	c |    387735 |    9154    57403   194514 | 2147483647    59840     23 |  2.254 % |
278.50/278.54	c |    388248 |    9154    57403   194514 | 2147483647    60353     23 |  2.254 % |
278.90/278.94	c |    388762 |    9154    57403   194514 | 2147483647    60867     23 |  2.254 % |
279.80/279.82	c |    389786 |    9154    57403   194514 | 2147483647    61891     23 |  2.254 % |
281.40/281.43	c |    391834 |    9152    57331   194273 |    62097    63930     23 |  2.254 % |
282.10/282.17	c |    392346 |    9152    57331   194273 |    62097    54707     22 |  2.254 % |
282.60/282.63	c |    392860 |    9152    57331   194273 |    62097    55221     22 |  2.254 % |
283.30/283.40	c |    393885 |    9152    57331   194273 |    62097    56246     22 |  2.254 % |
283.70/283.79	c |    394398 |    9152    57331   194273 |    62097    56759     22 |  2.254 % |
284.10/284.15	c |    394910 |    9152    57331   194273 |    62097    57271     22 |  2.254 % |
285.10/285.12	c |    395934 |    9152    57331   194273 |    62097    58295     22 |  2.254 % |
286.80/286.90	c |    397982 |    9150    57313   194213 |    62097    60338     22 |  2.286 % |
288.80/288.90	c |    402078 |    9147    57313   194213 |    62354    64432     22 |  2.307 % |
295.40/295.46	c |    410271 |    9144    57269   194071 | 2147483647    62267     24 |  2.339 % |
308.09/308.13	c |    426656 |    9138    57231   193947 |    71989    65573     26 |  2.425 % |
334.30/334.33	c |    459425 |    9130    57108   193535 |    65542    64684     32 |  2.489 % |
386.20/386.26	c |    524962 |    9129    57051   193343 |    60046    56251     28 |  2.500 % |
386.50/386.53	c |    525477 |    9129    57051   193343 |    60046    56766     28 |  2.500 % |
386.80/386.90	c |    525990 |    9129    57051   193343 |    60046    57279     28 |  2.499 % |
387.60/387.67	c |    527015 |    9129    57051   193343 |    60046    58304     28 |  2.500 % |
388.00/388.07	c |    527527 |    9128    57044   193322 |    60046    58815     28 |  2.510 % |
388.40/388.43	c |    528040 |    9128    57044   193322 |    60046    59328     28 |  2.510 % |
389.30/389.33	c |    529064 |    9128    57044   193322 |    60046    60352     28 |  2.510 % |
390.80/390.82	c |    531115 |    9128    57044   193322 |    53272    54385     28 |  2.510 % |
391.40/391.48	c |    531627 |    9128    57044   193322 |    53272    49459     27 |  2.510 % |
392.10/392.14	c |    532139 |    9126    57025   193263 |    53272    49969     28 |  2.531 % |
392.71/392.77	c |    533163 |    9126    57025   193263 |    53272    50993     28 |  2.532 % |
393.20/393.24	c |    533675 |    9126    57025   193263 |    53272    51505     28 |  2.531 % |
393.50/393.50	c |    534187 |    9126    57025   193263 |    53272    52017     28 |  2.531 % |
394.10/394.16	c |    535211 |    9126    57025   193263 |    53272    53041     29 |  2.531 % |
395.20/395.26	c |    537259 |    9126    57025   193263 |    53272    55089     29 |  2.531 % |
397.90/397.91	c |    541357 |    9126    57025   193263 | 2147483647    53679     29 |  2.531 % |
398.60/398.61	c |    541869 |    9126    57025   193263 | 2147483647    54191     29 |  2.531 % |
398.80/398.86	c |    542381 |    9126    57025   193263 | 2147483647    54703     29 |  2.532 % |
399.40/399.43	c |    543405 |    9126    57025   193263 | 2147483647    55727     29 |  2.531 % |
399.70/399.70	c |    543917 |    9126    57025   193263 | 2147483647    56239     29 |  2.531 % |
399.90/399.98	c |    544429 |    9126    57025   193263 | 2147483647    56751     29 |  2.531 % |
400.50/400.56	c |    545453 |    9126    57025   193263 | 2147483647    57775     29 |  2.532 % |
401.80/401.89	c |    547501 |    9126    57025   193263 | 2147483647    59823     30 |  2.532 % |
402.30/402.34	c |    548014 |    9126    57025   193263 | 2147483647    60336     30 |  2.531 % |
402.70/402.75	c |    548526 |    9126    57025   193263 | 2147483647    60848     30 |  2.531 % |
403.71/403.79	c |    549550 |    9126    57025   193263 | 2147483647    61872     30 |  2.532 % |
404.20/404.23	c |    550062 |    9126    57025   193263 |    62322    62384     30 |  2.531 % |
404.50/404.51	c |    550575 |    9126    57025   193263 |    62322    62897     30 |  2.532 % |
405.30/405.37	c |    551601 |    9126    57025   193263 |    62322    56259     29 |  2.532 % |
406.50/406.53	c |    553649 |    9126    57025   193263 |    62322    58307     30 |  2.531 % |
409.90/409.92	c |    557745 |    9125    57017   193239 |    62322    62396     30 |  2.542 % |
416.60/416.61	c |    565938 |    9122    57009   193212 |    57747    56609     31 |  2.596 % |
417.10/417.16	c |    566451 |    9120    56973   193099 |    57747    57115     31 |  2.596 % |
417.60/417.63	c |    566964 |    9120    56973   193099 |    57747    57628     31 |  2.595 % |
418.50/418.59	c |    567988 |    9120    56973   193099 |    57747    58652     31 |  2.596 % |
419.20/419.26	c |    568500 |    9120    56973   193099 |    57747    53299     31 |  2.595 % |
419.60/419.69	c |    569013 |    9120    56973   193099 |    57747    53812     31 |  2.596 % |
420.40/420.44	c |    570038 |    9120    56973   193099 | 2147483647    54837     32 |  2.596 % |
421.60/421.70	c |    572086 |    9120    56973   193099 | 2147483647    56885     32 |  2.595 % |
422.10/422.10	c |    572601 |    9120    56973   193099 | 2147483647    57400     32 |  2.596 % |
422.41/422.49	c |    573114 |    9120    56973   193099 | 2147483647    57913     32 |  2.595 % |
423.10/423.16	c |    574138 |    9120    56973   193099 | 2147483647    58937     32 |  2.596 % |
423.51/423.51	c |    574651 |    9120    56973   193099 | 2147483647    59450     32 |  2.596 % |
423.90/423.90	c |    575164 |    9120    56973   193099 | 2147483647    59963     32 |  2.596 % |
424.61/424.69	c |    576189 |    9120    56973   193099 | 2147483647    60988     32 |  2.596 % |
426.11/426.17	c |    578237 |    9120    56973   193099 | 2147483647    63036     31 |  2.595 % |
428.61/428.65	c |    582333 |    9120    56973   193099 |    64799    67132     31 |  2.596 % |
429.01/429.09	c |    582845 |    9120    56973   193099 |    64799    56299     30 |  2.595 % |
429.31/429.38	c |    583357 |    9120    56973   193099 |    64799    56811     30 |  2.596 % |
430.21/430.29	c |    584382 |    9120    56973   193099 |    64799    57836     30 |  2.596 % |
430.61/430.70	c |    584895 |    9120    56973   193099 |    64799    58349     30 |  2.595 % |
431.21/431.30	c |    585407 |    9120    56973   193099 |    64799    58861     30 |  2.596 % |
432.01/432.10	c |    586432 |    9120    56973   193099 |    64799    59886     30 |  2.595 % |
433.21/433.31	c |    588481 |    9120    56973   193099 |    64799    61935     30 |  2.595 % |
433.61/433.71	c |    588993 |    9120    56973   193099 |    64799    62447     30 |  2.596 % |
434.01/434.07	c |    589505 |    9120    56973   193099 |    64799    62959     30 |  2.596 % |
435.11/435.14	c |    590529 |    9120    56973   193099 |    63458    63983     31 |  2.596 % |
435.71/435.72	c |    591043 |    9120    56973   193099 |    63458    55257     30 |  2.595 % |
436.21/436.25	c |    591555 |    9119    56965   193072 |    63458    55764     30 |  2.606 % |
436.91/436.97	c |    592579 |    9119    56965   193072 |    63458    56788     30 |  2.607 % |
438.41/438.41	c |    594628 |    9119    56965   193072 |    63458    58837     30 |  2.606 % |
440.31/440.41	c |    598724 |    9119    56965   193072 |    63458    62933     30 |  2.606 % |
445.91/446.01	c |    606917 |    9118    56957   193045 |    64210    63855     31 |  2.617 % |
457.21/457.24	c |    623302 |    9118    56957   193045 |    64819    68121     29 |  2.617 % |
457.91/457.98	c |    623814 |    9118    56957   193045 |    64819    53303     29 |  2.617 % |
458.61/458.69	c |    624326 |    9117    56944   193002 |    64819    53813     29 |  2.627 % |
459.71/459.75	c |    625350 |    9117    56944   193002 |    64819    54837     29 |  2.628 % |
460.31/460.38	c |    625865 |    9117    56944   193002 |    64819    55351     29 |  2.638 % |
460.71/460.79	c |    626377 |    9117    56944   193002 |    64819    55863     29 |  2.638 % |
461.21/461.29	c |    627402 |    9117    56944   193002 |    64819    56888     29 |  2.639 % |
462.31/462.36	c |    629451 |    9116    56931   192956 |    64819    58933     29 |  2.638 % |
462.61/462.65	c |    629963 |    9116    56931   192956 |    64819    59445     29 |  2.639 % |
463.01/463.09	c |    630479 |    9116    56931   192956 |    59484    59961     29 |  2.638 % |
464.11/464.15	c |    631504 |    9116    56931   192956 |    59484    49907     28 |  2.638 % |
464.61/464.64	c |    632016 |    9116    56931   192956 |    59484    50419     28 |  2.638 % |
465.01/465.04	c |    632529 |    9116    56931   192956 |    59484    50932     28 |  2.639 % |
465.41/465.50	c |    633553 |    9116    56931   192956 |    59484    51956     28 |  2.638 % |
466.71/466.75	c |    635602 |    9116    56931   192956 |    59484    54005     29 |  2.638 % |
469.41/469.48	c |    639698 |    9116    56931   192956 |    59484    58101     30 |  2.638 % |
469.61/469.71	c |    640211 |    9116    56931   192956 |    58404    58614     30 |  2.638 % |
469.91/469.97	c |    640723 |    9116    56931   192956 |    58404    59126     30 |  2.639 % |
470.71/470.74	c |    641748 |    9116    56931   192956 |    58404    52719     29 |  2.638 % |
471.11/471.17	c |    642261 |    9116    56931   192956 |    58404    53232     29 |  2.639 % |
471.51/471.53	c |    642774 |    9116    56931   192956 |    58404    53745     29 |  2.638 % |
472.61/472.63	c |    643799 |    9116    56931   192956 |    58404    54770     30 |  2.639 % |
474.01/474.09	c |    645847 |    9116    56931   192956 |    58404    56818     30 |  2.638 % |
474.41/474.44	c |    646360 |    9116    56931   192956 |    58404    57331     30 |  2.638 % |
474.71/474.71	c |    646874 |    9116    56931   192956 |    58404    57845     30 |  2.638 % |
475.31/475.33	c |    647898 |    9116    56931   192956 |    58404    58869     30 |  2.638 % |
475.71/475.72	c |    648410 |    9116    56931   192956 |    58404    52961     30 |  2.638 % |
476.11/476.18	c |    648924 |    9115    56923   192929 |    58404    53472     30 |  2.649 % |
477.11/477.16	c |    649948 |    9115    56923   192929 |    58404    54496     30 |  2.649 % |
478.81/478.85	c |    651997 |    9115    56923   192929 |    54548    56545     30 |  2.649 % |
481.91/481.98	c |    656094 |    9115    56923   192929 |    54548    54988     30 |  2.649 % |
488.21/488.31	c |    664287 |    9115    56923   192929 | 2147483647    57683     31 |  2.649 % |
488.91/488.97	c |    664800 |    9115    56923   192929 | 2147483647    58196     31 |  2.649 % |
489.31/489.34	c |    665312 |    9115    56923   192929 | 2147483647    58708     31 |  2.649 % |
490.01/490.03	c |    666336 |    9115    56923   192929 | 2147483647    59732     31 |  2.649 % |
490.31/490.36	c |    666849 |    9115    56923   192929 | 2147483647    60245     31 |  2.649 % |
490.61/490.69	c |    667361 |    9115    56923   192929 | 2147483647    60757     31 |  2.649 % |
491.21/491.31	c |    668385 |    9115    56923   192929 | 2147483647    61781     31 |  2.649 % |
492.61/492.62	c |    670434 |    9115    56923   192929 | 2147483647    63830     31 |  2.649 % |
493.01/493.07	c |    670947 |    9115    56923   192929 | 2147483647    64343     31 |  2.649 % |
493.51/493.58	c |    671460 |    9115    56923   192929 | 2147483647    64856     31 |  2.649 % |
494.01/494.07	c |    672484 |    9115    56923   192929 | 2147483647    65880     31 |  2.649 % |
494.31/494.35	c |    672996 |    9115    56923   192929 | 2147483647    66392     30 |  2.649 % |
494.61/494.67	c |    673509 |    9115    56923   192929 | 2147483647    66905     31 |  2.649 % |
495.31/495.32	c |    674533 |    9115    56923   192929 | 2147483647    67929     31 |  2.649 % |
497.41/497.50	c |    676582 |    9115    56923   192929 | 2147483647    69978     31 |  2.649 % |
501.41/501.46	c |    680678 |    9114    56888   192799 |    73390    74066     31 |  2.660 % |
502.11/502.15	c |    681190 |    9114    56888   192799 |    73390    65264     31 |  2.659 % |
502.72/502.75	c |    681702 |    9114    56888   192799 |    73390    65776     31 |  2.659 % |
503.91/503.95	c |    682726 |    9114    56888   192799 |    73390    66800     31 |  2.659 % |
504.41/504.42	c |    683242 |    9114    56888   192799 |    73390    67316     31 |  2.660 % |
504.71/504.79	c |    683755 |    9114    56888   192799 |    73390    67829     31 |  2.660 % |
505.31/505.39	c |    684780 |    9114    56888   192799 |    73390    68854     31 |  2.659 % |
507.12/507.14	c |    686828 |    9113    56880   192775 |    73390    70900     31 |  2.670 % |
507.41/507.51	c |    687341 |    9113    56880   192775 |    73390    71413     31 |  2.671 % |
507.81/507.84	c |    687853 |    9113    56880   192775 |    73390    71925     31 |  2.671 % |
508.61/508.67	c |    688877 |    9111    56880   192775 |    73390    72947     31 |  2.692 % |
509.11/509.17	c |    689390 |    9111    56880   192775 |    73390    73460     31 |  2.692 % |
509.61/509.67	c |    689903 |    9111    56880   192775 |    73390    73973     31 |  2.692 % |
510.71/510.71	c |    690928 |    9111    56864   192727 |    63267    64193     30 |  2.691 % |
512.41/512.42	c |    692976 |    9111    56864   192727 |    63267    57492     29 |  2.692 % |
514.71/514.72	c |    697072 |    9111    56864   192727 |    63267    61588     29 |  2.692 % |
522.61/522.65	c |    705267 |    9110    56858   192709 |    64516    63198     30 |  2.702 % |
534.21/534.21	c |    721652 |    9107    56825   192604 |    71344    72995     31 |  2.734 % |
562.42/562.43	c |    754420 |    9107    56825   192604 |    66415    58541     31 |  2.735 % |
562.72/562.78	c |    754933 |    9107    56825   192604 |    66415    59054     31 |  2.734 % |
563.02/563.05	c |    755446 |    9107    56825   192604 |    66415    59567     31 |  2.735 % |
563.52/563.61	c |    756471 |    9107    56825   192604 |    66415    60592     31 |  2.735 % |
563.82/563.89	c |    756983 |    9107    56825   192604 |    66415    61104     31 |  2.734 % |
564.32/564.33	c |    757495 |    9107    56825   192604 |    66415    61616     31 |  2.734 % |
564.92/564.99	c |    758519 |    9107    56825   192604 |    66415    62640     31 |  2.735 % |
566.02/566.08	c |    760567 |    9107    56825   192604 |    64121    64688     32 |  2.735 % |
566.62/566.67	c |    761080 |    9107    56825   192604 |    64121    55041     30 |  2.735 % |
567.02/567.06	c |    761592 |    9107    56825   192604 |    64121    55553     30 |  2.734 % |
567.72/567.72	c |    762616 |    9107    56825   192604 |    64121    56577     30 |  2.735 % |
568.02/568.04	c |    763129 |    9107    56825   192604 |    64121    57090     30 |  2.735 % |
568.42/568.47	c |    763642 |    9107    56825   192604 |    64121    57603     30 |  2.735 % |
569.22/569.28	c |    764666 |    9107    56825   192604 |    64121    58627     30 |  2.734 % |
570.52/570.58	c |    766715 |    9107    56825   192604 |    64121    60676     30 |  2.734 % |
574.32/574.39	c |    770812 |    9106    56817   192580 |    63959    64771     31 |  2.745 % |
574.92/574.94	c |    771324 |    9106    56817   192580 |    63959    56618     30 |  2.745 % |
575.22/575.23	c |    771837 |    9106    56817   192580 |    63959    57131     30 |  2.745 % |
575.82/575.88	c |    772861 |    9106    56817   192580 |    63959    58155     30 |  2.745 % |
576.22/576.22	c |    773373 |    9106    56817   192580 |    63959    58667     31 |  2.745 % |
576.52/576.54	c |    773887 |    9106    56817   192580 |    63959    59181     31 |  2.745 % |
576.92/577.00	c |    774911 |    9106    56817   192580 |    63959    60205     31 |  2.745 % |
578.42/578.42	c |    776960 |    9106    56817   192580 |    63959    62254     31 |  2.745 % |
578.72/578.73	c |    777472 |    9105    56808   192550 |    63959    62762     31 |  2.756 % |
578.92/579.01	c |    777984 |    9105    56808   192550 |    63959    63274     31 |  2.756 % |
580.12/580.18	c |    779009 |    9105    56808   192550 |    63959    64299     31 |  2.756 % |
580.62/580.69	c |    779521 |    9105    56808   192550 |    63959    58111     30 |  2.756 % |
581.12/581.21	c |    780034 |    9105    56808   192550 |    58590    58624     30 |  2.756 % |
581.72/581.74	c |    781058 |    9105    56808   192550 |    58590    59648     31 |  2.756 % |
583.22/583.29	c |    783106 |    9105    56808   192550 |    58590    53875     31 |  2.756 % |
585.52/585.54	c |    787202 |    9104    56802   192532 |    58590    57970     31 |  2.766 % |
590.32/590.37	c |    795396 |    9104    56802   192532 |    54701    50948     32 |  2.766 % |
590.62/590.62	c |    795909 |    9104    56802   192532 |    54701    51461     32 |  2.766 % |
590.92/590.92	c |    796422 |    9104    56802   192532 |    54701    51974     32 |  2.766 % |
591.92/591.92	c |    797446 |    9103    56794   192508 |    54701    52995     32 |  2.777 % |
592.22/592.29	c |    797958 |    9103    56794   192508 |    54701    53507     32 |  2.777 % |
592.62/592.62	c |    798471 |    9103    56794   192508 |    54701    54020     32 |  2.777 % |
593.22/593.25	c |    799495 |    9103    56794   192508 |    54701    55044     32 |  2.777 % |
594.82/594.90	c |    801544 |    9103    56794   192508 |    48677    50221     32 |  2.777 % |
595.12/595.21	c |    802057 |    9103    56794   192508 |    48677    44826     31 |  2.777 % |
595.52/595.53	c |    802569 |    9103    56794   192508 |    48677    45338     31 |  2.777 % |
596.12/596.13	c |    803594 |    9103    56794   192508 |    48677    46363     31 |  2.777 % |
596.72/596.76	c |    804108 |    9103    56794   192508 |    48677    46877     32 |  2.777 % |
597.02/597.11	c |    804622 |    9103    56794   192508 |    48677    47391     32 |  2.777 % |
597.82/597.83	c |    805647 |    9102    56786   192484 |    48677    48414     31 |  2.788 % |
599.42/599.50	c |    807695 |    9102    56786   192484 |    48677    50462     31 |  2.788 % |
601.82/601.83	c |    811791 |    9102    56786   192484 | 2147483647    49512     31 |  2.788 % |
602.12/602.20	c |    812303 |    9102    56786   192484 | 2147483647    50024     31 |  2.788 % |
602.42/602.51	c |    812815 |    9102    56786   192484 | 2147483647    50536     31 |  2.788 % |
603.02/603.11	c |    813841 |    9102    56786   192484 | 2147483647    51562     31 |  2.788 % |
603.42/603.49	c |    814354 |    9102    56786   192484 | 2147483647    52075     31 |  2.788 % |
603.82/603.89	c |    814867 |    9102    56786   192484 | 2147483647    52588     31 |  2.788 % |
604.42/604.50	c |    815892 |    9102    56786   192484 | 2147483647    53613     31 |  2.788 % |
605.72/605.77	c |    817941 |    9102    56786   192484 | 2147483647    55662     31 |  2.788 % |
606.02/606.08	c |    818453 |    9102    56786   192484 | 2147483647    56174     31 |  2.788 % |
606.32/606.38	c |    818965 |    9102    56786   192484 | 2147483647    56686     31 |  2.788 % |
606.82/606.90	c |    819990 |    9102    56786   192484 | 2147483647    57711     32 |  2.788 % |
607.22/607.31	c |    820502 |    9102    56786   192484 |    57721    58223     32 |  2.788 % |
607.62/607.67	c |    821015 |    9102    56786   192484 |    57721    51953     31 |  2.788 % |
608.22/608.26	c |    822039 |    9102    56786   192484 |    57721    52977     31 |  2.788 % |
609.92/609.92	c |    824087 |    9102    56786   192484 |    57721    55025     31 |  2.788 % |
613.12/613.20	c |    828184 |    9102    56786   192484 |    57721    53242     32 |  2.788 % |
617.82/617.90	c |    836376 |    9101    56773   192441 | 2147483647    61429     36 |  2.798 % |
629.82/629.87	c |    852760 |    9101    56773   192441 |    62702    65461     37 |  2.799 % |
630.22/630.28	c |    853272 |    9101    56773   192441 |    62702    55159     38 |  2.798 % |
630.72/630.78	c |    853785 |    9101    56773   192441 |    62702    55672     38 |  2.799 % |
631.32/631.36	c |    854809 |    9101    56773   192441 |    62702    56696     38 |  2.799 % |
631.62/631.69	c |    855321 |    9101    56773   192441 |    62702    57208     38 |  2.799 % |
632.02/632.09	c |    855833 |    9101    56773   192441 |    62702    57720     38 |  2.799 % |
632.72/632.80	c |    856859 |    9099    56760   192398 |    62702    58743     37 |  2.820 % |
633.72/633.75	c |    858909 |    9099    56760   192398 |    62702    60793     37 |  2.820 % |
633.92/633.93	c |    859422 |    9099    56760   192398 |    62702    61306     37 |  2.820 % |
634.12/634.16	c |    859934 |    9099    56760   192398 |    62702    61818     37 |  2.820 % |
634.62/634.63	c |    860958 |    9099    56760   192398 |    61885    62842     37 |  2.820 % |
635.02/635.02	c |    861473 |    9099    56760   192398 |    61885    53059     38 |  2.820 % |
635.22/635.26	c |    861985 |    9099    56760   192398 |    61885    53571     38 |  2.820 % |
635.62/635.69	c |    863009 |    9099    56760   192398 |    61885    54595     38 |  2.820 % |
637.12/637.16	c |    865058 |    9099    56760   192398 |    61885    56644     38 |  2.820 % |
640.52/640.56	c |    869154 |    9099    56748   192358 |    61885    60735     37 |  2.820 % |
640.82/640.91	c |    869671 |    9099    56748   192358 |    61885    61252     37 |  2.820 % |
641.12/641.15	c |    870183 |    9099    56748   192358 |    61581    61764     37 |  2.820 % |
641.62/641.68	c |    871207 |    9099    56748   192358 |    61581    62788     37 |  2.820 % |
642.12/642.18	c |    871720 |    9099    56748   192358 |    61581    55403     36 |  2.820 % |
642.43/642.48	c |    872232 |    9099    56748   192358 |    61581    55915     36 |  2.820 % |
643.32/643.37	c |    873257 |    9099    56748   192358 |    61581    56940     36 |  2.820 % |
644.52/644.59	c |    875306 |    9099    56748   192358 |    61581    58989     36 |  2.820 % |
644.92/644.94	c |    875821 |    9099    56748   192358 |    61581    59504     36 |  2.820 % |
645.22/645.29	c |    876335 |    9099    56748   192358 |    61581    60018     36 |  2.820 % |
646.02/646.11	c |    877361 |    9099    56748   192358 |    61581    61044     36 |  2.820 % |
646.42/646.49	c |    877874 |    9099    56748   192358 |    61581    61557     36 |  2.820 % |
646.83/646.84	c |    878386 |    9099    56748   192358 |    61581    62069     36 |  2.820 % |
647.52/647.58	c |    879410 |    9099    56748   192358 |    61581    56150     33 |  2.820 % |
648.82/648.91	c |    881458 |    9097    56740   192334 |    56740    51055     31 |  2.841 % |
651.62/651.67	c |    885554 |    9097    56740   192334 |    56740    55151     31 |  2.841 % |
657.02/657.03	c |    893746 |    9097    56733   192313 |    59596    63342     32 |  2.842 % |
657.42/657.45	c |    894261 |    9097    56733   192313 |    59596    55627     30 |  2.841 % |
657.72/657.72	c |    894773 |    9097    56733   192313 |    59596    56139     30 |  2.841 % |
658.22/658.27	c |    895797 |    9097    56733   192313 |    59596    57163     30 |  2.841 % |
658.42/658.48	c |    896309 |    9097    56733   192313 |    59596    57675     30 |  2.841 % |
658.82/658.85	c |    896821 |    9097    56733   192313 |    59596    58187     30 |  2.841 % |
659.52/659.60	c |    897845 |    9097    56733   192313 |    59596    59211     30 |  2.841 % |
661.02/661.07	c |    899894 |    9097    56733   192313 |    59596    53581     30 |  2.841 % |
661.32/661.41	c |    900406 |    9097    56733   192313 |    53687    54093     30 |  2.841 % |
661.82/661.91	c |    900921 |    9097    56733   192313 |    53687    47614     29 |  2.841 % |
662.52/662.59	c |    901945 |    9096    56721   192273 |    53687    48635     29 |  2.852 % |
662.92/662.92	c |    902458 |    9096    56721   192273 |    53687    49148     29 |  2.852 % |
663.42/663.47	c |    902970 |    9096    56721   192273 |    53687    49660     29 |  2.852 % |
663.92/663.96	c |    903995 |    9096    56721   192273 |    53687    50685     29 |  2.852 % |
665.12/665.16	c |    906044 |    9096    56721   192273 |    53687    52734     29 |  2.852 % |
668.32/668.33	c |    910141 |    9094    56713   192249 | 2147483647    56827     30 |  2.906 % |
668.62/668.69	c |    910653 |    9091    56659   192068 | 2147483647    57336     30 |  2.905 % |
669.22/669.21	c |    911165 |    9091    56659   192068 | 2147483647    57848     30 |  2.905 % |
669.92/669.99	c |    912190 |    9091    56659   192068 | 2147483647    58873     30 |  2.905 % |
670.22/670.29	c |    912702 |    9091    56659   192068 | 2147483647    59385     30 |  2.906 % |
670.52/670.59	c |    913216 |    9091    56659   192068 | 2147483647    59899     30 |  2.905 % |
671.12/671.17	c |    914241 |    9091    56659   192068 | 2147483647    60924     30 |  2.906 % |
672.62/672.68	c |    916290 |    9091    56659   192068 | 2147483647    62973     30 |  2.905 % |
673.02/673.04	c |    916802 |    9091    56659   192068 | 2147483647    63485     30 |  2.906 % |
673.32/673.39	c |    917314 |    9091    56659   192068 | 2147483647    63997     30 |  2.905 % |
673.82/673.87	c |    918339 |    9091    56659   192068 | 2147483647    65022     30 |  2.906 % |
674.12/674.14	c |    918852 |    9091    56659   192068 | 2147483647    65535     30 |  2.905 % |
674.32/674.41	c |    919364 |    9091    56659   192068 | 2147483647    66047     30 |  2.906 % |
674.82/674.88	c |    920388 |    9091    56659   192068 |    66683    67071     30 |  2.906 % |
676.32/676.39	c |    922436 |    9091    56659   192068 |    66683    60472     30 |  2.906 % |
678.82/678.82	c |    926533 |    9091    56659   192068 |    66683    64569     31 |  2.905 % |
685.12/685.19	c |    934725 |    9090    56644   192016 |    68036    64772     32 |  2.916 % |
697.02/697.06	c |    951109 |    9088    56644   192016 |    67984    69093     34 |  2.938 % |
720.52/720.55	c |    983878 |    9083    56512   191582 |    64655    56458     36 |  2.991 % |
769.12/769.11	c |   1049414 |    9075    56479   191476 |    49029    53128     33 |  3.129 % |
866.63/866.70	c |   1180488 |    9054    56186   190520 |    67928    68416     36 |  3.301 % |
867.23/867.28	c |   1181000 |    9054    56186   190520 |    67928    62087     36 |  3.301 % |
867.63/867.64	c |   1181512 |    9054    56186   190520 |    67928    62599     36 |  3.301 % |
868.33/868.39	c |   1182536 |    9054    56186   190520 |    67928    63623     36 |  3.301 % |
868.83/868.86	c |   1183048 |    9054    56186   190520 |    67928    64135     36 |  3.301 % |
869.04/869.08	c |   1183561 |    9054    56186   190520 |    67928    64648     35 |  3.301 % |
869.53/869.59	c |   1184587 |    9054    56186   190520 |    67928    65674     35 |  3.301 % |
870.83/870.90	c |   1186636 |    9053    56179   190499 |    67928    67721     35 |  3.311 % |
871.13/871.21	c |   1187150 |    9053    56179   190499 |    67928    68235     35 |  3.311 % |
871.43/871.45	c |   1187663 |    9053    56179   190499 |    67928    68748     35 |  3.311 % |
872.43/872.45	c |   1188687 |    9053    56179   190499 |    67928    58997     34 |  3.311 % |
872.73/872.73	c |   1189199 |    9053    56179   190499 |    67928    59509     34 |  3.311 % |
873.13/873.18	c |   1189714 |    9053    56179   190499 |    67928    60024     34 |  3.311 % |
873.73/873.80	c |   1190738 |    9053    56179   190499 |    60311    61047     34 |  3.322 % |
875.13/875.16	c |   1192786 |    9052    56179   190499 |    60311    54631     30 |  3.322 % |
878.13/878.17	c |   1196884 |    9051    56166   190456 |    60311    58727     30 |  3.332 % |
878.63/878.70	c |   1197398 |    9051    56162   190446 |    60311    59240     30 |  3.332 % |
878.94/878.99	c |   1197910 |    9051    56162   190446 |    60311    59752     30 |  3.333 % |
879.63/879.61	c |   1198934 |    9051    56162   190446 |    60311    60776     30 |  3.333 % |
880.04/880.05	c |   1199446 |    9051    56162   190446 |    60311    53334     29 |  3.333 % |
880.43/880.46	c |   1199958 |    9051    56162   190446 |    60311    53846     29 |  3.332 % |
880.93/881.00	c |   1200983 |    9051    56162   190446 |    53888    54871     29 |  3.332 % |
882.43/882.44	c |   1203031 |    9051    56162   190446 |    53888    49340     28 |  3.333 % |
882.93/882.93	c |   1203543 |    9049    56150   190406 |    53888    49848     28 |  3.354 % |
883.34/883.40	c |   1204056 |    9049    56150   190406 |    53888    50361     29 |  3.354 % |
883.93/883.96	c |   1205081 |    9049    56150   190406 |    53888    51386     29 |  3.354 % |
884.44/884.43	c |   1205593 |    9049    56150   190406 |    53888    51898     29 |  3.354 % |
885.13/885.13	c |   1206105 |    9049    56150   190406 |    53888    52410     29 |  3.354 % |
885.84/885.84	c |   1207129 |    9047    56144   190388 |    53888    53430     30 |  3.396 % |
886.94/887.01	c |   1209177 |    9047    56144   190388 |    53888    55478     30 |  3.396 % |
889.14/889.21	c |   1213273 |    9047    56144   190388 | 2147483647    54027     31 |  3.397 % |
895.44/895.48	c |   1221468 |    9044    56102   190256 |    60751    62216     32 |  3.408 % |
895.94/895.94	c |   1221980 |    9044    56102   190256 |    60751    56210     31 |  3.408 % |
896.24/896.29	c |   1222494 |    9044    56102   190256 |    60751    56724     31 |  3.407 % |
896.84/896.84	c |   1223518 |    9044    56102   190256 |    60751    57748     31 |  3.407 % |
897.24/897.28	c |   1224030 |    9044    56102   190256 |    60751    58260     31 |  3.407 % |
897.74/897.73	c |   1224542 |    9044    56102   190256 |    60751    58772     31 |  3.408 % |
898.34/898.41	c |   1225567 |    9044    56102   190256 |    60751    59797     32 |  3.407 % |
899.54/899.60	c |   1227616 |    9044    56102   190256 |    60751    61846     32 |  3.407 % |
900.14/900.20	c |   1228128 |    9044    56102   190256 |    60751    55363     32 |  3.407 % |
900.44/900.48	c |   1228640 |    9044    56102   190256 |    60751    55875     32 |  3.407 % |
900.94/900.98	c |   1229665 |    9044    56102   190256 |    60751    56900     33 |  3.408 % |
901.24/901.23	c |   1230178 |    9044    56102   190256 |    57236    57413     33 |  3.407 % |
901.44/901.47	c |   1230691 |    9044    56102   190256 |    57236    57926     33 |  3.408 % |
902.24/902.25	c |   1231715 |    9044    56102   190256 |    57236    51667     33 |  3.407 % |
903.64/903.69	c |   1233763 |    9044    56102   190256 |    57236    53715     33 |  3.407 % |
906.24/906.27	c |   1237861 |    9043    56094   190229 |    57236    57809     33 |  3.418 % |
906.64/906.65	c |   1238374 |    9043    56094   190229 |    57236    52362     33 |  3.418 % |
906.84/906.92	c |   1238886 |    9043    56094   190229 |    57236    52874     33 |  3.418 % |
907.44/907.46	c |   1239910 |    9043    56094   190229 |    57236    53898     33 |  3.418 % |
907.84/907.83	c |   1240422 |    9043    56094   190229 |    53988    54410     33 |  3.418 % |
908.34/908.39	c |   1240934 |    9043    56094   190229 |    53988    48656     32 |  3.418 % |
908.74/908.80	c |   1241959 |    9043    56094   190229 |    53988    49681     33 |  3.418 % |
910.04/910.09	c |   1244007 |    9039    56082   190189 |    53988    51724     34 |  3.461 % |
910.64/910.65	c |   1244519 |    9039    56082   190189 |    53988    52236     34 |  3.461 % |
910.94/910.96	c |   1245032 |    9039    56082   190189 |    53988    52749     33 |  3.461 % |
911.64/911.70	c |   1246056 |    9039    56082   190189 |    53988    53773     34 |  3.460 % |
912.14/912.13	c |   1246568 |    9039    56082   190189 |    53988    54285     34 |  3.461 % |
912.94/912.98	c |   1247080 |    9037    56082   190189 |    53988    49361     32 |  3.482 % |
913.74/913.80	c |   1248104 |    9037    56019   189977 |    53988    50376     32 |  3.482 % |
915.14/915.18	c |   1250153 |    9037    56019   189977 | 2147483647    52425     32 |  3.482 % |
918.04/918.10	c |   1254250 |    9037    56019   189977 | 2147483647    56522     32 |  3.482 % |
923.34/923.41	c |   1262442 |    9037    56019   189977 |    62273    64714     34 |  3.482 % |
932.94/933.01	c |   1278827 |    9034    56012   189956 | 2147483647    72898     33 |  3.514 % |
933.34/933.33	c |   1279340 |    9034    55956   189756 | 2147483647    73409     33 |  3.514 % |
933.54/933.61	c |   1279853 |    9034    55956   189756 | 2147483647    73922     33 |  3.514 % |
934.24/934.23	c |   1280879 |    9034    55956   189756 |    74070    74948     33 |  3.514 % |
934.74/934.82	c |   1281392 |    9034    55956   189756 |    74070    66487     33 |  3.514 % |
935.04/935.09	c |   1281907 |    9034    55956   189756 |    74070    67002     33 |  3.514 % |
935.64/935.64	c |   1282931 |    9034    55956   189756 |    74070    68026     33 |  3.514 % |
936.84/936.84	c |   1284980 |    9034    55956   189756 |    74070    70075     33 |  3.514 % |
937.24/937.23	c |   1285493 |    9034    55956   189756 |    74070    70588     33 |  3.514 % |
937.54/937.60	c |   1286007 |    9034    55956   189756 |    74070    71102     33 |  3.514 % |
938.24/938.25	c |   1287031 |    9033    55948   189729 |    74070    72123     33 |  3.525 % |
938.84/938.83	c |   1287544 |    9032    55948   189729 |    74070    72635     33 |  3.536 % |
939.34/939.37	c |   1288060 |    9032    55948   189729 |    74070    73150     33 |  3.546 % |
940.34/940.41	c |   1289085 |    9032    55948   189729 |    74070    74175     33 |  3.546 % |
941.74/941.73	c |   1291134 |    9032    55948   189729 |    75091    76224     33 |  3.546 % |
943.74/943.75	c |   1295230 |    9031    55933   189684 |    75091    70194     33 |  3.546 % |
944.04/944.07	c |   1295743 |    9030    55933   189684 |    75091    70706     33 |  3.557 % |
944.44/944.51	c |   1296255 |    9030    55933   189684 |    75091    71218     32 |  3.557 % |
945.04/945.09	c |   1297280 |    9030    55933   189684 |    75091    72243     32 |  3.557 % |
945.34/945.35	c |   1297793 |    9030    55933   189684 |    75091    72756     32 |  3.557 % |
945.64/945.64	c |   1298306 |    9030    55933   189684 |    75091    73269     32 |  3.557 % |
946.44/946.47	c |   1299330 |    9030    55928   189669 |    75091    74293     32 |  3.557 % |
947.44/947.46	c |   1301379 |    9030    55928   189669 |    74964    76342     33 |  3.557 % |
947.94/947.97	c |   1301891 |    9030    55928   189669 |    74964    63742     31 |  3.557 % |
948.14/948.21	c |   1302403 |    9030    55928   189669 |    74964    64254     31 |  3.557 % |
948.64/948.64	c |   1303429 |    9030    55928   189669 |    74964    65280     31 |  3.557 % |
948.94/949.01	c |   1303942 |    9030    55928   189669 |    74964    65793     31 |  3.557 % |
949.24/949.26	c |   1304455 |    9030    55928   189669 |    74964    66306     32 |  3.557 % |
949.94/949.92	c |   1305480 |    9030    55928   189669 |    74964    67331     32 |  3.557 % |
950.84/950.89	c |   1307529 |    9030    55928   189669 |    74964    69380     32 |  3.557 % |
953.04/953.08	c |   1311625 |    9030    55928   189669 |    71851    73476     31 |  3.557 % |
957.05/957.09	c |   1319819 |    9030    55928   189669 |    71851    71308     30 |  3.557 % |
957.34/957.36	c |   1320331 |    9030    55928   189669 |    71489    71820     30 |  3.557 % |
957.74/957.73	c |   1320843 |    9030    55928   189669 |    71489    72332     30 |  3.557 % |
958.64/958.68	c |   1321867 |    9029    55924   189659 |    71489    60225     29 |  3.567 % |
958.84/958.87	c |   1322379 |    9029    55924   189659 |    71489    60737     29 |  3.568 % |
959.14/959.20	c |   1322891 |    9028    55924   189659 |    71489    61248     29 |  3.578 % |
959.64/959.69	c |   1323915 |    9028    55924   189659 |    71489    62272     29 |  3.578 % |
960.54/960.52	c |   1325964 |    9028    55924   189659 |    71489    64321     30 |  3.578 % |
960.74/960.79	c |   1326477 |    9028    55924   189659 |    71489    64834     30 |  3.578 % |
961.14/961.13	c |   1326993 |    9028    55924   189659 |    71489    65350     30 |  3.578 % |
961.54/961.59	c |   1328018 |    9028    55914   189626 |    71489    66372     30 |  3.578 % |
961.94/961.93	c |   1328531 |    9028    55914   189626 |    71489    66885     30 |  3.578 % |
962.24/962.27	c |   1329043 |    9028    55914   189626 |    71489    67397     30 |  3.578 % |
962.94/962.92	c |   1330067 |    9028    55914   189626 |    68355    68421     30 |  3.578 % |
963.94/963.99	c |   1332117 |    9028    55914   189626 |    68355    70471     30 |  3.578 % |
966.44/966.44	c |   1336215 |    9027    55906   189602 |    68355    62339     29 |  3.589 % |
966.64/966.68	c |   1336727 |    9027    55906   189602 |    68355    62851     29 |  3.589 % |
967.04/967.04	c |   1337241 |    9027    55906   189602 |    68355    63365     29 |  3.589 % |
967.34/967.41	c |   1338265 |    9026    55901   189587 |    68355    64386     30 |  3.600 % |
967.54/967.60	c |   1338779 |    9026    55901   189587 |    68355    64900     30 |  3.599 % |
967.84/967.86	c |   1339291 |    9026    55901   189587 |    68355    65412     30 |  3.599 % |
968.34/968.35	c |   1340315 |    9026    55901   189587 |    66121    66436     30 |  3.600 % |
969.44/969.51	c |   1342363 |    9026    55901   189587 |    66121    59503     30 |  3.599 % |
969.74/969.80	c |   1342877 |    9026    55901   189587 |    66121    60017     30 |  3.599 % |
970.04/970.04	c |   1343389 |    9026    55901   189587 |    66121    60529     30 |  3.599 % |
970.54/970.60	c |   1344413 |    9026    55901   189587 |    66121    61553     30 |  3.599 % |
970.94/970.96	c |   1344926 |    9025    55893   189563 |    66121    62062     30 |  3.610 % |
971.24/971.32	c |   1345440 |    9025    55893   189563 |    66121    62576     30 |  3.610 % |
971.94/971.94	c |   1346466 |    9025    55893   189563 |    66121    63602     30 |  3.610 % |
973.24/973.26	c |   1348515 |    9025    55893   189563 |    66121    65651     30 |  3.610 % |
976.74/976.78	c |   1352611 |    9025    55893   189563 |    67139    61830     29 |  3.610 % |
980.24/980.29	c |   1360803 |    9025    55893   189563 |    69219    70022     30 |  3.610 % |
990.53/990.61	c |   1377187 |    9025    55893   189563 |    66686    61746     29 |  3.610 % |
1009.04/1009.04	c |   1409956 |    9022    55883   189532 |    59628    59949     31 |  3.642 % |
1009.34/1009.34	c |   1410468 |    9022    55883   189532 |    59993    60461     31 |  3.642 % |
1009.74/1009.74	c |   1410981 |    9022    55883   189532 |    59993    53763     31 |  3.642 % |
1010.14/1010.20	c |   1412006 |    9022    55869   189490 |    59993    54782     31 |  3.642 % |
1010.54/1010.52	c |   1412520 |    9022    55869   189490 |    59993    55296     31 |  3.642 % |
1010.84/1010.82	c |   1413033 |    9022    55869   189490 |    59993    55809     31 |  3.642 % |
1011.54/1011.54	c |   1414057 |    9022    55869   189490 |    59993    56833     31 |  3.642 % |
1012.83/1012.84	c |   1416105 |    9022    55869   189490 |    59993    58881     31 |  3.642 % |
1013.23/1013.23	c |   1416617 |    9022    55869   189490 |    59993    59393     31 |  3.642 % |
1013.53/1013.53	c |   1417131 |    9022    55869   189490 |    59993    59907     31 |  3.642 % |
1013.93/1013.98	c |   1418156 |    9022    55869   189490 |    59993    60932     31 |  3.642 % |
1014.33/1014.37	c |   1418670 |    9022    55869   189490 |    59993    54351     31 |  3.642 % |
1014.53/1014.58	c |   1419183 |    9022    55869   189490 |    59993    54864     31 |  3.642 % |
1014.93/1014.96	c |   1420208 |    9022    55869   189490 |    55681    55889     31 |  3.642 % |
1016.03/1016.08	c |   1422256 |    9022    55869   189490 |    55681    57937     31 |  3.642 % |
1017.93/1017.96	c |   1426352 |    9022    55869   189490 |    55681    54886     31 |  3.642 % |
1018.13/1018.15	c |   1426864 |    9022    55869   189490 |    55681    55398     31 |  3.642 % |
1018.33/1018.31	c |   1427377 |    9022    55869   189490 |    55681    55911     31 |  3.642 % |
1018.63/1018.68	c |   1428401 |    9022    55869   189490 |    55681    56935     31 |  3.642 % |
1019.03/1019.08	c |   1428913 |    9022    55869   189490 |    55681    49141     31 |  3.642 % |
1019.23/1019.25	c |   1429425 |    9022    55869   189490 |    55681    49653     31 |  3.642 % |
1019.73/1019.79	c |   1430449 |    9022    55869   189490 |    50228    50677     31 |  3.642 % |
1021.13/1021.11	c |   1432497 |    9022    55869   189490 |    50228    46384     30 |  3.642 % |
1021.53/1021.50	c |   1433010 |    9021    55859   189457 |    50228    46894     30 |  3.653 % |
1021.63/1021.69	c |   1433522 |    9021    55859   189457 |    50228    47406     30 |  3.653 % |
1022.33/1022.37	c |   1434547 |    9021    55859   189457 |    50228    48431     30 |  3.653 % |
1022.63/1022.68	c |   1435059 |    9021    55859   189457 |    50228    48943     30 |  3.653 % |
1023.03/1023.03	c |   1435574 |    9021    55859   189457 |    50228    49458     31 |  3.653 % |
1023.63/1023.61	c |   1436598 |    9021    55859   189457 |    50228    50482     31 |  3.653 % |
1024.73/1024.72	c |   1438647 |    9021    55859   189457 |    50228    52531     30 |  3.653 % |
1026.43/1026.47	c |   1442743 |    9021    55859   189457 | 2147483647    51374     30 |  3.653 % |
1030.03/1030.03	c |   1450935 |    9020    55849   189424 | 2147483647    59563     31 |  3.664 % |
1030.23/1030.26	c |   1451449 |    9020    55849   189424 | 2147483647    60077     31 |  3.664 % |
1030.43/1030.46	c |   1451961 |    9020    55849   189424 | 2147483647    60589     31 |  3.664 % |
1030.83/1030.87	c |   1452985 |    9020    55849   189424 | 2147483647    61613     31 |  3.664 % |
1031.03/1031.10	c |   1453498 |    9020    55849   189424 | 2147483647    62126     31 |  3.664 % |
1031.33/1031.34	c |   1454010 |    9020    55849   189424 | 2147483647    62638     31 |  3.664 % |
1031.63/1031.68	c |   1455035 |    9020    55849   189424 | 2147483647    63663     31 |  3.664 % |
1032.83/1032.82	c |   1457086 |    9020    55849   189424 | 2147483647    65714     31 |  3.664 % |
1033.03/1033.05	c |   1457600 |    9020    55849   189424 | 2147483647    66228     31 |  3.664 % |
1033.23/1033.29	c |   1458113 |    9020    55849   189424 | 2147483647    66741     31 |  3.664 % |
1033.73/1033.71	c |   1459137 |    9020    55849   189424 | 2147483647    67765     31 |  3.664 % |
1033.93/1033.94	c |   1459651 |    9020    55849   189424 | 2147483647    68279     31 |  3.664 % |
1034.13/1034.15	c |   1460163 |    9020    55849   189424 |    68628    68791     31 |  3.664 % |
1034.63/1034.63	c |   1461187 |    9020    55849   189424 |    68628    69815     31 |  3.664 % |
1036.03/1036.07	c |   1463237 |    9020    55849   189424 |    68628    60333     28 |  3.664 % |
1038.33/1038.36	c |   1467334 |    9020    55849   189424 |    68628    64430     29 |  3.664 % |
1038.63/1038.60	c |   1467846 |    9020    55849   189424 |    68628    64942     29 |  3.664 % |
1038.83/1038.85	c |   1468358 |    9020    55849   189424 |    68628    65454     29 |  3.663 % |
1039.43/1039.49	c |   1469382 |    9020    55849   189424 |    68628    66478     29 |  3.663 % |
1039.73/1039.73	c |   1469895 |    9020    55849   189424 |    68628    66991     29 |  3.663 % |
1039.93/1040.00	c |   1470407 |    9020    55849   189424 |    67097    67503     29 |  3.664 % |
1040.73/1040.74	c |   1471432 |    9020    55849   189424 |    67097    56520     28 |  3.664 % |
1041.73/1041.79	c |   1473480 |    9020    55849   189424 |    67097    58568     28 |  3.663 % |
1042.13/1042.14	c |   1473992 |    9020    55849   189424 |    67097    59080     28 |  3.663 % |
1042.53/1042.56	c |   1474506 |    9017    55824   189345 |    67097    59589     28 |  3.696 % |
1043.33/1043.34	c |   1475530 |    9017    55824   189345 |    67097    60613     28 |  3.696 % |
1043.63/1043.61	c |   1476042 |    9017    55824   189345 |    67097    61125     28 |  3.696 % |
1043.83/1043.82	c |   1476555 |    9017    55824   189345 |    67097    61638     28 |  3.696 % |
1044.23/1044.30	c |   1477579 |    9017    55824   189345 |    67097    62662     28 |  3.696 % |
1045.33/1045.33	c |   1479627 |    9017    55824   189345 |    67097    64710     28 |  3.695 % |
1047.63/1047.66	c |   1483723 |    9017    55824   189345 |    65085    58215     28 |  3.695 % |
1051.73/1051.71	c |   1491918 |    9017    55824   189345 |    64492    66410     28 |  3.695 % |
1060.73/1060.73	c |   1508302 |    9014    55799   189264 |    61517    63424     28 |  3.728 % |
1061.03/1061.04	c |   1508815 |    9014    55799   189264 |    61517    57120     28 |  3.728 % |
1061.23/1061.21	c |   1509327 |    9014    55799   189264 |    61517    57632     29 |  3.727 % |
1061.73/1061.76	c |   1510353 |    9014    55799   189264 |    58305    58658     29 |  3.728 % |
1062.13/1062.16	c |   1510868 |    9014    55799   189264 |    58305    52000     28 |  3.728 % |
1062.43/1062.40	c |   1511380 |    9014    55799   189264 |    58305    52512     28 |  3.728 % |
1062.93/1062.92	c |   1512404 |    9014    55799   189264 |    58305    53536     28 |  3.728 % |
1063.73/1063.74	c |   1514452 |    9014    55799   189264 |    58305    55584     28 |  3.728 % |
1064.03/1064.02	c |   1514965 |    9014    55799   189264 |    58305    56097     28 |  3.728 % |
1064.23/1064.25	c |   1515477 |    9014    55799   189264 |    58305    56609     28 |  3.727 % |
1064.73/1064.78	c |   1516501 |    9014    55799   189264 |    58305    57633     28 |  3.728 % |
1065.03/1065.08	c |   1517013 |    9014    55799   189264 |    58305    58145     28 |  3.728 % |
1065.33/1065.38	c |   1517525 |    9014    55799   189264 |    58305    58657     28 |  3.728 % |
1065.83/1065.83	c |   1518551 |    9014    55799   189264 |    58305    51998     28 |  3.728 % |
1067.43/1067.42	c |   1520599 |    9014    55799   189264 |    53448    54046     29 |  3.728 % |
1070.23/1070.21	c |   1524695 |    9014    55799   189264 |    53448    52738     28 |  3.728 % |
1070.53/1070.56	c |   1525207 |    9012    55783   189215 |    53448    53247     28 |  3.749 % |
1070.93/1071.00	c |   1525719 |    9012    55783   189215 |    53448    53759     28 |  3.749 % |
1071.33/1071.39	c |   1526743 |    9012    55783   189215 |    53448    54783     28 |  3.749 % |
1071.73/1071.75	c |   1527256 |    9012    55783   189215 |    53448    49818     28 |  3.749 % |
1072.03/1072.06	c |   1527771 |    9012    55783   189215 |    53448    50333     28 |  3.749 % |
1072.63/1072.68	c |   1528795 |    9012    55783   189215 |    53448    51357     28 |  3.749 % |
1073.53/1073.58	c |   1530843 |    9012    55783   189215 | 2147483647    53405     28 |  3.749 % |
1073.83/1073.90	c |   1531356 |    9012    55783   189215 | 2147483647    53918     28 |  3.749 % |
1074.13/1074.14	c |   1531870 |    9012    55783   189215 | 2147483647    54432     29 |  3.749 % |
1074.53/1074.58	c |   1532894 |    9012    55783   189215 | 2147483647    55456     29 |  3.749 % |
1074.83/1074.81	c |   1533406 |    9012    55783   189215 | 2147483647    55968     29 |  3.749 % |
1075.03/1075.03	c |   1533918 |    9012    55783   189215 | 2147483647    56480     29 |  3.749 % |
1075.53/1075.54	c |   1534942 |    9012    55783   189215 | 2147483647    57504     29 |  3.749 % |
1076.63/1076.65	c |   1536990 |    9012    55783   189215 | 2147483647    59552     29 |  3.749 % |
1078.33/1078.38	c |   1541087 |    9012    55783   189215 |    62562    63649     29 |  3.749 % |
1082.44/1082.47	c |   1549282 |    9012    55783   189215 |    62562    62237     31 |  3.749 % |
1082.93/1082.98	c |   1549796 |    9010    55747   189084 |    62562    62746     31 |  3.771 % |
1083.23/1083.27	c |   1550309 |    9010    55747   189084 |    62951    63259     31 |  3.770 % |
1083.73/1083.73	c |   1551334 |    9010    55747   189084 |    62951    64284     31 |  3.771 % |
1084.13/1084.18	c |   1551847 |    9010    55747   189084 |    62951    53378     32 |  3.771 % |
1084.53/1084.51	c |   1552359 |    9010    55747   189084 |    62951    53890     32 |  3.770 % |
1085.03/1085.04	c |   1553383 |    9010    55747   189084 |    62951    54914     32 |  3.771 % |
1086.03/1086.03	c |   1555431 |    9010    55747   189084 |    62951    56962     31 |  3.770 % |
1086.23/1086.29	c |   1555948 |    9010    55747   189084 |    62951    57479     31 |  3.770 % |
1086.53/1086.55	c |   1556460 |    9010    55747   189084 |    62951    57991     31 |  3.770 % |
1087.53/1087.53	c |   1557484 |    9009    55740   189063 |    62951    59012     31 |  3.781 % |
1087.83/1087.88	c |   1557998 |    9009    55740   189063 |    62951    59526     31 |  3.781 % |
1088.13/1088.13	c |   1558511 |    9009    55740   189063 |    62951    60039     31 |  3.781 % |
1088.63/1088.65	c |   1559535 |    9009    55740   189063 |    62951    61063     31 |  3.781 % |
1089.93/1089.98	c |   1561583 |    9007    55723   189009 |    61528    55004     31 |  3.813 % |
1091.93/1091.94	c |   1565679 |    9005    55723   189009 |    61528    59099     32 |  3.824 % |
1092.23/1092.26	c |   1566192 |    9005    55723   189009 |    61528    59612     32 |  3.824 % |
1092.53/1092.59	c |   1566705 |    9005    55723   189009 |    61528    60125     32 |  3.824 % |
1093.23/1093.28	c |   1567731 |    9005    55707   188961 |    61528    61147     32 |  3.824 % |
1093.53/1093.56	c |   1568244 |    9005    55707   188961 |    61528    61660     32 |  3.824 % |
1093.83/1093.90	c |   1568756 |    9005    55707   188961 |    61528    62172     32 |  3.824 % |
1094.54/1094.59	c |   1569781 |    9005    55707   188961 |    61528    54483     32 |  3.824 % |
1095.53/1095.53	c |   1571829 |    9004    55707   188961 |    54702    48285     32 |  3.845 % |
1095.73/1095.79	c |   1572341 |    9003    55707   188961 |    54702    48797     32 |  3.845 % |
1096.13/1096.13	c |   1572853 |    9003    55691   188910 |    54702    49302     32 |  3.845 % |
1096.63/1096.62	c |   1573878 |    9003    55691   188910 |    54702    50327     32 |  3.845 % |
1096.93/1096.92	c |   1574390 |    9003    55691   188910 |    54702    50839     32 |  3.845 % |
1097.23/1097.22	c |   1574902 |    9003    55691   188910 |    54702    51351     32 |  3.845 % |
1098.03/1098.08	c |   1575926 |    9003    55691   188910 |    54702    52375     32 |  3.845 % |
1099.03/1099.07	c |   1577974 |    9003    55691   188910 |    54702    54423     32 |  3.845 % |
1100.83/1100.85	c |   1582072 |    9003    55691   188910 |    56450    50247     30 |  3.845 % |
1104.63/1104.62	c |   1590264 |    9002    55683   188883 |    49627    49890     29 |  3.856 % |
1113.13/1113.21	c |   1606648 |    8992    55663   188819 |    42707    44187     29 |  3.963 % |
1131.64/1131.63	c |   1639416 |    8992    55537   188391 |    63076    59687     30 |  3.962 % |
1166.34/1166.37	c |   1704953 |    8983    55471   188181 |    57974    52329     30 |  4.059 % |
1166.64/1166.67	c |   1705465 |    8983    55459   188141 |    57974    52839     30 |  4.059 % |
1166.94/1166.99	c |   1705979 |    8983    55459   188141 |    57974    53353     30 |  4.059 % |
1167.54/1167.58	c |   1707003 |    8983    55459   188141 |    57974    54377     30 |  4.059 % |
1167.84/1167.83	c |   1707515 |    8983    55459   188141 |    57974    54889     30 |  4.059 % |
1168.24/1168.26	c |   1708029 |    8983    55459   188141 |    57974    55403     30 |  4.059 % |
1168.84/1168.88	c |   1709055 |    8983    55459   188141 |    57974    56429     30 |  4.059 % |
1169.64/1169.69	c |   1711104 |    8983    55459   188141 |    57374    58478     30 |  4.059 % |
1170.04/1170.06	c |   1711618 |    8983    55459   188141 |    57374    49930     29 |  4.059 % |
1170.34/1170.38	c |   1712130 |    8983    55459   188141 |    57374    50442     29 |  4.059 % |
1170.84/1170.90	c |   1713155 |    8983    55459   188141 |    57374    51467     30 |  4.059 % |
1171.14/1171.18	c |   1713668 |    8983    55459   188141 |    57374    51980     30 |  4.059 % |
1171.64/1171.62	c |   1714182 |    8983    55459   188141 |    57374    52494     30 |  4.059 % |
1172.24/1172.23	c |   1715207 |    8983    55459   188141 |    57374    53519     30 |  4.059 % |
1173.74/1173.76	c |   1717258 |    8983    55459   188141 |    57374    55570     30 |  4.059 % |
1175.54/1175.55	c |   1721356 |    8983    55459   188141 |    58314    59668     30 |  4.059 % |
1175.94/1175.96	c |   1721868 |    8983    55459   188141 |    58314    51894     30 |  4.059 % |
1176.14/1176.12	c |   1722380 |    8983    55459   188141 |    58314    52406     30 |  4.059 % |
1176.64/1176.67	c |   1723404 |    8983    55459   188141 |    58314    53430     30 |  4.059 % |
1176.84/1176.85	c |   1723918 |    8983    55459   188141 |    58314    53944     30 |  4.059 % |
1177.04/1177.11	c |   1724431 |    8983    55459   188141 |    58314    54457     30 |  4.059 % |
1177.54/1177.54	c |   1725455 |    8983    55459   188141 |    58314    55481     30 |  4.059 % |
1178.74/1178.72	c |   1727503 |    8983    55459   188141 |    58314    57529     30 |  4.059 % |
1179.04/1179.03	c |   1728015 |    8983    55459   188141 |    58314    58041     30 |  4.059 % |
1179.34/1179.31	c |   1728527 |    8983    55459   188141 |    58314    58553     30 |  4.059 % |
1180.24/1180.28	c |   1729551 |    8983    55459   188141 |    58314    52229     29 |  4.059 % |
1180.54/1180.54	c |   1730063 |    8983    55459   188141 |    52678    52741     29 |  4.059 % |
1180.74/1180.78	c |   1730575 |    8983    55459   188141 |    52678    53253     29 |  4.059 % |
1181.44/1181.50	c |   1731599 |    8983    55459   188141 |    52678    47249     28 |  4.059 % |
1182.34/1182.36	c |   1733647 |    8983    55459   188141 |    52678    49297     28 |  4.059 % |
1184.24/1184.27	c |   1737743 |    8983    55459   188141 |    52678    53393     29 |  4.059 % |
1188.14/1188.16	c |   1745935 |    8983    55459   188141 |    49295    49557     30 |  4.059 % |
1188.34/1188.41	c |   1746448 |    8983    55459   188141 |    49295    50070     30 |  4.059 % |
1188.74/1188.74	c |   1746960 |    8983    55459   188141 |    49295    45575     29 |  4.059 % |
1189.24/1189.23	c |   1747984 |    8983    55459   188141 |    49295    46599     29 |  4.059 % |
1189.44/1189.45	c |   1748496 |    8983    55459   188141 |    49295    47111     29 |  4.059 % |
1189.74/1189.75	c |   1749008 |    8983    55459   188141 |    49295    47623     29 |  4.059 % |
1190.44/1190.44	c |   1750033 |    8983    55459   188141 | 2147483647    48648     30 |  4.059 % |
1191.44/1191.43	c |   1752082 |    8983    55459   188141 | 2147483647    50697     30 |  4.059 % |
1191.74/1191.77	c |   1752595 |    8983    55459   188141 | 2147483647    51210     30 |  4.059 % |
1192.04/1192.09	c |   1753108 |    8983    55459   188141 | 2147483647    51723     30 |  4.059 % |
1192.74/1192.74	c |   1754133 |    8982    55443   188085 | 2147483647    52747     30 |  4.070 % |
1193.24/1193.27	c |   1754645 |    8982    55443   188085 | 2147483647    53259     30 |  4.070 % |
1193.44/1193.43	c |   1755157 |    8982    55443   188085 | 2147483647    53771     30 |  4.069 % |
1193.74/1193.78	c |   1756183 |    8982    55443   188085 | 2147483647    54797     30 |  4.069 % |
1194.65/1194.68	c |   1758231 |    8982    55443   188085 | 2147483647    56845     30 |  4.069 % |
1196.44/1196.48	c |   1762327 |    8982    55443   188085 | 2147483647    60941     31 |  4.069 % |
1196.64/1196.68	c |   1762839 |    8982    55443   188085 | 2147483647    61453     31 |  4.069 % |
1196.94/1196.91	c |   1763351 |    8982    55443   188085 | 2147483647    61965     31 |  4.069 % |
1197.34/1197.39	c |   1764375 |    8982    55443   188085 | 2147483647    62989     32 |  4.070 % |
1197.64/1197.62	c |   1764889 |    8982    55443   188085 | 2147483647    63503     32 |  4.069 % |
1197.84/1197.91	c |   1765402 |    8982    55443   188085 | 2147483647    64016     32 |  4.069 % |
1198.34/1198.37	c |   1766426 |    8982    55443   188085 | 2147483647    65040     32 |  4.069 % |
1199.64/1199.67	c |   1768475 |    8981    55433   188052 | 2147483647    67086     32 |  4.080 % |
1199.94/1199.99	c |   1768988 |    8980    55433   188052 | 2147483647    67598     32 |  4.091 % |
1200.04/1200.02	HOME/SatELiteGTI: line 36:  4719 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-1820819-1242480159/watcher-1820819-1242480159 -o /tmp/evaluation-result-1820819-1242480159/solver-1820819-1242480159 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820819-1242480159.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: 1.07 1.03 1.00 3/91 4713
/proc/meminfo: memFree=1436144/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2416 CPUtime=0
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1012516224 2473984 277 4294967295 134512640 135169312 3217332112 3217330648 3085057774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4713/statm: 604 277 235 161 0 43 0
[pid=4717] ppid=4713 vsize=948 CPUtime=0
/proc/4717/stat : 4717 (SatELite_releas) R 4713 4713 9090 0 -1 4202496 114 0 0 0 0 0 0 0 18 0 1 0 1012516224 970752 49 4294967295 134512640 135223648 3213343680 3213342584 134736942 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4717/statm: 238 54 44 174 0 63 0

[startup+0.02732 s]
/proc/loadavg: 1.07 1.03 1.00 3/91 4713
/proc/meminfo: memFree=1436144/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2416 CPUtime=0
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1012516224 2473984 277 4294967295 134512640 135169312 3217332112 3217330648 3085057774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4713/statm: 604 277 235 161 0 43 0
[pid=4717] ppid=4713 vsize=3380 CPUtime=0.03
/proc/4717/stat : 4717 (SatELite_releas) R 4713 4713 9090 0 -1 4202496 702 0 0 0 1 2 0 0 18 0 1 0 1012516224 3461120 637 4294967295 134512640 135223648 3213343680 3213342632 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4717/statm: 845 638 46 174 0 670 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5796

[startup+0.117315 s]
/proc/loadavg: 1.07 1.03 1.00 3/91 4713
/proc/meminfo: memFree=1436144/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2416 CPUtime=0
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 368 643 0 0 0 0 0 0 25 0 1 0 1012516224 2473984 277 4294967295 134512640 135169312 3217332112 3217330648 3085057774 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/4713/statm: 604 277 235 161 0 43 0
[pid=4717] ppid=4713 vsize=7696 CPUtime=0.12
/proc/4717/stat : 4717 (SatELite_releas) R 4713 4713 9090 0 -1 4202496 1623 0 0 0 10 2 0 0 18 0 1 0 1012516224 7880704 1558 4294967295 134512640 135223648 3213343680 3213341696 134586952 0 0 0 3 0 0 0 17 1 0 0 0
/proc/4717/statm: 1924 1558 73 174 0 1749 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10112

[startup+0.317314 s]
/proc/loadavg: 1.07 1.03 1.00 3/91 4713
/proc/meminfo: memFree=1436144/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2420

[startup+0.717294 s]
/proc/loadavg: 1.07 1.03 1.00 3/91 4713
/proc/meminfo: memFree=1436144/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2420

[startup+1.51726 s]
/proc/loadavg: 1.07 1.03 1.00 2/93 4719
/proc/meminfo: memFree=1430772/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=5632 CPUtime=1.29
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 1332 0 0 0 129 0 0 0 25 0 1 0 1012516247 5767168 1267 4294967295 134512640 135216591 3213780096 3213778272 134525484 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4719/statm: 1408 1267 75 172 0 1235 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8052

[startup+3.11718 s]
/proc/loadavg: 1.07 1.03 1.00 2/93 4719
/proc/meminfo: memFree=1430276/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=6160 CPUtime=2.89
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 1459 0 0 0 289 0 0 0 25 0 1 0 1012516247 6307840 1394 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4719/statm: 1540 1394 75 172 0 1367 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8580

[startup+6.31703 s]
/proc/loadavg: 1.07 1.03 1.00 2/93 4721
/proc/meminfo: memFree=1428912/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=7656 CPUtime=6.09
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 1810 0 0 0 608 1 0 0 25 0 1 0 1012516247 7839744 1745 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4719/statm: 1914 1745 75 172 0 1741 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10076

[startup+12.7167 s]
/proc/loadavg: 1.06 1.02 1.00 2/93 4721
/proc/meminfo: memFree=1426264/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=10040 CPUtime=12.49
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 2400 0 0 0 1248 1 0 0 25 0 1 0 1012516247 10280960 2335 4294967295 134512640 135216591 3213780096 3213778288 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4719/statm: 2510 2335 75 172 0 2337 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12460

[startup+25.5161 s]
/proc/loadavg: 1.05 1.02 1.00 2/93 4721
/proc/meminfo: memFree=1422888/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=13368 CPUtime=25.28
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 3241 0 0 0 2527 1 0 0 25 0 1 0 1012516247 13688832 3176 4294967295 134512640 135216591 3213780096 3213778288 134528939 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4719/statm: 3342 3176 75 172 0 3169 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 15788

[startup+51.1149 s]
/proc/loadavg: 1.03 1.02 1.00 2/93 4909
/proc/meminfo: memFree=1418700/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=17472 CPUtime=50.86
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4216 0 0 0 5083 3 0 0 25 0 1 0 1012516247 17891328 4151 4294967295 134512640 135216591 3213780096 3213778288 134528888 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4368 4151 75 172 0 4195 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19892

[startup+102.322 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 5094
/proc/meminfo: memFree=1418080/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=17960 CPUtime=102.07
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4345 0 0 0 10204 3 0 0 25 0 1 0 1012516247 18391040 4280 4294967295 134512640 135216591 3213780096 3213778000 134533136 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4490 4280 75 172 0 4317 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20380

[startup+162.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 5283
/proc/meminfo: memFree=1417956/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=18280 CPUtime=162.06
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4434 0 0 0 16202 4 0 0 25 0 1 0 1012516247 18718720 4369 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4570 4369 75 172 0 4397 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20700

[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5474
/proc/meminfo: memFree=1417368/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=18620 CPUtime=222.07
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4510 0 0 0 22203 4 0 0 25 0 1 0 1012516247 19066880 4445 4294967295 134512640 135216591 3213780096 3213778208 134534660 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4655 4445 75 172 0 4482 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21040

[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5663
/proc/meminfo: memFree=1417204/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=18620 CPUtime=282.07
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4520 0 0 0 28202 5 0 0 25 0 1 0 1012516247 19066880 4455 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4655 4455 75 172 0 4482 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21040

[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5849
/proc/meminfo: memFree=1416964/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=18948 CPUtime=342.07
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4583 0 0 0 34202 5 0 0 25 0 1 0 1012516247 19402752 4518 4294967295 134512640 135216591 3213780096 3213778288 134529272 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4737 4518 75 172 0 4564 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21368

[startup+402.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6039
/proc/meminfo: memFree=1416972/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23

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

/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=18948 CPUtime=462.08
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4583 0 0 0 46199 9 0 0 25 0 1 0 1012516247 19402752 4518 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4737 4518 75 172 0 4564 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 21368

[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6419
/proc/meminfo: memFree=1416600/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=19500 CPUtime=522.08
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4693 0 0 0 52196 12 0 0 25 0 1 0 1012516247 19968000 4628 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4875 4628 75 172 0 4702 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 21920

[startup+582.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6608
/proc/meminfo: memFree=1416088/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=19876 CPUtime=582.09
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4775 0 0 0 58197 12 0 0 25 0 1 0 1012516247 20353024 4710 4294967295 134512640 135216591 3213780096 3213778064 134538249 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 4969 4710 75 172 0 4796 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 22296

[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6794
/proc/meminfo: memFree=1415484/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=20556 CPUtime=642.09
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4956 0 0 0 64197 12 0 0 25 0 1 0 1012516247 21049344 4891 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 5139 4891 75 172 0 4966 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 22976

[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6982
/proc/meminfo: memFree=1415352/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=20696 CPUtime=702.09
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4970 0 0 0 70197 12 0 0 25 0 1 0 1012516247 21192704 4905 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 5174 4905 75 172 0 5001 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 23116

[startup+762.321 s]
/proc/loadavg: 1.03 1.01 1.00 3/93 7171
/proc/meminfo: memFree=1415352/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=20696 CPUtime=762.1
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 4972 0 0 0 76198 12 0 0 25 0 1 0 1012516247 21192704 4907 4294967295 134512640 135216591 3213780096 3213778288 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 5174 4907 75 172 0 5001 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 23116

[startup+822.318 s]
/proc/loadavg: 1.01 1.01 1.00 4/93 7358
/proc/meminfo: memFree=1414120/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22016 CPUtime=822.1
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5303 0 0 0 82197 13 0 0 25 0 1 0 1012516247 22544384 5238 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 5504 5238 75 172 0 5331 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 24436

[startup+882.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7551
/proc/meminfo: memFree=1413964/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22016 CPUtime=882.1
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5314 0 0 0 88197 13 0 0 25 0 1 0 1012516247 22544384 5249 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/4719/statm: 5504 5249 75 172 0 5331 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 24436

[startup+942.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7737
/proc/meminfo: memFree=1414096/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22016 CPUtime=942.11
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5315 0 0 0 94198 13 0 0 25 0 1 0 1012516247 22544384 5250 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/4719/statm: 5504 5250 75 172 0 5331 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 24436

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 7925
/proc/meminfo: memFree=1414104/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22016 CPUtime=1002.11
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5317 0 0 0 100198 13 0 0 25 0 1 0 1012516247 22544384 5252 4294967295 134512640 135216591 3213780096 3213778288 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/4719/statm: 5504 5252 75 172 0 5331 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 24436

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8114
/proc/meminfo: memFree=1413980/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22152 CPUtime=1062.1
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5346 0 0 0 106197 13 0 0 25 0 1 0 1012516247 22683648 5281 4294967295 134512640 135216591 3213780096 3213778288 134528966 0 0 0 3 0 0 0 17 3 0 0 0
/proc/4719/statm: 5538 5281 75 172 0 5365 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 24572

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8301
/proc/meminfo: memFree=1414104/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22152 CPUtime=1122.11
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5347 0 0 0 112198 13 0 0 25 0 1 0 1012516247 22683648 5282 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/4719/statm: 5538 5282 75 172 0 5365 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 24572

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8490
/proc/meminfo: memFree=1414088/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22152 CPUtime=1182.11
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5349 0 0 0 118198 13 0 0 25 0 1 0 1012516247 22683648 5284 4294967295 134512640 135216591 3213780096 3213778288 134529240 0 0 0 3 0 0 0 17 3 0 0 0
/proc/4719/statm: 5538 5284 75 172 0 5365 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 24572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8490
/proc/meminfo: memFree=1414208/2074464 swapFree=1953004/1959888
[pid=4713] ppid=4711 vsize=2420 CPUtime=0.23
/proc/4713/stat : 4713 (SatELiteGTI) S 4711 4713 9090 0 -1 4194304 386 2421 0 0 0 0 21 2 23 0 1 0 1012516224 2478080 278 4294967295 134512640 135169312 3217332112 3217328328 3085057774 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/4713/statm: 605 278 235 161 0 44 0
[pid=4719] ppid=4713 vsize=22152 CPUtime=1199.81
/proc/4719/stat : 4719 (minisat_static) R 4713 4713 9090 0 -1 4202496 5349 0 0 0 119968 13 0 0 25 0 1 0 1012516247 22683648 5284 4294967295 134512640 135216591 3213780096 3213778288 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/4719/statm: 5538 5284 75 172 0 5365 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 24572

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.05
CPU user time (s): 1199.89
CPU system time (s): 0.16
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.89
system time used= 0.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8431
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= 19
involuntary context switches= 2416

runsolver used 0.02 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-16 15:22:39
IDJOB=1820819
IDBENCH=69604
IDSOLVER=658
FILE ID=tipi19/1820819-1242480159
PBS_JOBID=
Free space on /tmp= 9317 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-dalumul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820819-1242480159/watcher-1820819-1242480159 -o /tmp/evaluation-result-1820819-1242480159/solver-1820819-1242480159 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820819-1242480159.cnf

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

MD5SUM BENCH= f03acb1e2f3063539a5fb2ac1bbf6244
RANDOM SEED= 727213864

Linux tipi19 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.426
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.39

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
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.426
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.426
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:       1436160 kB
Buffers:         20864 kB
Cached:         536768 kB
SwapCached:       2992 kB
Active:         127732 kB
Inactive:       439628 kB
HighTotal:     1178688 kB
HighFree:       718656 kB
LowTotal:       895776 kB
LowFree:        717504 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            2696 kB
Writeback:           0 kB
AnonPages:        8952 kB
Mapped:           3232 kB
Slab:            62392 kB
PageTables:        592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87784 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9317 MiB
End job on tipi19 at 2009-05-16 15:42:39