Trace number 3303496

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.08 5000.03

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
MD5SUMd2562f4e152a54a992ab300a2bacfba9
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 variables279
Number of clauses21616
Sum of the clauses size96978
Maximum clause length17
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 319321
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52295

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   21616    96978 |    6484       0        0     nan |  0.000 % |
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 279   #clauses: 21616   #literals: 96978
0.00/0.01	c CPU time:   0.006998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c
0.00/0.02	c Starting glucose
0.00/0.02	c
221.18/221.23	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
221.18/221.23	c WARNING: for repeatability, setting FPU to use double precision
221.18/221.23	c ============================[ Problem Statistics ]=============================
221.18/221.23	c |                                                                             |
221.18/221.23	c |  Number of variables:           279                                         |
221.18/221.23	c |  Number of clauses:           21616                                         |
221.18/221.23	c |  Parse time:                   0.01 s                                       |
221.18/221.23	c |                                                                             |
221.18/221.23	c ============================[ Search Statistics ]==============================
221.18/221.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
221.18/221.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
221.18/221.23	c ===============================================================================
221.18/221.23	c |     51154 |     279    21616    96978 |        1    17001     30 |  0.000 % |
221.18/221.23	c |     51255 |     279    21616    96978 |        1    17102     31 |  0.000 % |
221.18/221.23	c |     51358 |     279    21616    96978 |        1    17205     31 |  0.000 % |
221.18/221.23	c |     51571 |     279    21616    96978 |        1    17418     31 |  0.000 % |
221.18/221.23	c |     54770 |     279    21616    96978 |        1    20617     31 |  0.000 % |
221.18/221.23	c |     55371 |     279    21616    96978 |        1    21218     32 |  0.000 % |
221.18/221.23	c |     76505 |     279    21616    96978 |        1    27937     31 |  0.000 % |
221.18/221.23	c |    214945 |     279    21616    96978 |        1    55368     29 |  0.000 % |
221.18/221.23	c |    228686 |     279    21616    96978 |        1    39102     27 |  0.000 % |
221.18/221.23	c |    228786 |     279    21616    96978 |        1    39202     27 |  0.000 % |
221.18/221.23	c |    229519 |     279    21616    96978 |        1    39935     27 |  0.000 % |
221.18/221.23	c |    229621 |     279    21616    96978 |        1    40037     27 |  0.000 % |
221.18/221.23	c |    243315 |     279    21616    96978 |        1    53731     29 |  0.000 % |
221.18/221.23	c |    243502 |     279    21616    96978 |        1    53918     29 |  0.000 % |
221.18/221.23	c |    244788 |     279    21616    96978 |        1    55204     29 |  0.000 % |
221.18/221.23	c |    292947 |     279    21616    96978 |        1    35566     25 |  0.000 % |
221.18/221.23	c |    435469 |     279    21616    96978 |        1    56882     25 |  0.000 % |
221.18/221.23	c |    512914 |     279    21616    96978 |        1    88728     28 |  0.000 % |
221.18/221.23	c |    513014 |     279    21616    96978 |        1    88828     28 |  0.000 % |
221.18/221.23	c |    546182 |     279    21616    96978 |        1    73797     27 |  0.000 % |
221.18/221.23	c |    657053 |     279    21616    96978 |        1    80472     26 |  0.000 % |
221.18/221.23	c |    657153 |     279    21616    96978 |        1    80572     26 |  0.000 % |
221.18/221.23	c |    657254 |     279    21616    96978 |        1    80673     26 |  0.000 % |
221.18/221.23	c |    666601 |     279    21616    96978 |        1    90020     27 |  0.000 % |
221.18/221.23	c |    668687 |     279    21616    96978 |        1    92106     27 |  0.000 % |
221.18/221.23	c |    672761 |     279    21616    96978 |        1    96180     28 |  0.000 % |
221.18/221.23	c |    673848 |     279    21616    96978 |        1    97267     28 |  0.000 % |
221.18/221.23	c |    674414 |     279    21616    96978 |        1    97833     28 |  0.000 % |
221.18/221.23	c |    674514 |     279    21616    96978 |        1    97933     28 |  0.000 % |
221.18/221.23	c |    674662 |     279    21616    96978 |        1    98081     28 |  0.000 % |
221.18/221.23	c |    687311 |     279    21616    96978 |        1   110730     29 |  0.000 % |
221.18/221.23	c |   1103747 |     279    21616    96978 |        1    80567     23 |  0.000 % |
221.18/221.23	c |   1150015 |     279    21616    96978 |        1   126835     26 |  0.000 % |
221.18/221.23	c |   1214092 |     279    21616    96978 |        1   116709     26 |  0.000 % |
221.18/221.23	c |   2164192 |     279    21616    96978 |        1   181807     25 |  0.000 % |
221.18/221.23	c |   2211805 |     279    21616    96978 |        1   126621     23 |  0.000 % |
221.18/221.23	c |   2218786 |     279    21616    96978 |        1   133602     24 |  0.000 % |
221.18/221.23	c |   2218889 |     279    21616    96978 |        1   133705     24 |  0.000 % |
221.18/221.23	c |   2219209 |     279    21616    96978 |        1   134025     24 |  0.000 % |
406.78/406.85	c |   2231519 |     279    21616    96978 |        1   146335     25 |  0.000 % |
406.78/406.85	c |   2275246 |     279    21616    96978 |        1   190062     27 |  0.000 % |
406.78/406.85	c |   2284919 |     279    21616    96978 |        1   199735     27 |  0.000 % |
406.78/406.85	c |   2285076 |     279    21616    96978 |        1   199892     27 |  0.000 % |
406.78/406.85	c |   2285190 |     279    21616    96978 |        1   200006     27 |  0.000 % |
406.78/406.85	c |   2285337 |     279    21616    96978 |        1   200153     27 |  0.000 % |
406.78/406.85	c |   2285480 |     279    21616    96978 |        1   200296     27 |  0.000 % |
406.78/406.85	c |   2289069 |     279    21616    96978 |        1   203885     27 |  0.000 % |
406.78/406.85	c |   2289169 |     279    21616    96978 |        1   203985     27 |  0.000 % |
406.78/406.85	c |   2289273 |     279    21616    96978 |        1   204089     27 |  0.000 % |
406.78/406.85	c |   2289374 |     279    21616    96978 |        1   204190     27 |  0.000 % |
406.78/406.85	c |   2289474 |     279    21616    96978 |        1   204290     27 |  0.000 % |
406.78/406.85	c |   2289575 |     279    21616    96978 |        1   204391     27 |  0.000 % |
406.78/406.85	c |   2289675 |     279    21616    96978 |        1   204491     27 |  0.000 % |
406.78/406.85	c |   2289775 |     279    21616    96978 |        1   204591     27 |  0.000 % |
406.78/406.85	c |   2289875 |     279    21616    96978 |        1   204691     27 |  0.000 % |
406.78/406.85	c |   2299335 |     279    21616    96978 |        1   108752     23 |  0.000 % |
406.78/406.85	c |   2300767 |     279    21616    96978 |        1   110184     23 |  0.000 % |
406.78/406.85	c |   2300868 |     279    21616    96978 |        1   110285     23 |  0.000 % |
406.78/406.85	c |   2360880 |     279    21616    96978 |        1   170297     26 |  0.000 % |
406.78/406.85	c |   2360984 |     279    21616    96978 |        1   170401     26 |  0.000 % |
406.78/406.85	c |   2509705 |     279    21616    96978 |        1   211115     27 |  0.000 % |
406.78/406.85	c |   2510069 |     279    21616    96978 |        1   211479     27 |  0.000 % |
406.78/406.85	c |   2510173 |     279    21616    96978 |        1   211583     27 |  0.000 % |
406.78/406.85	c |   2561525 |     279    21616    96978 |        1   152339     25 |  0.000 % |
406.78/406.85	c |   2614553 |     279    21616    96978 |        1   205367     27 |  0.000 % |
406.78/406.85	c |   2711295 |     279    21616    96978 |        1   188916     26 |  0.000 % |
406.78/406.85	c |   2711621 |     279    21616    96978 |        1   189242     26 |  0.000 % |
406.78/406.85	c |   2711769 |     279    21616    96978 |        1   189390     26 |  0.000 % |
406.78/406.85	c |   2711933 |     279    21616    96978 |        1   189554     26 |  0.000 % |
406.78/406.85	c |   2712297 |     279    21616    96978 |        1   189918     26 |  0.000 % |
406.78/406.85	c |   2712398 |     279    21616    96978 |        1   190019     26 |  0.000 % |
406.78/406.85	c |   2735654 |     279    21616    96978 |        1   213275     27 |  0.000 % |
406.78/406.85	c |   2741384 |     279    21616    96978 |        1   219005     27 |  0.000 % |
406.78/406.85	c |   2741485 |     279    21616    96978 |        1   219106     27 |  0.000 % |
406.78/406.85	c |   2742998 |     279    21616    96978 |        1   220619     28 |  0.000 % |
406.78/406.85	c |   2805907 |     279    21616    96978 |        1   167726     26 |  0.000 % |
406.78/406.85	c |   2991361 |     279    21616    96978 |        1   234784     27 |  0.000 % |
406.78/406.85	c |   2991461 |     279    21616    96978 |        1   234884     27 |  0.000 % |
406.78/406.85	c |   2991562 |     279    21616    96978 |        1   234985     27 |  0.000 % |
406.78/406.85	c |   3088151 |     279    21616    96978 |        1   210569     26 |  0.000 % |
406.78/406.85	c |   3092357 |     279    21616    96978 |        1   214775     26 |  0.000 % |
406.78/406.85	c |   3489078 |     279    21616    96978 |        1   232902     26 |  0.000 % |
406.78/406.85	c |   3510991 |     279    21616    96978 |        1   254815     27 |  0.000 % |
406.78/406.85	c |   3511644 |     279    21616    96978 |        1   255468     27 |  0.000 % |
406.78/406.85	c |   3516203 |     279    21616    96978 |        1   260027     27 |  0.000 % |
406.78/406.85	c |   3516895 |     279    21616    96978 |        1   260719     27 |  0.000 % |
406.78/406.85	c |   3652571 |     279    21616    96978 |        1   264987     26 |  0.000 % |
406.78/406.85	c |   3660859 |     279    21616    96978 |        1   139272     22 |  0.000 % |
406.78/406.85	c |   3663738 |     279    21616    96978 |        1   142151     22 |  0.000 % |
936.11/936.18	c |   3672745 |     279    21616    96978 |        1   151158     23 |  0.000 % |
936.11/936.18	c |   3722980 |     279    21616    96978 |        1   201393     25 |  0.000 % |
936.11/936.18	c |   3726164 |     279    21616    96978 |        1   204577     25 |  0.000 % |
936.11/936.18	c |   3839067 |     279    21616    96978 |        1   180882     24 |  0.000 % |
936.11/936.18	c |   4182582 |     279    21616    96978 |        1   243403     25 |  0.000 % |
936.11/936.18	c |   4185417 |     279    21616    96978 |        1   246238     25 |  0.000 % |
936.11/936.18	c |   4723896 |     279    21616    96978 |        1   191518     23 |  0.000 % |
936.11/936.18	c |   4724268 |     279    21616    96978 |        1   191890     23 |  0.000 % |
936.11/936.18	c |   4794893 |     279    21616    96978 |        1   262515     26 |  0.000 % |
936.11/936.18	c |   4889856 |     279    21616    96978 |        1   202678     24 |  0.000 % |
936.11/936.18	c |   4898977 |     279    21616    96978 |        1   211799     25 |  0.000 % |
936.11/936.18	c |   4922534 |     279    21616    96978 |        1   235356     26 |  0.000 % |
936.11/936.18	c |   4923806 |     279    21616    96978 |        1   236628     26 |  0.000 % |
936.11/936.18	c |   4923990 |     279    21616    96978 |        1   236812     26 |  0.000 % |
936.11/936.18	c |   4924166 |     279    21616    96978 |        1   236988     26 |  0.000 % |
936.11/936.18	c |   4938264 |     279    21616    96978 |        1   251086     26 |  0.000 % |
936.11/936.18	c |   4945094 |     279    21616    96978 |        1   257916     26 |  0.000 % |
936.11/936.18	c |   5262556 |     279    21616    96978 |        1   257980     25 |  0.000 % |
936.11/936.18	c |   5430400 |     279    21616    96978 |        1   263229     25 |  0.000 % |
936.11/936.18	c |   5442600 |     279    21616    96978 |        1   275429     25 |  0.000 % |
936.11/936.18	c |   5466459 |     279    21616    96978 |        1   299288     26 |  0.000 % |
936.11/936.18	c |   5471564 |     279    21616    96978 |        1   304393     26 |  0.000 % |
936.11/936.18	c |   6028990 |     279    21616    96978 |        1   185415     22 |  0.000 % |
936.11/936.18	c |   6159569 |     279    21616    96978 |        1   315994     26 |  0.000 % |
936.11/936.18	c |   6200432 |     279    21616    96978 |        1   181254     22 |  0.000 % |
936.11/936.18	c |   6211452 |     279    21616    96978 |        1   192274     23 |  0.000 % |
936.11/936.18	c |   6211652 |     279    21616    96978 |        1   192474     23 |  0.000 % |
936.11/936.18	c |   6291966 |     279    21616    96978 |        1   272788     26 |  0.000 % |
936.11/936.18	c |   6297251 |     279    21616    96978 |        1   278073     26 |  0.000 % |
936.11/936.18	c |   6297351 |     279    21616    96978 |        1   278173     26 |  0.000 % |
936.11/936.18	c |   6398454 |     279    21616    96978 |        1   201077     23 |  0.000 % |
936.11/936.18	c |   6401963 |     279    21616    96978 |        1   204586     23 |  0.000 % |
936.11/936.18	c |   6406372 |     279    21616    96978 |        1   208995     23 |  0.000 % |
936.11/936.18	c |   6408980 |     279    21616    96978 |        1   211603     24 |  0.000 % |
936.11/936.18	c |   6409082 |     279    21616    96978 |        1   211705     24 |  0.000 % |
936.11/936.18	c |   6409182 |     279    21616    96978 |        1   211805     24 |  0.000 % |
936.11/936.18	c |   6415684 |     279    21616    96978 |        1   218307     24 |  0.000 % |
936.11/936.18	c |   6506959 |     279    21616    96978 |        1   309582     26 |  0.000 % |
936.11/936.18	c |   6509659 |     279    21616    96978 |        1   312282     26 |  0.000 % |
936.11/936.18	c |   6509759 |     279    21616    96978 |        1   312382     26 |  0.000 % |
936.11/936.18	c |   6543532 |     279    21616    96978 |        1   346155     27 |  0.000 % |
936.11/936.18	c |   6549532 |     279    21616    96978 |        1   352155     27 |  0.000 % |
936.11/936.18	c |   6549632 |     279    21616    96978 |        1   352255     27 |  0.000 % |
936.11/936.18	c |   6555190 |     279    21616    96978 |        1   357813     27 |  0.000 % |
936.11/936.18	c |   6580088 |     279    21616    96978 |        1   201908     23 |  0.000 % |
936.11/936.18	c |   6582734 |     279    21616    96978 |        1   204554     23 |  0.000 % |
936.11/936.18	c |   6582835 |     279    21616    96978 |        1   204655     23 |  0.000 % |
936.11/936.18	c |   6582939 |     279    21616    96978 |        1   204759     23 |  0.000 % |
936.11/936.18	c |   7181739 |     279    21616    96978 |        1   245558     23 |  0.000 % |
936.11/936.18	c |   7186908 |     279    21616    96978 |        1   250727     23 |  0.000 % |
1764.31/1764.35	c |   7187373 |     279    21616    96978 |        1   251192     23 |  0.000 % |
1764.31/1764.35	c |   7187473 |     279    21616    96978 |        1   251292     23 |  0.000 % |
1764.31/1764.35	c |   7188349 |     279    21616    96978 |        1   252168     23 |  0.000 % |
1764.31/1764.35	c |   7193031 |     279    21616    96978 |        1   256850     23 |  0.000 % |
1764.31/1764.35	c |   7193132 |     279    21616    96978 |        1   256951     23 |  0.000 % |
1764.31/1764.35	c |   7193233 |     279    21616    96978 |        1   257052     23 |  0.000 % |
1764.31/1764.35	c |   7199942 |     279    21616    96978 |        1   263761     24 |  0.000 % |
1764.31/1764.35	c |   7200044 |     279    21616    96978 |        1   263863     24 |  0.000 % |
1764.31/1764.35	c |   7311322 |     279    21616    96978 |        1   375141     26 |  0.000 % |
1764.31/1764.35	c |   7323563 |     279    21616    96978 |        1   196182     22 |  0.000 % |
1764.31/1764.35	c |   7336047 |     279    21616    96978 |        1   208666     22 |  0.000 % |
1764.31/1764.35	c |   7338051 |     279    21616    96978 |        1   210670     22 |  0.000 % |
1764.31/1764.35	c |   7388842 |     279    21616    96978 |        1   261461     24 |  0.000 % |
1764.31/1764.35	c |   7399392 |     279    21616    96978 |        1   272011     25 |  0.000 % |
1764.31/1764.35	c |   7399492 |     279    21616    96978 |        1   272111     25 |  0.000 % |
1764.31/1764.35	c |   7399596 |     279    21616    96978 |        1   272215     25 |  0.000 % |
1764.31/1764.35	c |   7491933 |     279    21616    96978 |        1   364552     27 |  0.000 % |
1764.31/1764.35	c |   7494435 |     279    21616    96978 |        1   367054     27 |  0.000 % |
1764.31/1764.35	c |   7494799 |     279    21616    96978 |        1   367418     27 |  0.000 % |
1764.31/1764.35	c |   7494901 |     279    21616    96978 |        1   367520     27 |  0.000 % |
1764.31/1764.35	c |   7496875 |     279    21616    96978 |        1   369494     27 |  0.000 % |
1764.31/1764.35	c |   7498554 |     279    21616    96978 |        1   371173     27 |  0.000 % |
1764.31/1764.35	c |   7498654 |     279    21616    96978 |        1   371273     27 |  0.000 % |
1764.31/1764.35	c |   7498755 |     279    21616    96978 |        1   371374     27 |  0.000 % |
1764.31/1764.35	c |   7498856 |     279    21616    96978 |        1   371475     27 |  0.000 % |
1764.31/1764.35	c |   7623005 |     279    21616    96978 |        1   301821     25 |  0.000 % |
1764.31/1764.35	c |   7665455 |     279    21616    96978 |        1   344271     26 |  0.000 % |
1764.31/1764.35	c |   7676170 |     279    21616    96978 |        1   354986     27 |  0.000 % |
1764.31/1764.35	c |   7680191 |     279    21616    96978 |        1   359007     27 |  0.000 % |
1764.31/1764.35	c |   8591771 |     279    21616    96978 |        1   262594     23 |  0.000 % |
1764.31/1764.35	c |   8700432 |     279    21616    96978 |        1   371255     25 |  0.000 % |
1764.31/1764.35	c |   8836805 |     279    21616    96978 |        1   298224     24 |  0.000 % |
1764.31/1764.35	c |   9335319 |     279    21616    96978 |        1   370144     24 |  0.000 % |
1764.31/1764.35	c |  10745298 |     279    21616    96978 |        1   437922     25 |  0.000 % |
1764.31/1764.35	c |  10815980 |     279    21616    96978 |        1   275797     23 |  0.000 % |
1764.31/1764.35	c |  10824858 |     279    21616    96978 |        1   284675     23 |  0.000 % |
1764.31/1764.35	c |  10855115 |     279    21616    96978 |        1   314932     24 |  0.000 % |
1764.31/1764.35	c |  10858997 |     279    21616    96978 |        1   318814     24 |  0.000 % |
1764.31/1764.35	c |  10859099 |     279    21616    96978 |        1   318916     24 |  0.000 % |
1764.31/1764.35	c |  10870230 |     279    21616    96978 |        1   330047     24 |  0.000 % |
1764.31/1764.35	c |  10932818 |     279    21616    96978 |        1   392635     26 |  0.000 % |
1764.31/1764.35	c |  10932927 |     279    21616    96978 |        1   392744     26 |  0.000 % |
1764.31/1764.35	c |  10933706 |     279    21616    96978 |        1   393523     26 |  0.000 % |
1764.31/1764.35	c |  10942836 |     279    21616    96978 |        1   402653     26 |  0.000 % |
1764.31/1764.35	c |  10978279 |     279    21616    96978 |        1   438096     26 |  0.000 % |
1764.31/1764.35	c |  11479550 |     279    21616    96978 |        1   465976     26 |  0.000 % |
1764.31/1764.35	c |  11806109 |     279    21616    96978 |        1   308733     23 |  0.000 % |
1764.31/1764.35	c |  11814493 |     279    21616    96978 |        1   317117     23 |  0.000 % |
1764.31/1764.35	c |  11814593 |     279    21616    96978 |        1   317217     23 |  0.000 % |
1764.31/1764.35	c |  11816378 |     279    21616    96978 |        1   319002     23 |  0.000 % |
1854.62/1854.69	c |  11817135 |     279    21616    96978 |        1   319759     23 |  0.000 % |
1854.62/1854.69	c |  11817235 |     279    21616    96978 |        1   319859     23 |  0.000 % |
1854.62/1854.69	c |  11818031 |     279    21616    96978 |        1   320655     23 |  0.000 % |
1854.62/1854.69	c |  11825089 |     279    21616    96978 |        1   327713     24 |  0.000 % |
1854.62/1854.69	c |  11846783 |     279    21616    96978 |        1   349407     24 |  0.000 % |
1854.62/1854.69	c |  11974284 |     279    21616    96978 |        1   476908     26 |  0.000 % |
1854.62/1854.69	c |  12102198 |     279    21616    96978 |        1   359017     24 |  0.000 % |
1854.62/1854.69	c |  12102301 |     279    21616    96978 |        1   359120     24 |  0.000 % |
1854.62/1854.69	c |  12107099 |     279    21616    96978 |        1   363918     24 |  0.000 % |
1854.62/1854.69	c |  12107200 |     279    21616    96978 |        1   364019     24 |  0.000 % |
1854.62/1854.69	c |  12107301 |     279    21616    96978 |        1   364120     24 |  0.000 % |
1854.62/1854.69	c |  12107401 |     279    21616    96978 |        1   364220     24 |  0.000 % |
1854.62/1854.69	c |  12107537 |     279    21616    96978 |        1   364356     24 |  0.000 % |
1854.62/1854.69	c |  12109967 |     279    21616    96978 |        1   366786     24 |  0.000 % |
1854.62/1854.69	c |  12112681 |     279    21616    96978 |        1   369500     24 |  0.000 % |
1854.62/1854.69	c |  12114234 |     279    21616    96978 |        1   371053     24 |  0.000 % |
1854.62/1854.69	c |  12114334 |     279    21616    96978 |        1   371153     24 |  0.000 % |
1854.62/1854.69	c |  12114434 |     279    21616    96978 |        1   371253     24 |  0.000 % |
1854.62/1854.69	c |  12114640 |     279    21616    96978 |        1   371459     24 |  0.000 % |
1854.62/1854.69	c |  12114795 |     279    21616    96978 |        1   371614     24 |  0.000 % |
1854.62/1854.69	c |  12129373 |     279    21616    96978 |        1   386192     25 |  0.000 % |
1854.62/1854.69	c |  12129475 |     279    21616    96978 |        1   386294     25 |  0.000 % |
1854.62/1854.69	c |  12134841 |     279    21616    96978 |        1   391660     25 |  0.000 % |
1854.62/1854.69	c |  12141025 |     279    21616    96978 |        1   397844     25 |  0.000 % |
1854.62/1854.69	c |  12141177 |     279    21616    96978 |        1   397996     25 |  0.000 % |
1854.62/1854.69	c |  12141277 |     279    21616    96978 |        1   398096     25 |  0.000 % |
1854.62/1854.69	c |  12141379 |     279    21616    96978 |        1   398198     25 |  0.000 % |
1854.62/1854.69	c |  12169055 |     279    21616    96978 |        1   425874     25 |  0.000 % |
1854.62/1854.69	c |  12169224 |     279    21616    96978 |        1   426043     25 |  0.000 % |
1854.62/1854.69	c |  12169324 |     279    21616    96978 |        1   426143     25 |  0.000 % |
1854.62/1854.69	c |  12185186 |     279    21616    96978 |        1   442005     26 |  0.000 % |
1854.62/1854.69	c |  12185286 |     279    21616    96978 |        1   442105     26 |  0.000 % |
1854.62/1854.69	c |  12185387 |     279    21616    96978 |        1   442206     26 |  0.000 % |
1854.62/1854.69	c |  12188632 |     279    21616    96978 |        1   445451     26 |  0.000 % |
1854.62/1854.69	c |  12201161 |     279    21616    96978 |        1   457980     26 |  0.000 % |
1854.62/1854.69	c |  12201261 |     279    21616    96978 |        1   458080     26 |  0.000 % |
1854.62/1854.69	c |  12201361 |     279    21616    96978 |        1   458180     26 |  0.000 % |
1854.62/1854.69	c |  12201461 |     279    21616    96978 |        1   458280     26 |  0.000 % |
1854.62/1854.69	c |  12201657 |     279    21616    96978 |        1   458476     26 |  0.000 % |
1854.62/1854.69	c |  12202119 |     279    21616    96978 |        1   458938     26 |  0.000 % |
1854.62/1854.69	c |  12238701 |     279    21616    96978 |        1   495520     26 |  0.000 % |
1854.62/1854.69	c |  12242231 |     279    21616    96978 |        1   250650     21 |  0.000 % |
1854.62/1854.69	c |  12242679 |     279    21616    96978 |        1   251098     21 |  0.000 % |
1854.62/1854.69	c |  12242781 |     279    21616    96978 |        1   251200     21 |  0.000 % |
1854.62/1854.69	c |  12242883 |     279    21616    96978 |        1   251302     21 |  0.000 % |
1854.62/1854.69	c |  12290143 |     279    21616    96978 |        1   298562     23 |  0.000 % |
1854.62/1854.69	c |  12315832 |     279    21616    96978 |        1   324251     24 |  0.000 % |
1854.62/1854.69	c |  12315932 |     279    21616    96978 |        1   324351     24 |  0.000 % |
1854.62/1854.69	c |  12316128 |     279    21616    96978 |        1   324547     24 |  0.000 % |
1854.62/1854.69	c |  12317348 |     279    21616    96978 |        1   325767     24 |  0.000 % |
2204.91/2204.96	c |  12317457 |     279    21616    96978 |        1   325876     24 |  0.000 % |
2204.91/2204.96	c |  12372268 |     279    21616    96978 |        1   380687     25 |  0.000 % |
2204.91/2204.96	c |  12385549 |     279    21616    96978 |        1   393968     26 |  0.000 % |
2204.91/2204.96	c |  12385649 |     279    21616    96978 |        1   394068     26 |  0.000 % |
2204.91/2204.96	c |  12410629 |     279    21616    96978 |        1   419048     26 |  0.000 % |
2204.91/2204.96	c |  12412793 |     279    21616    96978 |        1   421212     26 |  0.000 % |
2204.91/2204.96	c |  12412895 |     279    21616    96978 |        1   421314     26 |  0.000 % |
2204.91/2204.96	c |  12412996 |     279    21616    96978 |        1   421415     26 |  0.000 % |
2204.91/2204.96	c |  12413121 |     279    21616    96978 |        1   421540     26 |  0.000 % |
2204.91/2204.96	c |  12415432 |     279    21616    96978 |        1   423851     26 |  0.000 % |
2204.91/2204.96	c |  12416376 |     279    21616    96978 |        1   424795     26 |  0.000 % |
2204.91/2204.96	c |  12425506 |     279    21616    96978 |        1   433925     26 |  0.000 % |
2204.91/2204.96	c |  12425659 |     279    21616    96978 |        1   434078     26 |  0.000 % |
2204.91/2204.96	c |  12461241 |     279    21616    96978 |        1   469660     27 |  0.000 % |
2204.91/2204.96	c |  12461729 |     279    21616    96978 |        1   470148     27 |  0.000 % |
2204.91/2204.96	c |  12462051 |     279    21616    96978 |        1   470470     27 |  0.000 % |
2204.91/2204.96	c |  12517074 |     279    21616    96978 |        1   274496     22 |  0.000 % |
2204.91/2204.96	c |  12517174 |     279    21616    96978 |        1   274596     22 |  0.000 % |
2204.91/2204.96	c |  12626653 |     279    21616    96978 |        1   384075     25 |  0.000 % |
2204.91/2204.96	c |  12627304 |     279    21616    96978 |        1   384726     25 |  0.000 % |
2204.91/2204.96	c |  12633936 |     279    21616    96978 |        1   391358     25 |  0.000 % |
2204.91/2204.96	c |  12634036 |     279    21616    96978 |        1   391458     25 |  0.000 % |
2204.91/2204.96	c |  12641978 |     279    21616    96978 |        1   399400     26 |  0.000 % |
2204.91/2204.96	c |  12793558 |     279    21616    96978 |        1   297380     23 |  0.000 % |
2204.91/2204.96	c |  12793658 |     279    21616    96978 |        1   297480     23 |  0.000 % |
2204.91/2204.96	c |  12805071 |     279    21616    96978 |        1   308893     23 |  0.000 % |
2204.91/2204.96	c |  12805601 |     279    21616    96978 |        1   309423     23 |  0.000 % |
2204.91/2204.96	c |  12827684 |     279    21616    96978 |        1   331506     24 |  0.000 % |
2204.91/2204.96	c |  12827785 |     279    21616    96978 |        1   331607     24 |  0.000 % |
2204.91/2204.96	c |  13198423 |     279    21616    96978 |        1   446041     26 |  0.000 % |
2204.91/2204.96	c |  13217876 |     279    21616    96978 |        1   465494     26 |  0.000 % |
2204.91/2204.96	c |  13220321 |     279    21616    96978 |        1   467939     26 |  0.000 % |
2204.91/2204.96	c |  13240452 |     279    21616    96978 |        1   488070     26 |  0.000 % |
2204.91/2204.96	c |  13242363 |     279    21616    96978 |        1   489981     26 |  0.000 % |
2204.91/2204.96	c |  13251597 |     279    21616    96978 |        1   499215     26 |  0.000 % |
2204.91/2204.96	c |  13313183 |     279    21616    96978 |        1   302000     23 |  0.000 % |
2204.91/2204.96	c |  13331544 |     279    21616    96978 |        1   320361     23 |  0.000 % |
2204.91/2204.96	c |  13331688 |     279    21616    96978 |        1   320505     23 |  0.000 % |
2204.91/2204.96	c |  13336819 |     279    21616    96978 |        1   325636     23 |  0.000 % |
2204.91/2204.96	c |  13336919 |     279    21616    96978 |        1   325736     23 |  0.000 % |
2204.91/2204.96	c |  13342224 |     279    21616    96978 |        1   331041     24 |  0.000 % |
2204.91/2204.96	c |  13411771 |     279    21616    96978 |        1   400588     25 |  0.000 % |
2204.91/2204.96	c |  13528746 |     279    21616    96978 |        1   517563     27 |  0.000 % |
2204.91/2204.96	c |  13827763 |     279    21616    96978 |        1   291189     22 |  0.000 % |
2204.91/2204.96	c |  13853154 |     279    21616    96978 |        1   316580     22 |  0.000 % |
2204.91/2204.96	c |  13853817 |     279    21616    96978 |        1   317243     22 |  0.000 % |
2204.91/2204.96	c |  13856272 |     279    21616    96978 |        1   319698     22 |  0.000 % |
2204.91/2204.96	c |  13869353 |     279    21616    96978 |        1   332779     23 |  0.000 % |
2204.91/2204.96	c |  14105742 |     279    21616    96978 |        1   302568     22 |  0.000 % |
2204.91/2204.96	c |  14179804 |     279    21616    96978 |        1   376630     24 |  0.000 % |
2573.41/2573.40	c |  14191102 |     279    21616    96978 |        1   387928     24 |  0.000 % |
2573.41/2573.40	c |  14396073 |     279    21616    96978 |        1   323699     23 |  0.000 % |
2573.41/2573.40	c |  14454291 |     279    21616    96978 |        1   381917     24 |  0.000 % |
2573.41/2573.40	c |  14650364 |     279    21616    96978 |        1   306193     22 |  0.000 % |
2573.41/2573.40	c |  14734095 |     279    21616    96978 |        1   389924     24 |  0.000 % |
2573.41/2573.40	c |  14755878 |     279    21616    96978 |        1   411707     24 |  0.000 % |
2573.41/2573.40	c |  14755992 |     279    21616    96978 |        1   411821     24 |  0.000 % |
2573.41/2573.40	c |  14756093 |     279    21616    96978 |        1   411922     24 |  0.000 % |
2573.41/2573.40	c |  14760874 |     279    21616    96978 |        1   416703     24 |  0.000 % |
2573.41/2573.40	c |  14793282 |     279    21616    96978 |        1   449111     25 |  0.000 % |
2573.41/2573.40	c |  14832033 |     279    21616    96978 |        1   487862     25 |  0.000 % |
2573.41/2573.40	c |  14837525 |     279    21616    96978 |        1   493354     25 |  0.000 % |
2573.41/2573.40	c |  14863695 |     279    21616    96978 |        1   519524     26 |  0.000 % |
2573.41/2573.40	c |  14867735 |     279    21616    96978 |        1   523564     26 |  0.000 % |
2573.41/2573.40	c |  14879294 |     279    21616    96978 |        1   535123     26 |  0.000 % |
2573.41/2573.40	c |  14899599 |     279    21616    96978 |        1   281028     21 |  0.000 % |
2573.41/2573.40	c |  14910348 |     279    21616    96978 |        1   291777     22 |  0.000 % |
2573.41/2573.40	c |  15049609 |     279    21616    96978 |        1   431038     25 |  0.000 % |
2573.41/2573.40	c |  15050046 |     279    21616    96978 |        1   431475     25 |  0.000 % |
2573.41/2573.40	c |  15052355 |     279    21616    96978 |        1   433784     25 |  0.000 % |
2573.41/2573.40	c |  15089292 |     279    21616    96978 |        1   470721     26 |  0.000 % |
2573.41/2573.40	c |  15092210 |     279    21616    96978 |        1   473639     26 |  0.000 % |
2573.41/2573.40	c |  15092310 |     279    21616    96978 |        1   473739     26 |  0.000 % |
2573.41/2573.40	c |  15092412 |     279    21616    96978 |        1   473841     26 |  0.000 % |
2573.41/2573.40	c |  15092743 |     279    21616    96978 |        1   474172     26 |  0.000 % |
2573.41/2573.40	c |  15114597 |     279    21616    96978 |        1   496026     26 |  0.000 % |
2573.41/2573.40	c |  15124640 |     279    21616    96978 |        1   506069     26 |  0.000 % |
2573.41/2573.40	c |  15125949 |     279    21616    96978 |        1   507378     26 |  0.000 % |
2573.41/2573.40	c |  15146714 |     279    21616    96978 |        1   528143     26 |  0.000 % |
2573.41/2573.40	c |  15565313 |     279    21616    96978 |        1   390142     24 |  0.000 % |
2573.41/2573.40	c |  15565413 |     279    21616    96978 |        1   390242     24 |  0.000 % |
2573.41/2573.40	c |  15565517 |     279    21616    96978 |        1   390346     24 |  0.000 % |
2573.41/2573.40	c |  15595578 |     279    21616    96978 |        1   420407     24 |  0.000 % |
2573.41/2573.40	c |  15595790 |     279    21616    96978 |        1   420619     24 |  0.000 % |
2573.41/2573.40	c |  15597309 |     279    21616    96978 |        1   422138     24 |  0.000 % |
2573.41/2573.40	c |  15644674 |     279    21616    96978 |        1   469503     25 |  0.000 % |
2573.41/2573.40	c |  15645067 |     279    21616    96978 |        1   469896     25 |  0.000 % |
2573.41/2573.40	c |  15720782 |     279    21616    96978 |        1   545611     26 |  0.000 % |
2573.41/2573.40	c |  15726513 |     279    21616    96978 |        1   551342     26 |  0.000 % |
2573.41/2573.40	c |  15726613 |     279    21616    96978 |        1   551442     26 |  0.000 % |
2573.41/2573.40	c |  15754043 |     279    21616    96978 |        1   296663     22 |  0.000 % |
2573.41/2573.40	c |  15761740 |     279    21616    96978 |        1   304360     22 |  0.000 % |
2573.41/2573.40	c |  15762399 |     279    21616    96978 |        1   305019     22 |  0.000 % |
2573.41/2573.40	c |  15765950 |     279    21616    96978 |        1   308570     22 |  0.000 % |
2573.41/2573.40	c |  15767133 |     279    21616    96978 |        1   309753     22 |  0.000 % |
2573.41/2573.40	c |  15801947 |     279    21616    96978 |        1   344567     24 |  0.000 % |
2573.41/2573.40	c |  15965747 |     279    21616    96978 |        1   508367     26 |  0.000 % |
2573.41/2573.40	c |  15969726 |     279    21616    96978 |        1   512346     26 |  0.000 % |
2573.41/2573.40	c |  16020797 |     279    21616    96978 |        1   563417     26 |  0.000 %

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.05 2.01 2/518 24058
/proc/meminfo: memFree=21866684/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 805060538 8912896 253 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24058/statm: 2176 253 211 178 0 69 0

[startup+0.0670699 s]
/proc/loadavg: 2.03 2.05 2.01 2/518 24058
/proc/meminfo: memFree=21866684/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.101074 s]
/proc/loadavg: 2.03 2.05 2.01 2/518 24058
/proc/meminfo: memFree=21866684/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.301026 s]
/proc/loadavg: 2.03 2.05 2.01 2/518 24058
/proc/meminfo: memFree=21866684/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.700953 s]
/proc/loadavg: 2.03 2.05 2.01 2/518 24058
/proc/meminfo: memFree=21866684/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50079 s]
/proc/loadavg: 2.03 2.05 2.01 3/520 24061
/proc/meminfo: memFree=21857244/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=22196 CPUtime=1.47 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 3175 0 0 0 147 0 0 0 25 0 1 0 805060540 22728704 2250 33554432000 4194304 4260849 140734754644016 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 5549 2250 241 17 0 2190 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30900

[startup+3.10047 s]
/proc/loadavg: 2.03 2.04 2.00 3/520 24061
/proc/meminfo: memFree=21853276/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=24900 CPUtime=3.06 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 3888 0 0 0 306 0 0 0 25 0 1 0 805060540 25497600 2928 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224944 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 6225 2928 249 17 0 2866 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33604

[startup+6.30083 s]
/proc/loadavg: 2.03 2.04 2.00 3/520 24061
/proc/meminfo: memFree=21849836/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=33776 CPUtime=6.26 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 7107 0 0 0 626 0 0 0 25 0 1 0 805060540 34586624 4786 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 8444 4786 249 17 0 5085 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 42480

[startup+12.7006 s]
/proc/loadavg: 2.19 2.08 2.02 3/520 24061
/proc/meminfo: memFree=21840012/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=38196 CPUtime=12.67 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 8628 0 0 0 1266 1 0 0 25 0 1 0 805060540 39112704 6241 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 9549 6241 249 17 0 6190 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46900

[startup+25.501 s]
/proc/loadavg: 2.14 2.07 2.01 3/520 24062
/proc/meminfo: memFree=21836672/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=45460 CPUtime=25.47 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 11969 0 0 0 2546 1 0 0 25 0 1 0 805060540 46551040 7074 33554432000 4194304 4260849 140734754644016 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 11365 7074 250 17 0 8006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54164

[startup+51.1009 s]
/proc/loadavg: 2.09 2.06 2.01 3/520 24062
/proc/meminfo: memFree=21807492/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=64136 CPUtime=51.06 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 19632 0 0 0 5104 2 0 0 25 0 1 0 805060540 65675264 11450 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 16034 11450 250 17 0 12675 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72840

[startup+102.32 s]
/proc/loadavg: 2.24 2.12 2.03 3/520 24064
/proc/meminfo: memFree=21789372/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=64136 CPUtime=102.28 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 20798 0 0 0 10226 2 0 0 25 0 1 0 805060540 65675264 12585 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 16034 12585 250 17 0 12675 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 72840

[startup+162.301 s]
/proc/loadavg: 2.14 2.11 2.03 3/520 24065
/proc/meminfo: memFree=21776564/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=102048 CPUtime=162.27 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 28044 0 0 0 16223 4 0 0 25 0 1 0 805060540 104497152 15096 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 25512 15096 250 17 0 22153 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 110752

[startup+222.301 s]
/proc/loadavg: 2.05 2.09 2.03 3/520 24067
/proc/meminfo: memFree=21754584/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=102048 CPUtime=222.27 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 33585 0 0 0 22222 5 0 0 25 0 1 0 805060540 104497152 20429 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 25512 20429 250 17 0 22153 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 110752

[startup+282.301 s]
/proc/loadavg: 2.02 2.07 2.02 3/520 24068
/proc/meminfo: memFree=21729752/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=102048 CPUtime=282.27 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 34716 0 0 0 28222 5 0 0 25 0 1 0 805060540 104497152 21527 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 25512 21527 250 17 0 22153 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 110752

[startup+342.301 s]
/proc/loadavg: 2.00 2.06 2.01 3/520 24070
/proc/meminfo: memFree=21727248/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=102048 CPUtime=342.27 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 35122 0 0 0 34222 5 0 0 25 0 1 0 805060540 104497152 21922 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 25512 21922 250 17 0 22153 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 110752

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/520 24072
/proc/meminfo: memFree=21713348/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7

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

/proc/24061/statm: 54843 49765 250 17 0 51484 0
Current children cumulated CPU time (s) 4302.34
Current children cumulated vsize (KiB) 228076

[startup+4362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/520 24250
/proc/meminfo: memFree=21517716/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4362.32 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1209944 0 0 0 435978 254 0 0 25 0 1 0 805060540 256196608 57052 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24061/statm: 62548 57052 250 17 0 59189 0
Current children cumulated CPU time (s) 4362.33
Current children cumulated vsize (KiB) 258896

[startup+4422.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/520 24252
/proc/meminfo: memFree=21558964/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4422.33 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1226401 0 0 0 441974 259 0 0 25 0 1 0 805060540 256196608 54225 33554432000 4194304 4260849 140734754644016 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 54225 250 17 0 59189 0
Current children cumulated CPU time (s) 4422.34
Current children cumulated vsize (KiB) 258896

[startup+4482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/520 24253
/proc/meminfo: memFree=21515396/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=219372 CPUtime=4482.33 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1241548 0 0 0 447970 263 0 0 25 0 1 0 805060540 224636928 49501 33554432000 4194304 4260849 140734754644016 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 54843 49501 250 17 0 51484 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 228076

[startup+4542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/520 24255
/proc/meminfo: memFree=21485832/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4542.33 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1249078 0 0 0 453968 265 0 0 25 0 1 0 805060540 256196608 56796 33554432000 4194304 4260849 140734754644016 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 56796 250 17 0 59189 0
Current children cumulated CPU time (s) 4542.34
Current children cumulated vsize (KiB) 258896

[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 24257
/proc/meminfo: memFree=21499172/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4602.36 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1265170 0 0 0 459966 270 0 0 25 0 1 0 805060540 256196608 53481 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 53481 250 17 0 59189 0
Current children cumulated CPU time (s) 4602.37
Current children cumulated vsize (KiB) 258896

[startup+4662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/520 24258
/proc/meminfo: memFree=21514888/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=219372 CPUtime=4662.34 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1280464 0 0 0 465960 274 0 0 25 0 1 0 805060540 224636928 49407 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 54843 49407 250 17 0 51484 0
Current children cumulated CPU time (s) 4662.35
Current children cumulated vsize (KiB) 228076

[startup+4722.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/520 24260
/proc/meminfo: memFree=21494884/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4722.36 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1287057 0 0 0 471960 276 0 0 25 0 1 0 805060540 256196608 55766 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 55766 250 17 0 59189 0
Current children cumulated CPU time (s) 4722.37
Current children cumulated vsize (KiB) 258896

[startup+4782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/520 24261
/proc/meminfo: memFree=21516408/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4782.34 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1303075 0 0 0 477955 279 0 0 25 0 1 0 805060540 256196608 52055 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 52055 250 17 0 59189 0
Current children cumulated CPU time (s) 4782.35
Current children cumulated vsize (KiB) 258896

[startup+4842.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/520 24263
/proc/meminfo: memFree=21538080/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=219372 CPUtime=4842.34 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1319470 0 0 0 483950 284 0 0 25 0 1 0 805060540 224636928 48303 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 54843 48303 250 17 0 51484 0
Current children cumulated CPU time (s) 4842.35
Current children cumulated vsize (KiB) 228076

[startup+4902.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/520 24265
/proc/meminfo: memFree=21469328/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=4902.34 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1327406 0 0 0 489948 286 0 0 25 0 1 0 805060540 256196608 55998 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 55998 250 17 0 59189 0
Current children cumulated CPU time (s) 4902.35
Current children cumulated vsize (KiB) 258896

[startup+4962.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/520 24266
/proc/meminfo: memFree=21491116/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=219372 CPUtime=4962.35 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1343348 0 0 0 495945 290 0 0 25 0 1 0 805060540 224636928 51327 33554432000 4194304 4260849 140734754644016 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 54843 51327 250 17 0 51484 0
Current children cumulated CPU time (s) 4962.36
Current children cumulated vsize (KiB) 228076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 24267
/proc/meminfo: memFree=21494440/32950928 swapFree=34979748/67111528
[pid=24058] ppid=24056 vsize=8704 CPUtime=0.01 cores=1,3,5,7
/proc/24058/stat : 24058 (glucose.sh) S 24056 24058 22442 0 -1 4202496 361 511 0 0 0 0 1 0 25 0 1 0 805060538 8912896 255 33554432000 4194304 4922060 140734080708240 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24058/statm: 2176 255 211 178 0 69 0
[pid=24061] ppid=24058 vsize=250192 CPUtime=5000.07 cores=1,3,5,7
/proc/24061/stat : 24061 (glucose_static) R 24058 24058 22442 0 -1 4202496 1347177 0 0 0 499716 291 0 0 25 0 1 0 805060540 256196608 55035 33554432000 4194304 4260849 140734754644016 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24061/statm: 62548 55035 250 17 0 59189 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 258896

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 5000.03
CPU time (s): 5000.08
CPU user time (s): 4997.17
CPU system time (s): 2.91
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 358304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.020996
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 5

runsolver used 24.5913 second user time and 61.8156 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-01 15:23:59
IDJOB=3303496
IDBENCH=83320
IDSOLVER=1687
FILE ID=node149/3303496-1306934638
RUNJOBID= node149-1306927227-23496
PBS_JOBID= 13488481
Free space on /tmp= 73616 MiB

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

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

MD5SUM BENCH= d2562f4e152a54a992ab300a2bacfba9
RANDOM SEED=1304521160

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21866832 kB
Buffers:        295496 kB
Cached:        2246728 kB
SwapCached:      84504 kB
Active:        2006944 kB
Inactive:      8748192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21866832 kB
SwapTotal:    67111528 kB
SwapFree:     34979748 kB
Dirty:            1556 kB
Writeback:          16 kB
AnonPages:     8152640 kB
Mapped:          18104 kB
Slab:           139832 kB
PageTables:     117788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173161728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73612 MiB
End job on node149 at 2011-06-01 16:47:21