Trace number 1821556

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.04

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-5p0.cnf
MD5SUMb21b299f860c56270b509900cff82599
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1039.45
Satisfiable
(Un)Satisfiability was proved
Number of variables162926
Number of clauses821689
Sum of the clauses size1954581
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2618514
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data

0.00/0.00	c Parsing...
0.92/0.92	c ==============================================================================
0.92/0.92	c |           |     ORIGINAL     |              LEARNT              |          |
0.92/0.92	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.92/0.92	c ==============================================================================
0.92/0.92	c |         0 |  812763  1945115 |  243828       0        0     nan |  0.000 % |
5.40/5.48	c |         0 |  546996  1519613 |      --       0       --      -- |     --   | -74850/8386
5.40/5.49	c ==============================================================================
5.40/5.49	c Result  :   #vars: 85935   #clauses: 546996   #literals: 1519613
5.40/5.49	c CPU time:   5.24 s
5.40/5.49	c ==============================================================================
6.00/6.05	c This is MiniSat 2.0 beta
6.00/6.05	c WARNING: for repeatability, setting FPU to use double precision
6.00/6.05	c ============================[ Problem Statistics ]=============================
6.00/6.05	c |                                                                             |
6.00/6.05	c |  Number of variables:  85935                                                |
6.00/6.05	c |  Number of clauses:    546996                                               |
6.03/6.45	c |  Parsing time:         0.36         s                                       |
6.03/6.48	c ============================[ Search Statistics ]==============================
6.03/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.03/6.48	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.03/6.48	c ===============================================================================
6.03/6.48	c |         0 |   85935   546996  1519613 |   182332        0    nan |  0.000 % |
6.70/6.74	c |       101 |   85717   546996  1519613 |   182332       95     89 |  1.608 % |
6.80/6.84	c |       202 |   85630   546996  1519613 |   182332      195     60 |  1.854 % |
6.90/6.95	c |       303 |   85630   546996  1519613 |   182332      296     52 |  1.854 % |
7.10/7.12	c |       413 |   85630   546996  1519613 |   182332      406     53 |  1.854 % |
7.30/7.34	c |       514 |   85510   546996  1519613 |   182332      506     52 |  2.738 % |
7.50/7.60	c |       624 |   83578   527789  1469640 |   182332      609     48 |  5.352 % |
7.70/7.77	c |       745 |   83257   527789  1469640 |   182332      725     50 |  9.974 % |
7.80/7.88	c |       845 |   82918   527789  1469640 |   182332      825     49 |  9.974 % |
8.20/8.25	c |       955 |   82360   527789  1469640 |   182332      926     47 | 12.386 % |
8.50/8.55	c |      1076 |   75194   471770  1327289 |   182332     1039     44 | 13.920 % |
8.70/8.74	c |      1211 |   75053   471770  1327289 |   182332     1172     43 | 14.146 % |
8.90/8.92	c |      1313 |   74988   471770  1327289 |   182332     1272     43 | 14.232 % |
9.00/9.05	c |      1424 |   74970   471770  1327289 |   182332     1381     45 | 14.615 % |
9.20/9.21	c |      1546 |   72546   453637  1281404 |   182332     1498     45 | 15.580 % |
9.30/9.36	c |      1679 |   72505   453637  1281404 |   182332     1630     43 | 16.209 % |
9.50/9.58	c |      1826 |   72505   453637  1281404 |   182332     1777     48 | 16.209 % |
9.70/9.77	c |      1927 |   72376   453637  1281404 |   182332     1877     48 | 16.519 % |
9.90/9.97	c |      2037 |   72373   453637  1281404 |   182332     1985     47 | 16.760 % |
10.20/10.22	c |      2158 |   71517   447292  1265471 |   182332     2097     46 | 16.813 % |
10.40/10.49	c |      2293 |   71475   447292  1265471 |   182332     2229     45 | 17.052 % |
10.60/10.63	c |      2441 |   71475   447292  1265471 |   182332     2377     51 | 17.052 % |
10.80/10.86	c |      2602 |   71475   447292  1265471 |   182332     2538     51 | 17.052 % |
10.90/10.95	c |      2702 |   71384   447292  1265471 |   182332     2636     50 | 17.258 % |
11.10/11.15	c |      2813 |   71369   447292  1265471 |   182332     2745     53 | 17.391 % |
11.30/11.37	c |      2934 |   70980   444566  1259396 |   182332     2859     53 | 18.568 % |
11.50/11.57	c |      3067 |   70911   444566  1259396 |   182332     2992     52 | 18.568 % |
11.70/11.73	c |      3218 |   70911   444566  1259396 |   182332     3143     53 | 18.568 % |
11.80/11.88	c |      3385 |   70911   444566  1259396 |   182332     3310     54 | 18.568 % |
12.00/12.04	c |      3564 |   70911   444566  1259396 |   182332     3489     54 | 18.568 % |
12.20/12.25	c |      3664 |   69847   437594  1241536 |   182332     3579     54 | 20.148 % |
12.40/12.42	c |      3774 |   69681   437594  1241536 |   182332     3689     53 | 20.148 % |
12.50/12.60	c |      3895 |   69472   437594  1241536 |   182332     3809     53 | 21.101 % |
12.70/12.76	c |      4029 |   69430   437594  1241536 |   182332     3942     53 | 21.225 % |
12.90/12.98	c |      4175 |   69420   437594  1241536 |   182332     4087     52 | 21.237 % |
13.00/13.06	c |      4335 |   69420   437594  1241536 |   182332     4247     55 | 21.237 % |
13.10/13.21	c |      4512 |   69420   437594  1241536 |   182332     4424     54 | 21.237 % |
13.40/13.42	c |      4705 |   67684   421164  1197664 |   182332     4599     53 | 21.302 % |
13.60/13.63	c |      4805 |   67684   421164  1197664 |   182332     4699     53 | 21.302 % |
13.70/13.80	c |      4915 |   67669   421164  1197664 |   182332     4805     53 | 21.378 % |
13.90/13.95	c |      5037 |   67669   421164  1197664 |   182332     4927     55 | 21.378 % |
13.90/14.00	c |      5172 |   67669   421164  1197664 |   182332     5062     55 | 21.378 % |
14.00/14.10	c |      5318 |   67667   421164  1197664 |   182332     5207     55 | 21.389 % |
14.20/14.26	c |      5478 |   67665   421164  1197664 |   182332     5367     55 | 21.389 % |
14.40/14.46	c |      5655 |   67554   420239  1195316 |   182332     5543     54 | 21.389 % |
14.60/14.67	c |      5848 |   67551   420239  1195316 |   182332     5734     53 | 21.415 % |
14.80/14.84	c |      6061 |   67548   420239  1195316 |   182332     5945     55 | 21.434 % |
14.90/14.97	c |      6161 |   67548   420239  1195316 |   182332     6045     55 | 21.434 % |
15.10/15.12	c |      6273 |   67548   420239  1195316 |   182332     6157     55 | 21.434 % |
15.20/15.30	c |      6394 |   67548   420239  1195316 |   182332     6278     55 | 21.434 % |
15.40/15.49	c |      6527 |   67423   419913  1194453 |   182332     6407     56 | 22.507 % |
15.70/15.74	c |      6673 |   67423   419913  1194453 |   182332     6552     55 | 22.526 % |
15.80/15.91	c |      6834 |   67423   419913  1194453 |   182332     6713     55 | 22.526 % |
16.00/16.05	c |      7010 |   67423   419913  1194453 |   182332     6889     55 | 22.526 % |
16.10/16.20	c |      7214 |   67414   419913  1194453 |   182332     7084     55 | 22.619 % |
16.30/16.34	c |      7426 |   67414   419913  1194453 |   182332     7296     57 | 22.619 % |
16.70/16.73	c |      7661 |   66490   412738  1175418 |   182332     7501     57 | 23.042 % |
16.80/16.84	c |      7761 |   66487   412738  1175418 |   182332     7600     57 | 23.197 % |
16.90/16.96	c |      7871 |   66486   412738  1175418 |   182332     7709     57 | 23.200 % |
17.10/17.12	c |      7992 |   66486   412738  1175418 |   182332     7830     57 | 23.200 % |
17.20/17.30	c |      8125 |   66484   412738  1175418 |   182332     7961     57 | 23.613 % |
17.40/17.49	c |      8273 |   66479   412738  1175418 |   182332     8108     58 | 23.710 % |
17.70/17.77	c |      8435 |   65560   401201  1144562 |   182332     8253     60 | 23.710 % |
18.00/18.07	c |      8611 |   65560   401201  1144562 |   182332     8429     62 | 23.710 % |
18.20/18.30	c |      8804 |   65554   401201  1144562 |   182332     8621     62 | 24.095 % |
18.40/18.46	c |      9017 |   65553   401201  1144562 |   182332     8833     62 | 24.096 % |
18.60/18.66	c |      9250 |   65549   401201  1144562 |   182332     9065     62 | 24.212 % |
19.00/19.05	c |      9507 |   65127   399347  1140854 |   182332     9313     62 | 24.225 % |
19.10/19.12	c |      9610 |   65127   399347  1140854 |   182332     9416     62 | 24.225 % |
19.20/19.31	c |      9721 |   65127   399347  1140854 |   182332     9527     62 | 24.225 % |
19.40/19.45	c |      9842 |   65127   399347  1140854 |   182332     9648     63 | 24.225 % |
19.60/19.63	c |      9982 |   65126   399347  1140854 |   182332     9787     63 | 24.237 % |
19.70/19.79	c |     10129 |   65124   399347  1140854 | 2147483647     9933     63 | 24.290 % |
20.00/20.05	c |     10289 |   65045   398835  1139626 | 2147483647    10091     63 | 24.309 % |
20.20/20.23	c |     10465 |   65045   398835  1139626 | 2147483647    10267     63 | 24.309 % |
20.30/20.36	c |     10659 |   65045   398835  1139626 | 2147483647    10461     63 | 24.309 % |
20.50/20.60	c |     10877 |   65045   398835  1139626 | 2147483647    10679     63 | 24.309 % |
20.90/20.97	c |     11110 |   65045   398835  1139626 | 2147483647    10912     63 | 24.309 % |
21.30/21.34	c |     11366 |   65028   398738  1139374 | 2147483647    11162     64 | 24.396 % |
21.60/21.65	c |     11648 |   65026   398738  1139374 | 2147483647    11443     64 | 24.410 % |
21.70/21.78	c |     11749 |   65026   398738  1139374 | 2147483647    11544     64 | 24.410 % |
21.90/21.93	c |     11862 |   65026   398738  1139374 | 2147483647    11657     64 | 24.410 % |
21.90/21.99	c |     11983 |   65026   398738  1139374 | 2147483647    11778     64 | 24.410 % |
22.10/22.20	c |     12116 |   65026   398738  1139374 | 2147483647    11911     65 | 24.410 % |
22.40/22.46	c |     12264 |   64935   398100  1137781 | 2147483647    12046     65 | 24.437 % |
22.60/22.67	c |     12424 |   64935   398100  1137781 | 2147483647    12206     65 | 24.437 % |
22.80/22.86	c |     12602 |   64934   398100  1137781 | 2147483647    12383     65 | 24.501 % |
23.10/23.15	c |     12795 |   64930   398100  1137781 | 2147483647    12576     65 | 24.501 % |
23.30/23.34	c |     13007 |   64930   398100  1137781 | 2147483647    12788     68 | 24.501 % |
23.70/23.72	c |     13240 |   64898   398100  1137781 | 2147483647    13020     69 | 24.706 % |
24.00/24.07	c |     13496 |   64703   397049  1135677 | 2147483647    13275     69 | 24.711 % |
24.40/24.42	c |     13777 |   64683   397049  1135677 | 2147483647    13554     69 | 24.804 % |
24.60/24.70	c |     14087 |   64678   397049  1135677 | 2147483647    13862     69 | 24.826 % |
24.80/24.85	c |     14187 |   64654   397049  1135677 | 2147483647    13960     69 | 24.950 % |
24.90/24.92	c |     14299 |   64654   397049  1135677 | 2147483647    14072     69 | 24.950 % |
25.00/25.02	c |     14423 |   64649   397049  1135677 | 2147483647    14193     69 | 25.028 % |
25.20/25.30	c |     14557 |   64636   397049  1135677 | 2147483647    14327     70 | 25.028 % |
25.50/25.53	c |     14703 |   64427   395207  1130919 | 2147483647    14453     71 | 25.028 % |
25.60/25.70	c |     14864 |   64427   395207  1130919 | 2147483647    14614     71 | 25.028 % |
25.80/25.88	c |     15040 |   64427   395207  1130919 | 2147483647    14790     71 | 25.028 % |
26.00/26.06	c |     15233 |   64422   395207  1130919 | 2147483647    14982     71 | 25.083 % |
26.30/26.35	c |     15447 |   64413   395207  1130919 | 2147483647    15196     72 | 25.083 % |
26.70/26.72	c |     15683 |   64374   395207  1130919 | 2147483647    15426     72 | 25.354 % |
27.10/27.21	c |     15939 |   64373   395207  1130919 | 2147483647    15682     74 | 25.354 % |
27.40/27.51	c |     16221 |   64141   393789  1127653 | 2147483647    15924     74 | 25.380 % |
27.70/27.77	c |     16530 |   64139   393789  1127653 | 2147483647    16232     75 | 25.390 % |
28.20/28.21	c |     16869 |   64137   393789  1127653 | 2147483647    16570     75 | 25.402 % |
28.30/28.35	c |     16970 |   64137   393789  1127653 | 2147483647    16671     76 | 25.402 % |
28.50/28.52	c |     17080 |   64137   393789  1127653 | 2147483647    16781     76 | 25.402 % |
28.70/28.75	c |     17203 |   64134   393789  1127653 | 2147483647    16901     76 | 25.917 % |
28.90/28.92	c |     17336 |   63649   386785  1108412 | 2147483647    16763     76 | 25.979 % |
29.10/29.12	c |     17482 |   63615   386785  1108412 | 2147483647    16903     76 | 26.014 % |
29.40/29.46	c |     17642 |   63615   386785  1108412 | 2147483647    17063     77 | 26.014 % |
29.70/29.77	c |     17818 |   63614   386785  1108412 | 2147483647    17238     78 | 26.029 % |
30.00/30.11	c |     18012 |   63608   386785  1108412 | 2147483647    17430     78 | 26.051 % |
30.20/30.27	c |     18224 |   63603   386785  1108412 | 2147483647    17637     78 | 26.098 % |
30.60/30.69	c |     18458 |   63487   385309  1104586 | 2147483647    17822     79 | 26.122 % |
30.90/30.98	c |     18716 |   63487   385309  1104586 | 2147483647    18080     80 | 26.122 % |
31.30/31.32	c |     18998 |   63487   385309  1104586 | 2147483647    18362     81 | 26.122 % |
31.70/31.78	c |     19307 |   63475   385309  1104586 | 2147483647    18669     81 | 26.187 % |
32.10/32.17	c |     19646 |   63475   385309  1104586 | 2147483647    19008     81 | 26.187 % |
32.40/32.44	c |     20021 |   63474   385309  1104586 | 2147483647    19382     82 | 26.191 % |
32.60/32.62	c |     20121 |   63474   385309  1104586 | 2147483647    19482     82 | 26.191 % |
32.70/32.71	c |     20231 |   63474   385309  1104586 | 2147483647    19592     82 | 26.191 % |
32.80/32.90	c |     20353 |   63425   384878  1103369 | 2147483647    19712     82 | 26.202 % |
33.00/33.09	c |     20490 |   63424   384878  1103369 | 2147483647    19848     82 | 26.242 % |
33.30/33.37	c |     20636 |   63416   384878  1103369 | 2147483647    19993     83 | 26.257 % |
33.60/33.70	c |     20798 |   63413   384878  1103369 | 2147483647    20154     84 | 26.268 % |
33.90/33.94	c |     20974 |   63397   384878  1103369 | 2147483647    20329     84 | 26.305 % |
34.20/34.21	c |     21168 |   63397   384878  1103369 | 2147483647    20523     85 | 26.305 % |
34.40/34.41	c |     21380 |   63397   384878  1103369 | 2147483647    20735     86 | 26.305 % |
34.50/34.59	c |     21614 |   63397   384878  1103369 | 2147483647    20969     86 | 26.305 % |
34.80/34.83	c |     21878 |   63397   384878  1103369 | 2147483647    21233     86 | 26.305 % |
35.10/35.11	c |     22159 |   63329   383867  1100604 | 2147483647    21492     85 | 26.308 % |
35.60/35.68	c |     22469 |   63327   383867  1100604 | 2147483647    21800     85 | 26.347 % |
36.00/36.03	c |     22812 |   63323   383867  1100604 | 2147483647    22141     86 | 26.359 % |
36.40/36.48	c |     23184 |   63314   383867  1100604 | 2147483647    22510     86 | 26.383 % |
37.00/37.01	c |     23594 |   63312   383867  1100604 | 2147483647    22919     87 | 26.396 % |
37.10/37.13	c |     23694 |   63312   383867  1100604 | 2147483647    23019     87 | 26.396 % |
37.30/37.32	c |     23805 |   63252   383318  1099235 | 2147483647    23117     87 | 26.396 % |
37.40/37.48	c |     23926 |   63252   383318  1099235 | 2147483647    23238     87 | 26.396 % |
37.60/37.65	c |     24060 |   63251   383318  1099235 | 2147483647    23371     88 | 26.399 % |
37.80/37.87	c |     24208 |   63249   383318  1099235 | 2147483647    23518     88 | 26.411 % |
38.00/38.05	c |     24368 |   63247   383318  1099235 | 2147483647    23678     88 | 26.411 % |
38.20/38.22	c |     24544 |   63246   383318  1099235 | 2147483647    23853     88 | 26.412 % |
38.40/38.45	c |     24738 |   63212   383318  1099235 | 2147483647    24045     88 | 26.839 % |
38.70/38.75	c |     24950 |   63212   383318  1099235 | 2147483647    24257     89 | 26.839 % |
38.80/38.90	c |     25185 |   63212   383318  1099235 | 2147483647    24492     89 | 26.839 % |
39.30/39.32	c |     25441 |   63187   383318  1099235 | 2147483647    24744     89 | 26.901 % |
39.70/39.78	c |     25724 |   62645   380492  1092953 | 2147483647    25013     90 | 27.102 % |
40.10/40.12	c |     26037 |   62630   380492  1092953 | 2147483647    25322     89 | 27.593 % |
40.40/40.49	c |     26376 |   62630   380492  1092953 | 2147483647    25661     89 | 27.593 % |
40.90/40.92	c |     26749 |   62581   380492  1092953 | 2147483647    26031     89 | 27.882 % |
41.30/41.39	c |     27159 |   62578   380492  1092953 | 2147483647    26439     90 | 27.904 % |
42.00/42.06	c |     27608 |   62512   380492  1092953 | 2147483647    26886     91 | 28.313 % |
42.10/42.20	c |     27708 |   62511   380492  1092953 | 2147483647    26985     91 | 28.314 % |
42.40/42.44	c |     27818 |   62510   380492  1092953 | 2147483647    27094     91 | 28.330 % |
42.50/42.60	c |     27941 |   62509   380492  1092953 | 2147483647    27216     91 | 28.331 % |
42.80/42.83	c |     28075 |   61589   374431  1077675 | 2147483647    27311     91 | 28.331 % |
42.90/42.97	c |     28221 |   61589   374431  1077675 | 2147483647    27457     91 | 28.331 % |
43.20/43.22	c |     28382 |   61589   374431  1077675 | 2147483647    27618     92 | 28.331 % |
43.30/43.39	c |     28561 |   61588   374431  1077675 | 2147483647    27796     92 | 28.341 % |
43.60/43.64	c |     28754 |   61586   374431  1077675 | 2147483647    27989     92 | 28.341 % |
43.90/43.92	c |     28966 |   61585   374431  1077675 | 2147483647    28200     92 | 28.408 % |
44.20/44.29	c |     29199 |   61574   374431  1077675 | 2147483647    28430     92 | 28.629 % |
44.60/44.69	c |     29458 |   61547   374431  1077675 | 2147483647    28686     93 | 28.690 % |
45.10/45.20	c |     29741 |   61545   374431  1077675 | 2147483647    28966     93 | 28.716 % |
45.30/45.39	c |     30052 |   61544   374431  1077675 | 2147483647    29276     94 | 28.725 % |
45.80/45.89	c |     30393 |   61543   374431  1077675 | 2147483647    29617     94 | 28.725 % |
46.60/46.67	c |     30765 |   61250   372259  1072243 | 2147483647    29895     95 | 28.725 % |
47.10/47.11	c |     31174 |   61250   372259  1072243 | 2147483647    30304     96 | 28.725 % |
47.50/47.60	c |     31626 |   61250   372259  1072243 | 2147483647    30756     97 | 28.725 % |
48.20/48.27	c |     32120 |   61250   372259  1072243 | 2147483647    31250     98 | 28.725 % |
48.40/48.46	c |     32220 |   61249   372259  1072243 | 2147483647    31349     98 | 28.735 % |
48.70/48.76	c |     32331 |   61249   372259  1072243 | 2147483647    31460     98 | 28.735 % |
48.80/48.89	c |     32454 |   61249   372259  1072243 | 2147483647    31583     99 | 28.735 % |
49.10/49.15	c |     32591 |   61249   372259  1072243 | 2147483647    31720     99 | 28.735 % |
49.40/49.48	c |     32737 |   61242   372229  1072181 | 2147483647    31866     99 | 28.735 % |
49.70/49.74	c |     32897 |   61239   372229  1072181 | 2147483647    32024     99 | 28.751 % |
49.90/49.92	c |     33073 |   61239   372229  1072181 | 2147483647    32200     99 | 28.751 % |
50.10/50.20	c |     33266 |   61238   372229  1072181 | 2147483647    32392     99 | 28.752 % |
50.50/50.54	c |     33481 |   61232   372229  1072181 | 2147483647    32603    100 | 28.805 % |
50.70/50.72	c |     33714 |   61227   372229  1072181 | 2147483647    32832    100 | 28.842 % |
51.10/51.12	c |     33972 |   61226   372229  1072181 | 2147483647    33089    100 | 28.843 % |
51.40/51.48	c |     34253 |   61225   372229  1072181 | 2147483647    33368    100 | 28.849 % |
51.70/51.78	c |     34563 |   61225   372229  1072181 | 2147483647    33678    100 | 28.849 % |
52.10/52.11	c |     34903 |   61224   372229  1072181 | 2147483647    34017    100 | 28.850 % |
52.60/52.69	c |     35275 |   61092   371060  1069022 | 2147483647    34341    100 | 28.909 % |
53.30/53.33	c |     35685 |   61092   371060  1069022 | 2147483647    34751    102 | 28.909 % |
53.90/53.91	c |     36138 |   61090   371060  1069022 | 2147483647    35202    102 | 28.914 % |
54.70/54.74	c |     36631 |   61090   371060  1069022 | 2147483647    35695    102 | 28.914 % |
55.30/55.37	c |     37173 |   61090   371060  1069022 | 2147483647    36237    103 | 28.914 % |
55.50/55.53	c |     37273 |   61090   371060  1069022 | 2147483647    36337    103 | 28.914 % |
55.70/55.76	c |     37383 |   61087   371060  1069022 | 2147483647    36445    103 | 28.931 % |
55.80/55.88	c |     37506 |   61085   371060  1069022 | 2147483647    36566    103 | 28.957 % |
56.11/56.13	c |     37640 |   61081   371060  1069022 | 2147483647    36700    103 | 28.957 % |
56.30/56.33	c |     37787 |   61081   371060  1069022 | 2147483647    36846    103 | 28.960 % |
56.40/56.47	c |     37951 |   61081   371060  1069022 | 2147483647    37010    103 | 28.960 % |
56.90/56.93	c |     38137 |   61048   370756  1068188 | 2147483647    37191    103 | 28.960 % |
57.21/57.22	c |     38330 |   61048   370756  1068188 | 2147483647    37384    103 | 28.960 % |
57.40/57.44	c |     38542 |   61044   370756  1068188 | 2147483647    37594    103 | 29.016 % |
57.70/57.75	c |     38775 |   61041   370756  1068188 | 2147483647    37827    103 | 29.016 % |
58.10/58.13	c |     39031 |   61006   370756  1068188 | 2147483647    38080    104 | 29.448 % |
58.50/58.59	c |     39313 |   61006   370756  1068188 | 2147483647    38362    104 | 29.448 % |
59.00/59.01	c |     39624 |   61005   370756  1068188 | 2147483647    38672    104 | 29.449 % |
59.60/59.65	c |     39964 |   61000   370756  1068188 | 2147483647    39009    105 | 29.880 % |
60.10/60.13	c |     40339 |   61000   370756  1068188 | 2147483647    39384    105 | 29.880 % |
60.51/60.54	c |     40748 |   60993   370756  1068188 | 2147483647    39790    105 | 29.912 % |
61.20/61.28	c |     41197 |   60993   370756  1068188 | 2147483647    40238    106 | 29.913 % |
62.00/62.05	c |     41691 |   60139   358857  1035679 | 2147483647    40336    106 | 30.018 % |
63.00/63.01	c |     42233 |   60133   358857  1035679 | 2147483647    40874    106 | 30.059 % |
64.10/64.18	c |     42829 |   60124   358857  1035679 | 2147483647    41466    107 | 30.088 % |
64.30/64.31	c |     42929 |   60124   358857  1035679 | 2147483647    41566    107 | 30.088 % |
64.40/64.48	c |     43039 |   60124   358857  1035679 | 2147483647    41676    107 | 30.088 % |
64.60/64.68	c |     43162 |   60123   358857  1035679 | 2147483647    41798    107 | 30.089 % |
64.91/64.94	c |     43297 |   60123   358857  1035679 | 2147483647    41932    107 | 30.090 % |
65.20/65.27	c |     43449 |   60123   358857  1035679 | 2147483647    42084    107 | 30.090 % |
65.40/65.47	c |     43610 |   60123   358857  1035679 | 2147483647    42245    108 | 30.090 % |
65.70/65.72	c |     43786 |   60123   358857  1035679 | 2147483647    42421    108 | 30.090 % |
66.01/66.06	c |     43982 |   60054   358206  1033979 | 2147483647    42576    108 | 30.137 % |
66.50/66.60	c |     44198 |   60052   358206  1033979 | 2147483647    42792    109 | 30.137 % |
67.00/67.05	c |     44434 |   60052   358206  1033979 | 2147483647    43028    109 | 30.137 % |
67.20/67.31	c |     44692 |   60051   358206  1033979 | 2147483647    43285    109 | 30.138 % |
67.80/67.82	c |     44975 |   60047   358206  1033979 | 2147483647    43566    110 | 30.151 % |
68.21/68.23	c |     45284 |   60029   358206  1033979 | 2147483647    43871    109 | 30.290 % |
68.80/68.85	c |     45623 |   60026   358206  1033979 | 2147483647    44210    110 | 30.290 % |
69.20/69.32	c |     45999 |   60024   358206  1033979 | 2147483647    44584    110 | 30.338 % |
70.41/70.42	c |     46409 |   60024   358206  1033979 | 2147483647    44994    110 | 30.338 % |
70.80/70.88	c |     46858 |   60024   358206  1033979 | 2147483647    45443    111 | 30.338 % |
72.00/72.03	c |     47353 |   59971   358206  1033979 | 2147483647    45935    112 | 31.137 % |
72.90/72.92	c |     47897 |   59168   346412  1001710 | 2147483647    46206    113 | 31.162 % |
73.90/73.96	c |     48493 |   59168   346412  1001710 | 2147483647    46802    113 | 31.162 % |
74.81/74.87	c |     49148 |   59163   346412  1001710 | 2147483647    47455    113 | 31.222 % |
75.10/75.20	c |     49248 |   59144   346412  1001710 | 2147483647    47555    114 | 31.222 % |
75.30/75.40	c |     49359 |   59144   346412  1001710 | 2147483647    47666    114 | 31.222 % |
75.40/75.50	c |     49489 |   59144   346412  1001710 | 2147483647    47796    114 | 31.222 % |
75.60/75.61	c |     49623 |   59144   346412  1001710 | 2147483647    47930    114 | 31.222 % |
75.80/75.85	c |     49770 |   59143   346412  1001710 | 2147483647    48076    114 | 31.275 % |
76.00/76.09	c |     49930 |   59142   346412  1001710 | 2147483647    48235    114 | 31.283 % |
76.20/76.29	c |     50107 |   59141   346412  1001710 | 2147483647    48411    114 | 31.284 % |
76.70/76.77	c |     50301 |   59140   346412  1001710 | 2147483647    48604    114 | 31.285 % |
77.10/77.16	c |     50515 |   59136   346412  1001710 | 2147483647    48817    114 | 31.373 % |
77.50/77.56	c |     50748 |   59121   346412  1001710 | 2147483647    49050    115 | 31.373 % |
77.90/77.95	c |     51004 |   58973   345189   998621 | 2147483647    49252    115 | 31.375 % |
78.40/78.42	c |     51285 |   58972   345189   998621 | 2147483647    49532    115 | 31.391 % |
78.70/78.76	c |     51597 |   58972   345189   998621 | 2147483647    49843    115 | 31.448 % |
79.30/79.35	c |     51938 |   58972   345189   998621 | 2147483647    50183    116 | 31.449 % |
80.10/80.13	c |     52310 |   58970   345189   998621 | 2147483647    50553    116 | 31.452 % |
80.80/80.89	c |     52720 |   58970   345189   998621 | 2147483647    50963    117 | 31.452 % |
81.30/81.40	c |     53169 |   58969   345189   998621 | 2147483647    51410    117 | 31.466 % |
82.30/82.39	c |     53662 |   58969   345189   998621 | 2147483647    51903    118 | 31.466 % |
83.30/83.35	c |     54204 |   58969   345189   998621 | 2147483647    52444    118 | 31.478 % |
84.00/84.06	c |     54802 |   58968   345189   998621 | 2147483647    53041    118 | 31.488 % |
85.20/85.22	c |     55457 |   58875   344638   997260 | 2147483647    53670    118 | 31.489 % |
86.40/86.50	c |     56177 |   58875   344638   997260 | 2147483647    54390    119 | 31.489 % |
86.50/86.60	c |     56277 |   58875   344638   997260 | 2147483647    54490    119 | 31.489 % |
86.70/86.73	c |     56388 |   58875   344638   997260 | 2147483647    54600    119 | 31.504 % |
86.91/86.95	c |     56509 |   58875   344638   997260 | 2147483647    54721    119 | 31.504 % |
87.00/87.05	c |     56642 |   58875   344638   997260 | 2147483647    54854    119 | 31.504 % |
87.20/87.28	c |     56788 |   58875   344638   997260 | 2147483647    55000    118 | 31.504 % |
87.40/87.49	c |     56948 |   58875   344638   997260 | 2147483647    55160    118 | 31.504 % |
88.01/88.05	c |     57125 |   58875   344638   997260 | 2147483647    55337    119 | 31.504 % |
88.30/88.37	c |     57318 |   58875   344638   997260 | 2147483647    55530    119 | 31.504 % |
88.60/88.64	c |     57531 |   58875   344638   997260 | 2147483647    55743    119 | 31.504 % |
88.90/88.91	c |     57766 |   58875   344638   997260 | 2147483647    55978    119 | 31.504 % |
89.40/89.45	c |     58022 |   58861   344638   997260 | 2147483647    56230    119 | 31.540 % |
89.70/89.72	c |     58303 |   58856   344638   997260 | 2147483647    56509    119 | 31.565 % |
90.40/90.46	c |     58613 |   58852   344638   997260 | 2147483647    56818    120 | 31.573 % |
91.10/91.17	c |     58953 |   58852   344638   997260 | 2147483647    57158    120 | 31.573 % |
91.70/91.73	c |     59325 |   58419   338728   981056 | 2147483647    57433    120 | 32.020 % |
92.50/92.57	c |     59734 |   58418   338728   981056 | 2147483647    57841    120 | 32.021 % |
93.10/93.14	c |     60186 |   58416   338728   981056 | 2147483647    58292    120 | 32.028 % |
93.80/93.90	c |     60679 |   58411   338728   981056 | 2147483647    58784    120 | 32.039 % |
94.40/94.44	c |     61222 |   58410   338728   981056 | 2147483647    59326    120 | 32.040 % |
96.00/96.05	c |     61820 |   58407   338728   981056 | 2147483647    59923    121 | 32.054 % |
96.90/96.90	c |     62475 |   58404   338728   981056 | 2147483647    60577    122 | 32.065 % |
97.50/97.53	c |     63196 |   58403   338728   981056 | 2147483647    61297    122 | 32.066 % |
98.60/98.68	c |     63991 |   58393   338728   981056 | 2147483647    62088    122 | 32.136 % |
98.80/98.86	c |     64091 |   58393   338728   981056 | 2147483647    62188    122 | 32.136 % |
99.10/99.16	c |     64202 |   58319   338110   979518 | 2147483647    62276    122 | 32.136 % |
99.40/99.43	c |     64324 |   58319   338110   979518 | 2147483647    62398    122 | 32.136 % |
99.80/99.83	c |     64457 |   58319   338110   979518 | 2147483647    62531    122 | 32.136 % |
100.00/100.01	c |     64609 |   58319   338110   979518 | 2147483647    62683    122 | 32.136 % |
100.20/100.20	c |     64769 |   58319   338110   979518 | 2147483647    62843    122 | 32.136 % |
100.40/100.45	c |     64947 |   58317   338110   979518 | 2147483647    63020    122 | 32.142 % |
100.60/100.64	c |     65140 |   58317   338110   979518 | 2147483647    63213    122 | 32.142 % |
101.00/101.04	c |     65352 |   58317   338110   979518 | 2147483647    63425    122 | 32.142 % |
101.40/101.41	c |     65588 |   58317   338110   979518 | 2147483647    63661    123 | 32.142 % |
102.10/102.11	c |     65846 |   58317   338110   979518 | 2147483647    63919    123 | 32.142 % |
102.71/102.77	c |     66130 |   58315   338110   979518 | 2147483647    64201    123 | 32.155 % |
103.21/103.29	c |     66440 |   58312   338110   979518 | 2147483647    64509    123 | 32.172 % |
104.11/104.21	c |     66779 |   58312   338110   979518 | 2147483647    64848    124 | 32.172 % |
105.01/105.04	c |     67154 |   58312   338110   979518 | 2147483647    65223    124 | 32.172 % |
105.71/105.76	c |     67563 |   58304   338110   979518 | 2147483647    65630    124 | 32.195 % |
106.41/106.48	c |     68014 |   58303   338110   979518 | 2147483647    66080    124 | 32.196 % |
107.51/107.56	c |     68508 |   58303   338110   979518 | 2147483647    66574    125 | 32.196 % |
108.51/108.59	c |     69050 |   58266   337697   978410 | 2147483647    67087    126 | 32.198 % |
109.61/109.66	c |     69646 |   58266   337697   978410 | 2147483647    67683    126 | 32.198 % |
111.51/111.54	c |     70303 |   58265   337697   978410 | 2147483647    68339    127 | 32.199 % |
112.61/112.70	c |     71023 |   58254   337697   978410 | 2147483647    69052    128 | 32.285 % |
113.71/113.80	c |     71820 |   58248   337697   978410 | 2147483647    69846    128 | 32.314 % |
115.01/115.03	c |     72693 |   58243   337697   978410 | 2147483647    70716    129 | 32.349 % |
115.21/115.31	c |     72793 |   58243   337697   978410 | 2147483647    70816    130 | 32.349 % |
115.51/115.61	c |     72906 |   58243   337697   978410 | 2147483647    70929    130 | 32.349 % |
115.81/115.88	c |     73028 |   58243   337697   978410 | 2147483647    71051    130 | 32.349 % |
116.11/116.12	c |     73161 |   58243   337697   978410 | 2147483647    71184    130 | 32.349 % |
116.41/116.42	c |     73307 |   58243   337697   978410 | 2147483647    71330    130 | 32.349 % |
116.61/116.65	c |     73467 |   58243   337697   978410 | 2147483647    71490    130 | 32.349 % |
116.91/116.92	c |     73644 |   58243   337697   978410 | 2147483647    71667    130 | 32.349 % |
117.21/117.28	c |     73837 |   58213   337697   978410 | 2147483647    71858    130 | 32.479 % |
117.51/117.58	c |     74050 |   58213   337697   978410 | 2147483647    72071    130 | 32.479 % |
117.91/117.96	c |     74286 |   58213   337697   978410 | 2147483647    72307    130 | 32.479 % |
118.31/118.36	c |     74543 |   58205   337697   978410 | 2147483647    72561    130 | 32.532 % |
119.01/119.04	c |     74825 |   57976   335730   973237 | 2147483647    72724    131 | 32.535 % |
119.51/119.52	c |     75134 |   57976   335730   973237 | 2147483647    73033    131 | 32.535 % |
120.31/120.39	c |     75476 |   57976   335730   973237 | 2147483647    73374    131 | 32.548 % |
121.21/121.22	c |     75851 |   57976   335730   973237 | 2147483647    73749    132 | 32.548 % |
121.71/121.79	c |     76264 |   57976   335730   973237 | 2147483647    74162    132 | 32.548 % |
123.11/123.14	c |     76716 |   57975   335730   973237 | 2147483647    74613    133 | 32.549 % |
124.11/124.14	c |     77209 |   57975   335730   973237 | 2147483647    75106    134 | 32.549 % |
125.01/125.06	c |     77754 |   57975   335730   973237 | 2147483647    75651    134 | 32.549 % |
126.21/126.26	c |     78355 |   57974   335730   973237 | 2147483647    76251    135 | 32.550 % |
127.01/127.06	c |     79017 |   57974   335730   973237 | 2147483647    76913    135 | 32.550 % |
128.61/128.65	c |     79742 |   57948   335730   973237 | 2147483647    77634    136 | 32.863 % |
129.71/129.73	c |     80534 |   57948   335730   973237 | 2147483647    78426    136 | 32.863 % |
131.11/131.21	c |     81406 |   57948   335730   973237 | 2147483647    79298    136 | 32.863 % |
133.01/133.07	c |     82364 |   57693   334407   970394 | 2147483647    80224    137 | 32.864 % |
133.21/133.24	c |     82473 |   57693   334407   970394 | 2147483647    80333    137 | 32.864 % |
133.41/133.50	c |     82584 |   57692   334407   970394 | 2147483647    80443    137 | 32.866 % |
133.71/133.77	c |     82708 |   57692   334407   970394 | 2147483647    80567    137 | 32.866 % |
134.01/134.04	c |     82844 |   57692   334407   970394 | 2147483647    80703    137 | 32.866 % |
134.21/134.31	c |     82990 |   57690   334407   970394 | 2147483647    80848    137 | 32.880 % |
134.61/134.64	c |     83150 |   57690   334407   970394 | 2147483647    81008    137 | 32.880 % |
134.81/134.90	c |     83327 |   57689   334407   970394 | 2147483647    81184    137 | 32.883 % |
135.31/135.37	c |     83520 |   57689   334407   970394 | 2147483647    81377    137 | 32.883 % |
135.91/135.92	c |     83734 |   57689   334407   970394 | 2147483647    81591    137 | 32.883 % |
136.41/136.45	c |     83968 |   57689   334407   970394 | 2147483647    81825    137 | 32.883 % |
136.91/136.95	c |     84224 |   57689   334407   970394 | 2147483647    82080    138 | 32.886 % |
137.51/137.61	c |     84507 |   57689   334407   970394 | 2147483647    82363    138 | 32.886 % |
138.41/138.43	c |     84816 |   57687   334407   970394 | 2147483647    82670    138 | 32.899 % |
139.11/139.17	c |     85155 |   57687   334407   970394 | 2147483647    83008    139 | 32.902 % |
139.91/140.01	c |     85527 |   57686   334407   970394 | 2147483647    83380    139 | 32.902 % |
140.91/140.98	c |     85943 |   57686   334407   970394 | 2147483647    83795    140 | 32.916 % |
141.71/141.76	c |     86392 |   57686   334407   970394 | 2147483647    84244    140 | 32.916 % |
142.51/142.59	c |     86885 |   57685   334407   970394 | 2147483647    84736    140 | 32.917 % |
143.81/143.91	c |     87427 |   57685   334407   970394 | 2147483647    85278    141 | 32.917 % |
144.91/144.92	c |     88023 |   57684   334407   970394 | 2147483647    85873    141 | 32.918 % |
146.41/146.46	c |     88680 |   57618   333806   968776 | 2147483647    86488    141 | 32.952 % |
148.01/148.10	c |     89401 |   57606   333806   968776 | 2147483647    87206    141 | 32.995 % |
149.11/149.18	c |     90195 |   57584   333806   968776 | 2147483647    87998    141 | 33.074 % |
151.41/151.45	c |     91067 |   57583   333806   968776 | 2147483647    88869    142 | 33.082 % |
153.51/153.52	c |     92025 |   57579   333806   968776 | 2147483647    89824    142 | 33.130 % |
155.41/155.48	c |     93079 |   57579   333806   968776 | 2147483647    90878    144 | 33.130 % |
155.81/155.81	c |     93182 |   57578   333806   968776 | 2147483647    90980    144 | 33.138 % |
156.01/156.04	c |     93293 |   57576   333806   968776 | 2147483647    91091    144 | 33.138 % |
156.11/156.18	c |     93414 |   57576   333806   968776 | 2147483647    91212    144 | 33.138 % |
156.61/156.71	c |     93547 |   57576   333806   968776 | 2147483647    91345    144 | 33.138 % |
157.01/157.07	c |     93693 |   57576   333806   968776 | 2147483647    91491    144 | 33.138 % |
157.41/157.45	c |     93854 |   57576   333806   968776 | 2147483647    91652    145 | 33.138 % |
157.71/157.81	c |     94031 |   57574   333806   968776 | 2147483647    91828    145 | 33.147 % |
158.11/158.12	c |     94224 |   57574   333806   968776 | 2147483647    92021    145 | 33.147 % |
158.41/158.46	c |     94437 |   57574   333806   968776 | 2147483647    92234    144 | 33.147 % |
158.91/158.96	c |     94670 |   57574   333806   968776 | 2147483647    92467    144 | 33.147 % |
159.41/159.49	c |     94930 |   57574   333806   968776 | 2147483647    92727    144 | 33.147 % |
159.91/159.95	c |     95211 |   57569   333806   968776 | 2147483647    93007    144 | 33.161 % |
160.31/160.38	c |     95520 |   57569   333806   968776 | 2147483647    93316    144 | 33.161 % |
161.01/161.11	c |     95861 |   57569   333806   968776 | 2147483647    93657    145 | 33.161 % |
161.91/161.98	c |     96238 |   57438   331978   963931 | 2147483647    93884    145 | 33.161 % |
162.51/162.60	c |     96652 |   57438   331978   963931 | 2147483647    94298    145 | 33.161 % |
163.21/163.23	c |     97101 |   57438   331978   963931 | 2147483647    94747    145 | 33.161 % |
164.71/164.77	c |     97594 |   57438   331978   963931 | 2147483647    95240    146 | 33.161 % |
165.71/165.77	c |     98136 |   57402   331978   963931 | 2147483647    95781    146 | 33.215 % |
167.61/167.68	c |     98732 |   57401   331978   963931 | 2147483647    96376    146 | 33.225 % |
168.91/168.91	c |     99387 |   57401   331978   963931 | 2147483647    97031    147 | 33.225 % |
170.31/170.37	c |    100108 |   57400   331978   963931 | 2147483647    97751    147 | 33.226 % |
172.01/172.07	c |    100900 |   57398   331978   963931 | 2147483647    98541    148 | 33.238 % |
174.01/174.04	c |    101772 |   57397   331978   963931 | 2147483647    99412    148 | 33.245 % |
176.21/176.26	c |    102730 |   57395   331978   963931 | 2147483647   100367    148 | 33.257 % |
178.31/178.35	c |    103787 |   57395   331978   963931 | 2147483647   101424    149 | 33.257 % |
181.52/181.54	c |    104945 |   57395   331978   963931 | 2147483647   102582    149 | 33.257 % |
182.01/182.02	c |    105048 |   57356   331514   962790 | 2147483647   102657    150 | 33.257 % |
182.31/182.34	c |    105162 |   57356   331514   962790 | 2147483647   102771    150 | 33.257 % |
182.51/182.56	c |    105285 |   57356   331514   962790 | 2147483647   102894    150 | 33.257 % |
182.71/182.77	c |    105418 |   57356   331514   962790 | 2147483647   103027    150 | 33.257 % |
182.91/182.97	c |    105564 |   57356   331514   962790 | 2147483647   103173    150 | 33.257 % |
183.21/183.23	c |    105724 |   57356   331514   962790 | 2147483647   103333    150 | 33.257 % |
183.51/183.57	c |    105901 |   57356   331514   962790 | 2147483647   103510    150 | 33.257 % |
183.91/183.99	c |    106098 |   57356   331514   962790 | 2147483647   103707    150 | 33.257 % |
184.31/184.35	c |    106313 |   57356   331514   962790 | 2147483647   103922    150 | 33.257 % |
184.82/184.89	c |    106548 |   57356   331514   962790 | 2147483647   104157    150 | 33.257 % |
185.51/185.59	c |    106808 |   57356   331514   962790 | 2147483647   104417    150 | 33.257 % |
185.92/186.00	c |    107089 |   57355   331514   962790 | 2147483647   104697    150 | 33.272 % |
186.81/186.81	c |    107410 |   57352   331514   962790 | 2147483647   105016    150 | 33.287 % |
187.21/187.21	c |    107752 |   57352   331514   962790 | 2147483647   105358    150 | 33.287 % |
188.01/188.03	c |    108124 |   57352   331514   962790 | 2147483647   105730    150 | 33.287 % |
188.91/188.98	c |    108533 |   57352   331514   962790 | 2147483647   106139    150 | 33.287 % |
189.81/189.83	c |    108984 |   57350   331514   962790 | 2147483647   106589    151 | 33.298 % |
191.01/191.09	c |    109483 |   57342   331514   962790 | 2147483647   107084    151 | 33.353 % |
192.52/192.58	c |    110025 |   57341   331514   962790 | 2147483647   107624    152 | 33.424 % |
194.11/194.19	c |    110621 |   57340   331514   962790 | 2147483647   108219    152 | 33.426 % |
195.31/195.37	c |    111279 |   57339   331514   962790 | 2147483647   108876    152 | 33.436 % |
197.11/197.17	c |    111999 |   57333   331514   962790 | 2147483647   109594    153 | 33.461 % |
198.61/198.69	c |    112794 |   57333   331514   962790 | 2147483647   110389    153 | 33.461 % |
199.71/199.77	c |    113665 |   57333   331514   962790 | 2147483647   111260    153 | 33.461 % |
202.81/202.89	c |    114628 |   57333   331514   962790 | 2147483647   112223    153 | 33.461 % |
205.72/205.73	c |    115681 |   57178   329837   958246 | 2147483647   112209    154 | 33.464 % |
208.61/208.61	c |    116839 |   57178   329837   958246 | 2147483647   113367    154 | 33.464 % |
212.01/212.03	c |    118117 |   57178   329837   958246 | 2147483647   114645    155 | 33.464 % |
212.21/212.25	c |    118217 |   57178   329837   958246 | 2147483647   114745    155 | 33.464 % |
212.51/212.53	c |    118327 |   57178   329837   958246 | 2147483647   114855    155 | 33.464 % |
212.91/212.95	c |    118450 |   57178   329837   958246 | 2147483647   114978    156 | 33.464 % |
213.51/213.56	c |    118593 |   57178   329837   958246 | 2147483647   115121    156 | 33.464 % |
213.91/213.97	c |    118741 |   57178   329837   958246 | 2147483647   115269    156 | 33.464 % |
214.42/214.44	c |    118903 |   57178   329837   958246 | 2147483647   115431    156 | 33.464 % |
214.72/214.77	c |    119080 |   57178   329837   958246 | 2147483647   115608    156 | 33.464 % |
215.32/215.40	c |    119277 |   57177   329837   958246 | 2147483647   115804    156 | 33.465 % |
215.92/215.92	c |    119490 |   57177   329837   958246 | 2147483647   116017    156 | 33.465 % |
216.42/216.50	c |    119723 |   57177   329837   958246 | 2147483647   116250    156 | 33.465 % |
217.22/217.31	c |    119982 |   57177   329837   958246 | 2147483647   116509    156 | 33.465 % |
217.92/218.00	c |    120263 |   57175   329837   958246 | 2147483647   116788    156 | 33.469 % |
218.32/218.34	c |    120573 |   57175   329837   958246 | 2147483647   117098    156 | 33.470 % |
218.62/218.69	c |    120912 |   57173   329837   958246 | 2147483647   117435    156 | 33.492 % |
219.82/219.83	c |    121285 |   57173   329837   958246 | 2147483647   117808    156 | 33.492 % |
221.22/221.29	c |    121695 |   57173   329837   958246 | 2147483647   118218    157 | 33.492 % |
222.62/222.68	c |    122144 |   57173   329837   958246 | 2147483647   118667    157 | 33.492 % |
223.72/223.75	c |    122638 |   57173   329837   958246 | 2147483647   119161    158 | 33.492 % |
224.42/224.42	c |    123182 |   57173   329837   958246 | 2147483647   119705    158 | 33.492 % |
225.72/225.76	c |    123783 |   57173   329837   958246 | 2147483647   120306    158 | 33.492 % |
227.02/227.06	c |    124438 |   57173   329837   958246 | 2147483647   120961    157 | 33.492 % |
229.02/229.02	c |    125158 |   57153   329608   957676 | 2147483647   121673    157 | 33.501 % |
230.92/230.95	c |    125950 |   57153   329608   957676 | 2147483647   122465    158 | 33.501 % |
232.82/232.91	c |    126821 |   57153   329608   957676 | 2147483647   123336    159 | 33.501 % |
234.42/234.42	c |    127781 |   57116   329608   957676 | 2147483647   124292    158 | 33.695 % |
235.82/235.83	c |    128835 |   57113   329608   957676 | 2147483647   125344    159 | 33.762 % |
238.12/238.18	c |    129996 |   57112   329608   957676 | 2147483647   126503    159 | 33.767 % |
241.22/241.28	c |    131274 |   57104   329608   957676 | 2147483647   127779    159 | 33.927 % |
243.92/243.95	c |    132675 |   57086   329608   957676 | 2147483647   129173    160 | 34.092 % |
244.12/244.13	c |    132776 |   57085   329608   957676 | 2147483647   129273    159 | 34.093 % |
244.32/244.40	c |    132886 |   57085   329608   957676 | 2147483647   129383    159 | 34.093 % |
244.82/244.85	c |    133009 |   57083   329608   957676 | 2147483647   129505    160 | 34.096 % |
245.02/245.08	c |    133144 |   57083   329608   957676 | 2147483647   129640    160 | 34.096 % |
245.22/245.29	c |    133290 |   57082   329608   957676 | 2147483647   129785    160 | 34.103 % |
245.82/245.81	c |    133451 |   57082   329608   957676 | 2147483647   129945    159 | 34.113 % |
246.22/246.31	c |    133630 |   57082   329608   957676 | 2147483647   130124    160 | 34.113 % |
246.92/246.91	c |    133829 |   57082   329608   957676 | 2147483647   130323    160 | 34.113 % |
247.32/247.38	c |    134043 |   57082   329608   957676 | 2147483647   130537    160 | 34.113 % |
248.22/248.24	c |    134277 |   57082   329608   957676 | 2147483647   130771    160 | 34.113 % |
248.72/248.77	c |    134534 |   57082   329608   957676 | 2147483647   131028    160 | 34.113 % |
249.22/249.27	c |    134815 |   57082   329608   957676 | 2147483647   131309    160 | 34.113 % |
249.62/249.62	c |    135124 |   57082   329608   957676 | 2147483647   131618    160 | 34.113 % |
250.72/250.73	c |    135463 |   57082   329608   957676 | 2147483647   131957    160 | 34.113 % |
252.02/252.02	c |    135835 |   57081   329608   957676 | 2147483647   132328    160 | 34.215 % |
252.92/252.94	c |    136244 |   57081   329608   957676 | 2147483647   132737    161 | 34.215 % |
254.02/254.08	c |    136695 |   57081   329608   957676 | 2147483647   133188    161 | 34.215 % |
255.72/255.78	c |    137188 |   56531   324284   944336 | 2147483647   133363    162 | 34.217 % |
257.52/257.56	c |    137731 |   56531   324284   944336 | 2147483647   133906    163 | 34.217 % |
259.22/259.21	c |    138327 |   56531   324284   944336 | 2147483647   134502    163 | 34.217 % |
260.12/260.19	c |    138985 |   56531   324284   944336 | 2147483647   135160    163 | 34.217 % |
262.02/262.08	c |    139707 |   56526   324284   944336 | 2147483647   135878    163 | 34.296 % |
263.92/263.94	c |    140499 |   56525   324284   944336 | 2147483647   136669    164 | 34.299 % |
266.42/266.43	c |    141370 |   56525   324284   944336 | 2147483647   137540    164 | 34.299 % |
268.32/268.41	c |    142329 |   56523   324284   944336 | 2147483647   138496    164 | 34.346 % |
271.02/271.04	c |    143383 |   56523   324284   944336 | 2147483647   139550    165 | 34.346 % |
274.22/274.28	c |    144541 |   56523   324284   944336 | 2147483647   140707    165 | 34.347 % |
276.12/276.20	c |    145818 |   56517   324284   944336 | 2147483647   141980    165 | 34.404 % |
277.52/277.60	c |    147220 |   56516   324284   944336 | 2147483647   143381    165 | 34.414 % |
279.32/279.36	c |    148761 |   56516   324284   944336 | 2147483647   144922    164 | 34.414 % |
279.42/279.47	c |    148863 |   56516   324284   944336 | 2147483647   145024    164 | 34.414 % |
279.52/279.58	c |    148973 |   56516   324284   944336 | 2147483647   145134    164 | 34.414 % |
279.72/279.73	c |    149094 |   56516   324284   944336 | 2147483647   145255    164 | 34.414 % |
279.82/279.87	c |    149227 |   56515   324284   944336 | 2147483647   145387    164 | 34.421 % |
280.12/280.14	c |    149373 |   56515   324284   944336 | 2147483647   145533    164 | 34.421 % |
280.22/280.30	c |    149540 |   56515   324284   944336 | 2147483647   145700    164 | 34.421 % |
280.53/280.58	c |    149717 |   56513   324284   944336 | 2147483647   145877    164 | 34.421 % |
281.02/281.05	c |    149910 |   56511   324284   944336 | 2147483647   146069    164 | 34.430 % |
281.32/281.41	c |    150122 |   56511   324284   944336 | 2147483647   146281    164 | 34.430 % |
282.02/282.04	c |    150358 |   56511   324284   944336 | 2147483647   146517    164 | 34.430 % |
283.22/283.24	c |    150614 |   56511   324284   944336 | 2147483647   146773    164 | 34.430 % |
283.62/283.67	c |    150895 |   56511   324284   944336 | 2147483647   147054    164 | 34.430 % |
284.42/284.47	c |    151204 |   56346   322959   940962 | 2147483647   147286    164 | 34.440 % |
285.12/285.20	c |    151544 |   56346   322959   940962 | 2147483647   147626    165 | 34.440 % |
285.92/286.01	c |    151917 |   56344   322959   940962 | 2147483647   147997    165 | 34.446 % |
287.42/287.41	c |    152328 |   56344   322959   940962 | 2147483647   148408    165 | 34.446 % |
287.92/288.00	c |    152778 |   56340   322959   940962 | 2147483647   148856    165 | 34.488 % |
289.33/289.34	c |    153272 |   56339   322959   940962 | 2147483647   149349    165 | 34.489 % |
290.92/290.96	c |    153817 |   56339   322959   940962 | 2147483647   149894    165 | 34.489 % |
293.12/293.19	c |    154415 |   56339   322959   940962 | 2147483647   150492    166 | 34.489 % |
294.72/294.77	c |    155072 |   56339   322959   940962 | 2147483647   151149    166 | 34.489 % |
296.92/296.93	c |    155792 |   56339   322959   940962 | 2147483647   151868    167 | 34.492 % |
299.82/299.90	c |    156585 |   56338   322959   940962 | 2147483647   152660    167 | 34.494 % |
303.02/303.10	c |    157460 |   56337   322959   940962 | 2147483647   153534    168 | 34.504 % |
306.02/306.09	c |    158418 |   56336   322959   940962 | 2147483647   154490    168 | 34.514 % |
309.02/309.09	c |    159473 |   56336   322959   940962 | 2147483647   155545    168 | 34.514 % |
312.02/312.03	c |    160633 |   56334   322959   940962 | 2147483647   156703    168 | 34.538 % |
313.92/314.00	c |    161906 |   56334   322959   940962 | 2147483647   157976    168 | 34.538 % |
317.82/317.84	c |    163306 |   56333   322959   940962 | 2147483647   159374    168 | 34.585 % |
322.02/322.03	c |    164846 |   56322   322959   940962 | 2147483647   160911    168 | 34.641 % |
328.22/328.23	c |    166542 |   56162   321453   936907 | 2147483647   162272    169 | 34.809 % |
328.52/328.54	c |    166642 |   56160   321453   936907 | 2147483647   162371    169 | 34.819 % |
328.82/328.84	c |    166752 |   56160   321453   936907 | 2147483647   162481    169 | 34.819 % |
329.12/329.16	c |    166878 |   56160   321453   936907 | 2147483647   162607    169 | 34.819 % |
329.62/329.67	c |    167011 |   56160   321453   936907 | 2147483647   162740    169 | 34.819 % |
330.22/330.30	c |    167158 |   56160   321453   936907 | 2147483647   162887    169 | 34.819 % |
330.82/330.85	c |    167321 |   56160   321453   936907 | 2147483647   163050    169 | 34.819 % |
331.52/331.51	c |    167505 |   56160   321453   936907 | 2147483647   163234    169 | 34.819 % |
332.32/332.39	c |    167698 |   56159   321453   936907 | 2147483647   163426    169 | 34.850 % |
333.12/333.12	c |    167910 |   56159   321453   936907 | 2147483647   163638    170 | 34.850 % |
333.72/333.75	c |    168145 |   56159   321453   936907 | 2147483647   163873    170 | 34.850 % |
334.52/334.52	c |    168404 |   56159   321453   936907 | 2147483647   164132    170 | 34.850 % |
336.22/336.22	c |    168685 |   56159   321453   936907 | 2147483647   164413    170 | 34.850 % |
337.02/337.09	c |    168995 |   56159   321453   936907 | 2147483647   164723    170 | 34.850 % |
337.92/338.00	c |    169335 |   56159   321453   936907 | 2147483647   165063    170 | 34.850 % |
339.02/339.01	c |    169707 |   56159   321453   936907 | 2147483647   165435    170 | 34.850 % |
339.72/339.79	c |    170117 |   56159   321453   936907 | 2147483647   165845    170 | 34.850 % |
340.72/340.72	c |    170571 |   56159   321453   936907 | 2147483647   166299    170 | 34.850 % |
341.32/341.38	c |    171064 |   56158   321453   936907 | 2147483647   166791    170 | 34.858 % |
343.23/343.25	c |    171609 |   56158   321453   936907 | 2147483647   167336    170 | 34.858 % |
345.23/345.29	c |    172205 |   56158   321453   936907 | 2147483647   167930    170 | 34.965 % |
347.93/347.93	c |    172860 |   56158   321453   936907 | 2147483647   168585    171 | 34.965 % |
349.83/349.86	c |    173580 |   56158   321453   936907 | 2147483647   169305    171 | 34.965 % |
353.83/353.90	c |    174373 |   56156   321453   936907 | 2147483647   170097    171 | 34.975 % |
357.43/357.49	c |    175246 |   56156   321453   936907 | 2147483647   170970    172 | 34.975 % |
360.33/360.34	c |    176206 |   56156   321453   936907 | 2147483647   171929    172 | 34.976 % |
363.13/363.17	c |    177260 |   56154   321453   936907 | 2147483647   172981    172 | 35.107 % |
365.03/365.01	c |    178421 |   56153   321453   936907 | 2147483647   174140    172 | 35.117 % |
366.93/366.98	c |    179699 |   55757   318934   930425 | 2147483647   175142    172 | 35.117 % |
372.23/372.26	c |    181100 |   55755   318934   930425 | 2147483647   176542    173 | 35.128 % |
377.33/377.39	c |    182643 |   55754   318934   930425 | 2147483647   178083    173 | 35.143 % |
384.03/384.10	c |    184337 |   55754   318934   930425 | 2147483647   179777    174 | 35.143 % |
387.33/387.41	c |    186202 |   55753   318934   930425 | 2147483647   181641    174 | 35.153 % |
387.53/387.60	c |    186302 |   55753   318934   930425 | 2147483647   181741    174 | 35.153 % |
387.63/387.67	c |    186412 |   55753   318934   930425 | 2147483647   181851    174 | 35.153 % |
388.23/388.22	c |    186533 |   55753   318934   930425 | 2147483647   181972    174 | 35.153 % |
388.83/388.84	c |    186668 |   55753   318934   930425 | 2147483647   182107    174 | 35.153 % |
389.63/389.71	c |    186814 |   55753   318934   930425 | 2147483647   182253    174 | 35.153 % |
390.13/390.18	c |    186978 |   55753   318934   930425 | 2147483647   182417    174 | 35.153 % |
390.93/390.98	c |    187154 |   55753   318934   930425 | 2147483647   182593    175 | 35.153 % |
391.53/391.60	c |    187347 |   55753   318934   930425 | 2147483647   182786    175 | 35.153 % |
392.03/392.07	c |    187562 |   55753   318934   930425 | 2147483647   183001    175 | 35.153 % |
392.74/392.79	c |    187799 |   55753   318934   930425 | 2147483647   183238    175 | 35.153 % |
393.53/393.52	c |    188056 |   55752   318934   930425 | 2147483647   183494    175 | 35.154 % |
394.73/394.81	c |    188339 |   55752   318934   930425 | 2147483647   183777    175 | 35.154 % |
395.33/395.35	c |    188651 |   55752   318934   930425 | 2147483647   184089    175 | 35.155 % |
396.23/396.30	c |    188990 |   55752   318934   930425 | 2147483647   184428    175 | 35.154 % |
397.23/397.23	c |    189363 |   55752   318934   930425 | 2147483647   184801    175 | 35.154 % |
398.33/398.40	c |    189776 |   55752   318934   930425 | 2147483647   185214    175 | 35.154 % |
399.34/399.38	c |    190225 |   55752   318934   930425 | 2147483647   185663    175 | 35.154 % |
401.54/401.61	c |    190725 |   55752   318934   930425 | 2147483647   186163    175 | 35.154 % |
402.73/402.80	c |    191269 |   55750   318934   930425 | 2147483647   186706    175 | 35.171 % |
404.23/404.23	c |    191870 |   55749   318934   930425 | 2147483647   187305    175 | 35.173 % |
406.53/406.52	c |    192526 |   55749   318934   930425 | 2147483647   187961    175 | 35.173 % |
408.83/408.90	c |    193246 |   55749   318934   930425 | 2147483647   188681    176 | 35.173 % |
411.73/411.73	c |    194039 |   55748   318934   930425 | 2147483647   189473    176 | 35.184 % |
414.83/414.88	c |    194913 |   55747   318934   930425 | 2147483647   190345    176 | 35.199 % |
417.43/417.49	c |    195871 |   55747   318934   930425 | 2147483647   191303    177 | 35.199 % |
420.93/420.94	c |    196924 |   55687   318447   929166 | 2147483647   192319    177 | 35.199 % |
425.13/425.15	c |    198083 |   55687   318447   929166 | 2147483647   193477    177 | 35.203 % |
430.33/430.39	c |    199356 |   55687   318447   929166 | 2147483647   194749    178 | 35.205 % |
435.64/435.65	c |    200758 |   55685   318447   929166 | 2147483647   196148    178 | 35.228 % |
441.34/441.35	c |    202299 |   55683   318447   929166 | 2147483647   197688    179 | 35.237 % |
447.34/447.41	c |    203994 |   55681   318447   929166 | 2147483647   199381    180 | 35.239 % |
451.84/451.90	c |    205858 |   55676   318447   929166 | 2147483647   201244    181 | 35.252 % |
456.14/456.13	c |    207907 |   55676   318447   929166 | 2147483647   203293    181 | 35.252 % |
456.44/456.48	c |    208011 |   55676   318447   929166 | 2147483647   203397    181 | 35.252 % |
457.14/457.17	c |    208122 |   55676   318447   929166 | 2147483647   203508    181 | 35.252 % |
457.74/457.72	c |    208243 |   55676   318447   929166 | 2147483647   203629    181 | 35.252 % |
458.14/458.19	c |    208376 |   55676   318447   929166 | 2147483647   203762    181 | 35.252 % |
458.64/458.71	c |    208522 |   55676   318447   929166 | 2147483647   203908    181 | 35.252 % |
459.24/459.25	c |    208683 |   55676   318447   929166 | 2147483647   204069    181 | 35.252 % |
459.64/459.68	c |    208859 |   55676   318447   929166 | 2147483647   204245    181 | 35.252 % |
460.64/460.64	c |    209052 |   55676   318447   929166 | 2147483647   204438    181 | 35.252 % |
461.44/461.45	c |    209268 |   55676   318447   929166 | 2147483647   204654    181 | 35.252 % |
462.14/462.19	c |    209502 |   55676   318447   929166 | 2147483647   204888    181 | 35.252 % |
462.84/462.87	c |    209763 |   55676   318447   929166 | 2147483647   205149    181 | 35.252 % |
463.34/463.41	c |    210045 |   55676   318447   929166 | 2147483647   205431    181 | 35.252 % |
464.64/464.68	c |    210359 |   55676   318447   929166 | 2147483647   205745    181 | 35.252 % |
465.54/465.61	c |    210698 |   55675   318447   929166 | 2147483647   206083    181 | 35.253 % |
466.64/466.70	c |    211071 |   55675   318447   929166 | 2147483647   206456    181 | 35.253 % |
468.74/468.77	c |    211482 |   55673   318447   929166 | 2147483647   206865    181 | 35.692 % |
469.84/469.86	c |    211931 |   55671   318447   929166 | 2147483647   207313    181 | 35.719 % |
470.84/470.82	c |    212425 |   55668   318447   929166 | 2147483647   207805    181 | 35.737 % |
472.84/472.82	c |    212969 |   55668   318447   929166 | 2147483647   208349    181 | 35.737 % |
474.74/474.80	c |    213568 |   55668   318447   929166 | 2147483647   208948    182 | 35.737 % |
477.24/477.30	c |    214225 |   55667   318447   929166 | 2147483647   209604    182 | 35.741 % |
480.64/480.70	c |    214949 |   55667   318447   929166 | 2147483647   210328    182 | 35.741 % |
483.54/483.56	c |    215741 |   55219   312667   913073 | 2147483647   210970    182 | 35.749 % |
486.44/486.49	c |    216612 |   55213   312667   913073 | 2147483647   211837    182 | 35.839 % |
489.94/489.98	c |    217570 |   55212   312667   913073 | 2147483647   212794    183 | 35.843 % |
493.44/493.50	c |    218625 |   55212   312667   913073 | 2147483647   213849    182 | 35.843 % |
497.74/497.75	c |    219786 |   55211   312667   913073 | 2147483647   215009    182 | 35.855 % |
500.34/500.33	c |    221063 |   55211   312667   913073 | 2147483647   216286    183 | 35.855 % |
504.24/504.26	c |    222466 |   55211   312667   913073 | 2147483647   217688    182 | 35.857 % |
509.14/509.12	c |    224010 |   55199   312667   913073 | 2147483647   219230    183 | 35.957 % |
515.04/515.04	c |    225705 |   55191   312667   913073 | 2147483647   220917    183 | 36.134 % |
522.24/522.25	c |    227569 |   55189   312667   913073 | 2147483647   222778    184 | 36.251 % |
529.84/529.81	c |    229618 |   55188   312667   913073 | 2147483647   224826    184 | 36.252 % |
539.84/539.84	c |    231871 |   55188   312667   913073 | 2147483647   227079    184 | 36.252 % |
540.24/540.28	c |    231972 |   55188   312667   913073 | 2147483647   227180    184 | 36.252 % |
540.64/540.65	c |    232083 |   55188   312667   913073 | 2147483647   227291    184 | 36.252 % |
541.14/541.20	c |    232204 |   55188   312667   913073 | 2147483647   227412    184 | 36.252 % |
541.74/541.80	c |    232347 |   55188   312667   913073 | 2147483647   227555    184 | 36.252 % |
542.14/542.15	c |    232493 |   55188   312667   913073 | 2147483647   227701    184 | 36.252 % |
543.14/543.11	c |    232654 |   55188   312667   913073 | 2147483647   227862    184 | 36.252 % |
543.54/543.52	c |    232836 |   55186   312667   913073 | 2147483647   228042    184 | 36.268 % |
544.44/544.45	c |    233034 |   55186   312667   913073 | 2147483647   228240    184 | 36.268 % |
545.34/545.31	c |    233246 |   55172   312667   913073 | 2147483647   228451    184 | 37.256 % |
546.04/546.06	c |    233479 |   55172   312667   913073 | 2147483647   228684    184 | 37.256 % |
547.14/547.11	c |    233735 |   55172   312667   913073 | 2147483647   228940    184 | 37.256 % |
548.64/548.63	c |    234016 |   53919   303607   888935 | 2147483647   222517    184 | 37.256 % |
549.35/549.36	c |    234326 |   53919   303607   888935 | 2147483647   222827    184 | 37.256 % |
550.85/550.87	c |    234665 |   53919   303607   888935 | 2147483647   223166    184 | 37.256 % |
551.95/552.00	c |    235038 |   53919   303607   888935 | 2147483647   223539    184 | 37.256 % |
552.95/552.93	c |    235447 |   53918   303607   888935 | 2147483647   223947    184 | 37.264 % |
554.75/554.74	c |    235904 |   53918   303607   888935 | 2147483647   224404    184 | 37.264 % |
556.45/556.44	c |    236397 |   53917   303607   888935 | 2147483647   224894    185 | 37.751 % |
558.15/558.12	c |    236947 |   53917   303607   888935 | 2147483647   225444    185 | 37.751 % |
559.85/559.88	c |    237544 |   53917   303607   888935 | 2147483647   226041    185 | 37.751 % |
562.35/562.33	c |    238208 |   53915   303607   888935 | 2147483647   226703    185 | 37.763 % |
564.55/564.56	c |    238929 |   53915   303607   888935 | 2147483647   227424    185 | 37.763 % |
566.35/566.36	c |    239725 |   53915   303607   888935 | 2147483647   228220    185 | 37.763 % |
568.15/568.19	c |    240604 |   53913   303607   888935 | 2147483647   229097    185 | 37.872 % |
569.55/569.59	c |    241563 |   53913   303607   888935 | 2147483647   230056    185 | 37.872 % |
573.85/573.86	c |    242617 |   53913   303607   888935 | 2147483647   231110    185 | 37.872 % |
577.95/578.00	c |    243775 |   53913   303607   888935 | 2147483647   232268    185 | 37.872 % |
581.75/581.79	c |    245049 |   53913   303607   888935 | 2147483647   233541    186 | 37.873 % |
585.85/585.88	c |    246450 |   53909   303607   888935 | 2147483647   234940    186 | 37.908 % |
590.15/590.15	c |    247993 |   53908   303607   888935 | 2147483647   236482    186 | 37.909 % |
596.25/596.22	c |    249688 |   53907   303607   888935 | 2147483647   238176    186 | 37.922 % |
602.85/602.84	c |    251555 |   53907   303607   888935 | 2147483647   240043    187 | 37.922 % |
612.05/612.08	c |    253605 |   53904   303607   888935 | 2147483647   242090    187 | 37.944 % |
621.15/621.12	c |    255862 |   53903   303607   888935 | 2147483647   244345    188 | 37.957 % |
630.25/630.22	c |    258343 |   53309   296885   870315 | 2147483647   246590    188 | 37.974 % |
630.75/630.75	c |    258443 |   53309   296885   870315 | 2147483647   246690    188 | 37.974 % |
631.25/631.25	c |    258554 |   53309   296885   870315 | 2147483647   246801    188 | 37.974 % |
631.75/631.79	c |    258675 |   53309   296885   870315 | 2147483647   246922    188 | 37.974 % |
632.35/632.37	c |    258808 |   53307   296885   870315 | 2147483647   247053    188 | 38.549 % |
632.95/632.91	c |    258954 |   53307   296885   870315 | 2147483647   247199    188 | 38.549 % |
633.55/633.56	c |    259114 |   53307   296885   870315 | 2147483647   247359    188 | 38.549 % |
634.25/634.26	c |    259290 |   53307   296885   870315 | 2147483647   247535    188 | 38.549 % |
634.95/634.94	c |    259483 |   53307   296885   870315 | 2147483647   247728    188 | 38.549 % |
635.75/635.81	c |    259695 |   53307   296885   870315 | 2147483647   247940    188 | 38.549 % |
636.55/636.59	c |    259928 |   53307   296885   870315 | 2147483647   248173    188 | 38.549 % |
637.25/637.28	c |    260194 |   53307   296885   870315 | 2147483647   248439    188 | 38.549 % |
637.65/637.69	c |    260476 |   53307   296885   870315 | 2147483647   248721    188 | 38.549 % |
638.55/638.55	c |    260785 |   53307   296885   870315 | 2147483647   249029    188 | 38.564 % |
639.55/639.59	c |    261126 |   53307   296885   870315 | 2147483647   249370    188 | 38.564 % |
641.05/641.02	c |    261498 |   53307   296885   870315 | 2147483647   249742    188 | 38.564 % |
642.15/642.19	c |    261911 |   53307   296885   870315 | 2147483647   250155    188 | 38.564 % |
643.35/643.31	c |    262360 |   53307   296885   870315 | 2147483647   250604    188 | 38.564 % |
645.05/645.03	c |    262856 |   53307   296885   870315 | 2147483647   251100    188 | 38.564 % |
646.15/646.13	c |    263399 |   53307   296885   870315 | 2147483647   251643    188 | 38.564 % |
648.15/648.19	c |    263996 |   53307   296885   870315 | 2147483647   252240    188 | 38.564 % |
649.25/649.21	c |    264653 |   53307   296885   870315 | 2147483647   252897    188 | 38.564 % |
651.95/651.94	c |    265375 |   53307   296885   870315 | 2147483647   253619    188 | 38.564 % |
654.25/654.25	c |    266168 |   53305   296885   870315 | 2147483647   254411    188 | 38.571 % |
657.75/657.72	c |    267042 |   53304   296885   870315 | 2147483647   255284    188 | 38.573 % |
662.06/662.11	c |    268005 |   53304   296885   870315 | 2147483647   256247    188 | 38.573 % |
666.06/666.02	c |    269059 |   53304   296885   870315 | 2147483647   257301    188 | 38.573 % |
670.86/670.83	c |    270217 |   53302   296885   870315 | 2147483647   258456    188 | 38.580 % |
675.26/675.30	c |    271491 |   53302   296885   870315 | 2147483647   259730    188 | 38.580 % |
680.36/680.35	c |    272891 |   53302   296885   870315 | 2147483647   261130    188 | 38.580 % |
683.75/683.72	c |    274434 |   53302   296885   870315 | 2147483647   262673    188 | 38.580 % |
691.05/691.09	c |    276128 |   53302   296885   870315 | 2147483647   264367    189 | 38.580 % |
697.55/697.52	c |    278009 |   53302   296885   870315 | 2147483647   266248    189 | 38.580 % |
705.35/705.33	c |    280065 |   53299   296885   870315 | 2147483647   268300    190 | 38.612 % |
715.15/715.17	c |    282322 |   52696   290917   853949 | 2147483647   238342    177 | 38.679 % |
720.95/720.97	c |    284800 |   52694   290917   853949 | 2147483647   240818    178 | 38.682 % |
731.25/731.22	c |    287535 |   52694   290917   853949 | 2147483647   243553    179 | 38.682 % |
731.75/731.73	c |    287639 |   52694   290917   853949 | 2147483647   243657    179 | 38.682 % |
732.25/732.30	c |    287749 |   52693   290917   853949 | 2147483647   243766    179 | 38.690 % |
732.75/732.74	c |    287870 |   52693   290917   853949 | 2147483647   243887    179 | 38.690 % |
733.25/733.22	c |    288006 |   52693   290917   853949 | 2147483647   244023    179 | 38.690 % |
733.65/733.69	c |    288152 |   52693   290917   853949 | 2147483647   244169    179 | 38.690 % |
734.25/734.20	c |    288312 |   52693   290917   853949 | 2147483647   244329    179 | 38.690 % |
734.95/734.92	c |    288488 |   52692   290917   853949 | 2147483647   244503    179 | 38.715 % |
735.45/735.48	c |    288681 |   52692   290917   853949 | 2147483647   244696    179 | 38.715 % |
736.45/736.41	c |    288895 |   52692   290917   853949 | 2147483647   244910    179 | 38.715 % |
736.85/736.88	c |    289130 |   52692   290917   853949 | 2147483647   245145    179 | 38.715 % |
737.45/737.47	c |    289387 |   52692   290917   853949 | 2147483647   245401    179 | 38.746 % |
738.55/738.53	c |    289669 |   52692   290917   853949 | 2147483647   245683    179 | 38.746 % |
739.75/739.73	c |    289979 |   52692   290917   853949 | 2147483647   245993    179 | 38.746 % |
741.65/741.61	c |    290321 |   52692   290917   853949 | 2147483647   246335    179 | 38.746 % |
743.05/743.02	c |    290693 |   52692   290917   853949 | 2147483647   246707    179 | 38.746 % |
745.65/745.66	c |    291104 |   52692   290917   853949 | 2147483647   247118    179 | 38.746 % |
747.25/747.29	c |    291553 |   52692   290917   853949 | 2147483647   247567    179 | 38.746 % |
749.16/749.19	c |    292046 |   52692   290917   853949 | 2147483647   248060    179 | 38.746 % |
750.85/750.83	c |    292588 |   52691   290917   853949 | 2147483647   248601    179 | 38.758 % |
752.85/752.82	c |    293188 |   52691   290917   853949 | 2147483647   249201    179 | 38.758 % |
755.35/755.37	c |    293843 |   52691   290917   853949 | 2147483647   249856    179 | 38.758 % |
758.75/758.73	c |    294567 |   52691   290917   853949 | 2147483647   250580    179 | 38.758 % |
761.55/761.53	c |    295360 |   52690   290917   853949 | 2147483647   251372    180 | 38.765 % |
763.55/763.57	c |    296234 |   52690   290917   853949 | 2147483647   252246    180 | 38.765 % |
767.95/767.96	c |    297192 |   52689   290917   853949 | 2147483647   253203    180 | 38.767 % |
772.96/772.95	c |    298245 |   52689   290917   853949 | 2147483647   254256    180 | 38.767 % |
777.66/777.61	c |    299403 |   52683   290917   853949 | 2147483647   255412    181 | 38.819 % |
784.26/784.27	c |    300677 |   52683   290917   853949 | 2147483647   256686    181 | 38.819 % |
789.36/789.34	c |    302077 |   52683   290917   853949 | 2147483647   258086    182 | 38.819 % |
797.36/797.36	c |    303623 |   52576   290089   851944 | 2147483647   259472    182 | 38.819 % |
804.46/804.43	c |    305317 |   52576   290089   851944 | 2147483647   261166    183 | 38.819 % |
811.66/811.70	c |    307180 |   52575   290089   851944 | 2147483647   263027    183 | 38.860 % |
821.86/821.85	c |    309234 |   52575   290089   851944 | 2147483647   265081    184 | 38.860 % |
830.26/830.25	c |    311490 |   52575   290089   851944 | 2147483647   267337    184 | 38.860 % |
840.48/840.51	c |    313971 |   52571   290089   851944 | 2147483647   269816    185 | 38.868 % |
849.37/849.40	c |    316696 |   52571   290089   851944 | 2147483647   272541    185 | 38.868 % |
860.37/860.31	c |    319697 |   52567   290089   851944 | 2147483647   275540    186 | 39.060 % |
860.57/860.56	c |    319797 |   52567   290089   851944 | 2147483647   275640    186 | 39.060 % |
860.77/860.74	c |    319908 |   52567   290089   851944 | 2147483647   275751    186 | 39.060 % |
861.07/861.10	c |    320032 |   52567   290089   851944 | 2147483647   275875    186 | 39.060 % |
861.57/861.54	c |    320169 |   52567   290089   851944 | 2147483647   276012    186 | 39.060 % |
861.87/861.90	c |    320315 |   52567   290089   851944 | 2147483647   276158    186 | 39.060 % |
862.27/862.26	c |    320479 |   52567   290089   851944 | 2147483647   276322    186 | 39.060 % |
862.87/862.83	c |    320657 |   52567   290089   851944 | 2147483647   276500    186 | 39.060 % |
863.67/863.69	c |    320852 |   52567   290089   851944 | 2147483647   276695    186 | 39.060 % |
864.77/864.80	c |    321064 |   52566   290089   851944 | 2147483647   276906    186 | 39.061 % |
865.97/865.99	c |    321299 |   52566   290089   851944 | 2147483647   277141    186 | 39.061 % |
867.37/867.39	c |    321559 |   52564   290089   851944 | 2147483647   277400    186 | 39.082 % |
868.57/868.54	c |    321842 |   52563   290089   851944 | 2147483647   277681    186 | 39.105 % |
870.27/870.30	c |    322159 |   52563   290089   851944 | 2147483647   277998    186 | 39.105 % |
872.17/872.15	c |    322500 |   52563   290089   851944 | 2147483647   278339    186 | 39.105 % |
873.97/873.94	c |    322872 |   52563   290089   851944 | 2147483647   278711    186 | 39.105 % |
875.77/875.74	c |    323282 |   52563   290089   851944 | 2147483647   279121    186 | 39.105 % |
877.57/877.53	c |    323736 |   52563   290089   851944 | 2147483647   279575    187 | 39.105 % |
879.77/879.72	c |    324231 |   52563   290089   851944 | 2147483647   280070    187 | 39.105 % |
882.48/882.44	c |    324773 |   52562   290089   851944 | 2147483647   280611    187 | 39.106 % |
885.28/885.24	c |    325369 |   52560   290089   851944 | 2147483647   281205    187 | 39.116 % |
888.58/888.59	c |    326024 |   52560   290089   851944 | 2147483647   281859    187 | 39.138 % |
891.78/891.81	c |    326744 |   52279   288174   846747 | 2147483647   282471    187 | 39.165 % |
894.48/894.50	c |    327536 |   52277   288174   846747 | 2147483647   283262    187 | 39.212 % |
898.28/898.23	c |    328408 |   52277   288174   846747 | 2147483647   284133    187 | 39.216 % |
899.38/899.38	c |    329366 |   52277   288174   846747 | 2147483647   285091    187 | 39.216 % |
904.08/904.12	c |    330419 |   52275   288174   846747 | 2147483647   286143    188 | 39.227 % |
908.68/908.62	c |    331579 |   52275   288174   846747 | 2147483647   287303    188 | 39.227 % |
915.38/915.36	c |    332852 |   52275   288174   846747 | 2147483647   288576    188 | 39.227 % |
923.28/923.25	c |    334252 |   52271   288174   846747 | 2147483647   289973    189 | 39.240 % |
929.88/929.85	c |    335794 |   52268   288174   846747 | 2147483647   291512    189 | 39.255 % |
937.38/937.36	c |    337492 |   52264   288174   846747 | 2147483647   293208    189 | 39.266 % |
946.08/946.06	c |    339356 |   52264   288174   846747 | 2147483647   295072    190 | 39.266 % |
955.18/955.18	c |    341405 |   52264   288174   846747 | 2147483647   297121    190 | 39.266 % |
963.98/963.94	c |    343658 |   52264   288174   846747 | 2147483647   299374    190 | 39.266 % |
976.08/976.09	c |    346138 |   52264   288174   846747 | 2147483647   301854    190 | 39.266 % |
989.48/989.50	c |    348865 |   52264   288174   846747 | 2147483647   304581    190 | 39.266 % |
1004.59/1004.58	c |    351864 |   52262   288174   846747 | 2147483647   307578    190 | 39.279 % |
1023.49/1023.45	c |    355160 |   52179   287511   845086 | 2147483647   310764    192 | 39.284 % |
1023.89/1023.86	c |    355260 |   52179   287511   845086 | 2147483647   310864    192 | 39.284 % |
1024.39/1024.41	c |    355374 |   52179   287511   845086 | 2147483647   310978    192 | 39.284 % |
1024.99/1025.01	c |    355497 |   52179   287511   845086 | 2147483647   311101    192 | 39.284 % |
1026.09/1026.07	c |    355630 |   52179   287511   845086 | 2147483647   311234    192 | 39.284 % |
1027.19/1027.17	c |    355776 |   52179   287511   845086 | 2147483647   311380    192 | 39.284 % |
1028.19/1028.17	c |    355936 |   52179   287511   845086 | 2147483647   311540    192 | 39.284 % |
1029.09/1029.03	c |    356112 |   52179   287511   845086 | 2147483647   311716    192 | 39.284 % |
1030.09/1030.05	c |    356317 |   52179   287511   845086 | 2147483647   311921    192 | 39.284 % |
1031.39/1031.41	c |    356529 |   52179   287511   845086 | 2147483647   312133    192 | 39.284 % |
1032.59/1032.61	c |    356762 |   52179   287511   845086 | 2147483647   312366    192 | 39.284 % |
1034.69/1034.63	c |    357018 |   52179   287511   845086 | 2147483647   312622    192 | 39.284 % |
1036.39/1036.32	c |    357303 |   52179   287511   845086 | 2147483647   312907    192 | 39.284 % |
1038.49/1038.50	c |    357614 |   52179   287511   845086 | 2147483647   313218    192 | 39.284 % |
1040.39/1040.36	c |    357957 |   52179   287511   845086 | 2147483647   313561    192 | 39.284 % |
1042.58/1042.60	c |    358329 |   52179   287511   845086 | 2147483647   313933    192 | 39.284 % |
1044.68/1044.63	c |    358739 |   52179   287511   845086 | 2147483647   314343    192 | 39.284 % |
1047.08/1047.03	c |    359189 |   52179   287511   845086 | 2147483647   314793    192 | 39.284 % |
1049.58/1049.57	c |    359685 |   52179   287511   845086 | 2147483647   315289    192 | 39.284 % |
1052.68/1052.66	c |    360231 |   52179   287511   845086 | 2147483647   315835    193 | 39.284 % |
1054.88/1054.85	c |    360828 |   52179   287511   845086 | 2147483647   316432    193 | 39.284 % |
1058.88/1058.81	c |    361488 |   52179   287511   845086 | 2147483647   317092    193 | 39.284 % |
1062.38/1062.37	c |    362208 |   52178   287511   845086 | 2147483647   317811    193 | 39.286 % |
1067.18/1067.11	c |    363000 |   52178   287511   845086 | 2147483647   318603    193 | 39.286 % |
1070.18/1070.15	c |    363874 |   52177   287511   845086 | 2147483647   319476    193 | 39.287 % |
1072.18/1072.16	c |    364832 |   52177   287511   845086 | 2147483647   320434    193 | 39.287 % |
1076.78/1076.79	c |    365886 |   52176   287511   845086 | 2147483647   321485    193 | 39.386 % |
1084.18/1084.19	c |    367048 |   52176   287511   845086 | 2147483647   322647    194 | 39.386 % |
1087.58/1087.60	c |    368321 |   52176   287511   845086 | 2147483647   323920    193 | 39.386 % |
1095.28/1095.20	c |    369721 |   52176   287511   845086 | 2147483647   325320    193 | 39.386 % |
1104.18/1104.12	c |    371262 |   52176   287511   845086 | 2147483647   326860    194 | 39.396 % |
1112.59/1112.56	c |    372956 |   52176   287511   845086 | 2147483647   328554    194 | 39.396 % |
1116.49/1116.49	c |    374819 |   52175   287511   845086 | 2147483647   330416    195 | 39.397 % |
1126.89/1126.86	c |    376874 |   52175   287511   845086 | 2147483647   332471    195 | 39.397 % |
1138.59/1138.53	c |    379131 |   52175   287511   845086 | 2147483647   334728    195 | 39.397 % |
1151.99/1151.95	c |    381612 |   52175   287511   845086 | 2147483647   337209    195 | 39.397 % |
1168.09/1168.10	c |    384337 |   52078   286953   843710 | 2147483647   339808    195 | 39.407 % |
1189.09/1189.04	c |    387336 |   52078   286953   843710 | 2147483647   342806    195 | 39.417 % |

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=956 CPUtime=0
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1018130406 978944 63 4294967295 134512640 135223648 3213558768 3213557488 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 239 65 46 174 0 64 0

[startup+0.067154 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=26732 CPUtime=0.07
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 3870 0 0 0 5 2 0 0 18 0 1 0 1018130406 27373568 3702 4294967295 134512640 135223648 3213558768 3213557352 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 6683 3703 46 174 0 6508 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29148

[startup+0.117148 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=32260 CPUtime=0.12
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 5229 0 0 0 9 3 0 0 18 0 1 0 1018130406 33034240 5061 4294967295 134512640 135223648 3213558768 3213557352 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 8065 5062 46 174 0 7890 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 34676

[startup+0.317131 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=47128 CPUtime=0.32
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 8783 0 0 0 27 5 0 0 18 0 1 0 1018130406 48259072 8615 4294967295 134512640 135223648 3213558768 3213557368 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 11782 8615 46 174 0 11607 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 49544

[startup+0.717107 s]
/proc/loadavg: 1.09 1.05 1.01 3/93 24886
/proc/meminfo: memFree=1036408/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=70172 CPUtime=0.72
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 14990 0 0 0 61 11 0 0 18 0 1 0 1018130406 71856128 14822 4294967295 134512640 135223648 3213558768 3213557336 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 17543 14822 47 174 0 17368 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 72588

[startup+1.51703 s]
/proc/loadavg: 1.09 1.05 1.01 2/95 24891
/proc/meminfo: memFree=964456/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=96020 CPUtime=1.5
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 22650 0 0 0 131 19 0 0 20 0 1 0 1018130406 98324480 20479 4294967295 134512640 135223648 3213558768 3213556436 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 24005 20479 73 174 0 23830 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 98436

[startup+3.1169 s]
/proc/loadavg: 1.09 1.05 1.01 2/95 24891
/proc/meminfo: memFree=946740/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2416 CPUtime=0
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1018130405 2473984 276 4294967295 134512640 135169312 3216285344 3216283880 3085811438 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24886/statm: 604 276 235 161 0 43 0
[pid=24890] ppid=24886 vsize=110408 CPUtime=3.1
/proc/24890/stat : 24890 (SatELite_releas) R 24886 24886 10436 0 -1 4202496 25945 0 0 0 288 22 0 0 25 0 1 0 1018130406 113057792 23524 4294967295 134512640 135223648 3213558768 3213556864 134585550 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24890/statm: 27602 23524 73 174 0 27427 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 112824

[startup+6.31665 s]
/proc/loadavg: 1.08 1.05 1.01 2/95 24891
/proc/meminfo: memFree=940704/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 2420

[startup+12.7161 s]
/proc/loadavg: 1.08 1.04 1.01 2/95 24892
/proc/meminfo: memFree=990936/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=31772 CPUtime=6.67
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 7584 0 0 0 662 5 0 0 25 0 1 0 1018131011 32534528 7508 4294967295 134512640 135215339 3215414800 3215413088 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 7943 7508 73 172 0 7770 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 34192

[startup+25.5151 s]
/proc/loadavg: 1.06 1.04 1.01 2/95 24898
/proc/meminfo: memFree=987652/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=34896 CPUtime=19.47
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 8348 0 0 0 1940 7 0 0 25 0 1 0 1018131011 35733504 8272 4294967295 134512640 135215339 3215414800 3215413088 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 8724 8272 73 172 0 8551 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 37316

[startup+51.113 s]
/proc/loadavg: 1.04 1.04 1.00 3/95 25083
/proc/meminfo: memFree=977668/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=44724 CPUtime=45.07
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 10801 0 0 0 4499 8 0 0 25 0 1 0 1018131011 45797376 10725 4294967295 134512640 135215339 3215414800 3215412800 134532711 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 11181 10725 73 172 0 11008 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47144

[startup+102.319 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 25270
/proc/meminfo: memFree=957728/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=64064 CPUtime=96.28
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 15621 0 0 0 9614 14 0 0 25 0 1 0 1018131011 65601536 15545 4294967295 134512640 135215339 3215414800 3215413088 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 16016 15545 73 172 0 15843 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66484

[startup+162.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 25457
/proc/meminfo: memFree=933596/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=88536 CPUtime=156.28
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 21724 0 0 0 15614 14 0 0 25 0 1 0 1018131011 90660864 21648 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 22134 21648 73 172 0 21961 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 90956

[startup+222.319 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 25648
/proc/meminfo: memFree=912128/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=109556 CPUtime=216.29
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 26994 0 0 0 21610 19 0 0 25 0 1 0 1018131011 112185344 26918 4294967295 134512640 135215339 3215414800 3215412800 134532704 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 27389 26918 73 172 0 27216 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 111976

[startup+282.314 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 25835
/proc/meminfo: memFree=889668/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=132272 CPUtime=276.29
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 32641 0 0 0 27605 24 0 0 25 0 1 0 1018131011 135446528 32565 4294967295 134512640 135215339 3215414800 3215413088 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 33068 32565 73 172 0 32895 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 134692

[startup+342.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26024
/proc/meminfo: memFree=870960/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=150524 CPUtime=336.29
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 37237 0 0 0 33596 33 0 0 25 0 1 0 1018131011 154136576 37161 4294967295 134512640 135215339 3215414800 3215413088 134528745 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 37631 37161 73 172 0 37458 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 152944

[startup+402.314 s]

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

/proc/24892/statm: 50782 50233 73 172 0 50609 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 205548

[startup+582.319 s]
/proc/loadavg: 1.04 1.03 1.00 2/95 26595
/proc/meminfo: memFree=808512/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=213848 CPUtime=576.32
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 53004 0 0 0 57578 54 0 0 25 0 1 0 1018131011 218980352 52928 4294967295 134512640 135215339 3215414800 3215413088 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 53462 52928 73 172 0 53289 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 216268

[startup+642.315 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 26967
/proc/meminfo: memFree=792948/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=228656 CPUtime=636.32
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 56737 0 0 0 63574 58 0 0 25 0 1 0 1018131011 234143744 56661 4294967295 134512640 135215339 3215414800 3215412800 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 57164 56661 73 172 0 56991 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 231076

[startup+702.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 26971
/proc/meminfo: memFree=778612/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=243320 CPUtime=696.32
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 60402 0 0 0 69571 61 0 0 25 0 1 0 1018131011 249159680 60326 4294967295 134512640 135215339 3215414800 3215413088 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 60830 60326 73 172 0 60657 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 245740

[startup+762.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/96 27336
/proc/meminfo: memFree=776264/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=244904 CPUtime=756.33
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 60822 0 0 0 75572 61 0 0 25 0 1 0 1018131011 250781696 60746 4294967295 134512640 135215339 3215414800 3215412864 134539387 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 61226 60746 73 172 0 61053 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 247324

[startup+822.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27351
/proc/meminfo: memFree=776752/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=244904 CPUtime=816.33
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 60822 0 0 0 81572 61 0 0 25 0 1 0 1018131011 250781696 60746 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 61226 60746 73 172 0 61053 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 247324

[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27538
/proc/meminfo: memFree=769948/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=251772 CPUtime=876.34
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 62544 0 0 0 87569 65 0 0 25 0 1 0 1018131011 257814528 62468 4294967295 134512640 135215339 3215414800 3215413072 134525713 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 62943 62468 73 172 0 62770 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 254192

[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27727
/proc/meminfo: memFree=756176/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=265684 CPUtime=936.35
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 66011 0 0 0 93569 66 0 0 25 0 1 0 1018131011 272060416 65935 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 66421 65935 73 172 0 66248 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 268104

[startup+1002.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27914
/proc/meminfo: memFree=745380/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=276732 CPUtime=996.36
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 68766 0 0 0 99569 67 0 0 25 0 1 0 1018131011 283373568 68690 4294967295 134512640 135215339 3215414800 3215413016 134721303 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 69183 68690 73 172 0 69010 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 279152

[startup+1062.31 s]
/proc/loadavg: 1.15 1.04 1.01 2/95 28101
/proc/meminfo: memFree=733492/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=289168 CPUtime=1056.35
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 71742 0 0 0 105566 69 0 0 25 0 1 0 1018131011 296108032 71666 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 72292 71666 73 172 0 72119 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 291588

[startup+1122.32 s]
/proc/loadavg: 1.06 1.03 1.00 2/95 28293
/proc/meminfo: memFree=719580/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=302904 CPUtime=1116.36
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 75207 0 0 0 111565 71 0 0 25 0 1 0 1018131011 310173696 75131 4294967295 134512640 135215339 3215414800 3215413088 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 75726 75131 73 172 0 75553 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 305324

[startup+1182.31 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 28484
/proc/meminfo: memFree=710552/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=312100 CPUtime=1176.36
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 77478 0 0 0 117564 72 0 0 25 0 1 0 1018131011 319590400 77402 4294967295 134512640 135215339 3215414800 3215412864 134538089 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 78025 77402 73 172 0 77852 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 314520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 28669
/proc/meminfo: memFree=708232/2074464 swapFree=1948616/1959888
[pid=24886] ppid=24884 vsize=2420 CPUtime=6.03
/proc/24886/stat : 24886 (SatELiteGTI) S 24884 24886 10436 0 -1 4194304 385 29842 0 0 0 0 579 24 18 0 1 0 1018130405 2478080 278 4294967295 134512640 135169312 3216285344 3216281560 3085811438 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/24886/statm: 605 278 235 161 0 44 0
[pid=24892] ppid=24886 vsize=314260 CPUtime=1194.06
/proc/24892/stat : 24892 (minisat_static) R 24886 24886 10436 0 -1 4202496 78028 0 0 0 119334 72 0 0 25 0 1 0 1018131011 321802240 77952 4294967295 134512640 135215339 3215414800 3215413016 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24892/statm: 78565 77952 73 172 0 78392 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 316680

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24886 and gives
#  childrusage.ru_utime.tv_sec=5
#  childrusage.ru_utime.tv_usec=790000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=240000
# CPU time returned by wait4() is 6.03
# 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.04
CPU time (s): 1200.09
CPU user time (s): 1199.13
CPU system time (s): 0.96
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 316680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.79
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30227
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= 659

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data

Begin job on tipi16 at 2009-05-17 06:58:17
IDJOB=1821556
IDBENCH=71008
IDSOLVER=657
FILE ID=tipi16/1821556-1242536297
PBS_JOBID=
Free space on /tmp= 4833 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821556-1242536297/watcher-1821556-1242536297 -o /tmp/evaluation-result-1821556-1242536297/solver-1821556-1242536297 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821556-1242536297.cnf

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

MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED= 2047563436

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1036424 kB
Buffers:         54652 kB
Cached:         880708 kB
SwapCached:       5940 kB
Active:         171148 kB
Inactive:       774260 kB
HighTotal:     1178688 kB
HighFree:       334276 kB
LowTotal:       895776 kB
LowFree:        702148 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:           16864 kB
Writeback:           0 kB
AnonPages:        9280 kB
Mapped:           3248 kB
Slab:            84088 kB
PageTables:        644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90764 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4818 MiB
End job on tipi16 at 2009-05-17 07:18:21