Trace number 1821850

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1200.03

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
MD5SUMe0639bbed56c8b8c34616f8cb99c381c
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 variables1740
Number of clauses114011
Sum of the clauses size339448
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22792
Number of clauses of size 3111196
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.03/0.07	c ==============================================================================
0.03/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.07	c ==============================================================================
0.03/0.07	c |         0 |  114011   339448 |   34203       0        0     nan |  0.000 % |
1.11/1.13	c |         0 |  113182   490657 |      --       0       --      -- |     --   | -829/151209
1.11/1.13	c ==============================================================================
1.11/1.13	c Result  :   #vars: 1091   #clauses: 113182   #literals: 490657
1.11/1.13	c CPU time:   1.1 s
1.11/1.13	c ==============================================================================
1.20/1.28	c This is MiniSat 2.0 beta
1.20/1.28	c WARNING: for repeatability, setting FPU to use double precision
1.20/1.28	c ============================[ Problem Statistics ]=============================
1.20/1.28	c |                                                                             |
1.20/1.29	c |  Number of variables:  1091                                                 |
1.20/1.29	c |  Number of clauses:    113182                                               |
1.27/1.35	c |  Parsing time:         0.07         s                                       |
1.27/1.36	c ============================[ Search Statistics ]==============================
1.27/1.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.27/1.36	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.27/1.36	c ===============================================================================
1.27/1.36	c |         0 |    1091   113182   490657 |    37727        0    nan |  0.000 % |
1.27/1.44	c |       102 |    1091   113182   490657 |    37727      102     65 |  0.000 % |
1.27/1.46	c |       203 |    1091   113182   490657 |    37727      203     54 |  0.000 % |
1.27/1.52	c |       303 |    1091   113182   490657 |    37727      303     59 |  0.000 % |
1.27/1.55	c |       414 |    1091   113182   490657 |    37727      414     62 |  0.000 % |
1.27/1.61	c |       514 |    1091   113182   490657 |    37727      514     61 |  0.000 % |
1.27/1.65	c |       626 |    1091   113182   490657 |    37727      626     67 |  0.000 % |
1.27/1.71	c |       750 |    1091   113182   490657 |    37727      750     69 |  0.000 % |
1.27/1.77	c |       852 |    1091   113182   490657 |    37727      852     68 |  0.000 % |
1.27/1.82	c |       962 |    1091   113182   490657 |    37727      962     69 |  0.000 % |
1.27/1.90	c |      1085 |    1091   113182   490657 |    37727     1085     69 |  0.000 % |
1.27/1.97	c |      1221 |    1091   113182   490657 |    37727     1221     69 |  0.000 % |
1.27/2.00	c |      1321 |    1091   113182   490657 |    37727     1321     70 |  0.000 % |
1.27/2.08	c |      1433 |    1091   113182   490657 |    37727     1433     68 |  0.000 % |
2.10/2.16	c |      1555 |    1091   113182   490657 |    37727     1555     66 |  0.000 % |
2.20/2.24	c |      1690 |    1091   113182   490657 |    37727     1690     67 |  0.000 % |
2.20/2.30	c |      1836 |    1091   113182   490657 |    37727     1836     67 |  0.000 % |
2.30/2.34	c |      1938 |    1091   113182   490657 |    37727     1938     68 |  0.000 % |
2.30/2.38	c |      2048 |    1091   113182   490657 |    37727     2048     69 |  0.000 % |
2.40/2.41	c |      2169 |    1091   113182   490657 |    37727     2169     69 |  0.000 % |
2.40/2.44	c |      2302 |    1091   113182   490657 |    37727     2302     70 |  0.000 % |
2.40/2.48	c |      2449 |    1091   113182   490657 |    37727     2449     70 |  0.000 % |
2.50/2.52	c |      2610 |    1091   113182   490657 |    37727     2610     71 |  0.000 % |
2.50/2.56	c |      2710 |    1091   113182   490657 |    37727     2710     71 |  0.000 % |
2.50/2.58	c |      2820 |    1091   113182   490657 |    37727     2820     71 |  0.000 % |
2.60/2.61	c |      2941 |    1091   113182   490657 |    37727     2941     72 |  0.000 % |
2.60/2.65	c |      3075 |    1091   113182   490657 |    37727     3075     72 |  0.000 % |
2.70/2.73	c |      3222 |    1091   113182   490657 |    37727     3222     72 |  0.000 % |
2.80/2.82	c |      3382 |    1091   113182   490657 |    37727     3382     72 |  0.000 % |
2.80/2.90	c |      3559 |    1091   113182   490657 |    37727     3559     72 |  0.000 % |
2.90/2.94	c |      3659 |    1091   113182   490657 |    37727     3659     72 |  0.000 % |
2.90/2.99	c |      3771 |    1091   113182   490657 |    37727     3771     72 |  0.000 % |
3.00/3.03	c |      3892 |    1091   113182   490657 |    37727     3892     72 |  0.000 % |
3.00/3.07	c |      4027 |    1091   113182   490657 |    37727     4027     72 |  0.000 % |
3.10/3.13	c |      4173 |    1091   113182   490657 |    37727     4173     72 |  0.000 % |
3.10/3.19	c |      4334 |    1091   113182   490657 |    37727     4334     73 |  0.000 % |
3.19/3.24	c |      4510 |    1091   113182   490657 |    37727     4510     73 |  0.000 % |
3.29/3.31	c |      4703 |    1091   113182   490657 |    37727     4703     73 |  0.000 % |
3.29/3.34	c |      4805 |    1091   113182   490657 |    37727     4805     73 |  0.000 % |
3.29/3.38	c |      4915 |    1091   113182   490657 |    37727     4915     73 |  0.000 % |
3.39/3.46	c |      5036 |    1091   113182   490657 |    37727     5036     73 |  0.000 % |
3.49/3.53	c |      5171 |    1091   113182   490657 |    37727     5171     74 |  0.000 % |
3.49/3.59	c |      5318 |    1091   113182   490657 |    37727     5318     74 |  0.000 % |
3.59/3.65	c |      5478 |    1091   113182   490657 |    37727     5478     74 |  0.000 % |
3.69/3.74	c |      5654 |    1091   113182   490657 |    37727     5654     74 |  0.000 % |
3.79/3.82	c |      5848 |    1091   113182   490657 |    37727     5848     74 |  0.000 % |
3.79/3.90	c |      6060 |    1091   113182   490657 |    37727     6060     75 |  0.000 % |
3.89/3.97	c |      6162 |    1091   113182   490657 |    37727     6162     75 |  0.000 % |
3.99/4.02	c |      6272 |    1091   113182   490657 |    37727     6272     75 |  0.000 % |
3.99/4.08	c |      6394 |    1091   113182   490657 |    37727     6394     75 |  0.000 % |
4.09/4.14	c |      6528 |    1091   113182   490657 |    37727     6528     75 |  0.000 % |
4.19/4.23	c |      6674 |    1091   113182   490657 |    37727     6674     75 |  0.000 % |
4.19/4.30	c |      6834 |    1091   113182   490657 |    37727     6834     75 |  0.000 % |
4.29/4.39	c |      7010 |    1091   113182   490657 |    37727     7010     75 |  0.000 % |
4.39/4.49	c |      7206 |    1091   113182   490657 |    37727     7206     75 |  0.000 % |
4.59/4.62	c |      7419 |    1091   113182   490657 |    37727     7419     75 |  0.000 % |
4.69/4.73	c |      7652 |    1091   113182   490657 |    37727     7652     75 |  0.000 % |
4.69/4.80	c |      7752 |    1091   113182   490657 |    37727     7752     75 |  0.000 % |
4.79/4.87	c |      7862 |    1091   113182   490657 |    37727     7862     75 |  0.000 % |
4.89/4.94	c |      7983 |    1091   113182   490657 |    37727     7983     75 |  0.000 % |
4.99/5.04	c |      8116 |    1091   113182   490657 |    37727     8116     75 |  0.000 % |
5.09/5.12	c |      8266 |    1091   113182   490657 |    37727     8266     75 |  0.000 % |
5.19/5.26	c |      8427 |    1091   113182   490657 |    37727     8427     75 |  0.000 % |
5.29/5.37	c |      8606 |    1091   113182   490657 |    37727     8606     75 |  0.000 % |
5.39/5.49	c |      8799 |    1091   113182   490657 |    37727     8799     75 |  0.000 % |
5.59/5.63	c |      9012 |    1091   113182   490657 |    37727     9012     75 |  0.000 % |
5.69/5.72	c |      9245 |    1091   113182   490657 |    37727     9245     75 |  0.000 % |
5.89/6.00	c |      9501 |    1091   113182   490657 |    37727     9501     75 |  0.000 % |
6.09/6.11	c |      9601 |    1091   113182   490657 |    37727     9601     75 |  0.000 % |
6.19/6.21	c |      9711 |    1091   113182   490657 |    37727     9711     75 |  0.000 % |
6.19/6.30	c |      9832 |    1091   113182   490657 |    37727     9832     75 |  0.000 % |
6.29/6.39	c |      9970 |    1091   113182   490657 |    37727     9970     74 |  0.000 % |
6.39/6.49	c |     10116 |    1091   113182   490657 | 2147483647    10116     74 |  0.000 % |
6.49/6.60	c |     10276 |    1091   113182   490657 | 2147483647    10276     73 |  0.000 % |
6.69/6.73	c |     10454 |    1091   113182   490657 | 2147483647    10454     72 |  0.000 % |
6.79/6.86	c |     10653 |    1091   113182   490657 | 2147483647    10653     72 |  0.000 % |
6.99/7.04	c |     10865 |    1091   113182   490657 | 2147483647    10865     71 |  0.000 % |
7.19/7.24	c |     11098 |    1091   113182   490657 | 2147483647    11098     70 |  0.000 % |
7.49/7.53	c |     11354 |    1091   113182   490657 | 2147483647    11354     70 |  0.000 % |
7.59/7.69	c |     11635 |    1091   113182   490657 | 2147483647    11635     70 |  0.000 % |
7.69/7.79	c |     11735 |    1091   113182   490657 | 2147483647    11735     70 |  0.000 % |
7.79/7.83	c |     11845 |    1091   113182   490657 | 2147483647    11845     70 |  0.000 % |
7.89/7.92	c |     11967 |    1091   113182   490657 | 2147483647    11967     70 |  0.000 % |
7.89/7.98	c |     12101 |    1091   113182   490657 | 2147483647    12101     70 |  0.000 % |
7.99/8.06	c |     12247 |    1091   113182   490657 | 2147483647    12247     70 |  0.000 % |
8.09/8.14	c |     12409 |    1091   113182   490657 | 2147483647    12409     70 |  0.000 % |
8.19/8.22	c |     12586 |    1091   113182   490657 | 2147483647    12586     71 |  0.000 % |
8.19/8.28	c |     12779 |    1091   113182   490657 | 2147483647    12779     71 |  0.000 % |
8.29/8.33	c |     12992 |    1091   113182   490657 | 2147483647    12992     71 |  0.000 % |
8.29/8.39	c |     13227 |    1091   113182   490657 | 2147483647    13227     71 |  0.000 % |
8.39/8.45	c |     13483 |    1091   113182   490657 | 2147483647    13483     71 |  0.000 % |
8.49/8.53	c |     13765 |    1091   113182   490657 | 2147483647    13765     72 |  0.000 % |
8.59/8.62	c |     14078 |    1091   113182   490657 | 2147483647    14078     72 |  0.000 % |
8.59/8.66	c |     14179 |    1091   113182   490657 | 2147483647    14179     72 |  0.000 % |
8.59/8.69	c |     14289 |    1091   113182   490657 | 2147483647    14289     72 |  0.000 % |
8.69/8.74	c |     14410 |    1091   113182   490657 | 2147483647    14410     73 |  0.000 % |
8.69/8.77	c |     14544 |    1091   113182   490657 | 2147483647    14544     73 |  0.000 % |
8.80/8.82	c |     14690 |    1091   113182   490657 | 2147483647    14690     73 |  0.000 % |
8.80/8.88	c |     14851 |    1091   113182   490657 | 2147483647    14851     73 |  0.000 % |
8.89/8.96	c |     15030 |    1091   113182   490657 | 2147483647    15030     73 |  0.000 % |
8.99/9.04	c |     15223 |    1091   113182   490657 | 2147483647    15223     73 |  0.000 % |
8.99/9.10	c |     15435 |    1091   113182   490657 | 2147483647    15435     73 |  0.000 % |
9.09/9.16	c |     15668 |    1091   113182   490657 | 2147483647    15668     74 |  0.000 % |
9.29/9.33	c |     15925 |    1091   113182   490657 | 2147483647    15925     74 |  0.000 % |
9.49/9.53	c |     16206 |    1091   113182   490657 | 2147483647    16206     74 |  0.000 % |
9.59/9.70	c |     16517 |    1091   113182   490657 | 2147483647    16517     75 |  0.000 % |
9.90/9.92	c |     16859 |    1091   113182   490657 | 2147483647    16859     75 |  0.000 % |
9.90/10.00	c |     16959 |    1091   113182   490657 | 2147483647    16959     75 |  0.000 % |
9.99/10.07	c |     17069 |    1091   113182   490657 | 2147483647    17069     75 |  0.000 % |
10.09/10.16	c |     17193 |    1091   113182   490657 | 2147483647    17193     75 |  0.000 % |
10.19/10.26	c |     17328 |    1091   113182   490657 | 2147483647    17328     75 |  0.000 % |
10.29/10.34	c |     17474 |    1091   113182   490657 | 2147483647    17474     75 |  0.000 % |
10.39/10.45	c |     17635 |    1091   113182   490657 | 2147483647    17635     75 |  0.000 % |
10.49/10.54	c |     17812 |    1091   113182   490657 | 2147483647    17812     75 |  0.000 % |
10.59/10.61	c |     18005 |    1091   113182   490657 | 2147483647    18005     75 |  0.001 % |
10.69/10.78	c |     18217 |    1091   113182   490657 | 2147483647    18217     76 |  0.000 % |
10.89/10.98	c |     18451 |    1091   113182   490657 | 2147483647    18451     76 |  0.000 % |
11.19/11.22	c |     18707 |    1091   113182   490657 | 2147483647    18707     76 |  0.000 % |
11.39/11.48	c |     18989 |    1091   113182   490657 | 2147483647    18989     76 |  0.000 % |
11.69/11.75	c |     19299 |    1091   113182   490657 | 2147483647    19299     76 |  0.000 % |
11.99/12.03	c |     19640 |    1091   113182   490657 | 2147483647    19640     77 |  0.000 % |
12.39/12.41	c |     20013 |    1091   113182   490657 | 2147483647    20013     77 |  0.000 % |
12.49/12.52	c |     20113 |    1091   113182   490657 | 2147483647    20113     77 |  0.000 % |
12.59/12.62	c |     20223 |    1091   113182   490657 | 2147483647    20223     77 |  0.000 % |
12.69/12.72	c |     20345 |    1091   113182   490657 | 2147483647    20345     77 |  0.000 % |
12.79/12.84	c |     20482 |    1091   113182   490657 | 2147483647    20482     77 |  0.000 % |
12.89/12.97	c |     20629 |    1091   113182   490657 | 2147483647    20629     77 |  0.000 % |
13.09/13.14	c |     20789 |    1091   113182   490657 | 2147483647    20789     77 |  0.000 % |
13.29/13.32	c |     20966 |    1091   113182   490657 | 2147483647    20966     77 |  0.000 % |
13.49/13.53	c |     21159 |    1091   113182   490657 | 2147483647    21159     77 |  0.000 % |
13.59/13.69	c |     21372 |    1091   113182   490657 | 2147483647    21372     77 |  0.000 % |
14.09/14.17	c |     21605 |    1091   113182   490657 | 2147483647    21605     77 |  0.000 % |
14.39/14.48	c |     21861 |    1091   113182   490657 | 2147483647    21861     77 |  0.000 % |
14.59/14.66	c |     22143 |    1091   113182   490657 | 2147483647    22143     77 |  0.000 % |
14.89/14.95	c |     22452 |    1091   113182   490657 | 2147483647    22452     78 |  0.000 % |
15.40/15.44	c |     22791 |    1091   113182   490657 | 2147483647    22791     78 |  0.000 % |
15.89/15.95	c |     23163 |    1091   113182   490657 | 2147483647    23163     78 |  0.000 % |
16.50/16.54	c |     23572 |    1091   113182   490657 | 2147483647    23572     78 |  0.000 % |
16.59/16.69	c |     23672 |    1091   113182   490657 | 2147483647    23672     78 |  0.000 % |
16.89/16.95	c |     23783 |    1091   113182   490657 | 2147483647    23783     78 |  0.000 % |
17.09/17.18	c |     23905 |    1091   113182   490657 | 2147483647    23905     78 |  0.000 % |
17.39/17.44	c |     24041 |    1091   113182   490657 | 2147483647    24041     78 |  0.000 % |
17.60/17.64	c |     24188 |    1091   113182   490657 | 2147483647    24188     78 |  0.000 % |
17.89/17.92	c |     24349 |    1091   113182   490657 | 2147483647    24349     78 |  0.000 % |
18.09/18.14	c |     24526 |    1091   113182   490657 | 2147483647    24526     78 |  0.000 % |
18.39/18.46	c |     24720 |    1091   113182   490657 | 2147483647    24720     78 |  0.000 % |
18.79/18.89	c |     24932 |    1091   113182   490657 | 2147483647    24932     79 |  0.000 % |
19.29/19.37	c |     25165 |    1091   113182   490657 | 2147483647    25165     79 |  0.000 % |
19.69/19.76	c |     25421 |    1091   113182   490657 | 2147483647    25421     79 |  0.000 % |
20.09/20.14	c |     25702 |    1091   113182   490657 | 2147483647    25702     79 |  0.000 % |
20.49/20.59	c |     26011 |    1091   113182   490657 | 2147483647    26011     79 |  0.000 % |
21.19/21.30	c |     26350 |    1091   113182   490657 | 2147483647    26350     79 |  0.000 % |
21.89/21.92	c |     26723 |    1091   113182   490657 | 2147483647    26723     79 |  0.000 % |
22.29/22.40	c |     27134 |    1091   113182   490657 | 2147483647    27134     79 |  0.000 % |
22.99/23.08	c |     27584 |    1091   113182   490657 | 2147483647    27584     79 |  0.000 % |
23.19/23.26	c |     27684 |    1091   113182   490657 | 2147483647    27684     79 |  0.000 % |
23.39/23.42	c |     27794 |    1091   113182   490657 | 2147483647    27794     79 |  0.000 % |
23.49/23.58	c |     27916 |    1091   113182   490657 | 2147483647    27916     79 |  0.000 % |
23.69/23.76	c |     28050 |    1091   113182   490657 | 2147483647    28050     79 |  0.000 % |
23.89/23.99	c |     28199 |    1091   113182   490657 | 2147483647    28199     79 |  0.000 % |
24.09/24.20	c |     28359 |    1091   113182   490657 | 2147483647    28359     79 |  0.000 % |
24.49/24.51	c |     28536 |    1091   113182   490657 | 2147483647    28536     79 |  0.000 % |
24.79/24.81	c |     28733 |    1091   113182   490657 | 2147483647    28733     79 |  0.000 % |
24.99/25.10	c |     28945 |    1091   113182   490657 | 2147483647    28945     79 |  0.000 % |
25.39/25.43	c |     29180 |    1091   113182   490657 | 2147483647    29180     79 |  0.000 % |
25.59/25.70	c |     29436 |    1091   113182   490657 | 2147483647    29436     79 |  0.000 % |
26.19/26.24	c |     29718 |    1091   113182   490657 | 2147483647    29718     79 |  0.000 % |
26.69/26.72	c |     30028 |    1091   113182   490657 | 2147483647    30028     80 |  0.000 % |
27.39/27.50	c |     30367 |    1091   113182   490657 | 2147483647    30367     80 |  0.000 % |
28.29/28.36	c |     30739 |    1091   113182   490657 | 2147483647    30739     80 |  0.000 % |
28.89/29.00	c |     31148 |    1091   113182   490657 | 2147483647    31148     80 |  0.000 % |
30.09/30.17	c |     31598 |    1091   113182   490657 | 2147483647    31598     80 |  0.000 % |
31.19/31.24	c |     32092 |    1091   113182   490657 | 2147483647    32092     80 |  0.000 % |
31.39/31.45	c |     32193 |    1091   113182   490657 | 2147483647    32193     80 |  0.000 % |
31.69/31.73	c |     32303 |    1091   113182   490657 | 2147483647    32303     80 |  0.000 % |
31.99/32.03	c |     32426 |    1091   113182   490657 | 2147483647    32426     80 |  0.000 % |
32.29/32.39	c |     32559 |    1091   113182   490657 | 2147483647    32559     80 |  0.000 % |
32.59/32.70	c |     32707 |    1091   113182   490657 | 2147483647    32707     80 |  0.000 % |
33.09/33.16	c |     32867 |    1091   113182   490657 | 2147483647    32867     80 |  0.000 % |
33.59/33.64	c |     33043 |    1091   113182   490657 | 2147483647    33043     80 |  0.000 % |
34.10/34.15	c |     33238 |    1091   113182   490657 | 2147483647    33238     80 |  0.000 % |
34.59/34.66	c |     33452 |    1091   113182   490657 | 2147483647    33452     80 |  0.000 % |
35.20/35.28	c |     33686 |    1091   113182   490657 | 2147483647    33686     80 |  0.000 % |
35.89/35.94	c |     33942 |    1091   113182   490657 | 2147483647    33942     80 |  0.000 % |
36.59/36.69	c |     34223 |    1091   113182   490657 | 2147483647    34223     80 |  0.000 % |
37.49/37.57	c |     34533 |    1091   113182   490657 | 2147483647    34533     80 |  0.000 % |
38.19/38.24	c |     34872 |    1091   113182   490657 | 2147483647    34872     80 |  0.000 % |
38.69/38.72	c |     35244 |    1091   113182   490657 | 2147483647    35244     80 |  0.000 % |
38.89/38.95	c |     35654 |    1091   113182   490657 | 2147483647    35654     81 |  0.000 % |
39.09/39.12	c |     36103 |    1091   113182   490657 | 2147483647    36103     81 |  0.000 % |
39.29/39.31	c |     36597 |    1091   113182   490657 | 2147483647    36597     81 |  0.000 % |
39.39/39.50	c |     37140 |    1091   113182   490657 | 2147483647    37140     81 |  0.000 % |
39.49/39.53	c |     37240 |    1091   113182   490657 | 2147483647    37240     81 |  0.000 % |
39.49/39.58	c |     37350 |    1091   113182   490657 | 2147483647    37350     81 |  0.000 % |
39.60/39.66	c |     37471 |    1091   113182   490657 | 2147483647    37471     81 |  0.000 % |
39.69/39.72	c |     37604 |    1091   113182   490657 | 2147483647    37604     81 |  0.000 % |
39.69/39.79	c |     37750 |    1091   113182   490657 | 2147483647    37750     81 |  0.000 % |
39.79/39.88	c |     37910 |    1091   113182   490657 | 2147483647    37910     81 |  0.000 % |
39.99/40.00	c |     38087 |    1091   113182   490657 | 2147483647    38087     81 |  0.000 % |
40.09/40.13	c |     38280 |    1091   113182   490657 | 2147483647    38280     81 |  0.000 % |
40.19/40.24	c |     38492 |    1091   113182   490657 | 2147483647    38492     81 |  0.000 % |
40.29/40.39	c |     38729 |    1091   113182   490657 | 2147483647    38729     81 |  0.000 % |
40.49/40.54	c |     38985 |    1091   113182   490657 | 2147483647    38985     81 |  0.000 % |
40.70/40.76	c |     39267 |    1091   113182   490657 | 2147483647    39267     81 |  0.000 % |
40.89/40.99	c |     39577 |    1091   113182   490657 | 2147483647    39577     81 |  0.000 % |
41.19/41.25	c |     39916 |    1091   113182   490657 | 2147483647    39916     81 |  0.000 % |
41.49/41.52	c |     40290 |    1091   113182   490657 | 2147483647    40290     81 |  0.000 % |
41.69/41.78	c |     40702 |    1091   113182   490657 | 2147483647    40702     81 |  0.000 % |
41.99/42.09	c |     41151 |    1091   113182   490657 | 2147483647    41151     81 |  0.000 % |
42.39/42.44	c |     41645 |    1091   113182   490657 | 2147483647    41645     81 |  0.000 % |
42.90/42.99	c |     42188 |    1091   113182   490657 | 2147483647    42188     81 |  0.000 % |
43.39/43.49	c |     42786 |    1091   113182   490657 | 2147483647    42786     81 |  0.000 % |
43.49/43.59	c |     42886 |    1091   113182   490657 | 2147483647    42886     81 |  0.000 % |
43.59/43.69	c |     42996 |    1091   113182   490657 | 2147483647    42996     81 |  0.000 % |
43.69/43.79	c |     43117 |    1091   113182   490657 | 2147483647    43117     81 |  0.000 % |
43.89/43.92	c |     43250 |    1091   113182   490657 | 2147483647    43250     81 |  0.000 % |
44.00/44.09	c |     43396 |    1091   113182   490657 | 2147483647    43396     81 |  0.000 % |
44.29/44.36	c |     43556 |    1091   113182   490657 | 2147483647    43556     81 |  0.000 % |
44.39/44.47	c |     43733 |    1091   113182   490657 | 2147483647    43733     81 |  0.000 % |
44.49/44.57	c |     43927 |    1091   113182   490657 | 2147483647    43927     81 |  0.001 % |
44.59/44.67	c |     44139 |    1091   113182   490657 | 2147483647    44139     81 |  0.000 % |
44.69/44.78	c |     44372 |    1091   113182   490657 | 2147483647    44372     81 |  0.000 % |
44.89/44.93	c |     44629 |    1091   113182   490657 | 2147483647    44629     81 |  0.000 % |
45.29/45.39	c |     44911 |    1091   113182   490657 | 2147483647    44911     81 |  0.000 % |
45.89/45.93	c |     45221 |    1091   113182   490657 | 2147483647    45221     81 |  0.000 % |
46.49/46.54	c |     45560 |    1091   113182   490657 | 2147483647    45560     81 |  0.000 % |
46.89/47.00	c |     45933 |    1091   113182   490657 | 2147483647    45933     81 |  0.000 % |
47.59/47.61	c |     46343 |    1091   113182   490657 | 2147483647    46343     81 |  0.000 % |
48.19/48.27	c |     46792 |    1091   113182   490657 | 2147483647    46792     81 |  0.000 % |
48.99/49.10	c |     47286 |    1091   113182   490657 | 2147483647    47286     81 |  0.000 % |
49.89/49.94	c |     47828 |    1091   113182   490657 | 2147483647    47828     81 |  0.000 % |
50.89/50.90	c |     48426 |    1091   113182   490657 | 2147483647    48426     81 |  0.000 % |
51.39/51.47	c |     49084 |    1091   113182   490657 | 2147483647    49084     81 |  0.000 % |
51.59/51.63	c |     49186 |    1091   113182   490657 | 2147483647    49186     81 |  0.000 % |
51.79/51.85	c |     49296 |    1091   113182   490657 | 2147483647    49296     81 |  0.000 % |
51.99/52.08	c |     49419 |    1091   113182   490657 | 2147483647    49419     81 |  0.000 % |
52.29/52.36	c |     49553 |    1091   113182   490657 | 2147483647    49553     81 |  0.000 % |
52.59/52.67	c |     49699 |    1091   113182   490657 | 2147483647    49699     81 |  0.000 % |
52.89/52.97	c |     49860 |    1091   113182   490657 | 2147483647    49860     81 |  0.000 % |
53.29/53.36	c |     50036 |    1091   113182   490657 | 2147483647    50036     82 |  0.000 % |
53.90/53.91	c |     50231 |    1091   113182   490657 | 2147483647    50231     82 |  0.000 % |
54.39/54.41	c |     50444 |    1091   113182   490657 | 2147483647    50444     82 |  0.000 % |
54.79/54.90	c |     50678 |    1091   113182   490657 | 2147483647    50678     82 |  0.000 % |
55.39/55.47	c |     50934 |    1091   113182   490657 | 2147483647    50934     82 |  0.000 % |
55.99/56.10	c |     51215 |    1091   113182   490657 | 2147483647    51215     82 |  0.000 % |
56.69/56.72	c |     51525 |    1091   113182   490657 | 2147483647    51525     82 |  0.000 % |
57.59/57.69	c |     51867 |    1091   113182   490657 | 2147483647    51867     82 |  0.000 % |
58.30/58.32	c |     52239 |    1091   113182   490657 | 2147483647    52239     82 |  0.000 % |
59.19/59.22	c |     52648 |    1091   113182   490657 | 2147483647    52648     82 |  0.000 % |
60.09/60.16	c |     53097 |    1091   113182   490657 | 2147483647    53097     82 |  0.000 % |
61.09/61.17	c |     53591 |    1091   113182   490657 | 2147483647    53591     82 |  0.000 % |
62.59/62.69	c |     54134 |    1091   113182   490657 | 2147483647    54134     82 |  0.000 % |
63.49/63.61	c |     54731 |    1091   113182   490657 | 2147483647    54731     82 |  0.000 % |
65.50/65.54	c |     55386 |    1091   113182   490657 | 2147483647    55386     82 |  0.000 % |
67.30/67.38	c |     56108 |    1091   113182   490657 | 2147483647    56108     82 |  0.000 % |
68.00/68.04	c |     56209 |    1091   113182   490657 | 2147483647    56209     82 |  0.000 % |
68.40/68.43	c |     56320 |    1091   113182   490657 | 2147483647    56320     82 |  0.000 % |
68.80/68.90	c |     56441 |    1091   113182   490657 | 2147483647    56441     82 |  0.000 % |
69.20/69.30	c |     56574 |    1091   113182   490657 | 2147483647    56574     82 |  0.000 % |
69.60/69.62	c |     56722 |    1091   113182   490657 | 2147483647    56722     82 |  0.000 % |
70.10/70.11	c |     56884 |    1091   113182   490657 | 2147483647    56884     82 |  0.000 % |
70.50/70.55	c |     57060 |    1091   113182   490657 | 2147483647    57060     82 |  0.000 % |
71.00/71.10	c |     57254 |    1091   113182   490657 | 2147483647    57254     82 |  0.000 % |
71.70/71.75	c |     57467 |    1091   113182   490657 | 2147483647    57467     82 |  0.000 % |
72.20/72.28	c |     57700 |    1091   113182   490657 | 2147483647    57700     82 |  0.000 % |
72.80/72.84	c |     57956 |    1091   113182   490657 | 2147483647    57956     82 |  0.000 % |
73.40/73.44	c |     58238 |    1091   113182   490657 | 2147483647    58238     82 |  0.000 % |
74.20/74.30	c |     58548 |    1091   113182   490657 | 2147483647    58548     82 |  0.000 % |
75.60/75.70	c |     58887 |    1091   113182   490657 | 2147483647    58887     82 |  0.000 % |
77.60/77.70	c |     59260 |    1091   113182   490657 | 2147483647    59260     82 |  0.000 % |
80.20/80.22	c |     59670 |    1091   113182   490657 | 2147483647    59670     82 |  0.000 % |
83.20/83.27	c |     60119 |    1091   113182   490657 | 2147483647    60119     82 |  0.000 % |
86.40/86.48	c |     60613 |    1091   113182   490657 | 2147483647    60613     82 |  0.000 % |
89.10/89.16	c |     61155 |    1091   113182   490657 | 2147483647    61155     82 |  0.000 % |
91.70/91.80	c |     61753 |    1091   113182   490657 | 2147483647    61753     82 |  0.000 % |
94.00/94.09	c |     62410 |    1091   113182   490657 | 2147483647    62410     82 |  0.000 % |
96.60/96.62	c |     63132 |    1091   113182   490657 | 2147483647    63132     82 |  0.000 % |
98.80/98.86	c |     63924 |    1091   113182   490657 | 2147483647    63924     82 |  0.000 % |
99.00/99.03	c |     64026 |    1091   113182   490657 | 2147483647    64026     82 |  0.000 % |
99.50/99.59	c |     64136 |    1091   113182   490657 | 2147483647    64136     82 |  0.000 % |
100.00/100.05	c |     64257 |    1091   113182   490657 | 2147483647    64257     82 |  0.000 % |
100.40/100.45	c |     64390 |    1091   113182   490657 | 2147483647    64390     82 |  0.000 % |
100.80/100.89	c |     64537 |    1091   113182   490657 | 2147483647    64537     82 |  0.000 % |
101.60/101.67	c |     64698 |    1091   113182   490657 | 2147483647    64698     82 |  0.000 % |
102.40/102.43	c |     64875 |    1091   113182   490657 | 2147483647    64875     82 |  0.000 % |
102.50/102.60	c |     65071 |    1091   113182   490657 | 2147483647    65071     82 |  0.000 % |
103.40/103.47	c |     65283 |    1091   113182   490657 | 2147483647    65283     82 |  0.000 % |
104.20/104.30	c |     65517 |    1091   113182   490657 | 2147483647    65517     82 |  0.000 % |
105.00/105.11	c |     65773 |    1091   113182   490657 | 2147483647    65773     82 |  0.000 % |
106.20/106.23	c |     66054 |    1091   113182   490657 | 2147483647    66054     82 |  0.000 % |
107.20/107.30	c |     66363 |    1091   113182   490657 | 2147483647    66363     82 |  0.000 % |
108.40/108.47	c |     66703 |    1091   113182   490657 | 2147483647    66703     82 |  0.000 % |
109.50/109.56	c |     67079 |    1091   113182   490657 | 2147483647    67079     82 |  0.000 % |
111.00/111.04	c |     67489 |    1091   113182   490657 | 2147483647    67489     82 |  0.000 % |
112.00/112.01	c |     67940 |    1091   113182   490657 | 2147483647    67940     82 |  0.000 % |
113.20/113.21	c |     68434 |    1091   113182   490657 | 2147483647    68434     82 |  0.000 % |
113.80/113.90	c |     68977 |    1091   113182   490657 | 2147483647    68977     82 |  0.000 % |
117.80/117.88	c |     69573 |    1091   113182   490657 | 2147483647    69573     83 |  0.000 % |
122.40/122.50	c |     70231 |    1091   113182   490657 |    70000    70231     83 |  0.000 % |
125.80/125.82	c |     70951 |    1091   113182   490657 |    70000    57407     85 |  0.000 % |
128.60/128.69	c |     71743 |    1091   113182   490657 |    70000    58199     85 |  0.000 % |
130.80/130.89	c |     72615 |    1091   113182   490657 |    70000    59071     85 |  0.000 % |
131.10/131.12	c |     72715 |    1091   113182   490657 |    70000    59171     85 |  0.000 % |
131.40/131.45	c |     72826 |    1091   113182   490657 |    70000    59282     85 |  0.000 % |
131.80/131.85	c |     72947 |    1091   113182   490657 |    70000    59403     85 |  0.000 % |
132.10/132.15	c |     73080 |    1091   113182   490657 |    70000    59536     85 |  0.000 % |
132.50/132.51	c |     73226 |    1091   113182   490657 |    70000    59682     85 |  0.000 % |
132.90/132.95	c |     73386 |    1091   113182   490657 |    70000    59842     85 |  0.000 % |
133.40/133.44	c |     73563 |    1091   113182   490657 |    70000    60019     85 |  0.000 % |
133.80/133.83	c |     73757 |    1091   113182   490657 |    70000    60213     85 |  0.000 % |
134.00/134.06	c |     73969 |    1091   113182   490657 |    70000    60425     85 |  0.000 % |
134.40/134.46	c |     74202 |    1091   113182   490657 |    70000    60658     85 |  0.000 % |
134.80/134.86	c |     74458 |    1091   113182   490657 |    70000    60914     85 |  0.000 % |
135.60/135.67	c |     74739 |    1091   113182   490657 |    70000    61195     85 |  0.000 % |
136.20/136.25	c |     75048 |    1091   113182   490657 |    70000    61504     85 |  0.001 % |
139.00/139.06	c |     75389 |    1091   113182   490657 |    70000    61845     85 |  0.000 % |
141.00/141.04	c |     75764 |    1091   113182   490657 |    70000    62220     85 |  0.000 % |
142.80/142.87	c |     76173 |    1091   113182   490657 |    70000    62629     84 |  0.000 % |
144.30/144.38	c |     76622 |    1091   113182   490657 |    70000    63078     84 |  0.000 % |
146.31/146.36	c |     77116 |    1091   113182   490657 |    70000    63572     84 |  0.000 % |
148.10/148.15	c |     77658 |    1091   113182   490657 |    70000    64114     83 |  0.000 % |
150.60/150.70	c |     78256 |    1091   113182   490657 |    70000    64712     83 |  0.000 % |
152.80/152.90	c |     78917 |    1091   113182   490657 |    70000    65373     82 |  0.000 % |
155.30/155.32	c |     79638 |    1091   113182   490657 |    70000    66094     82 |  0.000 % |
157.50/157.52	c |     80432 |    1091   113182   490657 | 2147483647    66888     81 |  0.000 % |
159.10/159.17	c |     81303 |    1091   113182   490657 | 2147483647    67759     80 |  0.000 % |
161.80/161.82	c |     82261 |    1091   113182   490657 | 2147483647    68717     80 |  0.000 % |
162.10/162.12	c |     82363 |    1091   113182   490657 | 2147483647    68819     80 |  0.001 % |
162.70/162.73	c |     82473 |    1091   113182   490657 | 2147483647    68929     80 |  0.000 % |
163.10/163.19	c |     82594 |    1091   113182   490657 | 2147483647    69050     80 |  0.000 % |
163.70/163.72	c |     82727 |    1091   113182   490657 | 2147483647    69183     80 |  0.000 % |
164.20/164.21	c |     82874 |    1091   113182   490657 | 2147483647    69330     80 |  0.000 % |
164.90/164.97	c |     83035 |    1091   113182   490657 | 2147483647    69491     80 |  0.000 % |
165.80/165.86	c |     83215 |    1091   113182   490657 | 2147483647    69671     80 |  0.000 % |
166.70/166.79	c |     83408 |    1091   113182   490657 | 2147483647    69864     79 |  0.000 % |
168.20/168.23	c |     83620 |    1091   113182   490657 | 2147483647    70076     79 |  0.000 % |
169.30/169.32	c |     83854 |    1091   113182   490657 | 2147483647    70310     79 |  0.000 % |
169.60/169.66	c |     84112 |    1091   113182   490657 | 2147483647    70568     79 |  0.000 % |
169.90/169.93	c |     84393 |    1091   113182   490657 | 2147483647    70849     79 |  0.000 % |
170.00/170.09	c |     84703 |    1091   113182   490657 | 2147483647    71159     79 |  0.000 % |
170.30/170.35	c |     85043 |    1091   113182   490657 | 2147483647    71499     79 |  0.000 % |
171.70/171.72	c |     85417 |    1091   113182   490657 | 2147483647    71873     79 |  0.000 % |
173.40/173.47	c |     85826 |    1091   113182   490657 | 2147483647    72282     79 |  0.000 % |
174.80/174.82	c |     86275 |    1091   113182   490657 | 2147483647    72731     78 |  0.000 % |
176.20/176.21	c |     86771 |    1091   113182   490657 | 2147483647    73227     78 |  0.000 % |
177.60/177.66	c |     87313 |    1091   113182   490657 | 2147483647    73769     78 |  0.001 % |
179.31/179.38	c |     87909 |    1091   113182   490657 | 2147483647    74365     77 |  0.000 % |
181.20/181.21	c |     88565 |    1091   113182   490657 | 2147483647    75021     77 |  0.000 % |
183.80/183.86	c |     89286 |    1091   113182   490657 | 2147483647    75742     77 |  0.000 % |
186.50/186.60	c |     90079 |    1091   113182   490657 | 2147483647    76535     77 |  0.000 % |
188.40/188.45	c |     90952 |    1091   113182   490657 | 2147483647    77408     77 |  0.000 % |
193.11/193.16	c |     91911 |    1091   113182   490657 | 2147483647    78367     77 |  0.000 % |
194.61/194.64	c |     92964 |    1091   113182   490657 | 2147483647    79420     77 |  0.000 % |
195.41/195.44	c |     93064 |    1091   113182   490657 | 2147483647    79520     77 |  0.000 % |
195.81/195.88	c |     93174 |    1091   113182   490657 | 2147483647    79630     77 |  0.000 % |
196.71/196.76	c |     93296 |    1091   113182   490657 | 2147483647    79752     77 |  0.000 % |
197.21/197.25	c |     93432 |    1091   113182   490657 | 2147483647    79888     77 |  0.000 % |
197.61/197.69	c |     93578 |    1091   113182   490657 | 2147483647    80034     77 |  0.000 % |
198.51/198.52	c |     93739 |    1091   113182   490657 | 2147483647    80195     77 |  0.000 % |
199.21/199.23	c |     93918 |    1091   113182   490657 | 2147483647    80374     77 |  0.000 % |
200.21/200.27	c |     94112 |    1091   113182   490657 | 2147483647    80568     77 |  0.000 % |
200.61/200.62	c |     94324 |    1091   113182   490657 | 2147483647    80780     77 |  0.000 % |
201.71/201.80	c |     94557 |    1091   113182   490657 | 2147483647    81013     77 |  0.000 % |
203.21/203.22	c |     94813 |    1091   113182   490657 | 2147483647    81269     77 |  0.000 % |
204.21/204.22	c |     95095 |    1091   113182   490657 | 2147483647    81551     77 |  0.000 % |
205.01/205.03	c |     95404 |    1091   113182   490657 | 2147483647    81860     77 |  0.000 % |
206.21/206.29	c |     95744 |    1091   113182   490657 | 2147483647    82200     77 |  0.000 % |
207.31/207.37	c |     96116 |    1091   113182   490657 | 2147483647    82572     77 |  0.000 % |
208.01/208.05	c |     96525 |    1091   113182   490657 | 2147483647    82981     76 |  0.000 % |
209.81/209.91	c |     96975 |    1091   113182   490657 | 2147483647    83431     76 |  0.000 % |
211.71/211.79	c |     97472 |    1091   113182   490657 | 2147483647    83928     76 |  0.000 % |
213.71/213.72	c |     98014 |    1091   113182   490657 | 2147483647    84470     76 |  0.000 % |
216.31/216.33	c |     98611 |    1091   113182   490657 | 2147483647    85067     76 |  0.000 % |
217.51/217.57	c |     99268 |    1091   113182   490657 | 2147483647    85724     76 |  0.000 % |
221.61/221.64	c |     99988 |    1091   113182   490657 | 2147483647    86444     76 |  0.000 % |
223.71/223.78	c |    100781 |    1091   113182   490657 | 2147483647    87237     76 |  0.000 % |
226.81/226.83	c |    101656 |    1091   113182   490657 | 2147483647    88112     76 |  0.000 % |
228.71/228.79	c |    102614 |    1091   113182   490657 | 2147483647    89070     76 |  0.000 % |
230.61/230.68	c |    103667 |    1091   113182   490657 | 2147483647    90123     76 |  0.000 % |
233.61/233.65	c |    104827 |    1091   113182   490657 | 2147483647    91283     76 |  0.000 % |
233.81/233.85	c |    104927 |    1091   113182   490657 | 2147483647    91383     76 |  0.000 % |
234.11/234.13	c |    105037 |    1091   113182   490657 | 2147483647    91493     76 |  0.000 % |
234.31/234.35	c |    105158 |    1091   113182   490657 | 2147483647    91614     76 |  0.000 % |
234.81/234.89	c |    105291 |    1091   113182   490657 | 2147483647    91747     76 |  0.000 % |
235.21/235.28	c |    105440 |    1091   113182   490657 | 2147483647    91896     76 |  0.000 % |
235.91/236.00	c |    105601 |    1091   113182   490657 | 2147483647    92057     76 |  0.000 % |
236.81/236.90	c |    105777 |    1091   113182   490657 | 2147483647    92233     76 |  0.000 % |
237.61/237.63	c |    105971 |    1091   113182   490657 | 2147483647    92427     76 |  0.000 % |
238.81/238.84	c |    106183 |    1091   113182   490657 | 2147483647    92639     76 |  0.000 % |
239.21/239.25	c |    106416 |    1091   113182   490657 | 2147483647    92872     76 |  0.000 % |
240.31/240.32	c |    106672 |    1091   113182   490657 | 2147483647    93128     76 |  0.000 % |
240.71/240.81	c |    106954 |    1091   113182   490657 | 2147483647    93410     76 |  0.000 % |
241.81/241.88	c |    107263 |    1091   113182   490657 | 2147483647    93719     76 |  0.000 % |
242.61/242.67	c |    107603 |    1091   113182   490657 | 2147483647    94059     75 |  0.000 % |
244.31/244.35	c |    107976 |    1091   113182   490657 | 2147483647    94432     75 |  0.000 % |
245.11/245.17	c |    108385 |    1091   113182   490657 | 2147483647    94841     75 |  0.000 % |
246.21/246.30	c |    108834 |    1091   113182   490657 | 2147483647    95290     75 |  0.000 % |
248.01/248.05	c |    109329 |    1091   113182   490657 | 2147483647    95785     75 |  0.000 % |
249.21/249.30	c |    109871 |    1091   113182   490657 | 2147483647    96327     75 |  0.000 % |
250.51/250.60	c |    110467 |    1091   113182   490657 | 2147483647    96923     75 |  0.000 % |
252.01/252.03	c |    111122 |    1091   113182   490657 | 2147483647    97578     75 |  0.000 % |
253.31/253.39	c |    111844 |    1091   113182   490657 | 2147483647    98300     75 |  0.000 % |
254.91/254.99	c |    112637 |    1091   113182   490657 | 2147483647    99093     75 |  0.000 % |
256.51/256.53	c |    113510 |    1091   113182   490657 | 2147483647    99966     74 |  0.000 % |
260.31/260.41	c |    114470 |    1091   113182   490657 | 2147483647   100926     74 |  0.000 % |
265.51/265.58	c |    115523 |    1091   113182   490657 | 2147483647   101979     75 |  0.000 % |
270.41/270.44	c |    116685 |    1091   113182   490657 | 2147483647   103141     75 |  0.000 % |
276.01/276.03	c |    117958 |    1091   113182   490657 | 2147483647   104414     74 |  0.000 % |
276.31/276.35	c |    118058 |    1091   113182   490657 | 2147483647   104514     74 |  0.000 % |
276.91/276.93	c |    118169 |    1091   113182   490657 | 2147483647   104625     74 |  0.000 % |
277.61/277.68	c |    118290 |    1091   113182   490657 | 2147483647   104746     74 |  0.000 % |
278.41/278.44	c |    118423 |    1091   113182   490657 | 2147483647   104879     74 |  0.000 % |
278.81/278.88	c |    118571 |    1091   113182   490657 | 2147483647   105027     74 |  0.000 % |
279.51/279.55	c |    118734 |    1091   113182   490657 | 2147483647   105190     74 |  0.000 % |
280.11/280.17	c |    118911 |    1091   113182   490657 | 2147483647   105367     74 |  0.000 % |
280.61/280.69	c |    119106 |    1091   113182   490657 | 2147483647   105562     74 |  0.000 % |
280.81/280.90	c |    119318 |    1091   113182   490657 | 2147483647   105774     74 |  0.000 % |
281.21/281.23	c |    119551 |    1091   113182   490657 | 2147483647   106007     74 |  0.000 % |
282.11/282.15	c |    119808 |    1091   113182   490657 | 2147483647   106264     74 |  0.000 % |
283.61/283.68	c |    120089 |    1091   113182   490657 | 2147483647   106545     74 |  0.000 % |
284.71/284.76	c |    120398 |    1091   113182   490657 | 2147483647   106854     74 |  0.000 % |
285.41/285.42	c |    120737 |    1091   113182   490657 | 2147483647   107193     74 |  0.000 % |
286.31/286.33	c |    121109 |    1091   113182   490657 | 2147483647   107565     74 |  0.000 % |
287.51/287.57	c |    121521 |    1091   113182   490657 | 2147483647   107977     74 |  0.000 % |
289.21/289.30	c |    121972 |    1091   113182   490657 | 2147483647   108428     74 |  0.000 % |
291.81/291.86	c |    122465 |    1091   113182   490657 | 2147483647   108921     74 |  0.000 % |
293.41/293.42	c |    123008 |    1091   113182   490657 | 2147483647   109464     74 |  0.000 % |
296.51/296.55	c |    123607 |    1091   113182   490657 | 2147483647   110063     74 |  0.000 % |
300.01/300.08	c |    124262 |    1091   113182   490657 | 2147483647   110718     74 |  0.000 % |
302.91/302.97	c |    124988 |    1091   113182   490657 | 2147483647   111444     74 |  0.000 % |
304.41/304.41	c |    125780 |    1091   113182   490657 | 2147483647   112236     74 |  0.000 % |
308.02/308.08	c |    126652 |    1091   113182   490657 | 2147483647   113108     74 |  0.000 % |
309.71/309.74	c |    127610 |    1091   113182   490657 | 2147483647   114066     74 |  0.000 % |
310.81/310.84	c |    128665 |    1091   113182   490657 | 2147483647   115121     74 |  0.000 % |
311.61/311.63	c |    129823 |    1091   113182   490657 | 2147483647   116279     74 |  0.000 % |
313.91/313.91	c |    131096 |    1091   113182   490657 | 2147483647   117552     74 |  0.000 % |
324.42/324.50	c |    132496 |    1091   113182   490657 | 2147483647   118952     74 |  0.000 % |
324.82/324.91	c |    132597 |    1091   113182   490657 | 2147483647   119053     74 |  0.000 % |
325.22/325.23	c |    132707 |    1091   113182   490657 | 2147483647   119163     74 |  0.000 % |
325.52/325.56	c |    132832 |    1091   113182   490657 | 2147483647   119288     74 |  0.000 % |
326.12/326.15	c |    132965 |    1091   113182   490657 | 2147483647   119421     74 |  0.000 % |
326.82/326.82	c |    133111 |    1091   113182   490657 | 2147483647   119567     74 |  0.000 % |
327.62/327.70	c |    133271 |    1091   113182   490657 | 2147483647   119727     74 |  0.000 % |
328.62/328.62	c |    133447 |    1091   113182   490657 | 2147483647   119903     74 |  0.000 % |
329.32/329.35	c |    133640 |    1091   113182   490657 | 2147483647   120096     74 |  0.000 % |
330.12/330.18	c |    133853 |    1091   113182   490657 | 2147483647   120309     74 |  0.000 % |
331.42/331.43	c |    134086 |    1091   113182   490657 | 2147483647   120542     74 |  0.001 % |
332.72/332.79	c |    134342 |    1091   113182   490657 | 2147483647   120798     74 |  0.000 % |
334.22/334.30	c |    134626 |    1091   113182   490657 | 2147483647   121082     74 |  0.000 % |
335.32/335.33	c |    134938 |    1091   113182   490657 | 2147483647   121394     74 |  0.000 % |
336.92/337.00	c |    135284 |    1091   113182   490657 | 2147483647   121740     73 |  0.000 % |
338.42/338.44	c |    135657 |    1091   113182   490657 | 2147483647   122113     73 |  0.000 % |
340.02/340.04	c |    136070 |    1091   113182   490657 | 2147483647   122526     73 |  0.000 % |
342.32/342.38	c |    136522 |    1091   113182   490657 | 2147483647   122978     73 |  0.000 % |
345.72/345.81	c |    137015 |    1091   113182   490657 | 2147483647   123471     73 |  0.000 % |
346.72/346.76	c |    137559 |    1091   113182   490657 | 2147483647   124015     73 |  0.000 % |
347.82/347.82	c |    138155 |    1091   113182   490657 | 2147483647   124611     73 |  0.000 % |
351.91/351.98	c |    138810 |    1091   113182   490657 | 2147483647   125266     73 |  0.000 % |
355.31/355.40	c |    139530 |    1091   113182   490657 | 2147483647   125986     73 |  0.000 % |
358.21/358.30	c |    140323 |    1091   113182   490657 | 2147483647   126779     73 |  0.000 % |
362.01/362.01	c |    141194 |    1091   113182   490657 | 2147483647   127650     73 |  0.000 % |
364.11/364.17	c |    142154 |    1091   113182   490657 | 2147483647   128610     73 |  0.000 % |
368.31/368.39	c |    143207 |    1091   113182   490657 | 2147483647   129663     73 |  0.000 % |
371.81/371.85	c |    144366 |    1091   113182   490657 | 2147483647   130822     73 |  0.000 % |
375.61/375.66	c |    145640 |    1091   113182   490657 | 2147483647   132096     73 |  0.000 % |
381.41/381.44	c |    147041 |    1091   113182   490657 | 2147483647   133497     73 |  0.000 % |
386.11/386.15	c |    148586 |    1091   113182   490657 | 2147483647   135042     73 |  0.000 % |
386.41/386.40	c |    148686 |    1091   113182   490657 | 2147483647   135142     73 |  0.000 % |
386.61/386.63	c |    148798 |    1091   113182   490657 | 2147483647   135254     73 |  0.000 % |
387.31/387.32	c |    148920 |    1091   113182   490657 | 2147483647   135376     73 |  0.000 % |
387.91/387.93	c |    149054 |    1091   113182   490657 | 2147483647   135510     73 |  0.000 % |
388.81/388.80	c |    149201 |    1091   113182   490657 | 2147483647   135657     73 |  0.000 % |
389.61/389.61	c |    149362 |    1091   113182   490657 | 2147483647   135818     73 |  0.000 % |
390.31/390.31	c |    149539 |    1091   113182   490657 | 2147483647   135995     73 |  0.000 % |
391.41/391.50	c |    149732 |    1091   113182   490657 | 2147483647   136188     73 |  0.000 % |
392.31/392.40	c |    149945 |    1091   113182   490657 | 2147483647   136401     73 |  0.000 % |
394.81/394.85	c |    150178 |    1091   113182   490657 | 2147483647   136634     73 |  0.000 % |
396.11/396.16	c |    150436 |    1091   113182   490657 | 2147483647   136892     73 |  0.000 % |
397.01/397.07	c |    150719 |    1091   113182   490657 | 2147483647   137175     73 |  0.000 % |
398.11/398.14	c |    151028 |    1091   113182   490657 | 2147483647   137484     73 |  0.000 % |
399.41/399.41	c |    151368 |    1091   113182   490657 | 2147483647   137824     73 |  0.000 % |
400.81/400.82	c |    151740 |    1091   113182   490657 | 2147483647   138196     73 |  0.000 % |
402.31/402.33	c |    152149 |    1091   113182   490657 | 2147483647   138605     73 |  0.000 % |
403.61/403.66	c |    152599 |    1091   113182   490657 | 2147483647   139055     73 |  0.000 % |
407.11/407.19	c |    153095 |    1091   113182   490657 | 2147483647   139551     73 |  0.000 % |
410.51/410.55	c |    153638 |    1091   113182   490657 | 2147483647   140094     73 |  0.000 % |
412.61/412.63	c |    154234 |    1091   113182   490657 | 2147483647   140690     73 |  0.000 % |
414.61/414.62	c |    154889 |    1091   113182   490657 | 2147483647   141345     73 |  0.000 % |
416.31/416.37	c |    155609 |    1091   113182   490657 | 2147483647   142065     73 |  0.000 % |
417.91/418.00	c |    156404 |    1091   113182   490657 | 2147483647   142860     73 |  0.000 % |
423.11/423.10	c |    157275 |    1091   113182   490657 | 2147483647   143731     73 |  0.000 % |
425.51/425.58	c |    158233 |    1091   113182   490657 | 2147483647   144689     73 |  0.000 % |
427.61/427.68	c |    159287 |    1091   113182   490657 | 2147483647   145743     73 |  0.000 % |
429.02/429.01	c |    160445 |    1091   113182   490657 | 2147483647   146901     73 |  0.000 % |
434.01/434.04	c |    161719 |    1091   113182   490657 | 2147483647   148175     73 |  0.000 % |
439.41/439.48	c |    163120 |    1091   113182   490657 | 2147483647   149576     72 |  0.000 % |
441.91/442.00	c |    164661 |    1091   113182   490657 | 2147483647   151117     72 |  0.000 % |
444.52/444.59	c |    166355 |    1091   113182   490657 | 2147483647   152811     72 |  0.000 % |
444.72/444.77	c |    166455 |    1091   113182   490657 | 2147483647   152911     72 |  0.000 % |
444.92/444.94	c |    166565 |    1091   113182   490657 | 2147483647   153021     72 |  0.000 % |
445.22/445.22	c |    166686 |    1091   113182   490657 | 2147483647   153142     72 |  0.000 % |
445.92/445.97	c |    166819 |    1091   113182   490657 | 2147483647   153275     72 |  0.000 % |
446.72/446.78	c |    166967 |    1091   113182   490657 | 2147483647   153423     72 |  0.000 % |
447.62/447.64	c |    167127 |    1091   113182   490657 | 2147483647   153583     72 |  0.000 % |
448.42/448.49	c |    167303 |    1091   113182   490657 | 2147483647   153759     72 |  0.000 % |
449.42/449.45	c |    167498 |    1091   113182   490657 | 2147483647   153954     72 |  0.000 % |
450.62/450.64	c |    167710 |    1091   113182   490657 | 2147483647   154166     72 |  0.000 % |
451.32/451.37	c |    167943 |    1091   113182   490657 | 2147483647   154399     72 |  0.000 % |
452.12/452.19	c |    168199 |    1091   113182   490657 | 2147483647   154655     72 |  0.000 % |
452.82/452.82	c |    168483 |    1091   113182   490657 | 2147483647   154939     72 |  0.000 % |
453.52/453.57	c |    168795 |    1091   113182   490657 | 2147483647   155251     72 |  0.000 % |
454.32/454.40	c |    169134 |    1091   113182   490657 | 2147483647   155590     72 |  0.000 % |
455.22/455.29	c |    169510 |    1091   113182   490657 | 2147483647   155966     72 |  0.000 % |
457.82/457.83	c |    169921 |    1091   113182   490657 | 2147483647   156377     72 |  0.000 % |
459.62/459.62	c |    170370 |    1091   113182   490657 | 2147483647   156826     72 |  0.000 % |
461.82/461.84	c |    170863 |    1091   113182   490657 | 2147483647   157319     72 |  0.000 % |
463.82/463.83	c |    171408 |    1091   113182   490657 | 2147483647   157864     72 |  0.000 % |
465.82/465.89	c |    172005 |    1091   113182   490657 | 2147483647   158461     72 |  0.000 % |
467.62/467.66	c |    172660 |    1091   113182   490657 | 2147483647   159116     72 |  0.000 % |
470.82/470.85	c |    173381 |    1091   113182   490657 | 2147483647   159837     72 |  0.000 % |
473.62/473.65	c |    174174 |    1091   113182   490657 | 2147483647   160630     72 |  0.000 % |
476.62/476.62	c |    175045 |    1091   113182   490657 | 2147483647   161501     72 |  0.000 % |
479.42/479.44	c |    176003 |    1091   113182   490657 | 2147483647   162459     72 |  0.000 % |
483.72/483.77	c |    177059 |    1091   113182   490657 | 2147483647   163515     72 |  0.000 % |
486.92/487.01	c |    178217 |    1091   113182   490657 | 2147483647   164673     72 |  0.000 % |
489.22/489.22	c |    179490 |    1091   113182   490657 | 2147483647   165946     71 |  0.000 % |
495.12/495.15	c |    180892 |    1091   113182   490657 | 2147483647   167348     71 |  0.000 % |
499.32/499.40	c |    182433 |    1091   113182   490657 | 2147483647   168889     71 |  0.000 % |
507.52/507.56	c |    184127 |    1091   113182   490657 | 2147483647   170583     71 |  0.000 % |
513.32/513.38	c |    185991 |    1091   113182   490657 | 2147483647   172447     71 |  0.000 % |
513.52/513.54	c |    186091 |    1091   113182   490657 | 2147483647   172547     71 |  0.000 % |
513.72/513.76	c |    186203 |    1091   113182   490657 | 2147483647   172659     71 |  0.000 % |
514.02/514.08	c |    186324 |    1091   113182   490657 | 2147483647   172780     71 |  0.000 % |
514.32/514.40	c |    186458 |    1091   113182   490657 | 2147483647   172914     71 |  0.000 % |
514.82/514.89	c |    186605 |    1091   113182   490657 | 2147483647   173061     71 |  0.000 % |
515.72/515.73	c |    186767 |    1091   113182   490657 | 2147483647   173223     71 |  0.000 % |
516.62/516.65	c |    186943 |    1091   113182   490657 | 2147483647   173399     71 |  0.000 % |
517.22/517.26	c |    187139 |    1091   113182   490657 | 2147483647   173595     71 |  0.000 % |
517.52/517.52	c |    187351 |    1091   113182   490657 | 2147483647   173807     71 |  0.000 % |
517.92/518.00	c |    187585 |    1091   113182   490657 | 2147483647   174041     71 |  0.000 % |
518.42/518.45	c |    187841 |    1091   113182   490657 | 2147483647   174297     71 |  0.000 % |
518.72/518.78	c |    188122 |    1091   113182   490657 | 2147483647   174578     71 |  0.000 % |
519.82/519.88	c |    188431 |    1091   113182   490657 | 2147483647   174887     71 |  0.000 % |
520.92/521.00	c |    188771 |    1091   113182   490657 | 2147483647   175227     71 |  0.000 % |
521.62/521.68	c |    189144 |    1091   113182   490657 | 2147483647   175600     71 |  0.000 % |
522.22/522.26	c |    189554 |    1091   113182   490657 | 2147483647   176010     71 |  0.000 % |
524.92/524.97	c |    190004 |    1091   113182   490657 | 2147483647   176460     71 |  0.000 % |
526.52/526.52	c |    190497 |    1091   113182   490657 | 2147483647   176953     71 |  0.000 % |
527.62/527.70	c |    191039 |    1091   113182   490657 | 2147483647   177495     71 |  0.000 % |
528.92/528.93	c |    191638 |    1091   113182   490657 | 2147483647   178094     71 |  0.000 % |
530.42/530.42	c |    192293 |    1091   113182   490657 | 2147483647   178749     71 |  0.000 % |
531.62/531.64	c |    193015 |    1091   113182   490657 | 2147483647   179471     71 |  0.000 % |
533.22/533.25	c |    193808 |    1091   113182   490657 | 2147483647   180264     71 |  0.000 % |
534.72/534.75	c |    194680 |    1091   113182   490657 | 2147483647   181136     71 |  0.000 % |
536.32/536.37	c |    195638 |    1091   113182   490657 | 2147483647   182094     71 |  0.000 % |
537.82/537.88	c |    196692 |    1091   113182   490657 | 2147483647   183148     71 |  0.000 % |
539.32/539.34	c |    197850 |    1091   113182   490657 | 2147483647   184306     71 |  0.000 % |
541.02/541.01	c |    199124 |    1091   113182   490657 | 2147483647   185580     71 |  0.000 % |
543.72/543.76	c |    200525 |    1091   113182   490657 | 2147483647   186981     71 |  0.000 % |
547.02/547.09	c |    202066 |    1091   113182   490657 | 2147483647   188522     71 |  0.000 % |
550.62/550.62	c |    203761 |    1091   113182   490657 | 2147483647   190217     71 |  0.000 % |
553.62/553.63	c |    205626 |    1091   113182   490657 | 2147483647   192082     71 |  0.000 % |
556.22/556.30	c |    207675 |    1091   113182   490657 | 2147483647   194131     71 |  0.000 % |
556.42/556.50	c |    207775 |    1091   113182   490657 | 2147483647   194231     71 |  0.000 % |
556.63/556.67	c |    207885 |    1091   113182   490657 | 2147483647   194341     71 |  0.000 % |
556.82/556.84	c |    208007 |    1091   113182   490657 | 2147483647   194463     71 |  0.000 % |
557.02/557.06	c |    208140 |    1091   113182   490657 | 2147483647   194596     71 |  0.000 % |
557.32/557.33	c |    208287 |    1091   113182   490657 | 2147483647   194743     71 |  0.000 % |
557.52/557.60	c |    208448 |    1091   113182   490657 | 2147483647   194904     71 |  0.000 % |
557.82/557.88	c |    208626 |    1091   113182   490657 | 2147483647   195082     71 |  0.000 % |
558.12/558.15	c |    208819 |    1091   113182   490657 | 2147483647   195275     71 |  0.000 % |
558.42/558.50	c |    209033 |    1091   113182   490657 | 2147483647   195489     71 |  0.000 % |
558.92/558.93	c |    209266 |    1091   113182   490657 | 2147483647   195722     71 |  0.000 % |
559.32/559.35	c |    209523 |    1091   113182   490657 | 2147483647   195979     71 |  0.000 % |
559.72/559.78	c |    209804 |    1091   113182   490657 | 2147483647   196260     71 |  0.000 % |
560.22/560.29	c |    210115 |    1091   113182   490657 | 2147483647   196571     71 |  0.000 % |
560.82/560.83	c |    210457 |    1091   113182   490657 | 2147483647   196913     71 |  0.000 % |
561.52/561.51	c |    210830 |    1091   113182   490657 | 2147483647   197286     71 |  0.000 % |
563.12/563.12	c |    211239 |    1091   113182   490657 | 2147483647   197695     71 |  0.000 % |
564.52/564.59	c |    211691 |    1091   113182   490657 | 2147483647   198147     71 |  0.000 % |
565.32/565.31	c |    212184 |    1091   113182   490657 | 2147483647   198640     71 |  0.000 % |
566.72/566.74	c |    212726 |    1091   113182   490657 | 2147483647   199182     71 |  0.000 % |
568.52/568.52	c |    213322 |    1091   113182   490657 | 2147483647   199778     71 |  0.000 % |
569.52/569.53	c |    213977 |    1091   113182   490657 | 2147483647   200433     71 |  0.000 % |
570.32/570.34	c |    214698 |    1091   113182   490657 | 2147483647   201154     71 |  0.000 % |
571.53/571.60	c |    215490 |    1091   113182   490657 | 2147483647   201946     71 |  0.000 % |
572.93/572.98	c |    216362 |    1091   113182   490657 | 2147483647   202818     71 |  0.000 % |
574.63/574.65	c |    217320 |    1091   113182   490657 | 2147483647   203776     71 |  0.000 % |
576.73/576.72	c |    218375 |    1091   113182   490657 | 2147483647   204831     71 |  0.000 % |
578.73/578.78	c |    219534 |    1091   113182   490657 | 2147483647   205990     71 |  0.000 % |
581.53/581.59	c |    220807 |    1091   113182   490657 | 2147483647   207263     71 |  0.000 % |
586.13/586.13	c |    222207 |    1091   113182   490657 | 2147483647   208663     72 |  0.000 % |
591.93/591.92	c |    223747 |    1091   113182   490657 | 2147483647   210203     72 |  0.000 % |
597.53/597.60	c |    225443 |    1091   113182   490657 | 2147483647   211899     72 |  0.000 % |
602.33/602.33	c |    227307 |    1091   113182   490657 | 2147483647   213763     72 |  0.000 % |
607.33/607.36	c |    229356 |    1091   113182   490657 | 2147483647   215812     72 |  0.000 % |
613.83/613.88	c |    231609 |    1091   113182   490657 | 2147483647   218065     72 |  0.000 % |
614.23/614.24	c |    231709 |    1091   113182   490657 | 2147483647   218165     72 |  0.000 % |
614.43/614.50	c |    231820 |    1091   113182   490657 | 2147483647   218276     72 |  0.000 % |
614.83/614.88	c |    231943 |    1091   113182   490657 | 2147483647   218399     72 |  0.000 % |
615.23/615.24	c |    232077 |    1091   113182   490657 | 2147483647   218533     72 |  0.000 % |
615.73/615.72	c |    232224 |    1091   113182   490657 | 2147483647   218680     72 |  0.000 % |
616.13/616.20	c |    232384 |    1091   113182   490657 | 2147483647   218840     72 |  0.000 % |
616.53/616.57	c |    232561 |    1091   113182   490657 | 2147483647   219017     72 |  0.000 % |
617.23/617.27	c |    232755 |    1091   113182   490657 | 2147483647   219211     72 |  0.000 % |
617.83/617.83	c |    232968 |    1091   113182   490657 | 2147483647   219424     72 |  0.000 % |
618.33/618.38	c |    233201 |    1091   113182   490657 | 2147483647   219657     72 |  0.000 % |
618.93/618.96	c |    233457 |    1091   113182   490657 | 2147483647   219913     72 |  0.000 % |
619.73/619.77	c |    233740 |    1091   113182   490657 | 2147483647   220196     72 |  0.000 % |
620.63/620.69	c |    234050 |    1091   113182   490657 | 2147483647   220506     72 |  0.000 % |
621.63/621.69	c |    234389 |    1091   113182   490657 | 2147483647   220845     72 |  0.000 % |
622.63/622.63	c |    234762 |    1091   113182   490657 | 2147483647   221218     72 |  0.000 % |
623.33/623.38	c |    235172 |    1091   113182   490657 | 2147483647   221628     72 |  0.000 % |
624.33/624.32	c |    235621 |    1091   113182   490657 | 2147483647   222077     72 |  0.000 % |
625.23/625.27	c |    236115 |    1091   113182   490657 | 2147483647   222571     72 |  0.000 % |
626.43/626.50	c |    236658 |    1091   113182   490657 | 2147483647   223114     72 |  0.000 % |
627.63/627.63	c |    237254 |    1091   113182   490657 | 2147483647   223710     72 |  0.000 % |
629.03/629.04	c |    237909 |    1091   113182   490657 | 2147483647   224365     72 |  0.000 % |
630.83/630.90	c |    238630 |    1091   113182   490657 | 2147483647   225086     72 |  0.000 % |
632.73/632.76	c |    239422 |    1091   113182   490657 | 2147483647   225878     72 |  0.000 % |
634.93/634.97	c |    240293 |    1091   113182   490657 | 2147483647   226749     72 |  0.000 % |
637.43/637.47	c |    241251 |    1091   113182   490657 | 2147483647   227707     72 |  0.000 % |
640.13/640.16	c |    242304 |    1091   113182   490657 | 2147483647   228760     72 |  0.000 % |
642.83/642.83	c |    243464 |    1091   113182   490657 | 2147483647   229920     72 |  0.000 % |
645.93/646.01	c |    244738 |    1091   113182   490657 | 2147483647   231194     72 |  0.000 % |
649.13/649.15	c |    246138 |    1091   113182   490657 | 2147483647   232594     71 |  0.000 % |
652.73/652.81	c |    247678 |    1091   113182   490657 | 2147483647   234134     71 |  0.000 % |
656.13/656.16	c |    249372 |    1091   113182   490657 | 2147483647   235828     72 |  0.000 % |
660.53/660.60	c |    251235 |    1091   113182   490657 | 2147483647   237691     72 |  0.000 % |
665.43/665.46	c |    253285 |    1091   113182   490657 | 2147483647   239741     72 |  0.000 % |
671.63/671.61	c |    255538 |    1091   113182   490657 | 2147483647   241994     72 |  0.000 % |
678.43/678.45	c |    258019 |    1091   113182   490657 | 2147483647   244475     72 |  0.000 % |
678.74/678.76	c |    258119 |    1091   113182   490657 | 2147483647   244575     72 |  0.000 % |
679.13/679.12	c |    258231 |    1091   113182   490657 | 2147483647   244687     72 |  0.000 % |
679.33/679.38	c |    258352 |    1091   113182   490657 | 2147483647   244808     72 |  0.000 % |
679.73/679.74	c |    258485 |    1091   113182   490657 | 2147483647   244941     72 |  0.000 % |
680.13/680.18	c |    258633 |    1091   113182   490657 | 2147483647   245089     72 |  0.000 % |
680.53/680.58	c |    258794 |    1091   113182   490657 | 2147483647   245250     72 |  0.000 % |
681.03/681.05	c |    258972 |    1091   113182   490657 | 2147483647   245428     72 |  0.000 % |
681.53/681.52	c |    259165 |    1091   113182   490657 | 2147483647   245621     72 |  0.000 % |
682.13/682.17	c |    259378 |    1091   113182   490657 | 2147483647   245834     72 |  0.000 % |
682.83/682.91	c |    259611 |    1091   113182   490657 | 2147483647   246067     72 |  0.000 % |
683.63/683.64	c |    259867 |    1091   113182   490657 | 2147483647   246323     72 |  0.000 % |
684.53/684.60	c |    260149 |    1091   113182   490657 | 2147483647   246605     72 |  0.000 % |
685.43/685.49	c |    260458 |    1091   113182   490657 | 2147483647   246914     72 |  0.000 % |
686.44/686.49	c |    260799 |    1091   113182   490657 | 2147483647   247255     72 |  0.000 % |
687.33/687.40	c |    261172 |    1091   113182   490657 | 2147483647   247628     72 |  0.000 % |
688.43/688.50	c |    261583 |    1091   113182   490657 | 2147483647   248039     72 |  0.000 % |
689.83/689.84	c |    262032 |    1091   113182   490657 | 2147483647   248488     72 |  0.000 % |
691.13/691.17	c |    262529 |    1091   113182   490657 | 2147483647   248985     72 |  0.000 % |
692.53/692.56	c |    263072 |    1091   113182   490657 | 2147483647   249528     72 |  0.000 % |
694.43/694.41	c |    263669 |    1091   113182   490657 | 2147483647   250125     72 |  0.000 % |
696.34/696.32	c |    264325 |    1091   113182   490657 | 2147483647   250781     72 |  0.000 % |
698.34/698.35	c |    265047 |    1091   113182   490657 | 2147483647   251503     72 |  0.000 % |
700.64/700.63	c |    265839 |    1091   113182   490657 | 2147483647   252295     72 |  0.000 % |
703.24/703.26	c |    266713 |    1091   113182   490657 | 2147483647   253169     72 |  0.000 % |
705.84/705.86	c |    267671 |    1091   113182   490657 | 2147483647   254127     72 |  0.000 % |
709.33/709.31	c |    268725 |    1091   113182   490657 | 2147483647   255181     72 |  0.000 % |
712.43/712.50	c |    269886 |    1091   113182   490657 | 2147483647   256342     71 |  0.000 % |
716.53/716.52	c |    271159 |    1091   113182   490657 | 2147483647   257615     71 |  0.000 % |
721.73/721.78	c |    272559 |    1091   113182   490657 | 2147483647   259015     71 |  0.000 % |
728.83/728.89	c |    274099 |    1091   113182   490657 | 2147483647   260555     71 |  0.000 % |
736.23/736.26	c |    275793 |    1091   113182   490657 | 2147483647   262249     71 |  0.000 % |
744.33/744.32	c |    277657 |    1091   113182   490657 | 2147483647   264113     71 |  0.000 % |
752.43/752.43	c |    279707 |    1091   113182   490657 | 2147483647   266163     71 |  0.000 % |
762.33/762.38	c |    281960 |    1091   113182   490657 |   266456   235425     72 |  0.000 % |
773.03/773.09	c |    284439 |    1091   113182   490657 |   266456   237904     72 |  0.000 % |
785.73/785.71	c |    287164 |    1091   113182   490657 |   266456   240629     72 |  0.000 % |
786.13/786.15	c |    287266 |    1091   113182   490657 |   266456   240731     72 |  0.000 % |
786.63/786.64	c |    287376 |    1091   113182   490657 |   266456   240841     72 |  0.000 % |
787.03/787.10	c |    287498 |    1091   113182   490657 |   266456   240963     72 |  0.000 % |
787.83/787.80	c |    287633 |    1091   113182   490657 |   266456   241098     72 |  0.000 % |
788.53/788.59	c |    287781 |    1091   113182   490657 |   266456   241246     72 |  0.000 % |
789.43/789.44	c |    287941 |    1091   113182   490657 |   266456   241406     72 |  0.000 % |
790.53/790.53	c |    288117 |    1091   113182   490657 |   266456   241582     72 |  0.000 % |
791.43/791.42	c |    288310 |    1091   113182   490657 |   266456   241775     72 |  0.000 % |
792.63/792.67	c |    288524 |    1091   113182   490657 |   266456   241989     72 |  0.000 % |
794.03/794.07	c |    288758 |    1091   113182   490657 |   266456   242223     72 |  0.000 % |
795.63/795.68	c |    289015 |    1091   113182   490657 |   266456   242480     72 |  0.000 % |
797.23/797.25	c |    289297 |    1091   113182   490657 |   266456   242762     72 |  0.000 % |
798.83/798.83	c |    289606 |    1091   113182   490657 |   266456   243071     72 |  0.000 % |
800.43/800.50	c |    289945 |    1091   113182   490657 |   266456   243410     72 |  0.000 % |
802.33/802.35	c |    290318 |    1091   113182   490657 | 2147483647   243783     72 |  0.000 % |
804.23/804.20	c |    290729 |    1091   113182   490657 | 2147483647   244194     72 |  0.000 % |
806.53/806.52	c |    291178 |    1091   113182   490657 | 2147483647   244643     72 |  0.000 % |
809.13/809.14	c |    291671 |    1091   113182   490657 | 2147483647   245136     72 |  0.000 % |
812.03/812.03	c |    292214 |    1091   113182   490657 | 2147483647   245679     72 |  0.000 % |
815.33/815.36	c |    292810 |    1091   113182   490657 | 2147483647   246275     72 |  0.000 % |
819.03/819.03	c |    293465 |    1091   113182   490657 | 2147483647   246930     72 |  0.000 % |
822.53/822.58	c |    294185 |    1091   113182   490657 | 2147483647   247650     71 |  0.000 % |
825.84/825.89	c |    294977 |    1091   113182   490657 | 2147483647   248442     71 |  0.000 % |
829.64/829.64	c |    295849 |    1091   113182   490657 | 2147483647   249314     71 |  0.000 % |
833.54/833.54	c |    296807 |    1091   113182   490657 | 2147483647   250272     71 |  0.000 % |
836.84/836.89	c |    297860 |    1091   113182   490657 | 2147483647   251325     71 |  0.000 % |
839.64/839.63	c |    299018 |    1091   113182   490657 | 2147483647   252483     71 |  0.000 % |
842.74/842.80	c |    300291 |    1091   113182   490657 |   253465   253756     71 |  0.000 % |
850.24/850.26	c |    301692 |    1091   113182   490657 |   253465   220088     70 |  0.000 % |
854.04/854.07	c |    303233 |    1091   113182   490657 |   253465   221629     70 |  0.000 % |
864.14/864.15	c |    304927 |    1091   113182   490657 |   253465   223323     70 |  0.000 % |
876.24/876.30	c |    306790 |    1091   113182   490657 |   253465   225186     70 |  0.000 % |
888.04/888.06	c |    308841 |    1091   113182   490657 |   253465   227237     70 |  0.000 % |
904.34/904.35	c |    311094 |    1091   113182   490657 |   228396   170365     69 |  0.000 % |
924.14/924.20	c |    313572 |    1091   113182   490657 |   228396   172843     69 |  0.000 % |
943.44/943.49	c |    316298 |    1091   113182   490657 |   228396   175569     69 |  0.000 % |
965.06/965.09	c |    319296 |    1091   113182   490657 |   228396   178567     69 |  0.000 % |
966.06/966.09	c |    319397 |    1091   113182   490657 |   228396   178668     69 |  0.000 % |
966.86/966.88	c |    319510 |    1091   113182   490657 |   228396   178781     69 |  0.000 % |
967.96/967.97	c |    319632 |    1091   113182   490657 |   228396   178903     69 |  0.000 % |
968.66/968.67	c |    319766 |    1091   113182   490657 |   228396   179037     69 |  0.000 % |
969.46/969.43	c |    319914 |    1091   113182   490657 |   228396   179185     69 |  0.000 % |
970.56/970.60	c |    320074 |    1091   113182   490657 |   179272   179345     69 |  0.000 % |
973.66/973.66	c |    320254 |    1091   113182   490657 |   179272   122819     69 |  0.000 % |
974.66/974.71	c |    320448 |    1091   113182   490657 |   179272   123013     69 |  0.000 % |
976.06/976.04	c |    320662 |    1091   113182   490657 |   179272   123227     69 |  0.000 % |
977.26/977.27	c |    320899 |    1091   113182   490657 |   179272   123464     69 |  0.000 % |
979.26/979.23	c |    321155 |    1091   113182   490657 |   179272   123720     69 |  0.000 % |
981.36/981.41	c |    321436 |    1091   113182   490657 |   179272   124001     69 |  0.000 % |
982.46/982.43	c |    321746 |    1091   113182   490657 |   179272   124311     69 |  0.000 % |
984.36/984.40	c |    322085 |    1091   113182   490657 |   179272   124650     69 |  0.000 % |
986.96/986.92	c |    322457 |    1091   113182   490657 |   179272   125022     69 |  0.000 % |
989.96/989.94	c |    322866 |    1091   113182   490657 |   179272   125431     69 |  0.000 % |
992.76/992.79	c |    323316 |    1091   113182   490657 |   179272   125881     69 |  0.000 % |
995.96/995.96	c |    323810 |    1091   113182   490657 |   179272   126375     69 |  0.000 % |
999.36/999.42	c |    324353 |    1091   113182   490657 |   179272   126918     69 |  0.000 % |
1003.36/1003.34	c |    324950 |    1091   113182   490657 |   179272   127515     69 |  0.000 % |
1007.66/1007.64	c |    325605 |    1091   113182   490657 |   179272   128170     69 |  0.000 % |
1010.56/1010.55	c |    326327 |    1091   113182   490657 |   179272   128892     69 |  0.000 % |
1014.16/1014.16	c |    327120 |    1091   113182   490657 |   179272   129685     69 |  0.000 % |
1018.96/1018.99	c |    327993 |    1091   113182   490657 |   179272   130558     69 |  0.000 % |
1024.66/1024.70	c |    328951 |    1091   113182   490657 |   179272   131516     69 |  0.000 % |
1031.66/1031.69	c |    330004 |    1091   113182   490657 |   132566   132569     69 |  0.000 % |
1042.87/1042.86	c |    331163 |    1091   113182   490657 |   132566    98038     69 |  0.000 % |
1051.56/1051.63	c |    332437 |    1091   113182   490657 |   132566    99312     69 |  0.000 % |
1059.96/1059.95	c |    333837 |    1091   113182   490657 |   132566   100712     69 |  0.000 % |
1066.06/1066.10	c |    335378 |    1091   113182   490657 |   132566   102253     69 |  0.000 % |
1082.36/1082.33	c |    337073 |    1091   113182   490657 |   132566   103948     69 |  0.000 % |
1085.96/1085.93	c |    338936 |    1091   113182   490657 |   132566   105811     69 |  0.000 % |
1091.26/1091.27	c |    340986 |    1091   113182   490657 |   106875    95126     69 |  0.000 % |
1107.26/1107.24	c |    343239 |    1091   113182   490657 |   106875    97379     69 |  0.000 % |
1128.56/1128.57	c |    345718 |    1091   113182   490657 |   106875    99858     69 |  0.000 % |
1148.76/1148.75	c |    348446 |    1091   113182   490657 |   106875   102586     69 |  0.000 % |
1167.36/1167.41	c |    351443 |    1091   113182   490657 |   104140    90555     69 |  0.000 % |
1185.06/1185.03	c |    354739 |    1091   113182   490657 |   104140    93851     68 |  0.000 % |
1185.66/1185.63	c |    354839 |    1091   113182   490657 |   104140    93951     68 |  0.000 % |
1186.36/1186.31	c |    354952 |    1091   113182   490657 |   104140    94064     68 |  0.000 % |
1187.06/1187.07	c |    355075 |    1091   113182   490657 |   104140    94187     68 |  0.000 % |
1187.76/1187.76	c |    355208 |    1091   113182   490657 |   104140    94320     68 |  0.000 % |
1189.26/1189.29	c |    355354 |    1091   113182   490657 |   104140    94466     68 |  0.000 % |
1189.56/1189.53	c |    355514 |    1091   113182   490657 |   104140    94626     68 |  0.000 % |
1191.16/1191.17	c |    355690 |    1091   113182   490657 |   104140    94802     68 |  0.000 % |
1191.96/1191.99	c |    355884 |    1091   113182   490657 |   104140    94996     68 |  0.000 % |
1192.26/1192.23	c |    356097 |    1091   113182   490657 |   104140    95209     68 |  0.000 % |
1194.76/1194.77	c |    356332 |    1091   113182   490657 |   104140    95444     68 |  0.000 % |
1197.76/1197.78	c |    356590 |    1091   113182   490657 |   104140    95702     68 |  0.000 % |
1200.06/1200.02	HOME/SatELiteGTI: line 36: 14608 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-1821850-1242573622/watcher-1821850-1242573622 -o /tmp/evaluation-result-1821850-1242573622/solver-1821850-1242573622 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821850-1242573622.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.00 1.00 1.00 2/96 14602
/proc/meminfo: memFree=1459192/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2412 CPUtime=0
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1021860506 2469888 276 4294967295 134512640 135169312 3219663312 3219661848 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 603 276 235 161 0 42 0
[pid=14606] ppid=14602 vsize=952 CPUtime=0
/proc/14606/stat : 14606 (SatELite_releas) R 14602 14602 11066 0 -1 4202496 147 0 0 0 0 0 0 0 25 0 1 0 1021860506 974848 83 4294967295 134512640 135223648 3216922400 3216920996 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14606/statm: 275 88 46 174 0 100 0

[startup+0.029561 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14602
/proc/meminfo: memFree=1459192/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2412 CPUtime=0
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1021860506 2469888 276 4294967295 134512640 135169312 3219663312 3219661848 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 603 276 235 161 0 42 0
[pid=14606] ppid=14602 vsize=3360 CPUtime=0.03
/proc/14606/stat : 14606 (SatELite_releas) R 14602 14602 11066 0 -1 4202496 715 0 0 0 1 2 0 0 25 0 1 0 1021860506 3440640 651 4294967295 134512640 135223648 3216922400 3216921352 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14606/statm: 840 651 46 174 0 665 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5772

[startup+0.109557 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14602
/proc/meminfo: memFree=1459192/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2412 CPUtime=0
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1021860506 2469888 276 4294967295 134512640 135169312 3219663312 3219661848 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 603 276 235 161 0 42 0
[pid=14606] ppid=14602 vsize=9092 CPUtime=0.11
/proc/14606/stat : 14606 (SatELite_releas) R 14602 14602 11066 0 -1 4202496 2194 0 0 0 8 3 0 0 25 0 1 0 1021860506 9310208 2130 4294967295 134512640 135223648 3216922400 3216920168 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14606/statm: 2273 2130 73 174 0 2098 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11504

[startup+0.309545 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14602
/proc/meminfo: memFree=1459192/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2412 CPUtime=0
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1021860506 2469888 276 4294967295 134512640 135169312 3219663312 3219661848 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 603 276 235 161 0 42 0
[pid=14606] ppid=14602 vsize=11256 CPUtime=0.31
/proc/14606/stat : 14606 (SatELite_releas) R 14602 14602 11066 0 -1 4202496 2607 0 0 0 28 3 0 0 25 0 1 0 1021860506 11526144 2543 4294967295 134512640 135223648 3216922400 3216920400 134549042 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14606/statm: 2814 2543 73 174 0 2639 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 13668

[startup+0.709523 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14602
/proc/meminfo: memFree=1459192/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2412 CPUtime=0
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1021860506 2469888 276 4294967295 134512640 135169312 3219663312 3219661848 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 603 276 235 161 0 42 0
[pid=14606] ppid=14602 vsize=13852 CPUtime=0.71
/proc/14606/stat : 14606 (SatELite_releas) R 14602 14602 11066 0 -1 4202496 3056 0 0 0 68 3 0 0 25 0 1 0 1021860506 14184448 2992 4294967295 134512640 135223648 3216922400 3216920496 134585553 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14606/statm: 3463 2992 73 174 0 3288 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 16264

[startup+1.50948 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 14607
/proc/meminfo: memFree=1447372/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2416

[startup+3.10939 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 14608
/proc/meminfo: memFree=1448860/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=9024 CPUtime=1.83
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 2161 0 0 0 182 1 0 0 25 0 1 0 1021860635 9240576 2096 4294967295 134512640 135215339 3219817024 3219815312 134528764 0 0 0 3 0 0 0 17 0 0 0 0
/proc/14608/statm: 2256 2096 73 172 0 2083 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 11440

[startup+6.30921 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14608
/proc/meminfo: memFree=1446760/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=11292 CPUtime=5.02
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 2752 0 0 0 499 3 0 0 25 0 1 0 1021860635 11563008 2687 4294967295 134512640 135215339 3219817024 3219815312 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 2823 2687 73 172 0 2650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13708

[startup+12.7089 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14608
/proc/meminfo: memFree=1442540/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=15164 CPUtime=11.42
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 3711 0 0 0 1139 3 0 0 25 0 1 0 1021860635 15527936 3646 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 3791 3646 73 172 0 3618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17580

[startup+25.5082 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14611
/proc/meminfo: memFree=1438760/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=18788 CPUtime=24.22
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 4589 0 0 0 2418 4 0 0 25 0 1 0 1021860635 19238912 4524 4294967295 134512640 135215339 3219817024 3219815120 134527419 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 4697 4524 73 172 0 4524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21204

[startup+51.1067 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14796
/proc/meminfo: memFree=1431024/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=26388 CPUtime=49.82
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 6462 0 0 0 4978 4 0 0 25 0 1 0 1021860635 27021312 6397 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 6597 6397 73 172 0 6424 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28804

[startup+102.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14987
/proc/meminfo: memFree=1423868/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=33592 CPUtime=101.03
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 8193 0 0 0 10094 9 0 0 25 0 1 0 1021860635 34398208 8128 4294967295 134512640 135215339 3219817024 3219815312 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 8398 8128 73 172 0 8225 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 36008

[startup+162.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 15173
/proc/meminfo: memFree=1419652/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=37928 CPUtime=161.03
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 9231 0 0 0 16093 10 0 0 25 0 1 0 1021860635 38838272 9158 4294967295 134512640 135215339 3219817024 3219815312 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 9482 9158 73 172 0 9309 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 40344

[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 15362
/proc/meminfo: memFree=1414204/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=43460 CPUtime=221.04
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 10564 0 0 0 22090 14 0 0 25 0 1 0 1021860635 44503040 10491 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 10865 10491 73 172 0 10692 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 45876

[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 15553
/proc/meminfo: memFree=1408608/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=49448 CPUtime=281.04
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 12010 0 0 0 28082 22 0 0 25 0 1 0 1021860635 50634752 11937 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 12362 11937 73 172 0 12189 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 51864

[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 15741
/proc/meminfo: memFree=1403144/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=54684 CPUtime=341.05
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 13341 0 0 0 34078 27 0 0 25 0 1 0 1021860635 55996416 13268 4294967295 134512640 135215339 3219817024 3219815312 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 13671 13268 73 172 0 13498 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 57100

[startup+402.307 s]

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

[pid=14608] ppid=14602 vsize=65796 CPUtime=461.05
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 16040 0 0 0 46070 35 0 0 25 0 1 0 1021860635 67375104 15967 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 16449 15967 73 172 0 16276 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 68212

[startup+522.311 s]
/proc/loadavg: 1.02 1.01 1.00 2/98 16307
/proc/meminfo: memFree=1387148/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=70948 CPUtime=521.05
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 17345 0 0 0 52066 39 0 0 25 0 1 0 1021860635 72650752 17272 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 17737 17272 73 172 0 17564 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 73364

[startup+582.317 s]
/proc/loadavg: 1.01 1.00 1.00 3/98 16496
/proc/meminfo: memFree=1376476/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=81432 CPUtime=581.06
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 19969 0 0 0 58062 44 0 0 25 0 1 0 1021860635 83386368 19896 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 20358 19896 73 172 0 20185 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 83848

[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16684
/proc/meminfo: memFree=1369424/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=88748 CPUtime=641.06
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 21699 0 0 0 64060 46 0 0 25 0 1 0 1021860635 90877952 21626 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 22187 21626 73 172 0 22014 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 91164

[startup+702.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16871
/proc/meminfo: memFree=1362240/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=95808 CPUtime=701.07
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 23485 0 0 0 70059 48 0 0 25 0 1 0 1021860635 98107392 23412 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 23952 23412 73 172 0 23779 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 98224

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17057
/proc/meminfo: memFree=1357660/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=100268 CPUtime=761.06
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24580 0 0 0 76057 49 0 0 25 0 1 0 1021860635 102674432 24507 4294967295 134512640 135215339 3219817024 3219815312 134528673 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25067 24507 73 172 0 24894 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 102684

[startup+822.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17250
/proc/meminfo: memFree=1357800/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=100268 CPUtime=821.06
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24593 0 0 0 82057 49 0 0 25 0 1 0 1021860635 102674432 24520 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25067 24520 73 172 0 24894 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 102684

[startup+882.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17439
/proc/meminfo: memFree=1356876/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=100920 CPUtime=881.07
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24740 0 0 0 88058 49 0 0 25 0 1 0 1021860635 103342080 24667 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25230 24667 73 172 0 25057 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 103336

[startup+942.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 17627
/proc/meminfo: memFree=1356396/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=101732 CPUtime=941.07
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24876 0 0 0 94058 49 0 0 25 0 1 0 1021860635 104173568 24803 4294967295 134512640 135215339 3219817024 3219815312 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25433 24803 73 172 0 25260 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 104148

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17814
/proc/meminfo: memFree=1356380/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=101732 CPUtime=1001.09
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24890 0 0 0 100060 49 0 0 25 0 1 0 1021860635 104173568 24817 4294967295 134512640 135215339 3219817024 3219815312 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25433 24817 73 172 0 25260 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 104148

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18000
/proc/meminfo: memFree=1356100/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=101732 CPUtime=1061.09
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24900 0 0 0 106049 60 0 0 25 0 1 0 1021860635 104173568 24827 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25433 24827 73 172 0 25260 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 104148

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18189
/proc/meminfo: memFree=1356256/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=101732 CPUtime=1121.09
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24910 0 0 0 112049 60 0 0 25 0 1 0 1021860635 104173568 24837 4294967295 134512640 135215339 3219817024 3219815312 134528821 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25433 24837 73 172 0 25260 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 104148

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18382
/proc/meminfo: memFree=1356504/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=101732 CPUtime=1181.09
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24916 0 0 0 118048 61 0 0 25 0 1 0 1021860635 104173568 24843 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25433 24843 73 172 0 25260 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 104148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18382
/proc/meminfo: memFree=1356704/2074464 swapFree=1950760/1959888
[pid=14602] ppid=14600 vsize=2416 CPUtime=1.27
/proc/14602/stat : 14602 (SatELiteGTI) S 14600 14602 11066 0 -1 4194304 385 3705 0 0 0 0 122 5 18 0 1 0 1021860506 2473984 277 4294967295 134512640 135169312 3219663312 3219659528 3085569774 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/14602/statm: 604 277 235 161 0 43 0
[pid=14608] ppid=14602 vsize=101732 CPUtime=1198.79
/proc/14608/stat : 14608 (minisat_static) R 14602 14602 11066 0 -1 4202496 24921 0 0 0 119818 61 0 0 25 0 1 0 1021860635 104173568 24848 4294967295 134512640 135215339 3219817024 3219815312 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14608/statm: 25433 24848 73 172 0 25260 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 104148

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

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.07
CPU user time (s): 1199.4
CPU system time (s): 0.67
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 104148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.4
system time used= 0.67
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 751

runsolver used 0.03 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-17 17:20:22
IDJOB=1821850
IDBENCH=71103
IDSOLVER=657
FILE ID=tipi23/1821850-1242573622
PBS_JOBID=
Free space on /tmp= 8520 MiB

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

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

MD5SUM BENCH= e0639bbed56c8b8c34616f8cb99c381c
RANDOM SEED= 204601408

Linux tipi23 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.377
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.38

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1459472 kB
Buffers:         38464 kB
Cached:         490316 kB
SwapCached:       3584 kB
Active:         245060 kB
Inactive:       295432 kB
HighTotal:     1178688 kB
HighFree:       677612 kB
LowTotal:       895776 kB
LowFree:        781860 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            3356 kB
Writeback:           0 kB
AnonPages:       10968 kB
Mapped:           4420 kB
Slab:            65748 kB
PageTables:        552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8520 MiB
End job on tipi23 at 2009-05-17 17:40:22