Trace number 3303597

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

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
MD5SUM472b10ce0a2683d9355981037eea091e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.52092
Satisfiable
(Un)Satisfiability was proved
Number of variables3672
Number of clauses1163952
Sum of the clauses size2331456
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21163892
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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.28	c ==============================================================================
0.00/0.28	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.28	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.28	c ==============================================================================
0.00/0.28	c |         0 | 1163952  2331456 |  349185       0        0     nan |  0.000 % |
7.09/7.14	c |         0 | 1160280  3553322 |      --       0       --      -- |     --   | -3672/1221866
7.09/7.14	c ==============================================================================
7.09/7.14	c Result  :   #vars: 3612   #clauses: 1160280   #literals: 3553322
7.09/7.14	c CPU time:   7.09592 s
7.09/7.14	c ==============================================================================
7.60/7.69	c
7.60/7.69	c Starting glucose
7.60/7.69	c
209.86/209.91	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
209.86/209.91	c WARNING: for repeatability, setting FPU to use double precision
209.86/209.91	c ============================[ Problem Statistics ]=============================
209.86/209.91	c |                                                                             |
209.86/209.91	c |  Number of variables:          3612                                         |
209.86/209.91	c |  Number of clauses:         1160280                                         |
209.86/209.91	c |  Parse time:                   0.21 s                                       |
209.86/209.91	c |                                                                             |
209.86/209.91	c ============================[ Search Statistics ]==============================
209.86/209.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
209.86/209.91	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
209.86/209.91	c ===============================================================================
209.86/209.91	c |    119909 |    3612  1160280  3553322 |        1    34735    274 |  0.000 % |
209.86/209.91	c |    120151 |    3612  1160280  3553322 |        1    34977    274 |  0.000 % |
209.86/209.91	c |    120473 |    3612  1160280  3553322 |        1    35299    273 |  0.000 % |
209.86/209.91	c |    125325 |    3612  1160280  3553322 |        1    40151    265 |  0.000 % |
209.86/209.91	c |    125728 |    3612  1160280  3553322 |        1    40554    264 |  0.000 % |
209.86/209.91	c |    125830 |    3612  1160280  3553322 |        1    40656    264 |  0.000 % |
209.86/209.91	c |    126075 |    3612  1160280  3553322 |        1    40901    264 |  0.000 % |
209.86/209.91	c |    126964 |    3612  1160280  3553322 |        1    41790    263 |  0.000 % |
209.86/209.91	c |    127064 |    3612  1160280  3553322 |        1    41890    263 |  0.000 % |
209.86/209.91	c |    127348 |    3612  1160280  3553322 |        1    42174    262 |  0.000 % |
209.86/209.91	c |    128402 |    3612  1160280  3553322 |        1    43228    261 |  0.000 % |
209.86/209.91	c |    128502 |    3612  1160280  3553322 |        1    43328    261 |  0.000 % |
209.86/209.91	c |    171444 |    3612  1160280  3553322 |        1    39267    202 |  0.000 % |
209.86/209.91	c |    173080 |    3612  1160280  3553322 |        1    40903    202 |  0.000 % |
209.86/209.91	c |    173460 |    3612  1160280  3553322 |        1    41283    202 |  0.000 % |
209.86/209.91	c |    174886 |    3612  1160280  3553322 |        1    42709    202 |  0.000 % |
209.86/209.91	c |    174987 |    3612  1160280  3553322 |        1    42810    202 |  0.000 % |
209.86/209.91	c |    184265 |    3612  1160280  3553322 |        1    52088    212 |  0.000 % |
209.86/209.91	c |    184365 |    3612  1160280  3553322 |        1    52188    212 |  0.000 % |
209.86/209.91	c |    184589 |    3612  1160280  3553322 |        1    52412    212 |  0.000 % |
209.86/209.91	c |    186274 |    3612  1160280  3553322 |        1    54097    211 |  0.000 % |
209.86/209.91	c |    186375 |    3612  1160280  3553322 |        1    54198    211 |  0.000 % |
209.86/209.91	c |    186547 |    3612  1160280  3553322 |        1    54370    211 |  0.000 % |
209.86/209.91	c |    188098 |    3612  1160280  3553322 |        1    28512    175 |  0.000 % |
209.86/209.91	c |    188523 |    3612  1160280  3553322 |        1    28937    176 |  0.000 % |
209.86/209.91	c |    188806 |    3612  1160280  3553322 |        1    29220    177 |  0.000 % |
209.86/209.91	c |    192790 |    3612  1160280  3553322 |        1    33204    183 |  0.000 % |
209.86/209.91	c |    192891 |    3612  1160280  3553322 |        1    33305    183 |  0.000 % |
209.86/209.91	c |    199573 |    3612  1160280  3553322 |        1    39987    190 |  0.000 % |
209.86/209.91	c |    205676 |    3612  1160280  3553322 |        1    46090    187 |  0.000 % |
209.86/209.91	c |    386272 |    3612  1160280  3553322 |        1    50697    162 |  0.000 % |
209.86/209.91	c |    513021 |    3612  1160280  3553322 |        1    88838    152 |  0.000 % |
209.86/209.91	c |    517968 |    3612  1160280  3553322 |        1    93785    153 |  0.000 % |
209.86/209.91	c |    534874 |    3612  1160280  3553322 |        1    62492    150 |  0.000 % |
209.86/209.91	c |    617087 |    3612  1160280  3553322 |        1    93908    147 |  0.000 % |
209.86/209.91	c |    702747 |    3612  1160280  3553322 |        1    70167    144 |  0.000 % |
209.86/209.91	c |    703143 |    3612  1160280  3553322 |        1    70563    144 |  0.000 % |
209.86/209.91	c |    720360 |    3612  1160280  3553322 |        1    87780    152 |  0.000 % |
209.86/209.91	c |    720910 |    3612  1160280  3553322 |        1    88330    152 |  0.000 % |
2238.82/2238.83	c |    736638 |    3612  1160280  3553322 |        1   104058    161 |  0.000 % |
2238.82/2238.83	c |    737285 |    3612  1160280  3553322 |        1   104705    161 |  0.000 % |
2238.82/2238.83	c |    746084 |    3612  1160280  3553322 |        1   113504    163 |  0.000 % |
2238.82/2238.83	c |    923630 |    3612  1160280  3553322 |        1   107459    144 |  0.000 % |
2238.82/2238.83	c |    928186 |    3612  1160280  3553322 |        1   112015    146 |  0.000 % |
2238.82/2238.83	c |    934646 |    3612  1160280  3553322 |        1   118475    148 |  0.000 % |
2238.82/2238.83	c |    939537 |    3612  1160280  3553322 |        1   123366    150 |  0.000 % |
2238.82/2238.83	c |    939735 |    3612  1160280  3553322 |        1   123564    150 |  0.000 % |
2238.82/2238.83	c |    986690 |    3612  1160280  3553322 |        1   104114    154 |  0.000 % |
2238.82/2238.83	c |   1068609 |    3612  1160280  3553322 |        1   117027    145 |  0.000 % |
2238.82/2238.83	c |   1205216 |    3612  1160280  3553322 |        1   107842    132 |  0.000 % |
2238.82/2238.83	c |   1209203 |    3612  1160280  3553322 |        1   111829    134 |  0.000 % |
2238.82/2238.83	c |   1210627 |    3612  1160280  3553322 |        1   113253    134 |  0.000 % |
2238.82/2238.83	c |   2062703 |    3612  1160280  3553322 |        1   180528    132 |  0.000 % |
2238.82/2238.83	c |   2166675 |    3612  1160280  3553322 |        1   184292    128 |  0.000 % |
2238.82/2238.83	c |   2555972 |    3612  1160280  3553322 |        1   146790    117 |  0.000 % |
2238.82/2238.83	c |   2557065 |    3612  1160280  3553322 |        1   147883    117 |  0.000 % |
2238.82/2238.83	c |   3115677 |    3612  1160280  3553322 |        1   238099    112 |  0.000 % |
2238.82/2238.83	c |   4873469 |    3612  1160280  3553322 |        1   186290    168 |  0.000 % |
2238.82/2238.83	c |   4873569 |    3612  1160280  3553322 |        1   186390    168 |  0.000 % |
2238.82/2238.83	c |   4873670 |    3612  1160280  3553322 |        1   186491    168 |  0.000 % |
2238.82/2238.83	c |   4874072 |    3612  1160280  3553322 |        1   186893    168 |  0.000 % |
2238.82/2238.83	c |   4874172 |    3612  1160280  3553322 |        1   186993    168 |  0.000 % |
2238.82/2238.83	c |   4874458 |    3612  1160280  3553322 |        1   187279    168 |  0.000 % |
2238.82/2238.83	c |   4874558 |    3612  1160280  3553322 |        1   187379    168 |  0.000 % |
2238.82/2238.83	c |   4874788 |    3612  1160280  3553322 |        1   187609    168 |  0.000 % |
2238.82/2238.83	c |   4874889 |    3612  1160280  3553322 |        1   187710    168 |  0.000 % |
2238.82/2238.83	c |   4874990 |    3612  1160280  3553322 |        1   187811    169 |  0.000 % |
2238.82/2238.83	c |   4875226 |    3612  1160280  3553322 |        1   188047    169 |  0.000 % |
2238.82/2238.83	c |   4875326 |    3612  1160280  3553322 |        1   188147    169 |  0.000 % |
2238.82/2238.83	c |   4875426 |    3612  1160280  3553322 |        1   188247    169 |  0.000 % |
2238.82/2238.83	c |   4875526 |    3612  1160280  3553322 |        1   188347    169 |  0.000 % |
2238.82/2238.83	c |   4875647 |    3612  1160280  3553322 |        1   188468    169 |  0.000 % |
2238.82/2238.83	c |   4875748 |    3612  1160280  3553322 |        1   188569    169 |  0.000 % |
2238.82/2238.83	c |   4875848 |    3612  1160280  3553322 |        1   188669    169 |  0.000 % |
2238.82/2238.83	c |   4875980 |    3612  1160280  3553322 |        1   188801    169 |  0.000 % |
2238.82/2238.83	c |   4876083 |    3612  1160280  3553322 |        1   188904    169 |  0.000 % |
2238.82/2238.83	c |   4876241 |    3612  1160280  3553322 |        1   189062    169 |  0.000 % |
2238.82/2238.83	c |   4876345 |    3612  1160280  3553322 |        1   189166    169 |  0.000 % |
2238.82/2238.83	c |   4876448 |    3612  1160280  3553322 |        1   189269    169 |  0.000 % |
2238.82/2238.83	c |   4876777 |    3612  1160280  3553322 |        1   189598    170 |  0.000 % |
2238.82/2238.83	c |   4876878 |    3612  1160280  3553322 |        1   189699    170 |  0.000 % |
2238.82/2238.83	c |   4876979 |    3612  1160280  3553322 |        1   189800    170 |  0.000 % |
2238.82/2238.83	c |   4877448 |    3612  1160280  3553322 |        1   190269    170 |  0.000 % |
2238.82/2238.83	c |   4877548 |    3612  1160280  3553322 |        1   190369    170 |  0.000 % |
2238.82/2238.83	c |   4877819 |    3612  1160280  3553322 |        1   190640    170 |  0.000 % |
2238.82/2238.83	c |   4877921 |    3612  1160280  3553322 |        1   190742    170 |  0.000 % |
2238.82/2238.83	c |   4878021 |    3612  1160280  3553322 |        1   190842    170 |  0.000 % |
2238.82/2238.83	c |   4878121 |    3612  1160280  3553322 |        1   190942    170 |  0.000 % |
2238.82/2238.83	c |   4878525 |    3612  1160280  3553322 |        1   191346    171 |  0.000 % |
2248.72/2248.78	c |   4878625 |    3612  1160280  3553322 |        1   191446    171 |  0.000 % |
2248.72/2248.78	c |   4878726 |    3612  1160280  3553322 |        1   191547    171 |  0.000 % |
2248.72/2248.78	c |   4878844 |    3612  1160280  3553322 |        1   191665    171 |  0.000 % |
2248.72/2248.78	c |   4879040 |    3612  1160280  3553322 |        1   191861    171 |  0.000 % |
2248.72/2248.78	c |   4879226 |    3612  1160280  3553322 |        1   192047    171 |  0.000 % |
2248.72/2248.78	c |   4879631 |    3612  1160280  3553322 |        1   192452    171 |  0.000 % |
2248.72/2248.78	c |   4880073 |    3612  1160280  3553322 |        1   192894    171 |  0.000 % |
2248.72/2248.78	c |   4880175 |    3612  1160280  3553322 |        1   192996    171 |  0.000 % |
2248.72/2248.78	c |   4880275 |    3612  1160280  3553322 |        1   193096    171 |  0.000 % |
2248.72/2248.78	c |   4880382 |    3612  1160280  3553322 |        1   193203    171 |  0.000 % |
2248.72/2248.78	c |   4880565 |    3612  1160280  3553322 |        1   193386    171 |  0.000 % |
2248.72/2248.78	c |   4880665 |    3612  1160280  3553322 |        1   193486    171 |  0.000 % |
2248.72/2248.78	c |   4880766 |    3612  1160280  3553322 |        1   193587    172 |  0.000 % |
2248.72/2248.78	c |   4880866 |    3612  1160280  3553322 |        1   193687    172 |  0.000 % |
2248.72/2248.78	c |   4880966 |    3612  1160280  3553322 |        1   193787    172 |  0.000 % |
2248.72/2248.78	c |   4881066 |    3612  1160280  3553322 |        1   193887    172 |  0.000 % |
2248.72/2248.78	c |   4881167 |    3612  1160280  3553322 |        1   193988    172 |  0.000 % |
2248.72/2248.78	c |   4881401 |    3612  1160280  3553322 |        1   194222    172 |  0.000 % |
2248.72/2248.78	c |   4881503 |    3612  1160280  3553322 |        1   194324    172 |  0.000 % |
2248.72/2248.78	c |   4881618 |    3612  1160280  3553322 |        1   194439    172 |  0.000 % |
2248.72/2248.78	c |   4882195 |    3612  1160280  3553322 |        1   195016    172 |  0.000 % |
2248.72/2248.78	c |   4882734 |    3612  1160280  3553322 |        1   195555    172 |  0.000 % |
2248.72/2248.78	c |   4882835 |    3612  1160280  3553322 |        1   195656    172 |  0.000 % |
2248.72/2248.78	c |   4883318 |    3612  1160280  3553322 |        1   196139    172 |  0.000 % |
2248.72/2248.78	c |   4883535 |    3612  1160280  3553322 |        1   196356    172 |  0.000 % |
2248.72/2248.78	c |   4883986 |    3612  1160280  3553322 |        1   196807    172 |  0.000 % |
2248.72/2248.78	c |   4884108 |    3612  1160280  3553322 |        1   196929    172 |  0.000 % |
2248.72/2248.78	c |   4885694 |    3612  1160280  3553322 |        1   198515    173 |  0.000 % |
2248.72/2248.78	c |   4885795 |    3612  1160280  3553322 |        1   198616    173 |  0.000 % |
2248.72/2248.78	c |   4885911 |    3612  1160280  3553322 |        1   198732    173 |  0.000 % |
2248.72/2248.78	c |   4886012 |    3612  1160280  3553322 |        1   198833    173 |  0.000 % |
2248.72/2248.78	c |   4886112 |    3612  1160280  3553322 |        1   198933    173 |  0.000 % |
2248.72/2248.78	c |   4886213 |    3612  1160280  3553322 |        1   199034    173 |  0.000 % |
2248.72/2248.78	c |   4886314 |    3612  1160280  3553322 |        1   199135    173 |  0.000 % |
2248.72/2248.78	c |   4886415 |    3612  1160280  3553322 |        1   199236    173 |  0.000 % |
2248.72/2248.78	c |   4886515 |    3612  1160280  3553322 |        1   199336    173 |  0.000 % |
2248.72/2248.78	c |   4886615 |    3612  1160280  3553322 |        1   199436    173 |  0.000 % |
2248.72/2248.78	c |   4886715 |    3612  1160280  3553322 |        1   199536    173 |  0.000 % |
2248.72/2248.78	c |   4886816 |    3612  1160280  3553322 |        1   199637    173 |  0.000 % |
2248.72/2248.78	c |   4886917 |    3612  1160280  3553322 |        1   199738    173 |  0.000 % |
2248.72/2248.78	c |   4887783 |    3612  1160280  3553322 |        1   200604    173 |  0.000 % |
2248.72/2248.78	c |   4888707 |    3612  1160280  3553322 |        1   201528    173 |  0.000 % |
2248.72/2248.78	c |   4897942 |    3612  1160280  3553322 |        1   210763    172 |  0.000 % |
2248.72/2248.78	c |   4898043 |    3612  1160280  3553322 |        1   210864    172 |  0.000 % |
2248.72/2248.78	c |   4898143 |    3612  1160280  3553322 |        1   210964    172 |  0.000 % |
2248.72/2248.78	c |   4898244 |    3612  1160280  3553322 |        1   211065    172 |  0.000 % |
2248.72/2248.78	c |   4898562 |    3612  1160280  3553322 |        1   211383    173 |  0.000 % |
2248.72/2248.78	c |   4898663 |    3612  1160280  3553322 |        1   211484    173 |  0.000 % |
2248.72/2248.78	c |   4898763 |    3612  1160280  3553322 |        1   211584    173 |  0.000 % |
2248.72/2248.78	c |   4898914 |    3612  1160280  3553322 |        1   211735    173 |  0.000 % |
2255.72/2255.79	c |   4899014 |    3612  1160280  3553322 |        1   211835    173 |  0.000 % |
2255.72/2255.79	c |   4899116 |    3612  1160280  3553322 |        1   211937    173 |  0.000 % |
2255.72/2255.79	c |   4899245 |    3612  1160280  3553322 |        1   212066    173 |  0.000 % |
2255.72/2255.79	c |   4899449 |    3612  1160280  3553322 |        1   212270    173 |  0.000 % |
2255.72/2255.79	c |   4899549 |    3612  1160280  3553322 |        1   212370    173 |  0.000 % |
2255.72/2255.79	c |   4899649 |    3612  1160280  3553322 |        1   212470    173 |  0.000 % |
2255.72/2255.79	c |   4899749 |    3612  1160280  3553322 |        1   212570    173 |  0.000 % |
2255.72/2255.79	c |   4899856 |    3612  1160280  3553322 |        1   212677    173 |  0.000 % |
2255.72/2255.79	c |   4899956 |    3612  1160280  3553322 |        1   212777    173 |  0.000 % |
2255.72/2255.79	c |   4900056 |    3612  1160280  3553322 |        1   212877    173 |  0.000 % |
2255.72/2255.79	c |   4900158 |    3612  1160280  3553322 |        1   212979    173 |  0.000 % |
2255.72/2255.79	c |   4900340 |    3612  1160280  3553322 |        1   213161    173 |  0.000 % |
2255.72/2255.79	c |   4900459 |    3612  1160280  3553322 |        1   213280    173 |  0.000 % |
2255.72/2255.79	c |   4900791 |    3612  1160280  3553322 |        1   213612    174 |  0.000 % |
2255.72/2255.79	c |   4900923 |    3612  1160280  3553322 |        1   213744    174 |  0.000 % |
2255.72/2255.79	c |   4901488 |    3612  1160280  3553322 |        1   214309    174 |  0.000 % |
2255.72/2255.79	c |   4901732 |    3612  1160280  3553322 |        1   214553    174 |  0.000 % |
2255.72/2255.79	c |   4901833 |    3612  1160280  3553322 |        1   214654    174 |  0.000 % |
2255.72/2255.79	c |   4901933 |    3612  1160280  3553322 |        1   214754    174 |  0.000 % |
2255.72/2255.79	c |   4902033 |    3612  1160280  3553322 |        1   214854    174 |  0.000 % |
2255.72/2255.79	c |   4902133 |    3612  1160280  3553322 |        1   214954    174 |  0.000 % |
2255.72/2255.79	c |   4902233 |    3612  1160280  3553322 |        1   215054    174 |  0.000 % |
2255.72/2255.79	c |   4902333 |    3612  1160280  3553322 |        1   215154    174 |  0.000 % |
2255.72/2255.79	c |   4902435 |    3612  1160280  3553322 |        1   215256    174 |  0.000 % |
2255.72/2255.79	c |   4902535 |    3612  1160280  3553322 |        1   215356    174 |  0.000 % |
2255.72/2255.79	c |   4902635 |    3612  1160280  3553322 |        1   215456    174 |  0.000 % |
2255.72/2255.79	c |   4902736 |    3612  1160280  3553322 |        1   215557    174 |  0.000 % |
2255.72/2255.79	c |   4902836 |    3612  1160280  3553322 |        1   215657    174 |  0.000 % |
2255.72/2255.79	c |   4903318 |    3612  1160280  3553322 |        1   216139    175 |  0.000 % |
2255.72/2255.79	c |   4903707 |    3612  1160280  3553322 |        1   216528    175 |  0.000 % |
2255.72/2255.79	c |   4904251 |    3612  1160280  3553322 |        1   217072    175 |  0.000 % |
2255.72/2255.79	c |   4904975 |    3612  1160280  3553322 |        1   217796    175 |  0.000 % |
2255.72/2255.79	c |   4905078 |    3612  1160280  3553322 |        1   217899    175 |  0.000 % |
2255.72/2255.79	c |   4905178 |    3612  1160280  3553322 |        1   217999    175 |  0.000 % |
2255.72/2255.79	c |   4905675 |    3612  1160280  3553322 |        1   218496    176 |  0.000 % |
2255.72/2255.79	c |   4906204 |    3612  1160280  3553322 |        1   219025    176 |  0.000 % |
2255.72/2255.79	c |   4908837 |    3612  1160280  3553322 |        1   221658    176 |  0.000 % |
2255.72/2255.79	c |   4909262 |    3612  1160280  3553322 |        1   222083    176 |  0.000 % |
2255.72/2255.79	c |   4909362 |    3612  1160280  3553322 |        1   222183    176 |  0.000 % |
2255.72/2255.79	c |   4909611 |    3612  1160280  3553322 |        1   222432    176 |  0.000 % |
2255.72/2255.79	c |   4909711 |    3612  1160280  3553322 |        1   222532    176 |  0.000 % |
2255.72/2255.79	c |   4909811 |    3612  1160280  3553322 |        1   222632    176 |  0.000 % |
2255.72/2255.79	c |   4910287 |    3612  1160280  3553322 |        1   223108    176 |  0.000 % |
2255.72/2255.79	c |   4910450 |    3612  1160280  3553322 |        1   223271    176 |  0.000 % |
2255.72/2255.79	c |   4910773 |    3612  1160280  3553322 |        1   223594    177 |  0.000 % |
2255.72/2255.79	c |   4910873 |    3612  1160280  3553322 |        1   223694    177 |  0.000 % |
2255.72/2255.79	c |   4911602 |    3612  1160280  3553322 |        1   224423    177 |  0.000 % |
2255.72/2255.79	c |   4911702 |    3612  1160280  3553322 |        1   224523    177 |  0.000 % |
2255.72/2255.79	c |   4911802 |    3612  1160280  3553322 |        1   224623    177 |  0.000 % |
2255.72/2255.79	c |   4911905 |    3612  1160280  3553322 |        1   224726    177 |  0.000 % |
2263.22/2263.20	c |   4912005 |    3612  1160280  3553322 |        1   224826    177 |  0.000 % |
2263.22/2263.20	c |   4912106 |    3612  1160280  3553322 |        1   224927    177 |  0.000 % |
2263.22/2263.20	c |   4912206 |    3612  1160280  3553322 |        1   225027    177 |  0.000 % |
2263.22/2263.20	c |   4912306 |    3612  1160280  3553322 |        1   225127    177 |  0.000 % |
2263.22/2263.20	c |   4912475 |    3612  1160280  3553322 |        1   225296    177 |  0.000 % |
2263.22/2263.20	c |   4912575 |    3612  1160280  3553322 |        1   225396    177 |  0.000 % |
2263.22/2263.20	c |   4912675 |    3612  1160280  3553322 |        1   225496    177 |  0.000 % |
2263.22/2263.20	c |   4912779 |    3612  1160280  3553322 |        1   225600    177 |  0.000 % |
2263.22/2263.20	c |   4912879 |    3612  1160280  3553322 |        1   225700    177 |  0.000 % |
2263.22/2263.20	c |   4914186 |    3612  1160280  3553322 |        1   227007    178 |  0.000 % |
2263.22/2263.20	c |   4914292 |    3612  1160280  3553322 |        1   227113    178 |  0.000 % |
2263.22/2263.20	c |   4914393 |    3612  1160280  3553322 |        1   227214    178 |  0.000 % |
2263.22/2263.20	c |   4914494 |    3612  1160280  3553322 |        1   227315    178 |  0.000 % |
2263.22/2263.20	c |   4914677 |    3612  1160280  3553322 |        1   227498    178 |  0.000 % |
2263.22/2263.20	c |   4914811 |    3612  1160280  3553322 |        1   227632    178 |  0.000 % |
2263.22/2263.20	c |   4914911 |    3612  1160280  3553322 |        1   227732    178 |  0.000 % |
2263.22/2263.20	c |   4915349 |    3612  1160280  3553322 |        1   228170    178 |  0.000 % |
2263.22/2263.20	c |   4915451 |    3612  1160280  3553322 |        1   228272    178 |  0.000 % |
2263.22/2263.20	c |   4915553 |    3612  1160280  3553322 |        1   228374    178 |  0.000 % |
2263.22/2263.20	c |   4915653 |    3612  1160280  3553322 |        1   228474    178 |  0.000 % |
2263.22/2263.20	c |   4915753 |    3612  1160280  3553322 |        1   228574    178 |  0.000 % |
2263.22/2263.20	c |   4915917 |    3612  1160280  3553322 |        1   228738    178 |  0.000 % |
2263.22/2263.20	c |   4916018 |    3612  1160280  3553322 |        1   228839    179 |  0.000 % |
2263.22/2263.20	c |   4916120 |    3612  1160280  3553322 |        1   228941    179 |  0.000 % |
2263.22/2263.20	c |   4916221 |    3612  1160280  3553322 |        1   229042    179 |  0.000 % |
2263.22/2263.20	c |   4916394 |    3612  1160280  3553322 |        1   229215    179 |  0.000 % |
2263.22/2263.20	c |   4916554 |    3612  1160280  3553322 |        1   229375    179 |  0.000 % |
2263.22/2263.20	c |   4917290 |    3612  1160280  3553322 |        1   230111    179 |  0.000 % |
2263.22/2263.20	c |   4917391 |    3612  1160280  3553322 |        1   230212    179 |  0.000 % |
2263.22/2263.20	c |   4917874 |    3612  1160280  3553322 |        1   230695    179 |  0.000 % |
2263.22/2263.20	c |   4918068 |    3612  1160280  3553322 |        1   230889    179 |  0.000 % |
2263.22/2263.20	c |   4918168 |    3612  1160280  3553322 |        1   230989    179 |  0.000 % |
2263.22/2263.20	c |   4918268 |    3612  1160280  3553322 |        1   231089    179 |  0.000 % |
2263.22/2263.20	c |   4918369 |    3612  1160280  3553322 |        1   231190    180 |  0.000 % |
2263.22/2263.20	c |   4918469 |    3612  1160280  3553322 |        1   231290    180 |  0.000 % |
2263.22/2263.20	c |   4918570 |    3612  1160280  3553322 |        1   231391    180 |  0.000 % |
2263.22/2263.20	c |   4918670 |    3612  1160280  3553322 |        1   231491    180 |  0.000 % |
2263.22/2263.20	c |   4923468 |    3612  1160280  3553322 |        1   236289    181 |  0.000 % |
2263.22/2263.20	c |   4923569 |    3612  1160280  3553322 |        1   236390    181 |  0.000 % |
2263.22/2263.20	c |   4923915 |    3612  1160280  3553322 |        1   236736    181 |  0.000 % |
2263.22/2263.20	c |   4924015 |    3612  1160280  3553322 |        1   236836    181 |  0.000 % |
2263.22/2263.20	c |   4924290 |    3612  1160280  3553322 |        1   237111    181 |  0.000 % |
2263.22/2263.20	c |   4924984 |    3612  1160280  3553322 |        1   237805    181 |  0.000 % |
2263.22/2263.20	c |   4925087 |    3612  1160280  3553322 |        1   237908    181 |  0.000 % |
2263.22/2263.20	c |   4925343 |    3612  1160280  3553322 |        1   238164    181 |  0.000 % |
2263.22/2263.20	c |   4925443 |    3612  1160280  3553322 |        1   238264    181 |  0.000 % |
2263.22/2263.20	c |   4925543 |    3612  1160280  3553322 |        1   238364    181 |  0.000 % |
2263.22/2263.20	c |   4925643 |    3612  1160280  3553322 |        1   238464    181 |  0.000 % |
2263.22/2263.20	c |   4925743 |    3612  1160280  3553322 |        1   238564    181 |  0.000 % |
2263.22/2263.20	c |   4925844 |    3612  1160280  3553322 |        1   238665    181 |  0.000 % |
2276.62/2276.65	c |   4925944 |    3612  1160280  3553322 |        1   238765    181 |  0.000 % |
2276.62/2276.65	c |   4926046 |    3612  1160280  3553322 |        1   238867    182 |  0.000 % |
2276.62/2276.65	c |   4926146 |    3612  1160280  3553322 |        1   238967    182 |  0.000 % |
2276.62/2276.65	c |   4926246 |    3612  1160280  3553322 |        1   239067    182 |  0.000 % |
2276.62/2276.65	c |   4926346 |    3612  1160280  3553322 |        1   239167    182 |  0.000 % |
2276.62/2276.65	c |   4926447 |    3612  1160280  3553322 |        1   239268    182 |  0.000 % |
2276.62/2276.65	c |   4926547 |    3612  1160280  3553322 |        1   239368    182 |  0.000 % |
2276.62/2276.65	c |   4926647 |    3612  1160280  3553322 |        1   239468    182 |  0.000 % |
2276.62/2276.65	c |   4926991 |    3612  1160280  3553322 |        1   239812    182 |  0.000 % |
2276.62/2276.65	c |   4927091 |    3612  1160280  3553322 |        1   239912    182 |  0.000 % |
2276.62/2276.65	c |   4927191 |    3612  1160280  3553322 |        1   240012    182 |  0.000 % |
2276.62/2276.65	c |   4927358 |    3612  1160280  3553322 |        1   240179    182 |  0.000 % |
2276.62/2276.65	c |   4927544 |    3612  1160280  3553322 |        1   240365    182 |  0.000 % |
2276.62/2276.65	c |   4927644 |    3612  1160280  3553322 |        1   240465    182 |  0.000 % |
2276.62/2276.65	c |   4927745 |    3612  1160280  3553322 |        1   240566    182 |  0.000 % |
2276.62/2276.65	c |   4927845 |    3612  1160280  3553322 |        1   240666    182 |  0.000 % |
2276.62/2276.65	c |   4928402 |    3612  1160280  3553322 |        1   241223    182 |  0.000 % |
2276.62/2276.65	c |   4928590 |    3612  1160280  3553322 |        1   241411    182 |  0.000 % |
2276.62/2276.65	c |   4928690 |    3612  1160280  3553322 |        1   241511    182 |  0.000 % |
2276.62/2276.65	c |   4928899 |    3612  1160280  3553322 |        1   241720    182 |  0.000 % |
2276.62/2276.65	c |   4929000 |    3612  1160280  3553322 |        1   241821    182 |  0.000 % |
2276.62/2276.65	c |   4929100 |    3612  1160280  3553322 |        1   241921    182 |  0.000 % |
2276.62/2276.65	c |   4929201 |    3612  1160280  3553322 |        1   242022    182 |  0.000 % |
2276.62/2276.65	c |   4929301 |    3612  1160280  3553322 |        1   242122    182 |  0.000 % |
2276.62/2276.65	c |   4929401 |    3612  1160280  3553322 |        1   242222    182 |  0.000 % |
2276.62/2276.65	c |   4929584 |    3612  1160280  3553322 |        1   242405    182 |  0.000 % |
2276.62/2276.65	c |   4929686 |    3612  1160280  3553322 |        1   242507    182 |  0.000 % |
2276.62/2276.65	c |   4931605 |    3612  1160280  3553322 |        1   244426    183 |  0.000 % |
2276.62/2276.65	c |   4931705 |    3612  1160280  3553322 |        1   244526    183 |  0.000 % |
2276.62/2276.65	c |   4935084 |    3612  1160280  3553322 |        1   247905    183 |  0.000 % |
2276.62/2276.65	c |   4935243 |    3612  1160280  3553322 |        1   248064    183 |  0.000 % |
2276.62/2276.65	c |   4935383 |    3612  1160280  3553322 |        1   248204    183 |  0.000 % |
2276.62/2276.65	c |   4935694 |    3612  1160280  3553322 |        1   248515    183 |  0.000 % |
2276.62/2276.65	c |   4935794 |    3612  1160280  3553322 |        1   248615    183 |  0.000 % |
2276.62/2276.65	c |   4935894 |    3612  1160280  3553322 |        1   248715    183 |  0.000 % |
2276.62/2276.65	c |   4935997 |    3612  1160280  3553322 |        1   248818    183 |  0.000 % |
2276.62/2276.65	c |   4942096 |    3612  1160280  3553322 |        1   254917    185 |  0.000 % |
2276.62/2276.65	c |   4942197 |    3612  1160280  3553322 |        1   255018    185 |  0.000 % |
2276.62/2276.65	c |   4942508 |    3612  1160280  3553322 |        1   255329    185 |  0.000 % |
2276.62/2276.65	c |   4942608 |    3612  1160280  3553322 |        1   255429    185 |  0.000 % |
2276.62/2276.65	c |   4942709 |    3612  1160280  3553322 |        1   255530    185 |  0.000 % |
2276.62/2276.65	c |   4942978 |    3612  1160280  3553322 |        1   255799    185 |  0.000 % |
2276.62/2276.65	c |   4943608 |    3612  1160280  3553322 |        1   256429    185 |  0.000 % |
2276.62/2276.65	c |   4943708 |    3612  1160280  3553322 |        1   256529    185 |  0.000 % |
2276.62/2276.65	c |   4943809 |    3612  1160280  3553322 |        1   256630    185 |  0.000 % |
2276.62/2276.65	c |   4944274 |    3612  1160280  3553322 |        1   257095    185 |  0.000 % |
2276.62/2276.65	c |   4944377 |    3612  1160280  3553322 |        1   257198    185 |  0.000 % |
2276.62/2276.65	c |   4944479 |    3612  1160280  3553322 |        1   257300    185 |  0.000 % |
2276.62/2276.65	c |   4947783 |    3612  1160280  3553322 |        1   260604    186 |  0.000 % |
2276.62/2276.65	c |   4947884 |    3612  1160280  3553322 |        1   260705    186 |  0.000 % |
2293.22/2293.24	c |   4947986 |    3612  1160280  3553322 |        1   260807    186 |  0.000 % |
2293.22/2293.24	c |   4948141 |    3612  1160280  3553322 |        1   260962    186 |  0.000 % |
2293.22/2293.24	c |   4948355 |    3612  1160280  3553322 |        1   261176    186 |  0.000 % |
2293.22/2293.24	c |   4948958 |    3612  1160280  3553322 |        1   261779    186 |  0.000 % |
2293.22/2293.24	c |   4949587 |    3612  1160280  3553322 |        1   262408    186 |  0.000 % |
2293.22/2293.24	c |   4949715 |    3612  1160280  3553322 |        1   262536    186 |  0.000 % |
2293.22/2293.24	c |   4949815 |    3612  1160280  3553322 |        1   262636    186 |  0.000 % |
2293.22/2293.24	c |   4949916 |    3612  1160280  3553322 |        1   262737    186 |  0.000 % |
2293.22/2293.24	c |   4950016 |    3612  1160280  3553322 |        1   262837    186 |  0.000 % |
2293.22/2293.24	c |   4951463 |    3612  1160280  3553322 |        1   264284    186 |  0.000 % |
2293.22/2293.24	c |   4951590 |    3612  1160280  3553322 |        1   264411    186 |  0.000 % |
2293.22/2293.24	c |   4958627 |    3612  1160280  3553322 |        1   271448    186 |  0.000 % |
2293.22/2293.24	c |   4958996 |    3612  1160280  3553322 |        1   271817    186 |  0.000 % |
2293.22/2293.24	c |   4959096 |    3612  1160280  3553322 |        1   271917    186 |  0.000 % |
2293.22/2293.24	c |   4959260 |    3612  1160280  3553322 |        1   272081    186 |  0.000 % |
2293.22/2293.24	c |   4959360 |    3612  1160280  3553322 |        1   272181    186 |  0.000 % |
2293.22/2293.24	c |   4960078 |    3612  1160280  3553322 |        1   272899    186 |  0.000 % |
2293.22/2293.24	c |   4960180 |    3612  1160280  3553322 |        1   273001    186 |  0.000 % |
2293.22/2293.24	c |   4960280 |    3612  1160280  3553322 |        1   273101    186 |  0.000 % |
2293.22/2293.24	c |   4960381 |    3612  1160280  3553322 |        1   273202    186 |  0.000 % |
2293.22/2293.24	c |   4960578 |    3612  1160280  3553322 |        1   273399    186 |  0.000 % |
2293.22/2293.24	c |   4960679 |    3612  1160280  3553322 |        1   273500    186 |  0.000 % |
2293.22/2293.24	c |   4960842 |    3612  1160280  3553322 |        1   273663    186 |  0.000 % |
2293.22/2293.24	c |   4962577 |    3612  1160280  3553322 |        1   275398    186 |  0.000 % |
2293.22/2293.24	c |   4965903 |    3612  1160280  3553322 |        1   278724    187 |  0.000 % |
2293.22/2293.24	c |   4966042 |    3612  1160280  3553322 |        1   278863    187 |  0.000 % |
2293.22/2293.24	c |   4966142 |    3612  1160280  3553322 |        1   278963    187 |  0.000 % |
2293.22/2293.24	c |   4966244 |    3612  1160280  3553322 |        1   279065    187 |  0.000 % |
2293.22/2293.24	c |   4966394 |    3612  1160280  3553322 |        1   279215    187 |  0.000 % |
2293.22/2293.24	c |   4966494 |    3612  1160280  3553322 |        1   279315    187 |  0.000 % |
2293.22/2293.24	c |   4966595 |    3612  1160280  3553322 |        1   279416    187 |  0.000 % |
2293.22/2293.24	c |   4966731 |    3612  1160280  3553322 |        1   279552    187 |  0.000 % |
2293.22/2293.24	c |   4966831 |    3612  1160280  3553322 |        1   279652    187 |  0.000 % |
2293.22/2293.24	c |   4966932 |    3612  1160280  3553322 |        1   279753    187 |  0.000 % |
2293.22/2293.24	c |   4967032 |    3612  1160280  3553322 |        1   279853    187 |  0.000 % |
2293.22/2293.24	c |   4967149 |    3612  1160280  3553322 |        1   279970    187 |  0.000 % |
2293.22/2293.24	c |   4967311 |    3612  1160280  3553322 |        1   280132    187 |  0.000 % |
2293.22/2293.24	c |   4967411 |    3612  1160280  3553322 |        1   280232    187 |  0.000 % |
2293.22/2293.24	c |   4967511 |    3612  1160280  3553322 |        1   280332    187 |  0.000 % |
2293.22/2293.24	c |   4967611 |    3612  1160280  3553322 |        1   280432    187 |  0.000 % |
2293.22/2293.24	c |   4967713 |    3612  1160280  3553322 |        1   280534    187 |  0.000 % |
2293.22/2293.24	c |   4967817 |    3612  1160280  3553322 |        1   280638    187 |  0.000 % |
2293.22/2293.24	c |   4967919 |    3612  1160280  3553322 |        1   280740    187 |  0.000 % |
2293.22/2293.24	c |   4968202 |    3612  1160280  3553322 |        1   281023    187 |  0.000 % |
2293.22/2293.24	c |   4968302 |    3612  1160280  3553322 |        1   281123    188 |  0.000 % |
2293.22/2293.24	c |   4969390 |    3612  1160280  3553322 |        1   282211    187 |  0.000 % |
2293.22/2293.24	c |   4969928 |    3612  1160280  3553322 |        1   282749    188 |  0.000 % |
2293.22/2293.24	c |   4970956 |    3612  1160280  3553322 |        1   283777    188 |  0.000 % |
2293.22/2293.24	c |   4971057 |    3612  1160280  3553322 |        1   283878    188 |  0.000 % |
2313.02/2313.09	c |   4971157 |    3612  1160280  3553322 |        1   283978    188 |  0.000 % |
2313.02/2313.09	c |   4971633 |    3612  1160280  3553322 |        1   284454    188 |  0.000 % |
2313.02/2313.09	c |   4971734 |    3612  1160280  3553322 |        1   284555    188 |  0.000 % |
2313.02/2313.09	c |   4971849 |    3612  1160280  3553322 |        1   284670    188 |  0.000 % |
2313.02/2313.09	c |   4971950 |    3612  1160280  3553322 |        1   284771    188 |  0.000 % |
2313.02/2313.09	c |   4972050 |    3612  1160280  3553322 |        1   284871    188 |  0.000 % |
2313.02/2313.09	c |   4972850 |    3612  1160280  3553322 |        1   285671    188 |  0.000 % |
2313.02/2313.09	c |   4973337 |    3612  1160280  3553322 |        1   286158    189 |  0.000 % |
2313.02/2313.09	c |   4973443 |    3612  1160280  3553322 |        1   286264    189 |  0.000 % |
2313.02/2313.09	c |   4973543 |    3612  1160280  3553322 |        1   286364    189 |  0.000 % |
2313.02/2313.09	c |   4973650 |    3612  1160280  3553322 |        1   286471    189 |  0.000 % |
2313.02/2313.09	c |   4973755 |    3612  1160280  3553322 |        1   286576    189 |  0.000 % |
2313.02/2313.09	c |   4973855 |    3612  1160280  3553322 |        1   286676    189 |  0.000 % |
2313.02/2313.09	c |   4973956 |    3612  1160280  3553322 |        1   286777    189 |  0.000 % |
2313.02/2313.09	c |   4974056 |    3612  1160280  3553322 |        1   286877    189 |  0.000 % |
2313.02/2313.09	c |   4974210 |    3612  1160280  3553322 |        1   287031    189 |  0.000 % |
2313.02/2313.09	c |   4974310 |    3612  1160280  3553322 |        1   287131    189 |  0.000 % |
2313.02/2313.09	c |   4974420 |    3612  1160280  3553322 |        1   287241    189 |  0.000 % |
2313.02/2313.09	c |   4974521 |    3612  1160280  3553322 |        1   287342    189 |  0.000 % |
2313.02/2313.09	c |   4976879 |    3612  1160280  3553322 |        1   289700    189 |  0.000 % |
2313.02/2313.09	c |   4978821 |    3612  1160280  3553322 |        1   291642    189 |  0.000 % |
2313.02/2313.09	c |   4993382 |    3612  1160280  3553322 |        1   306203    189 |  0.000 % |
2313.02/2313.09	c |   4993482 |    3612  1160280  3553322 |        1   306303    189 |  0.000 % |
2313.02/2313.09	c |   4993582 |    3612  1160280  3553322 |        1   306403    189 |  0.000 % |
2313.02/2313.09	c |   4994167 |    3612  1160280  3553322 |        1   306988    189 |  0.000 % |
2313.02/2313.09	c |   4994905 |    3612  1160280  3553322 |        1   307726    189 |  0.000 % |
2313.02/2313.09	c |   4995005 |    3612  1160280  3553322 |        1   307826    190 |  0.000 % |
2313.02/2313.09	c |   4995110 |    3612  1160280  3553322 |        1   307931    190 |  0.000 % |
2313.02/2313.09	c |   4995210 |    3612  1160280  3553322 |        1   308031    190 |  0.000 % |
2313.02/2313.09	c |   4995312 |    3612  1160280  3553322 |        1   308133    190 |  0.000 % |
2313.02/2313.09	c |   4995537 |    3612  1160280  3553322 |        1   308358    190 |  0.000 % |
2313.02/2313.09	c |   4995994 |    3612  1160280  3553322 |        1   308815    190 |  0.000 % |
2313.02/2313.09	c |   4996117 |    3612  1160280  3553322 |        1   308938    190 |  0.000 % |
2313.02/2313.09	c |   4996217 |    3612  1160280  3553322 |        1   309038    190 |  0.000 % |
2313.02/2313.09	c |   4996317 |    3612  1160280  3553322 |        1   309138    190 |  0.000 % |
2313.02/2313.09	c |   4996417 |    3612  1160280  3553322 |        1   309238    190 |  0.000 % |
2313.02/2313.09	c |   4996526 |    3612  1160280  3553322 |        1   309347    190 |  0.000 % |
2313.02/2313.09	c |   4996627 |    3612  1160280  3553322 |        1   309448    190 |  0.000 % |
2313.02/2313.09	c |   4996728 |    3612  1160280  3553322 |        1   309549    190 |  0.000 % |
2313.02/2313.09	c |   4996829 |    3612  1160280  3553322 |        1   309650    190 |  0.000 % |
2313.02/2313.09	c |   4996929 |    3612  1160280  3553322 |        1   309750    190 |  0.000 % |
2313.02/2313.09	c |   4997029 |    3612  1160280  3553322 |        1   309850    190 |  0.000 % |
2313.02/2313.09	c |   4997129 |    3612  1160280  3553322 |        1   309950    190 |  0.000 % |
2313.02/2313.09	c |   5001146 |    3612  1160280  3553322 |        1   313967    190 |  0.000 % |
2313.02/2313.09	c |   5001600 |    3612  1160280  3553322 |        1   314421    190 |  0.000 % |
2313.02/2313.09	c |   5001701 |    3612  1160280  3553322 |        1   314522    190 |  0.000 % |
2313.02/2313.09	c |   5001802 |    3612  1160280  3553322 |        1   314623    190 |  0.000 % |
2313.02/2313.09	c |   5001904 |    3612  1160280  3553322 |        1   314725    190 |  0.000 % |
2313.02/2313.09	c |   5002004 |    3612  1160280  3553322 |        1   157443    126 |  0.000 % |
2313.02/2313.09	c |   5002104 |    3612  1160280  3553322 |        1   157543    126 |  0.000 % |
3800.86/3800.87	c |   5002204 |    3612  1160280  3553322 |        1   157643    126 |  0.000 % |
3800.86/3800.87	c |   5002838 |    3612  1160280  3553322 |        1   158277    127 |  0.000 % |
3800.86/3800.87	c |   5002938 |    3612  1160280  3553322 |        1   158377    127 |  0.000 % |
3800.86/3800.87	c |   5003038 |    3612  1160280  3553322 |        1   158477    127 |  0.000 % |
3800.86/3800.87	c |   5003138 |    3612  1160280  3553322 |        1   158577    127 |  0.000 % |
3800.86/3800.87	c |   5003240 |    3612  1160280  3553322 |        1   158679    127 |  0.000 % |
3800.86/3800.87	c |   5003340 |    3612  1160280  3553322 |        1   158779    127 |  0.000 % |
3800.86/3800.87	c |   5003441 |    3612  1160280  3553322 |        1   158880    127 |  0.000 % |
3800.86/3800.87	c |   5003568 |    3612  1160280  3553322 |        1   159007    127 |  0.000 % |
3800.86/3800.87	c |   5003673 |    3612  1160280  3553322 |        1   159112    127 |  0.000 % |
3800.86/3800.87	c |   5003773 |    3612  1160280  3553322 |        1   159212    128 |  0.000 % |
3800.86/3800.87	c |   5004232 |    3612  1160280  3553322 |        1   159671    128 |  0.000 % |
3800.86/3800.87	c |   5004335 |    3612  1160280  3553322 |        1   159774    128 |  0.000 % |
3800.86/3800.87	c |   5004436 |    3612  1160280  3553322 |        1   159875    128 |  0.000 % |
3800.86/3800.87	c |   5004536 |    3612  1160280  3553322 |        1   159975    128 |  0.000 % |
3800.86/3800.87	c |   5004636 |    3612  1160280  3553322 |        1   160075    128 |  0.000 % |
3800.86/3800.87	c |   5004737 |    3612  1160280  3553322 |        1   160176    128 |  0.000 % |
3800.86/3800.87	c |   5004837 |    3612  1160280  3553322 |        1   160276    129 |  0.000 % |
3800.86/3800.87	c |   5004938 |    3612  1160280  3553322 |        1   160377    129 |  0.000 % |
3800.86/3800.87	c |   5005039 |    3612  1160280  3553322 |        1   160478    129 |  0.000 % |
3800.86/3800.87	c |   5005140 |    3612  1160280  3553322 |        1   160579    129 |  0.000 % |
3800.86/3800.87	c |   5005294 |    3612  1160280  3553322 |        1   160733    129 |  0.000 % |
3800.86/3800.87	c |   5005395 |    3612  1160280  3553322 |        1   160834    129 |  0.000 % |
3800.86/3800.87	c |   5006997 |    3612  1160280  3553322 |        1   162436    131 |  0.000 % |
3800.86/3800.87	c |   5007098 |    3612  1160280  3553322 |        1   162537    131 |  0.000 % |
3800.86/3800.87	c |   5007199 |    3612  1160280  3553322 |        1   162638    131 |  0.000 % |
3800.86/3800.87	c |   5007389 |    3612  1160280  3553322 |        1   162828    131 |  0.000 % |
3800.86/3800.87	c |   5007489 |    3612  1160280  3553322 |        1   162928    131 |  0.000 % |
3800.86/3800.87	c |   5007591 |    3612  1160280  3553322 |        1   163030    132 |  0.000 % |
3800.86/3800.87	c |   5007691 |    3612  1160280  3553322 |        1   163130    132 |  0.000 % |
3800.86/3800.87	c |   5007858 |    3612  1160280  3553322 |        1   163297    132 |  0.000 % |
3800.86/3800.87	c |   5022278 |    3612  1160280  3553322 |        1   177717    133 |  0.000 % |
3800.86/3800.87	c |   5243722 |    3612  1160280  3553322 |        1   239171    118 |  0.000 % |
3800.86/3800.87	c |   5245699 |    3612  1160280  3553322 |        1   241148    118 |  0.000 % |
3800.86/3800.87	c |   5368465 |    3612  1160280  3553322 |        1   201300    117 |  0.000 % |
3800.86/3800.87	c |   5368565 |    3612  1160280  3553322 |        1   201400    117 |  0.000 % |
3800.86/3800.87	c |   5368676 |    3612  1160280  3553322 |        1   201511    117 |  0.000 % |
3800.86/3800.87	c |   5375755 |    3612  1160280  3553322 |        1   208590    118 |  0.000 % |
3800.86/3800.87	c |   5424169 |    3612  1160280  3553322 |        1   257004    121 |  0.000 % |
3800.86/3800.87	c |   5506894 |    3612  1160280  3553322 |        1   174552    113 |  0.000 % |
3800.86/3800.87	c |   5603262 |    3612  1160280  3553322 |        1   270920    119 |  0.000 % |
3800.86/3800.87	c |   5603492 |    3612  1160280  3553322 |        1   271150    119 |  0.000 % |
3800.86/3800.87	c |   5604635 |    3612  1160280  3553322 |        1   272293    119 |  0.000 % |
3800.86/3800.87	c |   5623275 |    3612  1160280  3553322 |        1   290933    120 |  0.000 % |
3800.86/3800.87	c |   7370612 |    3612  1160280  3553322 |        1   243240    102 |  0.000 % |
3800.86/3800.87	c |   7372837 |    3612  1160280  3553322 |        1   245465    102 |  0.000 % |
3800.86/3800.87	c |   7379591 |    3612  1160280  3553322 |        1   252219    102 |  0.000 % |
3800.86/3800.87	c |   7409059 |    3612  1160280  3553322 |        1   281687    104 |  0.000 % |
3800.86/3800.87	c |   7661030 |    3612  1160280  3553322 |        1   339855    110 |  0.000 % |
3800.86/3800.87	c |   7661170 |    3612  1160280  3553322 |        1   339995    110 |

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

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

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


[startup+0 s]
/proc/loadavg: 1.78 1.95 1.98 3/387 17171
/proc/meminfo: memFree=24157440/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0

[startup+0.016224 s]
/proc/loadavg: 1.78 1.95 1.98 3/387 17171
/proc/meminfo: memFree=24157440/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100225 s]
/proc/loadavg: 1.78 1.95 1.98 3/387 17171
/proc/meminfo: memFree=24157440/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301187 s]
/proc/loadavg: 1.78 1.95 1.98 3/387 17171
/proc/meminfo: memFree=24157440/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.701122 s]
/proc/loadavg: 1.78 1.95 1.98 3/387 17171
/proc/meminfo: memFree=24157440/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50091 s]
/proc/loadavg: 1.78 1.95 1.98 3/389 17173
/proc/meminfo: memFree=24069872/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
[pid=17172] ppid=17171 vsize=102136 CPUtime=1.49 cores=0,2,4,6
/proc/17172/stat : 17172 (SatELite_releas) R 17171 17171 15945 0 -1 4202496 21628 0 0 0 145 4 0 0 25 0 1 0 806657251 104587264 21583 33554432000 134512640 135144242 4288173680 18446744073709551615 134580336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17172/statm: 25534 21583 77 155 0 25377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110840

[startup+3.10069 s]
/proc/loadavg: 1.78 1.95 1.98 3/389 17173
/proc/meminfo: memFree=24068880/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
[pid=17172] ppid=17171 vsize=102136 CPUtime=3.09 cores=0,2,4,6
/proc/17172/stat : 17172 (SatELite_releas) R 17171 17171 15945 0 -1 4202496 21628 0 0 0 305 4 0 0 25 0 1 0 806657251 104587264 21583 33554432000 134512640 135144242 4288173680 18446744073709551615 134588216 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17172/statm: 25534 21583 77 155 0 25377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110840

[startup+6.30113 s]
/proc/loadavg: 1.80 1.95 1.98 3/389 17173
/proc/meminfo: memFree=24068492/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 806657251 8912896 253 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17171/statm: 2176 253 211 178 0 69 0
[pid=17172] ppid=17171 vsize=102272 CPUtime=6.29 cores=0,2,4,6
/proc/17172/stat : 17172 (SatELite_releas) R 17171 17171 15945 0 -1 4202496 21632 0 0 0 625 4 0 0 25 0 1 0 806657251 104726528 21587 33554432000 134512640 135144242 4288173680 18446744073709551615 134588135 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17172/statm: 25568 21587 77 155 0 25411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110976

[startup+12.701 s]
/proc/loadavg: 1.81 1.95 1.98 3/389 17174
/proc/meminfo: memFree=24079468/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=95916 CPUtime=4.98 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 30237 0 0 0 494 4 0 0 25 0 1 0 806658020 98217984 17612 33554432000 4194304 4260849 140737433855888 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 23979 17612 240 17 0 20620 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 104620

[startup+25.5007 s]
/proc/loadavg: 1.85 1.96 1.98 3/389 17174
/proc/meminfo: memFree=24034064/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=97796 CPUtime=17.78 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 77968 0 0 0 1767 11 0 0 25 0 1 0 806658020 100143104 20859 33554432000 4194304 4260849 140737433855888 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 24449 20859 240 17 0 21090 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 106500

[startup+51.1012 s]
/proc/loadavg: 1.90 1.96 1.98 3/389 17175
/proc/meminfo: memFree=24023976/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=133244 CPUtime=43.38 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 150018 0 0 0 4315 23 0 0 25 0 1 0 806658020 136441856 22485 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 33311 22485 251 17 0 29952 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 141948

[startup+102.315 s]
/proc/loadavg: 1.96 1.96 1.98 3/389 17176
/proc/meminfo: memFree=24007616/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=140532 CPUtime=94.6 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 261734 0 0 0 9420 40 0 0 25 0 1 0 806658020 143904768 24008 33554432000 4194304 4260849 140737433855888 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 35133 24008 252 17 0 31774 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 149236

[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.98 3/389 17178
/proc/meminfo: memFree=23980220/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=145596 CPUtime=154.58 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 353366 0 0 0 15405 53 0 0 25 0 1 0 806658020 149090304 30924 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 36399 30924 252 17 0 33040 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 154300

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/389 17180
/proc/meminfo: memFree=23944584/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=149820 CPUtime=214.59 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 449534 0 0 0 21388 71 0 0 25 0 1 0 806658020 153415680 30550 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 37455 30550 252 17 0 34096 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 158524

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/389 17181
/proc/meminfo: memFree=23927796/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=153584 CPUtime=274.59 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 530593 0 0 0 27373 86 0 0 25 0 1 0 806658020 157270016 33705 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 38396 33705 252 17 0 35037 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 162288

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/389 17183
/proc/meminfo: memFree=23900228/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=208776 CPUtime=334.59 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 593447 0 0 0 33361 98 0 0 25 0 1 0 806658020 213786624 39756 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 52194 39756 252 17 0 48835 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 217480

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/389 17184
/proc/meminfo: memFree=23934032/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6

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

/proc/17174/statm: 114961 97042 252 17 0 111602 0
Current children cumulated CPU time (s) 4302.37
Current children cumulated vsize (KiB) 468548

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/382 17334
/proc/meminfo: memFree=23833568/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=462328 CPUtime=4354.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3060991 0 0 0 434888 582 0 0 25 0 1 0 806658020 473423872 87655 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 115582 87655 252 17 0 112223 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 471032

[startup+4422.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/382 17336
/proc/meminfo: memFree=23753756/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=595368 CPUtime=4414.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3081003 0 0 0 440884 586 0 0 25 0 1 0 806658020 609656832 107547 33554432000 4194304 4260849 140737433855888 18446744073709551615 4238016 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 148842 107547 252 17 0 145483 0
Current children cumulated CPU time (s) 4422.38
Current children cumulated vsize (KiB) 604072

[startup+4482.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/382 17342
/proc/meminfo: memFree=23775272/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=463944 CPUtime=4474.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3135432 0 0 0 446875 595 0 0 25 0 1 0 806658020 475078656 102229 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 115986 102229 252 17 0 112627 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 472648

[startup+4542.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/382 17345
/proc/meminfo: memFree=23850376/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=383756 CPUtime=4534.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3183680 0 0 0 452867 603 0 0 25 0 1 0 806658020 392966144 83229 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 95939 83229 252 17 0 92580 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 392460

[startup+4602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/382 17348
/proc/meminfo: memFree=23788204/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=467328 CPUtime=4594.71 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3199141 0 0 0 458863 608 0 0 25 0 1 0 806658020 478543872 98564 33554432000 4194304 4260849 140737433855888 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 116832 98564 252 17 0 113473 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 476032

[startup+4662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/382 17349
/proc/meminfo: memFree=23736924/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=604860 CPUtime=4654.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3212003 0 0 0 464859 611 0 0 25 0 1 0 806658020 619376640 111306 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 151215 111306 252 17 0 147856 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 613564

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/382 17351
/proc/meminfo: memFree=23789788/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=473808 CPUtime=4714.72 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3257065 0 0 0 470852 620 0 0 25 0 1 0 806658020 485179392 98155 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 118452 98155 252 17 0 115093 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 482512

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/382 17352
/proc/meminfo: memFree=23749908/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=474956 CPUtime=4774.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3267235 0 0 0 476847 623 0 0 25 0 1 0 806658020 486354944 108233 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 118739 108233 252 17 0 115380 0
Current children cumulated CPU time (s) 4782.38
Current children cumulated vsize (KiB) 483660

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/382 17354
/proc/meminfo: memFree=23817044/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=475916 CPUtime=4834.71 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3306977 0 0 0 482839 632 0 0 25 0 1 0 806658020 487337984 91357 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 118979 91357 252 17 0 115620 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 484620

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/382 17355
/proc/meminfo: memFree=23781516/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=477504 CPUtime=4894.7 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3316080 0 0 0 488835 635 0 0 25 0 1 0 806658020 488964096 100377 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 119376 100377 252 17 0 116017 0
Current children cumulated CPU time (s) 4902.38
Current children cumulated vsize (KiB) 486208

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/382 17357
/proc/meminfo: memFree=23746724/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=480624 CPUtime=4954.71 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3324695 0 0 0 494832 639 0 0 25 0 1 0 806658020 492158976 108917 33554432000 4194304 4260849 140737433855888 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 120156 108917 252 17 0 116797 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 489328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 1.05 1.01 1.00 2/382 17358
/proc/meminfo: memFree=23823172/32951124 swapFree=49244120/67111528
[pid=17171] ppid=17169 vsize=8704 CPUtime=7.68 cores=0,2,4,6
/proc/17171/stat : 17171 (glucose.sh) S 17169 17171 15945 0 -1 4202496 360 21634 0 0 0 0 760 8 18 0 1 0 806657251 8912896 255 33554432000 4194304 4922060 140735849769360 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/17171/statm: 2176 255 211 178 0 69 0
[pid=17174] ppid=17171 vsize=480816 CPUtime=4992.42 cores=0,2,4,6
/proc/17174/stat : 17174 (glucose_static) R 17171 17171 15945 0 -1 4202496 3360403 0 0 0 498597 645 0 0 25 0 1 0 806658020 492355584 89809 33554432000 4194304 4260849 140737433855888 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17174/statm: 120204 89809 252 17 0 116845 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 489520

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 17171 and gives
#  childrusage.ru_utime.tv_sec=7
#  childrusage.ru_utime.tv_usec=604843
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=84987
# CPU time returned by wait4() is 7.68983
# 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.02
CPU time (s): 5000.1
CPU user time (s): 4993.57
CPU system time (s): 6.53
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 752008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60484
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 27

runsolver used 20.7129 second user time and 41.6567 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-01 19:49:05
IDJOB=3303597
IDBENCH=88203
IDSOLVER=1687
FILE ID=node101/3303597-1306950544
RUNJOBID= node101-1306950533-17118
PBS_JOBID= 13488587
Free space on /tmp= 73916 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303597-1306950544/watcher-3303597-1306950544 -o /tmp/evaluation-result-3303597-1306950544/solver-3303597-1306950544 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3303597-1306950544.cnf 

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

MD5SUM BENCH= 472b10ce0a2683d9355981037eea091e
RANDOM SEED=728641011

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.841
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:      24157472 kB
Buffers:        153628 kB
Cached:         187644 kB
SwapCached:      27120 kB
Active:        8323416 kB
Inactive:       199644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24157472 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:           21324 kB
Writeback:           0 kB
AnonPages:     8177020 kB
Mapped:          18028 kB
Slab:           128140 kB
PageTables:      74568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78650444 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= 73900 MiB
End job on node101 at 2011-06-01 21:12:27