Trace number 3263716

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) 1300.03 1300.01

General information on the benchmark

NameSAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
MD5SUM22bbcb4a25a1da66113c240898c75509
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.19197
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses28508
Sum of the clauses size57436
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 228493
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

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.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   28508    57436 |    8552       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   28058    67199 |      --       0       --      -- |     --   | -450/9763
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 435   #clauses: 28058   #literals: 67199
0.00/0.04	c CPU time:   0.031995 s
0.00/0.04	c ==============================================================================
0.00/0.05	c
0.00/0.05	c Starting glucose
0.00/0.05	c
0.04/0.65	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.04/0.65	c WARNING: for repeatability, setting FPU to use double precision
0.04/0.65	c ============================[ Problem Statistics ]=============================
0.04/0.65	c |                                                                             |
0.04/0.65	c |  Number of variables:           435                                         |
0.04/0.65	c |  Number of clauses:           28058                                         |
0.04/0.65	c |  Parse time:                   0.00 s                                       |
0.04/0.65	c |                                                                             |
0.04/0.65	c ============================[ Search Statistics ]==============================
0.04/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.65	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.04/0.65	c ===============================================================================
0.04/0.65	c |      5647 |     435    28058    67199 |        1     3647    128 |  0.000 % |
0.04/0.65	c |      5750 |     435    28058    67199 |        1     3750    128 |  0.000 % |
0.04/0.65	c |      5850 |     435    28058    67199 |        1     3850    128 |  0.000 % |
0.04/0.65	c |      5950 |     435    28058    67199 |        1     3950    129 |  0.000 % |
0.04/0.65	c |      6052 |     435    28058    67199 |        1     4052    129 |  0.000 % |
0.04/0.65	c |      6152 |     435    28058    67199 |        1     4152    129 |  0.000 % |
0.04/0.65	c |      6256 |     435    28058    67199 |        1     4256    130 |  0.000 % |
0.04/0.65	c |      6356 |     435    28058    67199 |        1     4356    130 |  0.000 % |
0.04/0.65	c |      6457 |     435    28058    67199 |        1     4457    131 |  0.000 % |
0.04/0.65	c |      6558 |     435    28058    67199 |        1     4558    131 |  0.000 % |
0.04/0.65	c |      6659 |     435    28058    67199 |        1     4659    131 |  0.000 % |
0.04/0.65	c |      6762 |     435    28058    67199 |        1     4762    131 |  0.000 % |
0.04/0.65	c |      6862 |     435    28058    67199 |        1     4862    131 |  0.000 % |
0.04/0.65	c |      6963 |     435    28058    67199 |        1     4963    131 |  0.000 % |
0.04/0.65	c |      7064 |     435    28058    67199 |        1     5064    132 |  0.000 % |
0.04/0.65	c |      7165 |     435    28058    67199 |        1     5165    132 |  0.000 % |
0.04/0.65	c |      7266 |     435    28058    67199 |        1     5266    132 |  0.000 % |
0.04/0.65	c |      7366 |     435    28058    67199 |        1     5366    132 |  0.000 % |
0.04/0.65	c |      7466 |     435    28058    67199 |        1     5466    132 |  0.000 % |
0.04/0.65	c |      7566 |     435    28058    67199 |        1     5566    132 |  0.000 % |
0.04/0.65	c |      7671 |     435    28058    67199 |        1     5671    132 |  0.000 % |
0.04/0.65	c |      7772 |     435    28058    67199 |        1     5772    132 |  0.000 % |
0.04/0.65	c |      7879 |     435    28058    67199 |        1     5879    132 |  0.000 % |
0.04/0.65	c |      7979 |     435    28058    67199 |        1     5979    132 |  0.000 % |
0.04/0.65	c |      8079 |     435    28058    67199 |        1     6079    133 |  0.000 % |
0.04/0.65	c |      8181 |     435    28058    67199 |        1     6181    133 |  0.000 % |
0.04/0.65	c |      8281 |     435    28058    67199 |        1     6281    133 |  0.000 % |
0.04/0.65	c |      8381 |     435    28058    67199 |        1     6381    133 |  0.000 % |
0.04/0.65	c |      8481 |     435    28058    67199 |        1     6481    133 |  0.000 % |
0.04/0.65	c |      8581 |     435    28058    67199 |        1     6581    133 |  0.000 % |
0.04/0.65	c |      8681 |     435    28058    67199 |        1     6681    133 |  0.000 % |
0.04/0.65	c |      8781 |     435    28058    67199 |        1     6781    133 |  0.000 % |
0.04/0.65	c |      8883 |     435    28058    67199 |        1     6883    133 |  0.000 % |
0.04/0.65	c |      9223 |     435    28058    67199 |        1     7223    133 |  0.000 % |
0.04/0.65	c |      9683 |     435    28058    67199 |        1     7683    134 |  0.000 % |
0.04/0.65	c |      9783 |     435    28058    67199 |        1     7783    134 |  0.000 % |
0.04/0.65	c |      9889 |     435    28058    67199 |        1     7889    134 |  0.000 % |
0.04/0.65	c |      9989 |     435    28058    67199 |        1     7989    134 |  0.000 % |
0.04/0.65	c |     12868 |     435    28058    67199 |        1     6575    109 |  0.000 % |
119.08/119.19	c |     13007 |     435    28058    67199 |        1     6714    109 |  0.000 % |
119.08/119.19	c |     14484 |     435    28058    67199 |        1     8191    121 |  0.000 % |
119.08/119.19	c |     14587 |     435    28058    67199 |        1     8294    121 |  0.000 % |
119.08/119.19	c |     14688 |     435    28058    67199 |        1     8395    122 |  0.000 % |
119.08/119.19	c |     14788 |     435    28058    67199 |        1     8495    122 |  0.000 % |
119.08/119.19	c |     15517 |     435    28058    67199 |        1     9224    123 |  0.000 % |
119.08/119.19	c |     15619 |     435    28058    67199 |        1     9326    123 |  0.000 % |
119.08/119.19	c |     15719 |     435    28058    67199 |        1     9426    124 |  0.000 % |
119.08/119.19	c |     15960 |     435    28058    67199 |        1     9667    125 |  0.000 % |
119.08/119.19	c |     16060 |     435    28058    67199 |        1     9767    125 |  0.000 % |
119.08/119.19	c |     16162 |     435    28058    67199 |        1     9869    125 |  0.000 % |
119.08/119.19	c |     16293 |     435    28058    67199 |        1    10000    126 |  0.000 % |
119.08/119.19	c |     16395 |     435    28058    67199 |        1    10102    125 |  0.000 % |
119.08/119.19	c |     17580 |     435    28058    67199 |        1    11287    125 |  0.000 % |
119.08/119.19	c |     17682 |     435    28058    67199 |        1    11389    125 |  0.000 % |
119.08/119.19	c |    155272 |     435    28058    67199 |        1    47892    120 |  0.000 % |
119.08/119.19	c |    156113 |     435    28058    67199 |        1    48733    120 |  0.000 % |
119.08/119.19	c |    162055 |     435    28058    67199 |        1    29873    105 |  0.000 % |
119.08/119.19	c |    165681 |     435    28058    67199 |        1    33499    105 |  0.000 % |
119.08/119.19	c |    165807 |     435    28058    67199 |        1    33625    105 |  0.000 % |
119.08/119.19	c |    210958 |     435    28058    67199 |        1    51380    109 |  0.000 % |
119.08/119.19	c |    211063 |     435    28058    67199 |        1    51485    109 |  0.000 % |
119.08/119.19	c |    211163 |     435    28058    67199 |        1    51585    109 |  0.000 % |
119.08/119.19	c |    211263 |     435    28058    67199 |        1    51685    109 |  0.000 % |
119.08/119.19	c |    211519 |     435    28058    67199 |        1    51941    109 |  0.000 % |
119.08/119.19	c |    213674 |     435    28058    67199 |        1    54096    110 |  0.000 % |
119.08/119.19	c |    239059 |     435    28058    67199 |        1    49475    118 |  0.000 % |
119.08/119.19	c |    239160 |     435    28058    67199 |        1    49576    118 |  0.000 % |
119.08/119.19	c |    239260 |     435    28058    67199 |        1    49676    118 |  0.000 % |
119.08/119.19	c |    239361 |     435    28058    67199 |        1    49777    118 |  0.000 % |
119.08/119.19	c |    239461 |     435    28058    67199 |        1    49877    118 |  0.000 % |
119.08/119.19	c |    240317 |     435    28058    67199 |        1    50733    118 |  0.000 % |
119.08/119.19	c |    240420 |     435    28058    67199 |        1    50836    119 |  0.000 % |
119.08/119.19	c |    240521 |     435    28058    67199 |        1    50937    119 |  0.000 % |
119.08/119.19	c |    621342 |     435    28058    67199 |        1    98159    122 |  0.000 % |
119.08/119.19	c |    656357 |     435    28058    67199 |        1    79785    112 |  0.000 % |
119.08/119.19	c |    657366 |     435    28058    67199 |        1    80794    111 |  0.000 % |
119.08/119.19	c |    676088 |     435    28058    67199 |        1    99516    113 |  0.000 % |
119.08/119.19	c |    676188 |     435    28058    67199 |        1    99616    113 |  0.000 % |
119.08/119.19	c |    677572 |     435    28058    67199 |        1   101000    113 |  0.000 % |
119.08/119.19	c |    678383 |     435    28058    67199 |        1   101811    113 |  0.000 % |
119.08/119.19	c |    678486 |     435    28058    67199 |        1   101914    113 |  0.000 % |
119.08/119.19	c |    678586 |     435    28058    67199 |        1   102014    113 |  0.000 % |
119.08/119.19	c |    678829 |     435    28058    67199 |        1   102257    113 |  0.000 % |
119.08/119.19	c |    679067 |     435    28058    67199 |        1   102495    113 |  0.000 % |
119.08/119.19	c |    679169 |     435    28058    67199 |        1   102597    113 |  0.000 % |
119.08/119.19	c |    679271 |     435    28058    67199 |        1   102699    113 |  0.000 % |
119.08/119.19	c |    679373 |     435    28058    67199 |        1   102801    113 |  0.000 % |
119.08/119.19	c |    679474 |     435    28058    67199 |        1   102902    113 |  0.000 % |
119.08/119.19	c |    679575 |     435    28058    67199 |        1   103003    113 |  0.000 % |
121.28/121.36	c |    679675 |     435    28058    67199 |        1   103103    113 |  0.000 % |
121.28/121.36	c |    679891 |     435    28058    67199 |        1   103319    113 |  0.000 % |
121.28/121.36	c |    679991 |     435    28058    67199 |        1   103419    113 |  0.000 % |
121.28/121.36	c |    680091 |     435    28058    67199 |        1   103519    113 |  0.000 % |
121.28/121.36	c |    680194 |     435    28058    67199 |        1   103622    113 |  0.000 % |
121.28/121.36	c |    680294 |     435    28058    67199 |        1   103722    113 |  0.000 % |
121.28/121.36	c |    680394 |     435    28058    67199 |        1   103822    113 |  0.000 % |
121.28/121.36	c |    680495 |     435    28058    67199 |        1   103923    113 |  0.000 % |
121.28/121.36	c |    680598 |     435    28058    67199 |        1   104026    113 |  0.000 % |
121.28/121.36	c |    680698 |     435    28058    67199 |        1   104126    113 |  0.000 % |
121.28/121.36	c |    680801 |     435    28058    67199 |        1   104229    113 |  0.000 % |
121.28/121.36	c |    680901 |     435    28058    67199 |        1   104329    113 |  0.000 % |
121.28/121.37	c |    681001 |     435    28058    67199 |        1   104429    113 |  0.000 % |
121.28/121.37	c |    681101 |     435    28058    67199 |        1   104529    113 |  0.000 % |
121.28/121.37	c |    681202 |     435    28058    67199 |        1   104630    113 |  0.000 % |
121.28/121.37	c |    681308 |     435    28058    67199 |        1   104736    113 |  0.000 % |
121.28/121.37	c |    681408 |     435    28058    67199 |        1   104836    113 |  0.000 % |
121.28/121.37	c |    681510 |     435    28058    67199 |        1   104938    113 |  0.000 % |
121.28/121.37	c |    681610 |     435    28058    67199 |        1   105038    113 |  0.000 % |
121.28/121.37	c |    681711 |     435    28058    67199 |        1   105139    113 |  0.000 % |
121.28/121.37	c |    681811 |     435    28058    67199 |        1   105239    113 |  0.000 % |
121.28/121.37	c |    681911 |     435    28058    67199 |        1   105339    113 |  0.000 % |
121.28/121.37	c |    682015 |     435    28058    67199 |        1   105443    113 |  0.000 % |
121.28/121.37	c |    682119 |     435    28058    67199 |        1   105547    113 |  0.000 % |
121.28/121.37	c |    682222 |     435    28058    67199 |        1   105650    113 |  0.000 % |
121.28/121.37	c |    682322 |     435    28058    67199 |        1   105750    113 |  0.000 % |
121.28/121.37	c |    682424 |     435    28058    67199 |        1   105852    113 |  0.000 % |
121.28/121.37	c |    682524 |     435    28058    67199 |        1   105952    113 |  0.000 % |
121.28/121.37	c |    682625 |     435    28058    67199 |        1   106053    113 |  0.000 % |
121.28/121.37	c |    682725 |     435    28058    67199 |        1   106153    113 |  0.000 % |
121.28/121.37	c |    683096 |     435    28058    67199 |        1   106524    113 |  0.000 % |
121.28/121.37	c |    683199 |     435    28058    67199 |        1   106627    113 |  0.000 % |
121.28/121.37	c |    683299 |     435    28058    67199 |        1   106727    113 |  0.000 % |
121.28/121.37	c |    683400 |     435    28058    67199 |        1   106828    113 |  0.000 % |
121.28/121.37	c |    683501 |     435    28058    67199 |        1   106929    113 |  0.000 % |
121.28/121.37	c |    683601 |     435    28058    67199 |        1   107029    113 |  0.000 % |
121.28/121.37	c |    683701 |     435    28058    67199 |        1   107129    113 |  0.000 % |
121.28/121.37	c |    683802 |     435    28058    67199 |        1   107230    113 |  0.000 % |
121.28/121.37	c |    683902 |     435    28058    67199 |        1   107330    113 |  0.000 % |
121.28/121.37	c |    684003 |     435    28058    67199 |        1   107431    113 |  0.000 % |
121.28/121.37	c |    684103 |     435    28058    67199 |        1   107531    113 |  0.000 % |
121.28/121.37	c |    684204 |     435    28058    67199 |        1   107632    113 |  0.000 % |
121.28/121.37	c |    684304 |     435    28058    67199 |        1   107732    113 |  0.000 % |
121.28/121.37	c |    684406 |     435    28058    67199 |        1   107834    113 |  0.000 % |
121.28/121.37	c |    684506 |     435    28058    67199 |        1   107934    113 |  0.000 % |
121.28/121.37	c |    684608 |     435    28058    67199 |        1   108036    113 |  0.000 % |
121.28/121.37	c |    684708 |     435    28058    67199 |        1   108136    113 |  0.000 % |
121.28/121.37	c |    684813 |     435    28058    67199 |        1   108241    113 |  0.000 % |
121.28/121.37	c |    684913 |     435    28058    67199 |        1   108341    113 |  0.000 % |
121.28/121.37	c |    685016 |     435    28058    67199 |        1   108444    113 |  0.000 % |
164.18/164.27	c |    685116 |     435    28058    67199 |        1   108544    113 |  0.000 % |
164.18/164.27	c |    685217 |     435    28058    67199 |        1   108645    113 |  0.000 % |
164.18/164.27	c |    685318 |     435    28058    67199 |        1   108746    113 |  0.000 % |
164.18/164.27	c |    685418 |     435    28058    67199 |        1   108846    113 |  0.000 % |
164.18/164.27	c |    685532 |     435    28058    67199 |        1   108960    113 |  0.000 % |
164.18/164.27	c |    685632 |     435    28058    67199 |        1   109060    113 |  0.000 % |
164.18/164.27	c |    685735 |     435    28058    67199 |        1   109163    113 |  0.000 % |
164.18/164.27	c |    685836 |     435    28058    67199 |        1   109264    113 |  0.000 % |
164.18/164.27	c |    685937 |     435    28058    67199 |        1   109365    113 |  0.000 % |
164.18/164.27	c |    686037 |     435    28058    67199 |        1   109465    113 |  0.000 % |
164.18/164.27	c |    686174 |     435    28058    67199 |        1   109602    113 |  0.000 % |
164.18/164.27	c |    686274 |     435    28058    67199 |        1   109702    113 |  0.000 % |
164.18/164.27	c |    686375 |     435    28058    67199 |        1   109803    113 |  0.000 % |
164.18/164.27	c |    686477 |     435    28058    67199 |        1   109905    113 |  0.000 % |
164.18/164.27	c |    686578 |     435    28058    67199 |        1   110006    113 |  0.000 % |
164.18/164.27	c |    686678 |     435    28058    67199 |        1   110106    113 |  0.000 % |
164.18/164.27	c |    686779 |     435    28058    67199 |        1   110207    113 |  0.000 % |
164.18/164.27	c |    686880 |     435    28058    67199 |        1   110308    113 |  0.000 % |
164.18/164.27	c |    686980 |     435    28058    67199 |        1   110408    113 |  0.000 % |
164.18/164.27	c |    687080 |     435    28058    67199 |        1   110508    113 |  0.000 % |
164.18/164.27	c |    687184 |     435    28058    67199 |        1   110612    113 |  0.000 % |
164.18/164.27	c |    687286 |     435    28058    67199 |        1   110714    113 |  0.000 % |
164.18/164.27	c |    687387 |     435    28058    67199 |        1   110815    113 |  0.000 % |
164.18/164.27	c |    687489 |     435    28058    67199 |        1   110917    113 |  0.000 % |
164.18/164.27	c |    687590 |     435    28058    67199 |        1   111018    113 |  0.000 % |
164.18/164.27	c |    687691 |     435    28058    67199 |        1   111119    113 |  0.000 % |
164.18/164.27	c |    687791 |     435    28058    67199 |        1   111219    113 |  0.000 % |
164.18/164.27	c |    687891 |     435    28058    67199 |        1   111319    113 |  0.000 % |
164.18/164.27	c |    687992 |     435    28058    67199 |        1   111420    114 |  0.000 % |
164.18/164.27	c |    688097 |     435    28058    67199 |        1   111525    114 |  0.000 % |
164.18/164.27	c |    688197 |     435    28058    67199 |        1   111625    114 |  0.000 % |
164.18/164.27	c |    688297 |     435    28058    67199 |        1   111725    114 |  0.000 % |
164.18/164.27	c |    688397 |     435    28058    67199 |        1   111825    114 |  0.000 % |
164.18/164.27	c |    688498 |     435    28058    67199 |        1   111926    113 |  0.000 % |
164.18/164.27	c |    690207 |     435    28058    67199 |        1    57637    105 |  0.000 % |
164.18/164.27	c |    690308 |     435    28058    67199 |        1    57738    105 |  0.000 % |
164.18/164.27	c |    765876 |     435    28058    67199 |        1    74701    105 |  0.000 % |
164.18/164.27	c |    766151 |     435    28058    67199 |        1    74976    105 |  0.000 % |
164.18/164.27	c |    766251 |     435    28058    67199 |        1    75076    105 |  0.000 % |
164.18/164.27	c |    766357 |     435    28058    67199 |        1    75182    105 |  0.000 % |
164.18/164.27	c |    766457 |     435    28058    67199 |        1    75282    105 |  0.000 % |
164.18/164.27	c |    767446 |     435    28058    67199 |        1    76271    106 |  0.000 % |
164.18/164.27	c |    767547 |     435    28058    67199 |        1    76372    106 |  0.000 % |
164.18/164.27	c |    874920 |     435    28058    67199 |        1   122539    127 |  0.000 % |
164.18/164.27	c |    875161 |     435    28058    67199 |        1   122780    127 |  0.000 % |
164.18/164.27	c |    875346 |     435    28058    67199 |        1   122965    127 |  0.000 % |
164.18/164.27	c |    875460 |     435    28058    67199 |        1   123079    127 |  0.000 % |
164.18/164.27	c |    875560 |     435    28058    67199 |        1   123179    127 |  0.000 % |
164.18/164.27	c |    875660 |     435    28058    67199 |        1   123279    127 |  0.000 % |
164.18/164.27	c |    875760 |     435    28058    67199 |        1   123379    127 |  0.000 % |
614.60/614.64	c |    876022 |     435    28058    67199 |        1   123641    127 |  0.000 % |
614.60/614.64	c |    876123 |     435    28058    67199 |        1   123742    127 |  0.000 % |
614.60/614.64	c |    876223 |     435    28058    67199 |        1   123842    127 |  0.000 % |
614.60/614.64	c |    876325 |     435    28058    67199 |        1   123944    127 |  0.000 % |
614.60/614.64	c |    876426 |     435    28058    67199 |        1   124045    127 |  0.000 % |
614.60/614.64	c |    876526 |     435    28058    67199 |        1   124145    127 |  0.000 % |
614.60/614.64	c |    876788 |     435    28058    67199 |        1   124407    127 |  0.000 % |
614.60/614.64	c |    876889 |     435    28058    67199 |        1   124508    127 |  0.000 % |
614.60/614.64	c |    878197 |     435    28058    67199 |        1   125816    127 |  0.000 % |
614.60/614.64	c |   1322718 |     435    28058    67199 |        1   148540     99 |  0.000 % |
614.60/614.64	c |   1371335 |     435    28058    67199 |        1   117758     98 |  0.000 % |
614.60/614.64	c |   1372046 |     435    28058    67199 |        1   118469     98 |  0.000 % |
614.60/614.64	c |   1372147 |     435    28058    67199 |        1   118570     98 |  0.000 % |
614.60/614.64	c |   1389101 |     435    28058    67199 |        1   135524    102 |  0.000 % |
614.60/614.64	c |   1391442 |     435    28058    67199 |        1   137865    102 |  0.000 % |
614.60/614.64	c |   1887946 |     435    28058    67199 |        1   103369    118 |  0.000 % |
614.60/614.64	c |   1888046 |     435    28058    67199 |        1   103469    118 |  0.000 % |
614.60/614.64	c |   1888151 |     435    28058    67199 |        1   103574    118 |  0.000 % |
614.60/614.64	c |   1888252 |     435    28058    67199 |        1   103675    118 |  0.000 % |
614.60/614.64	c |   1888352 |     435    28058    67199 |        1   103775    118 |  0.000 % |
614.60/614.64	c |   1888452 |     435    28058    67199 |        1   103875    118 |  0.000 % |
614.60/614.64	c |   1888554 |     435    28058    67199 |        1   103977    118 |  0.000 % |
614.60/614.64	c |   1888660 |     435    28058    67199 |        1   104083    118 |  0.000 % |
614.60/614.64	c |   1888763 |     435    28058    67199 |        1   104186    118 |  0.000 % |
614.60/614.64	c |   1888953 |     435    28058    67199 |        1   104376    118 |  0.000 % |
614.60/614.64	c |   1889055 |     435    28058    67199 |        1   104478    118 |  0.000 % |
614.60/614.64	c |   1889155 |     435    28058    67199 |        1   104578    118 |  0.000 % |
614.60/614.64	c |   1889257 |     435    28058    67199 |        1   104680    118 |  0.000 % |
614.60/614.64	c |   1889357 |     435    28058    67199 |        1   104780    118 |  0.000 % |
614.60/614.64	c |   1889608 |     435    28058    67199 |        1   105031    118 |  0.000 % |
614.60/614.64	c |   1956936 |     435    28058    67199 |        1   172359    134 |  0.000 % |
614.60/614.64	c |   1957036 |     435    28058    67199 |        1   172459    134 |  0.000 % |
614.60/614.64	c |   1957136 |     435    28058    67199 |        1   172559    134 |  0.000 % |
614.60/614.64	c |   1957237 |     435    28058    67199 |        1   172660    134 |  0.000 % |
614.60/614.64	c |   1957337 |     435    28058    67199 |        1   172760    134 |  0.000 % |
614.60/614.64	c |   1957441 |     435    28058    67199 |        1   172864    134 |  0.000 % |
614.60/614.64	c |   1957544 |     435    28058    67199 |        1   172967    134 |  0.000 % |
614.60/614.64	c |   1957664 |     435    28058    67199 |        1   173087    134 |  0.000 % |
614.60/614.64	c |   1957764 |     435    28058    67199 |        1   173187    134 |  0.000 % |
614.60/614.64	c |   1957864 |     435    28058    67199 |        1   173287    134 |  0.000 % |
614.60/614.64	c |   1957964 |     435    28058    67199 |        1   173387    134 |  0.000 % |
614.60/614.64	c |   1958078 |     435    28058    67199 |        1   173501    134 |  0.000 % |
614.60/614.64	c |   1958264 |     435    28058    67199 |        1   173687    134 |  0.000 % |
614.60/614.64	c |   1958365 |     435    28058    67199 |        1   173788    134 |  0.000 % |
614.60/614.64	c |   1958467 |     435    28058    67199 |        1   173890    134 |  0.000 % |
614.60/614.64	c |   1958567 |     435    28058    67199 |        1   173990    134 |  0.000 % |
614.60/614.64	c |   1958818 |     435    28058    67199 |        1   174241    134 |  0.000 % |
614.60/614.64	c |   1959076 |     435    28058    67199 |        1   174499    134 |  0.000 % |
614.60/614.64	c |   1959431 |     435    28058    67199 |        1   174854    134 |  0.000 % |
614.60/614.64	c |   1959531 |     435    28058    67199 |        1   174954    134 |  0.000 % |
682.20/682.25	c |   1959639 |     435    28058    67199 |        1   175062    134 |  0.000 % |
682.20/682.25	c |   1959742 |     435    28058    67199 |        1   175165    134 |  0.000 % |
682.20/682.25	c |   1959925 |     435    28058    67199 |        1   175348    134 |  0.000 % |
682.20/682.25	c |   1960027 |     435    28058    67199 |        1   175450    134 |  0.000 % |
682.20/682.25	c |   1960127 |     435    28058    67199 |        1   175550    134 |  0.000 % |
682.20/682.25	c |   1960229 |     435    28058    67199 |        1   175652    134 |  0.000 % |
682.20/682.25	c |   1960329 |     435    28058    67199 |        1   175752    134 |  0.000 % |
682.20/682.25	c |   1960429 |     435    28058    67199 |        1   175852    134 |  0.000 % |
682.20/682.25	c |   1960532 |     435    28058    67199 |        1   175955    134 |  0.000 % |
682.20/682.25	c |   1960632 |     435    28058    67199 |        1   176055    134 |  0.000 % |
682.20/682.25	c |   1960733 |     435    28058    67199 |        1   176156    134 |  0.000 % |
682.20/682.25	c |   1960833 |     435    28058    67199 |        1   176256    135 |  0.000 % |
682.20/682.25	c |   1960934 |     435    28058    67199 |        1   176357    135 |  0.000 % |
682.20/682.25	c |   1961034 |     435    28058    67199 |        1   176457    135 |  0.000 % |
682.20/682.25	c |   1961134 |     435    28058    67199 |        1   176557    135 |  0.000 % |
682.20/682.25	c |   1961236 |     435    28058    67199 |        1   176659    135 |  0.000 % |
682.20/682.25	c |   1961338 |     435    28058    67199 |        1   176761    135 |  0.000 % |
682.20/682.25	c |   1961439 |     435    28058    67199 |        1   176862    135 |  0.000 % |
682.20/682.25	c |   1961540 |     435    28058    67199 |        1   176963    135 |  0.000 % |
682.20/682.25	c |   1961640 |     435    28058    67199 |        1   177063    135 |  0.000 % |
682.20/682.25	c |   1961740 |     435    28058    67199 |        1   177163    135 |  0.000 % |
682.20/682.25	c |   1961840 |     435    28058    67199 |        1   177263    135 |  0.000 % |
682.20/682.25	c |   1961941 |     435    28058    67199 |        1   177364    135 |  0.000 % |
682.20/682.25	c |   1962042 |     435    28058    67199 |        1   177465    135 |  0.000 % |
682.20/682.25	c |   1962142 |     435    28058    67199 |        1   177565    135 |  0.000 % |
682.20/682.25	c |   1962242 |     435    28058    67199 |        1   177665    135 |  0.000 % |
682.20/682.25	c |   1962343 |     435    28058    67199 |        1   177766    135 |  0.000 % |
682.20/682.25	c |   1962444 |     435    28058    67199 |        1   177867    135 |  0.000 % |
682.20/682.25	c |   1962544 |     435    28058    67199 |        1   177967    135 |  0.000 % |
682.20/682.25	c |   1962645 |     435    28058    67199 |        1   178068    135 |  0.000 % |
682.20/682.25	c |   1962745 |     435    28058    67199 |        1   178168    135 |  0.000 % |
682.20/682.25	c |   1962847 |     435    28058    67199 |        1   178270    135 |  0.000 % |
682.20/682.25	c |   1962948 |     435    28058    67199 |        1   178371    135 |  0.000 % |
682.20/682.25	c |   1975109 |     435    28058    67199 |        1   190532    135 |  0.000 % |
682.20/682.25	c |   1975209 |     435    28058    67199 |        1   190632    135 |  0.000 % |
682.20/682.25	c |   2056983 |     435    28058    67199 |        1   174799    143 |  0.000 % |
682.20/682.25	c |   2057084 |     435    28058    67199 |        1   174900    143 |  0.000 % |
682.20/682.25	c |   2057185 |     435    28058    67199 |        1   175001    143 |  0.000 % |
682.20/682.25	c |   2057285 |     435    28058    67199 |        1   175101    143 |  0.000 % |
682.20/682.25	c |   2057385 |     435    28058    67199 |        1   175201    143 |  0.000 % |
682.20/682.25	c |   2057546 |     435    28058    67199 |        1   175362    143 |  0.000 % |
682.20/682.25	c |   2092889 |     435    28058    67199 |        1   110507    116 |  0.000 % |
682.20/682.25	c |   2092990 |     435    28058    67199 |        1   110608    116 |  0.000 % |
682.20/682.25	c |   2093091 |     435    28058    67199 |        1   110709    116 |  0.000 % |
682.20/682.25	c |   2093267 |     435    28058    67199 |        1   110885    116 |  0.000 % |
682.20/682.25	c |   2093370 |     435    28058    67199 |        1   110988    116 |  0.000 % |
682.20/682.25	c |   2093470 |     435    28058    67199 |        1   111088    116 |  0.000 % |
682.20/682.25	c |   2093570 |     435    28058    67199 |        1   111188    116 |  0.000 % |
682.20/682.25	c |   2093670 |     435    28058    67199 |        1   111288    116 |  0.000 % |
682.20/682.25	c |   2094929 |     435    28058    67199 |        1   112547    116 |  0.000 % |
702.21/702.21	c |   2095031 |     435    28058    67199 |        1   112649    116 |  0.000 % |
702.21/702.21	c |   2095244 |     435    28058    67199 |        1   112862    116 |  0.000 % |
702.21/702.21	c |   2095491 |     435    28058    67199 |        1   113109    116 |  0.000 % |
702.21/702.21	c |   2095591 |     435    28058    67199 |        1   113209    116 |  0.000 % |
702.21/702.21	c |   2095692 |     435    28058    67199 |        1   113310    116 |  0.000 % |
702.21/702.21	c |   2095902 |     435    28058    67199 |        1   113520    116 |  0.000 % |
702.21/702.21	c |   2096005 |     435    28058    67199 |        1   113623    116 |  0.000 % |
702.21/702.21	c |   2096105 |     435    28058    67199 |        1   113723    116 |  0.000 % |
702.21/702.21	c |   2097182 |     435    28058    67199 |        1   114800    117 |  0.000 % |
702.21/702.21	c |   2101429 |     435    28058    67199 |        1   119047    118 |  0.000 % |
702.21/702.21	c |   2101530 |     435    28058    67199 |        1   119148    118 |  0.000 % |
702.21/702.21	c |   2101630 |     435    28058    67199 |        1   119248    118 |  0.000 % |
702.21/702.21	c |   2103177 |     435    28058    67199 |        1   120795    119 |  0.000 % |
702.21/702.21	c |   2103523 |     435    28058    67199 |        1   121141    119 |  0.000 % |
702.21/702.21	c |   2103625 |     435    28058    67199 |        1   121243    119 |  0.000 % |
702.21/702.21	c |   2103726 |     435    28058    67199 |        1   121344    119 |  0.000 % |
702.21/702.21	c |   2103827 |     435    28058    67199 |        1   121445    119 |  0.000 % |
702.21/702.21	c |   2150023 |     435    28058    67199 |        1   167641    125 |  0.000 % |
702.21/702.21	c |   2150123 |     435    28058    67199 |        1   167741    125 |  0.000 % |
702.21/702.21	c |   2150225 |     435    28058    67199 |        1   167843    125 |  0.000 % |
702.21/702.21	c |   2150325 |     435    28058    67199 |        1   167943    125 |  0.000 % |
702.21/702.21	c |   2150425 |     435    28058    67199 |        1   168043    125 |  0.000 % |
702.21/702.21	c |   2150525 |     435    28058    67199 |        1   168143    125 |  0.000 % |
702.21/702.21	c |   2150785 |     435    28058    67199 |        1   168403    125 |  0.000 % |
702.21/702.21	c |   2150888 |     435    28058    67199 |        1   168506    125 |  0.000 % |
702.21/702.21	c |   2150989 |     435    28058    67199 |        1   168607    125 |  0.000 % |
702.21/702.21	c |   2151090 |     435    28058    67199 |        1   168708    125 |  0.000 % |
702.21/702.21	c |   2151191 |     435    28058    67199 |        1   168809    125 |  0.000 % |
702.21/702.21	c |   2151292 |     435    28058    67199 |        1   168910    125 |  0.000 % |
702.21/702.21	c |   2151461 |     435    28058    67199 |        1   169079    125 |  0.000 % |
702.21/702.21	c |   2151561 |     435    28058    67199 |        1   169179    125 |  0.000 % |
702.21/702.21	c |   2151665 |     435    28058    67199 |        1   169283    125 |  0.000 % |
702.21/702.21	c |   2151765 |     435    28058    67199 |        1   169383    125 |  0.000 % |
702.21/702.21	c |   2151867 |     435    28058    67199 |        1   169485    125 |  0.000 % |
702.21/702.21	c |   2151967 |     435    28058    67199 |        1   169585    125 |  0.000 % |
702.21/702.21	c |   2152070 |     435    28058    67199 |        1   169688    125 |  0.000 % |
702.21/702.21	c |   2152170 |     435    28058    67199 |        1   169788    125 |  0.000 % |
702.21/702.21	c |   2152272 |     435    28058    67199 |        1   169890    125 |  0.000 % |
702.21/702.21	c |   2152373 |     435    28058    67199 |        1   169991    125 |  0.000 % |
702.21/702.21	c |   2152474 |     435    28058    67199 |        1   170092    125 |  0.000 % |
702.21/702.21	c |   2152575 |     435    28058    67199 |        1   170193    125 |  0.000 % |
702.21/702.21	c |   2152675 |     435    28058    67199 |        1   170293    125 |  0.000 % |
702.21/702.21	c |   2152778 |     435    28058    67199 |        1   170396    125 |  0.000 % |
702.21/702.21	c |   2152878 |     435    28058    67199 |        1   170496    125 |  0.000 % |
702.21/702.21	c |   2152979 |     435    28058    67199 |        1   170597    125 |  0.000 % |
702.21/702.21	c |   2153079 |     435    28058    67199 |        1   170697    125 |  0.000 % |
702.21/702.21	c |   2153179 |     435    28058    67199 |        1   170797    125 |  0.000 % |
702.21/702.21	c |   2153280 |     435    28058    67199 |        1   170898    125 |  0.000 % |
702.21/702.21	c |   2153383 |     435    28058    67199 |        1   171001    125 |  0.000 % |
705.91/705.91	c |   2153483 |     435    28058    67199 |        1   171101    125 |  0.000 % |
705.91/705.91	c |   2153583 |     435    28058    67199 |        1   171201    125 |  0.000 % |
705.91/705.91	c |   2153684 |     435    28058    67199 |        1   171302    125 |  0.000 % |
705.91/705.91	c |   2153784 |     435    28058    67199 |        1   171402    125 |  0.000 % |
705.91/705.91	c |   2153885 |     435    28058    67199 |        1   171503    125 |  0.000 % |
705.91/705.91	c |   2153985 |     435    28058    67199 |        1   171603    125 |  0.000 % |
705.91/705.91	c |   2154087 |     435    28058    67199 |        1   171705    125 |  0.000 % |
705.91/705.91	c |   2154189 |     435    28058    67199 |        1   171807    125 |  0.000 % |
705.91/705.91	c |   2154289 |     435    28058    67199 |        1   171907    125 |  0.000 % |
705.91/705.91	c |   2154389 |     435    28058    67199 |        1   172007    125 |  0.000 % |
705.91/705.91	c |   2154492 |     435    28058    67199 |        1   172110    125 |  0.000 % |
705.91/705.91	c |   2154592 |     435    28058    67199 |        1   172210    125 |  0.000 % |
705.91/705.91	c |   2154693 |     435    28058    67199 |        1   172311    125 |  0.000 % |
705.91/705.91	c |   2154795 |     435    28058    67199 |        1   172413    125 |  0.000 % |
705.91/705.91	c |   2154896 |     435    28058    67199 |        1   172514    125 |  0.000 % |
705.91/705.91	c |   2154996 |     435    28058    67199 |        1   172614    125 |  0.000 % |
705.91/705.91	c |   2155096 |     435    28058    67199 |        1   172714    125 |  0.000 % |
705.91/705.91	c |   2155196 |     435    28058    67199 |        1   172814    125 |  0.000 % |
705.91/705.91	c |   2155297 |     435    28058    67199 |        1   172915    125 |  0.000 % |
705.91/705.91	c |   2155399 |     435    28058    67199 |        1   173017    125 |  0.000 % |
705.91/705.91	c |   2155499 |     435    28058    67199 |        1   173117    125 |  0.000 % |
705.91/705.91	c |   2155600 |     435    28058    67199 |        1   173218    125 |  0.000 % |
705.91/705.91	c |   2155702 |     435    28058    67199 |        1   173320    125 |  0.000 % |
705.91/705.91	c |   2155803 |     435    28058    67199 |        1   173421    125 |  0.000 % |
705.91/705.91	c |   2155903 |     435    28058    67199 |        1   173521    125 |  0.000 % |
705.91/705.91	c |   2156004 |     435    28058    67199 |        1   173622    125 |  0.000 % |
705.91/705.91	c |   2156104 |     435    28058    67199 |        1   173722    125 |  0.000 % |
705.91/705.91	c |   2156205 |     435    28058    67199 |        1   173823    125 |  0.000 % |
705.91/705.91	c |   2156307 |     435    28058    67199 |        1   173925    126 |  0.000 % |
705.91/705.91	c |   2156409 |     435    28058    67199 |        1   174027    126 |  0.000 % |
705.91/705.91	c |   2156509 |     435    28058    67199 |        1   174127    126 |  0.000 % |
705.91/705.91	c |   2156609 |     435    28058    67199 |        1   174227    126 |  0.000 % |
705.91/705.91	c |   2156710 |     435    28058    67199 |        1   174328    126 |  0.000 % |
705.91/705.91	c |   2156810 |     435    28058    67199 |        1   174428    126 |  0.000 % |
705.91/705.91	c |   2156910 |     435    28058    67199 |        1   174528    126 |  0.000 % |
705.91/705.91	c |   2157013 |     435    28058    67199 |        1   174631    126 |  0.000 % |
705.91/705.91	c |   2157114 |     435    28058    67199 |        1   174732    126 |  0.000 % |
705.91/705.91	c |   2157214 |     435    28058    67199 |        1   174832    126 |  0.000 % |
705.91/705.91	c |   2157316 |     435    28058    67199 |        1   174934    126 |  0.000 % |
705.91/705.91	c |   2157416 |     435    28058    67199 |        1   175034    126 |  0.000 % |
705.91/705.91	c |   2157517 |     435    28058    67199 |        1   175135    126 |  0.000 % |
705.91/705.91	c |   2157617 |     435    28058    67199 |        1   175235    126 |  0.000 % |
705.91/705.91	c |   2157717 |     435    28058    67199 |        1   175335    126 |  0.000 % |
705.91/705.91	c |   2157821 |     435    28058    67199 |        1   175439    126 |  0.000 % |
705.91/705.91	c |   2157921 |     435    28058    67199 |        1   175539    126 |  0.000 % |
705.91/705.91	c |   2158022 |     435    28058    67199 |        1   175640    126 |  0.000 % |
705.91/705.91	c |   2158124 |     435    28058    67199 |        1   175742    126 |  0.000 % |
705.91/705.91	c |   2158224 |     435    28058    67199 |        1   175842    126 |  0.000 % |
705.91/705.91	c |   2158326 |     435    28058    67199 |        1   175944    126 |  0.000 % |
705.91/705.91	c |   2158428 |     435    28058    67199 |        1   176046    126 |  0.000 % |
745.40/745.46	c |   2158529 |     435    28058    67199 |        1   176147    126 |  0.000 % |
745.40/745.46	c |   2158631 |     435    28058    67199 |        1   176249    126 |  0.000 % |
745.40/745.46	c |   2158731 |     435    28058    67199 |        1   176349    126 |  0.000 % |
745.40/745.46	c |   2158835 |     435    28058    67199 |        1   176453    126 |  0.000 % |
745.40/745.46	c |   2158935 |     435    28058    67199 |        1   176553    126 |  0.000 % |
745.40/745.46	c |   2159035 |     435    28058    67199 |        1   176653    126 |  0.000 % |
745.40/745.46	c |   2159136 |     435    28058    67199 |        1   176754    126 |  0.000 % |
745.40/745.46	c |   2159236 |     435    28058    67199 |        1   176854    126 |  0.000 % |
745.40/745.46	c |   2159341 |     435    28058    67199 |        1   176959    126 |  0.000 % |
745.40/745.46	c |   2159441 |     435    28058    67199 |        1   177059    126 |  0.000 % |
745.40/745.46	c |   2159541 |     435    28058    67199 |        1   177159    126 |  0.000 % |
745.40/745.46	c |   2159643 |     435    28058    67199 |        1   177261    126 |  0.000 % |
745.40/745.46	c |   2159745 |     435    28058    67199 |        1   177363    126 |  0.000 % |
745.40/745.46	c |   2159845 |     435    28058    67199 |        1   177463    126 |  0.000 % |
745.40/745.46	c |   2159945 |     435    28058    67199 |        1   177563    126 |  0.000 % |
745.40/745.46	c |   2160046 |     435    28058    67199 |        1   177664    126 |  0.000 % |
745.40/745.46	c |   2160148 |     435    28058    67199 |        1   177766    126 |  0.000 % |
745.40/745.46	c |   2160248 |     435    28058    67199 |        1   177866    126 |  0.000 % |
745.40/745.46	c |   2160349 |     435    28058    67199 |        1   177967    126 |  0.000 % |
745.40/745.46	c |   2160452 |     435    28058    67199 |        1   178070    126 |  0.000 % |
745.40/745.46	c |   2160552 |     435    28058    67199 |        1   178170    126 |  0.000 % |
745.40/745.46	c |   2224723 |     435    28058    67199 |        1   139550    112 |  0.000 % |
745.40/745.46	c |   2224824 |     435    28058    67199 |        1   139651    112 |  0.000 % |
745.40/745.46	c |   2253138 |     435    28058    67199 |        1   167965    117 |  0.000 % |
745.40/745.46	c |   2253359 |     435    28058    67199 |        1   168186    117 |  0.000 % |
745.40/745.46	c |   2253459 |     435    28058    67199 |        1   168286    117 |  0.000 % |
745.40/745.46	c |   2253560 |     435    28058    67199 |        1   168387    117 |  0.000 % |
745.40/745.46	c |   2253660 |     435    28058    67199 |        1   168487    117 |  0.000 % |
745.40/745.46	c |   2253763 |     435    28058    67199 |        1   168590    117 |  0.000 % |
745.40/745.46	c |   2253869 |     435    28058    67199 |        1   168696    117 |  0.000 % |
745.40/745.46	c |   2253971 |     435    28058    67199 |        1   168798    117 |  0.000 % |
745.40/745.46	c |   2254072 |     435    28058    67199 |        1   168899    117 |  0.000 % |
745.40/745.46	c |   2255088 |     435    28058    67199 |        1   169915    117 |  0.000 % |
745.40/745.46	c |   2255191 |     435    28058    67199 |        1   170018    117 |  0.000 % |
745.40/745.46	c |   2255293 |     435    28058    67199 |        1   170120    117 |  0.000 % |
745.40/745.46	c |   2255394 |     435    28058    67199 |        1   170221    117 |  0.000 % |
745.40/745.46	c |   2255494 |     435    28058    67199 |        1   170321    117 |  0.000 % |
745.40/745.46	c |   2255595 |     435    28058    67199 |        1   170422    117 |  0.000 % |
745.40/745.46	c |   2255695 |     435    28058    67199 |        1   170522    117 |  0.000 % |
745.40/745.46	c |   2255795 |     435    28058    67199 |        1   170622    117 |  0.000 % |
745.40/745.46	c |   2255896 |     435    28058    67199 |        1   170723    117 |  0.000 % |
745.40/745.46	c |   2288802 |     435    28058    67199 |        1   203629    115 |  0.000 % |
745.40/745.46	c |   2290571 |     435    28058    67199 |        1   205398    116 |  0.000 % |
745.40/745.46	c |   2290672 |     435    28058    67199 |        1   205499    116 |  0.000 % |
745.40/745.46	c |   2290774 |     435    28058    67199 |        1   205601    116 |  0.000 % |
745.40/745.46	c |   2290874 |     435    28058    67199 |        1   205701    116 |  0.000 % |
745.40/745.46	c |   2290976 |     435    28058    67199 |        1   205803    116 |  0.000 % |
745.40/745.46	c |   2291076 |     435    28058    67199 |        1   205903    116 |  0.000 % |
745.40/745.46	c |   2291184 |     435    28058    67199 |        1   206011    116 |  0.000 % |
745.40/745.46	c |   2291286 |     435    28058    67199 |        1   206113    116 |  0.000 % |
848.61/848.62	c |   2291396 |     435    28058    67199 |        1   206223    116 |  0.000 % |
848.61/848.62	c |   2291497 |     435    28058    67199 |        1   206324    116 |  0.000 % |
848.61/848.62	c |   2291840 |     435    28058    67199 |        1   206667    116 |  0.000 % |
848.61/848.62	c |   2291940 |     435    28058    67199 |        1   206767    116 |  0.000 % |
848.61/848.62	c |   2292041 |     435    28058    67199 |        1   206868    116 |  0.000 % |
848.61/848.62	c |   2292209 |     435    28058    67199 |        1   207036    116 |  0.000 % |
848.61/848.62	c |   2299140 |     435    28058    67199 |        1   108565    117 |  0.000 % |
848.61/848.62	c |   2299241 |     435    28058    67199 |        1   108666    117 |  0.000 % |
848.61/848.62	c |   2299350 |     435    28058    67199 |        1   108775    117 |  0.000 % |
848.61/848.62	c |   2301523 |     435    28058    67199 |        1   110948    117 |  0.000 % |
848.61/848.62	c |   2301623 |     435    28058    67199 |        1   111048    117 |  0.000 % |
848.61/848.62	c |   2385678 |     435    28058    67199 |        1   195103    118 |  0.000 % |
848.61/848.62	c |   2385779 |     435    28058    67199 |        1   195204    118 |  0.000 % |
848.61/848.62	c |   2386803 |     435    28058    67199 |        1   196228    118 |  0.000 % |
848.61/848.62	c |   2402753 |     435    28058    67199 |        1   212178    117 |  0.000 % |
848.61/848.62	c |   2403122 |     435    28058    67199 |        1   212547    118 |  0.000 % |
848.61/848.62	c |   2403223 |     435    28058    67199 |        1   212648    118 |  0.000 % |
848.61/848.62	c |   2403400 |     435    28058    67199 |        1   212825    118 |  0.000 % |
848.61/848.62	c |   2403500 |     435    28058    67199 |        1   212925    118 |  0.000 % |
848.61/848.62	c |   2403602 |     435    28058    67199 |        1   213027    118 |  0.000 % |
848.61/848.62	c |   2403704 |     435    28058    67199 |        1   213129    118 |  0.000 % |
848.61/848.62	c |   2420959 |     435    28058    67199 |        1   122390    115 |  0.000 % |
848.61/848.62	c |   2421256 |     435    28058    67199 |        1   122687    115 |  0.000 % |
848.61/848.62	c |   2421358 |     435    28058    67199 |        1   122789    115 |  0.000 % |
848.61/848.62	c |   2475942 |     435    28058    67199 |        1   177373    120 |  0.000 % |
848.61/848.62	c |   2491006 |     435    28058    67199 |        1   192437    120 |  0.000 % |
848.61/848.62	c |   2491875 |     435    28058    67199 |        1   193306    120 |  0.000 % |
848.61/848.62	c |   2491976 |     435    28058    67199 |        1   193407    120 |  0.000 % |
848.61/848.62	c |   2492739 |     435    28058    67199 |        1   194170    120 |  0.000 % |
848.61/848.62	c |   2492839 |     435    28058    67199 |        1   194270    120 |  0.000 % |
848.61/848.62	c |   2492940 |     435    28058    67199 |        1   194371    120 |  0.000 % |
848.61/848.62	c |   2495095 |     435    28058    67199 |        1   196526    120 |  0.000 % |
848.61/848.62	c |   2495199 |     435    28058    67199 |        1   196630    120 |  0.000 % |
848.61/848.62	c |   2495331 |     435    28058    67199 |        1   196762    121 |  0.000 % |
848.61/848.62	c |   2495431 |     435    28058    67199 |        1   196862    121 |  0.000 % |
848.61/848.62	c |   2495531 |     435    28058    67199 |        1   196962    121 |  0.000 % |
848.61/848.62	c |   2496145 |     435    28058    67199 |        1   197576    121 |  0.000 % |
848.61/848.62	c |   2496374 |     435    28058    67199 |        1   197805    121 |  0.000 % |
848.61/848.62	c |   2496560 |     435    28058    67199 |        1   197991    121 |  0.000 % |
848.61/848.62	c |   2496661 |     435    28058    67199 |        1   198092    121 |  0.000 % |
848.61/848.62	c |   2496763 |     435    28058    67199 |        1   198194    121 |  0.000 % |
848.61/848.62	c |   2496863 |     435    28058    67199 |        1   198294    121 |  0.000 % |
848.61/848.62	c |   2497170 |     435    28058    67199 |        1   198601    121 |  0.000 % |
848.61/848.62	c |   2497477 |     435    28058    67199 |        1   198908    121 |  0.000 % |
848.61/848.62	c |   2499826 |     435    28058    67199 |        1   201257    121 |  0.000 % |
848.61/848.62	c |   2504204 |     435    28058    67199 |        1   205635    121 |  0.000 % |
848.61/848.62	c |   2504307 |     435    28058    67199 |        1   205738    121 |  0.000 % |
848.61/848.62	c |   2505346 |     435    28058    67199 |        1   206777    121 |  0.000 % |
848.61/848.62	c |   2519508 |     435    28058    67199 |        1   220939    121 |  0.000 % |
848.61/848.62	c |   2519746 |     435    28058    67199 |        1   221177    121 |  0.000 % |
929.01/929.09	c |   2519847 |     435    28058    67199 |        1   110670    115 |  0.000 % |
929.01/929.09	c |   2519948 |     435    28058    67199 |        1   110771    115 |  0.000 % |
929.01/929.09	c |   2560567 |     435    28058    67199 |        1   151390    112 |  0.000 % |
929.01/929.09	c |   2577808 |     435    28058    67199 |        1   168631    111 |  0.000 % |
929.01/929.09	c |   2577908 |     435    28058    67199 |        1   168731    111 |  0.000 % |
929.01/929.09	c |   2579119 |     435    28058    67199 |        1   169942    111 |  0.000 % |
929.01/929.09	c |   2579221 |     435    28058    67199 |        1   170044    111 |  0.000 % |
929.01/929.09	c |   2579321 |     435    28058    67199 |        1   170144    111 |  0.000 % |
929.01/929.09	c |   2579435 |     435    28058    67199 |        1   170258    111 |  0.000 % |
929.01/929.09	c |   2579535 |     435    28058    67199 |        1   170358    111 |  0.000 % |
929.01/929.09	c |   2580281 |     435    28058    67199 |        1   171104    111 |  0.000 % |
929.01/929.09	c |   2580382 |     435    28058    67199 |        1   171205    111 |  0.000 % |
929.01/929.09	c |   2580482 |     435    28058    67199 |        1   171305    111 |  0.000 % |
929.01/929.09	c |   2580582 |     435    28058    67199 |        1   171405    111 |  0.000 % |
929.01/929.09	c |   2580683 |     435    28058    67199 |        1   171506    111 |  0.000 % |
929.01/929.09	c |   2600694 |     435    28058    67199 |        1   191517    112 |  0.000 % |
929.01/929.09	c |   2600798 |     435    28058    67199 |        1   191621    112 |  0.000 % |
929.01/929.09	c |   2600898 |     435    28058    67199 |        1   191721    112 |  0.000 % |
929.01/929.09	c |   2600998 |     435    28058    67199 |        1   191821    112 |  0.000 % |
929.01/929.09	c |   2601099 |     435    28058    67199 |        1   191922    112 |  0.000 % |
929.01/929.09	c |   2601382 |     435    28058    67199 |        1   192205    112 |  0.000 % |
929.01/929.09	c |   2601483 |     435    28058    67199 |        1   192306    112 |  0.000 % |
929.01/929.09	c |   2604497 |     435    28058    67199 |        1   195320    112 |  0.000 % |
929.01/929.09	c |   2636999 |     435    28058    67199 |        1   114620    114 |  0.000 % |
929.01/929.09	c |   2637101 |     435    28058    67199 |        1   114722    114 |  0.000 % |
929.01/929.09	c |   2637406 |     435    28058    67199 |        1   115027    114 |  0.000 % |
929.01/929.09	c |   2637673 |     435    28058    67199 |        1   115294    114 |  0.000 % |
929.01/929.09	c |   2645749 |     435    28058    67199 |        1   123370    117 |  0.000 % |
929.01/929.09	c |   2645849 |     435    28058    67199 |        1   123470    117 |  0.000 % |
929.01/929.09	c |   2645950 |     435    28058    67199 |        1   123571    117 |  0.000 % |
929.01/929.09	c |   2646054 |     435    28058    67199 |        1   123675    117 |  0.000 % |
929.01/929.09	c |   2646525 |     435    28058    67199 |        1   124146    117 |  0.000 % |
929.01/929.09	c |   2646849 |     435    28058    67199 |        1   124470    117 |  0.000 % |
929.01/929.09	c |   2662318 |     435    28058    67199 |        1   139939    116 |  0.000 % |
929.01/929.09	c |   2671488 |     435    28058    67199 |        1   149109    116 |  0.000 % |
929.01/929.09	c |   2676808 |     435    28058    67199 |        1   154429    116 |  0.000 % |
929.01/929.09	c |   2676908 |     435    28058    67199 |        1   154529    116 |  0.000 % |
929.01/929.09	c |   2699871 |     435    28058    67199 |        1   177492    118 |  0.000 % |
929.01/929.09	c |   2712116 |     435    28058    67199 |        1   189737    119 |  0.000 % |
929.01/929.09	c |   2725317 |     435    28058    67199 |        1   202938    120 |  0.000 % |
929.01/929.09	c |   2725417 |     435    28058    67199 |        1   203038    120 |  0.000 % |
929.01/929.09	c |   2726839 |     435    28058    67199 |        1   204460    120 |  0.000 % |
929.01/929.09	c |   2728446 |     435    28058    67199 |        1   206067    120 |  0.000 % |
929.01/929.09	c |   2728991 |     435    28058    67199 |        1   206612    120 |  0.000 % |
929.01/929.09	c |   2729411 |     435    28058    67199 |        1   207032    120 |  0.000 % |
929.01/929.09	c |   2730968 |     435    28058    67199 |        1   208589    120 |  0.000 % |
929.01/929.09	c |   2731380 |     435    28058    67199 |        1   209001    120 |  0.000 % |
929.01/929.09	c |   2731482 |     435    28058    67199 |        1   209103    120 |  0.000 % |
929.01/929.09	c |   2731584 |     435    28058    67199 |        1   209205    120 |  0.000 % |
929.01/929.09	c |   2731723 |     435    28058    67199 |        1   209344    120 |  0.000 % |
1049.02/1049.04	c |   2731825 |     435    28058    67199 |        1   209446    120 |  0.000 % |
1049.02/1049.04	c |   2731928 |     435    28058    67199 |        1   209549    120 |  0.000 % |
1049.02/1049.04	c |   2732029 |     435    28058    67199 |        1   209650    120 |  0.000 % |
1049.02/1049.04	c |   2732474 |     435    28058    67199 |        1   210095    120 |  0.000 % |
1049.02/1049.04	c |   2732574 |     435    28058    67199 |        1   210195    120 |  0.000 % |
1049.02/1049.04	c |   2732674 |     435    28058    67199 |        1   210295    120 |  0.000 % |
1049.02/1049.04	c |   2732780 |     435    28058    67199 |        1   210401    120 |  0.000 % |
1049.02/1049.04	c |   2733705 |     435    28058    67199 |        1   211326    120 |  0.000 % |
1049.02/1049.04	c |   2810572 |     435    28058    67199 |        1   172405    109 |  0.000 % |
1049.02/1049.04	c |   2865832 |     435    28058    67199 |        1   227665    105 |  0.000 % |
1049.02/1049.04	c |   2868942 |     435    28058    67199 |        1   230775    105 |  0.000 % |
1049.02/1049.04	c |   2879804 |     435    28058    67199 |        1   123230    112 |  0.000 % |
1049.02/1049.04	c |   2880314 |     435    28058    67199 |        1   123740    112 |  0.000 % |
1049.02/1049.04	c |   2924597 |     435    28058    67199 |        1   168023    116 |  0.000 % |
1049.02/1049.04	c |   2924698 |     435    28058    67199 |        1   168124    116 |  0.000 % |
1049.02/1049.04	c |   2924800 |     435    28058    67199 |        1   168226    116 |  0.000 % |
1049.02/1049.04	c |   2924902 |     435    28058    67199 |        1   168328    116 |  0.000 % |
1049.02/1049.04	c |   2925003 |     435    28058    67199 |        1   168429    116 |  0.000 % |
1049.02/1049.04	c |   2962436 |     435    28058    67199 |        1   205862    116 |  0.000 % |
1049.02/1049.04	c |   2964854 |     435    28058    67199 |        1   208280    117 |  0.000 % |
1049.02/1049.04	c |   2964954 |     435    28058    67199 |        1   208380    117 |  0.000 % |
1049.02/1049.04	c |   2968330 |     435    28058    67199 |        1   211756    116 |  0.000 % |
1049.02/1049.04	c |   2968431 |     435    28058    67199 |        1   211857    116 |  0.000 % |
1049.02/1049.04	c |   2968531 |     435    28058    67199 |        1   211957    116 |  0.000 % |
1049.02/1049.04	c |   2968633 |     435    28058    67199 |        1   212059    116 |  0.000 % |
1049.02/1049.04	c |   2968735 |     435    28058    67199 |        1   212161    117 |  0.000 % |
1049.02/1049.04	c |   2995050 |     435    28058    67199 |        1   238476    121 |  0.000 % |
1049.02/1049.04	c |   2995152 |     435    28058    67199 |        1   238578    121 |  0.000 % |
1049.02/1049.04	c |   3034231 |     435    28058    67199 |        1   156650    110 |  0.000 % |
1049.02/1049.04	c |   3036017 |     435    28058    67199 |        1   158436    110 |  0.000 % |
1049.02/1049.04	c |   3036257 |     435    28058    67199 |        1   158676    110 |  0.000 % |
1049.02/1049.04	c |   3037964 |     435    28058    67199 |        1   160383    110 |  0.000 % |
1049.02/1049.04	c |   3038224 |     435    28058    67199 |        1   160643    110 |  0.000 % |
1049.02/1049.04	c |   3038324 |     435    28058    67199 |        1   160743    110 |  0.000 % |
1049.02/1049.04	c |   3038636 |     435    28058    67199 |        1   161055    110 |  0.000 % |
1049.02/1049.04	c |   3038736 |     435    28058    67199 |        1   161155    110 |  0.000 % |
1049.02/1049.04	c |   3039086 |     435    28058    67199 |        1   161505    110 |  0.000 % |
1049.02/1049.04	c |   3039186 |     435    28058    67199 |        1   161605    110 |  0.000 % |
1049.02/1049.04	c |   3039289 |     435    28058    67199 |        1   161708    111 |  0.000 % |
1049.02/1049.04	c |   3044410 |     435    28058    67199 |        1   166829    112 |  0.000 % |
1049.02/1049.04	c |   3044510 |     435    28058    67199 |        1   166929    112 |  0.000 % |
1049.02/1049.04	c |   3044611 |     435    28058    67199 |        1   167030    112 |  0.000 % |
1049.02/1049.04	c |   3044747 |     435    28058    67199 |        1   167166    112 |  0.000 % |
1049.02/1049.04	c |   3044847 |     435    28058    67199 |        1   167266    112 |  0.000 % |
1049.02/1049.04	c |   3045073 |     435    28058    67199 |        1   167492    112 |  0.000 % |
1049.02/1049.04	c |   3045227 |     435    28058    67199 |        1   167646    112 |  0.000 % |
1049.02/1049.04	c |   3045328 |     435    28058    67199 |        1   167747    112 |  0.000 % |
1049.02/1049.04	c |   3048125 |     435    28058    67199 |        1   170544    112 |  0.000 % |
1049.02/1049.04	c |   3048494 |     435    28058    67199 |        1   170913    112 |  0.000 % |
1049.02/1049.04	c |   3048594 |     435    28058    67199 |        1   171013    112 |  0.000 % |
1188.52/1188.55	c |   3068309 |     435    28058    67199 |        1   190728    112 |  0.000 % |
1188.52/1188.55	c |   3068409 |     435    28058    67199 |        1   190828    112 |  0.000 % |
1188.52/1188.55	c |   3069901 |     435    28058    67199 |        1   192320    112 |  0.000 % |
1188.52/1188.55	c |   3070032 |     435    28058    67199 |        1   192451    112 |  0.000 % |
1188.52/1188.55	c |   3070132 |     435    28058    67199 |        1   192551    112 |  0.000 % |
1188.52/1188.55	c |   3070244 |     435    28058    67199 |        1   192663    112 |  0.000 % |
1188.52/1188.55	c |   3070344 |     435    28058    67199 |        1   192763    112 |  0.000 % |
1188.52/1188.55	c |   3070444 |     435    28058    67199 |        1   192863    112 |  0.000 % |
1188.52/1188.55	c |   3070615 |     435    28058    67199 |        1   193034    112 |  0.000 % |
1188.52/1188.55	c |   3109082 |     435    28058    67199 |        1   231501    112 |  0.000 % |
1188.52/1188.55	c |   3109515 |     435    28058    67199 |        1   231934    112 |  0.000 % |
1188.52/1188.55	c |   3111768 |     435    28058    67199 |        1   234187    113 |  0.000 % |
1188.52/1188.55	c |   3111868 |     435    28058    67199 |        1   234287    113 |  0.000 % |
1188.52/1188.55	c |   3111968 |     435    28058    67199 |        1   234387    113 |  0.000 % |
1188.52/1188.55	c |   3112072 |     435    28058    67199 |        1   234491    113 |  0.000 % |
1188.52/1188.55	c |   3112173 |     435    28058    67199 |        1   234592    113 |  0.000 % |
1188.52/1188.55	c |   3112325 |     435    28058    67199 |        1   234744    113 |  0.000 % |
1188.52/1188.55	c |   3113815 |     435    28058    67199 |        1   236234    113 |  0.000 % |
1188.52/1188.55	c |   3121191 |     435    28058    67199 |        1   243610    113 |  0.000 % |
1188.52/1188.55	c |   3121312 |     435    28058    67199 |        1   243731    113 |  0.000 % |
1188.52/1188.55	c |   3121413 |     435    28058    67199 |        1   243832    113 |  0.000 % |
1188.52/1188.55	c |   3122307 |     435    28058    67199 |        1   244726    113 |  0.000 % |
1188.52/1188.55	c |   3122409 |     435    28058    67199 |        1   244828    113 |  0.000 % |
1188.52/1188.55	c |   3122561 |     435    28058    67199 |        1   244980    113 |  0.000 % |
1188.52/1188.55	c |   3122661 |     435    28058    67199 |        1   245080    113 |  0.000 % |
1188.52/1188.55	c |   3122762 |     435    28058    67199 |        1   245181    113 |  0.000 % |
1188.52/1188.55	c |   3122864 |     435    28058    67199 |        1   245283    113 |  0.000 % |
1188.52/1188.55	c |   3122964 |     435    28058    67199 |        1   245383    113 |  0.000 % |
1188.52/1188.55	c |   3123672 |     435    28058    67199 |        1   246091    113 |  0.000 % |
1188.52/1188.55	c |   3123925 |     435    28058    67199 |        1   246344    113 |  0.000 % |
1188.52/1188.55	c |   3124025 |     435    28058    67199 |        1   246444    113 |  0.000 % |
1188.52/1188.55	c |   3124125 |     435    28058    67199 |        1   246544    113 |  0.000 % |
1188.52/1188.55	c |   3124225 |     435    28058    67199 |        1   246644    113 |  0.000 % |
1188.52/1188.55	c |   3124325 |     435    28058    67199 |        1   246744    113 |  0.000 % |
1188.52/1188.55	c |   3128010 |     435    28058    67199 |        1   126829    111 |  0.000 % |
1188.52/1188.55	c |   3128368 |     435    28058    67199 |        1   127187    111 |  0.000 % |
1188.52/1188.55	c |   3128724 |     435    28058    67199 |        1   127543    112 |  0.000 % |
1188.52/1188.55	c |   3140881 |     435    28058    67199 |        1   139700    111 |  0.000 % |
1188.52/1188.55	c |   3140982 |     435    28058    67199 |        1   139801    111 |  0.000 % |
1188.52/1188.55	c |   3143397 |     435    28058    67199 |        1   142216    111 |  0.000 % |
1188.52/1188.55	c |   3143499 |     435    28058    67199 |        1   142318    111 |  0.000 % |
1188.52/1188.55	c |   3154798 |     435    28058    67199 |        1   153617    112 |  0.000 % |
1188.52/1188.55	c |   3156511 |     435    28058    67199 |        1   155330    112 |  0.000 % |
1188.52/1188.55	c |   3250593 |     435    28058    67199 |        1   249412    107 |  0.000 % |
1188.52/1188.55	c |   3252389 |     435    28058    67199 |        1   251208    107 |  0.000 % |
1188.52/1188.55	c |   3259844 |     435    28058    67199 |        1   132461    112 |  0.000 % |
1188.52/1188.55	c |   3259946 |     435    28058    67199 |        1   132563    112 |  0.000 % |
1188.52/1188.55	c |   3296843 |     435    28058    67199 |        1   169460    111 |  0.000 % |
1188.52/1188.55	c |   3297207 |     435    28058    67199 |        1   169824    111 |  0.000 % |
1188.52/1188.55	c |   3297308 |     435    28058    67199 |        1   

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: 935)

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-3263716-1303545194/watcher-3263716-1303545194 -o /tmp/evaluation-result-3263716-1303545194/solver-3263716-1303545194 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3263716-1303545194.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.39 3.87 3.81 5/188 28545
/proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=11800 CPUtime=0 cores=4,6
/proc/28545/stat : 28545 (runsolver) R 28543 28545 27733 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 446934984 12083200 52 33554432000 4194304 5434984 140737204769600 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/28545/statm: 2950 52 31 303 0 2644 0

[startup+0.065858 s]
/proc/loadavg: 3.39 3.87 3.81 5/188 28545
/proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+0.100834 s]
/proc/loadavg: 3.39 3.87 3.81 5/188 28545
/proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+0.30082 s]
/proc/loadavg: 3.39 3.87 3.81 5/188 28545
/proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+0.700744 s]
/proc/loadavg: 3.39 3.87 3.81 5/188 28545
/proc/meminfo: memFree=15350764/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8704

[startup+1.50059 s]
/proc/loadavg: 3.39 3.87 3.81 5/194 28558
/proc/meminfo: memFree=15310036/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=28252 CPUtime=1.44 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 7689 0 0 0 144 0 0 0 25 0 1 0 446934989 28930048 3741 33554432000 4194304 4260849 140734098371136 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 7063 3741 251 17 0 3704 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36956

[startup+3.10027 s]
/proc/loadavg: 3.39 3.87 3.81 5/194 28558
/proc/meminfo: memFree=15281272/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=39748 CPUtime=3.04 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 10463 0 0 0 304 0 0 0 25 0 1 0 446934989 40701952 6467 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 9937 6467 251 17 0 6578 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48452

[startup+6.30069 s]
/proc/loadavg: 3.52 3.89 3.82 5/194 28558
/proc/meminfo: memFree=15235412/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=46928 CPUtime=6.24 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 12432 0 0 0 624 0 0 0 25 0 1 0 446934989 48054272 8386 33554432000 4194304 4260849 140734098371136 18446744073709551615 4228548 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 11732 8386 251 17 0 8373 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55632

[startup+12.7005 s]
/proc/loadavg: 3.55 3.89 3.82 5/194 28558
/proc/meminfo: memFree=15242000/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=51348 CPUtime=12.64 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 22795 0 0 0 1262 2 0 0 25 0 1 0 446934989 52580352 6405 33554432000 4194304 4260849 140734098371136 18446744073709551615 4229200 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 12837 6405 252 17 0 9478 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60052

[startup+25.5011 s]
/proc/loadavg: 3.65 3.89 3.82 5/194 28558
/proc/meminfo: memFree=15169868/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=100680 CPUtime=25.45 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 30145 0 0 0 2542 3 0 0 25 0 1 0 446934989 103096320 13678 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 25170 13678 252 17 0 21811 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109384

[startup+51.1012 s]
/proc/loadavg: 3.77 3.90 3.82 5/194 28559
/proc/meminfo: memFree=15074236/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=100680 CPUtime=51.04 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 68227 0 0 0 5096 8 0 0 25 0 1 0 446934989 103096320 15727 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 25170 15727 252 17 0 21811 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109384

[startup+102.307 s]
/proc/loadavg: 3.90 3.91 3.83 5/194 28560
/proc/meminfo: memFree=15045072/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=150000 CPUtime=102.25 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 128605 0 0 0 10207 18 0 0 25 0 1 0 446934989 153600000 27152 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 37500 27152 252 17 0 34141 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 158704

[startup+162.301 s]
/proc/loadavg: 4.03 3.94 3.84 5/194 28562
/proc/meminfo: memFree=14968776/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=180820 CPUtime=162.25 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 188145 0 0 0 16195 30 0 0 25 0 1 0 446934989 185159680 31702 33554432000 4194304 4260849 140734098371136 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45205 31702 252 17 0 41846 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 189524

[startup+222.301 s]
/proc/loadavg: 4.01 3.95 3.85 5/194 28563
/proc/meminfo: memFree=15030736/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=150000 CPUtime=222.25 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 243206 0 0 0 22185 40 0 0 25 0 1 0 446934989 153600000 27913 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 37500 27913 252 17 0 34141 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 158704

[startup+282.301 s]
/proc/loadavg: 4.00 3.95 3.85 5/194 28565
/proc/meminfo: memFree=14989792/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=150000 CPUtime=282.25 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 290325 0 0 0 28176 49 0 0 25 0 1 0 446934989 153600000 28163 33554432000 4194304 4260849 140734098371136 18446744073709551615 4226051 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 37500 28163 252 17 0 34141 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 158704

[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.86 5/194 28567
/proc/meminfo: memFree=14922052/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=230908 CPUtime=342.26 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 336653 0 0 0 34167 59 0 0 25 0 1 0 446934989 236449792 38580 33554432000 4194304 4260849 140734098371136 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 57727 38580 252 17 0 54368 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 239612

[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.86 5/194 28568
/proc/meminfo: memFree=14881224/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6

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

/proc/28548/statm: 45205 31457 252 17 0 41846 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 189524

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.89 5/194 28584
/proc/meminfo: memFree=14846228/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=180820 CPUtime=642.26 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 462414 0 0 0 64139 87 0 0 25 0 1 0 446934989 185159680 38238 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45205 38238 252 17 0 41846 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 189524

[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.89 5/194 28585
/proc/meminfo: memFree=14891828/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=230908 CPUtime=702.27 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 492794 0 0 0 70132 95 0 0 25 0 1 0 446934989 236449792 40805 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 57727 40805 252 17 0 54368 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 239612

[startup+762.307 s]
/proc/loadavg: 4.15 4.00 3.91 5/194 28587
/proc/meminfo: memFree=14852120/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=180820 CPUtime=762.28 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 538927 0 0 0 76122 106 0 0 25 0 1 0 446934989 185159680 36452 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45205 36452 252 17 0 41846 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 189524

[startup+822.3 s]
/proc/loadavg: 4.05 4.00 3.91 5/194 28588
/proc/meminfo: memFree=14831868/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=180820 CPUtime=822.27 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 567508 0 0 0 82113 114 0 0 25 0 1 0 446934989 185159680 39227 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45205 39227 252 17 0 41846 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 189524

[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.91 5/194 28590
/proc/meminfo: memFree=14771068/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=230908 CPUtime=882.27 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 598641 0 0 0 88107 120 0 0 25 0 1 0 446934989 236449792 43219 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 57727 43219 252 17 0 54368 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 239612

[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 28592
/proc/meminfo: memFree=14813956/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=180820 CPUtime=942.27 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 644444 0 0 0 94097 130 0 0 25 0 1 0 446934989 185159680 35011 33554432000 4194304 4260849 140734098371136 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45205 35011 252 17 0 41846 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 189524

[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 28593
/proc/meminfo: memFree=14798188/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=180820 CPUtime=1002.27 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 675146 0 0 0 100092 135 0 0 25 0 1 0 446934989 185159680 40283 33554432000 4194304 4260849 140734098371136 18446744073709551615 4209267 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45205 40283 252 17 0 41846 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 189524

[startup+1062.3 s]
/proc/loadavg: 4.06 4.01 3.91 5/194 28595
/proc/meminfo: memFree=14788364/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=231372 CPUtime=1062.27 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 708265 0 0 0 106085 142 0 0 25 0 1 0 446934989 236924928 43813 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 57843 43813 252 17 0 54484 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 240076

[startup+1122.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/194 28596
/proc/meminfo: memFree=14806548/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=232100 CPUtime=1122.28 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 735376 0 0 0 112081 147 0 0 25 0 1 0 446934989 237670400 42572 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 58025 42572 252 17 0 54666 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 240804

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 28598
/proc/meminfo: memFree=14798952/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=183956 CPUtime=1182.28 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 760142 0 0 0 118075 153 0 0 25 0 1 0 446934989 188370944 39687 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 45989 39687 252 17 0 42630 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 192660

[startup+1242.3 s]
/proc/loadavg: 4.05 4.01 3.92 5/194 28600
/proc/meminfo: memFree=14845808/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=184808 CPUtime=1242.29 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 790074 0 0 0 124069 160 0 0 25 0 1 0 446934989 189243392 40559 33554432000 4194304 4260849 140734098371136 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 46202 40559 252 17 0 42843 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 193512



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.92 3/190 28603
/proc/meminfo: memFree=15078936/32951124 swapFree=67111528/67111528
[pid=28545] ppid=28543 vsize=8704 CPUtime=0.04 cores=4,6
/proc/28545/stat : 28545 (glucose.sh) S 28543 28545 27733 0 -1 4202496 359 681 0 0 0 0 4 0 21 0 1 0 446934984 8912896 255 33554432000 4194304 4922060 140736131888144 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28545/statm: 2176 255 211 178 0 69 0
[pid=28548] ppid=28545 vsize=185568 CPUtime=1299.99 cores=4,6
/proc/28548/stat : 28548 (glucose_static) R 28545 28545 27733 0 -1 4202496 821861 0 0 0 129831 168 0 0 25 0 1 0 446934989 190021632 40519 33554432000 4194304 4260849 140734098371136 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28548/statm: 46392 40519 252 17 0 43033 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 194272

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1300.01
CPU time (s): 1300.03
CPU user time (s): 1298.35
CPU system time (s): 1.68
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 324500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.042993
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= 1040
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= 6
involuntary context switches= 11

runsolver used 2.35564 second user time and 4.75128 second system time

The end

Launcher Data

Begin job on node141 at 2011-04-23 09:53:14
IDJOB=3263716
IDBENCH=84010
IDSOLVER=1651
FILE ID=node141/3263716-1303545194
RUNJOBID= node141-1303545193-28507
PBS_JOBID= 13143097
Free space on /tmp= 71540 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT03/handmade/anton/SAT/SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263716-1303545194/watcher-3263716-1303545194 -o /tmp/evaluation-result-3263716-1303545194/solver-3263716-1303545194 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3263716-1303545194.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 22bbcb4a25a1da66113c240898c75509
RANDOM SEED=1331669297

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.82
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.806
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.75
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.806
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.84
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.806
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.75
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.806
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.75
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15350912 kB
Buffers:       1622272 kB
Cached:       15329260 kB
SwapCached:          0 kB
Active:        9448648 kB
Inactive:      7580048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15350912 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6028 kB
Writeback:           0 kB
AnonPages:       77084 kB
Mapped:          16032 kB
Slab:           507976 kB
PageTables:       5980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   245044 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= 71532 MiB
End job on node141 at 2011-04-23 10:14:56