Trace number 3303354

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.02 4999.91

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
MD5SUM836d368f7cf78173b8e7f8b131296e2f
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 variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

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.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |  266431   535112 |   79929       0        0     nan |  0.000 % |
0.00/0.94	c |         0 |  263417   887477 |      --       0       --      -- |     --   | -3014/352365
0.00/0.94	c ==============================================================================
0.00/0.94	c Result  :   #vars: 2325   #clauses: 263417   #literals: 887477
0.00/0.94	c CPU time:   0.923859 s
0.00/0.94	c ==============================================================================
0.99/1.09	c
0.99/1.09	c Starting glucose
0.99/1.09	c
744.39/744.45	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
744.39/744.45	c WARNING: for repeatability, setting FPU to use double precision
744.39/744.45	c ============================[ Problem Statistics ]=============================
744.39/744.45	c |                                                                             |
744.39/744.45	c |  Number of variables:          2325                                         |
744.39/744.45	c |  Number of clauses:          263417                                         |
744.39/744.45	c |  Parse time:                   0.05 s                                       |
744.39/744.45	c |                                                                             |
744.39/744.45	c ============================[ Search Statistics ]==============================
744.39/744.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
744.39/744.45	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
744.39/744.45	c ===============================================================================
744.39/744.45	c |      1028 |    2325   263417   887477 |        1     1028    169 |  0.000 % |
744.39/744.45	c |      9585 |    2325   263417   887477 |        1     7588    168 |  0.000 % |
744.39/744.45	c |     11868 |    2325   263417   887477 |        1     5571     98 |  0.000 % |
744.39/744.45	c |    110185 |    2325   263417   887477 |        1    25014     70 |  0.000 % |
744.39/744.45	c |    592606 |    2325   263417   887477 |        1    69438     62 |  0.000 % |
744.39/744.45	c |    604255 |    2325   263417   887477 |        1    81087     67 |  0.000 % |
744.39/744.45	c |    662935 |    2325   263417   887477 |        1    86356     66 |  0.000 % |
744.39/744.45	c |    664268 |    2325   263417   887477 |        1    87689     67 |  0.000 % |
744.39/744.45	c |    674211 |    2325   263417   887477 |        1    97632     73 |  0.000 % |
744.39/744.45	c |    791698 |    2325   263417   887477 |        1   100515     70 |  0.000 % |
744.39/744.45	c |    878752 |    2325   263417   887477 |        1   126369     69 |  0.000 % |
744.39/744.45	c |    894840 |    2325   263417   887477 |        1    78657     56 |  0.000 % |
744.39/744.45	c |   1193310 |    2325   263417   887477 |        1    95951     57 |  0.000 % |
744.39/744.45	c |   1195123 |    2325   263417   887477 |        1    97764     58 |  0.000 % |
744.39/744.45	c |   1288222 |    2325   263417   887477 |        1   114055     69 |  0.000 % |
744.39/744.45	c |   1342635 |    2325   263417   887477 |        1    89059     53 |  0.000 % |
744.39/744.45	c |   1351115 |    2325   263417   887477 |        1    97539     56 |  0.000 % |
744.39/744.45	c |   1353421 |    2325   263417   887477 |        1    99845     57 |  0.000 % |
744.39/744.45	c |   1438028 |    2325   263417   887477 |        1   102449     52 |  0.000 % |
744.39/744.45	c |   1599539 |    2325   263417   887477 |        1    92193     48 |  0.000 % |
744.39/744.45	c |   1618404 |    2325   263417   887477 |        1   111058     55 |  0.000 % |
744.39/744.45	c |   1618532 |    2325   263417   887477 |        1   111186     55 |  0.000 % |
744.39/744.45	c |   1830493 |    2325   263417   887477 |        1   140929     53 |  0.000 % |
744.39/744.45	c |   1891009 |    2325   263417   887477 |        1   106439     46 |  0.000 % |
744.39/744.45	c |   2007444 |    2325   263417   887477 |        1   125278     50 |  0.000 % |
744.39/744.45	c |   2011285 |    2325   263417   887477 |        1   129119     51 |  0.000 % |
744.39/744.45	c |   2200122 |    2325   263417   887477 |        1   114985     48 |  0.000 % |
744.39/744.45	c |   2443884 |    2325   263417   887477 |        1   145334     47 |  0.000 % |
744.39/744.45	c |   2534439 |    2325   263417   887477 |        1   125276     44 |  0.000 % |
744.39/744.45	c |   2557921 |    2325   263417   887477 |        1   148758     50 |  0.000 % |
744.39/744.45	c |   2566937 |    2325   263417   887477 |        1   157774     52 |  0.000 % |
744.39/744.45	c |   2573228 |    2325   263417   887477 |        1   164065     53 |  0.000 % |
744.39/744.45	c |   2573929 |    2325   263417   887477 |        1   164766     53 |  0.000 % |
744.39/744.45	c |   2574518 |    2325   263417   887477 |        1   165355     53 |  0.000 % |
744.39/744.45	c |   2651667 |    2325   263417   887477 |        1   129312     52 |  0.000 % |
744.39/744.45	c |   2694679 |    2325   263417   887477 |        1   172324     60 |  0.000 % |
744.39/744.45	c |   2706857 |    2325   263417   887477 |        1   184502     62 |  0.000 % |
744.39/744.45	c |   2748871 |    2325   263417   887477 |        1   226516     66 |  0.000 % |
744.39/744.45	c |   2758995 |    2325   263417   887477 |        1   120823     45 |  0.000 % |
943.99/944.07	c |   2776381 |    2325   263417   887477 |        1   138209     50 |  0.000 % |
943.99/944.07	c |   2781358 |    2325   263417   887477 |        1   143186     51 |  0.000 % |
943.99/944.07	c |   2784108 |    2325   263417   887477 |        1   145936     52 |  0.000 % |
943.99/944.07	c |   2807088 |    2325   263417   887477 |        1   168916     59 |  0.000 % |
943.99/944.07	c |   2825503 |    2325   263417   887477 |        1   187331     62 |  0.000 % |
943.99/944.07	c |   2825603 |    2325   263417   887477 |        1   187431     62 |  0.000 % |
943.99/944.07	c |   2830640 |    2325   263417   887477 |        1   192468     63 |  0.000 % |
943.99/944.07	c |   2849813 |    2325   263417   887477 |        1   211641     65 |  0.000 % |
943.99/944.07	c |   2851457 |    2325   263417   887477 |        1   213285     66 |  0.000 % |
943.99/944.07	c |   2854647 |    2325   263417   887477 |        1   216475     66 |  0.000 % |
943.99/944.07	c |   2855628 |    2325   263417   887477 |        1   217456     66 |  0.000 % |
943.99/944.07	c |   2856541 |    2325   263417   887477 |        1   218369     67 |  0.000 % |
943.99/944.07	c |   2856674 |    2325   263417   887477 |        1   218502     67 |  0.000 % |
943.99/944.07	c |   2879955 |    2325   263417   887477 |        1   123381     46 |  0.000 % |
943.99/944.07	c |   2899016 |    2325   263417   887477 |        1   142442     52 |  0.000 % |
943.99/944.07	c |   2936020 |    2325   263417   887477 |        1   179446     60 |  0.000 % |
943.99/944.07	c |   3084518 |    2325   263417   887477 |        1   206957     63 |  0.000 % |
943.99/944.07	c |   3148916 |    2325   263417   887477 |        1   147753     51 |  0.000 % |
943.99/944.07	c |   3165111 |    2325   263417   887477 |        1   163948     55 |  0.000 % |
943.99/944.07	c |   3174071 |    2325   263417   887477 |        1   172908     57 |  0.000 % |
943.99/944.07	c |   3229912 |    2325   263417   887477 |        1   228749     73 |  0.000 % |
943.99/944.07	c |   3230012 |    2325   263417   887477 |        1   228849     73 |  0.000 % |
943.99/944.07	c |   3252812 |    2325   263417   887477 |        1   251649     76 |  0.000 % |
943.99/944.07	c |   3283210 |    2325   263417   887477 |        1   155834     56 |  0.000 % |
943.99/944.07	c |   3283682 |    2325   263417   887477 |        1   156306     56 |  0.000 % |
943.99/944.07	c |   3289592 |    2325   263417   887477 |        1   162216     57 |  0.000 % |
943.99/944.07	c |   3296472 |    2325   263417   887477 |        1   169096     58 |  0.000 % |
943.99/944.07	c |   3302020 |    2325   263417   887477 |        1   174644     60 |  0.000 % |
943.99/944.07	c |   3304370 |    2325   263417   887477 |        1   176994     60 |  0.000 % |
943.99/944.07	c |   3304562 |    2325   263417   887477 |        1   177186     60 |  0.000 % |
943.99/944.07	c |   3304928 |    2325   263417   887477 |        1   177552     60 |  0.000 % |
943.99/944.07	c |   3305374 |    2325   263417   887477 |        1   177998     61 |  0.000 % |
943.99/944.07	c |   3306326 |    2325   263417   887477 |        1   178950     61 |  0.000 % |
943.99/944.07	c |   3307027 |    2325   263417   887477 |        1   179651     61 |  0.000 % |
943.99/944.07	c |   3307154 |    2325   263417   887477 |        1   179778     61 |  0.000 % |
943.99/944.07	c |   3322011 |    2325   263417   887477 |        1   194635     65 |  0.000 % |
943.99/944.07	c |   3388212 |    2325   263417   887477 |        1   132038     43 |  0.000 % |
943.99/944.07	c |   3389151 |    2325   263417   887477 |        1   132977     43 |  0.000 % |
943.99/944.07	c |   3389351 |    2325   263417   887477 |        1   133177     43 |  0.000 % |
943.99/944.07	c |   3403740 |    2325   263417   887477 |        1   147566     50 |  0.000 % |
943.99/944.07	c |   3403840 |    2325   263417   887477 |        1   147666     50 |  0.000 % |
943.99/944.07	c |   3429333 |    2325   263417   887477 |        1   173159     59 |  0.000 % |
943.99/944.07	c |   3430075 |    2325   263417   887477 |        1   173901     59 |  0.000 % |
943.99/944.07	c |   3430696 |    2325   263417   887477 |        1   174522     59 |  0.000 % |
943.99/944.07	c |   3436599 |    2325   263417   887477 |        1   180425     61 |  0.000 % |
943.99/944.07	c |   3488257 |    2325   263417   887477 |        1   232083     70 |  0.000 % |
943.99/944.07	c |   3488357 |    2325   263417   887477 |        1   232183     70 |  0.000 % |
943.99/944.07	c |   3491526 |    2325   263417   887477 |        1   235352     71 |  0.000 % |
943.99/944.07	c |   3507646 |    2325   263417   887477 |        1   251472     72 |  0.000 % |
943.99/944.07	c |   3516609 |    2325   263417   887477 |        1   260435     73 |  0.000 % |
1403.61/1403.63	c |   3534819 |    2325   263417   887477 |        1   147243     49 |  0.000 % |
1403.61/1403.63	c |   3546005 |    2325   263417   887477 |        1   158429     54 |  0.000 % |
1403.61/1403.63	c |   3595681 |    2325   263417   887477 |        1   208105     64 |  0.000 % |
1403.61/1403.63	c |   3597574 |    2325   263417   887477 |        1   209998     64 |  0.000 % |
1403.61/1403.63	c |   3597951 |    2325   263417   887477 |        1   210375     64 |  0.000 % |
1403.61/1403.63	c |   3598229 |    2325   263417   887477 |        1   210653     64 |  0.000 % |
1403.61/1403.63	c |   3648536 |    2325   263417   887477 |        1   260960     70 |  0.000 % |
1403.61/1403.63	c |   3659879 |    2325   263417   887477 |        1   138302     45 |  0.000 % |
1403.61/1403.63	c |   3691292 |    2325   263417   887477 |        1   169715     53 |  0.000 % |
1403.61/1403.63	c |   3691889 |    2325   263417   887477 |        1   170312     53 |  0.000 % |
1403.61/1403.63	c |   3692365 |    2325   263417   887477 |        1   170788     53 |  0.000 % |
1403.61/1403.63	c |   3715116 |    2325   263417   887477 |        1   193539     58 |  0.000 % |
1403.61/1403.63	c |   3720507 |    2325   263417   887477 |        1   198930     59 |  0.000 % |
1403.61/1403.63	c |   3723285 |    2325   263417   887477 |        1   201708     60 |  0.000 % |
1403.61/1403.63	c |   3724256 |    2325   263417   887477 |        1   202679     60 |  0.000 % |
1403.61/1403.63	c |   3773109 |    2325   263417   887477 |        1   251532     67 |  0.000 % |
1403.61/1403.63	c |   3870398 |    2325   263417   887477 |        1   212227     62 |  0.000 % |
1403.61/1403.63	c |   3929899 |    2325   263417   887477 |        1   271728     66 |  0.000 % |
1403.61/1403.63	c |   3955822 |    2325   263417   887477 |        1   158451     48 |  0.000 % |
1403.61/1403.63	c |   4117097 |    2325   263417   887477 |        1   177943     46 |  0.000 % |
1403.61/1403.63	c |   4122839 |    2325   263417   887477 |        1   183685     48 |  0.000 % |
1403.61/1403.63	c |   4123616 |    2325   263417   887477 |        1   184462     48 |  0.000 % |
1403.61/1403.63	c |   4133517 |    2325   263417   887477 |        1   194363     50 |  0.000 % |
1403.61/1403.63	c |   4226639 |    2325   263417   887477 |        1   287485     65 |  0.000 % |
1403.61/1403.63	c |   4226739 |    2325   263417   887477 |        1   287585     65 |  0.000 % |
1403.61/1403.63	c |   4250202 |    2325   263417   887477 |        1   166632     50 |  0.000 % |
1403.61/1403.63	c |   4255454 |    2325   263417   887477 |        1   171884     51 |  0.000 % |
1403.61/1403.63	c |   4408668 |    2325   263417   887477 |        1   178095     55 |  0.000 % |
1403.61/1403.63	c |   4556487 |    2325   263417   887477 |        1   176333     51 |  0.000 % |
1403.61/1403.63	c |   4573851 |    2325   263417   887477 |        1   193697     54 |  0.000 % |
1403.61/1403.63	c |   4603812 |    2325   263417   887477 |        1   223658     60 |  0.000 % |
1403.61/1403.63	c |   4653646 |    2325   263417   887477 |        1   273492     66 |  0.000 % |
1403.61/1403.63	c |   4808262 |    2325   263417   887477 |        1   275900     68 |  0.000 % |
1403.61/1403.63	c |   4819966 |    2325   263417   887477 |        1   287604     69 |  0.000 % |
1403.61/1403.63	c |   4835249 |    2325   263417   887477 |        1   302887     69 |  0.000 % |
1403.61/1403.63	c |   4835349 |    2325   263417   887477 |        1   302987     69 |  0.000 % |
1403.61/1403.63	c |   4874410 |    2325   263417   887477 |        1   187242     53 |  0.000 % |
1403.61/1403.63	c |   4879090 |    2325   263417   887477 |        1   191922     54 |  0.000 % |
1403.61/1403.63	c |   4879316 |    2325   263417   887477 |        1   192148     54 |  0.000 % |
1403.61/1403.63	c |   4884243 |    2325   263417   887477 |        1   197075     56 |  0.000 % |
1403.61/1403.63	c |   4884460 |    2325   263417   887477 |        1   197292     56 |  0.000 % |
1403.61/1403.63	c |   4885172 |    2325   263417   887477 |        1   198004     56 |  0.000 % |
1403.61/1403.63	c |   4904606 |    2325   263417   887477 |        1   217438     60 |  0.000 % |
1403.61/1403.63	c |   4925823 |    2325   263417   887477 |        1   238655     62 |  0.000 % |
1403.61/1403.63	c |   4929365 |    2325   263417   887477 |        1   242197     62 |  0.000 % |
1403.61/1403.63	c |   4929936 |    2325   263417   887477 |        1   242768     63 |  0.000 % |
1403.61/1403.63	c |   4933802 |    2325   263417   887477 |        1   246634     63 |  0.000 % |
1403.61/1403.63	c |   4943537 |    2325   263417   887477 |        1   256369     65 |  0.000 % |
1403.61/1403.63	c |   4945332 |    2325   263417   887477 |        1   258164     65 |  0.000 % |
1403.61/1403.63	c |   5009850 |    2325   263417   887477 |        1   165278     46 |  0.000 % |
2326.13/2326.17	c |   5061432 |    2325   263417   887477 |        1   216860     57 |  0.000 % |
2326.13/2326.17	c |   5063509 |    2325   263417   887477 |        1   218937     57 |  0.000 % |
2326.13/2326.17	c |   5105065 |    2325   263417   887477 |        1   260493     64 |  0.000 % |
2326.13/2326.17	c |   5105167 |    2325   263417   887477 |        1   260595     64 |  0.000 % |
2326.13/2326.17	c |   5188830 |    2325   263417   887477 |        1   184267     52 |  0.000 % |
2326.13/2326.17	c |   5362174 |    2325   263417   887477 |        1   195014     57 |  0.000 % |
2326.13/2326.17	c |   5409740 |    2325   263417   887477 |        1   242580     65 |  0.000 % |
2326.13/2326.17	c |   5490695 |    2325   263417   887477 |        1   323535     69 |  0.000 % |
2326.13/2326.17	c |   5627878 |    2325   263417   887477 |        1   295507     57 |  0.000 % |
2326.13/2326.17	c |   5667609 |    2325   263417   887477 |        1   335238     59 |  0.000 % |
2326.13/2326.17	c |   5672895 |    2325   263417   887477 |        1   172711     41 |  0.000 % |
2326.13/2326.17	c |   5697953 |    2325   263417   887477 |        1   197769     46 |  0.000 % |
2326.13/2326.17	c |   5804674 |    2325   263417   887477 |        1   304490     56 |  0.000 % |
2326.13/2326.17	c |   5846145 |    2325   263417   887477 |        1   175568     40 |  0.000 % |
2326.13/2326.17	c |   6078376 |    2325   263417   887477 |        1   234803     48 |  0.000 % |
2326.13/2326.17	c |   6122606 |    2325   263417   887477 |        1   279033     56 |  0.000 % |
2326.13/2326.17	c |   6122783 |    2325   263417   887477 |        1   279210     56 |  0.000 % |
2326.13/2326.17	c |   6311478 |    2325   263417   887477 |        1   292328     64 |  0.000 % |
2326.13/2326.17	c |   6340055 |    2325   263417   887477 |        1   320905     66 |  0.000 % |
2326.13/2326.17	c |   6355165 |    2325   263417   887477 |        1   336015     67 |  0.000 % |
2326.13/2326.17	c |   6356489 |    2325   263417   887477 |        1   337339     67 |  0.000 % |
2326.13/2326.17	c |   6380202 |    2325   263417   887477 |        1   182844     43 |  0.000 % |
2326.13/2326.17	c |   6425540 |    2325   263417   887477 |        1   228182     53 |  0.000 % |
2326.13/2326.17	c |   6434813 |    2325   263417   887477 |        1   237455     55 |  0.000 % |
2326.13/2326.17	c |   6568908 |    2325   263417   887477 |        1   190749     45 |  0.000 % |
2326.13/2326.17	c |   6630399 |    2325   263417   887477 |        1   252240     55 |  0.000 % |
2326.13/2326.17	c |   6716555 |    2325   263417   887477 |        1   338396     64 |  0.000 % |
2326.13/2326.17	c |   6722149 |    2325   263417   887477 |        1   343990     64 |  0.000 % |
2326.13/2326.17	c |   6832276 |    2325   263417   887477 |        1   270704     58 |  0.000 % |
2326.13/2326.17	c |   6843718 |    2325   263417   887477 |        1   282146     60 |  0.000 % |
2326.13/2326.17	c |   6925079 |    2325   263417   887477 |        1   363507     67 |  0.000 % |
2326.13/2326.17	c |   6930913 |    2325   263417   887477 |        1   369341     67 |  0.000 % |
2326.13/2326.17	c |   6934870 |    2325   263417   887477 |        1   187294     43 |  0.000 % |
2326.13/2326.17	c |   6935755 |    2325   263417   887477 |        1   188179     43 |  0.000 % |
2326.13/2326.17	c |   6961025 |    2325   263417   887477 |        1   213449     48 |  0.000 % |
2326.13/2326.17	c |   7058468 |    2325   263417   887477 |        1   310892     58 |  0.000 % |
2326.13/2326.17	c |   7085153 |    2325   263417   887477 |        1   337577     60 |  0.000 % |
2326.13/2326.17	c |   7085539 |    2325   263417   887477 |        1   337963     61 |  0.000 % |
2326.13/2326.17	c |   7087620 |    2325   263417   887477 |        1   340044     61 |  0.000 % |
2326.13/2326.17	c |   7169529 |    2325   263417   887477 |        1   233364     47 |  0.000 % |
2326.13/2326.17	c |   7185379 |    2325   263417   887477 |        1   249214     50 |  0.000 % |
2326.13/2326.17	c |   7407606 |    2325   263417   887477 |        1   280239     59 |  0.000 % |
2326.13/2326.17	c |   7407802 |    2325   263417   887477 |        1   280435     59 |  0.000 % |
2326.13/2326.17	c |   7422852 |    2325   263417   887477 |        1   295485     60 |  0.000 % |
2326.13/2326.17	c |   7429374 |    2325   263417   887477 |        1   302007     61 |  0.000 % |
2326.13/2326.17	c |   7446226 |    2325   263417   887477 |        1   318859     63 |  0.000 % |
2326.13/2326.17	c |   7446362 |    2325   263417   887477 |        1   318995     63 |  0.000 % |
2326.13/2326.17	c |   7449454 |    2325   263417   887477 |        1   322087     63 |  0.000 % |
2326.13/2326.17	c |   7454861 |    2325   263417   887477 |        1   327494     63 |  0.000 % |
2326.13/2326.17	c |   7531046 |    2325   263417   887477 |        1   209884     45 |  0.000 % |
2585.14/2585.14	c |   7534121 |    2325   263417   887477 |        1   212959     45 |  0.000 % |
2585.14/2585.14	c |   7535042 |    2325   263417   887477 |        1   213880     46 |  0.000 % |
2585.14/2585.14	c |   7536738 |    2325   263417   887477 |        1   215576     46 |  0.000 % |
2585.14/2585.14	c |   7537581 |    2325   263417   887477 |        1   216419     46 |  0.000 % |
2585.14/2585.14	c |   7541406 |    2325   263417   887477 |        1   220244     47 |  0.000 % |
2585.14/2585.14	c |   7550777 |    2325   263417   887477 |        1   229615     50 |  0.000 % |
2585.14/2585.14	c |   7568729 |    2325   263417   887477 |        1   247567     53 |  0.000 % |
2585.14/2585.14	c |   7585642 |    2325   263417   887477 |        1   264480     56 |  0.000 % |
2585.14/2585.14	c |   7585871 |    2325   263417   887477 |        1   264709     56 |  0.000 % |
2585.14/2585.14	c |   7601137 |    2325   263417   887477 |        1   279975     58 |  0.000 % |
2585.14/2585.14	c |   7608111 |    2325   263417   887477 |        1   286949     59 |  0.000 % |
2585.14/2585.14	c |   7608505 |    2325   263417   887477 |        1   287343     59 |  0.000 % |
2585.14/2585.14	c |   7625842 |    2325   263417   887477 |        1   304680     61 |  0.000 % |
2585.14/2585.14	c |   7626495 |    2325   263417   887477 |        1   305333     61 |  0.000 % |
2585.14/2585.14	c |   7628057 |    2325   263417   887477 |        1   306895     61 |  0.000 % |
2585.14/2585.14	c |   7629144 |    2325   263417   887477 |        1   307982     61 |  0.000 % |
2585.14/2585.14	c |   7629846 |    2325   263417   887477 |        1   308684     62 |  0.000 % |
2585.14/2585.14	c |   7658057 |    2325   263417   887477 |        1   336895     63 |  0.000 % |
2585.14/2585.14	c |   7682673 |    2325   263417   887477 |        1   361511     64 |  0.000 % |
2585.14/2585.14	c |   7682775 |    2325   263417   887477 |        1   361613     64 |  0.000 % |
2585.14/2585.14	c |   7701508 |    2325   263417   887477 |        1   380346     65 |  0.000 % |
2585.14/2585.14	c |   7761285 |    2325   263417   887477 |        1   243721     47 |  0.000 % |
2585.14/2585.14	c |   7772040 |    2325   263417   887477 |        1   254476     50 |  0.000 % |
2585.14/2585.14	c |   7794206 |    2325   263417   887477 |        1   276642     53 |  0.000 % |
2585.14/2585.14	c |   7803590 |    2325   263417   887477 |        1   286026     54 |  0.000 % |
2585.14/2585.14	c |   7805837 |    2325   263417   887477 |        1   288273     55 |  0.000 % |
2585.14/2585.14	c |   7824371 |    2325   263417   887477 |        1   306807     57 |  0.000 % |
2585.14/2585.14	c |   7856965 |    2325   263417   887477 |        1   339401     62 |  0.000 % |
2585.14/2585.14	c |   7867520 |    2325   263417   887477 |        1   349956     63 |  0.000 % |
2585.14/2585.14	c |   7869677 |    2325   263417   887477 |        1   352113     63 |  0.000 % |
2585.14/2585.14	c |   7887981 |    2325   263417   887477 |        1   370417     65 |  0.000 % |
2585.14/2585.14	c |   7897278 |    2325   263417   887477 |        1   379714     65 |  0.000 % |
2585.14/2585.14	c |   7912834 |    2325   263417   887477 |        1   395270     66 |  0.000 % |
2585.14/2585.14	c |   7923587 |    2325   263417   887477 |        1   207017     43 |  0.000 % |
2585.14/2585.14	c |   7929912 |    2325   263417   887477 |        1   213342     45 |  0.000 % |
2585.14/2585.14	c |   7930055 |    2325   263417   887477 |        1   213485     45 |  0.000 % |
2585.14/2585.14	c |   7944952 |    2325   263417   887477 |        1   228382     48 |  0.000 % |
2585.14/2585.14	c |   8049492 |    2325   263417   887477 |        1   332922     58 |  0.000 % |
2585.14/2585.14	c |   8071216 |    2325   263417   887477 |        1   354646     60 |  0.000 % |
2585.14/2585.14	c |   8071350 |    2325   263417   887477 |        1   354780     60 |  0.000 % |
2585.14/2585.14	c |   8075891 |    2325   263417   887477 |        1   359321     60 |  0.000 % |
2585.14/2585.14	c |   8091975 |    2325   263417   887477 |        1   375405     61 |  0.000 % |
2585.14/2585.14	c |   8172945 |    2325   263417   887477 |        1   254778     48 |  0.000 % |
2585.14/2585.14	c |   8173072 |    2325   263417   887477 |        1   254905     48 |  0.000 % |
2585.14/2585.14	c |   8177526 |    2325   263417   887477 |        1   259359     49 |  0.000 % |
2585.14/2585.14	c |   8261332 |    2325   263417   887477 |        1   343165     59 |  0.000 % |
2585.14/2585.14	c |   8261432 |    2325   263417   887477 |        1   343265     59 |  0.000 % |
2585.14/2585.14	c |   8281573 |    2325   263417   887477 |        1   363406     62 |  0.000 % |
2585.14/2585.14	c |   8281865 |    2325   263417   887477 |        1   363698     62 |  0.000 % |
2585.14/2585.14	c |   8331059 |    2325   263417   887477 |        1   208697     43 |  0.000 % |
2785.85/2785.87	c |   8331349 |    2325   263417   887477 |        1   208987     43 |  0.000 % |
2785.85/2785.87	c |   8516276 |    2325   263417   887477 |        1   393914     66 |  0.000 % |
2785.85/2785.87	c |   8536415 |    2325   263417   887477 |        1   207256     43 |  0.000 % |
2785.85/2785.87	c |   8536515 |    2325   263417   887477 |        1   207356     43 |  0.000 % |
2785.85/2785.87	c |   8542092 |    2325   263417   887477 |        1   212933     44 |  0.000 % |
2785.85/2785.87	c |   8544280 |    2325   263417   887477 |        1   215121     45 |  0.000 % |
2785.85/2785.87	c |   8545716 |    2325   263417   887477 |        1   216557     45 |  0.000 % |
2785.85/2785.87	c |   8551519 |    2325   263417   887477 |        1   222360     47 |  0.000 % |
2785.85/2785.87	c |   8551997 |    2325   263417   887477 |        1   222838     47 |  0.000 % |
2785.85/2785.87	c |   8552193 |    2325   263417   887477 |        1   223034     47 |  0.000 % |
2785.85/2785.87	c |   8598893 |    2325   263417   887477 |        1   269734     57 |  0.000 % |
2785.85/2785.87	c |   8625848 |    2325   263417   887477 |        1   296689     59 |  0.000 % |
2785.85/2785.87	c |   8638029 |    2325   263417   887477 |        1   308870     60 |  0.000 % |
2785.85/2785.87	c |   8653092 |    2325   263417   887477 |        1   323933     62 |  0.000 % |
2785.85/2785.87	c |   8653192 |    2325   263417   887477 |        1   324033     62 |  0.000 % |
2785.85/2785.87	c |   8655955 |    2325   263417   887477 |        1   326796     62 |  0.000 % |
2785.85/2785.87	c |   8698729 |    2325   263417   887477 |        1   369570     65 |  0.000 % |
2785.85/2785.87	c |   8699426 |    2325   263417   887477 |        1   370267     65 |  0.000 % |
2785.85/2785.87	c |   8699583 |    2325   263417   887477 |        1   370424     65 |  0.000 % |
2785.85/2785.87	c |   8707335 |    2325   263417   887477 |        1   378176     66 |  0.000 % |
2785.85/2785.87	c |   8713919 |    2325   263417   887477 |        1   384760     66 |  0.000 % |
2785.85/2785.87	c |   8719994 |    2325   263417   887477 |        1   390835     66 |  0.000 % |
2785.85/2785.87	c |   8729542 |    2325   263417   887477 |        1   400383     67 |  0.000 % |
2785.85/2785.87	c |   8771328 |    2325   263417   887477 |        1   232766     47 |  0.000 % |
2785.85/2785.87	c |   8772602 |    2325   263417   887477 |        1   234040     47 |  0.000 % |
2785.85/2785.87	c |   8772702 |    2325   263417   887477 |        1   234140     47 |  0.000 % |
2785.85/2785.87	c |   8772833 |    2325   263417   887477 |        1   234271     47 |  0.000 % |
2785.85/2785.87	c |   8773317 |    2325   263417   887477 |        1   234755     47 |  0.000 % |
2785.85/2785.87	c |   8773417 |    2325   263417   887477 |        1   234855     47 |  0.000 % |
2785.85/2785.87	c |   8773956 |    2325   263417   887477 |        1   235394     48 |  0.000 % |
2785.85/2785.87	c |   8774669 |    2325   263417   887477 |        1   236107     48 |  0.000 % |
2785.85/2785.87	c |   8787972 |    2325   263417   887477 |        1   249410     50 |  0.000 % |
2785.85/2785.87	c |   8810836 |    2325   263417   887477 |        1   272274     54 |  0.000 % |
2785.85/2785.87	c |   8811437 |    2325   263417   887477 |        1   272875     54 |  0.000 % |
2785.85/2785.87	c |   8817359 |    2325   263417   887477 |        1   278797     56 |  0.000 % |
2785.85/2785.87	c |   8898351 |    2325   263417   887477 |        1   359789     62 |  0.000 % |
2785.85/2785.87	c |   8898451 |    2325   263417   887477 |        1   359889     62 |  0.000 % |
2785.85/2785.87	c |   8910982 |    2325   263417   887477 |        1   372420     63 |  0.000 % |
2785.85/2785.87	c |   8945227 |    2325   263417   887477 |        1   406665     66 |  0.000 % |
2785.85/2785.87	c |   8945384 |    2325   263417   887477 |        1   406822     66 |  0.000 % |
2785.85/2785.87	c |   8952366 |    2325   263417   887477 |        1   413804     67 |  0.000 % |
2785.85/2785.87	c |   8972258 |    2325   263417   887477 |        1   221692     44 |  0.000 % |
2785.85/2785.87	c |   8972359 |    2325   263417   887477 |        1   221793     44 |  0.000 % |
2785.85/2785.87	c |   8978285 |    2325   263417   887477 |        1   227719     45 |  0.000 % |
2785.85/2785.87	c |   8987993 |    2325   263417   887477 |        1   237427     47 |  0.000 % |
2785.85/2785.87	c |   8988500 |    2325   263417   887477 |        1   237934     47 |  0.000 % |
2785.85/2785.87	c |   9004858 |    2325   263417   887477 |        1   254292     52 |  0.000 % |
2785.85/2785.87	c |   9006042 |    2325   263417   887477 |        1   255476     52 |  0.000 % |
2785.85/2785.87	c |   9008572 |    2325   263417   887477 |        1   258006     53 |  0.000 % |
2785.85/2785.87	c |   9009070 |    2325   263417   887477 |        1   258504     53 |  0.000 % |
3010.36/3010.36	c |   9017348 |    2325   263417   887477 |        1   266782     54 |  0.000 % |
3010.36/3010.36	c |   9046888 |    2325   263417   887477 |        1   296322     59 |  0.000 % |
3010.36/3010.36	c |   9050727 |    2325   263417   887477 |        1   300161     60 |  0.000 % |
3010.36/3010.36	c |   9055389 |    2325   263417   887477 |        1   304823     60 |  0.000 % |
3010.36/3010.36	c |   9059812 |    2325   263417   887477 |        1   309246     61 |  0.000 % |
3010.36/3010.36	c |   9060345 |    2325   263417   887477 |        1   309779     61 |  0.000 % |
3010.36/3010.36	c |   9061891 |    2325   263417   887477 |        1   311325     61 |  0.000 % |
3010.36/3010.36	c |   9073797 |    2325   263417   887477 |        1   323231     63 |  0.000 % |
3010.36/3010.36	c |   9074972 |    2325   263417   887477 |        1   324406     63 |  0.000 % |
3010.36/3010.36	c |   9075072 |    2325   263417   887477 |        1   324506     63 |  0.000 % |
3010.36/3010.36	c |   9081502 |    2325   263417   887477 |        1   330936     64 |  0.000 % |
3010.36/3010.36	c |   9081847 |    2325   263417   887477 |        1   331281     64 |  0.000 % |
3010.36/3010.36	c |   9113382 |    2325   263417   887477 |        1   362816     67 |  0.000 % |
3010.36/3010.36	c |   9116016 |    2325   263417   887477 |        1   365450     67 |  0.000 % |
3010.36/3010.36	c |   9117688 |    2325   263417   887477 |        1   367122     67 |  0.000 % |
3010.36/3010.36	c |   9149539 |    2325   263417   887477 |        1   398973     69 |  0.000 % |
3010.36/3010.36	c |   9150816 |    2325   263417   887477 |        1   400250     69 |  0.000 % |
3010.36/3010.36	c |   9166456 |    2325   263417   887477 |        1   415890     69 |  0.000 % |
3010.36/3010.36	c |   9170836 |    2325   263417   887477 |        1   420270     69 |  0.000 % |
3010.36/3010.36	c |   9212397 |    2325   263417   887477 |        1   247234     46 |  0.000 % |
3010.36/3010.36	c |   9249320 |    2325   263417   887477 |        1   284157     51 |  0.000 % |
3010.36/3010.36	c |   9249428 |    2325   263417   887477 |        1   284265     51 |  0.000 % |
3010.36/3010.36	c |   9261046 |    2325   263417   887477 |        1   295883     53 |  0.000 % |
3010.36/3010.36	c |   9304120 |    2325   263417   887477 |        1   338957     59 |  0.000 % |
3010.36/3010.36	c |   9318577 |    2325   263417   887477 |        1   353414     60 |  0.000 % |
3010.36/3010.36	c |   9437092 |    2325   263417   887477 |        1   254726     48 |  0.000 % |
3010.36/3010.36	c |   9441804 |    2325   263417   887477 |        1   259438     49 |  0.000 % |
3010.36/3010.36	c |   9458322 |    2325   263417   887477 |        1   275956     52 |  0.000 % |
3010.36/3010.36	c |   9458422 |    2325   263417   887477 |        1   276056     52 |  0.000 % |
3010.36/3010.36	c |   9527319 |    2325   263417   887477 |        1   344953     57 |  0.000 % |
3010.36/3010.36	c |   9554530 |    2325   263417   887477 |        1   372164     59 |  0.000 % |
3010.36/3010.36	c |   9554632 |    2325   263417   887477 |        1   372266     59 |  0.000 % |
3010.36/3010.36	c |   9555017 |    2325   263417   887477 |        1   372651     59 |  0.000 % |
3010.36/3010.36	c |   9556144 |    2325   263417   887477 |        1   373778     59 |  0.000 % |
3010.36/3010.36	c |   9559672 |    2325   263417   887477 |        1   377306     60 |  0.000 % |
3010.36/3010.36	c |   9560913 |    2325   263417   887477 |        1   378547     60 |  0.000 % |
3010.36/3010.36	c |   9561944 |    2325   263417   887477 |        1   379578     60 |  0.000 % |
3010.36/3010.36	c |   9569490 |    2325   263417   887477 |        1   387124     61 |  0.000 % |
3010.36/3010.36	c |   9656909 |    2325   263417   887477 |        1   254739     49 |  0.000 % |
3010.36/3010.36	c |   9660525 |    2325   263417   887477 |        1   258355     49 |  0.000 % |
3010.36/3010.36	c |   9663204 |    2325   263417   887477 |        1   261034     50 |  0.000 % |
3010.36/3010.36	c |   9663824 |    2325   263417   887477 |        1   261654     50 |  0.000 % |
3010.36/3010.36	c |   9665010 |    2325   263417   887477 |        1   262840     50 |  0.000 % |
3010.36/3010.36	c |   9665110 |    2325   263417   887477 |        1   262940     50 |  0.000 % |
3010.36/3010.36	c |   9678881 |    2325   263417   887477 |        1   276711     52 |  0.000 % |
3010.36/3010.36	c |   9709745 |    2325   263417   887477 |        1   307575     56 |  0.000 % |
3010.36/3010.36	c |   9710335 |    2325   263417   887477 |        1   308165     56 |  0.000 % |
3010.36/3010.36	c |   9710465 |    2325   263417   887477 |        1   308295     57 |  0.000 % |
3010.36/3010.36	c |   9711114 |    2325   263417   887477 |        1   308944     57 |  0.000 % |
3352.66/3352.60	c |   9711547 |    2325   263417   887477 |        1   309377     57 |  0.000 % |
3352.66/3352.60	c |   9721073 |    2325   263417   887477 |        1   318903     58 |  0.000 % |
3352.66/3352.60	c |   9734178 |    2325   263417   887477 |        1   332008     59 |  0.000 % |
3352.66/3352.60	c |   9784692 |    2325   263417   887477 |        1   382522     63 |  0.000 % |
3352.66/3352.60	c |   9831095 |    2325   263417   887477 |        1   428925     68 |  0.000 % |
3352.66/3352.60	c |   9845087 |    2325   263417   887477 |        1   442917     69 |  0.000 % |
3352.66/3352.60	c |   9854879 |    2325   263417   887477 |        1   230318     44 |  0.000 % |
3352.66/3352.60	c |   9856465 |    2325   263417   887477 |        1   231904     44 |  0.000 % |
3352.66/3352.60	c |   9881814 |    2325   263417   887477 |        1   257253     49 |  0.000 % |
3352.66/3352.60	c |   9890031 |    2325   263417   887477 |        1   265470     50 |  0.000 % |
3352.66/3352.60	c |  10078966 |    2325   263417   887477 |        1   229408     41 |  0.000 % |
3352.66/3352.60	c |  10114690 |    2325   263417   887477 |        1   265132     47 |  0.000 % |
3352.66/3352.60	c |  10121686 |    2325   263417   887477 |        1   272128     48 |  0.000 % |
3352.66/3352.60	c |  10188755 |    2325   263417   887477 |        1   339197     55 |  0.000 % |
3352.66/3352.60	c |  10193499 |    2325   263417   887477 |        1   343941     56 |  0.000 % |
3352.66/3352.60	c |  10217949 |    2325   263417   887477 |        1   368391     58 |  0.000 % |
3352.66/3352.60	c |  10227946 |    2325   263417   887477 |        1   378388     59 |  0.000 % |
3352.66/3352.60	c |  10242999 |    2325   263417   887477 |        1   393441     60 |  0.000 % |
3352.66/3352.60	c |  10270785 |    2325   263417   887477 |        1   421227     62 |  0.000 % |
3352.66/3352.60	c |  10284931 |    2325   263417   887477 |        1   435373     63 |  0.000 % |
3352.66/3352.60	c |  10308076 |    2325   263417   887477 |        1   230911     41 |  0.000 % |
3352.66/3352.60	c |  10308298 |    2325   263417   887477 |        1   231133     41 |  0.000 % |
3352.66/3352.60	c |  10308563 |    2325   263417   887477 |        1   231398     41 |  0.000 % |
3352.66/3352.60	c |  10309010 |    2325   263417   887477 |        1   231845     41 |  0.000 % |
3352.66/3352.60	c |  10318599 |    2325   263417   887477 |        1   241434     43 |  0.000 % |
3352.66/3352.60	c |  10327493 |    2325   263417   887477 |        1   250328     44 |  0.000 % |
3352.66/3352.60	c |  10334620 |    2325   263417   887477 |        1   257455     46 |  0.000 % |
3352.66/3352.60	c |  10344368 |    2325   263417   887477 |        1   267203     47 |  0.000 % |
3352.66/3352.60	c |  10345032 |    2325   263417   887477 |        1   267867     48 |  0.000 % |
3352.66/3352.60	c |  10345132 |    2325   263417   887477 |        1   267967     48 |  0.000 % |
3352.66/3352.60	c |  10345496 |    2325   263417   887477 |        1   268331     48 |  0.000 % |
3352.66/3352.60	c |  10375047 |    2325   263417   887477 |        1   297882     51 |  0.000 % |
3352.66/3352.60	c |  10376879 |    2325   263417   887477 |        1   299714     51 |  0.000 % |
3352.66/3352.60	c |  10378113 |    2325   263417   887477 |        1   300948     52 |  0.000 % |
3352.66/3352.60	c |  10378345 |    2325   263417   887477 |        1   301180     52 |  0.000 % |
3352.66/3352.60	c |  10382821 |    2325   263417   887477 |        1   305656     52 |  0.000 % |
3352.66/3352.60	c |  10388591 |    2325   263417   887477 |        1   311426     53 |  0.000 % |
3352.66/3352.60	c |  10422046 |    2325   263417   887477 |        1   344881     57 |  0.000 % |
3352.66/3352.60	c |  10422565 |    2325   263417   887477 |        1   345400     57 |  0.000 % |
3352.66/3352.60	c |  10436721 |    2325   263417   887477 |        1   359556     59 |  0.000 % |
3352.66/3352.60	c |  10461083 |    2325   263417   887477 |        1   383918     62 |  0.000 % |
3352.66/3352.60	c |  10461587 |    2325   263417   887477 |        1   384422     62 |  0.000 % |
3352.66/3352.60	c |  10462039 |    2325   263417   887477 |        1   384874     62 |  0.000 % |
3352.66/3352.60	c |  10526248 |    2325   263417   887477 |        1   449083     67 |  0.000 % |
3352.66/3352.60	c |  10618581 |    2325   263417   887477 |        1   311218     53 |  0.000 % |
3352.66/3352.60	c |  10624041 |    2325   263417   887477 |        1   316678     54 |  0.000 % |
3352.66/3352.60	c |  10629193 |    2325   263417   887477 |        1   321830     54 |  0.000 % |
3352.66/3352.60	c |  10652717 |    2325   263417   887477 |        1   345354     56 |  0.000 % |
3352.66/3352.60	c |  10653302 |    2325   263417   887477 |        1   345939     56 |  0.000 % |
3352.66/3352.60	c |  10654541 |    2325   263417   887477 |        1   347178     56 |  0.000 % |
3611.17/3611.19	c |  10657331 |    2325   263417   887477 |        1   349968     56 |  0.000 % |
3611.17/3611.19	c |  10690716 |    2325   263417   887477 |        1   383353     60 |  0.000 % |
3611.17/3611.19	c |  10691720 |    2325   263417   887477 |        1   384357     60 |  0.000 % |
3611.17/3611.19	c |  10747024 |    2325   263417   887477 |        1   439661     64 |  0.000 % |
3611.17/3611.19	c |  10792679 |    2325   263417   887477 |        1   252510     45 |  0.000 % |
3611.17/3611.19	c |  10855771 |    2325   263417   887477 |        1   315602     54 |  0.000 % |
3611.17/3611.19	c |  10855882 |    2325   263417   887477 |        1   315713     54 |  0.000 % |
3611.17/3611.19	c |  10856886 |    2325   263417   887477 |        1   316717     54 |  0.000 % |
3611.17/3611.19	c |  10857300 |    2325   263417   887477 |        1   317131     54 |  0.000 % |
3611.17/3611.19	c |  10857400 |    2325   263417   887477 |        1   317231     54 |  0.000 % |
3611.17/3611.19	c |  10865187 |    2325   263417   887477 |        1   325018     55 |  0.000 % |
3611.17/3611.19	c |  10876372 |    2325   263417   887477 |        1   336203     56 |  0.000 % |
3611.17/3611.19	c |  10887186 |    2325   263417   887477 |        1   347017     57 |  0.000 % |
3611.17/3611.19	c |  10887306 |    2325   263417   887477 |        1   347137     57 |  0.000 % |
3611.17/3611.19	c |  10899237 |    2325   263417   887477 |        1   359068     58 |  0.000 % |
3611.17/3611.19	c |  10908021 |    2325   263417   887477 |        1   367852     59 |  0.000 % |
3611.17/3611.19	c |  10909923 |    2325   263417   887477 |        1   369754     60 |  0.000 % |
3611.17/3611.19	c |  10910460 |    2325   263417   887477 |        1   370291     60 |  0.000 % |
3611.17/3611.19	c |  10924221 |    2325   263417   887477 |        1   384052     62 |  0.000 % |
3611.17/3611.19	c |  10934176 |    2325   263417   887477 |        1   394007     63 |  0.000 % |
3611.17/3611.19	c |  10944861 |    2325   263417   887477 |        1   404692     63 |  0.000 % |
3611.17/3611.19	c |  10968991 |    2325   263417   887477 |        1   428822     65 |  0.000 % |
3611.17/3611.19	c |  10972200 |    2325   263417   887477 |        1   432031     66 |  0.000 % |
3611.17/3611.19	c |  11006788 |    2325   263417   887477 |        1   466619     68 |  0.000 % |
3611.17/3611.19	c |  11016998 |    2325   263417   887477 |        1   241425     42 |  0.000 % |
3611.17/3611.19	c |  11018924 |    2325   263417   887477 |        1   243351     43 |  0.000 % |
3611.17/3611.19	c |  11019108 |    2325   263417   887477 |        1   243535     43 |  0.000 % |
3611.17/3611.19	c |  11039360 |    2325   263417   887477 |        1   263787     47 |  0.000 % |
3611.17/3611.19	c |  11043386 |    2325   263417   887477 |        1   267813     48 |  0.000 % |
3611.17/3611.19	c |  11051645 |    2325   263417   887477 |        1   276072     49 |  0.000 % |
3611.17/3611.19	c |  11061808 |    2325   263417   887477 |        1   286235     52 |  0.000 % |
3611.17/3611.19	c |  11064035 |    2325   263417   887477 |        1   288462     52 |  0.000 % |
3611.17/3611.19	c |  11072421 |    2325   263417   887477 |        1   296848     54 |  0.000 % |
3611.17/3611.19	c |  11146206 |    2325   263417   887477 |        1   370633     60 |  0.000 % |
3611.17/3611.19	c |  11158516 |    2325   263417   887477 |        1   382943     60 |  0.000 % |
3611.17/3611.19	c |  11179429 |    2325   263417   887477 |        1   403856     61 |  0.000 % |
3611.17/3611.19	c |  11193927 |    2325   263417   887477 |        1   418354     63 |  0.000 % |
3611.17/3611.19	c |  11203700 |    2325   263417   887477 |        1   428127     64 |  0.000 % |
3611.17/3611.19	c |  11263733 |    2325   263417   887477 |        1   250156     44 |  0.000 % |
3611.17/3611.19	c |  11285375 |    2325   263417   887477 |        1   271798     48 |  0.000 % |
3611.17/3611.19	c |  11337631 |    2325   263417   887477 |        1   324054     54 |  0.000 % |
3611.17/3611.19	c |  11372010 |    2325   263417   887477 |        1   358433     58 |  0.000 % |
3611.17/3611.19	c |  11373872 |    2325   263417   887477 |        1   360295     58 |  0.000 % |
3611.17/3611.19	c |  11378308 |    2325   263417   887477 |        1   364731     59 |  0.000 % |
3611.17/3611.19	c |  11408773 |    2325   263417   887477 |        1   395196     63 |  0.000 % |
3611.17/3611.19	c |  11409574 |    2325   263417   887477 |        1   395997     63 |  0.000 % |
3611.17/3611.19	c |  11409951 |    2325   263417   887477 |        1   396374     63 |  0.000 % |
3611.17/3611.19	c |  11414603 |    2325   263417   887477 |        1   401026     64 |  0.000 % |
3611.17/3611.19	c |  11423083 |    2325   263417   887477 |        1   409506     64 |  0.000 % |
3611.17/3611.19	c |  11423793 |    2325   263417   887477 |        1   410216     64 |  0.000 % |
3975.49/3975.44	c |  11471756 |    2325   263417   887477 |        1   458179     67 |  0.000 % |
3975.49/3975.44	c |  11480925 |    2325   263417   887477 |        1   467348     68 |  0.000 % |
3975.49/3975.44	c |  11481253 |    2325   263417   887477 |        1   467676     68 |  0.000 % |
3975.49/3975.44	c |  11507464 |    2325   263417   887477 |        1   253298     44 |  0.000 % |
3975.49/3975.44	c |  11519791 |    2325   263417   887477 |        1   265625     46 |  0.000 % |
3975.49/3975.44	c |  11524440 |    2325   263417   887477 |        1   270274     47 |  0.000 % |
3975.49/3975.44	c |  11609202 |    2325   263417   887477 |        1   355036     63 |  0.000 % |
3975.49/3975.44	c |  11609302 |    2325   263417   887477 |        1   355136     63 |  0.000 % |
3975.49/3975.44	c |  11623241 |    2325   263417   887477 |        1   369075     64 |  0.000 % |
3975.49/3975.44	c |  11623492 |    2325   263417   887477 |        1   369326     64 |  0.000 % |
3975.49/3975.44	c |  11661684 |    2325   263417   887477 |        1   407518     66 |  0.000 % |
3975.49/3975.44	c |  11671536 |    2325   263417   887477 |        1   417370     67 |  0.000 % |
3975.49/3975.44	c |  11688470 |    2325   263417   887477 |        1   434304     68 |  0.000 % |
3975.49/3975.44	c |  11726409 |    2325   263417   887477 |        1   472243     71 |  0.000 % |
3975.49/3975.44	c |  11739950 |    2325   263417   887477 |        1   485784     72 |  0.000 % |
3975.49/3975.44	c |  11748217 |    2325   263417   887477 |        1   250842     45 |  0.000 % |
3975.49/3975.44	c |  11767852 |    2325   263417   887477 |        1   270477     48 |  0.000 % |
3975.49/3975.44	c |  11810558 |    2325   263417   887477 |        1   313183     54 |  0.000 % |
3975.49/3975.44	c |  11810747 |    2325   263417   887477 |        1   313372     54 |  0.000 % |
3975.49/3975.44	c |  11857820 |    2325   263417   887477 |        1   360445     60 |  0.000 % |
3975.49/3975.44	c |  11879171 |    2325   263417   887477 |        1   381796     61 |  0.000 % |
3975.49/3975.44	c |  11956647 |    2325   263417   887477 |        1   459272     67 |  0.000 % |
3975.49/3975.44	c |  11980398 |    2325   263417   887477 |        1   483023     68 |  0.000 % |
3975.49/3975.44	c |  11986140 |    2325   263417   887477 |        1   488765     68 |  0.000 % |
3975.49/3975.44	c |  12012350 |    2325   263417   887477 |        1   269176     44 |  0.000 % |
3975.49/3975.44	c |  12012828 |    2325   263417   887477 |        1   269654     44 |  0.000 % |
3975.49/3975.44	c |  12013279 |    2325   263417   887477 |        1   270105     44 |  0.000 % |
3975.49/3975.44	c |  12018593 |    2325   263417   887477 |        1   275419     45 |  0.000 % |
3975.49/3975.44	c |  12029969 |    2325   263417   887477 |        1   286795     47 |  0.000 % |
3975.49/3975.44	c |  12030070 |    2325   263417   887477 |        1   286896     47 |  0.000 % |
3975.49/3975.44	c |  12035667 |    2325   263417   887477 |        1   292493     48 |  0.000 % |
3975.49/3975.44	c |  12134011 |    2325   263417   887477 |        1   390837     57 |  0.000 % |
3975.49/3975.44	c |  12166584 |    2325   263417   887477 |        1   423410     60 |  0.000 % |
3975.49/3975.44	c |  12167052 |    2325   263417   887477 |        1   423878     60 |  0.000 % |
3975.49/3975.44	c |  12203005 |    2325   263417   887477 |        1   459831     64 |  0.000 % |
3975.49/3975.44	c |  12213393 |    2325   263417   887477 |        1   470219     64 |  0.000 % |
3975.49/3975.44	c |  12218745 |    2325   263417   887477 |        1   475571     65 |  0.000 % |
3975.49/3975.44	c |  12225443 |    2325   263417   887477 |        1   482269     65 |  0.000 % |
3975.49/3975.44	c |  12244223 |    2325   263417   887477 |        1   252654     41 |  0.000 % |
3975.49/3975.44	c |  12332008 |    2325   263417   887477 |        1   340439     50 |  0.000 % |
3975.49/3975.44	c |  12332428 |    2325   263417   887477 |        1   340859     50 |  0.000 % |
3975.49/3975.44	c |  12338964 |    2325   263417   887477 |        1   347395     51 |  0.000 % |
3975.49/3975.44	c |  12366556 |    2325   263417   887477 |        1   374987     54 |  0.000 % |
3975.49/3975.44	c |  12370594 |    2325   263417   887477 |        1   379025     54 |  0.000 % |
3975.49/3975.44	c |  12418514 |    2325   263417   887477 |        1   426945     58 |  0.000 % |
3975.49/3975.44	c |  12422524 |    2325   263417   887477 |        1   430955     58 |  0.000 % |
3975.49/3975.44	c |  12427912 |    2325   263417   887477 |        1   436343     59 |  0.000 % |
3975.49/3975.44	c |  12428055 |    2325   263417   887477 |        1   436486     59 |  0.000 % |
3975.49/3975.44	c |  12432340 |    2325   263417   887477 |        1   440771     59 |  0.000 % |
3975.49/3975.44	c |  12432642 |    2325   263417   887477 |        1   441073     59 |  0.000 % |
4426.79/4426.76	c |  12432768 |    2325   263417   887477 |        1   441199     59 |  0.000 % |
4426.79/4426.76	c |  12432873 |    2325   263417   887477 |        1   441304     59 |  0.000 % |
4426.79/4426.76	c |  12435163 |    2325   263417   887477 |        1   443594     60 |  0.000 % |
4426.79/4426.76	c |  12448319 |    2325   263417   887477 |        1   456750     61 |  0.000 % |
4426.79/4426.76	c |  12466056 |    2325   263417   887477 |        1   474487     62 |  0.000 % |
4426.79/4426.76	c |  12502495 |    2325   263417   887477 |        1   259926     42 |  0.000 % |
4426.79/4426.76	c |  12502937 |    2325   263417   887477 |        1   260368     42 |  0.000 % |
4426.79/4426.76	c |  12507864 |    2325   263417   887477 |        1   265295     43 |  0.000 % |
4426.79/4426.76	c |  12511666 |    2325   263417   887477 |        1   269097     44 |  0.000 % |
4426.79/4426.76	c |  12587610 |    2325   263417   887477 |        1   345041     55 |  0.000 % |
4426.79/4426.76	c |  12593941 |    2325   263417   887477 |        1   351372     56 |  0.000 % |
4426.79/4426.76	c |  12624834 |    2325   263417   887477 |        1   382265     59 |  0.000 % |
4426.79/4426.76	c |  12625165 |    2325   263417   887477 |        1   382596     59 |  0.000 % |
4426.79/4426.76	c |  12625334 |    2325   263417   887477 |        1   382765     59 |  0.000 % |
4426.79/4426.76	c |  12641585 |    2325   263417   887477 |        1   399016     61 |  0.000 % |
4426.79/4426.76	c |  12658920 |    2325   263417   887477 |        1   416351     62 |  0.000 % |
4426.79/4426.76	c |  12664314 |    2325   263417   887477 |        1   421745     63 |  0.000 % |
4426.79/4426.76	c |  12678728 |    2325   263417   887477 |        1   436159     64 |  0.000 % |
4426.79/4426.76	c |  12701336 |    2325   263417   887477 |        1   458767     65 |  0.000 % |
4426.79/4426.76	c |  12802419 |    2325   263417   887477 |        1   306250     50 |  0.000 % |
4426.79/4426.76	c |  12804163 |    2325   263417   887477 |        1   307994     50 |  0.000 % |
4426.79/4426.76	c |  13010460 |    2325   263417   887477 |        1   258088     43 |  0.000 % |
4426.79/4426.76	c |  13055608 |    2325   263417   887477 |        1   303236     49 |  0.000 % |
4426.79/4426.76	c |  13072429 |    2325   263417   887477 |        1   320057     51 |  0.000 % |
4426.79/4426.76	c |  13072759 |    2325   263417   887477 |        1   320387     51 |  0.000 % |
4426.79/4426.76	c |  13079257 |    2325   263417   887477 |        1   326885     52 |  0.000 % |
4426.79/4426.76	c |  13124561 |    2325   263417   887477 |        1   372189     56 |  0.000 % |
4426.79/4426.76	c |  13134518 |    2325   263417   887477 |        1   382146     57 |  0.000 % |
4426.79/4426.76	c |  13146972 |    2325   263417   887477 |        1   394600     58 |  0.000 % |
4426.79/4426.76	c |  13315150 |    2325   263417   887477 |        1   303971     50 |  0.000 % |
4426.79/4426.76	c |  13356145 |    2325   263417   887477 |        1   344966     55 |  0.000 % |
4426.79/4426.76	c |  13356488 |    2325   263417   887477 |        1   345309     55 |  0.000 % |
4426.79/4426.76	c |  13357441 |    2325   263417   887477 |        1   346262     55 |  0.000 % |
4426.79/4426.76	c |  13372874 |    2325   263417   887477 |        1   361695     57 |  0.000 % |
4426.79/4426.76	c |  13373156 |    2325   263417   887477 |        1   361977     57 |  0.000 % |
4426.79/4426.76	c |  13446904 |    2325   263417   887477 |        1   435725     62 |  0.000 % |
4426.79/4426.76	c |  13447358 |    2325   263417   887477 |        1   436179     62 |  0.000 % |
4426.79/4426.76	c |  13450040 |    2325   263417   887477 |        1   438861     62 |  0.000 % |
4426.79/4426.76	c |  13451351 |    2325   263417   887477 |        1   440172     62 |  0.000 % |
4426.79/4426.76	c |  13475144 |    2325   263417   887477 |        1   463965     64 |  0.000 % |
4426.79/4426.76	c |  13479749 |    2325   263417   887477 |        1   468570     65 |  0.000 % |
4426.79/4426.76	c |  13487677 |    2325   263417   887477 |        1   476498     65 |  0.000 % |
4426.79/4426.76	c |  13487779 |    2325   263417   887477 |        1   476600     65 |  0.000 % |
4426.79/4426.76	c |  13490160 |    2325   263417   887477 |        1   478981     65 |  0.000 % |
4426.79/4426.76	c |  13494513 |    2325   263417   887477 |        1   483334     66 |  0.000 % |
4426.79/4426.76	c |  13515184 |    2325   263417   887477 |        1   504005     67 |  0.000 % |
4426.79/4426.76	c |  13525167 |    2325   263417   887477 |        1   513988     68 |  0.000 % |
4426.79/4426.76	c |  13573380 |    2325   263417   887477 |        1   300801     49 |  0.000 % |
4426.79/4426.76	c |  13605580 |    2325   263417   887477 |        1   333001     53 |  0.000 % |
4426.79/4426.76	c |  13616917 |    2325   263417   887477 |        1   344338     55 |  0.000 % |
4689.70/4689.60	c |  13649347 |    2325   263417   887477 |        1   376768     58 |  0.000 % |
4689.70/4689.60	c |  13651133 |    2325   263417   887477 |        1   378554     58 |  0.000 % |
4689.70/4689.60	c |  13712530 |    2325   263417   887477 |        1   439951     64 |  0.000 % |
4689.70/4689.60	c |  13713528 |    2325   263417   887477 |        1   440949     64 |  0.000 % |
4689.70/4689.60	c |  13716651 |    2325   263417   887477 |        1   444072     65 |  0.000 % |
4689.70/4689.60	c |  13716751 |    2325   263417   887477 |        1   444172     65 |  0.000 % |
4689.70/4689.60	c |  13721909 |    2325   263417   887477 |        1   449330     65 |  0.000 % |
4689.70/4689.60	c |  13727781 |    2325   263417   887477 |        1   455202     65 |  0.000 % |
4689.70/4689.60	c |  13728275 |    2325   263417   887477 |        1   455696     66 |  0.000 % |
4689.70/4689.60	c |  13760880 |    2325   263417   887477 |        1   488301     68 |  0.000 % |
4689.70/4689.60	c |  13774444 |    2325   263417   887477 |        1   501865     68 |  0.000 % |
4689.70/4689.60	c |  13778607 |    2325   263417   887477 |        1   506028     68 |  0.000 % |
4689.70/4689.60	c |  13790999 |    2325   263417   887477 |        1   518420     69 |  0.000 % |
4689.70/4689.60	c |  13807104 |    2325   263417   887477 |        1   270533     42 |  0.000 % |
4689.70/4689.60	c |  13811170 |    2325   263417   887477 |        1   274599     43 |  0.000 % |
4689.70/4689.60	c |  13815887 |    2325   263417   887477 |        1   279316     44 |  0.000 % |
4689.70/4689.60	c |  13815987 |    2325   263417   887477 |        1   279416     44 |  0.000 % |
4689.70/4689.60	c |  13817041 |    2325   263417   887477 |        1   280470     45 |  0.000 % |
4689.70/4689.60	c |  13829442 |    2325   263417   887477 |        1   292871     47 |  0.000 % |
4689.70/4689.60	c |  13830456 |    2325   263417   887477 |        1   293885     47 |  0.000 % |
4689.70/4689.60	c |  13847240 |    2325   263417   887477 |        1   310669     50 |  0.000 % |
4689.70/4689.60	c |  13883513 |    2325   263417   887477 |        1   346942     54 |  0.000 % |
4689.70/4689.60	c |  13897393 |    2325   263417   887477 |        1   360822     55 |  0.000 % |
4689.70/4689.60	c |  13942516 |    2325   263417   887477 |        1   405945     58 |  0.000 % |
4689.70/4689.60	c |  13943982 |    2325   263417   887477 |        1   407411     58 |  0.000 % |
4689.70/4689.60	c |  13973400 |    2325   263417   887477 |        1   436829     60 |  0.000 % |
4689.70/4689.60	c |  14048931 |    2325   263417   887477 |        1   512360     64 |  0.000 % |
4689.70/4689.60	c |  14063123 |    2325   263417   887477 |        1   526552     65 |  0.000 % |
4689.70/4689.60	c |  14064630 |    2325   263417   887477 |        1   528059     65 |  0.000 % |
4689.70/4689.60	c |  14094868 |    2325   263417   887477 |        1   291692     44 |  0.000 % |
4689.70/4689.60	c |  14119620 |    2325   263417   887477 |        1   316444     48 |  0.000 % |
4689.70/4689.60	c |  14161674 |    2325   263417   887477 |        1   358498     52 |  0.000 % |
4689.70/4689.60	c |  14179335 |    2325   263417   887477 |        1   376159     54 |  0.000 % |
4689.70/4689.60	c |  14184177 |    2325   263417   887477 |        1   381001     54 |  0.000 % |
4689.70/4689.60	c |  14184391 |    2325   263417   887477 |        1   381215     54 |  0.000 % |
4689.70/4689.60	c |  14184675 |    2325   263417   887477 |        1   381499     55 |  0.000 % |
4689.70/4689.60	c |  14185206 |    2325   263417   887477 |        1   382030     55 |  0.000 % |
4689.70/4689.60	c |  14188397 |    2325   263417   887477 |        1   385221     55 |  0.000 % |
4689.70/4689.60	c |  14191191 |    2325   263417   887477 |        1   388015     56 |  0.000 % |
4689.70/4689.60	c |  14194027 |    2325   263417   887477 |        1   390851     56 |  0.000 % |
4689.70/4689.60	c |  14213902 |    2325   263417   887477 |        1   410726     58 |  0.000 % |
4689.70/4689.60	c |  14275520 |    2325   263417   887477 |        1   472344     64 |  0.000 % |
4689.70/4689.60	c |  14275620 |    2325   263417   887477 |        1   472444     64 |  0.000 % |
4689.70/4689.60	c |  14294143 |    2325   263417   887477 |        1   490967     66 |  0.000 % |
4689.70/4689.60	c |  14310233 |    2325   263417   887477 |        1   507057     67 |  0.000 % |
4689.70/4689.60	c |  14310569 |    2325   263417   887477 |        1   507393     67 |  0.000 % |
4689.70/4689.60	c |  14312876 |    2325   263417   887477 |        1   509700     68 |  0.000 % |
4689.70/4689.60	c |  14315552 |    2325   263417   887477 |        1   512376     68 |  0.000 % |
4689.70/4689.60	c |  14366964 |    2325   263417   887477 |        1   294588     47 |  0.000 % |
4689.70/4689.60	c |  14418634 |    2325   263417   887477 |        1   3462

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-3303354-1303899334/watcher-3303354-1303899334 -o /tmp/evaluation-result-3303354-1303899334/solver-3303354-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303354-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/176 20020
/proc/meminfo: memFree=17254812/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531251 8912896 253 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20020/statm: 2176 253 211 178 0 69 0

[startup+0.0366601 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20020
/proc/meminfo: memFree=17254812/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531251 8912896 253 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20020/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100638 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20020
/proc/meminfo: memFree=17254812/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531251 8912896 253 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20020/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300653 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20020
/proc/meminfo: memFree=17254812/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531251 8912896 253 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20020/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700576 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 20020
/proc/meminfo: memFree=17254812/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531251 8912896 253 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/20020/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50039 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 20034
/proc/meminfo: memFree=17217416/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 8704

[startup+3.10113 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 20035
/proc/meminfo: memFree=17202536/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=46360 CPUtime=2 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 16566 0 0 0 198 2 0 0 25 0 1 0 501531360 47472640 7517 33554432000 4194304 4260849 140735759082112 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 11590 7517 250 17 0 8231 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55064

[startup+6.3005 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 20035
/proc/meminfo: memFree=17180084/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=65036 CPUtime=5.19 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 21673 0 0 0 517 2 0 0 25 0 1 0 501531360 66596864 12327 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 16259 12327 250 17 0 12900 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 73740

[startup+12.7003 s]
/proc/loadavg: 0.31 0.07 0.02 3/184 20036
/proc/meminfo: memFree=17164456/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=65036 CPUtime=11.6 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 22208 0 0 0 1157 3 0 0 25 0 1 0 501531360 66596864 12857 33554432000 4194304 4260849 140735759082112 18446744073709551615 4226256 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 16259 12857 250 17 0 12900 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73740

[startup+25.501 s]
/proc/loadavg: 0.68 0.16 0.05 3/184 20036
/proc/meminfo: memFree=17129756/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=83892 CPUtime=24.4 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 32307 0 0 0 2436 4 0 0 25 0 1 0 501531360 85905408 17771 33554432000 4194304 4260849 140735759082112 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 20973 17771 250 17 0 17614 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92596

[startup+51.1004 s]
/proc/loadavg: 1.13 0.31 0.10 3/184 20037
/proc/meminfo: memFree=17122740/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=83892 CPUtime=50 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 32307 0 0 0 4996 4 0 0 25 0 1 0 501531360 85905408 17771 33554432000 4194304 4260849 140735759082112 18446744073709551615 4209146 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 20973 17771 250 17 0 17614 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92596

[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.20 3/184 20038
/proc/meminfo: memFree=17100664/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=83892 CPUtime=101.2 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 48501 0 0 0 10114 6 0 0 25 0 1 0 501531360 85905408 17815 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 20973 17815 250 17 0 17614 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92596

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/184 20040
/proc/meminfo: memFree=17079928/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=133632 CPUtime=161.2 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 97094 0 0 0 16108 12 0 0 25 0 1 0 501531360 136839168 27460 33554432000 4194304 4260849 140735759082112 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20035/statm: 33408 27460 250 17 0 30049 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 142336

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.41 3/184 20041
/proc/meminfo: memFree=17051388/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=133632 CPUtime=221.19 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 139183 0 0 0 22101 18 0 0 25 0 1 0 501531360 136839168 26249 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 33408 26249 250 17 0 30049 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 142336

[startup+282.3 s]
/proc/loadavg: 2.02 1.22 0.51 3/184 20043
/proc/meminfo: memFree=17035004/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=164452 CPUtime=281.19 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 167177 0 0 0 28095 24 0 0 25 0 1 0 501531360 168398848 30717 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224331 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 41113 30717 251 17 0 37754 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 173156

[startup+342.3 s]
/proc/loadavg: 2.05 1.38 0.61 3/184 20044
/proc/meminfo: memFree=17017748/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=133632 CPUtime=341.19 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 202753 0 0 0 34088 31 0 0 25 0 1 0 501531360 136839168 27099 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224428 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 33408 27099 251 17 0 30049 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 142336

[startup+402.3 s]
/proc/loadavg: 2.02 1.49 0.69 3/184 20046
/proc/meminfo: memFree=17008428/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=164368 CPUtime=401.2 cores=0,2,4,6

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

/proc/20035/statm: 72931 63548 251 17 0 69572 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 300428

[startup+4422.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/184 20165
/proc/meminfo: memFree=16886564/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=242128 CPUtime=4421.31 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 1977580 0 0 0 441699 432 0 0 25 0 1 0 501531360 247939072 55430 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 60532 55430 251 17 0 57173 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 250832

[startup+4482.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/184 20167
/proc/meminfo: memFree=16767500/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=373952 CPUtime=4481.31 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 1996591 0 0 0 447694 437 0 0 25 0 1 0 501531360 382926848 74252 33554432000 4194304 4260849 140735759082112 18446744073709551615 4209960 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 93488 74252 251 17 0 90129 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 382656

[startup+4542.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/184 20168
/proc/meminfo: memFree=16838160/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=293280 CPUtime=4541.32 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2026817 0 0 0 453689 443 0 0 25 0 1 0 501531360 300318720 65062 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 73320 65062 251 17 0 69961 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 301984

[startup+4602.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/184 20170
/proc/meminfo: memFree=16829840/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=244060 CPUtime=4601.33 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2054482 0 0 0 459684 449 0 0 25 0 1 0 501531360 249917440 55328 33554432000 4194304 4260849 140735759082112 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 61015 55328 251 17 0 57656 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 252764

[startup+4662.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/184 20172
/proc/meminfo: memFree=16786780/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=376476 CPUtime=4661.32 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2074403 0 0 0 465678 454 0 0 25 0 1 0 501531360 385511424 75055 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 94119 75055 251 17 0 90760 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 385180

[startup+4722.31 s]
/proc/loadavg: 2.00 2.01 1.96 3/184 20173
/proc/meminfo: memFree=16768644/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=295272 CPUtime=4721.33 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2108895 0 0 0 471671 462 0 0 25 0 1 0 501531360 302358528 69213 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 73818 69213 251 17 0 70459 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 303976

[startup+4782.3 s]
/proc/loadavg: 2.11 2.04 1.97 3/184 20175
/proc/meminfo: memFree=16848096/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=296220 CPUtime=4781.33 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2139711 0 0 0 477664 469 0 0 25 0 1 0 501531360 303329280 57636 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 74055 57636 251 17 0 70696 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 304924

[startup+4842.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/184 20176
/proc/meminfo: memFree=16746160/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=378572 CPUtime=4841.33 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2156376 0 0 0 483660 473 0 0 25 0 1 0 501531360 387657728 74119 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 94643 74119 251 17 0 91284 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 387276

[startup+4902.3 s]
/proc/loadavg: 2.07 2.04 1.97 3/184 20178
/proc/meminfo: memFree=16828964/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=297972 CPUtime=4901.33 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2184125 0 0 0 489654 479 0 0 25 0 1 0 501531360 305123328 61859 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 74493 61859 251 17 0 71134 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 306676

[startup+4962.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/184 20180
/proc/meminfo: memFree=16740532/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=380216 CPUtime=4961.34 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2195843 0 0 0 495652 482 0 0 25 0 1 0 501531360 389341184 73422 33554432000 4194304 4260849 140735759082112 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 95054 73422 251 17 0 91695 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 388920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.01 2.02 1.97 3/184 20181
/proc/meminfo: memFree=16851620/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=249180 CPUtime=4998.94 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2216820 0 0 0 499408 486 0 0 25 0 1 0 501531360 255160320 57077 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 62295 57077 251 17 0 58936 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 257884

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.01 2.02 1.97 3/184 20181
/proc/meminfo: memFree=16851620/32951124 swapFree=67111528/67111528
[pid=20020] ppid=20018 vsize=8704 CPUtime=1.08 cores=0,2,4,6
/proc/20020/stat : 20020 (glucose.sh) S 20018 20020 19992 0 -1 4202496 360 5466 0 0 0 0 107 1 18 0 1 0 501531251 8912896 255 33554432000 4194304 4922060 140735862063536 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/20020/statm: 2176 255 211 178 0 69 0
[pid=20035] ppid=20020 vsize=249180 CPUtime=4998.94 cores=0,2,4,6
/proc/20035/stat : 20035 (glucose_static) R 20020 20020 19992 0 -1 4202496 2216820 0 0 0 499408 486 0 0 25 0 1 0 501531360 255160320 57077 33554432000 4194304 4260849 140735759082112 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20035/statm: 62295 57077 251 17 0 58936 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 257884

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20020 and gives
#  childrusage.ru_utime.tv_sec=1
#  childrusage.ru_utime.tv_usec=72836
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 1.09283
# while last known CPU time is 5000.02
#
# 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.02
CPU user time (s): 4995.15
CPU system time (s): 4.87
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 469312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07284
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5826
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= 9
involuntary context switches= 19

runsolver used 8.68168 second user time and 18.5992 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-27 12:15:34
IDJOB=3303354
IDBENCH=71385
IDSOLVER=1687
FILE ID=node133/3303354-1303899334
RUNJOBID= node133-1303899333-20010
PBS_JOBID= 13164515
Free space on /tmp= 71904 MiB

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

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

MD5SUM BENCH= 836d368f7cf78173b8e7f8b131296e2f
RANDOM SEED=1818265576

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17254968 kB
Buffers:       2185612 kB
Cached:       12883156 kB
SwapCached:          0 kB
Active:        8771856 kB
Inactive:      6360636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17254968 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4688 kB
Writeback:           0 kB
AnonPages:       62872 kB
Mapped:          14408 kB
Slab:           499972 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188588 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= 71892 MiB
End job on node133 at 2011-04-27 13:38:56