Trace number 3303521

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

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
MD5SUMf1f35d90237c4ca07d41a6a9b08e6279
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2451.79
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses58376
Sum of the clauses size583480
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 556
Number of clauses of size over 558320

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.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |   58376   583480 |   17512       0        0     nan |  0.000 % |
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 140   #clauses: 58376   #literals: 583480
0.00/0.06	c CPU time:   0.053991 s
0.00/0.06	c ==============================================================================
0.00/0.14	c
0.00/0.14	c Starting glucose
0.00/0.14	c
4259.67/4259.60	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
4259.67/4259.60	c WARNING: for repeatability, setting FPU to use double precision
4259.67/4259.60	c ============================[ Problem Statistics ]=============================
4259.67/4259.60	c |                                                                             |
4259.67/4259.60	c |  Number of variables:           140                                         |
4259.67/4259.60	c |  Number of clauses:           58376                                         |
4259.67/4259.60	c |  Parse time:                   0.03 s                                       |
4259.67/4259.60	c |                                                                             |
4259.67/4259.60	c ============================[ Search Statistics ]==============================
4259.67/4259.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4259.67/4259.60	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4259.67/4259.60	c ===============================================================================
4259.67/4259.60	c |      3170 |     140    58376   583480 |        1     3170     19 |  0.000 % |
4259.67/4259.60	c |  20761159 |     140    58376   583480 |        1   434982     15 |  0.000 % |
4259.67/4259.60	c |  21600697 |     140    58376   583480 |        1   619122     16 |  0.000 % |
4259.67/4259.60	c |  21602441 |     140    58376   583480 |        1   620866     16 |  0.000 % |
4259.67/4259.60	c |  21674745 |     140    58376   583480 |        1   361569     15 |  0.000 % |
4259.67/4259.60	c |  21674845 |     140    58376   583480 |        1   361669     15 |  0.000 % |
4259.67/4259.60	c |  21690395 |     140    58376   583480 |        1   377219     15 |  0.000 % |
4259.67/4259.60	c |  21693445 |     140    58376   583480 |        1   380269     15 |  0.000 % |
4259.67/4259.60	c |  22149489 |     140    58376   583480 |        1   502106     16 |  0.000 % |
4259.67/4259.60	c |  22149589 |     140    58376   583480 |        1   502206     16 |  0.000 % |
4259.67/4259.60	c |  22149691 |     140    58376   583480 |        1   502308     16 |  0.000 % |
4259.67/4259.60	c |  22162929 |     140    58376   583480 |        1   515546     16 |  0.000 % |
4259.67/4259.60	c |  22165067 |     140    58376   583480 |        1   517684     16 |  0.000 % |
4259.67/4259.60	c |  22166792 |     140    58376   583480 |        1   519409     16 |  0.000 % |
4259.67/4259.60	c |  22166937 |     140    58376   583480 |        1   519554     16 |  0.000 % |
4259.67/4259.60	c |  22167038 |     140    58376   583480 |        1   519655     16 |  0.000 % |
4259.67/4259.60	c |  22583650 |     140    58376   583480 |        1   599465     16 |  0.000 % |
4259.67/4259.60	c |  22583752 |     140    58376   583480 |        1   599567     16 |  0.000 % |
4259.67/4259.60	c |  22591504 |     140    58376   583480 |        1   607319     16 |  0.000 % |
4259.67/4259.60	c |  22591745 |     140    58376   583480 |        1   607560     16 |  0.000 % |
4259.67/4259.60	c |  22592353 |     140    58376   583480 |        1   608168     16 |  0.000 % |
4259.67/4259.60	c |  22592720 |     140    58376   583480 |        1   608535     16 |  0.000 % |
4259.67/4259.60	c |  22619853 |     140    58376   583480 |        1   635668     17 |  0.000 % |
4259.67/4259.60	c |  22619953 |     140    58376   583480 |        1   635768     17 |  0.000 % |
4259.67/4259.60	c |  22620262 |     140    58376   583480 |        1   636077     17 |  0.000 % |
4259.67/4259.60	c |  22696063 |     140    58376   583480 |        1   372478     15 |  0.000 % |
4259.67/4259.60	c |  22696446 |     140    58376   583480 |        1   372861     15 |  0.000 % |
4259.67/4259.60	c |  22712797 |     140    58376   583480 |        1   389212     15 |  0.000 % |
4259.67/4259.60	c |  22833439 |     140    58376   583480 |        1   509854     16 |  0.000 % |
4259.67/4259.60	c |  22833539 |     140    58376   583480 |        1   509954     16 |  0.000 % |
4259.67/4259.60	c |  22840289 |     140    58376   583480 |        1   516704     16 |  0.000 % |
4259.67/4259.60	c |  22845063 |     140    58376   583480 |        1   521478     16 |  0.000 % |
4259.67/4259.60	c |  22972530 |     140    58376   583480 |        1   648945     17 |  0.000 % |
4259.67/4259.60	c |  23048223 |     140    58376   583480 |        1   382648     15 |  0.000 % |
4259.67/4259.60	c |  23090916 |     140    58376   583480 |        1   425341     15 |  0.000 % |
4259.67/4259.60	c |  23098553 |     140    58376   583480 |        1   432978     15 |  0.000 % |
4259.67/4259.60	c |  23098755 |     140    58376   583480 |        1   433180     15 |  0.000 % |
4259.67/4259.60	c |  23099343 |     140    58376   583480 |        1   433768     15 |  0.000 % |
4259.67/4259.60	c |  23100083 |     140    58376   583480 |        1   434508     15 |  0.000 % |
4594.98/4594.97	c |  23104544 |     140    58376   583480 |        1   438969     16 |  0.000 % |
4594.98/4594.97	c |  23108751 |     140    58376   583480 |        1   443176     16 |  0.000 % |
4594.98/4594.97	c |  23109021 |     140    58376   583480 |        1   443446     16 |  0.000 % |
4594.98/4594.97	c |  23127880 |     140    58376   583480 |        1   462305     16 |  0.000 % |
4594.98/4594.97	c |  23127983 |     140    58376   583480 |        1   462408     16 |  0.000 % |
4594.98/4594.97	c |  23172285 |     140    58376   583480 |        1   506710     16 |  0.000 % |
4594.98/4594.97	c |  23172388 |     140    58376   583480 |        1   506813     16 |  0.000 % |
4594.98/4594.97	c |  23181786 |     140    58376   583480 |        1   516211     16 |  0.000 % |
4594.98/4594.97	c |  23181887 |     140    58376   583480 |        1   516312     16 |  0.000 % |
4594.98/4594.97	c |  23227861 |     140    58376   583480 |        1   562286     16 |  0.000 % |
4594.98/4594.97	c |  23235305 |     140    58376   583480 |        1   569730     16 |  0.000 % |
4594.98/4594.97	c |  23235543 |     140    58376   583480 |        1   569968     16 |  0.000 % |
4594.98/4594.97	c |  23235733 |     140    58376   583480 |        1   570158     16 |  0.000 % |
4594.98/4594.97	c |  23244728 |     140    58376   583480 |        1   579153     16 |  0.000 % |
4594.98/4594.97	c |  23244829 |     140    58376   583480 |        1   579254     16 |  0.000 % |
4594.98/4594.97	c |  23726500 |     140    58376   583480 |        1   369124     14 |  0.000 % |
4594.98/4594.97	c |  23726683 |     140    58376   583480 |        1   369307     14 |  0.000 % |
4594.98/4594.97	c |  23726854 |     140    58376   583480 |        1   369478     14 |  0.000 % |
4594.98/4594.97	c |  23726954 |     140    58376   583480 |        1   369578     14 |  0.000 % |
4594.98/4594.97	c |  23727055 |     140    58376   583480 |        1   369679     14 |  0.000 % |
4594.98/4594.97	c |  23727159 |     140    58376   583480 |        1   369783     14 |  0.000 % |
4594.98/4594.97	c |  23728245 |     140    58376   583480 |        1   370869     14 |  0.000 % |
4594.98/4594.97	c |  23728362 |     140    58376   583480 |        1   370986     14 |  0.000 % |
4594.98/4594.97	c |  23728463 |     140    58376   583480 |        1   371087     14 |  0.000 % |
4594.98/4594.97	c |  23728564 |     140    58376   583480 |        1   371188     14 |  0.000 % |
4594.98/4594.97	c |  23755697 |     140    58376   583480 |        1   398321     15 |  0.000 % |
4594.98/4594.97	c |  23763158 |     140    58376   583480 |        1   405782     15 |  0.000 % |
4594.98/4594.97	c |  23763565 |     140    58376   583480 |        1   406189     15 |  0.000 % |
4594.98/4594.97	c |  23763665 |     140    58376   583480 |        1   406289     15 |  0.000 % |
4594.98/4594.97	c |  23764194 |     140    58376   583480 |        1   406818     15 |  0.000 % |
4594.98/4594.97	c |  23764294 |     140    58376   583480 |        1   406918     15 |  0.000 % |
4594.98/4594.97	c |  24110036 |     140    58376   583480 |        1   402859     14 |  0.000 % |
4594.98/4594.97	c |  24159432 |     140    58376   583480 |        1   452255     15 |  0.000 % |
4594.98/4594.97	c |  24230396 |     140    58376   583480 |        1   523219     15 |  0.000 % |
4594.98/4594.97	c |  24235951 |     140    58376   583480 |        1   528774     16 |  0.000 % |
4594.98/4594.97	c |  24236051 |     140    58376   583480 |        1   528874     16 |  0.000 % |
4594.98/4594.97	c |  24236151 |     140    58376   583480 |        1   528974     16 |  0.000 % |
4594.98/4594.97	c |  24281678 |     140    58376   583480 |        1   574501     16 |  0.000 % |
4594.98/4594.97	c |  24292585 |     140    58376   583480 |        1   585408     16 |  0.000 % |
4594.98/4594.97	c |  24292686 |     140    58376   583480 |        1   585509     16 |  0.000 % |
4594.98/4594.97	c |  24292790 |     140    58376   583480 |        1   585613     16 |  0.000 % |
4594.98/4594.97	c |  24293081 |     140    58376   583480 |        1   585904     16 |  0.000 % |
4594.98/4594.97	c |  24299115 |     140    58376   583480 |        1   591938     16 |  0.000 % |
4594.98/4594.97	c |  24299215 |     140    58376   583480 |        1   592038     16 |  0.000 % |
4594.98/4594.97	c |  24300021 |     140    58376   583480 |        1   592844     16 |  0.000 % |
4594.98/4594.97	c |  24300447 |     140    58376   583480 |        1   593270     16 |  0.000 % |
4594.98/4594.97	c |  24300547 |     140    58376   583480 |        1   593370     16 |  0.000 % |
4594.98/4594.97	c |  24300749 |     140    58376   583480 |        1   593572     16 |  0.000 % |
4594.98/4594.97	c |  24301118 |     140    58376   583480 |        1   593941     16 |  0.000 % |
4594.98/4594.97	c |  24301392 |     140    58376   583480 |        1   594215     16 |  0.000 % |
4697.88/4697.87	c |  24301493 |     140    58376   583480 |        1   594316     16 |  0.000 % |
4697.88/4697.87	c |  24306604 |     140    58376   583480 |        1   599427     16 |  0.000 % |
4697.88/4697.87	c |  24321197 |     140    58376   583480 |        1   614020     16 |  0.000 % |
4697.88/4697.87	c |  24321298 |     140    58376   583480 |        1   614121     16 |  0.000 % |
4697.88/4697.87	c |  24321398 |     140    58376   583480 |        1   614221     16 |  0.000 % |
4697.88/4697.87	c |  24350934 |     140    58376   583480 |        1   643757     16 |  0.000 % |
4697.88/4697.87	c |  24351498 |     140    58376   583480 |        1   644321     16 |  0.000 % |
4697.88/4697.87	c |  24374515 |     140    58376   583480 |        1   667338     17 |  0.000 % |
4697.88/4697.87	c |  24374818 |     140    58376   583480 |        1   667641     17 |  0.000 % |
4697.88/4697.87	c |  24375653 |     140    58376   583480 |        1   668476     17 |  0.000 % |
4697.88/4697.87	c |  24375754 |     140    58376   583480 |        1   668577     17 |  0.000 % |
4697.88/4697.87	c |  24375855 |     140    58376   583480 |        1   668678     17 |  0.000 % |
4697.88/4697.87	c |  24375957 |     140    58376   583480 |        1   668780     17 |  0.000 % |
4697.88/4697.87	c |  24376393 |     140    58376   583480 |        1   669216     17 |  0.000 % |
4697.88/4697.87	c |  24376649 |     140    58376   583480 |        1   669472     17 |  0.000 % |
4697.88/4697.87	c |  24376836 |     140    58376   583480 |        1   669659     17 |  0.000 % |
4697.88/4697.87	c |  24377042 |     140    58376   583480 |        1   669865     17 |  0.000 % |
4697.88/4697.87	c |  24388650 |     140    58376   583480 |        1   681473     17 |  0.000 % |
4697.88/4697.87	c |  24388751 |     140    58376   583480 |        1   681574     17 |  0.000 % |
4697.88/4697.87	c |  24388851 |     140    58376   583480 |        1   681674     17 |  0.000 % |
4697.88/4697.87	c |  24389902 |     140    58376   583480 |        1   682725     17 |  0.000 % |
4697.88/4697.87	c |  24428658 |     140    58376   583480 |        1   369084     14 |  0.000 % |
4697.88/4697.87	c |  24433919 |     140    58376   583480 |        1   374345     14 |  0.000 % |
4697.88/4697.87	c |  24434044 |     140    58376   583480 |        1   374470     14 |  0.000 % |
4697.88/4697.87	c |  24434144 |     140    58376   583480 |        1   374570     14 |  0.000 % |
4697.88/4697.87	c |  24434486 |     140    58376   583480 |        1   374912     14 |  0.000 % |
4697.88/4697.87	c |  24434883 |     140    58376   583480 |        1   375309     14 |  0.000 % |
4697.88/4697.87	c |  24438441 |     140    58376   583480 |        1   378867     14 |  0.000 % |
4697.88/4697.87	c |  24441883 |     140    58376   583480 |        1   382309     15 |  0.000 % |
4697.88/4697.87	c |  24458958 |     140    58376   583480 |        1   399384     15 |  0.000 % |
4697.88/4697.87	c |  24459194 |     140    58376   583480 |        1   399620     15 |  0.000 % |
4697.88/4697.87	c |  24494983 |     140    58376   583480 |        1   435409     15 |  0.000 % |
4697.88/4697.87	c |  24495129 |     140    58376   583480 |        1   435555     15 |  0.000 % |
4697.88/4697.87	c |  24495399 |     140    58376   583480 |        1   435825     15 |  0.000 % |
4697.88/4697.87	c |  24495504 |     140    58376   583480 |        1   435930     15 |  0.000 % |
4697.88/4697.87	c |  24496742 |     140    58376   583480 |        1   437168     15 |  0.000 % |
4697.88/4697.87	c |  24496842 |     140    58376   583480 |        1   437268     15 |  0.000 % |
4697.88/4697.87	c |  24498011 |     140    58376   583480 |        1   438437     15 |  0.000 % |
4697.88/4697.87	c |  24498113 |     140    58376   583480 |        1   438539     15 |  0.000 % |
4697.88/4697.87	c |  24498213 |     140    58376   583480 |        1   438639     15 |  0.000 % |
4697.88/4697.87	c |  24510779 |     140    58376   583480 |        1   451205     15 |  0.000 % |
4697.88/4697.87	c |  24510880 |     140    58376   583480 |        1   451306     15 |  0.000 % |
4697.88/4697.87	c |  24516229 |     140    58376   583480 |        1   456655     15 |  0.000 % |
4697.88/4697.87	c |  24528918 |     140    58376   583480 |        1   469344     16 |  0.000 % |
4697.88/4697.87	c |  24616390 |     140    58376   583480 |        1   556816     16 |  0.000 % |
4697.88/4697.87	c |  24616491 |     140    58376   583480 |        1   556917     16 |  0.000 % |
4697.88/4697.87	c |  24618954 |     140    58376   583480 |        1   559380     16 |  0.000 % |
4697.88/4697.87	c |  24652010 |     140    58376   583480 |        1   592436     16 |  0.000 % |
4697.88/4697.87	c |  24652468 |     140    58376   583480 |        1   592894     16 |  0.000 % |
4697.88/4697.87	c |  24675134

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-3303521-1306947629/watcher-3303521-1306947629 -o /tmp/evaluation-result-3303521-1306947629/solver-3303521-1306947629 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303521-1306947629.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.06 2.05 2.01 2/551 9391
/proc/meminfo: memFree=21421708/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 806363300 8912896 253 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9391/statm: 2176 253 211 178 0 69 0

[startup+0.112831 s]
/proc/loadavg: 2.06 2.05 2.01 2/551 9391
/proc/meminfo: memFree=21421708/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 806363300 8912896 253 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9391/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.200797 s]
/proc/loadavg: 2.06 2.05 2.01 2/551 9391
/proc/meminfo: memFree=21421708/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.300788 s]
/proc/loadavg: 2.06 2.05 2.01 2/551 9391
/proc/meminfo: memFree=21421708/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.700716 s]
/proc/loadavg: 2.06 2.05 2.01 2/551 9391
/proc/meminfo: memFree=21421708/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+1.50056 s]
/proc/loadavg: 2.06 2.05 2.01 3/553 9395
/proc/meminfo: memFree=21395156/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=34264 CPUtime=1.34 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 7538 0 0 0 133 1 0 0 25 0 1 0 806363315 35086336 4865 33554432000 4194304 4260849 140733743160256 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 8566 4865 249 17 0 5207 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42968

[startup+3.10028 s]
/proc/loadavg: 2.06 2.05 2.01 3/553 9395
/proc/meminfo: memFree=21382384/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=34264 CPUtime=2.94 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 7850 0 0 0 293 1 0 0 25 0 1 0 806363315 35086336 5165 33554432000 4194304 4260849 140733743160256 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 8566 5165 249 17 0 5207 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42968

[startup+6.30069 s]
/proc/loadavg: 2.06 2.05 2.01 3/553 9395
/proc/meminfo: memFree=21377532/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=41388 CPUtime=6.14 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 13923 0 0 0 612 2 0 0 25 0 1 0 806363315 42381312 5817 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 10347 5817 249 17 0 6988 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50092

[startup+12.7005 s]
/proc/loadavg: 2.05 2.05 2.01 3/553 9395
/proc/meminfo: memFree=21357036/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=53072 CPUtime=12.54 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 15182 0 0 0 1252 2 0 0 25 0 1 0 806363315 54345728 7013 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 13268 7013 249 17 0 9909 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61776

[startup+25.5012 s]
/proc/loadavg: 2.04 2.05 2.01 3/553 9395
/proc/meminfo: memFree=21340672/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=53072 CPUtime=25.34 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 16014 0 0 0 2532 2 0 0 25 0 1 0 806363315 54345728 7810 33554432000 4194304 4260849 140733743160256 18446744073709551615 4225114 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 13268 7810 249 17 0 9909 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61776

[startup+51.1006 s]
/proc/loadavg: 2.02 2.04 2.01 3/553 9405
/proc/meminfo: memFree=21310796/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=64676 CPUtime=50.94 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 20165 0 0 0 5091 3 0 0 25 0 1 0 806363315 66228224 11747 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224748 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 16169 11747 249 17 0 12810 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73380

[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/553 9406
/proc/meminfo: memFree=21281376/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=64676 CPUtime=102.16 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 20988 0 0 0 10212 4 0 0 25 0 1 0 806363315 66228224 12544 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 16169 12544 249 17 0 12810 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 73380

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/553 9408
/proc/meminfo: memFree=21229772/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=86316 CPUtime=162.15 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 29084 0 0 0 16210 5 0 0 25 0 1 0 806363315 88387584 15771 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 21579 15771 249 17 0 18220 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 95020

[startup+222.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/553 9412
/proc/meminfo: memFree=21221912/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=86316 CPUtime=222.17 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 29658 0 0 0 22212 5 0 0 25 0 1 0 806363315 88387584 16326 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 21579 16326 249 17 0 18220 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 95020

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/553 9414
/proc/meminfo: memFree=21200528/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=104992 CPUtime=282.16 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 34921 0 0 0 28210 6 0 0 25 0 1 0 806363315 107511808 21312 33554432000 4194304 4260849 140733743160256 18446744073709551615 4226270 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 26248 21312 249 17 0 22889 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 113696

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/553 9416
/proc/meminfo: memFree=21199000/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=104992 CPUtime=342.16 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 35569 0 0 0 34210 6 0 0 25 0 1 0 806363315 107511808 21935 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9395/statm: 26248 21935 249 17 0 22889 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 113696

[startup+402.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/553 9417
/proc/meminfo: memFree=21189816/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7

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

/proc/9395/statm: 50847 44449 250 17 0 47488 0
Current children cumulated CPU time (s) 4362.37
Current children cumulated vsize (KiB) 212092

[startup+4422.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/553 9536
/proc/meminfo: memFree=21015380/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=234208 CPUtime=4422.24 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 796809 0 0 0 442023 201 0 0 25 0 1 0 806363315 239828992 48950 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224836 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 58552 48950 250 17 0 55193 0
Current children cumulated CPU time (s) 4422.38
Current children cumulated vsize (KiB) 242912

[startup+4482.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/553 9538
/proc/meminfo: memFree=20974560/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=204828 CPUtime=4482.24 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 809194 0 0 0 448019 205 0 0 25 0 1 0 806363315 209743872 47157 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 51207 47157 250 17 0 47848 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 213532

[startup+4542.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/553 9540
/proc/meminfo: memFree=21034808/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=206268 CPUtime=4542.24 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 820035 0 0 0 454016 208 0 0 25 0 1 0 806363315 211218432 43910 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 51567 43910 250 17 0 48208 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 214972

[startup+4602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/553 9541
/proc/meminfo: memFree=20976376/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=206268 CPUtime=4602.23 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 824705 0 0 0 460013 210 0 0 25 0 1 0 806363315 211218432 48387 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 51567 48387 250 17 0 48208 0
Current children cumulated CPU time (s) 4602.37
Current children cumulated vsize (KiB) 214972

[startup+4662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/553 9543
/proc/meminfo: memFree=21037624/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=206268 CPUtime=4662.24 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 836533 0 0 0 466010 214 0 0 25 0 1 0 806363315 211218432 45716 33554432000 4194304 4260849 140733743160256 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 51567 45716 250 17 0 48208 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 214972

[startup+4722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/553 9544
/proc/meminfo: memFree=20974584/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=237088 CPUtime=4722.25 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 840723 0 0 0 472008 217 0 0 25 0 1 0 806363315 242778112 49720 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 59272 49720 250 17 0 55913 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 245792

[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/553 9546
/proc/meminfo: memFree=21034320/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=207228 CPUtime=4782.25 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 852327 0 0 0 478004 221 0 0 25 0 1 0 806363315 212201472 46643 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 51807 46643 250 17 0 48448 0
Current children cumulated CPU time (s) 4782.39
Current children cumulated vsize (KiB) 215932

[startup+4842.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/553 9548
/proc/meminfo: memFree=20966952/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=238048 CPUtime=4842.26 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 856084 0 0 0 484003 223 0 0 25 0 1 0 806363315 243761152 50238 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 59512 50238 250 17 0 56153 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 246752

[startup+4902.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/553 9549
/proc/meminfo: memFree=21041956/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=207228 CPUtime=4902.25 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 867611 0 0 0 489998 227 0 0 25 0 1 0 806363315 212201472 47198 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 51807 47198 250 17 0 48448 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 215932

[startup+4962.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/553 9551
/proc/meminfo: memFree=21033376/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=160308 CPUtime=4962.25 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 871363 0 0 0 495995 230 0 0 25 0 1 0 806363315 164155392 36393 33554432000 4194304 4260849 140733743160256 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 40077 36393 250 17 0 36718 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 169012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.11 2.07 2.01 2/551 9553
/proc/meminfo: memFree=21222724/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=209628 CPUtime=4999.96 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 882863 0 0 0 499763 233 0 0 25 0 1 0 806363315 214659072 47721 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 52407 47721 250 17 0 49048 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 218332

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

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

[startup+5000 s]
/proc/loadavg: 2.11 2.07 2.01 2/551 9553
/proc/meminfo: memFree=21222724/32951124 swapFree=53733252/67111528
[pid=9391] ppid=9389 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9391/stat : 9391 (glucose.sh) S 9389 9391 8478 0 -1 4202496 360 1837 0 0 0 0 13 1 22 0 1 0 806363300 8912896 255 33554432000 4194304 4922060 140735230454112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/9391/statm: 2176 255 211 178 0 69 0
[pid=9395] ppid=9391 vsize=209628 CPUtime=4999.96 cores=1,3,5,7
/proc/9395/stat : 9395 (glucose_static) R 9391 9391 8478 0 -1 4202496 882863 0 0 0 499763 233 0 0 25 0 1 0 806363315 214659072 47721 33554432000 4194304 4260849 140733743160256 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9395/statm: 52407 47721 250 17 0 49048 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 218332

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9391 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=130980
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.144977
# while last known CPU time is 5000.1
#
# 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.1
CPU user time (s): 4997.76
CPU system time (s): 2.34
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 249152

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

runsolver used 26.064 second user time and 65.449 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-01 19:00:29
IDJOB=3303521
IDBENCH=83965
IDSOLVER=1687
FILE ID=node106/3303521-1306947629
RUNJOBID= node106-1306947629-9371
PBS_JOBID= 13488586
Free space on /tmp= 73708 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303521-1306947629/watcher-3303521-1306947629 -o /tmp/evaluation-result-3303521-1306947629/solver-3303521-1306947629 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303521-1306947629.cnf 

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

MD5SUM BENCH= f1f35d90237c4ca07d41a6a9b08e6279
RANDOM SEED=613364541

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21421740 kB
Buffers:        365156 kB
Cached:        5770912 kB
SwapCached:      22744 kB
Active:        5684596 kB
Inactive:      5515064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21421740 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            5060 kB
Writeback:           0 kB
AnonPages:     5060128 kB
Mapped:          26612 kB
Slab:           181220 kB
PageTables:      78160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167543408 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= 73700 MiB
End job on node106 at 2011-06-01 20:23:51