Trace number 3303356

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 5000.03 4999.91

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
MD5SUMf892a2bda6fe6aec6f2fcb4e1c541df8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

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.08	c ==============================================================================
0.00/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.08	c ==============================================================================
0.00/0.08	c |         0 |  305320   613120 |   91595       0        0     nan |  0.000 % |
1.09/1.15	c |         0 |  301912  1020575 |      --       0       --      -- |     --   | -3408/407455
1.09/1.15	c ==============================================================================
1.09/1.15	c Result  :   #vars: 2560   #clauses: 301912   #literals: 1020575
1.09/1.15	c CPU time:   1.12983 s
1.09/1.15	c ==============================================================================
1.29/1.32	c
1.29/1.32	c Starting glucose
1.29/1.32	c
980.11/980.18	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
980.11/980.18	c WARNING: for repeatability, setting FPU to use double precision
980.11/980.18	c ============================[ Problem Statistics ]=============================
980.11/980.18	c |                                                                             |
980.11/980.18	c |  Number of variables:          2560                                         |
980.11/980.18	c |  Number of clauses:          301912                                         |
980.11/980.18	c |  Parse time:                   0.06 s                                       |
980.11/980.18	c |                                                                             |
980.11/980.18	c ============================[ Search Statistics ]==============================
980.11/980.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
980.11/980.18	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
980.11/980.18	c ===============================================================================
980.11/980.18	c |       793 |    2560   301912  1020575 |        1      793    204 |  0.000 % |
980.11/980.18	c |      9291 |    2560   301912  1020575 |        1     7294    150 |  0.000 % |
980.11/980.18	c |    110443 |    2560   301912  1020575 |        1    25271     77 |  0.000 % |
980.11/980.18	c |    171893 |    2560   301912  1020575 |        1    39722     76 |  0.000 % |
980.11/980.18	c |    288955 |    2560   301912  1020575 |        1    66796     82 |  0.000 % |
980.11/980.18	c |    291477 |    2560   301912  1020575 |        1    69318     83 |  0.000 % |
980.11/980.18	c |    353624 |    2560   301912  1020575 |        1    58456     77 |  0.000 % |
980.11/980.18	c |    704935 |    2560   301912  1020575 |        1    72368     57 |  0.000 % |
980.11/980.18	c |   1013775 |    2560   301912  1020575 |        1   131220     68 |  0.000 % |
980.11/980.18	c |   1046550 |    2560   301912  1020575 |        1    94983     60 |  0.000 % |
980.11/980.18	c |   1161434 |    2560   301912  1020575 |        1   138264     68 |  0.000 % |
980.11/980.18	c |   1188766 |    2560   301912  1020575 |        1    91388     56 |  0.000 % |
980.11/980.18	c |   1188869 |    2560   301912  1020575 |        1    91491     56 |  0.000 % |
980.11/980.18	c |   1189039 |    2560   301912  1020575 |        1    91661     56 |  0.000 % |
980.11/980.18	c |   1294672 |    2560   301912  1020575 |        1   120497     63 |  0.000 % |
980.11/980.18	c |   1303330 |    2560   301912  1020575 |        1   129155     65 |  0.000 % |
980.11/980.18	c |   1591385 |    2560   301912  1020575 |        1   171228     73 |  0.000 % |
980.11/980.18	c |   1667190 |    2560   301912  1020575 |        1   159823     71 |  0.000 % |
980.11/980.18	c |   1689338 |    2560   301912  1020575 |        1    92162     48 |  0.000 % |
980.11/980.18	c |   1706018 |    2560   301912  1020575 |        1   108842     55 |  0.000 % |
980.11/980.18	c |   1707244 |    2560   301912  1020575 |        1   110068     56 |  0.000 % |
980.11/980.18	c |   1760188 |    2560   301912  1020575 |        1   163012     66 |  0.000 % |
980.11/980.18	c |   1779327 |    2560   301912  1020575 |        1   182151     68 |  0.000 % |
980.11/980.18	c |   1788515 |    2560   301912  1020575 |        1    98939     48 |  0.000 % |
980.11/980.18	c |   1814607 |    2560   301912  1020575 |        1   125031     54 |  0.000 % |
980.11/980.18	c |   2276292 |    2560   301912  1020575 |        1   191126     60 |  0.000 % |
980.11/980.18	c |   2276395 |    2560   301912  1020575 |        1   191229     60 |  0.000 % |
980.11/980.18	c |   2345431 |    2560   301912  1020575 |        1   154860     59 |  0.000 % |
980.11/980.18	c |   2398672 |    2560   301912  1020575 |        1   208101     66 |  0.000 % |
980.11/980.18	c |   2418810 |    2560   301912  1020575 |        1   120229     49 |  0.000 % |
980.11/980.18	c |   2510785 |    2560   301912  1020575 |        1   212204     64 |  0.000 % |
980.11/980.18	c |   2599106 |    2560   301912  1020575 |        1   189935     60 |  0.000 % |
980.11/980.18	c |   2693650 |    2560   301912  1020575 |        1   171281     57 |  0.000 % |
980.11/980.18	c |   2720352 |    2560   301912  1020575 |        1   197983     62 |  0.000 % |
980.11/980.18	c |   2830396 |    2560   301912  1020575 |        1   192233     60 |  0.000 % |
980.11/980.18	c |   2853075 |    2560   301912  1020575 |        1   214912     62 |  0.000 % |
980.11/980.18	c |   2899219 |    2560   301912  1020575 |        1   142645     50 |  0.000 % |
980.11/980.18	c |   2963710 |    2560   301912  1020575 |        1   207136     61 |  0.000 % |
980.11/980.18	c |   3263466 |    2560   301912  1020575 |        1   136098     45 |  0.000 % |
1405.92/1405.94	c |   3299140 |    2560   301912  1020575 |        1   171772     52 |  0.000 % |
1405.92/1405.94	c |   3416234 |    2560   301912  1020575 |        1   160060     50 |  0.000 % |
1405.92/1405.94	c |   3416334 |    2560   301912  1020575 |        1   160160     50 |  0.000 % |
1405.92/1405.94	c |   3574890 |    2560   301912  1020575 |        1   187318     56 |  0.000 % |
1405.92/1405.94	c |   3673864 |    2560   301912  1020575 |        1   152296     51 |  0.000 % |
1405.92/1405.94	c |   3680500 |    2560   301912  1020575 |        1   158932     52 |  0.000 % |
1405.92/1405.94	c |   3692206 |    2560   301912  1020575 |        1   170638     54 |  0.000 % |
1405.92/1405.94	c |   3793164 |    2560   301912  1020575 |        1   271596     70 |  0.000 % |
1405.92/1405.94	c |   3799065 |    2560   301912  1020575 |        1   140901     47 |  0.000 % |
1405.92/1405.94	c |   3834910 |    2560   301912  1020575 |        1   176746     53 |  0.000 % |
1405.92/1405.94	c |   3835535 |    2560   301912  1020575 |        1   177371     53 |  0.000 % |
1405.92/1405.94	c |   3869311 |    2560   301912  1020575 |        1   211147     60 |  0.000 % |
1405.92/1405.94	c |   3872394 |    2560   301912  1020575 |        1   214230     61 |  0.000 % |
1405.92/1405.94	c |   3872658 |    2560   301912  1020575 |        1   214494     61 |  0.000 % |
1405.92/1405.94	c |   3875698 |    2560   301912  1020575 |        1   217534     61 |  0.000 % |
1405.92/1405.94	c |   3875800 |    2560   301912  1020575 |        1   217636     61 |  0.000 % |
1405.92/1405.94	c |   3890222 |    2560   301912  1020575 |        1   232058     63 |  0.000 % |
1405.92/1405.94	c |   3890815 |    2560   301912  1020575 |        1   232651     63 |  0.000 % |
1405.92/1405.94	c |   3896189 |    2560   301912  1020575 |        1   238025     64 |  0.000 % |
1405.92/1405.94	c |   3896863 |    2560   301912  1020575 |        1   238699     64 |  0.000 % |
1405.92/1405.94	c |   3899716 |    2560   301912  1020575 |        1   241552     64 |  0.000 % |
1405.92/1405.94	c |   3910793 |    2560   301912  1020575 |        1   252629     65 |  0.000 % |
1405.92/1405.94	c |   3944430 |    2560   301912  1020575 |        1   147062     45 |  0.000 % |
1405.92/1405.94	c |   4019300 |    2560   301912  1020575 |        1   221932     68 |  0.000 % |
1405.92/1405.94	c |   4021767 |    2560   301912  1020575 |        1   224399     68 |  0.000 % |
1405.92/1405.94	c |   4021868 |    2560   301912  1020575 |        1   224500     68 |  0.000 % |
1405.92/1405.94	c |   4022721 |    2560   301912  1020575 |        1   225353     68 |  0.000 % |
1405.92/1405.94	c |   4023363 |    2560   301912  1020575 |        1   225995     68 |  0.000 % |
1405.92/1405.94	c |   4035508 |    2560   301912  1020575 |        1   238140     71 |  0.000 % |
1405.92/1405.94	c |   4037960 |    2560   301912  1020575 |        1   240592     71 |  0.000 % |
1405.92/1405.94	c |   4038641 |    2560   301912  1020575 |        1   241273     71 |  0.000 % |
1405.92/1405.94	c |   4052038 |    2560   301912  1020575 |        1   254670     74 |  0.000 % |
1405.92/1405.94	c |   4052717 |    2560   301912  1020575 |        1   255349     74 |  0.000 % |
1405.92/1405.94	c |   4053334 |    2560   301912  1020575 |        1   255966     74 |  0.000 % |
1405.92/1405.94	c |   4124334 |    2560   301912  1020575 |        1   185168     59 |  0.000 % |
1405.92/1405.94	c |   4178152 |    2560   301912  1020575 |        1   238986     66 |  0.000 % |
1405.92/1405.94	c |   4187503 |    2560   301912  1020575 |        1   248337     67 |  0.000 % |
1405.92/1405.94	c |   4188667 |    2560   301912  1020575 |        1   249501     67 |  0.000 % |
1405.92/1405.94	c |   4188767 |    2560   301912  1020575 |        1   249601     67 |  0.000 % |
1405.92/1405.94	c |   4189908 |    2560   301912  1020575 |        1   250742     68 |  0.000 % |
1405.92/1405.94	c |   4201423 |    2560   301912  1020575 |        1   262257     69 |  0.000 % |
1405.92/1405.94	c |   4206032 |    2560   301912  1020575 |        1   266866     69 |  0.000 % |
1405.92/1405.94	c |   4212882 |    2560   301912  1020575 |        1   273716     70 |  0.000 % |
1405.92/1405.94	c |   4260850 |    2560   301912  1020575 |        1   177280     56 |  0.000 % |
1405.92/1405.94	c |   4387340 |    2560   301912  1020575 |        1   156785     49 |  0.000 % |
1405.92/1405.94	c |   4387842 |    2560   301912  1020575 |        1   157287     49 |  0.000 % |
1405.92/1405.94	c |   4397048 |    2560   301912  1020575 |        1   166493     53 |  0.000 % |
1405.92/1405.94	c |   4397634 |    2560   301912  1020575 |        1   167079     53 |  0.000 % |
1405.92/1405.94	c |   4398098 |    2560   301912  1020575 |        1   167543     53 |  0.000 % |
1405.92/1405.94	c |   4402675 |    2560   301912  1020575 |        1   172120     55 |  0.000 % |
1716.23/1716.29	c |   4429128 |    2560   301912  1020575 |        1   198573     60 |  0.000 % |
1716.23/1716.29	c |   4431345 |    2560   301912  1020575 |        1   200790     61 |  0.000 % |
1716.23/1716.29	c |   4446063 |    2560   301912  1020575 |        1   215508     64 |  0.000 % |
1716.23/1716.29	c |   4447117 |    2560   301912  1020575 |        1   216562     65 |  0.000 % |
1716.23/1716.29	c |   4456341 |    2560   301912  1020575 |        1   225786     66 |  0.000 % |
1716.23/1716.29	c |   4459129 |    2560   301912  1020575 |        1   228574     67 |  0.000 % |
1716.23/1716.29	c |   4471943 |    2560   301912  1020575 |        1   241388     69 |  0.000 % |
1716.23/1716.29	c |   4472043 |    2560   301912  1020575 |        1   241488     69 |  0.000 % |
1716.23/1716.29	c |   4544173 |    2560   301912  1020575 |        1   164012     50 |  0.000 % |
1716.23/1716.29	c |   4570312 |    2560   301912  1020575 |        1   190151     56 |  0.000 % |
1716.23/1716.29	c |   4578873 |    2560   301912  1020575 |        1   198712     58 |  0.000 % |
1716.23/1716.29	c |   4582555 |    2560   301912  1020575 |        1   202394     59 |  0.000 % |
1716.23/1716.29	c |   4582683 |    2560   301912  1020575 |        1   202522     59 |  0.000 % |
1716.23/1716.29	c |   4634825 |    2560   301912  1020575 |        1   254664     65 |  0.000 % |
1716.23/1716.29	c |   4635051 |    2560   301912  1020575 |        1   254890     66 |  0.000 % |
1716.23/1716.29	c |   4635368 |    2560   301912  1020575 |        1   255207     66 |  0.000 % |
1716.23/1716.29	c |   4637818 |    2560   301912  1020575 |        1   257657     66 |  0.000 % |
1716.23/1716.29	c |   4655928 |    2560   301912  1020575 |        1   275767     69 |  0.000 % |
1716.23/1716.29	c |   4661801 |    2560   301912  1020575 |        1   281640     69 |  0.000 % |
1716.23/1716.29	c |   4668480 |    2560   301912  1020575 |        1   288319     70 |  0.000 % |
1716.23/1716.29	c |   4777879 |    2560   301912  1020575 |        1   245515     64 |  0.000 % |
1716.23/1716.29	c |   4787929 |    2560   301912  1020575 |        1   255565     65 |  0.000 % |
1716.23/1716.29	c |   4798372 |    2560   301912  1020575 |        1   266008     66 |  0.000 % |
1716.23/1716.29	c |   4803833 |    2560   301912  1020575 |        1   271469     67 |  0.000 % |
1716.23/1716.29	c |   4951754 |    2560   301912  1020575 |        1   264590     62 |  0.000 % |
1716.23/1716.29	c |   4992597 |    2560   301912  1020575 |        1   305433     67 |  0.000 % |
1716.23/1716.29	c |   4993021 |    2560   301912  1020575 |        1   305857     67 |  0.000 % |
1716.23/1716.29	c |   4994047 |    2560   301912  1020575 |        1   306883     67 |  0.000 % |
1716.23/1716.29	c |   5003515 |    2560   301912  1020575 |        1   158952     45 |  0.000 % |
1716.23/1716.29	c |   5013472 |    2560   301912  1020575 |        1   168909     49 |  0.000 % |
1716.23/1716.29	c |   5014749 |    2560   301912  1020575 |        1   170186     49 |  0.000 % |
1716.23/1716.29	c |   5050026 |    2560   301912  1020575 |        1   205463     60 |  0.000 % |
1716.23/1716.29	c |   5066326 |    2560   301912  1020575 |        1   221763     63 |  0.000 % |
1716.23/1716.29	c |   5073469 |    2560   301912  1020575 |        1   228906     64 |  0.000 % |
1716.23/1716.29	c |   5076643 |    2560   301912  1020575 |        1   232080     65 |  0.000 % |
1716.23/1716.29	c |   5076950 |    2560   301912  1020575 |        1   232387     65 |  0.000 % |
1716.23/1716.29	c |   5077586 |    2560   301912  1020575 |        1   233023     65 |  0.000 % |
1716.23/1716.29	c |   5116810 |    2560   301912  1020575 |        1   272247     73 |  0.000 % |
1716.23/1716.29	c |   5116975 |    2560   301912  1020575 |        1   272412     73 |  0.000 % |
1716.23/1716.29	c |   5140727 |    2560   301912  1020575 |        1   296164     75 |  0.000 % |
1716.23/1716.29	c |   5141223 |    2560   301912  1020575 |        1   296660     75 |  0.000 % |
1716.23/1716.29	c |   5145185 |    2560   301912  1020575 |        1   300622     76 |  0.000 % |
1716.23/1716.29	c |   5211768 |    2560   301912  1020575 |        1   207202     58 |  0.000 % |
1716.23/1716.29	c |   5234047 |    2560   301912  1020575 |        1   229481     62 |  0.000 % |
1716.23/1716.29	c |   5234252 |    2560   301912  1020575 |        1   229686     62 |  0.000 % |
1716.23/1716.29	c |   5234357 |    2560   301912  1020575 |        1   229791     62 |  0.000 % |
1716.23/1716.29	c |   5234458 |    2560   301912  1020575 |        1   229892     62 |  0.000 % |
1716.23/1716.29	c |   5234851 |    2560   301912  1020575 |        1   230285     62 |  0.000 % |
1716.23/1716.29	c |   5306985 |    2560   301912  1020575 |        1   302419     70 |  0.000 % |
1716.23/1716.29	c |   5407223 |    2560   301912  1020575 |        1   240066     62 |  0.000 % |
1964.14/1964.10	c |   5407325 |    2560   301912  1020575 |        1   240168     62 |  0.000 % |
1964.14/1964.10	c |   5407648 |    2560   301912  1020575 |        1   240491     62 |  0.000 % |
1964.14/1964.10	c |   5423586 |    2560   301912  1020575 |        1   256429     66 |  0.000 % |
1964.14/1964.10	c |   5427741 |    2560   301912  1020575 |        1   260584     67 |  0.000 % |
1964.14/1964.10	c |   5430032 |    2560   301912  1020575 |        1   262875     67 |  0.000 % |
1964.14/1964.10	c |   5435558 |    2560   301912  1020575 |        1   268401     68 |  0.000 % |
1964.14/1964.10	c |   5481168 |    2560   301912  1020575 |        1   314011     73 |  0.000 % |
1964.14/1964.10	c |   5482809 |    2560   301912  1020575 |        1   315652     73 |  0.000 % |
1964.14/1964.10	c |   5488865 |    2560   301912  1020575 |        1   321708     74 |  0.000 % |
1964.14/1964.10	c |   5498672 |    2560   301912  1020575 |        1   166321     46 |  0.000 % |
1964.14/1964.10	c |   5529877 |    2560   301912  1020575 |        1   197526     54 |  0.000 % |
1964.14/1964.10	c |   5533234 |    2560   301912  1020575 |        1   200883     55 |  0.000 % |
1964.14/1964.10	c |   5549744 |    2560   301912  1020575 |        1   217393     59 |  0.000 % |
1964.14/1964.10	c |   5549885 |    2560   301912  1020575 |        1   217534     59 |  0.000 % |
1964.14/1964.10	c |   5556307 |    2560   301912  1020575 |        1   223956     61 |  0.000 % |
1964.14/1964.10	c |   5559102 |    2560   301912  1020575 |        1   226751     61 |  0.000 % |
1964.14/1964.10	c |   5559942 |    2560   301912  1020575 |        1   227591     62 |  0.000 % |
1964.14/1964.10	c |   5560087 |    2560   301912  1020575 |        1   227736     62 |  0.000 % |
1964.14/1964.10	c |   5564341 |    2560   301912  1020575 |        1   231990     62 |  0.000 % |
1964.14/1964.10	c |   5617737 |    2560   301912  1020575 |        1   285386     73 |  0.000 % |
1964.14/1964.10	c |   5629092 |    2560   301912  1020575 |        1   296741     74 |  0.000 % |
1964.14/1964.10	c |   5637870 |    2560   301912  1020575 |        1   305519     75 |  0.000 % |
1964.14/1964.10	c |   5639593 |    2560   301912  1020575 |        1   307242     76 |  0.000 % |
1964.14/1964.10	c |   5641518 |    2560   301912  1020575 |        1   309167     76 |  0.000 % |
1964.14/1964.10	c |   5654074 |    2560   301912  1020575 |        1   321723     77 |  0.000 % |
1964.14/1964.10	c |   5658147 |    2560   301912  1020575 |        1   325796     77 |  0.000 % |
1964.14/1964.10	c |   5659803 |    2560   301912  1020575 |        1   327452     77 |  0.000 % |
1964.14/1964.10	c |   5688478 |    2560   301912  1020575 |        1   188335     51 |  0.000 % |
1964.14/1964.10	c |   5737709 |    2560   301912  1020575 |        1   237566     65 |  0.000 % |
1964.14/1964.10	c |   5737811 |    2560   301912  1020575 |        1   237668     65 |  0.000 % |
1964.14/1964.10	c |   5739419 |    2560   301912  1020575 |        1   239276     65 |  0.000 % |
1964.14/1964.10	c |   5754137 |    2560   301912  1020575 |        1   253994     68 |  0.000 % |
1964.14/1964.10	c |   5754504 |    2560   301912  1020575 |        1   254361     68 |  0.000 % |
1964.14/1964.10	c |   5759924 |    2560   301912  1020575 |        1   259781     69 |  0.000 % |
1964.14/1964.10	c |   5763011 |    2560   301912  1020575 |        1   262868     70 |  0.000 % |
1964.14/1964.10	c |   5882914 |    2560   301912  1020575 |        1   212359     55 |  0.000 % |
1964.14/1964.10	c |   5886343 |    2560   301912  1020575 |        1   215788     56 |  0.000 % |
1964.14/1964.10	c |   5889260 |    2560   301912  1020575 |        1   218705     56 |  0.000 % |
1964.14/1964.10	c |   5926100 |    2560   301912  1020575 |        1   255545     62 |  0.000 % |
1964.14/1964.10	c |   5928335 |    2560   301912  1020575 |        1   257780     62 |  0.000 % |
1964.14/1964.10	c |   5928577 |    2560   301912  1020575 |        1   258022     62 |  0.000 % |
1964.14/1964.10	c |   5928722 |    2560   301912  1020575 |        1   258167     62 |  0.000 % |
1964.14/1964.10	c |   5928824 |    2560   301912  1020575 |        1   258269     62 |  0.000 % |
1964.14/1964.10	c |   6172465 |    2560   301912  1020575 |        1   328902     83 |  0.000 % |
1964.14/1964.10	c |   6174331 |    2560   301912  1020575 |        1   330768     83 |  0.000 % |
1964.14/1964.10	c |   6174709 |    2560   301912  1020575 |        1   331146     83 |  0.000 % |
1964.14/1964.10	c |   6174810 |    2560   301912  1020575 |        1   331247     83 |  0.000 % |
1964.14/1964.10	c |   6175322 |    2560   301912  1020575 |        1   331759     83 |  0.000 % |
1964.14/1964.10	c |   6184253 |    2560   301912  1020575 |        1   340690     84 |  0.000 % |
1964.14/1964.10	c |   6184898 |    2560   301912  1020575 |        1   341335     84 |  0.000 % |
2386.85/2386.87	c |   6188845 |    2560   301912  1020575 |        1   345282     84 |  0.000 % |
2386.85/2386.87	c |   6188997 |    2560   301912  1020575 |        1   345434     84 |  0.000 % |
2386.85/2386.87	c |   6220257 |    2560   301912  1020575 |        1   201099     54 |  0.000 % |
2386.85/2386.87	c |   6251417 |    2560   301912  1020575 |        1   232259     58 |  0.000 % |
2386.85/2386.87	c |   6253443 |    2560   301912  1020575 |        1   234285     59 |  0.000 % |
2386.85/2386.87	c |   6472795 |    2560   301912  1020575 |        1   275438     69 |  0.000 % |
2386.85/2386.87	c |   6474213 |    2560   301912  1020575 |        1   276856     69 |  0.000 % |
2386.85/2386.87	c |   6480168 |    2560   301912  1020575 |        1   282811     70 |  0.000 % |
2386.85/2386.87	c |   6491390 |    2560   301912  1020575 |        1   294033     70 |  0.000 % |
2386.85/2386.87	c |   6496835 |    2560   301912  1020575 |        1   299478     71 |  0.000 % |
2386.85/2386.87	c |   6557021 |    2560   301912  1020575 |        1   359664     76 |  0.000 % |
2386.85/2386.87	c |   6565031 |    2560   301912  1020575 |        1   186864     48 |  0.000 % |
2386.85/2386.87	c |   6568624 |    2560   301912  1020575 |        1   190457     49 |  0.000 % |
2386.85/2386.87	c |   6646533 |    2560   301912  1020575 |        1   268366     63 |  0.000 % |
2386.85/2386.87	c |   6647996 |    2560   301912  1020575 |        1   269829     63 |  0.000 % |
2386.85/2386.87	c |   6661709 |    2560   301912  1020575 |        1   283542     65 |  0.000 % |
2386.85/2386.87	c |   6664099 |    2560   301912  1020575 |        1   285932     65 |  0.000 % |
2386.85/2386.87	c |   6669955 |    2560   301912  1020575 |        1   291788     66 |  0.000 % |
2386.85/2386.87	c |   6681202 |    2560   301912  1020575 |        1   303035     67 |  0.000 % |
2386.85/2386.87	c |   6713078 |    2560   301912  1020575 |        1   334911     71 |  0.000 % |
2386.85/2386.87	c |   6713178 |    2560   301912  1020575 |        1   335011     71 |  0.000 % |
2386.85/2386.87	c |   6713280 |    2560   301912  1020575 |        1   335113     71 |  0.000 % |
2386.85/2386.87	c |   6727394 |    2560   301912  1020575 |        1   349227     73 |  0.000 % |
2386.85/2386.87	c |   6737212 |    2560   301912  1020575 |        1   359045     74 |  0.000 % |
2386.85/2386.87	c |   6790576 |    2560   301912  1020575 |        1   229003     54 |  0.000 % |
2386.85/2386.87	c |   6791530 |    2560   301912  1020575 |        1   229957     55 |  0.000 % |
2386.85/2386.87	c |   6823114 |    2560   301912  1020575 |        1   261541     60 |  0.000 % |
2386.85/2386.87	c |   6880712 |    2560   301912  1020575 |        1   319139     67 |  0.000 % |
2386.85/2386.87	c |   6880874 |    2560   301912  1020575 |        1   319301     67 |  0.000 % |
2386.85/2386.87	c |   6904456 |    2560   301912  1020575 |        1   342883     69 |  0.000 % |
2386.85/2386.87	c |   6922987 |    2560   301912  1020575 |        1   361414     71 |  0.000 % |
2386.85/2386.87	c |   6923761 |    2560   301912  1020575 |        1   362188     71 |  0.000 % |
2386.85/2386.87	c |   6924681 |    2560   301912  1020575 |        1   363108     71 |  0.000 % |
2386.85/2386.87	c |   6992828 |    2560   301912  1020575 |        1   245253     57 |  0.000 % |
2386.85/2386.87	c |   6999207 |    2560   301912  1020575 |        1   251632     58 |  0.000 % |
2386.85/2386.87	c |   7013587 |    2560   301912  1020575 |        1   266012     62 |  0.000 % |
2386.85/2386.87	c |   7037845 |    2560   301912  1020575 |        1   290270     65 |  0.000 % |
2386.85/2386.87	c |   7037945 |    2560   301912  1020575 |        1   290370     65 |  0.000 % |
2386.85/2386.87	c |   7038154 |    2560   301912  1020575 |        1   290579     65 |  0.000 % |
2386.85/2386.87	c |   7040504 |    2560   301912  1020575 |        1   292929     66 |  0.000 % |
2386.85/2386.87	c |   7047839 |    2560   301912  1020575 |        1   300264     67 |  0.000 % |
2386.85/2386.87	c |   7048792 |    2560   301912  1020575 |        1   301217     67 |  0.000 % |
2386.85/2386.87	c |   7106131 |    2560   301912  1020575 |        1   358556     71 |  0.000 % |
2386.85/2386.87	c |   7167208 |    2560   301912  1020575 |        1   231037     53 |  0.000 % |
2386.85/2386.87	c |   7224050 |    2560   301912  1020575 |        1   287879     60 |  0.000 % |
2386.85/2386.87	c |   7232299 |    2560   301912  1020575 |        1   296128     61 |  0.000 % |
2386.85/2386.87	c |   7275824 |    2560   301912  1020575 |        1   339653     67 |  0.000 % |
2386.85/2386.87	c |   7275990 |    2560   301912  1020575 |        1   339819     67 |  0.000 % |
2386.85/2386.87	c |   7292777 |    2560   301912  1020575 |        1   356606     69 |  0.000 % |
2386.85/2386.87	c |   7390604 |    2560   301912  1020575 |        1   263236     57 |  0.000 % |
3009.68/3009.68	c |   7390836 |    2560   301912  1020575 |        1   263468     57 |  0.000 % |
3009.68/3009.68	c |   7402869 |    2560   301912  1020575 |        1   275501     59 |  0.000 % |
3009.68/3009.68	c |   7521423 |    2560   301912  1020575 |        1   200264     45 |  0.000 % |
3009.68/3009.68	c |   7522957 |    2560   301912  1020575 |        1   201798     45 |  0.000 % |
3009.68/3009.68	c |   7524633 |    2560   301912  1020575 |        1   203474     46 |  0.000 % |
3009.68/3009.68	c |   7528644 |    2560   301912  1020575 |        1   207485     47 |  0.000 % |
3009.68/3009.68	c |   7538127 |    2560   301912  1020575 |        1   216968     49 |  0.000 % |
3009.68/3009.68	c |   7538839 |    2560   301912  1020575 |        1   217680     50 |  0.000 % |
3009.68/3009.68	c |   7630515 |    2560   301912  1020575 |        1   309356     68 |  0.000 % |
3009.68/3009.68	c |   7630646 |    2560   301912  1020575 |        1   309487     68 |  0.000 % |
3009.68/3009.68	c |   7634536 |    2560   301912  1020575 |        1   313377     69 |  0.000 % |
3009.68/3009.68	c |   7638474 |    2560   301912  1020575 |        1   317315     69 |  0.000 % |
3009.68/3009.68	c |   7675137 |    2560   301912  1020575 |        1   353978     73 |  0.000 % |
3009.68/3009.68	c |   7713855 |    2560   301912  1020575 |        1   392696     74 |  0.000 % |
3009.68/3009.68	c |   7737643 |    2560   301912  1020575 |        1   220070     51 |  0.000 % |
3009.68/3009.68	c |   7765763 |    2560   301912  1020575 |        1   248190     56 |  0.000 % |
3009.68/3009.68	c |   7790791 |    2560   301912  1020575 |        1   273218     60 |  0.000 % |
3009.68/3009.68	c |   7793621 |    2560   301912  1020575 |        1   276048     61 |  0.000 % |
3009.68/3009.68	c |   7793722 |    2560   301912  1020575 |        1   276149     61 |  0.000 % |
3009.68/3009.68	c |   7796578 |    2560   301912  1020575 |        1   279005     62 |  0.000 % |
3009.68/3009.68	c |   7798189 |    2560   301912  1020575 |        1   280616     62 |  0.000 % |
3009.68/3009.68	c |   7829134 |    2560   301912  1020575 |        1   311561     66 |  0.000 % |
3009.68/3009.68	c |   7850380 |    2560   301912  1020575 |        1   332807     70 |  0.000 % |
3009.68/3009.68	c |   7850481 |    2560   301912  1020575 |        1   332908     70 |  0.000 % |
3009.68/3009.68	c |   7877809 |    2560   301912  1020575 |        1   360236     73 |  0.000 % |
3009.68/3009.68	c |   7912094 |    2560   301912  1020575 |        1   394521     74 |  0.000 % |
3009.68/3009.68	c |   7953880 |    2560   301912  1020575 |        1   237307     50 |  0.000 % |
3009.68/3009.68	c |   8008330 |    2560   301912  1020575 |        1   291757     55 |  0.000 % |
3009.68/3009.68	c |   8025444 |    2560   301912  1020575 |        1   308871     56 |  0.000 % |
3009.68/3009.68	c |   8081995 |    2560   301912  1020575 |        1   365422     64 |  0.000 % |
3009.68/3009.68	c |   8114021 |    2560   301912  1020575 |        1   397448     66 |  0.000 % |
3009.68/3009.68	c |   8114350 |    2560   301912  1020575 |        1   397777     66 |  0.000 % |
3009.68/3009.68	c |   8114485 |    2560   301912  1020575 |        1   397912     66 |  0.000 % |
3009.68/3009.68	c |   8116713 |    2560   301912  1020575 |        1   400140     66 |  0.000 % |
3009.68/3009.68	c |   8168038 |    2560   301912  1020575 |        1   249870     61 |  0.000 % |
3009.68/3009.68	c |   8175425 |    2560   301912  1020575 |        1   257257     63 |  0.000 % |
3009.68/3009.68	c |   8217399 |    2560   301912  1020575 |        1   299231     71 |  0.000 % |
3009.68/3009.68	c |   8218047 |    2560   301912  1020575 |        1   299879     71 |  0.000 % |
3009.68/3009.68	c |   8219754 |    2560   301912  1020575 |        1   301586     71 |  0.000 % |
3009.68/3009.68	c |   8444485 |    2560   301912  1020575 |        1   322108     69 |  0.000 % |
3009.68/3009.68	c |   8522384 |    2560   301912  1020575 |        1   400007     76 |  0.000 % |
3009.68/3009.68	c |   8565450 |    2560   301912  1020575 |        1   236274     52 |  0.000 % |
3009.68/3009.68	c |   8648514 |    2560   301912  1020575 |        1   319338     61 |  0.000 % |
3009.68/3009.68	c |   8696311 |    2560   301912  1020575 |        1   367135     66 |  0.000 % |
3009.68/3009.68	c |   8752820 |    2560   301912  1020575 |        1   214252     44 |  0.000 % |
3009.68/3009.68	c |   8773647 |    2560   301912  1020575 |        1   235079     49 |  0.000 % |
3009.68/3009.68	c |   8815284 |    2560   301912  1020575 |        1   276716     55 |  0.000 % |
3009.68/3009.68	c |   8834704 |    2560   301912  1020575 |        1   296136     57 |  0.000 % |
3009.68/3009.68	c |   8838089 |    2560   301912  1020575 |        1   299521     57 |  0.000 % |
3009.68/3009.68	c |   8838376 |    2560   301912  1020575 |        1   299808     57 |  0.000 % |
3330.58/3330.53	c |   8848069 |    2560   301912  1020575 |        1   309501     59 |  0.000 % |
3330.58/3330.53	c |   8850240 |    2560   301912  1020575 |        1   311672     60 |  0.000 % |
3330.58/3330.53	c |   8881006 |    2560   301912  1020575 |        1   342438     64 |  0.000 % |
3330.58/3330.53	c |   8941910 |    2560   301912  1020575 |        1   403342     68 |  0.000 % |
3330.58/3330.53	c |   8961021 |    2560   301912  1020575 |        1   422453     70 |  0.000 % |
3330.58/3330.53	c |   9024163 |    2560   301912  1020575 |        1   273588     54 |  0.000 % |
3330.58/3330.53	c |   9036247 |    2560   301912  1020575 |        1   285672     56 |  0.000 % |
3330.58/3330.53	c |   9036583 |    2560   301912  1020575 |        1   286008     56 |  0.000 % |
3330.58/3330.53	c |   9040182 |    2560   301912  1020575 |        1   289607     56 |  0.000 % |
3330.58/3330.53	c |   9040318 |    2560   301912  1020575 |        1   289743     56 |  0.000 % |
3330.58/3330.53	c |   9040594 |    2560   301912  1020575 |        1   290019     56 |  0.000 % |
3330.58/3330.53	c |   9137454 |    2560   301912  1020575 |        1   386879     65 |  0.000 % |
3330.58/3330.53	c |   9137794 |    2560   301912  1020575 |        1   387219     65 |  0.000 % |
3330.58/3330.53	c |   9137895 |    2560   301912  1020575 |        1   387320     65 |  0.000 % |
3330.58/3330.53	c |   9138603 |    2560   301912  1020575 |        1   388028     65 |  0.000 % |
3330.58/3330.53	c |   9143252 |    2560   301912  1020575 |        1   392677     66 |  0.000 % |
3330.58/3330.53	c |   9163445 |    2560   301912  1020575 |        1   412870     67 |  0.000 % |
3330.58/3330.53	c |   9165898 |    2560   301912  1020575 |        1   415323     67 |  0.000 % |
3330.58/3330.53	c |   9166003 |    2560   301912  1020575 |        1   415428     67 |  0.000 % |
3330.58/3330.53	c |   9173097 |    2560   301912  1020575 |        1   422522     67 |  0.000 % |
3330.58/3330.53	c |   9199365 |    2560   301912  1020575 |        1   234209     46 |  0.000 % |
3330.58/3330.53	c |   9231348 |    2560   301912  1020575 |        1   266192     54 |  0.000 % |
3330.58/3330.53	c |   9303905 |    2560   301912  1020575 |        1   338749     62 |  0.000 % |
3330.58/3330.53	c |   9309564 |    2560   301912  1020575 |        1   344408     63 |  0.000 % |
3330.58/3330.53	c |   9309884 |    2560   301912  1020575 |        1   344728     63 |  0.000 % |
3330.58/3330.53	c |   9315175 |    2560   301912  1020575 |        1   350019     64 |  0.000 % |
3330.58/3330.53	c |   9328748 |    2560   301912  1020575 |        1   363592     65 |  0.000 % |
3330.58/3330.53	c |   9332637 |    2560   301912  1020575 |        1   367481     65 |  0.000 % |
3330.58/3330.53	c |   9333395 |    2560   301912  1020575 |        1   368239     65 |  0.000 % |
3330.58/3330.53	c |   9362807 |    2560   301912  1020575 |        1   397651     69 |  0.000 % |
3330.58/3330.53	c |   9374335 |    2560   301912  1020575 |        1   409179     70 |  0.000 % |
3330.58/3330.53	c |   9489320 |    2560   301912  1020575 |        1   306960     64 |  0.000 % |
3330.58/3330.53	c |   9502742 |    2560   301912  1020575 |        1   320382     66 |  0.000 % |
3330.58/3330.53	c |   9509119 |    2560   301912  1020575 |        1   326759     67 |  0.000 % |
3330.58/3330.53	c |   9511272 |    2560   301912  1020575 |        1   328912     67 |  0.000 % |
3330.58/3330.53	c |   9551448 |    2560   301912  1020575 |        1   369088     72 |  0.000 % |
3330.58/3330.53	c |   9557249 |    2560   301912  1020575 |        1   374889     72 |  0.000 % |
3330.58/3330.53	c |   9558491 |    2560   301912  1020575 |        1   376131     72 |  0.000 % |
3330.58/3330.53	c |   9558592 |    2560   301912  1020575 |        1   376232     72 |  0.000 % |
3330.58/3330.53	c |   9558971 |    2560   301912  1020575 |        1   376611     73 |  0.000 % |
3330.58/3330.53	c |   9560088 |    2560   301912  1020575 |        1   377728     73 |  0.000 % |
3330.58/3330.53	c |   9578288 |    2560   301912  1020575 |        1   395928     75 |  0.000 % |
3330.58/3330.53	c |   9585581 |    2560   301912  1020575 |        1   403221     75 |  0.000 % |
3330.58/3330.53	c |   9585682 |    2560   301912  1020575 |        1   403322     75 |  0.000 % |
3330.58/3330.53	c |   9586692 |    2560   301912  1020575 |        1   404332     75 |  0.000 % |
3330.58/3330.53	c |   9588121 |    2560   301912  1020575 |        1   405761     75 |  0.000 % |
3330.58/3330.53	c |   9599066 |    2560   301912  1020575 |        1   416706     76 |  0.000 % |
3330.58/3330.53	c |   9699627 |    2560   301912  1020575 |        1   297476     59 |  0.000 % |
3330.58/3330.53	c |   9704235 |    2560   301912  1020575 |        1   302084     60 |  0.000 % |
3716.90/3716.83	c |   9705908 |    2560   301912  1020575 |        1   303757     61 |  0.000 % |
3716.90/3716.83	c |   9706181 |    2560   301912  1020575 |        1   304030     61 |  0.000 % |
3716.90/3716.83	c |   9718224 |    2560   301912  1020575 |        1   316073     63 |  0.000 % |
3716.90/3716.83	c |   9752046 |    2560   301912  1020575 |        1   349895     67 |  0.000 % |
3716.90/3716.83	c |   9812486 |    2560   301912  1020575 |        1   410335     74 |  0.000 % |
3716.90/3716.83	c |   9815757 |    2560   301912  1020575 |        1   413606     74 |  0.000 % |
3716.90/3716.83	c |   9838746 |    2560   301912  1020575 |        1   436595     75 |  0.000 % |
3716.90/3716.83	c |   9845353 |    2560   301912  1020575 |        1   443202     75 |  0.000 % |
3716.90/3716.83	c |   9873889 |    2560   301912  1020575 |        1   249319     51 |  0.000 % |
3716.90/3716.83	c |   9875173 |    2560   301912  1020575 |        1   250603     51 |  0.000 % |
3716.90/3716.83	c |   9876779 |    2560   301912  1020575 |        1   252209     52 |  0.000 % |
3716.90/3716.83	c |   9891169 |    2560   301912  1020575 |        1   266599     54 |  0.000 % |
3716.90/3716.83	c |   9891713 |    2560   301912  1020575 |        1   267143     55 |  0.000 % |
3716.90/3716.83	c |  10042248 |    2560   301912  1020575 |        1   417678     67 |  0.000 % |
3716.90/3716.83	c |  10042350 |    2560   301912  1020575 |        1   417780     67 |  0.000 % |
3716.90/3716.83	c |  10098726 |    2560   301912  1020575 |        1   249168     46 |  0.000 % |
3716.90/3716.83	c |  10107733 |    2560   301912  1020575 |        1   258175     47 |  0.000 % |
3716.90/3716.83	c |  10107846 |    2560   301912  1020575 |        1   258288     47 |  0.000 % |
3716.90/3716.83	c |  10146341 |    2560   301912  1020575 |        1   296783     53 |  0.000 % |
3716.90/3716.83	c |  10152341 |    2560   301912  1020575 |        1   302783     54 |  0.000 % |
3716.90/3716.83	c |  10154707 |    2560   301912  1020575 |        1   305149     54 |  0.000 % |
3716.90/3716.83	c |  10155046 |    2560   301912  1020575 |        1   305488     55 |  0.000 % |
3716.90/3716.83	c |  10157088 |    2560   301912  1020575 |        1   307530     55 |  0.000 % |
3716.90/3716.83	c |  10224642 |    2560   301912  1020575 |        1   375084     62 |  0.000 % |
3716.90/3716.83	c |  10259062 |    2560   301912  1020575 |        1   409504     64 |  0.000 % |
3716.90/3716.83	c |  10259180 |    2560   301912  1020575 |        1   409622     64 |  0.000 % |
3716.90/3716.83	c |  10272072 |    2560   301912  1020575 |        1   422514     66 |  0.000 % |
3716.90/3716.83	c |  10274433 |    2560   301912  1020575 |        1   424875     66 |  0.000 % |
3716.90/3716.83	c |  10277341 |    2560   301912  1020575 |        1   427783     66 |  0.000 % |
3716.90/3716.83	c |  10283174 |    2560   301912  1020575 |        1   433616     67 |  0.000 % |
3716.90/3716.83	c |  10289764 |    2560   301912  1020575 |        1   440206     68 |  0.000 % |
3716.90/3716.83	c |  10337415 |    2560   301912  1020575 |        1   260260     50 |  0.000 % |
3716.90/3716.83	c |  10338174 |    2560   301912  1020575 |        1   261019     50 |  0.000 % |
3716.90/3716.83	c |  10371874 |    2560   301912  1020575 |        1   294719     57 |  0.000 % |
3716.90/3716.83	c |  10455272 |    2560   301912  1020575 |        1   378117     64 |  0.000 % |
3716.90/3716.83	c |  10464646 |    2560   301912  1020575 |        1   387491     65 |  0.000 % |
3716.90/3716.83	c |  10591089 |    2560   301912  1020575 |        1   283728     56 |  0.000 % |
3716.90/3716.83	c |  10608557 |    2560   301912  1020575 |        1   301196     59 |  0.000 % |
3716.90/3716.83	c |  10609010 |    2560   301912  1020575 |        1   301649     59 |  0.000 % |
3716.90/3716.83	c |  10613585 |    2560   301912  1020575 |        1   306224     60 |  0.000 % |
3716.90/3716.83	c |  10617366 |    2560   301912  1020575 |        1   310005     60 |  0.000 % |
3716.90/3716.83	c |  10618103 |    2560   301912  1020575 |        1   310742     61 |  0.000 % |
3716.90/3716.83	c |  10623107 |    2560   301912  1020575 |        1   315746     61 |  0.000 % |
3716.90/3716.83	c |  10653286 |    2560   301912  1020575 |        1   345925     65 |  0.000 % |
3716.90/3716.83	c |  10653790 |    2560   301912  1020575 |        1   346429     65 |  0.000 % |
3716.90/3716.83	c |  10655853 |    2560   301912  1020575 |        1   348492     65 |  0.000 % |
3716.90/3716.83	c |  10685987 |    2560   301912  1020575 |        1   378626     68 |  0.000 % |
3716.90/3716.83	c |  10718821 |    2560   301912  1020575 |        1   411460     69 |  0.000 % |
3716.90/3716.83	c |  10721107 |    2560   301912  1020575 |        1   413746     70 |  0.000 % |
3716.90/3716.83	c |  10725204 |    2560   301912  1020575 |        1   417843     70 |  0.000 % |
3878.49/3878.41	c |  10725761 |    2560   301912  1020575 |        1   418400     70 |  0.000 % |
3878.49/3878.41	c |  10727642 |    2560   301912  1020575 |        1   420281     70 |  0.000 % |
3878.49/3878.41	c |  10783004 |    2560   301912  1020575 |        1   242840     46 |  0.000 % |
3878.49/3878.41	c |  10790312 |    2560   301912  1020575 |        1   250148     48 |  0.000 % |
3878.49/3878.41	c |  10790413 |    2560   301912  1020575 |        1   250249     48 |  0.000 % |
3878.49/3878.41	c |  10799336 |    2560   301912  1020575 |        1   259172     50 |  0.000 % |
3878.49/3878.41	c |  10802005 |    2560   301912  1020575 |        1   261841     50 |  0.000 % |
3878.49/3878.41	c |  10854041 |    2560   301912  1020575 |        1   313877     60 |  0.000 % |
3878.49/3878.41	c |  10854150 |    2560   301912  1020575 |        1   313986     60 |  0.000 % |
3878.49/3878.41	c |  10868327 |    2560   301912  1020575 |        1   328163     63 |  0.000 % |
3878.49/3878.41	c |  10872459 |    2560   301912  1020575 |        1   332295     63 |  0.000 % |
3878.49/3878.41	c |  10872660 |    2560   301912  1020575 |        1   332496     63 |  0.000 % |
3878.49/3878.41	c |  10881854 |    2560   301912  1020575 |        1   341690     64 |  0.000 % |
3878.49/3878.41	c |  10884796 |    2560   301912  1020575 |        1   344632     65 |  0.000 % |
3878.49/3878.41	c |  10892727 |    2560   301912  1020575 |        1   352563     65 |  0.000 % |
3878.49/3878.41	c |  10926321 |    2560   301912  1020575 |        1   386157     67 |  0.000 % |
3878.49/3878.41	c |  10948831 |    2560   301912  1020575 |        1   408667     69 |  0.000 % |
3878.49/3878.41	c |  10948935 |    2560   301912  1020575 |        1   408771     69 |  0.000 % |
3878.49/3878.41	c |  10949139 |    2560   301912  1020575 |        1   408975     69 |  0.000 % |
3878.49/3878.41	c |  10985472 |    2560   301912  1020575 |        1   445308     73 |  0.000 % |
3878.49/3878.41	c |  10985931 |    2560   301912  1020575 |        1   445767     73 |  0.000 % |
3878.49/3878.41	c |  10986127 |    2560   301912  1020575 |        1   445963     73 |  0.000 % |
3878.49/3878.41	c |  10986227 |    2560   301912  1020575 |        1   446063     73 |  0.000 % |
3878.49/3878.41	c |  10987255 |    2560   301912  1020575 |        1   447091     74 |  0.000 % |
3878.49/3878.41	c |  10988714 |    2560   301912  1020575 |        1   448550     74 |  0.000 % |
3878.49/3878.41	c |  10993857 |    2560   301912  1020575 |        1   453693     74 |  0.000 % |
3878.49/3878.41	c |  10999617 |    2560   301912  1020575 |        1   459453     75 |  0.000 % |
3878.49/3878.41	c |  11011328 |    2560   301912  1020575 |        1   235758     44 |  0.000 % |
3878.49/3878.41	c |  11012684 |    2560   301912  1020575 |        1   237114     45 |  0.000 % |
3878.49/3878.41	c |  11014839 |    2560   301912  1020575 |        1   239269     46 |  0.000 % |
3878.49/3878.41	c |  11066170 |    2560   301912  1020575 |        1   290600     58 |  0.000 % |
3878.49/3878.41	c |  11084429 |    2560   301912  1020575 |        1   308859     61 |  0.000 % |
3878.49/3878.41	c |  11087015 |    2560   301912  1020575 |        1   311445     61 |  0.000 % |
3878.49/3878.41	c |  11089893 |    2560   301912  1020575 |        1   314323     62 |  0.000 % |
3878.49/3878.41	c |  11091058 |    2560   301912  1020575 |        1   315488     62 |  0.000 % |
3878.49/3878.41	c |  11091371 |    2560   301912  1020575 |        1   315801     62 |  0.000 % |
3878.49/3878.41	c |  11091636 |    2560   301912  1020575 |        1   316066     62 |  0.000 % |
3878.49/3878.41	c |  11104250 |    2560   301912  1020575 |        1   328680     64 |  0.000 % |
3878.49/3878.41	c |  11110317 |    2560   301912  1020575 |        1   334747     65 |  0.000 % |
3878.49/3878.41	c |  11123322 |    2560   301912  1020575 |        1   347752     67 |  0.000 % |
3878.49/3878.41	c |  11124525 |    2560   301912  1020575 |        1   348955     67 |  0.000 % |
3878.49/3878.41	c |  11128879 |    2560   301912  1020575 |        1   353309     68 |  0.000 % |
3878.49/3878.41	c |  11130610 |    2560   301912  1020575 |        1   355040     68 |  0.000 % |
3878.49/3878.41	c |  11132543 |    2560   301912  1020575 |        1   356973     69 |  0.000 % |
3878.49/3878.41	c |  11133533 |    2560   301912  1020575 |        1   357963     69 |  0.000 % |
3878.49/3878.41	c |  11158359 |    2560   301912  1020575 |        1   382789     71 |  0.000 % |
3878.49/3878.41	c |  11160390 |    2560   301912  1020575 |        1   384820     72 |  0.000 % |
3878.49/3878.41	c |  11178626 |    2560   301912  1020575 |        1   403056     73 |  0.000 % |
3878.49/3878.41	c |  11184468 |    2560   301912  1020575 |        1   408898     74 |  0.000 % |
3878.49/3878.41	c |  11187732 |    2560   301912  1020575 |        1   412162     74 |  0.000 % |
4239.20/4239.19	c |  11212228 |    2560   301912  1020575 |        1   436658     76 |  0.000 % |
4239.20/4239.19	c |  11218188 |    2560   301912  1020575 |        1   442618     76 |  0.000 % |
4239.20/4239.19	c |  11230344 |    2560   301912  1020575 |        1   454774     77 |  0.000 % |
4239.20/4239.19	c |  11438250 |    2560   301912  1020575 |        1   424672     64 |  0.000 % |
4239.20/4239.19	c |  11463880 |    2560   301912  1020575 |        1   450302     67 |  0.000 % |
4239.20/4239.19	c |  11466420 |    2560   301912  1020575 |        1   452842     67 |  0.000 % |
4239.20/4239.19	c |  11501836 |    2560   301912  1020575 |        1   247673     44 |  0.000 % |
4239.20/4239.19	c |  11527189 |    2560   301912  1020575 |        1   273026     50 |  0.000 % |
4239.20/4239.19	c |  11529661 |    2560   301912  1020575 |        1   275498     51 |  0.000 % |
4239.20/4239.19	c |  11558485 |    2560   301912  1020575 |        1   304322     55 |  0.000 % |
4239.20/4239.19	c |  11567681 |    2560   301912  1020575 |        1   313518     56 |  0.000 % |
4239.20/4239.19	c |  11581026 |    2560   301912  1020575 |        1   326863     58 |  0.000 % |
4239.20/4239.19	c |  11582004 |    2560   301912  1020575 |        1   327841     58 |  0.000 % |
4239.20/4239.19	c |  11603833 |    2560   301912  1020575 |        1   349670     60 |  0.000 % |
4239.20/4239.19	c |  11604619 |    2560   301912  1020575 |        1   350456     60 |  0.000 % |
4239.20/4239.19	c |  11608788 |    2560   301912  1020575 |        1   354625     61 |  0.000 % |
4239.20/4239.19	c |  11636607 |    2560   301912  1020575 |        1   382444     63 |  0.000 % |
4239.20/4239.19	c |  11638240 |    2560   301912  1020575 |        1   384077     63 |  0.000 % |
4239.20/4239.19	c |  11655578 |    2560   301912  1020575 |        1   401415     65 |  0.000 % |
4239.20/4239.19	c |  11662093 |    2560   301912  1020575 |        1   407930     66 |  0.000 % |
4239.20/4239.19	c |  11710895 |    2560   301912  1020575 |        1   456732     69 |  0.000 % |
4239.20/4239.19	c |  11712614 |    2560   301912  1020575 |        1   458451     69 |  0.000 % |
4239.20/4239.19	c |  11712714 |    2560   301912  1020575 |        1   458551     69 |  0.000 % |
4239.20/4239.19	c |  11712918 |    2560   301912  1020575 |        1   458755     69 |  0.000 % |
4239.20/4239.19	c |  11713846 |    2560   301912  1020575 |        1   459683     70 |  0.000 % |
4239.20/4239.19	c |  11719326 |    2560   301912  1020575 |        1   465163     70 |  0.000 % |
4239.20/4239.19	c |  11720696 |    2560   301912  1020575 |        1   466533     70 |  0.000 % |
4239.20/4239.19	c |  11732614 |    2560   301912  1020575 |        1   478451     71 |  0.000 % |
4239.20/4239.19	c |  11736716 |    2560   301912  1020575 |        1   482553     71 |  0.000 % |
4239.20/4239.19	c |  11755195 |    2560   301912  1020575 |        1   257823     47 |  0.000 % |
4239.20/4239.19	c |  11772056 |    2560   301912  1020575 |        1   274684     51 |  0.000 % |
4239.20/4239.19	c |  11772473 |    2560   301912  1020575 |        1   275101     51 |  0.000 % |
4239.20/4239.19	c |  11773018 |    2560   301912  1020575 |        1   275646     51 |  0.000 % |
4239.20/4239.19	c |  11773975 |    2560   301912  1020575 |        1   276603     51 |  0.000 % |
4239.20/4239.19	c |  11774249 |    2560   301912  1020575 |        1   276877     51 |  0.000 % |
4239.20/4239.19	c |  11774349 |    2560   301912  1020575 |        1   276977     51 |  0.000 % |
4239.20/4239.19	c |  11776830 |    2560   301912  1020575 |        1   279458     52 |  0.000 % |
4239.20/4239.19	c |  11779274 |    2560   301912  1020575 |        1   281902     52 |  0.000 % |
4239.20/4239.19	c |  11804185 |    2560   301912  1020575 |        1   306813     57 |  0.000 % |
4239.20/4239.19	c |  11804285 |    2560   301912  1020575 |        1   306913     57 |  0.000 % |
4239.20/4239.19	c |  11818701 |    2560   301912  1020575 |        1   321329     60 |  0.000 % |
4239.20/4239.19	c |  11822185 |    2560   301912  1020575 |        1   324813     60 |  0.000 % |
4239.20/4239.19	c |  11822285 |    2560   301912  1020575 |        1   324913     60 |  0.000 % |
4239.20/4239.19	c |  11822387 |    2560   301912  1020575 |        1   325015     60 |  0.000 % |
4239.20/4239.19	c |  11846272 |    2560   301912  1020575 |        1   348900     64 |  0.000 % |
4239.20/4239.19	c |  11900556 |    2560   301912  1020575 |        1   403184     68 |  0.000 % |
4239.20/4239.19	c |  11902259 |    2560   301912  1020575 |        1   404887     68 |  0.000 % |
4239.20/4239.19	c |  11902578 |    2560   301912  1020575 |        1   405206     68 |  0.000 % |
4239.20/4239.19	c |  11914523 |    2560   301912  1020575 |        1   417151     69 |  0.000 % |
4239.20/4239.19	c |  12097192 |    2560   301912  1020575 |        1   354030     59 |  0.000 % |
4528.22/4528.11	c |  12133153 |    2560   301912  1020575 |        1   389991     64 |  0.000 % |
4528.22/4528.11	c |  12134432 |    2560   301912  1020575 |        1   391270     64 |  0.000 % |
4528.22/4528.11	c |  12151775 |    2560   301912  1020575 |        1   408613     66 |  0.000 % |
4528.22/4528.11	c |  12155556 |    2560   301912  1020575 |        1   412394     67 |  0.000 % |
4528.22/4528.11	c |  12200469 |    2560   301912  1020575 |        1   457307     71 |  0.000 % |
4528.22/4528.11	c |  12200649 |    2560   301912  1020575 |        1   457487     71 |  0.000 % |
4528.22/4528.11	c |  12203025 |    2560   301912  1020575 |        1   459863     71 |  0.000 % |
4528.22/4528.11	c |  12234709 |    2560   301912  1020575 |        1   491547     74 |  0.000 % |
4528.22/4528.11	c |  12251522 |    2560   301912  1020575 |        1   259953     48 |  0.000 % |
4528.22/4528.11	c |  12254184 |    2560   301912  1020575 |        1   262615     48 |  0.000 % |
4528.22/4528.11	c |  12255806 |    2560   301912  1020575 |        1   264237     49 |  0.000 % |
4528.22/4528.11	c |  12255907 |    2560   301912  1020575 |        1   264338     49 |  0.000 % |
4528.22/4528.11	c |  12256993 |    2560   301912  1020575 |        1   265424     49 |  0.000 % |
4528.22/4528.11	c |  12281308 |    2560   301912  1020575 |        1   289739     54 |  0.000 % |
4528.22/4528.11	c |  12340379 |    2560   301912  1020575 |        1   348810     60 |  0.000 % |
4528.22/4528.11	c |  12352219 |    2560   301912  1020575 |        1   360650     61 |  0.000 % |
4528.22/4528.11	c |  12363656 |    2560   301912  1020575 |        1   372087     62 |  0.000 % |
4528.22/4528.11	c |  12381239 |    2560   301912  1020575 |        1   389670     64 |  0.000 % |
4528.22/4528.11	c |  12388073 |    2560   301912  1020575 |        1   396504     65 |  0.000 % |
4528.22/4528.11	c |  12399226 |    2560   301912  1020575 |        1   407657     66 |  0.000 % |
4528.22/4528.11	c |  12427501 |    2560   301912  1020575 |        1   435932     68 |  0.000 % |
4528.22/4528.11	c |  12443896 |    2560   301912  1020575 |        1   452327     70 |  0.000 % |
4528.22/4528.11	c |  12452171 |    2560   301912  1020575 |        1   460602     71 |  0.000 % |
4528.22/4528.11	c |  12454777 |    2560   301912  1020575 |        1   463208     71 |  0.000 % |
4528.22/4528.11	c |  12477579 |    2560   301912  1020575 |        1   486010     73 |  0.000 % |
4528.22/4528.11	c |  12486196 |    2560   301912  1020575 |        1   494627     73 |  0.000 % |
4528.22/4528.11	c |  12487475 |    2560   301912  1020575 |        1   495906     73 |  0.000 % |
4528.22/4528.11	c |  12504966 |    2560   301912  1020575 |        1   262400     46 |  0.000 % |
4528.22/4528.11	c |  12505067 |    2560   301912  1020575 |        1   262501     46 |  0.000 % |
4528.22/4528.11	c |  12544647 |    2560   301912  1020575 |        1   302081     56 |  0.000 % |
4528.22/4528.11	c |  12581753 |    2560   301912  1020575 |        1   339187     62 |  0.000 % |
4528.22/4528.11	c |  12597258 |    2560   301912  1020575 |        1   354692     64 |  0.000 % |
4528.22/4528.11	c |  12601494 |    2560   301912  1020575 |        1   358928     64 |  0.000 % |
4528.22/4528.11	c |  12603223 |    2560   301912  1020575 |        1   360657     64 |  0.000 % |
4528.22/4528.11	c |  12605583 |    2560   301912  1020575 |        1   363017     65 |  0.000 % |
4528.22/4528.11	c |  12624851 |    2560   301912  1020575 |        1   382285     67 |  0.000 % |
4528.22/4528.11	c |  12627389 |    2560   301912  1020575 |        1   384823     67 |  0.000 % |
4528.22/4528.11	c |  12685433 |    2560   301912  1020575 |        1   442867     73 |  0.000 % |
4528.22/4528.11	c |  12686028 |    2560   301912  1020575 |        1   443462     73 |  0.000 % |
4528.22/4528.11	c |  12687093 |    2560   301912  1020575 |        1   444527     73 |  0.000 % |
4528.22/4528.11	c |  12697953 |    2560   301912  1020575 |        1   455387     74 |  0.000 % |
4528.22/4528.11	c |  12710743 |    2560   301912  1020575 |        1   468177     75 |  0.000 % |
4528.22/4528.11	c |  12714423 |    2560   301912  1020575 |        1   471857     75 |  0.000 % |
4528.22/4528.11	c |  12738563 |    2560   301912  1020575 |        1   495997     76 |  0.000 % |
4528.22/4528.11	c |  12783595 |    2560   301912  1020575 |        1   287425     53 |  0.000 % |
4528.22/4528.11	c |  12787194 |    2560   301912  1020575 |        1   291024     53 |  0.000 % |
4528.22/4528.11	c |  12819437 |    2560   301912  1020575 |        1   323267     57 |  0.000 % |
4528.22/4528.11	c |  12872483 |    2560   301912  1020575 |        1   376313     65 |  0.000 % |
4528.22/4528.11	c |  12874261 |    2560   301912  1020575 |        1   378091     65 |  0.000 % |
4528.22/4528.11	c |  12878932 |    2560   301912  1020575 |        1   382762     66 |  0.000 % |
4925.32/4925.30	c |  12892244 |    2560   301912  1020575 |        1   396074     67 |  0.000 % |
4925.32/4925.30	c |  13024495 |    2560   301912  1020575 |        1   272118     48 |  0.000 % |
4925.32/4925.30	c |  13067614 |    2560   301912  1020575 |        1   315237     54 |  0.000 % |
4925.32/4925.30	c |  13069413 |    2560   301912  1020575 |        1   317036     54 |  0.000 % |
4925.32/4925.30	c |  13069557 |    2560   301912  1020575 |        1   317180     54 |  0.000 % |
4925.32/4925.30	c |  13069761 |    2560   301912  1020575 |        1   317384     55 |  0.000 % |
4925.32/4925.30	c |  13077226 |    2560   301912  1020575 |        1   324849     56 |  0.000 % |
4925.32/4925.30	c |  13077665 |    2560   301912  1020575 |        1   325288     56 |  0.000 % |
4925.32/4925.30	c |  13080245 |    2560   301912  1020575 |        1   327868     56 |  0.000 % |
4925.32/4925.30	c |  13122872 |    2560   301912  1020575 |        1   370495     61 |  0.000 % |
4925.32/4925.30	c |  13161063 |    2560   301912  1020575 |        1   408686     63 |  0.000 % |
4925.32/4925.30	c |  13185311 |    2560   301912  1020575 |        1   432934     66 |  0.000 % |
4925.32/4925.30	c |  13206686 |    2560   301912  1020575 |        1   454309     68 |  0.000 % |
4925.32/4925.30	c |  13241481 |    2560   301912  1020575 |        1   489104     70 |  0.000 % |
4925.32/4925.30	c |  13339587 |    2560   301912  1020575 |        1   328424     56 |  0.000 % |
4925.32/4925.30	c |  13343593 |    2560   301912  1020575 |        1   332430     57 |  0.000 % |
4925.32/4925.30	c |  13344971 |    2560   301912  1020575 |        1   333808     57 |  0.000 % |
4925.32/4925.30	c |  13345425 |    2560   301912  1020575 |        1   334262     57 |  0.000 % |
4925.32/4925.30	c |  13372650 |    2560   301912  1020575 |        1   361487     61 |  0.000 % |
4925.32/4925.30	c |  13391613 |    2560   301912  1020575 |        1   380450     63 |  0.000 % |
4925.32/4925.30	c |  13391983 |    2560   301912  1020575 |        1   380820     63 |  0.000 % |
4925.32/4925.30	c |  13393621 |    2560   301912  1020575 |        1   382458     63 |  0.000 % |
4925.32/4925.30	c |  13394317 |    2560   301912  1020575 |        1   383154     63 |  0.000 % |
4925.32/4925.30	c |  13404052 |    2560   301912  1020575 |        1   392889     65 |  0.000 % |
4925.32/4925.30	c |  13409247 |    2560   301912  1020575 |        1   398084     65 |  0.000 % |
4925.32/4925.30	c |  13409423 |    2560   301912  1020575 |        1   398260     65 |  0.000 % |
4925.32/4925.30	c |  13414432 |    2560   301912  1020575 |        1   403269     66 |  0.000 % |
4925.32/4925.30	c |  13414532 |    2560   301912  1020575 |        1   403369     66 |  0.000 % |
4925.32/4925.30	c |  13415906 |    2560   301912  1020575 |        1   404743     66 |  0.000 % |
4925.32/4925.30	c |  13418151 |    2560   301912  1020575 |        1   406988     67 |  0.000 % |
4925.32/4925.30	c |  13419359 |    2560   301912  1020575 |        1   408196     67 |  0.000 % |
4925.32/4925.30	c |  13420300 |    2560   301912  1020575 |        1   409137     67 |  0.000 % |
4925.32/4925.30	c |  13462646 |    2560   301912  1020575 |        1   451483     70 |  0.000 % |
4925.32/4925.30	c |  13477554 |    2560   301912  1020575 |        1   466391     71 |  0.000 % |
4925.32/4925.30	c |  13505870 |    2560   301912  1020575 |        1   494707     72 |  0.000 % |
4925.32/4925.30	c |  13544003 |    2560   301912  1020575 |        1   271432     44 |  0.000 % |
4925.32/4925.30	c |  13571413 |    2560   301912  1020575 |        1   298842     50 |  0.000 % |
4925.32/4925.30	c |  13573000 |    2560   301912  1020575 |        1   300429     50 |  0.000 % |
4925.42/4925.30	c |  13573100 |    2560   301912  1020575 |        1   300529     50 |  0.000 % |
4925.42/4925.30	c |  13600483 |    2560   301912  1020575 |        1   327912     54 |  0.000 % |
4925.42/4925.30	c |  13608437 |    2560   301912  1020575 |        1   335866     55 |  0.000 % |
4925.42/4925.30	c |  13612111 |    2560   301912  1020575 |        1   339540     56 |  0.000 % |
4925.42/4925.30	c |  13617357 |    2560   301912  1020575 |        1   344786     56 |  0.000 % |
4925.42/4925.30	c |  13629863 |    2560   301912  1020575 |        1   357292     58 |  0.000 % |
4925.42/4925.30	c |  13721127 |    2560   301912  1020575 |        1   448556     64 |  0.000 % |
4925.42/4925.30	c |  13732358 |    2560   301912  1020575 |        1   459787     65 |  0.000 % |
4925.42/4925.30	c |  13732675 |    2560   301912  1020575 |        1   460104     65 |  0.000 % |
4925.42/4925.30	c |  13769204 |    2560   301912  1020575 |        1   496633     67 |  0.000 % |
4925.42/4925.30	c |  13769508 |    2560   301912  1020575 |        1   496937     67 |  0.000 % |
4925.42/4925.30	c |  13821621 |    2560   301912  1020575 |        1   2850

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-3303356-1303899334/watcher-3303356-1303899334 -o /tmp/evaluation-result-3303356-1303899334/solver-3303356-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303356-1303899334.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/182 28752
/proc/meminfo: memFree=21267312/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 501531586 8912896 253 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28752/statm: 2176 253 211 178 0 69 0

[startup+0.0553571 s]
/proc/loadavg: 0.00 0.00 0.00 2/182 28752
/proc/meminfo: memFree=21267312/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 501531586 8912896 253 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28752/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100349 s]
/proc/loadavg: 0.00 0.00 0.00 2/182 28752
/proc/meminfo: memFree=21267312/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 501531586 8912896 253 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28752/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300345 s]
/proc/loadavg: 0.00 0.00 0.00 2/182 28752
/proc/meminfo: memFree=21267312/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 501531586 8912896 253 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28752/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700267 s]
/proc/loadavg: 0.00 0.00 0.00 2/182 28752
/proc/meminfo: memFree=21267312/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 501531586 8912896 253 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28752/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50106 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 28755
/proc/meminfo: memFree=21233328/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 8704

[startup+3.1008 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 28756
/proc/meminfo: memFree=21215348/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=54952 CPUtime=1.76 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 14914 0 0 0 174 2 0 0 25 0 1 0 501531718 56270848 8809 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 13738 8809 250 17 0 10379 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 63656

[startup+6.30021 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 28756
/proc/meminfo: memFree=21183404/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=66516 CPUtime=4.97 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 22507 0 0 0 494 3 0 0 25 0 1 0 501531718 68112384 12680 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 16629 12680 250 17 0 13270 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 75220

[startup+12.7011 s]
/proc/loadavg: 0.44 0.10 0.03 3/184 28757
/proc/meminfo: memFree=21167380/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=66516 CPUtime=11.37 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 28410 0 0 0 1133 4 0 0 25 0 1 0 501531718 68112384 13362 33554432000 4194304 4260849 140735689514000 18446744073709551615 4227826 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 16629 13362 250 17 0 13270 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75220

[startup+25.5008 s]
/proc/loadavg: 0.68 0.16 0.05 3/184 28757
/proc/meminfo: memFree=21158112/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=85368 CPUtime=24.17 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 33397 0 0 0 2412 5 0 0 25 0 1 0 501531718 87416832 18032 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 21342 18032 250 17 0 17983 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94072

[startup+51.1011 s]
/proc/loadavg: 1.13 0.31 0.10 3/184 28758
/proc/meminfo: memFree=21097388/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=85368 CPUtime=49.77 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 41424 0 0 0 4971 6 0 0 25 0 1 0 501531718 87416832 18075 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 21342 18075 250 17 0 17983 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94072

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 3/184 28759
/proc/meminfo: memFree=21109412/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=97212 CPUtime=100.98 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 85459 0 0 0 10086 12 0 0 25 0 1 0 501531718 99545088 21036 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 24303 21036 250 17 0 20944 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 105916

[startup+162.301 s]
/proc/loadavg: 1.92 0.84 0.31 3/184 28761
/proc/meminfo: memFree=21067116/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=146532 CPUtime=160.97 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 122938 0 0 0 16080 17 0 0 25 0 1 0 501531718 150048768 30576 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 36633 30576 250 17 0 33274 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 155236

[startup+222.301 s]
/proc/loadavg: 1.97 1.06 0.43 3/184 28762
/proc/meminfo: memFree=21102936/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=97212 CPUtime=220.97 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 156119 0 0 0 22076 21 0 0 25 0 1 0 501531718 99545088 21036 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 24303 21036 250 17 0 20944 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 105916

[startup+282.301 s]
/proc/loadavg: 1.99 1.22 0.51 3/184 28764
/proc/meminfo: memFree=21052324/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=97212 CPUtime=280.98 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 192498 0 0 0 28071 27 0 0 25 0 1 0 501531718 99545088 21037 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 24303 21037 251 17 0 20944 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 105916

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/184 28765
/proc/meminfo: memFree=21017592/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=177352 CPUtime=340.98 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 232918 0 0 0 34065 33 0 0 25 0 1 0 501531718 181608448 34279 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28756/statm: 44338 34279 251 17 0 40979 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 186056

[startup+402.301 s]
/proc/loadavg: 2.05 1.49 0.69 3/184 28767
/proc/meminfo: memFree=21025744/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=146532 CPUtime=400.98 cores=0,2,4,6

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

/proc/28756/statm: 71911 65984 251 17 0 68552 0
Current children cumulated CPU time (s) 4362.41
Current children cumulated vsize (KiB) 296348

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/184 28886
/proc/meminfo: memFree=20811472/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=288364 CPUtime=4421.1 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 1978553 0 0 0 441681 429 0 0 25 0 1 0 501531718 295284736 58650 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 72091 58650 251 17 0 68732 0
Current children cumulated CPU time (s) 4422.41
Current children cumulated vsize (KiB) 297068

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/184 28888
/proc/meminfo: memFree=20707416/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=370600 CPUtime=4481.1 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 1996510 0 0 0 447676 434 0 0 25 0 1 0 501531718 379494400 76460 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 92650 76460 251 17 0 89291 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 379304

[startup+4542.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/184 28889
/proc/meminfo: memFree=20763932/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=289972 CPUtime=4541.1 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2028511 0 0 0 453671 439 0 0 25 0 1 0 501531718 296931328 66686 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 72493 66686 251 17 0 69134 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 298676

[startup+4602.3 s]
/proc/loadavg: 2.21 2.07 1.97 3/184 28891
/proc/meminfo: memFree=20756092/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=373088 CPUtime=4601.11 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2038172 0 0 0 459669 442 0 0 25 0 1 0 501531718 382042112 76260 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225384 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 93272 76260 251 17 0 89913 0
Current children cumulated CPU time (s) 4602.42
Current children cumulated vsize (KiB) 381792

[startup+4662.3 s]
/proc/loadavg: 2.08 2.05 1.97 3/184 28893
/proc/meminfo: memFree=20742560/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=292364 CPUtime=4661.1 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2067263 0 0 0 465661 449 0 0 25 0 1 0 501531718 299380736 64341 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 73091 64341 251 17 0 69732 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 301068

[startup+4722.31 s]
/proc/loadavg: 2.06 2.05 1.97 3/184 28894
/proc/meminfo: memFree=20808140/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=242744 CPUtime=4721.11 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2099131 0 0 0 471656 455 0 0 25 0 1 0 501531718 248569856 55854 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 60686 55854 251 17 0 57327 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 251448

[startup+4782.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/184 28896
/proc/meminfo: memFree=20768528/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=374612 CPUtime=4781.11 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2117133 0 0 0 477651 460 0 0 25 0 1 0 501531718 383602688 73691 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 93653 73691 251 17 0 90294 0
Current children cumulated CPU time (s) 4782.42
Current children cumulated vsize (KiB) 383316

[startup+4842.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/184 28897
/proc/meminfo: memFree=20755120/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=293544 CPUtime=4841.11 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2146087 0 0 0 483644 467 0 0 25 0 1 0 501531718 300589056 61477 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 73386 61477 251 17 0 70027 0
Current children cumulated CPU time (s) 4842.42
Current children cumulated vsize (KiB) 302248

[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/184 28899
/proc/meminfo: memFree=20736128/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=375960 CPUtime=4901.11 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2157016 0 0 0 489642 469 0 0 25 0 1 0 501531718 384983040 72281 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 93990 72281 251 17 0 90631 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 384664

[startup+4962.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/184 28901
/proc/meminfo: memFree=20821664/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=295436 CPUtime=4961.12 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2181543 0 0 0 495637 475 0 0 25 0 1 0 501531718 302526464 57786 33554432000 4194304 4260849 140735689514000 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 73859 57786 251 17 0 70500 0
Current children cumulated CPU time (s) 4962.43
Current children cumulated vsize (KiB) 304140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.02 2.03 1.98 2/182 28903
/proc/meminfo: memFree=21006436/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=296820 CPUtime=4998.72 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2187773 0 0 0 499396 476 0 0 25 0 1 0 501531718 303943680 63950 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 74205 63950 251 17 0 70846 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 305524

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

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

[startup+4999.9 s]
/proc/loadavg: 2.02 2.03 1.98 2/182 28903
/proc/meminfo: memFree=21006436/32951124 swapFree=67111352/67111528
[pid=28752] ppid=28750 vsize=8704 CPUtime=1.31 cores=0,2,4,6
/proc/28752/stat : 28752 (glucose.sh) S 28750 28752 28713 0 -1 4202496 360 6229 0 0 0 0 129 2 18 0 1 0 501531586 8912896 255 33554432000 4194304 4922060 140734571451904 18446744073709551615 246516653189 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/28752/statm: 2176 255 211 178 0 69 0
[pid=28756] ppid=28752 vsize=296820 CPUtime=4998.72 cores=0,2,4,6
/proc/28756/stat : 28756 (glucose_static) R 28752 28752 28713 0 -1 4202496 2187773 0 0 0 499396 476 0 0 25 0 1 0 501531718 303943680 63950 33554432000 4194304 4260849 140735689514000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28756/statm: 74205 63950 251 17 0 70846 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 305524

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 4999.91
CPU time (s): 5000.03
CPU user time (s): 4995.25
CPU system time (s): 4.78
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 465120

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

runsolver used 8.74667 second user time and 18.5032 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-27 12:15:34
IDJOB=3303356
IDBENCH=71408
IDSOLVER=1687
FILE ID=node134/3303356-1303899334
RUNJOBID= node134-1303899333-28731
PBS_JOBID= 13164514
Free space on /tmp= 71592 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes5.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303356-1303899334/watcher-3303356-1303899334 -o /tmp/evaluation-result-3303356-1303899334/solver-3303356-1303899334 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303356-1303899334.cnf 

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

MD5SUM BENCH= f892a2bda6fe6aec6f2fcb4e1c541df8
RANDOM SEED=1818265576

node134.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.831
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.66
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.831
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	: 5332.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21267840 kB
Buffers:       2322088 kB
Cached:        8736944 kB
SwapCached:         64 kB
Active:        4622656 kB
Inactive:      6508100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21267840 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            8188 kB
Writeback:           0 kB
AnonPages:       70600 kB
Mapped:          14936 kB
Slab:           489448 kB
PageTables:       5088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   212544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71584 MiB
End job on node134 at 2011-04-27 13:38:56