Trace number 1833913

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.09 1200.51

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
MD5SUM0b7170d33b896e8b879b19b65ac5c517
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 variables1278
Number of clauses74789
Sum of the clauses size222346
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22159
Number of clauses of size 372607
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.00/0.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   74789   222346 |   22436       0        0     nan |  0.000 % |
0.00/0.71	c |         0 |   73888   319243 |      --       0       --      -- |     --   | -901/96897
0.00/0.71	c ==============================================================================
0.00/0.71	c Result  :   #vars: 763   #clauses: 73888   #literals: 319243
0.00/0.71	c CPU time:   0.697893 s
0.00/0.71	c ==============================================================================
0.00/0.81	c This is MiniSat 2.0 beta
0.00/0.81	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.81	c ============================[ Problem Statistics ]=============================
0.00/0.81	c |                                                                             |
0.00/0.81	c |  Number of variables:  763                                                  |
0.00/0.81	c |  Number of clauses:    73888                                                |
0.00/0.85	c |  Parsing time:         0.03         s                                       |
0.00/0.85	c ============================[ Search Statistics ]==============================
0.00/0.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.85	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.85	c ===============================================================================
0.00/0.85	c |         0 |     763    73888   319243 |    24629        0    nan |  0.000 % |
0.00/0.89	c |       100 |     763    73888   319243 |    24629      100     46 |  0.000 % |
0.79/0.92	c |       202 |     763    73888   319243 |    24629      202     41 |  0.000 % |
0.79/0.96	c |       304 |     763    73888   319243 |    24629      304     37 |  0.000 % |
0.97/1.00	c |       415 |     763    73888   319243 |    24629      415     34 |  0.000 % |
0.97/1.04	c |       515 |     763    73888   319243 |    24629      515     32 |  0.000 % |
0.97/1.09	c |       629 |     763    73888   319243 |    24629      629     32 |  0.000 % |
1.07/1.14	c |       750 |     763    73888   319243 |    24629      750     31 |  0.000 % |
1.07/1.18	c |       851 |     763    73888   319243 |    24629      851     30 |  0.000 % |
1.16/1.22	c |       963 |     763    73888   319243 |    24629      963     30 |  0.000 % |
1.16/1.26	c |      1085 |     763    73888   319243 |    24629     1085     29 |  0.000 % |
1.26/1.31	c |      1218 |     763    73888   319243 |    24629     1218     31 |  0.000 % |
1.26/1.34	c |      1318 |     763    73888   319243 |    24629     1318     30 |  0.000 % |
1.26/1.38	c |      1428 |     763    73888   319243 |    24629     1428     30 |  0.000 % |
1.36/1.43	c |      1549 |     763    73888   319243 |    24629     1549     29 |  0.000 % |
1.36/1.48	c |      1683 |     763    73888   319243 |    24629     1683     30 |  0.000 % |
1.46/1.52	c |      1830 |     763    73888   319243 |    24629     1830     31 |  0.000 % |
1.46/1.55	c |      1930 |     763    73888   319243 |    24629     1930     32 |  0.000 % |
1.46/1.58	c |      2040 |     763    73888   319243 |    24629     2040     32 |  0.000 % |
1.56/1.62	c |      2161 |     763    73888   319243 |    24629     2161     33 |  0.000 % |
1.56/1.67	c |      2299 |     763    73888   319243 |    24629     2299     33 |  0.000 % |
1.66/1.72	c |      2445 |     763    73888   319243 |    24629     2445     32 |  0.000 % |
1.66/1.78	c |      2609 |     763    73888   319243 |    24629     2609     32 |  0.000 % |
1.76/1.81	c |      2709 |     763    73888   319243 |    24629     2709     32 |  0.000 % |
1.76/1.86	c |      2821 |     763    73888   319243 |    24629     2821     32 |  0.000 % |
1.87/1.90	c |      2942 |     763    73888   319243 |    24629     2942     32 |  0.000 % |
1.87/1.96	c |      3079 |     763    73888   319243 |    24629     3079     32 |  0.000 % |
1.97/2.02	c |      3225 |     763    73888   319243 |    24629     3225     32 |  0.000 % |
1.97/2.08	c |      3385 |     763    73888   319243 |    24629     3385     32 |  0.000 % |
2.07/2.14	c |      3562 |     763    73888   319243 |    24629     3562     32 |  0.000 % |
2.07/2.18	c |      3663 |     763    73888   319243 |    24629     3663     32 |  0.000 % |
2.17/2.23	c |      3773 |     763    73888   319243 |    24629     3773     32 |  0.000 % |
2.17/2.27	c |      3894 |     763    73888   319243 |    24629     3894     32 |  0.000 % |
2.27/2.31	c |      4027 |     763    73888   319243 |    24629     4027     32 |  0.000 % |
2.27/2.37	c |      4177 |     763    73888   319243 |    24629     4177     32 |  0.000 % |
2.37/2.43	c |      4338 |     763    73888   319243 |    24629     4338     32 |  0.000 % |
2.47/2.50	c |      4517 |     763    73888   319243 |    24629     4517     32 |  0.000 % |
2.47/2.57	c |      4710 |     763    73888   319243 |    24629     4710     32 |  0.000 % |
2.57/2.61	c |      4811 |     763    73888   319243 |    24629     4811     32 |  0.000 % |
2.57/2.66	c |      4922 |     763    73888   319243 |    24629     4922     32 |  0.000 % |
2.67/2.70	c |      5043 |     763    73888   319243 |    24629     5043     32 |  0.000 % |
2.67/2.76	c |      5177 |     763    73888   319243 |    24629     5177     32 |  0.000 % |
2.77/2.80	c |      5323 |     763    73888   319243 |    24629     5323     33 |  0.000 % |
2.77/2.86	c |      5484 |     763    73888   319243 |    24629     5484     33 |  0.000 % |
2.87/2.92	c |      5662 |     763    73888   319243 |    24629     5662     33 |  0.000 % |
2.87/3.00	c |      5855 |     763    73888   319243 |    24629     5855     33 |  0.000 % |
2.97/3.08	c |      6070 |     763    73888   319243 |    24629     6070     32 |  0.000 % |
3.07/3.12	c |      6170 |     763    73888   319243 |    24629     6170     33 |  0.000 % |
3.07/3.16	c |      6282 |     763    73888   319243 |    24629     6282     33 |  0.000 % |
3.07/3.19	c |      6404 |     763    73888   319243 |    24629     6404     33 |  0.000 % |
3.17/3.23	c |      6538 |     763    73888   319243 |    24629     6538     33 |  0.000 % |
3.17/3.28	c |      6685 |     763    73888   319243 |    24629     6685     33 |  0.000 % |
3.27/3.33	c |      6846 |     763    73888   319243 |    24629     6846     33 |  0.000 % |
3.37/3.41	c |      7022 |     763    73888   319243 |    24629     7022     33 |  0.000 % |
3.37/3.48	c |      7217 |     763    73888   319243 |    24629     7217     34 |  0.000 % |
3.47/3.54	c |      7429 |     763    73888   319243 |    24629     7429     34 |  0.000 % |
3.57/3.61	c |      7662 |     763    73888   319243 |    24629     7662     34 |  0.000 % |
3.57/3.64	c |      7763 |     763    73888   319243 |    24629     7763     34 |  0.000 % |
3.57/3.67	c |      7873 |     763    73888   319243 |    24629     7873     34 |  0.000 % |
3.67/3.70	c |      7995 |     763    73888   319243 |    24629     7995     34 |  0.000 % |
3.67/3.73	c |      8128 |     763    73888   319243 |    24629     8128     34 |  0.000 % |
3.67/3.79	c |      8274 |     763    73888   319243 |    24629     8274     34 |  0.000 % |
3.77/3.84	c |      8435 |     763    73888   319243 |    24629     8435     34 |  0.000 % |
3.77/3.89	c |      8611 |     763    73888   319243 |    24629     8611     35 |  0.000 % |
3.87/3.98	c |      8804 |     763    73888   319243 |    24629     8804     35 |  0.000 % |
3.97/4.08	c |      9017 |     763    73888   319243 |    24629     9017     34 |  0.000 % |
4.07/4.15	c |      9250 |     763    73888   319243 |    24629     9250     35 |  0.000 % |
4.17/4.22	c |      9506 |     763    73888   319243 |    24629     9506     35 |  0.000 % |
4.17/4.26	c |      9610 |     763    73888   319243 |    24629     9610     35 |  0.000 % |
4.27/4.32	c |      9721 |     763    73888   319243 |    24629     9721     35 |  0.000 % |
4.27/4.38	c |      9843 |     763    73888   319243 |    24629     9843     35 |  0.000 % |
4.37/4.45	c |      9976 |     763    73888   319243 |    24629     9976     35 |  0.000 % |
4.47/4.52	c |     10124 |     763    73888   319243 | 2147483647    10124     35 |  0.000 % |
4.57/4.60	c |     10285 |     763    73888   319243 | 2147483647    10285     35 |  0.000 % |
4.57/4.70	c |     10464 |     763    73888   319243 | 2147483647    10464     35 |  0.000 % |
4.67/4.79	c |     10661 |     763    73888   319243 | 2147483647    10661     34 |  0.000 % |
4.77/4.89	c |     10873 |     763    73888   319243 | 2147483647    10873     34 |  0.000 % |
4.87/4.99	c |     11106 |     763    73888   319243 | 2147483647    11106     34 |  0.000 % |
5.07/5.12	c |     11364 |     763    73888   319243 | 2147483647    11364     34 |  0.000 % |
5.16/5.25	c |     11646 |     763    73888   319243 | 2147483647    11646     33 |  0.000 % |
5.26/5.30	c |     11750 |     763    73888   319243 | 2147483647    11750     33 |  0.000 % |
5.26/5.35	c |     11860 |     763    73888   319243 | 2147483647    11860     33 |  0.000 % |
5.37/5.41	c |     11981 |     763    73888   319243 | 2147483647    11981     33 |  0.000 % |
5.37/5.48	c |     12114 |     763    73888   319243 | 2147483647    12114     33 |  0.000 % |
5.47/5.55	c |     12261 |     763    73888   319243 | 2147483647    12261     33 |  0.000 % |
5.56/5.63	c |     12424 |     763    73888   319243 | 2147483647    12424     33 |  0.000 % |
5.66/5.73	c |     12601 |     763    73888   319243 | 2147483647    12601     33 |  0.000 % |
5.76/5.83	c |     12795 |     763    73888   319243 | 2147483647    12795     33 |  0.000 % |
5.86/5.94	c |     13009 |     763    73888   319243 | 2147483647    13009     33 |  0.000 % |
5.96/6.06	c |     13244 |     763    73888   319243 | 2147483647    13244     33 |  0.000 % |
6.06/6.18	c |     13500 |     763    73888   319243 | 2147483647    13500     33 |  0.000 % |
6.26/6.30	c |     13781 |     763    73888   319243 | 2147483647    13781     33 |  0.000 % |
6.36/6.40	c |     14090 |     763    73888   319243 | 2147483647    14090     33 |  0.000 % |
6.36/6.45	c |     14190 |     763    73888   319243 | 2147483647    14190     33 |  0.000 % |
6.47/6.52	c |     14302 |     763    73888   319243 | 2147483647    14302     33 |  0.000 % |
6.47/6.57	c |     14425 |     763    73888   319243 | 2147483647    14425     33 |  0.000 % |
6.57/6.62	c |     14558 |     763    73888   319243 | 2147483647    14558     34 |  0.000 % |
6.66/6.71	c |     14705 |     763    73888   319243 | 2147483647    14705     34 |  0.000 % |
6.66/6.78	c |     14866 |     763    73888   319243 | 2147483647    14866     34 |  0.000 % |
6.76/6.88	c |     15045 |     763    73888   319243 | 2147483647    15045     34 |  0.000 % |
6.86/6.99	c |     15240 |     763    73888   319243 | 2147483647    15240     34 |  0.000 % |
7.06/7.11	c |     15452 |     763    73888   319243 | 2147483647    15452     34 |  0.000 % |
7.16/7.24	c |     15685 |     763    73888   319243 | 2147483647    15685     34 |  0.000 % |
7.26/7.36	c |     15944 |     763    73888   319243 | 2147483647    15944     34 |  0.000 % |
7.36/7.49	c |     16225 |     763    73888   319243 | 2147483647    16225     34 |  0.000 % |
7.56/7.63	c |     16536 |     763    73888   319243 | 2147483647    16536     34 |  0.000 % |
7.76/7.83	c |     16876 |     763    73888   319243 | 2147483647    16876     34 |  0.000 % |
7.76/7.90	c |     16981 |     763    73888   319243 | 2147483647    16981     34 |  0.000 % |
7.86/7.96	c |     17094 |     763    73888   319243 | 2147483647    17094     34 |  0.000 % |
7.96/8.01	c |     17217 |     763    73888   319243 | 2147483647    17217     34 |  0.000 % |
7.96/8.07	c |     17350 |     763    73888   319243 | 2147483647    17350     34 |  0.000 % |
8.06/8.13	c |     17498 |     763    73888   319243 | 2147483647    17498     34 |  0.000 % |
8.16/8.20	c |     17658 |     763    73888   319243 | 2147483647    17658     34 |  0.000 % |
8.16/8.29	c |     17834 |     763    73888   319243 | 2147483647    17834     34 |  0.000 % |
8.26/8.39	c |     18028 |     763    73888   319243 | 2147483647    18028     34 |  0.000 % |
8.46/8.52	c |     18240 |     763    73888   319243 | 2147483647    18240     34 |  0.000 % |
8.56/8.68	c |     18473 |     763    73888   319243 | 2147483647    18473     34 |  0.000 % |
8.66/8.79	c |     18729 |     763    73888   319243 | 2147483647    18729     35 |  0.000 % |
8.86/8.91	c |     19010 |     763    73888   319243 | 2147483647    19010     35 |  0.000 % |
9.06/9.12	c |     19319 |     763    73888   319243 | 2147483647    19319     35 |  0.000 % |
9.16/9.29	c |     19658 |     763    73888   319243 | 2147483647    19658     35 |  0.000 % |
9.47/9.51	c |     20034 |     763    73888   319243 | 2147483647    20034     35 |  0.000 % |
9.47/9.57	c |     20135 |     763    73888   319243 | 2147483647    20135     35 |  0.000 % |
9.57/9.65	c |     20248 |     763    73888   319243 | 2147483647    20248     35 |  0.000 % |
9.67/9.71	c |     20371 |     763    73888   319243 | 2147483647    20371     35 |  0.000 % |
9.67/9.80	c |     20504 |     763    73888   319243 | 2147483647    20504     35 |  0.000 % |
9.77/9.87	c |     20652 |     763    73888   319243 | 2147483647    20652     35 |  0.000 % |
9.87/9.96	c |     20813 |     763    73888   319243 | 2147483647    20813     35 |  0.000 % |
9.97/10.06	c |     20990 |     763    73888   319243 | 2147483647    20990     35 |  0.000 % |
10.07/10.15	c |     21186 |     763    73888   319243 | 2147483647    21186     35 |  0.000 % |
10.17/10.29	c |     21398 |     763    73888   319243 | 2147483647    21398     35 |  0.000 % |
10.37/10.43	c |     21632 |     763    73888   319243 | 2147483647    21632     36 |  0.000 % |
10.47/10.53	c |     21888 |     763    73888   319243 | 2147483647    21888     36 |  0.000 % |
10.67/10.73	c |     22170 |     763    73888   319243 | 2147483647    22170     36 |  0.000 % |
10.87/10.94	c |     22481 |     763    73888   319243 | 2147483647    22481     36 |  0.000 % |
11.07/11.16	c |     22820 |     763    73888   319243 | 2147483647    22820     36 |  0.000 % |
11.37/11.41	c |     23192 |     763    73888   319243 | 2147483647    23192     35 |  0.000 % |
11.57/11.67	c |     23603 |     763    73888   319243 | 2147483647    23603     35 |  0.000 % |
11.67/11.73	c |     23705 |     763    73888   319243 | 2147483647    23705     35 |  0.000 % |
11.67/11.79	c |     23815 |     763    73888   319243 | 2147483647    23815     35 |  0.000 % |
11.77/11.85	c |     23936 |     763    73888   319243 | 2147483647    23936     35 |  0.000 % |
11.87/11.93	c |     24069 |     763    73888   319243 | 2147483647    24069     35 |  0.000 % |
11.97/12.03	c |     24216 |     763    73888   319243 | 2147483647    24216     35 |  0.000 % |
12.07/12.15	c |     24377 |     763    73888   319243 | 2147483647    24377     35 |  0.000 % |
12.16/12.22	c |     24553 |     763    73888   319243 | 2147483647    24553     35 |  0.000 % |
12.26/12.35	c |     24747 |     763    73888   319243 | 2147483647    24747     35 |  0.000 % |
12.46/12.50	c |     24959 |     763    73888   319243 | 2147483647    24959     35 |  0.000 % |
12.56/12.64	c |     25192 |     763    73888   319243 | 2147483647    25192     35 |  0.000 % |
12.67/12.79	c |     25448 |     763    73888   319243 | 2147483647    25448     36 |  0.000 % |
12.86/12.95	c |     25731 |     763    73888   319243 | 2147483647    25731     36 |  0.000 % |
12.96/13.09	c |     26040 |     763    73888   319243 | 2147483647    26040     36 |  0.000 % |
13.17/13.28	c |     26379 |     763    73888   319243 | 2147483647    26379     36 |  0.000 % |
13.36/13.44	c |     26751 |     763    73888   319243 | 2147483647    26751     36 |  0.000 % |
13.56/13.62	c |     27160 |     763    73888   319243 | 2147483647    27160     36 |  0.000 % |
13.76/13.80	c |     27609 |     763    73888   319243 | 2147483647    27609     36 |  0.000 % |
13.76/13.83	c |     27709 |     763    73888   319243 | 2147483647    27709     36 |  0.000 % |
13.76/13.88	c |     27819 |     763    73888   319243 | 2147483647    27819     36 |  0.000 % |
13.86/13.96	c |     27940 |     763    73888   319243 | 2147483647    27940     36 |  0.000 % |
13.96/14.06	c |     28073 |     763    73888   319243 | 2147483647    28073     36 |  0.000 % |
14.06/14.17	c |     28220 |     763    73888   319243 | 2147483647    28220     36 |  0.000 % |
14.16/14.28	c |     28381 |     763    73888   319243 | 2147483647    28381     36 |  0.000 % |
14.36/14.41	c |     28559 |     763    73888   319243 | 2147483647    28559     36 |  0.000 % |
14.46/14.54	c |     28752 |     763    73888   319243 | 2147483647    28752     36 |  0.000 % |
14.56/14.68	c |     28964 |     763    73888   319243 | 2147483647    28964     36 |  0.000 % |
14.76/14.81	c |     29197 |     763    73888   319243 | 2147483647    29197     36 |  0.000 % |
14.86/14.92	c |     29453 |     763    73888   319243 | 2147483647    29453     36 |  0.000 % |
14.96/15.05	c |     29734 |     763    73888   319243 | 2147483647    29734     36 |  0.000 % |
15.16/15.24	c |     30044 |     763    73888   319243 | 2147483647    30044     36 |  0.000 % |
15.36/15.47	c |     30384 |     763    73888   319243 | 2147483647    30384     36 |  0.000 % |
15.56/15.69	c |     30756 |     763    73888   319243 | 2147483647    30756     36 |  0.000 % |
15.86/15.91	c |     31166 |     763    73888   319243 | 2147483647    31166     36 |  0.000 % |
16.17/16.22	c |     31620 |     763    73888   319243 | 2147483647    31620     36 |  0.000 % |
16.47/16.54	c |     32113 |     763    73888   319243 | 2147483647    32113     36 |  0.000 % |
16.57/16.61	c |     32215 |     763    73888   319243 | 2147483647    32215     36 |  0.000 % |
16.67/16.70	c |     32326 |     763    73888   319243 | 2147483647    32326     36 |  0.000 % |
16.67/16.76	c |     32448 |     763    73888   319243 | 2147483647    32448     36 |  0.000 % |
16.77/16.88	c |     32581 |     763    73888   319243 | 2147483647    32581     36 |  0.000 % |
16.97/17.01	c |     32727 |     763    73888   319243 | 2147483647    32727     36 |  0.000 % |
17.07/17.15	c |     32887 |     763    73888   319243 | 2147483647    32887     36 |  0.000 % |
17.17/17.28	c |     33066 |     763    73888   319243 | 2147483647    33066     36 |  0.000 % |
17.37/17.47	c |     33259 |     763    73888   319243 | 2147483647    33259     36 |  0.000 % |
17.57/17.64	c |     33472 |     763    73888   319243 | 2147483647    33472     36 |  0.000 % |
17.67/17.77	c |     33705 |     763    73888   319243 | 2147483647    33705     36 |  0.000 % |
17.87/17.93	c |     33963 |     763    73888   319243 | 2147483647    33963     36 |  0.000 % |
18.07/18.13	c |     34244 |     763    73888   319243 | 2147483647    34244     36 |  0.000 % |
18.27/18.34	c |     34554 |     763    73888   319243 | 2147483647    34554     36 |  0.000 % |
18.57/18.67	c |     34894 |     763    73888   319243 | 2147483647    34894     36 |  0.000 % |
18.86/18.99	c |     35267 |     763    73888   319243 | 2147483647    35267     37 |  0.000 % |
19.26/19.32	c |     35677 |     763    73888   319243 | 2147483647    35677     37 |  0.000 % |
19.67/19.74	c |     36128 |     763    73888   319243 | 2147483647    36128     37 |  0.000 % |
20.06/20.19	c |     36623 |     763    73888   319243 | 2147483647    36623     37 |  0.000 % |
20.66/20.73	c |     37166 |     763    73888   319243 | 2147483647    37166     37 |  0.000 % |
20.77/20.82	c |     37267 |     763    73888   319243 | 2147483647    37267     37 |  0.000 % |
20.87/20.91	c |     37378 |     763    73888   319243 | 2147483647    37378     36 |  0.000 % |
20.96/21.00	c |     37499 |     763    73888   319243 | 2147483647    37499     36 |  0.000 % |
21.06/21.15	c |     37632 |     763    73888   319243 | 2147483647    37632     36 |  0.000 % |
21.16/21.27	c |     37778 |     763    73888   319243 | 2147483647    37778     36 |  0.000 % |
21.26/21.37	c |     37938 |     763    73888   319243 | 2147483647    37938     36 |  0.000 % |
21.46/21.54	c |     38114 |     763    73888   319243 | 2147483647    38114     36 |  0.000 % |
21.56/21.68	c |     38309 |     763    73888   319243 | 2147483647    38309     36 |  0.000 % |
21.76/21.86	c |     38521 |     763    73888   319243 | 2147483647    38521     36 |  0.000 % |
21.97/22.09	c |     38756 |     763    73888   319243 | 2147483647    38756     37 |  0.000 % |
22.26/22.34	c |     39012 |     763    73888   319243 | 2147483647    39012     37 |  0.000 % |
22.56/22.62	c |     39293 |     763    73888   319243 | 2147483647    39293     37 |  0.000 % |
22.76/22.85	c |     39602 |     763    73888   319243 | 2147483647    39602     37 |  0.000 % |
23.16/23.20	c |     39945 |     763    73888   319243 | 2147483647    39945     37 |  0.000 % |
23.46/23.57	c |     40321 |     763    73888   319243 | 2147483647    40321     37 |  0.000 % |
23.86/23.90	c |     40731 |     763    73888   319243 | 2147483647    40731     37 |  0.000 % |
24.16/24.24	c |     41180 |     763    73888   319243 | 2147483647    41180     37 |  0.000 % |
24.56/24.65	c |     41673 |     763    73888   319243 | 2147483647    41673     37 |  0.000 % |
24.96/25.04	c |     42215 |     763    73888   319243 | 2147483647    42215     37 |  0.000 % |
25.36/25.48	c |     42811 |     763    73888   319243 | 2147483647    42811     37 |  0.000 % |
25.46/25.56	c |     42911 |     763    73888   319243 | 2147483647    42911     37 |  0.000 % |
25.56/25.63	c |     43023 |     763    73888   319243 | 2147483647    43023     37 |  0.000 % |
25.66/25.77	c |     43145 |     763    73888   319243 | 2147483647    43145     37 |  0.000 % |
25.76/25.89	c |     43278 |     763    73888   319243 | 2147483647    43278     37 |  0.000 % |
25.86/26.00	c |     43425 |     763    73888   319243 | 2147483647    43425     37 |  0.000 % |
26.06/26.11	c |     43588 |     763    73888   319243 | 2147483647    43588     37 |  0.000 % |
26.26/26.32	c |     43766 |     763    73888   319243 | 2147483647    43766     37 |  0.000 % |
26.46/26.50	c |     43959 |     763    73888   319243 | 2147483647    43959     37 |  0.000 % |
26.56/26.66	c |     44173 |     763    73888   319243 | 2147483647    44173     37 |  0.000 % |
26.76/26.82	c |     44406 |     763    73888   319243 | 2147483647    44406     37 |  0.000 % |
26.96/27.06	c |     44662 |     763    73888   319243 | 2147483647    44662     37 |  0.000 % |
27.15/27.30	c |     44943 |     763    73888   319243 | 2147483647    44943     37 |  0.000 % |
27.46/27.56	c |     45255 |     763    73888   319243 | 2147483647    45255     37 |  0.000 % |
27.75/27.81	c |     45595 |     763    73888   319243 | 2147483647    45595     37 |  0.000 % |
28.15/28.23	c |     45967 |     763    73888   319243 | 2147483647    45967     37 |  0.000 % |
28.57/28.70	c |     46376 |     763    73888   319243 | 2147483647    46376     37 |  0.000 % |
28.96/29.09	c |     46826 |     763    73888   319243 | 2147483647    46826     37 |  0.000 % |
29.57/29.61	c |     47320 |     763    73888   319243 | 2147483647    47320     37 |  0.000 % |
30.06/30.18	c |     47862 |     763    73888   319243 | 2147483647    47862     37 |  0.000 % |
30.76/30.90	c |     48459 |     763    73888   319243 | 2147483647    48459     37 |  0.000 % |
31.46/31.52	c |     49116 |     763    73888   319243 | 2147483647    49116     37 |  0.000 % |
31.56/31.61	c |     49216 |     763    73888   319243 | 2147483647    49216     37 |  0.000 % |
31.66/31.71	c |     49327 |     763    73888   319243 | 2147483647    49327     37 |  0.000 % |
31.76/31.82	c |     49448 |     763    73888   319243 | 2147483647    49448     37 |  0.000 % |
31.86/31.93	c |     49586 |     763    73888   319243 | 2147483647    49586     37 |  0.000 % |
31.96/32.08	c |     49732 |     763    73888   319243 | 2147483647    49732     37 |  0.000 % |
32.16/32.29	c |     49892 |     763    73888   319243 | 2147483647    49892     37 |  0.000 % |
32.46/32.51	c |     50070 |     763    73888   319243 | 2147483647    50070     37 |  0.000 % |
32.66/32.72	c |     50264 |     763    73888   319243 | 2147483647    50264     37 |  0.000 % |
32.86/32.90	c |     50476 |     763    73888   319243 | 2147483647    50476     37 |  0.000 % |
33.16/33.22	c |     50709 |     763    73888   319243 | 2147483647    50709     37 |  0.000 % |
33.46/33.56	c |     50967 |     763    73888   319243 | 2147483647    50967     37 |  0.000 % |
33.75/33.86	c |     51250 |     763    73888   319243 | 2147483647    51250     37 |  0.000 % |
34.06/34.17	c |     51560 |     763    73888   319243 | 2147483647    51560     37 |  0.000 % |
34.55/34.63	c |     51900 |     763    73888   319243 | 2147483647    51900     37 |  0.000 % |
34.95/35.10	c |     52272 |     763    73888   319243 | 2147483647    52272     37 |  0.000 % |
35.45/35.54	c |     52681 |     763    73888   319243 | 2147483647    52681     37 |  0.000 % |
35.95/36.02	c |     53132 |     763    73888   319243 | 2147483647    53132     37 |  0.000 % |
36.45/36.52	c |     53625 |     763    73888   319243 | 2147483647    53625     37 |  0.000 % |
36.95/37.01	c |     54168 |     763    73888   319243 | 2147483647    54168     37 |  0.000 % |
37.55/37.60	c |     54766 |     763    73888   319243 | 2147483647    54766     37 |  0.000 % |
38.36/38.47	c |     55423 |     763    73888   319243 | 2147483647    55423     37 |  0.000 % |
39.46/39.54	c |     56143 |     763    73888   319243 | 2147483647    56143     37 |  0.000 % |
39.56/39.68	c |     56243 |     763    73888   319243 | 2147483647    56243     37 |  0.000 % |
39.75/39.82	c |     56355 |     763    73888   319243 | 2147483647    56355     37 |  0.000 % |
39.85/39.98	c |     56477 |     763    73888   319243 | 2147483647    56477     37 |  0.000 % |
40.05/40.13	c |     56613 |     763    73888   319243 | 2147483647    56613     37 |  0.000 % |
40.15/40.23	c |     56759 |     763    73888   319243 | 2147483647    56759     37 |  0.000 % |
40.35/40.43	c |     56920 |     763    73888   319243 | 2147483647    56920     37 |  0.000 % |
40.56/40.68	c |     57096 |     763    73888   319243 | 2147483647    57096     37 |  0.000 % |
40.85/40.92	c |     57290 |     763    73888   319243 | 2147483647    57290     37 |  0.000 % |
41.05/41.16	c |     57503 |     763    73888   319243 | 2147483647    57503     37 |  0.000 % |
41.35/41.48	c |     57738 |     763    73888   319243 | 2147483647    57738     37 |  0.000 % |
41.76/41.82	c |     57996 |     763    73888   319243 | 2147483647    57996     37 |  0.000 % |
42.15/42.20	c |     58278 |     763    73888   319243 | 2147483647    58278     37 |  0.000 % |
42.45/42.59	c |     58588 |     763    73888   319243 | 2147483647    58588     37 |  0.000 % |
42.95/43.06	c |     58927 |     763    73888   319243 | 2147483647    58927     37 |  0.000 % |
43.45/43.52	c |     59299 |     763    73888   319243 | 2147483647    59299     37 |  0.000 % |
43.96/44.03	c |     59709 |     763    73888   319243 | 2147483647    59709     37 |  0.000 % |
44.55/44.69	c |     60158 |     763    73888   319243 | 2147483647    60158     37 |  0.000 % |
45.06/45.15	c |     60651 |     763    73888   319243 | 2147483647    60651     37 |  0.000 % |
45.85/45.98	c |     61194 |     763    73888   319243 | 2147483647    61194     37 |  0.000 % |
46.75/46.81	c |     61790 |     763    73888   319243 | 2147483647    61790     37 |  0.000 % |
47.35/47.41	c |     62447 |     763    73888   319243 | 2147483647    62447     37 |  0.000 % |
48.25/48.34	c |     63167 |     763    73888   319243 | 2147483647    63167     37 |  0.000 % |
49.55/49.66	c |     63960 |     763    73888   319243 | 2147483647    63960     37 |  0.000 % |
49.85/49.90	c |     64061 |     763    73888   319243 | 2147483647    64061     37 |  0.000 % |
50.05/50.10	c |     64171 |     763    73888   319243 | 2147483647    64171     37 |  0.000 % |
50.15/50.22	c |     64292 |     763    73888   319243 | 2147483647    64292     37 |  0.000 % |
50.25/50.34	c |     64427 |     763    73888   319243 | 2147483647    64427     37 |  0.000 % |
50.35/50.49	c |     64574 |     763    73888   319243 | 2147483647    64574     37 |  0.000 % |
50.75/50.80	c |     64738 |     763    73888   319243 | 2147483647    64738     37 |  0.000 % |
50.95/51.03	c |     64915 |     763    73888   319243 | 2147483647    64915     37 |  0.000 % |
51.15/51.24	c |     65108 |     763    73888   319243 | 2147483647    65108     37 |  0.000 % |
51.45/51.50	c |     65322 |     763    73888   319243 | 2147483647    65322     37 |  0.000 % |
51.75/51.84	c |     65555 |     763    73888   319243 | 2147483647    65555     37 |  0.000 % |
52.15/52.26	c |     65811 |     763    73888   319243 | 2147483647    65811     37 |  0.000 % |
52.65/52.76	c |     66093 |     763    73888   319243 | 2147483647    66093     37 |  0.000 % |
53.25/53.31	c |     66402 |     763    73888   319243 | 2147483647    66402     37 |  0.000 % |
53.75/53.88	c |     66745 |     763    73888   319243 | 2147483647    66745     37 |  0.000 % |
54.54/54.65	c |     67117 |     763    73888   319243 | 2147483647    67117     37 |  0.000 % |
55.35/55.46	c |     67529 |     763    73888   319243 | 2147483647    67529     37 |  0.000 % |
56.15/56.23	c |     67979 |     763    73888   319243 | 2147483647    67979     37 |  0.000 % |
56.84/56.99	c |     68472 |     763    73888   319243 | 2147483647    68472     37 |  0.000 % |
57.84/57.94	c |     69015 |     763    73888   319243 | 2147483647    69015     37 |  0.000 % |
58.94/59.05	c |     69614 |     763    73888   319243 | 2147483647    69614     37 |  0.000 % |
60.34/60.43	c |     70269 |     763    73888   319243 | 2147483647    70269     37 |  0.000 % |
61.75/61.81	c |     70989 |     763    73888   319243 | 2147483647    70989     37 |  0.000 % |
63.25/63.36	c |     71781 |     763    73888   319243 | 2147483647    71781     37 |  0.000 % |
65.05/65.11	c |     72654 |     763    73888   319243 | 2147483647    72654     37 |  0.000 % |
65.25/65.32	c |     72754 |     763    73888   319243 | 2147483647    72754     37 |  0.000 % |
65.35/65.47	c |     72866 |     763    73888   319243 | 2147483647    72866     37 |  0.000 % |
65.55/65.68	c |     72988 |     763    73888   319243 | 2147483647    72988     37 |  0.000 % |
65.85/65.92	c |     73121 |     763    73888   319243 | 2147483647    73121     37 |  0.000 % |
66.15/66.23	c |     73267 |     763    73888   319243 | 2147483647    73267     37 |  0.000 % |
66.44/66.59	c |     73427 |     763    73888   319243 | 2147483647    73427     37 |  0.000 % |
66.84/66.97	c |     73605 |     763    73888   319243 | 2147483647    73605     37 |  0.000 % |
67.14/67.25	c |     73801 |     763    73888   319243 | 2147483647    73801     37 |  0.000 % |
67.54/67.62	c |     74014 |     763    73888   319243 | 2147483647    74014     37 |  0.000 % |
68.05/68.13	c |     74247 |     763    73888   319243 | 2147483647    74247     37 |  0.000 % |
68.54/68.64	c |     74507 |     763    73888   319243 | 2147483647    74507     37 |  0.000 % |
69.24/69.32	c |     74793 |     763    73888   319243 | 2147483647    74793     37 |  0.000 % |
69.94/70.01	c |     75103 |     763    73888   319243 | 2147483647    75103     37 |  0.000 % |
70.74/70.80	c |     75442 |     763    73888   319243 | 2147483647    75442     37 |  0.000 % |
71.64/71.73	c |     75817 |     763    73888   319243 | 2147483647    75817     37 |  0.000 % |
72.44/72.59	c |     76227 |     763    73888   319243 | 2147483647    76227     37 |  0.000 % |
73.44/73.60	c |     76679 |     763    73888   319243 | 2147483647    76679     37 |  0.000 % |
74.64/74.77	c |     77172 |     763    73888   319243 | 2147483647    77172     37 |  0.000 % |
76.03/76.11	c |     77714 |     763    73888   319243 | 2147483647    77714     37 |  0.000 % |
77.33/77.47	c |     78312 |     763    73888   319243 | 2147483647    78312     37 |  0.000 % |
78.74/78.81	c |     78967 |     763    73888   319243 | 2147483647    78967     37 |  0.000 % |
79.44/79.50	c |     79688 |     763    73888   319243 | 2147483647    79688     37 |  0.000 % |
81.24/81.37	c |     80480 |     763    73888   319243 | 2147483647    80480     37 |  0.000 % |
83.03/83.12	c |     81351 |     763    73888   319243 | 2147483647    81351     36 |  0.000 % |
83.83/83.91	c |     82309 |     763    73888   319243 | 2147483647    82309     36 |  0.000 % |
83.93/84.01	c |     82412 |     763    73888   319243 | 2147483647    82412     36 |  0.000 % |
83.93/84.09	c |     82522 |     763    73888   319243 | 2147483647    82522     36 |  0.002 % |
84.43/84.54	c |     82643 |     763    73888   319243 | 2147483647    82643     36 |  0.000 % |
84.64/84.74	c |     82776 |     763    73888   319243 | 2147483647    82776     36 |  0.000 % |
85.03/85.10	c |     82922 |     763    73888   319243 | 2147483647    82922     36 |  0.000 % |
85.64/85.71	c |     83082 |     763    73888   319243 | 2147483647    83082     36 |  0.000 % |
86.13/86.21	c |     83258 |     763    73888   319243 | 2147483647    83258     36 |  0.000 % |
86.23/86.36	c |     83456 |     763    73888   319243 | 2147483647    83456     36 |  0.000 % |
86.43/86.50	c |     83670 |     763    73888   319243 | 2147483647    83670     36 |  0.000 % |
86.53/86.65	c |     83905 |     763    73888   319243 | 2147483647    83905     36 |  0.000 % |
86.73/86.84	c |     84161 |     763    73888   319243 | 2147483647    84161     36 |  0.000 % |
86.93/87.04	c |     84443 |     763    73888   319243 | 2147483647    84443     36 |  0.000 % |
87.13/87.22	c |     84753 |     763    73888   319243 | 2147483647    84753     36 |  0.002 % |
88.23/88.30	c |     85092 |     763    73888   319243 | 2147483647    85092     36 |  0.000 % |
89.23/89.36	c |     85465 |     763    73888   319243 | 2147483647    85465     36 |  0.000 % |
90.33/90.41	c |     85875 |     763    73888   319243 | 2147483647    85875     36 |  0.000 % |
90.53/90.62	c |     86324 |     763    73888   319243 | 2147483647    86324     36 |  0.000 % |
91.63/91.73	c |     86817 |     763    73888   319243 | 2147483647    86817     36 |  0.000 % |
93.03/93.18	c |     87359 |     763    73888   319243 | 2147483647    87359     36 |  0.000 % |
94.53/94.66	c |     87957 |     763    73888   319243 | 2147483647    87957     36 |  0.000 % |
95.72/95.87	c |     88614 |     763    73888   319243 | 2147483647    88614     36 |  0.000 % |
97.22/97.32	c |     89335 |     763    73888   319243 | 2147483647    89335     36 |  0.000 % |
98.23/98.35	c |     90128 |     763    73888   319243 | 2147483647    90128     36 |  0.000 % |
100.32/100.42	c |     90999 |     763    73888   319243 | 2147483647    90999     36 |  0.000 % |
102.02/102.17	c |     91958 |     763    73888   319243 | 2147483647    91958     36 |  0.000 % |
103.92/104.02	c |     93012 |     763    73888   319243 | 2147483647    93012     36 |  0.000 % |
104.32/104.40	c |     93112 |     763    73888   319243 | 2147483647    93112     36 |  0.000 % |
104.52/104.66	c |     93223 |     763    73888   319243 | 2147483647    93223     36 |  0.000 % |
104.82/104.97	c |     93344 |     763    73888   319243 | 2147483647    93344     36 |  0.000 % |
105.12/105.29	c |     93478 |     763    73888   319243 | 2147483647    93478     36 |  0.000 % |
105.22/105.37	c |     93625 |     763    73888   319243 | 2147483647    93625     36 |  0.000 % |
105.62/105.73	c |     93785 |     763    73888   319243 | 2147483647    93785     36 |  0.000 % |
106.12/106.23	c |     93961 |     763    73888   319243 | 2147483647    93961     36 |  0.000 % |
106.52/106.62	c |     94156 |     763    73888   319243 | 2147483647    94156     36 |  0.000 % |
106.82/106.94	c |     94370 |     763    73888   319243 | 2147483647    94370     36 |  0.000 % |
107.13/107.24	c |     94605 |     763    73888   319243 | 2147483647    94605     36 |  0.000 % |
107.83/107.90	c |     94862 |     763    73888   319243 | 2147483647    94862     36 |  0.000 % |
108.53/108.61	c |     95143 |     763    73888   319243 | 2147483647    95143     36 |  0.000 % |
109.23/109.32	c |     95453 |     763    73888   319243 | 2147483647    95453     36 |  0.000 % |
110.12/110.21	c |     95792 |     763    73888   319243 | 2147483647    95792     36 |  0.000 % |
110.93/111.10	c |     96165 |     763    73888   319243 | 2147483647    96165     36 |  0.000 % |
111.52/111.67	c |     96575 |     763    73888   319243 | 2147483647    96575     36 |  0.002 % |
114.22/114.34	c |     97025 |     763    73888   319243 | 2147483647    97025     36 |  0.000 % |
115.72/115.85	c |     97518 |     763    73888   319243 | 2147483647    97518     36 |  0.000 % |
116.92/117.08	c |     98060 |     763    73888   319243 | 2147483647    98060     36 |  0.000 % |
119.02/119.14	c |     98656 |     763    73888   319243 | 2147483647    98656     36 |  0.000 % |
122.32/122.42	c |     99311 |     763    73888   319243 | 2147483647    99311     36 |  0.000 % |
125.02/125.11	c |    100031 |     763    73888   319243 |   100001   100031     36 |  0.000 % |
128.41/128.56	c |    100823 |     763    73888   319243 |   100001    88732     37 |  0.000 % |
131.82/131.94	c |    101694 |     763    73888   319243 |   100001    89603     37 |  0.000 % |
134.91/135.06	c |    102654 |     763    73888   319243 |   100001    90563     37 |  0.000 % |
138.61/138.73	c |    103708 |     763    73888   319243 |   100001    91617     36 |  0.000 % |
142.41/142.58	c |    104867 |     763    73888   319243 |   100001    92776     36 |  0.000 % |
142.91/143.01	c |    104967 |     763    73888   319243 |   100001    92876     36 |  0.002 % |
143.31/143.45	c |    105077 |     763    73888   319243 |   100001    92986     36 |  0.000 % |
143.81/143.99	c |    105201 |     763    73888   319243 |   100001    93110     36 |  0.000 % |
144.21/144.36	c |    105335 |     763    73888   319243 |   100001    93244     36 |  0.000 % |
144.51/144.67	c |    105483 |     763    73888   319243 |   100001    93392     36 |  0.000 % |
144.71/144.82	c |    105645 |     763    73888   319243 |   100001    93554     36 |  0.000 % |
145.01/145.12	c |    105821 |     763    73888   319243 |   100001    93730     36 |  0.000 % |
145.41/145.50	c |    106015 |     763    73888   319243 |   100001    93924     36 |  0.000 % |
146.41/146.56	c |    106229 |     763    73888   319243 |   100001    94138     36 |  0.000 % |
147.81/147.95	c |    106462 |     763    73888   319243 |   100001    94371     36 |  0.000 % |
148.81/148.94	c |    106718 |     763    73888   319243 |   100001    94627     36 |  0.000 % |
149.81/149.97	c |    107000 |     763    73888   319243 |   100001    94909     36 |  0.000 % |
151.51/151.61	c |    107311 |     763    73888   319243 |   100001    95220     36 |  0.000 % |
152.90/153.04	c |    107652 |     763    73888   319243 |   100001    95561     36 |  0.000 % |
153.81/153.97	c |    108025 |     763    73888   319243 |   100001    95934     36 |  0.000 % |
155.70/155.86	c |    108436 |     763    73888   319243 |   100001    96345     36 |  0.000 % |
157.11/157.27	c |    108885 |     763    73888   319243 |   100001    96794     36 |  0.000 % |
159.10/159.20	c |    109379 |     763    73888   319243 |   100001    97288     36 |  0.000 % |
160.90/161.03	c |    109922 |     763    73888   319243 |   100001    97831     36 |  0.000 % |
163.00/163.12	c |    110519 |     763    73888   319243 |    97911    85450     36 |  0.000 % |
165.40/165.51	c |    111174 |     763    73888   319243 |    97911    86105     36 |  0.000 % |
167.30/167.47	c |    111894 |     763    73888   319243 |    97911    86825     36 |  0.000 % |
168.60/168.74	c |    112686 |     763    73888   319243 |    97911    87617     36 |  0.000 % |
170.20/170.36	c |    113560 |     763    73888   319243 |    97911    88491     36 |  0.000 % |
173.60/173.78	c |    114518 |     763    73888   319243 |    97911    89449     36 |  0.000 % |
176.10/176.25	c |    115575 |     763    73888   319243 |    97911    90506     36 |  0.000 % |
180.80/180.94	c |    116735 |     763    73888   319243 |    97911    91666     36 |  0.000 % |
184.10/184.25	c |    118011 |     763    73888   319243 |    97911    92942     36 |  0.000 % |
184.50/184.68	c |    118111 |     763    73888   319243 |    97911    93042     36 |  0.000 % |
184.80/184.97	c |    118221 |     763    73888   319243 |    97911    93152     36 |  0.000 % |
185.00/185.19	c |    118342 |     763    73888   319243 |    97911    93273     36 |  0.000 % |
185.60/185.79	c |    118477 |     763    73888   319243 |    97911    93408     36 |  0.000 % |
186.10/186.28	c |    118623 |     763    73888   319243 |    97911    93554     36 |  0.000 % |
186.80/187.00	c |    118784 |     763    73888   319243 |    97911    93715     36 |  0.000 % |
187.50/187.65	c |    118960 |     763    73888   319243 |    97911    93891     36 |  0.000 % |
188.50/188.62	c |    119154 |     763    73888   319243 |    97911    94085     36 |  0.000 % |
189.00/189.12	c |    119371 |     763    73888   319243 |    97911    94302     36 |  0.000 % |
189.39/189.59	c |    119605 |     763    73888   319243 |    97911    94536     36 |  0.000 % |
190.20/190.38	c |    119861 |     763    73888   319243 |    97911    94792     36 |  0.000 % |
191.69/191.89	c |    120143 |     763    73888   319243 |    94934    84589     36 |  0.000 % |
192.69/192.82	c |    120454 |     763    73888   319243 |    94934    84900     36 |  0.000 % |
193.69/193.80	c |    120796 |     763    73888   319243 |    94934    85242     36 |  0.000 % |
194.50/194.70	c |    121169 |     763    73888   319243 |    94934    85615     36 |  0.000 % |
195.39/195.51	c |    121579 |     763    73888   319243 |    94934    86025     36 |  0.000 % |
197.19/197.39	c |    122029 |     763    73888   319243 |    94934    86475     36 |  0.000 % |
198.79/198.95	c |    122523 |     763    73888   319243 |    94934    86969     36 |  0.000 % |
200.69/200.87	c |    123065 |     763    73888   319243 |    94934    87511     36 |  0.000 % |
202.09/202.28	c |    123663 |     763    73888   319243 |    94934    88109     36 |  0.000 % |
203.89/204.09	c |    124320 |     763    73888   319243 |    94934    88766     36 |  0.000 % |
206.29/206.48	c |    125042 |     763    73888   319243 |    94934    89488     36 |  0.000 % |
209.19/209.30	c |    125834 |     763    73888   319243 |    94934    90280     36 |  0.000 % |
212.09/212.26	c |    126705 |     763    73888   319243 |    94934    91151     36 |  0.000 % |
215.29/215.44	c |    127664 |     763    73888   319243 |    94934    92110     36 |  0.000 % |
218.69/218.80	c |    128719 |     763    73888   319243 |    94934    93165     36 |  0.000 % |
221.68/221.83	c |    129877 |     763    73888   319243 |    94934    94323     36 |  0.000 % |
224.78/224.90	c |    131150 |     763    73888   319243 | 2147483647    95596     36 |  0.000 % |
228.78/228.90	c |    132552 |     763    73888   319243 | 2147483647    96998     36 |  0.000 % |
229.08/229.24	c |    132654 |     763    73888   319243 | 2147483647    97100     36 |  0.000 % |
229.28/229.44	c |    132764 |     763    73888   319243 | 2147483647    97210     36 |  0.000 % |
229.69/229.81	c |    132886 |     763    73888   319243 | 2147483647    97332     36 |  0.000 % |
230.08/230.29	c |    133019 |     763    73888   319243 | 2147483647    97465     36 |  0.000 % |
230.68/230.84	c |    133166 |     763    73888   319243 | 2147483647    97612     36 |  0.000 % |
231.08/231.21	c |    133327 |     763    73888   319243 | 2147483647    97773     36 |  0.000 % |
231.58/231.74	c |    133503 |     763    73888   319243 | 2147483647    97949     36 |  0.000 % |
232.28/232.47	c |    133698 |     763    73888   319243 | 2147483647    98144     36 |  0.000 % |
232.98/233.16	c |    133910 |     763    73888   319243 | 2147483647    98356     36 |  0.000 % |
233.58/233.76	c |    134145 |     763    73888   319243 | 2147483647    98591     36 |  0.000 % |
234.38/234.52	c |    134401 |     763    73888   319243 | 2147483647    98847     36 |  0.000 % |
235.28/235.47	c |    134684 |     763    73888   319243 | 2147483647    99130     36 |  0.000 % |
236.38/236.52	c |    134993 |     763    73888   319243 | 2147483647    99439     36 |  0.000 % |
237.48/237.69	c |    135336 |     763    73888   319243 | 2147483647    99782     36 |  0.000 % |
238.88/239.00	c |    135712 |     763    73888   319243 | 2147483647   100158     36 |  0.000 % |
240.38/240.52	c |    136122 |     763    73888   319243 | 2147483647   100568     36 |  0.000 % |
241.98/242.18	c |    136572 |     763    73888   319243 | 2147483647   101018     36 |  0.000 % |
243.79/243.96	c |    137065 |     763    73888   319243 | 2147483647   101511     36 |  0.000 % |
246.29/246.43	c |    137610 |     763    73888   319243 | 2147483647   102056     36 |  0.000 % |
248.28/248.43	c |    138206 |     763    73888   319243 | 2147483647   102652     36 |  0.000 % |
250.59/250.70	c |    138861 |     763    73888   319243 | 2147483647   103307     36 |  0.000 % |
253.08/253.30	c |    139586 |     763    73888   319243 | 2147483647   104032     36 |  0.000 % |
255.48/255.62	c |    140378 |     763    73888   319243 | 2147483647   104824     36 |  0.000 % |
257.18/257.34	c |    141250 |     763    73888   319243 | 2147483647   105696     36 |  0.000 % |
259.28/259.46	c |    142209 |     763    73888   319243 | 2147483647   106655     36 |  0.000 % |
261.58/261.77	c |    143262 |     763    73888   319243 | 2147483647   107708     36 |  0.000 % |
266.87/267.08	c |    144424 |     763    73888   319243 | 2147483647   108870     36 |  0.000 % |
271.77/271.97	c |    145697 |     763    73888   319243 | 2147483647   110143     36 |  0.000 % |
275.77/275.99	c |    147097 |     763    73888   319243 | 2147483647   111543     36 |  0.000 % |
280.47/280.64	c |    148638 |     763    73888   319243 | 2147483647   113084     36 |  0.000 % |
280.87/281.04	c |    148738 |     763    73888   319243 | 2147483647   113184     36 |  0.000 % |
281.37/281.55	c |    148848 |     763    73888   319243 | 2147483647   113294     36 |  0.000 % |
281.87/282.06	c |    148971 |     763    73888   319243 | 2147483647   113417     36 |  0.000 % |
282.27/282.46	c |    149106 |     763    73888   319243 | 2147483647   113552     36 |  0.000 % |
282.67/282.87	c |    149252 |     763    73888   319243 | 2147483647   113698     36 |  0.000 % |
283.37/283.54	c |    149412 |     763    73888   319243 | 2147483647   113858     36 |  0.000 % |
284.17/284.36	c |    149590 |     763    73888   319243 | 2147483647   114036     36 |  0.000 % |
284.77/284.94	c |    149784 |     763    73888   319243 | 2147483647   114230     36 |  0.000 % |
285.37/285.51	c |    149997 |     763    73888   319243 | 2147483647   114443     36 |  0.000 % |
285.97/286.20	c |    150230 |     763    73888   319243 | 2147483647   114676     36 |  0.000 % |
286.67/286.83	c |    150486 |     763    73888   319243 | 2147483647   114932     36 |  0.000 % |
287.57/287.73	c |    150767 |     763    73888   319243 | 2147483647   115213     36 |  0.000 % |
288.56/288.75	c |    151076 |     763    73888   319243 | 2147483647   115522     36 |  0.000 % |
289.86/290.10	c |    151416 |     763    73888   319243 | 2147483647   115862     36 |  0.000 % |
291.37/291.56	c |    151788 |     763    73888   319243 | 2147483647   116234     36 |  0.000 % |
292.76/292.96	c |    152197 |     763    73888   319243 | 2147483647   116643     36 |  0.000 % |
294.26/294.46	c |    152648 |     763    73888   319243 | 2147483647   117094     36 |  0.000 % |
295.77/295.93	c |    153142 |     763    73888   319243 | 2147483647   117588     36 |  0.000 % |
297.26/297.49	c |    153684 |     763    73888   319243 | 2147483647   118130     36 |  0.000 % |
299.46/299.62	c |    154280 |     763    73888   319243 | 2147483647   118726     36 |  0.000 % |
301.46/301.61	c |    154937 |     763    73888   319243 | 2147483647   119383     36 |  0.000 % |
303.16/303.33	c |    155659 |     763    73888   319243 | 2147483647   120105     36 |  0.000 % |
304.76/304.99	c |    156451 |     763    73888   319243 | 2147483647   120897     36 |  0.000 % |
306.66/306.88	c |    157322 |     763    73888   319243 | 2147483647   121768     36 |  0.000 % |
308.55/308.78	c |    158280 |     763    73888   319243 | 2147483647   122726     35 |  0.000 % |
310.35/310.59	c |    159333 |     763    73888   319243 | 2147483647   123779     35 |  0.000 % |
314.55/314.77	c |    160496 |     763    73888   319243 | 2147483647   124942     35 |  0.000 % |
318.26/318.49	c |    161770 |     763    73888   319243 | 2147483647   126216     35 |  0.000 % |
320.86/321.08	c |    163171 |     763    73888   319243 | 2147483647   127617     35 |  0.000 % |
325.25/325.43	c |    164714 |     763    73888   319243 | 2147483647   129160     35 |  0.000 % |
330.05/330.20	c |    166409 |     763    73888   319243 | 2147483647   130855     35 |  0.000 % |
330.15/330.38	c |    166509 |     763    73888   319243 | 2147483647   130955     35 |  0.002 % |
330.85/331.01	c |    166619 |     763    73888   319243 | 2147483647   131065     35 |  0.000 % |
331.25/331.41	c |    166741 |     763    73888   319243 | 2147483647   131187     35 |  0.000 % |
331.75/331.91	c |    166876 |     763    73888   319243 | 2147483647   131322     35 |  0.000 % |
332.35/332.54	c |    167023 |     763    73888   319243 | 2147483647   131469     35 |  0.000 % |
332.95/333.12	c |    167183 |     763    73888   319243 | 2147483647   131629     35 |  0.000 % |
333.65/333.84	c |    167359 |     763    73888   319243 | 2147483647   131805     35 |  0.000 % |
334.45/334.66	c |    167553 |     763    73888   319243 | 2147483647   131999     35 |  0.000 % |
334.85/335.10	c |    167768 |     763    73888   319243 | 2147483647   132214     35 |  0.000 % |
335.35/335.56	c |    168001 |     763    73888   319243 | 2147483647   132447     35 |  0.000 % |
336.85/337.00	c |    168259 |     763    73888   319243 | 2147483647   132705     35 |  0.000 % |
338.15/338.38	c |    168541 |     763    73888   319243 | 2147483647   132987     35 |  0.000 % |
339.25/339.43	c |    168851 |     763    73888   319243 | 2147483647   133297     35 |  0.000 % |
339.85/340.06	c |    169191 |     763    73888   319243 | 2147483647   133637     35 |  0.000 % |
341.44/341.68	c |    169565 |     763    73888   319243 | 2147483647   134011     35 |  0.000 % |
343.24/343.47	c |    169975 |     763    73888   319243 | 2147483647   134421     35 |  0.000 % |
344.84/345.00	c |    170425 |     763    73888   319243 | 2147483647   134871     35 |  0.000 % |
347.24/347.48	c |    170919 |     763    73888   319243 | 2147483647   135365     35 |  0.000 % |
349.94/350.11	c |    171461 |     763    73888   319243 | 2147483647   135907     35 |  0.000 % |
352.34/352.55	c |    172058 |     763    73888   319243 | 2147483647   136504     35 |  0.000 % |
355.35/355.54	c |    172714 |     763    73888   319243 | 2147483647   137160     35 |  0.000 % |
358.04/358.26	c |    173434 |     763    73888   319243 | 2147483647   137880     35 |  0.000 % |
360.74/360.93	c |    174226 |     763    73888   319243 | 2147483647   138672     36 |  0.000 % |
363.44/363.60	c |    175098 |     763    73888   319243 | 2147483647   139544     36 |  0.000 % |
368.54/368.70	c |    176057 |     763    73888   319243 | 2147483647   140503     36 |  0.000 % |
372.74/372.95	c |    177111 |     763    73888   319243 | 2147483647   141557     36 |  0.000 % |
377.53/377.78	c |    178269 |     763    73888   319243 | 2147483647   142715     36 |  0.000 % |
383.03/383.20	c |    179545 |     763    73888   319243 | 2147483647   143991     36 |  0.000 % |
388.83/389.08	c |    180946 |     763    73888   319243 |   144446   109039     35 |  0.000 % |
392.53/392.78	c |    182486 |     763    73888   319243 |   144446   110579     35 |  0.000 % |
396.53/396.75	c |    184182 |     763    73888   319243 |   144446   112275     35 |  0.000 % |
401.43/401.65	c |    186047 |     763    73888   319243 |   144446   114140     35 |  0.000 % |
401.83/402.09	c |    186147 |     763    73888   319243 |   144446   114240     35 |  0.000 % |
402.33/402.57	c |    186258 |     763    73888   319243 |   144446   114351     35 |  0.000 % |
402.72/402.99	c |    186382 |     763    73888   319243 |   144446   114475     35 |  0.000 % |
403.43/403.61	c |    186515 |     763    73888   319243 |   144446   114608     35 |  0.000 % |
404.02/404.25	c |    186661 |     763    73888   319243 |   144446   114754     36 |  0.000 % |
404.53/404.74	c |    186822 |     763    73888   319243 |   144446   114915     36 |  0.000 % |
404.92/405.18	c |    186998 |     763    73888   319243 |   144446   115091     36 |  0.000 % |
405.63/405.89	c |    187191 |     763    73888   319243 |   144446   115284     36 |  0.000 % |
406.52/406.73	c |    187403 |     763    73888   319243 |   144446   115496     36 |  0.000 % |
407.02/407.25	c |    187637 |     763    73888   319243 |   144446   115730     36 |  0.000 % |
407.83/408.06	c |    187894 |     763    73888   319243 |   144446   115987     36 |  0.000 % |
408.52/408.78	c |    188177 |     763    73888   319243 |   144446   116270     36 |  0.000 % |
409.42/409.62	c |    188486 |     763    73888   319243 |   144446   116579     36 |  0.000 % |
410.62/410.88	c |    188825 |     763    73888   319243 |   144446   116918     36 |  0.000 % |
411.92/412.10	c |    189197 |     763    73888   319243 |   144446   117290     36 |  0.000 % |
412.72/412.96	c |    189607 |     763    73888   319243 |   144446   117700     36 |  0.000 % |
414.32/414.57	c |    190062 |     763    73888   319243 |   118097   118155     36 |  0.000 % |
416.12/416.38	c |    190558 |     763    73888   319243 |   118097   103693     36 |  0.000 % |
417.62/417.89	c |    191101 |     763    73888   319243 |   118097   104236     36 |  0.000 % |
419.32/419.56	c |    191697 |     763    73888   319243 |   118097   104832     36 |  0.000 % |
420.72/420.93	c |    192352 |     763    73888   319243 |   118097   105487     36 |  0.000 % |
422.62/422.80	c |    193072 |     763    73888   319243 |   118097   106207     36 |  0.000 % |
424.92/425.20	c |    193865 |     763    73888   319243 |   118097   107000     36 |  0.000 % |
427.82/428.07	c |    194737 |     763    73888   319243 |   118097   107872     36 |  0.000 % |
431.11/431.31	c |    195697 |     763    73888   319243 |   118097   108832     36 |  0.000 % |
434.41/434.68	c |    196752 |     763    73888   319243 |   118097   109887     36 |  0.000 % |
437.91/438.16	c |    197912 |     763    73888   319243 |   118097   111047     36 |  0.000 % |
440.51/440.76	c |    199185 |     763    73888   319243 |   118097   112320     36 |  0.000 % |
443.41/443.69	c |    200586 |     763    73888   319243 | 2147483647   113721     36 |  0.000 % |
447.91/448.19	c |    202127 |     763    73888   319243 | 2147483647   115262     36 |  0.000 % |
453.71/453.91	c |    203824 |     763    73888   319243 | 2147483647   116959     36 |  0.000 % |
459.40/459.70	c |    205687 |     763    73888   319243 | 2147483647   118822     36 |  0.001 % |
465.30/465.53	c |    207736 |     763    73888   319243 | 2147483647   120871     36 |  0.000 % |
465.50/465.79	c |    207836 |     763    73888   319243 | 2147483647   120971     36 |  0.000 % |
465.90/466.16	c |    207946 |     763    73888   319243 | 2147483647   121081     36 |  0.000 % |
466.40/466.66	c |    208069 |     763    73888   319243 | 2147483647   121204     36 |  0.000 % |
467.00/467.28	c |    208204 |     763    73888   319243 | 2147483647   121339     36 |  0.000 % |
467.40/467.69	c |    208350 |     763    73888   319243 | 2147483647   121485     36 |  0.000 % |
467.90/468.14	c |    208512 |     763    73888   319243 | 2147483647   121647     36 |  0.000 % |
468.50/468.74	c |    208689 |     763    73888   319243 | 2147483647   121824     36 |  0.000 % |
469.00/469.22	c |    208882 |     763    73888   319243 | 2147483647   122017     36 |  0.000 % |
469.50/469.79	c |    209096 |     763    73888   319243 | 2147483647   122231     36 |  0.000 % |
470.20/470.44	c |    209331 |     763    73888   319243 | 2147483647   122466     36 |  0.000 % |
471.00/471.24	c |    209588 |     763    73888   319243 | 2147483647   122723     36 |  0.000 % |
471.70/472.00	c |    209869 |     763    73888   319243 | 2147483647   123004     36 |  0.000 % |
472.70/472.91	c |    210179 |     763    73888   319243 | 2147483647   123314     36 |  0.000 % |
473.60/473.85	c |    210520 |     763    73888   319243 | 2147483647   123655     36 |  0.000 % |
474.70/474.97	c |    210892 |     763    73888   319243 | 2147483647   124027     36 |  0.000 % |
475.90/476.12	c |    211301 |     763    73888   319243 | 2147483647   124436     36 |  0.000 % |
477.10/477.33	c |    211750 |     763    73888   319243 | 2147483647   124885     36 |  0.000 % |
478.70/478.97	c |    212243 |     763    73888   319243 | 2147483647   125378     36 |  0.000 % |
480.50/480.79	c |    212787 |     763    73888   319243 | 2147483647   125922     36 |  0.000 % |
482.29/482.55	c |    213383 |     763    73888   319243 | 2147483647   126518     36 |  0.000 % |
484.49/484.70	c |    214040 |     763    73888   319243 | 2147483647   127175     36 |  0.000 % |
487.00/487.27	c |    214763 |     763    73888   319243 | 2147483647   127898     36 |  0.000 % |
489.89/490.11	c |    215559 |     763    73888   319243 | 2147483647   128694     36 |  0.000 % |
493.29/493.59	c |    216430 |     763    73888   319243 | 2147483647   129565     36 |  0.000 % |
496.49/496.78	c |    217388 |     763    73888   319243 | 2147483647   130523     36 |  0.000 % |
499.59/499.85	c |    218442 |     763    73888   319243 | 2147483647   131577     36 |  0.000 % |
502.70/502.96	c |    219603 |     763    73888   319243 | 2147483647   132738     36 |  0.000 % |
506.00/506.27	c |    220878 |     763    73888   319243 |   133135   115949     36 |  0.000 % |
508.39/508.63	c |    222278 |     763    73888   319243 |   133135   117349     36 |  0.000 % |
511.59/511.86	c |    223818 |     763    73888   319243 |   133135   118889     37 |  0.000 % |
515.69/515.93	c |    225513 |     763    73888   319243 |   133135   120584     37 |  0.000 % |
518.59/518.89	c |    227376 |     763    73888   319243 |   133135   122447     37 |  0.000 % |
521.09/521.36	c |    229426 |     763    73888   319243 |   133135   124497     37 |  0.000 % |
526.09/526.37	c |    231679 |     763    73888   319243 | 2147483647   126750     37 |  0.000 % |
526.29/526.55	c |    231779 |     763    73888   319243 | 2147483647   126850     37 |  0.000 % |
526.69/526.93	c |    231889 |     763    73888   319243 | 2147483647   126960     37 |  0.000 % |
526.89/527.17	c |    232012 |     763    73888   319243 | 2147483647   127083     37 |  0.000 % |
527.38/527.69	c |    232146 |     763    73888   319243 | 2147483647   127217     37 |  0.000 % |
527.79/528.04	c |    232298 |     763    73888   319243 | 2147483647   127369     37 |  0.000 % |
528.08/528.31	c |    232464 |     763    73888   319243 | 2147483647   127535     37 |  0.000 % |
528.38/528.68	c |    232640 |     763    73888   319243 | 2147483647   127711     37 |  0.000 % |
528.89/529.14	c |    232837 |     763    73888   319243 | 2147483647   127908     37 |  0.000 % |
529.38/529.68	c |    233049 |     763    73888   319243 | 2147483647   128120     37 |  0.000 % |
529.99/530.29	c |    233282 |     763    73888   319243 | 2147483647   128353     37 |  0.000 % |
530.58/530.90	c |    233538 |     763    73888   319243 | 2147483647   128609     37 |  0.000 % |
531.68/531.90	c |    233819 |     763    73888   319243 | 2147483647   128890     37 |  0.000 % |
532.28/532.53	c |    234130 |     763    73888   319243 | 2147483647   129201     37 |  0.000 % |
533.19/533.46	c |    234469 |     763    73888   319243 | 2147483647   129540     37 |  0.000 % |
534.28/534.55	c |    234843 |     763    73888   319243 | 2147483647   129914     37 |  0.000 % |
535.28/535.58	c |    235256 |     763    73888   319243 | 2147483647   130327     37 |  0.000 % |
536.48/536.72	c |    235706 |     763    73888   319243 | 2147483647   130777     37 |  0.000 % |
537.48/537.78	c |    236200 |     763    73888   319243 | 2147483647   131271     37 |  0.000 % |
538.98/539.24	c |    236742 |     763    73888   319243 | 2147483647   131813     37 |  0.000 % |
540.48/540.78	c |    237339 |     763    73888   319243 | 2147483647   132410     37 |  0.000 % |
542.28/542.52	c |    237994 |     763    73888   319243 | 2147483647   133065     37 |  0.000 % |
544.38/544.65	c |    238716 |     763    73888   319243 | 2147483647   133787     37 |  0.000 % |
546.68/546.90	c |    239509 |     763    73888   319243 | 2147483647   134580     37 |  0.000 % |
549.38/549.68	c |    240380 |     763    73888   319243 | 2147483647   135451     37 |  0.000 % |
551.77/552.07	c |    241341 |     763    73888   319243 | 2147483647   136412     37 |  0.000 % |
553.97/554.21	c |    242396 |     763    73888   319243 | 2147483647   137467     37 |  0.000 % |
556.58/556.81	c |    243558 |     763    73888   319243 | 2147483647   138629     37 |  0.000 % |
559.38/559.65	c |    244831 |     763    73888   319243 | 2147483647   139902     37 |  0.000 % |
562.78/563.07	c |    246235 |     763    73888   319243 | 2147483647   141306     37 |  0.000 % |
566.47/566.78	c |    247776 |     763    73888   319243 | 2147483647   142847     37 |  0.000 % |
570.77/571.06	c |    249472 |     763    73888   319243 | 2147483647   144543     37 |  0.000 % |
576.47/576.71	c |    251335 |     763    73888   319243 | 2147483647   146406     37 |  0.000 % |
582.67/582.93	c |    253384 |     763    73888   319243 | 2147483647   148455     37 |  0.000 % |
587.96/588.24	c |    255638 |     763    73888   319243 | 2147483647   150709     37 |  0.000 % |
593.96/594.23	c |    258117 |     763    73888   319243 | 2147483647   153188     37 |  0.000 % |
594.16/594.46	c |    258218 |     763    73888   319243 | 2147483647   153289     37 |  0.000 % |
594.56/594.82	c |    258330 |     763    73888   319243 | 2147483647   153401     37 |  0.000 % |
595.06/595.31	c |    258452 |     763    73888   319243 | 2147483647   153523     37 |  0.000 % |
595.56/595.90	c |    258586 |     763    73888   319243 | 2147483647   153657     37 |  0.000 % |
596.16/596.45	c |    258734 |     763    73888   319243 | 2147483647   153805     37 |  0.000 % |
596.56/596.90	c |    258894 |     763    73888   319243 | 2147483647   153965     37 |  0.000 % |
597.07/597.37	c |    259070 |     763    73888   319243 | 2147483647   154141     37 |  0.000 % |
598.07/598.31	c |    259265 |     763    73888   319243 | 2147483647   154336     37 |  0.000 % |
598.86/599.11	c |    259480 |     763    73888   319243 | 2147483647   154551     37 |  0.000 % |
599.46/599.71	c |    259715 |     763    73888   319243 | 2147483647   154786     37 |  0.000 % |
600.16/600.42	c |    259971 |     763    73888   319243 | 2147483647   155042     37 |  0.000 % |
601.56/601.81	c |    260254 |     763    73888   319243 |   155073   135010     37 |  0.000 % |
602.26/602.53	c |    260566 |     763    73888   319243 |   155073   135322     37 |  0.000 % |
603.46/603.75	c |    260905 |     763    73888   319243 |   155073   135661     37 |  0.000 % |
604.56/604.89	c |    261277 |     763    73888   319243 |   155073   136033     37 |  0.000 % |
605.56/605.83	c |    261686 |     763    73888   319243 |   155073   136442     37 |  0.000 % |
606.96/607.21	c |    262135 |     763    73888   319243 |   155073   136891     37 |  0.000 % |
608.16/608.44	c |    262631 |     763    73888   319243 |   155073   137387     37 |  0.000 % |
609.86/610.15	c |    263173 |     763    73888   319243 |   155073   137929     37 |  0.000 % |
611.66/611.91	c |    263772 |     763    73888   319243 |   155073   138528     37 |  0.000 % |
613.66/613.94	c |    264430 |     763    73888   319243 |   155073   139186     37 |  0.000 % |
616.15/616.43	c |    265152 |     763    73888   319243 |   155073   139908     37 |  0.000 % |
618.45/618.70	c |    265944 |     763    73888   319243 |   155073   140700     37 |  0.000 % |
621.06/621.31	c |    266816 |     763    73888   319243 |   155073   141572     37 |  0.000 % |
623.06/623.39	c |    267774 |     763    73888   319243 |   155073   142530     37 |  0.000 % |
625.76/626.09	c |    268828 |     763    73888   319243 |   155073   143584     37 |  0.000 % |
629.06/629.30	c |    269986 |     763    73888   319243 |   155073   144742     37 |  0.000 % |
632.06/632.34	c |    271259 |     763    73888   319243 | 2147483647   146015     37 |  0.000 % |
634.96/635.21	c |    272660 |     763    73888   319243 | 2147483647   147416     37 |  0.000 % |
637.66/637.94	c |    274200 |     763    73888   319243 | 2147483647   148956     37 |  0.000 % |
642.06/642.34	c |    275896 |     763    73888   319243 | 2147483647   150652     37 |  0.000 % |
645.95/646.20	c |    277761 |     763    73888   319243 | 2147483647   152517     37 |  0.000 % |
650.55/650.85	c |    279810 |     763    73888   319243 | 2147483647   154566     37 |  0.000 % |
654.95/655.21	c |    282066 |     763    73888   319243 | 2147483647   156822     37 |  0.000 % |
663.35/663.66	c |    284544 |     763    73888   319243 | 2147483647   159300     37 |  0.000 % |
672.95/673.21	c |    287271 |     763    73888   319243 | 2147483647   162027     37 |  0.000 % |
673.14/673.42	c |    287372 |     763    73888   319243 | 2147483647   162128     37 |  0.000 % |
673.34/673.67	c |    287483 |     763    73888   319243 | 2147483647   162239     37 |  0.000 % |
673.74/674.06	c |    287604 |     763    73888   319243 | 2147483647   162360     37 |  0.000 % |
674.04/674.36	c |    287737 |     763    73888   319243 | 2147483647   162493     37 |  0.000 % |
674.44/674.75	c |    287883 |     763    73888   319243 | 2147483647   162639     37 |  0.000 % |
674.84/675.16	c |    288043 |     763    73888   319243 | 2147483647   162799     37 |  0.000 % |
675.84/676.11	c |    288219 |     763    73888   319243 | 2147483647   162975     37 |  0.000 % |
676.34/676.60	c |    288413 |     763    73888   319243 | 2147483647   163169     37 |  0.000 % |
677.24/677.53	c |    288625 |     763    73888   319243 | 2147483647   163381     37 |  0.000 % |
678.04/678.34	c |    288858 |     763    73888   319243 | 2147483647   163614     37 |  0.000 % |
678.74/679.08	c |    289114 |     763    73888   319243 | 2147483647   163870     37 |  0.000 % |
679.44/679.74	c |    289396 |     763    73888   319243 | 2147483647   164152     37 |  0.000 % |
680.44/680.71	c |    289705 |     763    73888   319243 | 2147483647   164461     37 |  0.000 % |
681.64/681.99	c |    290044 |     763    73888   319243 | 2147483647   164800     37 |  0.000 % |
683.54/683.83	c |    290417 |     763    73888   319243 | 2147483647   165173     37 |  0.000 % |
686.14/686.42	c |    290826 |     763    73888   319243 | 2147483647   165582     37 |  0.000 % |
688.44/688.73	c |    291275 |     763    73888   319243 | 2147483647   166031     37 |  0.000 % |
690.93/691.22	c |    291768 |     763    73888   319243 | 2147483647   166524     37 |  0.000 % |
693.53/693.81	c |    292310 |     763    73888   319243 | 2147483647   167066     37 |  0.000 % |
696.23/696.53	c |    292906 |     763    73888   319243 | 2147483647   167662     37 |  0.000 % |
698.73/699.06	c |    293561 |     763    73888   319243 | 2147483647   168317     37 |  0.000 % |
700.93/701.22	c |    294284 |     763    73888   319243 | 2147483647   169040     37 |  0.000 % |
702.93/703.27	c |    295076 |     763    73888   319243 | 2147483647   169832     37 |  0.000 % |
707.13/707.47	c |    295948 |     763    73888   319243 | 2147483647   170704     37 |  0.000 % |
712.62/712.95	c |    296906 |     763    73888   319243 | 2147483647   171662     37 |  0.000 % |
717.82/718.15	c |    297959 |     763    73888   319243 | 2147483647   172715     37 |  0.000 % |
722.32/722.65	c |    299117 |     763    73888   319243 | 2147483647   173873     37 |  0.000 % |
727.32/727.67	c |    300390 |     763    73888   319243 |   174758   137226     38 |  0.000 % |
732.52/732.88	c |    301792 |     763    73888   319243 |   174758   138628     38 |  0.000 % |
738.51/738.83	c |    303334 |     763    73888   319243 |   174758   140170     38 |  0.000 % |
745.61/745.91	c |    305029 |     763    73888   319243 |   174758   141865     38 |  0.000 % |
754.11/754.41	c |    306893 |     763    73888   319243 |   174758   143729     38 |  0.000 % |
762.11/762.47	c |    308943 |     763    73888   319243 |   174758   145779     38 |  0.000 % |
769.62/769.98	c |    311197 |     763    73888   319243 |   146837   120460     37 |  0.000 % |
773.11/773.41	c |    313675 |     763    73888   319243 |   146837   122938     37 |  0.000 % |
779.81/780.18	c |    316401 |     763    73888   319243 |   146837   125664     37 |  0.000 % |
786.01/786.35	c |    319398 |     763    73888   319243 |   146837   128661     37 |  0.000 % |
786.41/786.75	c |    319499 |     763    73888   319243 |   146837   128762     37 |  0.000 % |
786.91/787.21	c |    319609 |     763    73888   319243 |   146837   128872     37 |  0.000 % |
787.31/787.60	c |    319731 |     763    73888   319243 |   146837   128994     37 |  0.000 % |
787.71/788.02	c |    319864 |     763    73888   319243 |   146837   129127     37 |  0.000 % |
788.01/788.37	c |    320010 |     763    73888   319243 |   129263   129273     37 |  0.000 % |
789.11/789.47	c |    320170 |     763    73888   319243 |   129263   107929     37 |  0.000 % |
789.71/790.04	c |    320350 |     763    73888   319243 |   129263   108109     37 |  0.000 % |
790.21/790.55	c |    320545 |     763    73888   319243 |   129263   108304     37 |  0.000 % |
790.71/791.01	c |    320760 |     763    73888   319243 |   129263   108519     37 |  0.000 % |
791.31/791.69	c |    320995 |     763    73888   319243 |   129263   108754     37 |  0.000 % |
791.91/792.27	c |    321252 |     763    73888   319243 |   129263   109011     37 |  0.000 % |
792.41/792.77	c |    321533 |     763    73888   319243 |   129263   109292     37 |  0.000 % |
793.31/793.69	c |    321844 |     763    73888   319243 |   129263   109603     37 |  0.000 % |
794.31/794.66	c |    322183 |     763    73888   319243 |   129263   109942     37 |  0.000 % |
795.21/795.54	c |    322556 |     763    73888   319243 |   129263   110315     37 |  0.000 % |
796.70/797.01	c |    322967 |     763    73888   319243 |   129263   110726     37 |  0.000 % |
798.50/798.86	c |    323416 |     763    73888   319243 |   129263   111175     37 |  0.000 % |
800.41/800.75	c |    323909 |     763    73888   319243 |   129263   111668     37 |  0.000 % |
802.70/803.05	c |    324451 |     763    73888   319243 |   129263   112210     37 |  0.000 % |
804.50/804.82	c |    325047 |     763    73888   319243 |   129263   112806     37 |  0.000 % |
807.30/807.62	c |    325703 |     763    73888   319243 |   129263   113462     37 |  0.000 % |
809.90/810.26	c |    326425 |     763    73888   319243 |   129263   114184     37 |  0.000 % |
812.50/812.82	c |    327218 |     763    73888   319243 |   129263   114977     37 |  0.000 % |
815.10/815.42	c |    328091 |     763    73888   319243 |   129263   115850     37 |  0.000 % |
818.99/819.33	c |    329050 |     763    73888   319243 |   129263   116809     37 |  0.000 % |
823.69/824.06	c |    330103 |     763    73888   319243 |   117759    97781     37 |  0.000 % |
826.29/826.61	c |    331261 |     763    73888   319243 |   117759    98939     37 |  0.000 % |
829.49/829.89	c |    332534 |     763    73888   319243 |   117759   100212     37 |  0.000 % |
833.79/834.12	c |    333935 |     763    73888   319243 |   117759   101613     37 |  0.000 % |
837.19/837.50	c |    335476 |     763    73888   319243 |   117759   103154     37 |  0.000 % |
839.79/840.16	c |    337171 |     763    73888   319243 |   117759   104849     37 |  0.000 % |
841.69/842.08	c |    339035 |     763    73888   319243 |   117759   106713     37 |  0.000 % |
847.79/848.15	c |    341086 |     763    73888   319243 | 2147483647   108764     37 |  0.000 % |
854.48/854.84	c |    343339 |     763    73888   319243 | 2147483647   111017     37 |  0.000 % |
860.58/860.99	c |    345820 |     763    73888   319243 | 2147483647   113498     37 |  0.000 % |
866.48/866.81	c |    348552 |     763    73888   319243 | 2147483647   116230     37 |  0.000 % |
874.68/875.09	c |    351549 |     763    73888   319243 |   117678   103835     37 |  0.000 % |
883.37/883.75	c |    354850 |     763    73888   319243 |   117678   107136     37 |  0.000 % |
883.67/884.02	c |    354952 |     763    73888   319243 |   117678   107238     37 |  0.000 % |
883.87/884.26	c |    355062 |     763    73888   319243 |   117678   107348     37 |  0.000 % |
884.37/884.71	c |    355183 |     763    73888   319243 |   117678   107469     37 |  0.000 % |
884.77/885.13	c |    355317 |     763    73888   319243 |   117678   107603     37 |  0.000 % |
885.18/885.51	c |    355466 |     763    73888   319243 |   117678   107752     37 |  0.000 % |
885.67/886.00	c |    355627 |     763    73888   319243 |   117678   107913     37 |  0.000 % |
886.18/886.50	c |    355803 |     763    73888   319243 |   117678   108089     37 |  0.000 % |
886.47/886.86	c |    355997 |     763    73888   319243 |   117678   108283     37 |  0.000 % |
886.97/887.34	c |    356210 |     763    73888   319243 |   117678   108496     37 |  0.000 % |
887.57/887.95	c |    356445 |     763    73888   319243 |   117678   108731     37 |  0.000 % |
888.38/888.73	c |    356703 |     763    73888   319243 |   117678   108989     37 |  0.000 % |
889.17/889.56	c |    356984 |     763    73888   319243 |   117678   109270     37 |  0.000 % |
890.17/890.52	c |    357293 |     763    73888   319243 |   117678   109579     37 |  0.000 % |
891.07/891.47	c |    357632 |     763    73888   319243 |   117678   109918     37 |  0.000 % |
892.07/892.41	c |    358004 |     763    73888   319243 |   117678   110290     37 |  0.000 % |
893.27/893.69	c |    358413 |     763    73888   319243 |   117678   110699     37 |  0.000 % |
894.87/895.23	c |    358862 |     763    73888   319243 |   117678   111148     37 |  0.000 % |
896.57/896.91	c |    359355 |     763    73888   319243 |   117678   111641     37 |  0.000 % |
898.17/898.57	c |    359898 |     763    73888   319243 |   117678   112184     37 |  0.000 % |
899.87/900.23	c |    360497 |     763    73888   319243 | 2147483647   112783     37 |  0.000 % |
901.87/902.22	c |    361152 |     763    73888   319243 | 2147483647   113438     37 |  0.000 % |
904.07/904.42	c |    361873 |     763    73888   319243 | 2147483647   114159     37 |  0.000 % |
905.77/906.20	c |    362665 |     763    73888   319243 | 2147483647   114951     37 |  0.000 % |
907.57/907.99	c |    363538 |     763    73888   319243 | 2147483647   115824     37 |  0.000 % |
909.96/910.36	c |    364496 |     763    73888   319243 | 2147483647   116782     37 |  0.000 % |
912.46/912.81	c |    365550 |     763    73888   319243 | 2147483647   117836     37 |  0.000 % |
916.66/917.07	c |    366709 |     763    73888   319243 | 2147483647   118995     37 |  0.000 % |
920.46/920.82	c |    367982 |     763    73888   319243 | 2147483647   120268     37 |  0.001 % |
923.97/924.36	c |    369382 |     763    73888   319243 | 2147483647   121668     37 |  0.000 % |
927.27/927.64	c |    370922 |     763    73888   319243 | 2147483647   123208     37 |  0.000 % |
931.67/932.04	c |    372619 |     763    73888   319243 | 2147483647   124905     37 |  0.000 % |
937.47/937.84	c |    374482 |     763    73888   319243 | 2147483647   126768     37 |  0.000 % |
943.26/943.65	c |    376533 |     763    73888   319243 | 2147483647   128819     37 |  0.000 % |
949.76/950.18	c |    378789 |     763    73888   319243 | 2147483647   131075     38 |  0.000 % |
955.86/956.29	c |    381269 |     763    73888   319243 | 2147483647   133555     37 |  0.000 % |
962.26/962.62	c |    383994 |     763    73888   319243 | 2147483647   136280     37 |  0.000 % |
968.85/969.29	c |    386992 |     763    73888   319243 | 2147483647   139278     37 |  0.000 % |
976.85/977.24	c |    390288 |     763    73888   319243 | 2147483647   142574     37 |  0.000 % |
986.55/986.90	c |    393917 |     763    73888   319243 | 2147483647   146203     37 |  0.000 % |
986.75/987.20	c |    394018 |     763    73888   319243 | 2147483647   146304     37 |  0.000 % |
987.35/987.72	c |    394128 |     763    73888   319243 | 2147483647   146414     37 |  0.000 % |
987.65/988.08	c |    394249 |     763    73888   319243 | 2147483647   146535     37 |  0.000 % |
988.25/988.68	c |    394382 |     763    73888   319243 | 2147483647   146668     37 |  0.000 % |
988.95/989.30	c |    394530 |     763    73888   319243 | 2147483647   146816     37 |  0.000 % |
989.65/990.10	c |    394690 |     763    73888   319243 | 2147483647   146976     37 |  0.000 % |
990.15/990.52	c |    394869 |     763    73888   319243 | 2147483647   147155     37 |  0.000 % |
990.65/991.04	c |    395062 |     763    73888   319243 | 2147483647   147348     37 |  0.000 % |
991.75/992.13	c |    395274 |     763    73888   319243 | 2147483647   147560     37 |  0.000 % |
992.45/992.88	c |    395508 |     763    73888   319243 | 2147483647   147794     37 |  0.000 % |
993.75/994.11	c |    395766 |     763    73888   319243 | 2147483647   148052     37 |  0.000 % |
994.95/995.30	c |    396047 |     763    73888   319243 | 2147483647   148333     37 |  0.000 % |
996.55/996.96	c |    396357 |     763    73888   319243 | 2147483647   148643     37 |  0.000 % |
998.35/998.71	c |    396698 |     763    73888   319243 | 2147483647   148984     37 |  0.000 % |
1000.35/1000.75	c |    397073 |     763    73888   319243 | 2147483647   149359     37 |  0.000 % |
1002.14/1002.55	c |    397485 |     763    73888   319243 | 2147483647   149771     37 |  0.000 % |
1004.24/1004.62	c |    397934 |     763    73888   319243 | 2147483647   150220     37 |  0.000 % |
1006.54/1006.93	c |    398430 |     763    73888   319243 | 2147483647   150716     37 |  0.000 % |
1008.14/1008.57	c |    398973 |     763    73888   319243 | 2147483647   151259     37 |  0.000 % |
1010.45/1010.82	c |    399570 |     763    73888   319243 | 2147483647   151856     37 |  0.000 % |
1013.94/1014.35	c |    400225 |     763    73888   319243 |   152287   130533     38 |  0.000 % |
1016.24/1016.69	c |    400947 |     763    73888   319243 |   152287   131255     38 |  0.000 % |
1018.74/1019.12	c |    401739 |     763    73888   319243 |   152287   132047     38 |  0.000 % |
1021.54/1021.99	c |    402611 |     763    73888   319243 |   152287   132919     38 |  0.000 % |
1024.84/1025.23	c |    403569 |     763    73888   319243 |   152287   133877     38 |  0.000 % |
1028.33/1028.77	c |    404623 |     763    73888   319243 |   152287   134931     38 |  0.000 % |
1032.23/1032.62	c |    405781 |     763    73888   319243 |   152287   136089     38 |  0.000 % |
1036.63/1037.00	c |    407054 |     763    73888   319243 |   152287   137362     38 |  0.000 % |
1042.13/1042.56	c |    408454 |     763    73888   319243 |   152287   138762     38 |  0.000 % |
1047.03/1047.47	c |    409995 |     763    73888   319243 |   152287   140303     38 |  0.000 % |
1051.33/1051.79	c |    411689 |     763    73888   319243 |   140311   117105     38 |  0.000 % |
1055.83/1056.25	c |    413552 |     763    73888   319243 |   140311   118968     38 |  0.000 % |
1063.33/1063.71	c |    415601 |     763    73888   319243 |   140311   121017     38 |  0.000 % |
1070.02/1070.46	c |    417855 |     763    73888   319243 |   140311   123271     38 |  0.000 % |
1075.82/1076.28	c |    420333 |     763    73888   319243 |   125416   101650     38 |  0.000 % |
1084.43/1084.85	c |    423060 |     763    73888   319243 |   125416   104377     38 |  0.000 % |
1094.82/1095.22	c |    426059 |     763    73888   319243 |   125416   107376     38 |  0.000 % |
1108.62/1109.07	c |    429356 |     763    73888   319243 |   125416   110673     38 |  0.000 % |
1119.32/1119.78	c |    432983 |     763    73888   319243 |   111317    98770     38 |  0.000 % |
1132.51/1132.91	c |    436971 |     763    73888   319243 |   111317   102758     38 |  0.000 % |
1132.81/1133.24	c |    437072 |     763    73888   319243 |   111317   102859     38 |  0.000 % |
1133.11/1133.54	c |    437185 |     763    73888   319243 |   111317   102972     38 |  0.000 % |
1133.41/1133.88	c |    437311 |     763    73888   319243 |   111317   103098     38 |  0.000 % |
1133.91/1134.35	c |    437444 |     763    73888   319243 |   111317   103231     38 |  0.000 % |
1134.31/1134.74	c |    437593 |     763    73888   319243 |   111317   103380     38 |  0.000 % |
1134.61/1135.02	c |    437754 |     763    73888   319243 |   111317   103541     38 |  0.000 % |
1135.21/1135.62	c |    437931 |     763    73888   319243 |   111317   103718     38 |  0.000 % |
1135.71/1136.20	c |    438125 |     763    73888   319243 |   111317   103912     38 |  0.000 % |
1136.31/1136.74	c |    438337 |     763    73888   319243 |   111317   104124     38 |  0.000 % |
1136.91/1137.30	c |    438571 |     763    73888   319243 |   111317   104358     38 |  0.000 % |
1137.61/1138.01	c |    438827 |     763    73888   319243 |   111317   104614     38 |  0.000 % |
1138.11/1138.59	c |    439109 |     763    73888   319243 |   111317   104896     38 |  0.000 % |
1138.61/1139.02	c |    439419 |     763    73888   319243 |   111317   105206     38 |  0.000 % |
1139.21/1139.64	c |    439761 |     763    73888   319243 |   111317   105548     38 |  0.000 % |
1139.71/1140.18	c |    440136 |     763    73888   319243 | 2147483647   105923     38 |  0.000 % |
1140.41/1140.86	c |    440548 |     763    73888   319243 | 2147483647   106335     38 |  0.000 % |
1142.11/1142.58	c |    440997 |     763    73888   319243 | 2147483647   106784     38 |  0.000 % |
1143.51/1143.91	c |    441490 |     763    73888   319243 | 2147483647   107277     38 |  0.000 % |
1145.01/1145.44	c |    442034 |     763    73888   319243 | 2147483647   107821     38 |  0.000 % |
1146.81/1147.26	c |    442631 |     763    73888   319243 | 2147483647   108418     38 |  0.000 % |
1148.80/1149.22	c |    443286 |     763    73888   319243 | 2147483647   109073     38 |  0.000 % |
1150.60/1151.03	c |    444009 |     763    73888   319243 | 2147483647   109796     38 |  0.000 % |
1152.90/1153.39	c |    444804 |     763    73888   319243 | 2147483647   110591     38 |  0.000 % |
1155.61/1156.08	c |    445675 |     763    73888   319243 | 2147483647   111462     38 |  0.000 % |
1157.60/1158.02	c |    446634 |     763    73888   319243 | 2147483647   112421     38 |  0.000 % |
1160.90/1161.35	c |    447687 |     763    73888   319243 | 2147483647   113474     38 |  0.000 % |
1164.10/1164.51	c |    448846 |     763    73888   319243 | 2147483647   114633     38 |  0.000 % |
1167.40/1167.86	c |    450119 |     763    73888   319243 | 2147483647   115906     38 |  0.000 % |
1171.10/1171.52	c |    451522 |     763    73888   319243 | 2147483647   117309     38 |  0.000 % |
1176.60/1177.08	c |    453062 |     763    73888   319243 | 2147483647   118849     38 |  0.000 % |
1183.39/1183.80	c |    454758 |     763    73888   319243 | 2147483647   120545     38 |  0.000 % |
1188.60/1189.07	c |    456626 |     763    73888   319243 | 2147483647   122413     38 |  0.000 % |
1195.99/1196.45	c |    458675 |     763    73888   319243 | 2147483647   124462     38 |  0.000 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310637462 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17868/statm: 1339 235 195 169 0 50 0
[pid=17869] ppid=17868 vsize=5356 CPUtime=0
/proc/17869/stat : 17869 (SatELiteGTI) S 17868 17868 17522 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310637462 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17869/statm: 1339 238 198 169 0 50 0
[pid=17871] ppid=17869 vsize=0 CPUtime=0
/proc/17871/stat : 17871 (SatELiteGTI) R 17869 17868 17522 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310637462 0 0 1992294400 0 0 0 18446744073709551615 236437695783 0 0 4096 0 0 0 0 17 0 0 0
/proc/17871/statm: 22 1 0 0 0 9 0

[startup+0.046197 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.1012 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301222 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701268 s]
/proc/loadavg: 1.20 1.09 1.03 3/64 17868
/proc/meminfo: memFree=1954688/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17868/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50136 s]
/proc/loadavg: 1.20 1.09 1.03 2/66 17874
/proc/meminfo: memFree=1947568/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=6024 CPUtime=0.67
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 1372 0 0 0 67 0 0 0 22 0 1 0 310637543 6168576 1358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 1506 1358 77 171 0 1333 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11380

[startup+3.10154 s]
/proc/loadavg: 1.20 1.09 1.03 2/66 17874
/proc/meminfo: memFree=1946928/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=6692 CPUtime=2.28
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 1555 0 0 0 227 1 0 0 25 0 1 0 310637543 6852608 1541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 1673 1541 77 171 0 1500 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12048

[startup+6.30191 s]
/proc/loadavg: 1.18 1.09 1.03 2/66 17874
/proc/meminfo: memFree=1945264/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=8012 CPUtime=5.47
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 1889 0 0 0 546 1 0 0 25 0 1 0 310637543 8204288 1875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 2003 1875 77 171 0 1830 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13368

[startup+12.7026 s]
/proc/loadavg: 1.16 1.08 1.03 2/66 17874
/proc/meminfo: memFree=1942848/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=10272 CPUtime=11.88
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 2447 0 0 0 1186 2 0 0 25 0 1 0 310637543 10518528 2433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 2568 2433 77 171 0 2395 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15628

[startup+25.5011 s]
/proc/loadavg: 1.13 1.08 1.02 2/66 17874
/proc/meminfo: memFree=1939200/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=13848 CPUtime=24.67
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 3318 0 0 0 2464 3 0 0 25 0 1 0 310637543 14180352 3304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 3462 3304 77 171 0 3289 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 19204

[startup+51.102 s]
/proc/loadavg: 1.08 1.07 1.02 2/66 17874
/proc/meminfo: memFree=1934720/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=18388 CPUtime=50.26
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 4432 0 0 0 5021 5 0 0 25 0 1 0 310637543 18829312 4418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 4597 4418 77 171 0 4424 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 23744

[startup+102.306 s]
/proc/loadavg: 1.03 1.06 1.02 2/66 17874
/proc/meminfo: memFree=1928768/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=24376 CPUtime=101.44
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 5908 0 0 0 10137 7 0 0 25 0 1 0 310637543 24961024 5894 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 6094 5894 77 171 0 5921 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 29732

[startup+162.302 s]
/proc/loadavg: 1.01 1.05 1.01 2/66 17874
/proc/meminfo: memFree=1926592/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=26676 CPUtime=161.41
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 6404 0 0 0 16133 8 0 0 25 0 1 0 310637543 27316224 6390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 6669 6390 77 171 0 6496 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 32032

[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/66 17874
/proc/meminfo: memFree=1926336/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=26960 CPUtime=221.39
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 6468 0 0 0 22131 8 0 0 25 0 1 0 310637543 27607040 6454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 6740 6454 77 171 0 6567 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 32316

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 17874
/proc/meminfo: memFree=1923776/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=29296 CPUtime=281.38
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 7084 0 0 0 28129 9 0 0 25 0 1 0 310637543 29999104 7070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 7324 7070 77 171 0 7151 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 34652

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17874
/proc/meminfo: memFree=1920192/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=32732 CPUtime=341.35
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 7932 0 0 0 34125 10 0 0 25 0 1 0 310637543 33517568 7918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 8183 7918 77 171 0 8010 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 38088

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17874
/proc/meminfo: memFree=1917952/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=35196 CPUtime=401.34

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

/proc/17874/statm: 9624 9261 77 171 0 9451 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 43852

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1912064/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=40892 CPUtime=641.27
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 9841 0 0 0 64113 14 0 0 25 0 1 0 310637543 41873408 9827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 10223 9827 77 171 0 10050 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 46248

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1909632/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=43400 CPUtime=701.24
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10421 0 0 0 70110 14 0 0 25 0 1 0 310637543 44441600 10407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 10850 10407 77 171 0 10677 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 48756

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1908544/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=44412 CPUtime=761.22
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10671 0 0 0 76108 14 0 0 25 0 1 0 310637543 45477888 10657 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11103 10657 77 171 0 10930 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 49768

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1907840/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=45088 CPUtime=821.2
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10843 0 0 0 82105 15 0 0 25 0 1 0 310637543 46170112 10821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11272 10821 77 171 0 11099 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 50444

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1907456/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=45572 CPUtime=881.18
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10921 0 0 0 88103 15 0 0 25 0 1 0 310637543 46665728 10899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11393 10899 77 171 0 11220 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 50928

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17874
/proc/meminfo: memFree=1907200/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=45748 CPUtime=941.17
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 10963 0 0 0 94101 16 0 0 25 0 1 0 310637543 46845952 10941 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11437 10941 77 171 0 11264 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 51104

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1906496/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46128 CPUtime=1001.15
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11093 0 0 0 100099 16 0 0 25 0 1 0 310637543 47235072 11071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11532 11071 77 171 0 11359 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 51484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1906368/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46340 CPUtime=1061.13
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11128 0 0 0 106097 16 0 0 25 0 1 0 310637543 47452160 11106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11585 11106 77 171 0 11412 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 51696

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1906304/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46340 CPUtime=1121.12
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11131 0 0 0 112095 17 0 0 25 0 1 0 310637543 47452160 11109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11585 11109 77 171 0 11412 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 51696

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1905792/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46840 CPUtime=1181.1
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11247 0 0 0 118093 17 0 0 25 0 1 0 310637543 47964160 11225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11710 11225 77 171 0 11537 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 52196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1905664/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46840 CPUtime=1199.3
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11256 0 0 0 119913 17 0 0 25 0 1 0 310637543 47964160 11234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11710 11234 77 171 0 11537 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52196

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17876
/proc/meminfo: memFree=1905664/2055920 swapFree=4179040/4192956
[pid=17868] ppid=17866 vsize=5356 CPUtime=0.79
/proc/17868/stat : 17868 (SatELiteGTI) S 17866 17868 17522 0 -1 4194304 336 2303 0 0 0 0 78 1 16 0 1 0 310637462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17868/statm: 1339 239 197 169 0 50 0
[pid=17874] ppid=17868 vsize=46840 CPUtime=1199.3
/proc/17874/stat : 17874 (minisat_static) R 17868 17868 17522 0 -1 4194304 11256 0 0 0 119913 17 0 0 25 0 1 0 310637543 47964160 11234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17874/statm: 11710 11234 77 171 0 11537 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 52196

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.91
CPU system time (s): 0.18
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 52196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.789879
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11

runsolver used 1.3438 second user time and 3.10653 second system time

The end

Launcher Data 

Begin job on node62 at 2009-05-20 15:28:19
IDJOB=1833913
IDBENCH=71065
IDSOLVER=671
FILE ID=node62/1833913-1242826099
PBS_JOBID= 9322490
Free space on /tmp= 66260 MiB

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

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

MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED=1059218422

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1955168 kB
Buffers:         16832 kB
Cached:          45404 kB
SwapCached:       7464 kB
Active:          35920 kB
Inactive:        36044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1955168 kB
SwapTotal:     4192956 kB
SwapFree:      4179040 kB
Dirty:            2716 kB
Writeback:           0 kB
Mapped:          14688 kB
Slab:            14616 kB
Committed_AS:   857152 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66256 MiB
End job on node62 at 2009-05-20 15:48:22