Trace number 3303502

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
glucose 2? (TO) 5000.04 4999.92

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
MD5SUM642fce7e30a701c3223fa5771c2e57dc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3212.64
Satisfiable
(Un)Satisfiability was proved
Number of variables186
Number of clauses9795
Sum of the clauses size43014
Maximum clause length14
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51239

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    9795    43014 |    2938       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 186   #clauses: 9795   #literals: 43014
0.00/0.00	c CPU time:   0.003999 s
0.00/0.00	c ==============================================================================
0.00/0.01	c
0.00/0.01	c Starting glucose
0.00/0.01	c
123.67/123.76	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
123.67/123.76	c WARNING: for repeatability, setting FPU to use double precision
123.67/123.76	c ============================[ Problem Statistics ]=============================
123.67/123.76	c |                                                                             |
123.67/123.76	c |  Number of variables:           186                                         |
123.67/123.76	c |  Number of clauses:            9795                                         |
123.67/123.76	c |  Parse time:                   0.00 s                                       |
123.67/123.76	c |                                                                             |
123.67/123.76	c ============================[ Search Statistics ]==============================
123.67/123.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
123.67/123.76	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
123.67/123.76	c ===============================================================================
123.67/123.76	c |     28725 |     186     9795    43014 |        1    15678     24 |  0.000 % |
123.67/123.76	c |     28827 |     186     9795    43014 |        1    15780     24 |  0.000 % |
123.67/123.76	c |     33393 |     186     9795    43014 |        1    11077     23 |  0.000 % |
123.67/123.76	c |     36798 |     186     9795    43014 |        1    14482     24 |  0.000 % |
123.67/123.76	c |     37201 |     186     9795    43014 |        1    14885     24 |  0.000 % |
123.67/123.76	c |     38090 |     186     9795    43014 |        1    15774     24 |  0.000 % |
123.67/123.76	c |     38191 |     186     9795    43014 |        1    15875     24 |  0.000 % |
123.67/123.76	c |     38891 |     186     9795    43014 |        1    16575     24 |  0.000 % |
123.67/123.76	c |     42673 |     186     9795    43014 |        1    20357     25 |  0.000 % |
123.67/123.76	c |     43308 |     186     9795    43014 |        1    20992     25 |  0.000 % |
123.67/123.76	c |     43408 |     186     9795    43014 |        1    21092     25 |  0.000 % |
123.67/123.76	c |     44297 |     186     9795    43014 |        1    21981     25 |  0.000 % |
123.67/123.76	c |     44459 |     186     9795    43014 |        1    22143     25 |  0.000 % |
123.67/123.76	c |     45415 |     186     9795    43014 |        1    23099     25 |  0.000 % |
123.67/123.76	c |     55261 |     186     9795    43014 |        1    21108     25 |  0.000 % |
123.67/123.76	c |    124926 |     186     9795    43014 |        1    39748     24 |  0.000 % |
123.67/123.76	c |    600734 |     186     9795    43014 |        1    77564     22 |  0.000 % |
123.67/123.76	c |    727817 |     186     9795    43014 |        1    95243     21 |  0.000 % |
123.67/123.76	c |   1372869 |     186     9795    43014 |        1   119276     19 |  0.000 % |
123.67/123.76	c |   1449398 |     186     9795    43014 |        1   113809     19 |  0.000 % |
123.67/123.76	c |   1452151 |     186     9795    43014 |        1   116562     19 |  0.000 % |
123.67/123.76	c |   1475263 |     186     9795    43014 |        1   139674     20 |  0.000 % |
123.67/123.76	c |   1475364 |     186     9795    43014 |        1   139775     20 |  0.000 % |
123.67/123.76	c |   1477526 |     186     9795    43014 |        1   141937     20 |  0.000 % |
123.67/123.76	c |   1486364 |     186     9795    43014 |        1   150775     20 |  0.000 % |
123.67/123.76	c |   1486545 |     186     9795    43014 |        1   150956     20 |  0.000 % |
123.67/123.76	c |   1602699 |     186     9795    43014 |        1    95306     17 |  0.000 % |
123.67/123.76	c |   1602799 |     186     9795    43014 |        1    95406     17 |  0.000 % |
123.67/123.76	c |   1606115 |     186     9795    43014 |        1    98722     18 |  0.000 % |
123.67/123.76	c |   1607165 |     186     9795    43014 |        1    99772     18 |  0.000 % |
123.67/123.76	c |   1608580 |     186     9795    43014 |        1   101187     18 |  0.000 % |
123.67/123.76	c |   1609132 |     186     9795    43014 |        1   101739     18 |  0.000 % |
123.67/123.76	c |   1614647 |     186     9795    43014 |        1   107254     18 |  0.000 % |
123.67/123.76	c |   1669634 |     186     9795    43014 |        1   162241     21 |  0.000 % |
123.67/123.76	c |   1669736 |     186     9795    43014 |        1   162343     21 |  0.000 % |
123.67/123.76	c |   1669836 |     186     9795    43014 |        1   162443     21 |  0.000 % |
123.67/123.76	c |   1669937 |     186     9795    43014 |        1   162544     21 |  0.000 % |
123.67/123.76	c |   1670038 |     186     9795    43014 |        1   162645     21 |  0.000 % |
123.67/123.76	c |   1670138 |     186     9795    43014 |        1   162745     21 |  0.000 % |
802.49/802.56	c |   1730215 |     186     9795    43014 |        1   133027     19 |  0.000 % |
802.49/802.56	c |   1730316 |     186     9795    43014 |        1   133128     19 |  0.000 % |
802.49/802.56	c |   1753906 |     186     9795    43014 |        1   156718     20 |  0.000 % |
802.49/802.56	c |   1777075 |     186     9795    43014 |        1   179887     21 |  0.000 % |
802.49/802.56	c |   1777175 |     186     9795    43014 |        1   179987     21 |  0.000 % |
802.49/802.56	c |   1777275 |     186     9795    43014 |        1   180087     21 |  0.000 % |
802.49/802.56	c |   1958188 |     186     9795    43014 |        1   173606     21 |  0.000 % |
802.49/802.56	c |   1960077 |     186     9795    43014 |        1   175495     21 |  0.000 % |
802.49/802.56	c |   2153267 |     186     9795    43014 |        1   170882     19 |  0.000 % |
802.49/802.56	c |   2155295 |     186     9795    43014 |        1   172910     19 |  0.000 % |
802.49/802.56	c |   2156863 |     186     9795    43014 |        1   174478     19 |  0.000 % |
802.49/802.56	c |   2510250 |     186     9795    43014 |        1   211672     20 |  0.000 % |
802.49/802.56	c |   2510350 |     186     9795    43014 |        1   211772     20 |  0.000 % |
802.49/802.56	c |   2557443 |     186     9795    43014 |        1   148257     19 |  0.000 % |
802.49/802.56	c |   2602243 |     186     9795    43014 |        1   193057     20 |  0.000 % |
802.49/802.56	c |   2631159 |     186     9795    43014 |        1   221973     21 |  0.000 % |
802.49/802.56	c |   2653717 |     186     9795    43014 |        1   131331     18 |  0.000 % |
802.49/802.56	c |   2868730 |     186     9795    43014 |        1   230546     19 |  0.000 % |
802.49/802.56	c |   2869271 |     186     9795    43014 |        1   231087     19 |  0.000 % |
802.49/802.56	c |   2869372 |     186     9795    43014 |        1   231188     19 |  0.000 % |
802.49/802.56	c |   2962331 |     186     9795    43014 |        1   205754     20 |  0.000 % |
802.49/802.56	c |   2962583 |     186     9795    43014 |        1   206006     20 |  0.000 % |
802.49/802.56	c |   2973471 |     186     9795    43014 |        1   216894     20 |  0.000 % |
802.49/802.56	c |   2975591 |     186     9795    43014 |        1   219014     20 |  0.000 % |
802.49/802.56	c |   2976225 |     186     9795    43014 |        1   219648     20 |  0.000 % |
802.49/802.56	c |   3396097 |     186     9795    43014 |        1   139919     18 |  0.000 % |
802.49/802.56	c |   3731463 |     186     9795    43014 |        1   209887     18 |  0.000 % |
802.49/802.56	c |   3822452 |     186     9795    43014 |        1   164274     18 |  0.000 % |
802.49/802.56	c |   3830368 |     186     9795    43014 |        1   172190     18 |  0.000 % |
802.49/802.56	c |   3889662 |     186     9795    43014 |        1   231484     20 |  0.000 % |
802.49/802.56	c |   3918877 |     186     9795    43014 |        1   260699     20 |  0.000 % |
802.49/802.56	c |   3991683 |     186     9795    43014 |        1   194300     19 |  0.000 % |
802.49/802.56	c |   4144399 |     186     9795    43014 |        1   205221     19 |  0.000 % |
802.49/802.56	c |   4167707 |     186     9795    43014 |        1   228529     20 |  0.000 % |
802.49/802.56	c |   4178104 |     186     9795    43014 |        1   238926     20 |  0.000 % |
802.49/802.56	c |   4178293 |     186     9795    43014 |        1   239115     20 |  0.000 % |
802.49/802.56	c |   4247276 |     186     9795    43014 |        1   163693     18 |  0.000 % |
802.49/802.56	c |   4311567 |     186     9795    43014 |        1   227984     20 |  0.000 % |
802.49/802.56	c |   4311837 |     186     9795    43014 |        1   228254     20 |  0.000 % |
802.49/802.56	c |   4376079 |     186     9795    43014 |        1   292496     21 |  0.000 % |
802.49/802.56	c |   4885927 |     186     9795    43014 |        1   198745     19 |  0.000 % |
802.49/802.56	c |   4894675 |     186     9795    43014 |        1   207493     19 |  0.000 % |
802.49/802.56	c |   5622435 |     186     9795    43014 |        1   290065     20 |  0.000 % |
802.49/802.56	c |   5677291 |     186     9795    43014 |        1   177115     18 |  0.000 % |
802.49/802.56	c |   5753229 |     186     9795    43014 |        1   253053     19 |  0.000 % |
802.49/802.56	c |   6128506 |     186     9795    43014 |        1   284929     19 |  0.000 % |
802.49/802.56	c |   6332426 |     186     9795    43014 |        1   313251     20 |  0.000 % |
802.49/802.56	c |   6384523 |     186     9795    43014 |        1   187142     17 |  0.000 % |
802.49/802.56	c |   7095224 |     186     9795    43014 |        1   347639     19 |  0.000 % |
802.49/802.56	c |   7107076 |     186     9795    43014 |        1   359491     19 |  0.000 % |
1274.93/1274.99	c |   7107176 |     186     9795    43014 |        1   359591     19 |  0.000 % |
1274.93/1274.99	c |   7107276 |     186     9795    43014 |        1   359691     19 |  0.000 % |
1274.93/1274.99	c |   7187825 |     186     9795    43014 |        1   251646     18 |  0.000 % |
1274.93/1274.99	c |   7188783 |     186     9795    43014 |        1   252604     18 |  0.000 % |
1274.93/1274.99	c |   7216284 |     186     9795    43014 |        1   280105     19 |  0.000 % |
1274.93/1274.99	c |   7221233 |     186     9795    43014 |        1   285054     19 |  0.000 % |
1274.93/1274.99	c |   7228215 |     186     9795    43014 |        1   292036     19 |  0.000 % |
1274.93/1274.99	c |   7233677 |     186     9795    43014 |        1   297498     19 |  0.000 % |
1274.93/1274.99	c |   7341377 |     186     9795    43014 |        1   213997     18 |  0.000 % |
1274.93/1274.99	c |   7343111 |     186     9795    43014 |        1   215731     18 |  0.000 % |
1274.93/1274.99	c |   7352736 |     186     9795    43014 |        1   225356     18 |  0.000 % |
1274.93/1274.99	c |   7352837 |     186     9795    43014 |        1   225457     18 |  0.000 % |
1274.93/1274.99	c |   7390654 |     186     9795    43014 |        1   263274     19 |  0.000 % |
1274.93/1274.99	c |   7688769 |     186     9795    43014 |        1   367591     20 |  0.000 % |
1274.93/1274.99	c |   7787183 |     186     9795    43014 |        1   269600     19 |  0.000 % |
1274.93/1274.99	c |   7810058 |     186     9795    43014 |        1   292475     19 |  0.000 % |
1274.93/1274.99	c |   7810962 |     186     9795    43014 |        1   293379     19 |  0.000 % |
1274.93/1274.99	c |   7949582 |     186     9795    43014 |        1   233001     18 |  0.000 % |
1274.93/1274.99	c |   8281957 |     186     9795    43014 |        1   363779     20 |  0.000 % |
1274.93/1274.99	c |   8457452 |     186     9795    43014 |        1   335075     19 |  0.000 % |
1274.93/1274.99	c |   8544575 |     186     9795    43014 |        1   215402     17 |  0.000 % |
1274.93/1274.99	c |   8653475 |     186     9795    43014 |        1   324302     18 |  0.000 % |
1274.93/1274.99	c |   8661288 |     186     9795    43014 |        1   332115     18 |  0.000 % |
1274.93/1274.99	c |   8690839 |     186     9795    43014 |        1   361666     19 |  0.000 % |
1274.93/1274.99	c |   8690946 |     186     9795    43014 |        1   361773     19 |  0.000 % |
1274.93/1274.99	c |   8691336 |     186     9795    43014 |        1   362163     19 |  0.000 % |
1274.93/1274.99	c |   8691437 |     186     9795    43014 |        1   362264     19 |  0.000 % |
1274.93/1274.99	c |   8880536 |     186     9795    43014 |        1   341959     19 |  0.000 % |
1274.93/1274.99	c |   8987983 |     186     9795    43014 |        1   237402     17 |  0.000 % |
1274.93/1274.99	c |   9048332 |     186     9795    43014 |        1   297751     18 |  0.000 % |
1274.93/1274.99	c |   9184434 |     186     9795    43014 |        1   219249     17 |  0.000 % |
1274.93/1274.99	c |   9293282 |     186     9795    43014 |        1   328097     19 |  0.000 % |
1274.93/1274.99	c |   9300275 |     186     9795    43014 |        1   335090     19 |  0.000 % |
1274.93/1274.99	c |   9333451 |     186     9795    43014 |        1   368266     19 |  0.000 % |
1274.93/1274.99	c |   9353094 |     186     9795    43014 |        1   387909     19 |  0.000 % |
1274.93/1274.99	c |   9354569 |     186     9795    43014 |        1   389384     19 |  0.000 % |
1274.93/1274.99	c |   9355516 |     186     9795    43014 |        1   390331     20 |  0.000 % |
1274.93/1274.99	c |   9355659 |     186     9795    43014 |        1   390474     20 |  0.000 % |
1274.93/1274.99	c |   9368415 |     186     9795    43014 |        1   403230     20 |  0.000 % |
1274.93/1274.99	c |   9368515 |     186     9795    43014 |        1   403330     20 |  0.000 % |
1274.93/1274.99	c |   9368615 |     186     9795    43014 |        1   403430     20 |  0.000 % |
1274.93/1274.99	c |   9726876 |     186     9795    43014 |        1   324689     18 |  0.000 % |
1274.93/1274.99	c |   9932750 |     186     9795    43014 |        1   308170     19 |  0.000 % |
1274.93/1274.99	c |   9954997 |     186     9795    43014 |        1   330417     19 |  0.000 % |
1274.93/1274.99	c |   9955186 |     186     9795    43014 |        1   330606     19 |  0.000 % |
1274.93/1274.99	c |   9975702 |     186     9795    43014 |        1   351122     19 |  0.000 % |
1274.93/1274.99	c |   9975803 |     186     9795    43014 |        1   351223     19 |  0.000 % |
1274.93/1274.99	c |  10035215 |     186     9795    43014 |        1   410635     20 |  0.000 % |
1274.93/1274.99	c |  10052597 |     186     9795    43014 |        1   428017     20 |  0.000 % |
1274.93/1274.99	c |  10053463 |     186     9795    43014 |        1   428883     20 |  0.000 % |
2057.93/2057.91	c |  10202952 |     186     9795    43014 |        1   353372     19 |  0.000 % |
2057.93/2057.91	c |  10224246 |     186     9795    43014 |        1   374666     19 |  0.000 % |
2057.93/2057.91	c |  10247061 |     186     9795    43014 |        1   397481     19 |  0.000 % |
2057.93/2057.91	c |  10442610 |     186     9795    43014 |        1   365424     19 |  0.000 % |
2057.93/2057.91	c |  10571598 |     186     9795    43014 |        1   264222     17 |  0.000 % |
2057.93/2057.91	c |  10618017 |     186     9795    43014 |        1   310641     18 |  0.000 % |
2057.93/2057.91	c |  10619956 |     186     9795    43014 |        1   312580     18 |  0.000 % |
2057.93/2057.91	c |  10626721 |     186     9795    43014 |        1   319345     18 |  0.000 % |
2057.93/2057.91	c |  10653293 |     186     9795    43014 |        1   345917     19 |  0.000 % |
2057.93/2057.91	c |  10659202 |     186     9795    43014 |        1   351826     19 |  0.000 % |
2057.93/2057.91	c |  10664232 |     186     9795    43014 |        1   356856     19 |  0.000 % |
2057.93/2057.91	c |  10724972 |     186     9795    43014 |        1   417596     20 |  0.000 % |
2057.93/2057.91	c |  10772245 |     186     9795    43014 |        1   464869     20 |  0.000 % |
2057.93/2057.91	c |  10796993 |     186     9795    43014 |        1   256807     17 |  0.000 % |
2057.93/2057.91	c |  10813262 |     186     9795    43014 |        1   273076     18 |  0.000 % |
2057.93/2057.91	c |  11174982 |     186     9795    43014 |        1   399395     19 |  0.000 % |
2057.93/2057.91	c |  11256382 |     186     9795    43014 |        1   242803     17 |  0.000 % |
2057.93/2057.91	c |  11259199 |     186     9795    43014 |        1   245620     17 |  0.000 % |
2057.93/2057.91	c |  11377751 |     186     9795    43014 |        1   364172     19 |  0.000 % |
2057.93/2057.91	c |  12239142 |     186     9795    43014 |        1   495970     20 |  0.000 % |
2057.93/2057.91	c |  12239242 |     186     9795    43014 |        1   496070     20 |  0.000 % |
2057.93/2057.91	c |  12262620 |     186     9795    43014 |        1   271044     17 |  0.000 % |
2057.93/2057.91	c |  12305520 |     186     9795    43014 |        1   313944     18 |  0.000 % |
2057.93/2057.91	c |  12338456 |     186     9795    43014 |        1   346880     19 |  0.000 % |
2057.93/2057.91	c |  12436461 |     186     9795    43014 |        1   444885     19 |  0.000 % |
2057.93/2057.91	c |  12458578 |     186     9795    43014 |        1   467002     20 |  0.000 % |
2057.93/2057.91	c |  12868949 |     186     9795    43014 |        1   372777     18 |  0.000 % |
2057.93/2057.91	c |  12886123 |     186     9795    43014 |        1   389951     19 |  0.000 % |
2057.93/2057.91	c |  13212152 |     186     9795    43014 |        1   459775     19 |  0.000 % |
2057.93/2057.91	c |  13321409 |     186     9795    43014 |        1   310231     18 |  0.000 % |
2057.93/2057.91	c |  13356676 |     186     9795    43014 |        1   345498     19 |  0.000 % |
2057.93/2057.91	c |  13386615 |     186     9795    43014 |        1   375437     19 |  0.000 % |
2057.93/2057.91	c |  13406036 |     186     9795    43014 |        1   394858     19 |  0.000 % |
2057.93/2057.91	c |  13408012 |     186     9795    43014 |        1   396834     19 |  0.000 % |
2057.93/2057.91	c |  13408113 |     186     9795    43014 |        1   396935     19 |  0.000 % |
2057.93/2057.91	c |  13575043 |     186     9795    43014 |        1   302463     18 |  0.000 % |
2057.93/2057.91	c |  13579253 |     186     9795    43014 |        1   306673     18 |  0.000 % |
2057.93/2057.91	c |  13702371 |     186     9795    43014 |        1   429791     20 |  0.000 % |
2057.93/2057.91	c |  13704504 |     186     9795    43014 |        1   431924     20 |  0.000 % |
2057.93/2057.91	c |  13704604 |     186     9795    43014 |        1   432024     20 |  0.000 % |
2057.93/2057.91	c |  13733296 |     186     9795    43014 |        1   460716     20 |  0.000 % |
2057.93/2057.91	c |  13736408 |     186     9795    43014 |        1   463828     20 |  0.000 % |
2057.93/2057.91	c |  13778754 |     186     9795    43014 |        1   506174     20 |  0.000 % |
2057.93/2057.91	c |  13780410 |     186     9795    43014 |        1   507830     20 |  0.000 % |
2057.93/2057.91	c |  13785764 |     186     9795    43014 |        1   513184     20 |  0.000 % |
2057.93/2057.91	c |  13981640 |     186     9795    43014 |        1   445060     19 |  0.000 % |
2057.93/2057.91	c |  14091848 |     186     9795    43014 |        1   288672     17 |  0.000 % |
2057.93/2057.91	c |  14106006 |     186     9795    43014 |        1   302830     17 |  0.000 % |
2057.93/2057.91	c |  14377111 |     186     9795    43014 |        1   304732     17 |  0.000 % |
2057.93/2057.91	c |  14402881 |     186     9795    43014 |        1   330502     18 |  0.000 % |
3038.87/3038.84	c |  14488189 |     186     9795    43014 |        1   415810     18 |  0.000 % |
3038.87/3038.84	c |  14513339 |     186     9795    43014 |        1   440960     19 |  0.000 % |
3038.87/3038.84	c |  14527562 |     186     9795    43014 |        1   455183     19 |  0.000 % |
3038.87/3038.84	c |  14591790 |     186     9795    43014 |        1   519411     19 |  0.000 % |
3038.87/3038.84	c |  14722986 |     186     9795    43014 |        1   378806     18 |  0.000 % |
3038.87/3038.84	c |  14723172 |     186     9795    43014 |        1   378992     18 |  0.000 % |
3038.87/3038.84	c |  14746393 |     186     9795    43014 |        1   402213     19 |  0.000 % |
3038.87/3038.84	c |  14900183 |     186     9795    43014 |        1   281603     17 |  0.000 % |
3038.87/3038.84	c |  14917905 |     186     9795    43014 |        1   299325     17 |  0.000 % |
3038.87/3038.84	c |  14918171 |     186     9795    43014 |        1   299591     17 |  0.000 % |
3038.87/3038.84	c |  14918809 |     186     9795    43014 |        1   300229     17 |  0.000 % |
3038.87/3038.84	c |  14922934 |     186     9795    43014 |        1   304354     17 |  0.000 % |
3038.87/3038.85	c |  14993425 |     186     9795    43014 |        1   374845     18 |  0.000 % |
3038.87/3038.85	c |  15249133 |     186     9795    43014 |        1   353557     18 |  0.000 % |
3038.87/3038.85	c |  15274892 |     186     9795    43014 |        1   379316     18 |  0.000 % |
3038.87/3038.85	c |  15279928 |     186     9795    43014 |        1   384352     18 |  0.000 % |
3038.87/3038.85	c |  15415257 |     186     9795    43014 |        1   519681     20 |  0.000 % |
3038.87/3038.85	c |  15449618 |     186     9795    43014 |        1   554042     20 |  0.000 % |
3038.87/3038.85	c |  15449718 |     186     9795    43014 |        1   554142     20 |  0.000 % |
3038.87/3038.85	c |  15574881 |     186     9795    43014 |        1   399704     18 |  0.000 % |
3038.87/3038.85	c |  15585625 |     186     9795    43014 |        1   410448     18 |  0.000 % |
3038.87/3038.85	c |  15736124 |     186     9795    43014 |        1   560947     19 |  0.000 % |
3038.87/3038.85	c |  15763343 |     186     9795    43014 |        1   305963     17 |  0.000 % |
3038.87/3038.85	c |  15765206 |     186     9795    43014 |        1   307826     17 |  0.000 % |
3038.87/3038.85	c |  15929210 |     186     9795    43014 |        1   471830     20 |  0.000 % |
3038.87/3038.85	c |  15929311 |     186     9795    43014 |        1   471931     20 |  0.000 % |
3038.87/3038.85	c |  15951119 |     186     9795    43014 |        1   493739     20 |  0.000 % |
3038.87/3038.85	c |  15961122 |     186     9795    43014 |        1   503742     20 |  0.000 % |
3038.87/3038.85	c |  15965723 |     186     9795    43014 |        1   508343     20 |  0.000 % |
3038.87/3038.85	c |  16152562 |     186     9795    43014 |        1   410374     19 |  0.000 % |
3038.87/3038.85	c |  16152885 |     186     9795    43014 |        1   410697     19 |  0.000 % |
3038.87/3038.85	c |  16203868 |     186     9795    43014 |        1   461680     19 |  0.000 % |
3038.87/3038.85	c |  16894450 |     186     9795    43014 |        1   574861     18 |  0.000 % |
3038.87/3038.85	c |  17320415 |     186     9795    43014 |        1   413032     18 |  0.000 % |
3038.87/3038.85	c |  17859533 |     186     9795    43014 |        1   353948     17 |  0.000 % |
3038.87/3038.85	c |  18134984 |     186     9795    43014 |        1   326403     17 |  0.000 % |
3038.87/3038.85	c |  18518325 |     186     9795    43014 |        1   404145     18 |  0.000 % |
3038.87/3038.85	c |  18754550 |     186     9795    43014 |        1   332171     17 |  0.000 % |
3038.87/3038.85	c |  18769508 |     186     9795    43014 |        1   347129     17 |  0.000 % |
3038.87/3038.85	c |  18949947 |     186     9795    43014 |        1   527568     19 |  0.000 % |
3038.87/3038.85	c |  18962015 |     186     9795    43014 |        1   539636     19 |  0.000 % |
3038.87/3038.85	c |  18984832 |     186     9795    43014 |        1   562453     19 |  0.000 % |
3038.87/3038.85	c |  19072274 |     186     9795    43014 |        1   339100     17 |  0.000 % |
3038.87/3038.85	c |  19088278 |     186     9795    43014 |        1   355104     17 |  0.000 % |
3038.87/3038.85	c |  19089296 |     186     9795    43014 |        1   356122     17 |  0.000 % |
3038.87/3038.85	c |  19108961 |     186     9795    43014 |        1   375787     18 |  0.000 % |
3038.87/3038.85	c |  19115183 |     186     9795    43014 |        1   382009     18 |  0.000 % |
3038.87/3038.85	c |  19115762 |     186     9795    43014 |        1   382588     18 |  0.000 % |
3038.87/3038.85	c |  19119917 |     186     9795    43014 |        1   386743     18 |  0.000 % |
3038.87/3038.85	c |  19210658 |     186     9795    43014 |        1   477484     18 |  0.000 % |
3557.88/3557.88	c |  19211368 |     186     9795    43014 |        1   478194     18 |  0.000 % |
3557.88/3557.88	c |  19258025 |     186     9795    43014 |        1   524851     19 |  0.000 % |
3557.88/3557.88	c |  19258125 |     186     9795    43014 |        1   524951     19 |  0.000 % |
3557.88/3557.88	c |  19258225 |     186     9795    43014 |        1   525051     19 |  0.000 % |
3557.88/3557.88	c |  19268864 |     186     9795    43014 |        1   535690     19 |  0.000 % |
3557.88/3557.88	c |  19275254 |     186     9795    43014 |        1   542080     19 |  0.000 % |
3557.88/3557.88	c |  19275354 |     186     9795    43014 |        1   542180     19 |  0.000 % |
3557.88/3557.88	c |  19428030 |     186     9795    43014 |        1   381453     18 |  0.000 % |
3557.88/3557.88	c |  19484951 |     186     9795    43014 |        1   438374     18 |  0.000 % |
3557.88/3557.88	c |  19554447 |     186     9795    43014 |        1   507870     19 |  0.000 % |
3557.88/3557.88	c |  19554550 |     186     9795    43014 |        1   507973     19 |  0.000 % |
3557.88/3557.88	c |  19576970 |     186     9795    43014 |        1   530393     19 |  0.000 % |
3557.88/3557.88	c |  19577576 |     186     9795    43014 |        1   530999     19 |  0.000 % |
3557.88/3557.88	c |  19708471 |     186     9795    43014 |        1   345889     17 |  0.000 % |
3557.88/3557.88	c |  19716690 |     186     9795    43014 |        1   354108     17 |  0.000 % |
3557.88/3557.88	c |  19718283 |     186     9795    43014 |        1   355701     17 |  0.000 % |
3557.88/3557.88	c |  19725320 |     186     9795    43014 |        1   362738     17 |  0.000 % |
3557.88/3557.88	c |  19789423 |     186     9795    43014 |        1   426841     18 |  0.000 % |
3557.88/3557.88	c |  19809928 |     186     9795    43014 |        1   447346     18 |  0.000 % |
3557.88/3557.88	c |  19810091 |     186     9795    43014 |        1   447509     18 |  0.000 % |
3557.88/3557.88	c |  20147246 |     186     9795    43014 |        1   466070     19 |  0.000 % |
3557.88/3557.88	c |  20185681 |     186     9795    43014 |        1   504505     19 |  0.000 % |
3557.88/3557.88	c |  20188219 |     186     9795    43014 |        1   507043     19 |  0.000 % |
3557.88/3557.88	c |  20190427 |     186     9795    43014 |        1   509251     19 |  0.000 % |
3557.88/3557.88	c |  20389745 |     186     9795    43014 |        1   387364     17 |  0.000 % |
3557.88/3557.88	c |  20473399 |     186     9795    43014 |        1   471018     18 |  0.000 % |
3557.88/3557.88	c |  20491203 |     186     9795    43014 |        1   488822     18 |  0.000 % |
3557.88/3557.88	c |  20495503 |     186     9795    43014 |        1   493122     18 |  0.000 % |
3557.88/3557.88	c |  20495606 |     186     9795    43014 |        1   493225     18 |  0.000 % |
3557.88/3557.88	c |  20511409 |     186     9795    43014 |        1   509028     18 |  0.000 % |
3557.88/3557.88	c |  20560078 |     186     9795    43014 |        1   557697     19 |  0.000 % |
3557.88/3557.88	c |  20569707 |     186     9795    43014 |        1   567326     19 |  0.000 % |
3557.88/3557.88	c |  20699033 |     186     9795    43014 |        1   372853     17 |  0.000 % |
3557.88/3557.88	c |  20723611 |     186     9795    43014 |        1   397431     17 |  0.000 % |
3557.88/3557.88	c |  20733862 |     186     9795    43014 |        1   407682     17 |  0.000 % |
3557.88/3557.88	c |  20754110 |     186     9795    43014 |        1   427930     18 |  0.000 % |
3557.88/3557.88	c |  20762535 |     186     9795    43014 |        1   436355     18 |  0.000 % |
3557.88/3557.88	c |  20771500 |     186     9795    43014 |        1   445320     18 |  0.000 % |
3557.88/3557.88	c |  20871298 |     186     9795    43014 |        1   545118     19 |  0.000 % |
3557.88/3557.88	c |  20903970 |     186     9795    43014 |        1   577790     19 |  0.000 % |
3557.88/3557.88	c |  20988563 |     186     9795    43014 |        1   335982     16 |  0.000 % |
3557.88/3557.88	c |  21027126 |     186     9795    43014 |        1   374545     17 |  0.000 % |
3557.88/3557.88	c |  21248431 |     186     9795    43014 |        1   595850     19 |  0.000 % |
3557.88/3557.88	c |  21299462 |     186     9795    43014 |        1   646881     19 |  0.000 % |
3557.88/3557.88	c |  21366406 |     186     9795    43014 |        1   384824     17 |  0.000 % |
3557.88/3557.88	c |  21395520 |     186     9795    43014 |        1   413938     18 |  0.000 % |
3557.88/3557.88	c |  21469591 |     186     9795    43014 |        1   488009     18 |  0.000 % |
3557.88/3557.88	c |  21568931 |     186     9795    43014 |        1   587349     19 |  0.000 % |
3557.88/3557.88	c |  21569033 |     186     9795    43014 |        1   587451     19 |  0.000 % |
3557.88/3557.88	c |  21570120 |     186     9795    43014 |        1   588538     19 |  0.000 % |
3732.99/3732.98	c |  21618968 |     186     9795    43014 |        1   637386     19 |  0.000 % |
3732.99/3732.98	c |  21626170 |     186     9795    43014 |        1   644588     19 |  0.000 % |
3732.99/3732.98	c |  21626270 |     186     9795    43014 |        1   644688     19 |  0.000 % |
3732.99/3732.98	c |  21629583 |     186     9795    43014 |        1   648001     19 |  0.000 % |
3732.99/3732.98	c |  21631724 |     186     9795    43014 |        1   650142     19 |  0.000 % |
3732.99/3732.98	c |  21633601 |     186     9795    43014 |        1   652019     19 |  0.000 % |
3732.99/3732.98	c |  21663164 |     186     9795    43014 |        1   349980     17 |  0.000 % |
3732.99/3732.98	c |  21667215 |     186     9795    43014 |        1   354031     17 |  0.000 % |
3732.99/3732.98	c |  21740943 |     186     9795    43014 |        1   427759     17 |  0.000 % |
3732.99/3732.98	c |  21741673 |     186     9795    43014 |        1   428489     17 |  0.000 % |
3732.99/3732.98	c |  21804246 |     186     9795    43014 |        1   491062     18 |  0.000 % |
3732.99/3732.98	c |  21804347 |     186     9795    43014 |        1   491163     18 |  0.000 % |
3732.99/3732.98	c |  21807894 |     186     9795    43014 |        1   494710     18 |  0.000 % |
3732.99/3732.98	c |  21836037 |     186     9795    43014 |        1   522853     18 |  0.000 % |
3732.99/3732.98	c |  21837118 |     186     9795    43014 |        1   523934     18 |  0.000 % |
3732.99/3732.98	c |  21872041 |     186     9795    43014 |        1   558857     18 |  0.000 % |
3732.99/3732.98	c |  21971118 |     186     9795    43014 |        1   657934     19 |  0.000 % |
3732.99/3732.98	c |  21975181 |     186     9795    43014 |        1   661997     19 |  0.000 % |
3732.99/3732.98	c |  21982819 |     186     9795    43014 |        1   335437     16 |  0.000 % |
3732.99/3732.98	c |  21982919 |     186     9795    43014 |        1   335537     16 |  0.000 % |
3732.99/3732.98	c |  21983082 |     186     9795    43014 |        1   335700     16 |  0.000 % |
3732.99/3732.98	c |  22010850 |     186     9795    43014 |        1   363468     17 |  0.000 % |
3732.99/3732.98	c |  22014614 |     186     9795    43014 |        1   367232     17 |  0.000 % |
3732.99/3732.98	c |  22014715 |     186     9795    43014 |        1   367333     17 |  0.000 % |
3732.99/3732.98	c |  22041516 |     186     9795    43014 |        1   394134     17 |  0.000 % |
3732.99/3732.98	c |  22041776 |     186     9795    43014 |        1   394394     17 |  0.000 % |
3732.99/3732.98	c |  22044143 |     186     9795    43014 |        1   396761     17 |  0.000 % |
3732.99/3732.98	c |  22050324 |     186     9795    43014 |        1   402942     17 |  0.000 % |
3732.99/3732.98	c |  22057597 |     186     9795    43014 |        1   410215     17 |  0.000 % |
3732.99/3732.98	c |  22058878 |     186     9795    43014 |        1   411496     17 |  0.000 % |
3732.99/3732.98	c |  22059061 |     186     9795    43014 |        1   411679     17 |  0.000 % |
3732.99/3732.98	c |  22079331 |     186     9795    43014 |        1   431949     18 |  0.000 % |
3732.99/3732.98	c |  22082823 |     186     9795    43014 |        1   435441     18 |  0.000 % |
3732.99/3732.98	c |  22093741 |     186     9795    43014 |        1   446359     18 |  0.000 % |
3732.99/3732.98	c |  22099846 |     186     9795    43014 |        1   452464     18 |  0.000 % |
3732.99/3732.98	c |  22100419 |     186     9795    43014 |        1   453037     18 |  0.000 % |
3732.99/3732.98	c |  22118181 |     186     9795    43014 |        1   470799     18 |  0.000 % |
3732.99/3732.98	c |  22118640 |     186     9795    43014 |        1   471258     18 |  0.000 % |
3732.99/3732.98	c |  22119629 |     186     9795    43014 |        1   472247     18 |  0.000 % |
3732.99/3732.98	c |  22126832 |     186     9795    43014 |        1   479450     18 |  0.000 % |
3732.99/3732.98	c |  22138350 |     186     9795    43014 |        1   490968     18 |  0.000 % |
3732.99/3732.98	c |  22142706 |     186     9795    43014 |        1   495324     18 |  0.000 % |
3732.99/3732.98	c |  22156270 |     186     9795    43014 |        1   508888     18 |  0.000 % |
3732.99/3732.98	c |  22176034 |     186     9795    43014 |        1   528652     18 |  0.000 % |
3732.99/3732.98	c |  22176134 |     186     9795    43014 |        1   528752     18 |  0.000 % |
3732.99/3732.98	c |  22210847 |     186     9795    43014 |        1   563465     19 |  0.000 % |
3732.99/3732.98	c |  22212683 |     186     9795    43014 |        1   565301     19 |  0.000 % |
3732.99/3732.98	c |  22241892 |     186     9795    43014 |        1   594510     19 |  0.000 % |
3732.99/3732.98	c |  22340845 |     186     9795    43014 |        1   356664     16 |  0.000 % |
3978.71/3978.68	c |  22344250 |     186     9795    43014 |        1   360069     17 |  0.000 % |
3978.71/3978.68	c |  22365909 |     186     9795    43014 |        1   381728     17 |  0.000 % |
3978.71/3978.68	c |  22368274 |     186     9795    43014 |        1   384093     17 |  0.000 % |
3978.71/3978.68	c |  22372528 |     186     9795    43014 |        1   388347     17 |  0.000 % |
3978.71/3978.68	c |  22384392 |     186     9795    43014 |        1   400211     17 |  0.000 % |
3978.71/3978.68	c |  22388606 |     186     9795    43014 |        1   404425     17 |  0.000 % |
3978.71/3978.68	c |  22412102 |     186     9795    43014 |        1   427921     17 |  0.000 % |
3978.71/3978.68	c |  22448015 |     186     9795    43014 |        1   463834     18 |  0.000 % |
3978.71/3978.68	c |  22448143 |     186     9795    43014 |        1   463962     18 |  0.000 % |
3978.71/3978.68	c |  22482130 |     186     9795    43014 |        1   497949     18 |  0.000 % |
3978.71/3978.68	c |  22482333 |     186     9795    43014 |        1   498152     18 |  0.000 % |
3978.71/3978.68	c |  22482537 |     186     9795    43014 |        1   498356     18 |  0.000 % |
3978.71/3978.68	c |  22491028 |     186     9795    43014 |        1   506847     18 |  0.000 % |
3978.71/3978.68	c |  22513838 |     186     9795    43014 |        1   529657     18 |  0.000 % |
3978.71/3978.68	c |  22523778 |     186     9795    43014 |        1   539597     18 |  0.000 % |
3978.71/3978.68	c |  22544036 |     186     9795    43014 |        1   559855     19 |  0.000 % |
3978.71/3978.68	c |  22567736 |     186     9795    43014 |        1   583555     19 |  0.000 % |
3978.71/3978.68	c |  22604009 |     186     9795    43014 |        1   619828     19 |  0.000 % |
3978.71/3978.68	c |  22713693 |     186     9795    43014 |        1   390115     17 |  0.000 % |
3978.71/3978.68	c |  22806583 |     186     9795    43014 |        1   483005     17 |  0.000 % |
3978.71/3978.68	c |  22885057 |     186     9795    43014 |        1   561479     18 |  0.000 % |
3978.71/3978.68	c |  22902309 |     186     9795    43014 |        1   578731     18 |  0.000 % |
3978.71/3978.68	c |  22902410 |     186     9795    43014 |        1   578832     18 |  0.000 % |
3978.71/3978.68	c |  22902510 |     186     9795    43014 |        1   578932     18 |  0.000 % |
3978.71/3978.68	c |  22938720 |     186     9795    43014 |        1   615142     18 |  0.000 % |
3978.71/3978.68	c |  22944206 |     186     9795    43014 |        1   620628     18 |  0.000 % |
3978.71/3978.68	c |  23039355 |     186     9795    43014 |        1   373780     17 |  0.000 % |
3978.71/3978.68	c |  23057756 |     186     9795    43014 |        1   392181     17 |  0.000 % |
3978.71/3978.68	c |  23060250 |     186     9795    43014 |        1   394675     17 |  0.000 % |
3978.71/3978.68	c |  23063982 |     186     9795    43014 |        1   398407     17 |  0.000 % |
3978.71/3978.68	c |  23064592 |     186     9795    43014 |        1   399017     17 |  0.000 % |
3978.71/3978.68	c |  23064693 |     186     9795    43014 |        1   399118     17 |  0.000 % |
3978.71/3978.68	c |  23072791 |     186     9795    43014 |        1   407216     17 |  0.000 % |
3978.71/3978.68	c |  23091042 |     186     9795    43014 |        1   425467     17 |  0.000 % |
3978.71/3978.68	c |  23091654 |     186     9795    43014 |        1   426079     17 |  0.000 % |
3978.71/3978.68	c |  23142717 |     186     9795    43014 |        1   477142     18 |  0.000 % |
3978.71/3978.68	c |  23147468 |     186     9795    43014 |        1   481893     18 |  0.000 % |
3978.71/3978.68	c |  23148427 |     186     9795    43014 |        1   482852     18 |  0.000 % |
3978.71/3978.68	c |  23198201 |     186     9795    43014 |        1   532626     18 |  0.000 % |
3978.71/3978.68	c |  23230148 |     186     9795    43014 |        1   564573     18 |  0.000 % |
3978.71/3978.68	c |  23239826 |     186     9795    43014 |        1   574251     18 |  0.000 % |
3978.71/3978.68	c |  23241833 |     186     9795    43014 |        1   576258     18 |  0.000 % |
3978.71/3978.68	c |  23261634 |     186     9795    43014 |        1   596059     19 |  0.000 % |
3978.71/3978.68	c |  23310025 |     186     9795    43014 |        1   644450     19 |  0.000 % |
3978.71/3978.68	c |  23366617 |     186     9795    43014 |        1   356438     16 |  0.000 % |
3978.71/3978.68	c |  23370857 |     186     9795    43014 |        1   360678     16 |  0.000 % |
3978.71/3978.68	c |  23371202 |     186     9795    43014 |        1   361023     16 |  0.000 % |
3978.71/3978.68	c |  23376092 |     186     9795    43014 |        1   365913     17 |  0.000 % |
3978.71/3978.68	c |  23402909 |     186     9795    43014 |        1   392730     17 |  0.000 % |
3978.71/3978.68	c |  23433100 |     186     9795    43014 |        1   422921     17 |  0.000 % |
4265.20/4265.16	c |  23450974 |     186     9795    43014 |        1   440795     18 |  0.000 % |
4265.20/4265.16	c |  23458830 |     186     9795    43014 |        1   448651     18 |  0.000 % |
4265.20/4265.16	c |  23559016 |     186     9795    43014 |        1   548837     18 |  0.000 % |
4265.20/4265.16	c |  23565402 |     186     9795    43014 |        1   555223     18 |  0.000 % |
4265.20/4265.16	c |  23567445 |     186     9795    43014 |        1   557266     18 |  0.000 % |
4265.20/4265.16	c |  23581035 |     186     9795    43014 |        1   570856     19 |  0.000 % |
4265.20/4265.16	c |  23581312 |     186     9795    43014 |        1   571133     19 |  0.000 % |
4265.20/4265.16	c |  23587552 |     186     9795    43014 |        1   577373     19 |  0.000 % |
4265.20/4265.16	c |  23687764 |     186     9795    43014 |        1   677585     19 |  0.000 % |
4265.20/4265.16	c |  23690985 |     186     9795    43014 |        1   680806     19 |  0.000 % |
4265.20/4265.16	c |  23691153 |     186     9795    43014 |        1   680974     19 |  0.000 % |
4265.20/4265.16	c |  23700048 |     186     9795    43014 |        1   689869     19 |  0.000 % |
4265.20/4265.16	c |  23757942 |     186     9795    43014 |        1   400559     17 |  0.000 % |
4265.20/4265.16	c |  23760048 |     186     9795    43014 |        1   402665     17 |  0.000 % |
4265.20/4265.16	c |  23760151 |     186     9795    43014 |        1   402768     17 |  0.000 % |
4265.20/4265.16	c |  23789065 |     186     9795    43014 |        1   431682     17 |  0.000 % |
4265.20/4265.16	c |  23789165 |     186     9795    43014 |        1   431782     17 |  0.000 % |
4265.20/4265.16	c |  23881587 |     186     9795    43014 |        1   524204     18 |  0.000 % |
4265.20/4265.16	c |  23886614 |     186     9795    43014 |        1   529231     18 |  0.000 % |
4265.20/4265.16	c |  24083229 |     186     9795    43014 |        1   376047     17 |  0.000 % |
4265.20/4265.16	c |  24151896 |     186     9795    43014 |        1   444714     17 |  0.000 % |
4265.20/4265.16	c |  24194934 |     186     9795    43014 |        1   487752     18 |  0.000 % |
4265.20/4265.16	c |  24195592 |     186     9795    43014 |        1   488410     18 |  0.000 % |
4265.20/4265.16	c |  24216516 |     186     9795    43014 |        1   509334     18 |  0.000 % |
4265.20/4265.16	c |  24234822 |     186     9795    43014 |        1   527640     18 |  0.000 % |
4265.20/4265.16	c |  24264053 |     186     9795    43014 |        1   556871     18 |  0.000 % |
4265.20/4265.16	c |  24264859 |     186     9795    43014 |        1   557677     18 |  0.000 % |
4265.20/4265.16	c |  24264960 |     186     9795    43014 |        1   557778     18 |  0.000 % |
4265.20/4265.16	c |  24300760 |     186     9795    43014 |        1   593578     18 |  0.000 % |
4265.20/4265.16	c |  24343957 |     186     9795    43014 |        1   636775     19 |  0.000 % |
4265.20/4265.16	c |  24344395 |     186     9795    43014 |        1   637213     19 |  0.000 % |
4265.20/4265.16	c |  24344495 |     186     9795    43014 |        1   637313     19 |  0.000 % |
4265.20/4265.16	c |  24345970 |     186     9795    43014 |        1   638788     19 |  0.000 % |
4265.20/4265.16	c |  24488174 |     186     9795    43014 |        1   428587     17 |  0.000 % |
4265.20/4265.16	c |  24488274 |     186     9795    43014 |        1   428687     17 |  0.000 % |
4265.20/4265.16	c |  24553394 |     186     9795    43014 |        1   493807     17 |  0.000 % |
4265.20/4265.16	c |  24570484 |     186     9795    43014 |        1   510897     18 |  0.000 % |
4265.20/4265.16	c |  24570584 |     186     9795    43014 |        1   510997     18 |  0.000 % |
4265.20/4265.16	c |  24575096 |     186     9795    43014 |        1   515509     18 |  0.000 % |
4265.20/4265.16	c |  24575557 |     186     9795    43014 |        1   515970     18 |  0.000 % |
4265.20/4265.16	c |  24630609 |     186     9795    43014 |        1   571022     18 |  0.000 % |
4265.20/4265.16	c |  24646211 |     186     9795    43014 |        1   586624     18 |  0.000 % |
4265.20/4265.16	c |  24651423 |     186     9795    43014 |        1   591836     18 |  0.000 % |
4265.20/4265.16	c |  24651526 |     186     9795    43014 |        1   591939     18 |  0.000 % |
4265.20/4265.16	c |  24655789 |     186     9795    43014 |        1   596202     18 |  0.000 % |
4265.20/4265.16	c |  24656879 |     186     9795    43014 |        1   597292     18 |  0.000 % |
4265.20/4265.16	c |  24659090 |     186     9795    43014 |        1   599503     18 |  0.000 % |
4265.20/4265.16	c |  24660024 |     186     9795    43014 |        1   600437     18 |  0.000 % |
4265.20/4265.16	c |  24660124 |     186     9795    43014 |        1   600537     18 |  0.000 % |
4265.20/4265.16	c |  24663079 |     186     9795    43014 |        1   603492     18 |  0.000 % |
4374.12/4374.09	c |  24663849 |     186     9795    43014 |        1   604262     18 |  0.000 % |
4374.12/4374.09	c |  24664454 |     186     9795    43014 |        1   604867     18 |  0.000 % |
4374.12/4374.09	c |  24667986 |     186     9795    43014 |        1   608399     18 |  0.000 % |
4374.12/4374.09	c |  24668232 |     186     9795    43014 |        1   608645     18 |  0.000 % |
4374.12/4374.09	c |  24669896 |     186     9795    43014 |        1   610309     18 |  0.000 % |
4374.12/4374.09	c |  24670054 |     186     9795    43014 |        1   610467     18 |  0.000 % |
4374.12/4374.09	c |  24671168 |     186     9795    43014 |        1   611581     18 |  0.000 % |
4374.12/4374.09	c |  24671269 |     186     9795    43014 |        1   611682     18 |  0.000 % |
4374.12/4374.09	c |  24671370 |     186     9795    43014 |        1   611783     18 |  0.000 % |
4374.12/4374.09	c |  24701085 |     186     9795    43014 |        1   641498     18 |  0.000 % |
4374.12/4374.09	c |  24701446 |     186     9795    43014 |        1   641859     18 |  0.000 % |
4374.12/4374.09	c |  24706007 |     186     9795    43014 |        1   646420     18 |  0.000 % |
4374.12/4374.09	c |  24745777 |     186     9795    43014 |        1   686190     19 |  0.000 % |
4374.12/4374.09	c |  24770312 |     186     9795    43014 |        1   355728     16 |  0.000 % |
4374.12/4374.09	c |  24774064 |     186     9795    43014 |        1   359480     16 |  0.000 % |
4374.12/4374.09	c |  24774164 |     186     9795    43014 |        1   359580     16 |  0.000 % |
4374.12/4374.09	c |  24789351 |     186     9795    43014 |        1   374767     16 |  0.000 % |
4374.12/4374.09	c |  24849344 |     186     9795    43014 |        1   434760     17 |  0.000 % |
4374.12/4374.09	c |  24893654 |     186     9795    43014 |        1   479070     17 |  0.000 % |
4374.12/4374.09	c |  24953593 |     186     9795    43014 |        1   539009     18 |  0.000 % |
4374.12/4374.09	c |  24954505 |     186     9795    43014 |        1   539921     18 |  0.000 % |
4374.12/4374.09	c |  24956076 |     186     9795    43014 |        1   541492     18 |  0.000 % |
4374.12/4374.09	c |  24970464 |     186     9795    43014 |        1   555880     18 |  0.000 % |
4374.12/4374.09	c |  24985908 |     186     9795    43014 |        1   571324     18 |  0.000 % |
4374.12/4374.09	c |  24986128 |     186     9795    43014 |        1   571544     18 |  0.000 % |
4374.12/4374.09	c |  24998382 |     186     9795    43014 |        1   583798     18 |  0.000 % |
4374.12/4374.09	c |  24998482 |     186     9795    43014 |        1   583898     18 |  0.000 % |
4374.12/4374.09	c |  25021304 |     186     9795    43014 |        1   606720     18 |  0.000 % |
4374.12/4374.09	c |  25021404 |     186     9795    43014 |        1   606820     18 |  0.000 % |
4374.12/4374.09	c |  25024454 |     186     9795    43014 |        1   609870     18 |  0.000 % |
4374.12/4374.09	c |  25027439 |     186     9795    43014 |        1   612855     18 |  0.000 % |
4374.12/4374.09	c |  25028025 |     186     9795    43014 |        1   613441     18 |  0.000 % |
4374.12/4374.09	c |  25029117 |     186     9795    43014 |        1   614533     18 |  0.000 % |
4374.12/4374.09	c |  25030562 |     186     9795    43014 |        1   615978     18 |  0.000 % |
4374.12/4374.09	c |  25037579 |     186     9795    43014 |        1   622995     18 |  0.000 % |
4374.12/4374.09	c |  25037817 |     186     9795    43014 |        1   623233     18 |  0.000 % |
4374.12/4374.09	c |  25037917 |     186     9795    43014 |        1   623333     18 |  0.000 % |
4374.12/4374.09	c |  25038603 |     186     9795    43014 |        1   624019     18 |  0.000 % |
4374.12/4374.09	c |  25038704 |     186     9795    43014 |        1   624120     18 |  0.000 % |
4374.12/4374.09	c |  25051311 |     186     9795    43014 |        1   636727     18 |  0.000 % |
4374.12/4374.09	c |  25068768 |     186     9795    43014 |        1   654184     18 |  0.000 % |
4374.12/4374.09	c |  25068870 |     186     9795    43014 |        1   654286     18 |  0.000 % |
4374.12/4374.09	c |  25073448 |     186     9795    43014 |        1   658864     18 |  0.000 % |
4374.12/4374.09	c |  25075152 |     186     9795    43014 |        1   660568     18 |  0.000 % |
4374.12/4374.09	c |  25075255 |     186     9795    43014 |        1   660671     18 |  0.000 % |
4374.12/4374.09	c |  25075355 |     186     9795    43014 |        1   660771     18 |  0.000 % |
4374.12/4374.09	c |  25086559 |     186     9795    43014 |        1   671975     18 |  0.000 % |
4374.12/4374.09	c |  25098358 |     186     9795    43014 |        1   683774     18 |  0.000 % |
4374.12/4374.09	c |  25099274 |     186     9795    43014 |        1   684690     18 |  0.000 % |
4374.12/4374.09	c |  25099642 |     186     9795    43014 |        1   685058     19 |  0.000 % |
4523.23/4523.17	c |  25103003 |     186     9795    43014 |        1   688419     19 |  0.000 % |
4523.23/4523.17	c |  25107190 |     186     9795    43014 |        1   692606     19 |  0.000 % |
4523.23/4523.17	c |  25107678 |     186     9795    43014 |        1   693094     19 |  0.000 % |
4523.23/4523.17	c |  25111684 |     186     9795    43014 |        1   697100     19 |  0.000 % |
4523.23/4523.17	c |  25121954 |     186     9795    43014 |        1   707370     19 |  0.000 % |
4523.23/4523.17	c |  25127639 |     186     9795    43014 |        1   713055     19 |  0.000 % |
4523.23/4523.17	c |  25150146 |     186     9795    43014 |        1   377962     16 |  0.000 % |
4523.23/4523.17	c |  25150377 |     186     9795    43014 |        1   378193     16 |  0.000 % |
4523.23/4523.17	c |  25150481 |     186     9795    43014 |        1   378297     16 |  0.000 % |
4523.23/4523.17	c |  25150935 |     186     9795    43014 |        1   378751     16 |  0.000 % |
4523.23/4523.17	c |  25151037 |     186     9795    43014 |        1   378853     16 |  0.000 % |
4523.23/4523.17	c |  25189303 |     186     9795    43014 |        1   417119     17 |  0.000 % |
4523.23/4523.17	c |  25189417 |     186     9795    43014 |        1   417233     17 |  0.000 % |
4523.23/4523.17	c |  25205781 |     186     9795    43014 |        1   433597     17 |  0.000 % |
4523.23/4523.17	c |  25208946 |     186     9795    43014 |        1   436762     17 |  0.000 % |
4523.23/4523.17	c |  25214197 |     186     9795    43014 |        1   442013     17 |  0.000 % |
4523.23/4523.17	c |  25232485 |     186     9795    43014 |        1   460301     17 |  0.000 % |
4523.23/4523.17	c |  25244244 |     186     9795    43014 |        1   472060     17 |  0.000 % |
4523.23/4523.17	c |  25245355 |     186     9795    43014 |        1   473171     17 |  0.000 % |
4523.23/4523.17	c |  25255161 |     186     9795    43014 |        1   482977     17 |  0.000 % |
4523.23/4523.17	c |  25256116 |     186     9795    43014 |        1   483932     17 |  0.000 % |
4523.23/4523.17	c |  25263412 |     186     9795    43014 |        1   491228     17 |  0.000 % |
4523.23/4523.17	c |  25275755 |     186     9795    43014 |        1   503571     18 |  0.000 % |
4523.23/4523.17	c |  25323695 |     186     9795    43014 |        1   551511     18 |  0.000 % |
4523.23/4523.17	c |  25356825 |     186     9795    43014 |        1   584641     18 |  0.000 % |
4523.23/4523.17	c |  25357107 |     186     9795    43014 |        1   584923     18 |  0.000 % |
4523.23/4523.17	c |  25358258 |     186     9795    43014 |        1   586074     18 |  0.000 % |
4523.23/4523.17	c |  25375197 |     186     9795    43014 |        1   603013     18 |  0.000 % |
4523.23/4523.17	c |  25402318 |     186     9795    43014 |        1   630134     18 |  0.000 % |
4523.23/4523.17	c |  25407665 |     186     9795    43014 |        1   635481     18 |  0.000 % |
4523.23/4523.17	c |  25412537 |     186     9795    43014 |        1   640353     18 |  0.000 % |
4523.23/4523.17	c |  25426131 |     186     9795    43014 |        1   653947     18 |  0.000 % |
4523.23/4523.17	c |  25426231 |     186     9795    43014 |        1   654047     18 |  0.000 % |
4523.23/4523.17	c |  25584026 |     186     9795    43014 |        1   451638     17 |  0.000 % |
4523.23/4523.17	c |  25588993 |     186     9795    43014 |        1   456605     17 |  0.000 % |
4523.23/4523.17	c |  25589751 |     186     9795    43014 |        1   457363     17 |  0.000 % |
4523.23/4523.17	c |  25590233 |     186     9795    43014 |        1   457845     17 |  0.000 % |
4523.23/4523.17	c |  25611062 |     186     9795    43014 |        1   478674     17 |  0.000 % |
4523.23/4523.17	c |  25614528 |     186     9795    43014 |        1   482140     17 |  0.000 % |
4523.23/4523.17	c |  25648656 |     186     9795    43014 |        1   516268     17 |  0.000 % |
4523.23/4523.17	c |  25652042 |     186     9795    43014 |        1   519654     17 |  0.000 % |
4523.23/4523.17	c |  25652814 |     186     9795    43014 |        1   520426     17 |  0.000 % |
4523.23/4523.17	c |  25655279 |     186     9795    43014 |        1   522891     17 |  0.000 % |
4523.23/4523.17	c |  25656727 |     186     9795    43014 |        1   524339     17 |  0.000 % |
4523.23/4523.17	c |  25682766 |     186     9795    43014 |        1   550378     18 |  0.000 % |
4523.23/4523.17	c |  25682866 |     186     9795    43014 |        1   550478     18 |  0.000 % |
4523.23/4523.17	c |  25683345 |     186     9795    43014 |        1   550957     18 |  0.000 % |
4523.23/4523.17	c |  25684520 |     186     9795    43014 |        1   552132     18 |  0.000 % |
4523.23/4523.17	c |  25709455 |     186     9795    43014 |        1   577067     18 |  0.000 % |
4523.23/4523.17	c |  25733665 |     186     9795    43014 |        1   601277     18 |  0.000 % |
4641.04/4640.98	c |  25757885 |     186     9795    43014 |        1   625497     18 |  0.000 % |
4641.04/4640.98	c |  25758846 |     186     9795    43014 |        1   626458     18 |  0.000 % |
4641.04/4640.98	c |  25759368 |     186     9795    43014 |        1   626980     18 |  0.000 % |
4641.04/4640.98	c |  25762521 |     186     9795    43014 |        1   630133     18 |  0.000 % |
4641.04/4640.98	c |  25790311 |     186     9795    43014 |        1   657923     18 |  0.000 % |
4641.04/4640.98	c |  25792878 |     186     9795    43014 |        1   660490     18 |  0.000 % |
4641.04/4640.98	c |  25846379 |     186     9795    43014 |        1   713991     18 |  0.000 % |
4641.04/4640.98	c |  25848142 |     186     9795    43014 |        1   715754     18 |  0.000 % |
4641.04/4640.98	c |  25850679 |     186     9795    43014 |        1   718291     18 |  0.000 % |
4641.04/4640.98	c |  25850825 |     186     9795    43014 |        1   718437     18 |  0.000 % |
4641.04/4640.98	c |  25859513 |     186     9795    43014 |        1   364324     16 |  0.000 % |
4641.04/4640.98	c |  25859615 |     186     9795    43014 |        1   364426     16 |  0.000 % |
4641.04/4640.98	c |  25859715 |     186     9795    43014 |        1   364526     16 |  0.000 % |
4641.04/4640.98	c |  25881230 |     186     9795    43014 |        1   386041     16 |  0.000 % |
4641.04/4640.98	c |  25905044 |     186     9795    43014 |        1   409855     17 |  0.000 % |
4641.04/4640.98	c |  25919973 |     186     9795    43014 |        1   424784     17 |  0.000 % |
4641.04/4640.98	c |  25924362 |     186     9795    43014 |        1   429173     17 |  0.000 % |
4641.04/4640.98	c |  25925371 |     186     9795    43014 |        1   430182     17 |  0.000 % |
4641.04/4640.98	c |  25929488 |     186     9795    43014 |        1   434299     17 |  0.000 % |
4641.04/4640.98	c |  25931623 |     186     9795    43014 |        1   436434     17 |  0.000 % |
4641.04/4640.98	c |  25939384 |     186     9795    43014 |        1   444195     17 |  0.000 % |
4641.04/4640.98	c |  25947089 |     186     9795    43014 |        1   451900     17 |  0.000 % |
4641.04/4640.98	c |  25948354 |     186     9795    43014 |        1   453165     17 |  0.000 % |
4641.04/4640.98	c |  25950693 |     186     9795    43014 |        1   455504     17 |  0.000 % |
4641.04/4640.98	c |  25980481 |     186     9795    43014 |        1   485292     17 |  0.000 % |
4641.04/4640.98	c |  25981364 |     186     9795    43014 |        1   486175     17 |  0.000 % |
4641.04/4640.98	c |  25981467 |     186     9795    43014 |        1   486278     17 |  0.000 % |
4641.04/4640.98	c |  26073660 |     186     9795    43014 |        1   578471     18 |  0.000 % |
4641.04/4640.98	c |  26073999 |     186     9795    43014 |        1   578810     18 |  0.000 % |
4641.04/4640.98	c |  26098383 |     186     9795    43014 |        1   603194     18 |  0.000 % |
4641.04/4640.98	c |  26102192 |     186     9795    43014 |        1   607003     18 |  0.000 % |
4641.04/4640.98	c |  26106860 |     186     9795    43014 |        1   611671     18 |  0.000 % |
4641.04/4640.98	c |  26106960 |     186     9795    43014 |        1   611771     18 |  0.000 % |
4641.04/4640.98	c |  26127700 |     186     9795    43014 |        1   632511     18 |  0.000 % |
4641.04/4640.98	c |  26127800 |     186     9795    43014 |        1   632611     18 |  0.000 % |
4641.04/4640.98	c |  26128556 |     186     9795    43014 |        1   633367     18 |  0.000 % |
4641.04/4640.98	c |  26133967 |     186     9795    43014 |        1   638778     18 |  0.000 % |
4641.04/4640.98	c |  26134595 |     186     9795    43014 |        1   639406     18 |  0.000 % |
4641.04/4640.98	c |  26134968 |     186     9795    43014 |        1   639779     18 |  0.000 % |
4641.04/4640.98	c |  26171196 |     186     9795    43014 |        1   676007     18 |  0.000 % |
4641.04/4640.98	c |  26181735 |     186     9795    43014 |        1   686546     18 |  0.000 % |
4641.04/4640.98	c |  26181837 |     186     9795    43014 |        1   686648     18 |  0.000 % |
4641.04/4640.98	c |  26199153 |     186     9795    43014 |        1   703964     18 |  0.000 % |
4641.04/4640.98	c |  26199637 |     186     9795    43014 |        1   704448     18 |  0.000 % |
4641.04/4640.98	c |  26199743 |     186     9795    43014 |        1   704554     18 |  0.000 % |
4641.04/4640.98	c |  26205110 |     186     9795    43014 |        1   709921     18 |  0.000 % |
4641.04/4640.98	c |  26210330 |     186     9795    43014 |        1   715141     18 |  0.000 % |
4641.04/4640.98	c |  26210914 |     186     9795    43014 |        1   715725     18 |  0.000 % |
4641.04/4640.98	c |  26212144 |     186     9795    43014 |        1   716955     18 |  0.000 % |
4641.04/4640.98	c |  26212300 |     186     9795    43014 |        1   717111     18 |  0.000 % |
4700.52/4700.48	c |  26213495 |     186     9795    43014 |        1   718306     18 |  0.000 % |
4700.52/4700.48	c |  26213604 |     186     9795    43014 |        1   718415     18 |  0.000 % |
4700.52/4700.48	c |  26213704 |     186     9795    43014 |        1   718515     18 |  0.000 % |
4700.52/4700.48	c |  26213805 |     186     9795    43014 |        1   718616     18 |  0.000 % |
4700.52/4700.48	c |  26218193 |     186     9795    43014 |        1   723004     18 |  0.000 % |
4700.52/4700.48	c |  26220210 |     186     9795    43014 |        1   725021     18 |  0.000 % |
4700.52/4700.48	c |  26220379 |     186     9795    43014 |        1   725190     18 |  0.000 % |
4700.52/4700.48	c |  26220479 |     186     9795    43014 |        1   725290     18 |  0.000 % |
4700.52/4700.48	c |  26224903 |     186     9795    43014 |        1   729714     18 |  0.000 % |
4700.52/4700.48	c |  26225064 |     186     9795    43014 |        1   729875     18 |  0.000 % |
4700.52/4700.48	c |  26236656 |     186     9795    43014 |        1   376064     16 |  0.000 % |
4700.52/4700.48	c |  26255783 |     186     9795    43014 |        1   395191     16 |  0.000 % |
4700.52/4700.48	c |  26262930 |     186     9795    43014 |        1   402338     16 |  0.000 % |
4700.52/4700.48	c |  26263143 |     186     9795    43014 |        1   402551     16 |  0.000 % |
4700.52/4700.48	c |  26264519 |     186     9795    43014 |        1   403927     17 |  0.000 % |
4700.52/4700.48	c |  26264811 |     186     9795    43014 |        1   404219     17 |  0.000 % |
4700.52/4700.48	c |  26271780 |     186     9795    43014 |        1   411188     17 |  0.000 % |
4700.52/4700.48	c |  26279622 |     186     9795    43014 |        1   419030     17 |  0.000 % |
4700.52/4700.48	c |  26279784 |     186     9795    43014 |        1   419192     17 |  0.000 % |
4700.52/4700.48	c |  26279884 |     186     9795    43014 |        1   419292     17 |  0.000 % |
4700.52/4700.48	c |  26297245 |     186     9795    43014 |        1   436653     17 |  0.000 % |
4700.52/4700.48	c |  26299721 |     186     9795    43014 |        1   439129     17 |  0.000 % |
4700.52/4700.48	c |  26299894 |     186     9795    43014 |        1   439302     17 |  0.000 % |
4700.52/4700.48	c |  26303257 |     186     9795    43014 |        1   442665     17 |  0.000 % |
4700.52/4700.48	c |  26304100 |     186     9795    43014 |        1   443508     17 |  0.000 % |
4700.52/4700.48	c |  26307542 |     186     9795    43014 |        1   446950     17 |  0.000 % |
4700.52/4700.48	c |  26329799 |     186     9795    43014 |        1   469207     17 |  0.000 % |
4700.52/4700.48	c |  26342584 |     186     9795    43014 |        1   481992     17 |  0.000 % |
4700.52/4700.48	c |  26344315 |     186     9795    43014 |        1   483723     17 |  0.000 % |
4700.52/4700.48	c |  26344607 |     186     9795    43014 |        1   484015     17 |  0.000 % |
4700.52/4700.48	c |  26345069 |     186     9795    43014 |        1   484477     17 |  0.000 % |
4700.52/4700.48	c |  26365403 |     186     9795    43014 |        1   504811     18 |  0.000 % |
4700.52/4700.48	c |  26389547 |     186     9795    43014 |        1   528955     18 |  0.000 % |
4700.52/4700.48	c |  26401400 |     186     9795    43014 |        1   540808     18 |  0.000 % |
4700.52/4700.48	c |  26403115 |     186     9795    43014 |        1   542523     18 |  0.000 % |
4700.52/4700.48	c |  26406020 |     186     9795    43014 |        1   545428     18 |  0.000 % |
4700.52/4700.48	c |  26409781 |     186     9795    43014 |        1   549189     18 |  0.000 % |
4700.52/4700.48	c |  26434584 |     186     9795    43014 |        1   573992     18 |  0.000 % |
4700.52/4700.48	c |  26434763 |     186     9795    43014 |        1   574171     18 |  0.000 % |
4700.52/4700.48	c |  26434866 |     186     9795    43014 |        1   574274     18 |  0.000 % |
4700.52/4700.48	c |  26444244 |     186     9795    43014 |        1   583652     18 |  0.000 % |
4700.52/4700.48	c |  26445907 |     186     9795    43014 |        1   585315     18 |  0.000 % |
4700.52/4700.48	c |  26450664 |     186     9795    43014 |        1   590072     18 |  0.000 % |
4700.52/4700.48	c |  26450764 |     186     9795    43014 |        1   590172     18 |  0.000 % |
4700.52/4700.48	c |  26452336 |     186     9795    43014 |        1   591744     18 |  0.000 % |
4700.52/4700.48	c |  26455128 |     186     9795    43014 |        1   594536     18 |  0.000 % |
4700.52/4700.48	c |  26455996 |     186     9795    43014 |        1   595404     18 |  0.000 % |
4700.52/4700.48	c |  26456178 |     186     9795    43014 |        1   595586     18 |  0.000 % |
4700.52/4700.48	c |  26456877 |     186     9795    43014 |        1   596285     18 |  0.000 % |
4700.52/4700.48	c |  26461804 |     186     9795    43014 |        1   601212     18 |  0.000 % |
4804.72/4804.67	c |  26461907 |     186     9795    43014 |        1   601315     18 |  0.000 % |
4804.72/4804.67	c |  26473588 |     186     9795    43014 |        1   612996     18 |  0.000 % |
4804.72/4804.67	c |  26474728 |     186     9795    43014 |        1   614136     18 |  0.000 % |
4804.72/4804.67	c |  26484669 |     186     9795    43014 |        1   624077     18 |  0.000 % |
4804.72/4804.67	c |  26485126 |     186     9795    43014 |        1   624534     18 |  0.000 % |
4804.72/4804.67	c |  26485230 |     186     9795    43014 |        1   624638     18 |  0.000 % |
4804.72/4804.67	c |  26509864 |     186     9795    43014 |        1   649272     18 |  0.000 % |
4804.72/4804.67	c |  26511830 |     186     9795    43014 |        1   651238     18 |  0.000 % |
4804.72/4804.67	c |  26516101 |     186     9795    43014 |        1   655509     18 |  0.000 % |
4804.72/4804.67	c |  26520298 |     186     9795    43014 |        1   659706     18 |  0.000 % |
4804.72/4804.67	c |  26521705 |     186     9795    43014 |        1   661113     18 |  0.000 % |
4804.72/4804.67	c |  26524629 |     186     9795    43014 |        1   664037     19 |  0.000 % |
4804.72/4804.67	c |  26524942 |     186     9795    43014 |        1   664350     19 |  0.000 % |
4804.72/4804.67	c |  26529216 |     186     9795    43014 |        1   668624     19 |  0.000 % |
4804.72/4804.67	c |  26529318 |     186     9795    43014 |        1   668726     19 |  0.000 % |
4804.72/4804.67	c |  26532518 |     186     9795    43014 |        1   671926     19 |  0.000 % |
4804.72/4804.67	c |  26532655 |     186     9795    43014 |        1   672063     19 |  0.000 % |
4804.72/4804.67	c |  26549890 |     186     9795    43014 |        1   689298     19 |  0.000 % |
4804.72/4804.67	c |  26551250 |     186     9795    43014 |        1   690658     19 |  0.000 % |
4804.72/4804.67	c |  26551350 |     186     9795    43014 |        1   690758     19 |  0.000 % |
4804.72/4804.67	c |  26557119 |     186     9795    43014 |        1   696527     19 |  0.000 % |
4804.72/4804.67	c |  26572424 |     186     9795    43014 |        1   711832     19 |  0.000 % |
4804.72/4804.67	c |  26572579 |     186     9795    43014 |        1   711987     19 |  0.000 % |
4804.72/4804.67	c |  26572680 |     186     9795    43014 |        1   712088     19 |  0.000 % |
4804.72/4804.67	c |  26589534 |     186     9795    43014 |        1   728942     19 |  0.000 % |
4804.72/4804.67	c |  26593859 |     186     9795    43014 |        1   733267     19 |  0.000 % |
4804.72/4804.67	c |  26622649 |     186     9795    43014 |        1   394061     16 |  0.000 % |
4804.72/4804.67	c |  26622749 |     186     9795    43014 |        1   394161     16 |  0.000 % |
4804.72/4804.67	c |  26628603 |     186     9795    43014 |        1   400015     17 |  0.000 % |
4804.72/4804.67	c |  26632348 |     186     9795    43014 |        1   403760     17 |  0.000 % |
4804.72/4804.67	c |  26632629 |     186     9795    43014 |        1   404041     17 |  0.000 % |
4804.72/4804.67	c |  26635207 |     186     9795    43014 |        1   406619     17 |  0.000 % |
4804.72/4804.67	c |  26646058 |     186     9795    43014 |        1   417470     17 |  0.000 % |
4804.72/4804.67	c |  26652642 |     186     9795    43014 |        1   424054     17 |  0.000 % |
4804.72/4804.67	c |  26652742 |     186     9795    43014 |        1   424154     17 |  0.000 % |
4804.72/4804.67	c |  26675588 |     186     9795    43014 |        1   447000     17 |  0.000 % |
4804.72/4804.67	c |  26675708 |     186     9795    43014 |        1   447120     17 |  0.000 % |
4804.72/4804.67	c |  26676048 |     186     9795    43014 |        1   447460     17 |  0.000 % |
4804.72/4804.67	c |  26700936 |     186     9795    43014 |        1   472348     17 |  0.000 % |
4804.72/4804.67	c |  26721524 |     186     9795    43014 |        1   492936     17 |  0.000 % |
4804.72/4804.67	c |  26778279 |     186     9795    43014 |        1   549691     18 |  0.000 % |
4804.72/4804.67	c |  26807919 |     186     9795    43014 |        1   579331     18 |  0.000 % |
4804.72/4804.67	c |  26808020 |     186     9795    43014 |        1   579432     18 |  0.000 % |
4804.72/4804.67	c |  26811302 |     186     9795    43014 |        1   582714     18 |  0.000 % |
4804.72/4804.67	c |  26812581 |     186     9795    43014 |        1   583993     18 |  0.000 % |
4804.72/4804.67	c |  26815800 |     186     9795    43014 |        1   587212     18 |  0.000 % |
4804.72/4804.67	c |  26833732 |     186     9795    43014 |        1   605144     18 |  0.000 % |
4804.72/4804.67	c |  26833904 |     186     9795    43014 |        1   605316     18 |  0.000 % |
4804.72/4804.67	c |  26856205 |     186     9795    43014 |        1   627617     18 |  0.000 % |
4804.72/4804.67	c |  26868721 |     186     9795    43014 |        1   640133     18 |  0.000 % |
4894.53/4894.48	c |  26869859 |     186     9795    43014 |        1   641271     18 |  0.000 % |
4894.53/4894.48	c |  26873946 |     186     9795    43014 |        1   645358     18 |  0.000 % |
4894.53/4894.48	c |  26874489 |     186     9795    43014 |        1   645901     18 |  0.000 % |
4894.53/4894.48	c |  26874706 |     186     9795    43014 |        1   646118     18 |  0.000 % |
4894.53/4894.48	c |  26878851 |     186     9795    43014 |        1   650263     18 |  0.000 % |
4894.53/4894.48	c |  26879242 |     186     9795    43014 |        1   650654     18 |  0.000 % |
4894.53/4894.48	c |  26881975 |     186     9795    43014 |        1   653387     18 |  0.000 % |
4894.53/4894.48	c |  26902601 |     186     9795    43014 |        1   674013     18 |  0.000 % |
4894.53/4894.48	c |  26911126 |     186     9795    43014 |        1   682538     18 |  0.000 % |
4894.53/4894.48	c |  26911226 |     186     9795    43014 |        1   682638     18 |  0.000 % |
4894.53/4894.48	c |  26912904 |     186     9795    43014 |        1   684316     18 |  0.000 % |
4894.53/4894.48	c |  26913128 |     186     9795    43014 |        1   684540     18 |  0.000 % |
4894.53/4894.48	c |  26920300 |     186     9795    43014 |        1   691712     18 |  0.000 % |
4894.53/4894.48	c |  26922441 |     186     9795    43014 |        1   693853     18 |  0.000 % |
4894.53/4894.48	c |  26924480 |     186     9795    43014 |        1   695892     18 |  0.000 % |
4894.53/4894.48	c |  26944177 |     186     9795    43014 |        1   715589     19 |  0.000 % |
4894.53/4894.48	c |  26944280 |     186     9795    43014 |        1   715692     19 |  0.000 % |
4894.53/4894.48	c |  26953983 |     186     9795    43014 |        1   725395     19 |  0.000 % |
4894.53/4894.48	c |  26955006 |     186     9795    43014 |        1   726418     19 |  0.000 % |
4894.53/4894.48	c |  26969165 |     186     9795    43014 |        1   740577     19 |  0.000 % |
4894.53/4894.48	c |  26969265 |     186     9795    43014 |        1   740677     19 |  0.000 % |
4894.53/4894.48	c |  26974629 |     186     9795    43014 |        1   375447     16 |  0.000 % |
4894.53/4894.48	c |  26978284 |     186     9795    43014 |        1   379102     16 |  0.000 % |
4894.53/4894.48	c |  26978391 |     186     9795    43014 |        1   379209     16 |  0.000 % |
4894.53/4894.48	c |  26984852 |     186     9795    43014 |        1   385670     16 |  0.000 % |
4894.53/4894.48	c |  26985068 |     186     9795    43014 |        1   385886     16 |  0.000 % |
4894.53/4894.48	c |  26987207 |     186     9795    43014 |        1   388025     16 |  0.000 % |
4894.53/4894.48	c |  26987307 |     186     9795    43014 |        1   388125     16 |  0.000 % |
4894.53/4894.48	c |  26990504 |     186     9795    43014 |        1   391322     16 |  0.000 % |
4894.53/4894.48	c |  26991289 |     186     9795    43014 |        1   392107     16 |  0.000 % |
4894.53/4894.48	c |  26991390 |     186     9795    43014 |        1   392208     16 |  0.000 % |
4894.53/4894.48	c |  27039969 |     186     9795    43014 |        1   440787     17 |  0.000 % |
4894.53/4894.48	c |  27040070 |     186     9795    43014 |        1   440888     17 |  0.000 % |
4894.53/4894.48	c |  27060168 |     186     9795    43014 |        1   460986     17 |  0.000 % |
4894.53/4894.48	c |  27062830 |     186     9795    43014 |        1   463648     17 |  0.000 % |
4894.53/4894.48	c |  27063644 |     186     9795    43014 |        1   464462     17 |  0.000 % |
4894.53/4894.48	c |  27089599 |     186     9795    43014 |        1   490417     17 |  0.000 % |
4894.53/4894.48	c |  27090022 |     186     9795    43014 |        1   490840     17 |  0.000 % |
4894.53/4894.48	c |  27090191 |     186     9795    43014 |        1   491009     17 |  0.000 % |
4894.53/4894.48	c |  27114010 |     186     9795    43014 |        1   514828     17 |  0.000 % |
4894.53/4894.48	c |  27114130 |     186     9795    43014 |        1   514948     17 |  0.000 % |
4894.53/4894.48	c |  27114855 |     186     9795    43014 |        1   515673     17 |  0.000 % |
4894.53/4894.48	c |  27116258 |     186     9795    43014 |        1   517076     17 |  0.000 % |
4894.53/4894.48	c |  27118533 |     186     9795    43014 |        1   519351     17 |  0.000 % |
4894.53/4894.48	c |  27220840 |     186     9795    43014 |        1   621658     18 |  0.000 % |
4894.53/4894.48	c |  27224344 |     186     9795    43014 |        1   625162     18 |  0.000 % |
4894.53/4894.48	c |  27228516 |     186     9795    43014 |        1   629334     18 |  0.000 % |
4894.53/4894.48	c |  27228690 |     186     9795    43014 |        1   629508     18 |  0.000 % |
4894.53/4894.48	c |  27238073 |     186     9795    43014 |        1   638891     18 |  0.000 % |
4894.53/4894.48	c |  27238191 |     186     9795    43014 |        1   639009     18 |  0.000 % |
4954.83/4954.74	c |  27238497 |     186     9795    43014 |        1   639315     18 |  0.000 % |
4954.83/4954.74	c |  27247280 |     186     9795    43014 |        1   648098     18 |  0.000 % |
4954.83/4954.74	c |  27248453 |     186     9795    43014 |        1   649271     18 |  0.000 % |
4954.83/4954.74	c |  27254111 |     186     9795    43014 |        1   654929     18 |  0.000 % |
4954.83/4954.74	c |  27259318 |     186     9795    43014 |        1   660136     18 |  0.000 % |
4954.83/4954.74	c |  27259464 |     186     9795    43014 |        1   660282     18 |  0.000 % |
4954.83/4954.74	c |  27266832 |     186     9795    43014 |        1   667650     18 |  0.000 % |
4954.83/4954.74	c |  27267359 |     186     9795    43014 |        1   668177     18 |  0.000 % |
4954.83/4954.74	c |  27267928 |     186     9795    43014 |        1   668746     18 |  0.000 % |
4954.83/4954.74	c |  27268395 |     186     9795    43014 |        1   669213     18 |  0.000 % |
4954.83/4954.74	c |  27270460 |     186     9795    43014 |        1   671278     18 |  0.000 % |
4954.83/4954.74	c |  27270560 |     186     9795    43014 |        1   671378     18 |  0.000 % |
4954.83/4954.74	c |  27271447 |     186     9795    43014 |        1   672265     18 |  0.000 % |
4954.83/4954.74	c |  27271847 |     186     9795    43014 |        1   672665     18 |  0.000 % |
4954.83/4954.74	c |  27272272 |     186     9795    43014 |        1   673090     18 |  0.000 % |
4954.83/4954.74	c |  27272372 |     186     9795    43014 |        1   673190     18 |  0.000 % |
4954.83/4954.74	c |  27272482 |     186     9795    43014 |        1   673300     18 |  0.000 % |
4954.83/4954.74	c |  27272583 |     186     9795    43014 |        1   673401     18 |  0.000 % |
4954.83/4954.74	c |  27275607 |     186     9795    43014 |        1   676425     18 |  0.000 % |
4954.83/4954.74	c |  27275707 |     186     9795    43014 |        1   676525     18 |  0.000 % |
4954.83/4954.74	c |  27276285 |     186     9795    43014 |        1   677103     18 |  0.000 % |
4954.83/4954.74	c |  27278361 |     186     9795    43014 |        1   679179     18 |  0.000 % |
4954.83/4954.74	c |  27279270 |     186     9795    43014 |        1   680088     18 |  0.000 % |
4954.83/4954.74	c |  27320974 |     186     9795    43014 |        1   721792     18 |  0.000 % |
4954.83/4954.74	c |  27370868 |     186     9795    43014 |        1   398488     16 |  0.000 % |
4954.83/4954.74	c |  27394104 |     186     9795    43014 |        1   421724     16 |  0.000 % |
4954.83/4954.74	c |  27394334 |     186     9795    43014 |        1   421954     16 |  0.000 % |
4954.83/4954.74	c |  27394435 |     186     9795    43014 |        1   422055     16 |  0.000 % |
4954.83/4954.74	c |  27402658 |     186     9795    43014 |        1   430278     16 |  0.000 % |
4954.83/4954.74	c |  27402758 |     186     9795    43014 |        1   430378     16 |  0.000 % |
4954.83/4954.74	c |  27403793 |     186     9795    43014 |        1   431413     17 |  0.000 % |
4954.83/4954.74	c |  27404170 |     186     9795    43014 |        1   431790     17 |  0.000 % |
4954.83/4954.74	c |  27404828 |     186     9795    43014 |        1   432448     17 |  0.000 % |
4954.83/4954.74	c |  27407714 |     186     9795    43014 |        1   435334     17 |  0.000 % |
4954.83/4954.74	c |  27408391 |     186     9795    43014 |        1   436011     17 |  0.000 % |
4954.83/4954.74	c |  27408646 |     186     9795    43014 |        1   436266     17 |  0.000 % |
4954.83/4954.74	c |  27414178 |     186     9795    43014 |        1   441798     17 |  0.000 % |
4954.83/4954.74	c |  27428341 |     186     9795    43014 |        1   455961     17 |  0.000 % |
4954.83/4954.74	c |  27428444 |     186     9795    43014 |        1   456064     17 |  0.000 % |
4954.83/4954.74	c |  27452718 |     186     9795    43014 |        1   480338     17 |  0.000 % |
4954.83/4954.74	c |  27452818 |     186     9795    43014 |        1   480438     17 |  0.000 % |
4954.83/4954.74	c |  27452918 |     186     9795    43014 |        1   480538     17 |  0.000 % |
4954.83/4954.74	c |  27453119 |     186     9795    43014 |        1   480739     17 |  0.000 % |
4954.83/4954.74	c |  27453219 |     186     9795    43014 |        1   480839     17 |  0.000 % |
4954.83/4954.74	c |  27459090 |     186     9795    43014 |        1   486710     17 |  0.000 % |
4954.83/4954.74	c |  27459203 |     186     9795    43014 |        1   486823     17 |  0.000 % |
4954.83/4954.74	c |  27461159 |     186     9795    43014 |        1   488779     17 |  0.000 % |
4954.83/4954.74	c |  27468699 |     186     9795    43014 |        1   496319     17 |  0.000 % |
4954.83/4954.74	c |  27468869 |     186     9795    43014 |        1   496489     17 |  0.000 % |
4954.83/4954.74	c |  27470088 |     186     9795    43014 |

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303502-1306936715/watcher-3303502-1306936715 -o /tmp/evaluation-result-3303502-1306936715/solver-3303502-1306936715 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303502-1306936715.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 2/470 26763
/proc/meminfo: memFree=24628804/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0

[startup+0.094286 s]
/proc/loadavg: 1.92 1.99 1.99 2/470 26763
/proc/meminfo: memFree=24628804/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100287 s]
/proc/loadavg: 1.92 1.99 1.99 2/470 26763
/proc/meminfo: memFree=24628804/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300247 s]
/proc/loadavg: 1.92 1.99 1.99 2/470 26763
/proc/meminfo: memFree=24628804/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700175 s]
/proc/loadavg: 1.92 1.99 1.99 2/470 26763
/proc/meminfo: memFree=24628804/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50103 s]
/proc/loadavg: 1.92 1.99 1.99 3/472 26766
/proc/meminfo: memFree=24620360/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=23720 CPUtime=1.48 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 2826 0 0 0 148 0 0 0 25 0 1 0 883901981 24289280 2200 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26765/statm: 5930 2200 249 17 0 2571 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32424

[startup+3.10073 s]
/proc/loadavg: 1.92 1.99 1.99 3/472 26766
/proc/meminfo: memFree=24616392/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=26400 CPUtime=3.08 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 3668 0 0 0 308 0 0 0 25 0 1 0 883901981 27033600 3005 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224721 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26765/statm: 6600 3005 249 17 0 3241 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35104

[startup+6.30013 s]
/proc/loadavg: 1.93 1.99 1.99 4/472 26766
/proc/meminfo: memFree=24606972/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=29120 CPUtime=6.28 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 4630 0 0 0 628 0 0 0 25 0 1 0 883901981 29818880 3919 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26765/statm: 7280 3919 249 17 0 3921 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37824

[startup+12.7009 s]
/proc/loadavg: 1.93 1.99 1.99 3/472 26766
/proc/meminfo: memFree=24599192/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=32128 CPUtime=12.67 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 5317 0 0 0 1267 0 0 0 25 0 1 0 883901981 32899072 4575 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26765/statm: 8032 4575 249 17 0 4673 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 40832

[startup+25.5006 s]
/proc/loadavg: 1.95 1.99 1.99 3/472 26766
/proc/meminfo: memFree=24584932/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=40112 CPUtime=25.48 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 8615 0 0 0 2547 1 0 0 25 0 1 0 883901981 41074688 6011 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26765/statm: 10028 6011 249 17 0 6669 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48816

[startup+51.1008 s]
/proc/loadavg: 2.09 2.02 2.00 3/472 26767
/proc/meminfo: memFree=24594428/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=47184 CPUtime=51.08 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 11061 0 0 0 5107 1 0 0 25 0 1 0 883901981 48316416 8364 33554432000 4194304 4260849 140734770528080 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26765/statm: 11796 8364 249 17 0 8437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55888

[startup+102.317 s]
/proc/loadavg: 2.10 2.03 2.00 3/472 26768
/proc/meminfo: memFree=24585224/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=58908 CPUtime=102.28 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 15986 0 0 0 10227 1 0 0 25 0 1 0 883901981 60321792 10344 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 14727 10344 249 17 0 11368 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67612

[startup+162.301 s]
/proc/loadavg: 2.04 2.02 2.00 4/472 26779
/proc/meminfo: memFree=24560092/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=70400 CPUtime=162.27 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 20013 0 0 0 16225 2 0 0 25 0 1 0 883901981 72089600 14191 33554432000 4194304 4260849 140734770528080 18446744073709551615 4247120 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 17600 14191 249 17 0 14241 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 79104

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 26781
/proc/meminfo: memFree=24541660/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=90520 CPUtime=222.28 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 27807 0 0 0 22225 3 0 0 25 0 1 0 883901981 92692480 16977 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 22630 16977 249 17 0 19271 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 99224

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/472 26782
/proc/meminfo: memFree=24566164/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=90520 CPUtime=282.28 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 28154 0 0 0 28225 3 0 0 25 0 1 0 883901981 92692480 17313 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 22630 17313 249 17 0 19271 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 99224

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/472 26784
/proc/meminfo: memFree=24542440/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=102012 CPUtime=342.27 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 31595 0 0 0 34224 3 0 0 25 0 1 0 883901981 104460288 20585 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 25503 20585 249 17 0 22144 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 110716

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/472 26785
/proc/meminfo: memFree=24540280/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7

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

/proc/26765/statm: 61753 51817 249 17 0 58394 0
Current children cumulated CPU time (s) 4362.41
Current children cumulated vsize (KiB) 255716

[startup+4422.3 s]
/proc/loadavg: 1.01 1.05 1.34 2/465 26923
/proc/meminfo: memFree=24600284/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4422.42 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 932691 0 0 0 442043 199 0 0 25 0 1 0 883901981 221380608 49174 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 49174 249 17 0 50689 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 224896

[startup+4482.3 s]
/proc/loadavg: 1.00 1.04 1.31 2/465 26924
/proc/meminfo: memFree=24610908/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4482.41 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 945628 0 0 0 448038 203 0 0 25 0 1 0 883901981 221380608 46632 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 46632 249 17 0 50689 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 224896

[startup+4542.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/465 26926
/proc/meminfo: memFree=24587676/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=247012 CPUtime=4542.42 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 951611 0 0 0 454036 206 0 0 25 0 1 0 883901981 252940288 52380 33554432000 4194304 4260849 140734770528080 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 61753 52380 249 17 0 58394 0
Current children cumulated CPU time (s) 4542.42
Current children cumulated vsize (KiB) 255716

[startup+4602.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/465 26927
/proc/meminfo: memFree=24597432/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4602.43 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 964596 0 0 0 460033 210 0 0 25 0 1 0 883901981 221380608 49882 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 49882 249 17 0 50689 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 224896

[startup+4662.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/465 26929
/proc/meminfo: memFree=24607676/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4662.42 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 977427 0 0 0 466029 213 0 0 25 0 1 0 883901981 221380608 47123 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 47123 249 17 0 50689 0
Current children cumulated CPU time (s) 4662.42
Current children cumulated vsize (KiB) 224896

[startup+4722.32 s]
/proc/loadavg: 1.00 1.01 1.23 2/465 26931
/proc/meminfo: memFree=24586428/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=247012 CPUtime=4722.44 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 983161 0 0 0 472027 217 0 0 25 0 1 0 883901981 252940288 52640 33554432000 4194304 4260849 140734770528080 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 61753 52640 249 17 0 58394 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 255716

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/465 26932
/proc/meminfo: memFree=24598036/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4782.43 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 996182 0 0 0 478023 220 0 0 25 0 1 0 883901981 221380608 49736 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 49736 249 17 0 50689 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 224896

[startup+4842.3 s]
/proc/loadavg: 1.05 1.02 1.20 2/465 26934
/proc/meminfo: memFree=24611356/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4842.43 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 1008674 0 0 0 484019 224 0 0 25 0 1 0 883901981 221380608 46310 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 46310 249 17 0 50689 0
Current children cumulated CPU time (s) 4842.43
Current children cumulated vsize (KiB) 224896

[startup+4902.3 s]
/proc/loadavg: 1.02 1.01 1.19 2/465 26935
/proc/meminfo: memFree=24588508/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=247012 CPUtime=4902.43 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 1014718 0 0 0 490016 227 0 0 25 0 1 0 883901981 252940288 52113 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 61753 52113 249 17 0 58394 0
Current children cumulated CPU time (s) 4902.43
Current children cumulated vsize (KiB) 255716

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/465 26937
/proc/meminfo: memFree=24601104/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=216192 CPUtime=4962.44 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 1027290 0 0 0 496013 231 0 0 25 0 1 0 883901981 221380608 48925 33554432000 4194304 4260849 140734770528080 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 54048 48925 249 17 0 50689 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 224896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.16 2/465 26938
/proc/meminfo: memFree=24587940/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=247012 CPUtime=5000.04 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 1030671 0 0 0 499772 232 0 0 25 0 1 0 883901981 252940288 52164 33554432000 4194304 4260849 140734770528080 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 61753 52164 249 17 0 58394 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 255716

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

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

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.16 2/465 26938
/proc/meminfo: memFree=24587940/32951124 swapFree=56297244/67111528
[pid=26763] ppid=26761 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/26763/stat : 26763 (glucose.sh) S 26761 26763 26268 0 -1 4202496 360 313 0 0 0 0 0 0 25 0 1 0 883901979 8912896 255 33554432000 4194304 4922060 140734744090544 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/26763/statm: 2176 255 211 178 0 69 0
[pid=26765] ppid=26763 vsize=247012 CPUtime=5000.04 cores=1,3,5,7
/proc/26765/stat : 26765 (glucose_static) R 26763 26763 26268 0 -1 4202496 1030671 0 0 0 499772 232 0 0 25 0 1 0 883901981 252940288 52164 33554432000 4194304 4260849 140734770528080 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26765/statm: 61753 52164 249 17 0 58394 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 255716

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.92
CPU time (s): 5000.04
CPU user time (s): 4997.72
CPU system time (s): 2.32
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 255716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.008998
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673
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= 8
involuntary context switches= 5

runsolver used 21.4027 second user time and 55.8875 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-01 15:58:35
IDJOB=3303502
IDBENCH=83356
IDSOLVER=1687
FILE ID=node111/3303502-1306936715
RUNJOBID= node111-1306926346-26287
PBS_JOBID= 13488564
Free space on /tmp= 73900 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303502-1306936715/watcher-3303502-1306936715 -o /tmp/evaluation-result-3303502-1306936715/solver-3303502-1306936715 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303502-1306936715.cnf 

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 642fce7e30a701c3223fa5771c2e57dc
RANDOM SEED=1299968181

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24629092 kB
Buffers:        184288 kB
Cached:         307376 kB
SwapCached:      11772 kB
Active:        7736744 kB
Inactive:       319340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24629092 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            1212 kB
Writeback:           0 kB
AnonPages:     7561652 kB
Mapped:          27892 kB
Slab:           130532 kB
PageTables:      66672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149262188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node111 at 2011-06-01 17:21:57