Trace number 1821797

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
minisat_cumr r-2009-03-18? (TO) 1200.08 1200.02

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
MD5SUM6419e2e5b92274df2e7e43e6c6a98566
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark627.13
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses57446
Sum of the clauses size170514
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21939
Number of clauses of size 355484
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   57446   170514 |   17233       0        0     nan |  0.000 % |
0.42/0.41	c |         0 |   56659   238983 |      --       0       --      -- |     --   | -787/68469
0.42/0.41	c ==============================================================================
0.42/0.41	c Result  :   #vars: 636   #clauses: 56659   #literals: 238983
0.42/0.41	c CPU time:   0.41 s
0.42/0.41	c ==============================================================================
0.42/0.48	c This is MiniSat 2.0 beta
0.42/0.48	c WARNING: for repeatability, setting FPU to use double precision
0.42/0.48	c ============================[ Problem Statistics ]=============================
0.42/0.48	c |                                                                             |
0.42/0.49	c |  Number of variables:  636                                                  |
0.42/0.49	c |  Number of clauses:    56659                                                |
0.49/0.52	c |  Parsing time:         0.04         s                                       |
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |     636    56659   238983 |    18886        0    nan |  0.000 % |
0.49/0.63	c |       513 |     636    56659   238983 |    18886      513     36 |  0.000 % |
0.49/0.84	c |      1028 |     636    56659   238983 |    18886     1028     39 |  0.000 % |
0.49/1.05	c |      1542 |     636    56659   238983 |    18886     1542     38 |  0.000 % |
1.42/1.41	c |      2566 |     636    56659   238983 |    18886     2566     36 |  0.000 % |
1.62/1.64	c |      3079 |     636    56659   238983 |    18886     3079     35 |  0.000 % |
1.82/1.86	c |      3592 |     636    56659   238983 |    18886     3592     35 |  0.000 % |
2.22/2.28	c |      4616 |     636    56659   238983 |    18886     4616     35 |  0.000 % |
3.02/3.08	c |      6665 |     636    56659   238983 |    18886     6665     34 |  0.000 % |
3.22/3.27	c |      7180 |     636    56659   238983 |    18886     7180     34 |  0.000 % |
3.32/3.41	c |      7692 |     636    56659   238983 |    18886     7692     34 |  0.000 % |
3.82/3.89	c |      8716 |     636    56659   238983 |    18886     8716     34 |  0.000 % |
4.12/4.16	c |      9228 |     636    56659   238983 |    18886     9228     34 |  0.000 % |
4.32/4.40	c |      9741 |     636    56659   238983 |    18886     9741     34 |  0.000 % |
5.02/5.02	c |     10765 |     636    56659   238983 | 2147483647    10765     34 |  0.000 % |
6.22/6.26	c |     12814 |     636    56659   238983 | 2147483647    12814     34 |  0.000 % |
9.22/9.21	c |     16913 |     636    56659   238983 | 2147483647    16913     32 |  0.000 % |
9.52/9.57	c |     17425 |     636    56659   238983 | 2147483647    17425     32 |  0.000 % |
9.82/9.86	c |     17940 |     636    56659   238983 | 2147483647    17940     32 |  0.000 % |
10.72/10.71	c |     18969 |     636    56659   238983 | 2147483647    18969     31 |  0.000 % |
11.02/11.10	c |     19483 |     636    56659   238983 | 2147483647    19483     31 |  0.000 % |
11.52/11.54	c |     19996 |     636    56659   238983 | 2147483647    19996     31 |  0.000 % |
12.32/12.33	c |     21021 |     636    56659   238983 | 2147483647    21021     31 |  0.000 % |
13.82/13.86	c |     23069 |     636    56659   238983 | 2147483647    23069     31 |  0.000 % |
14.32/14.32	c |     23584 |     636    56659   238983 | 2147483647    23584     31 |  0.000 % |
14.82/14.84	c |     24097 |     636    56659   238983 | 2147483647    24097     31 |  0.000 % |
15.72/15.72	c |     25122 |     636    56659   238983 | 2147483647    25122     31 |  0.000 % |
16.12/16.19	c |     25634 |     636    56659   238983 | 2147483647    25634     31 |  0.000 % |
16.52/16.60	c |     26147 |     636    56659   238983 | 2147483647    26147     31 |  0.000 % |
17.33/17.39	c |     27172 |     636    56659   238983 | 2147483647    27172     30 |  0.000 % |
18.93/18.98	c |     29220 |     636    56659   238983 | 2147483647    29220     30 |  0.000 % |
22.83/22.83	c |     33316 |     636    56659   238983 | 2147483647    33316     29 |  0.000 % |
32.03/32.08	c |     41508 |     636    56659   238983 | 2147483647    41508     28 |  0.000 % |
32.73/32.77	c |     42020 |     636    56659   238983 | 2147483647    42020     28 |  0.000 % |
33.43/33.45	c |     42532 |     636    56659   238983 | 2147483647    42532     28 |  0.000 % |
34.63/34.69	c |     43557 |     636    56659   238983 | 2147483647    43557     28 |  0.000 % |
35.33/35.32	c |     44071 |     636    56659   238983 | 2147483647    44071     28 |  0.000 % |
35.83/35.91	c |     44584 |     636    56659   238983 | 2147483647    44584     29 |  0.000 % |
37.13/37.16	c |     45608 |     636    56659   238983 | 2147483647    45608     29 |  0.000 % |
39.33/39.41	c |     47656 |     636    56659   238983 | 2147483647    47656     29 |  0.000 % |
39.93/39.92	c |     48168 |     636    56659   238983 | 2147483647    48168     29 |  0.000 % |
40.63/40.64	c |     48682 |     636    56659   238983 | 2147483647    48682     29 |  0.000 % |
42.03/42.06	c |     49708 |     636    56659   238983 | 2147483647    49708     29 |  0.000 % |
42.63/42.69	c |     50220 |     636    56659   238983 | 2147483647    50220     28 |  0.000 % |
43.23/43.30	c |     50734 |     636    56659   238983 | 2147483647    50734     28 |  0.000 % |
44.42/44.48	c |     51760 |     636    56659   238983 | 2147483647    51760     28 |  0.000 % |
46.72/46.77	c |     53809 |     636    56659   238983 | 2147483647    53809     28 |  0.000 % |
51.72/51.77	c |     57908 |     636    56659   238983 | 2147483647    57908     28 |  0.000 % |
52.32/52.38	c |     58421 |     636    56659   238983 | 2147483647    58421     28 |  0.000 % |
52.92/52.96	c |     58934 |     636    56659   238983 | 2147483647    58934     28 |  0.000 % |
54.12/54.13	c |     59960 |     636    56659   238983 | 2147483647    59960     27 |  0.000 % |
54.72/54.71	c |     60474 |     636    56659   238983 | 2147483647    60474     27 |  0.000 % |
55.32/55.39	c |     60987 |     636    56659   238983 | 2147483647    60987     27 |  0.000 % |
56.52/56.56	c |     62011 |     636    56659   238983 | 2147483647    62011     27 |  0.000 % |
59.42/59.43	c |     64059 |     636    56659   238983 | 2147483647    64059     28 |  0.000 % |
60.02/60.03	c |     64572 |     636    56659   238983 | 2147483647    64572     28 |  0.000 % |
60.82/60.85	c |     65085 |     636    56659   238983 | 2147483647    65085     28 |  0.000 % |
62.42/62.44	c |     66109 |     636    56659   238983 | 2147483647    66109     28 |  0.000 % |
62.92/62.99	c |     66623 |     636    56659   238983 | 2147483647    66623     28 |  0.000 % |
63.52/63.53	c |     67136 |     636    56659   238983 | 2147483647    67136     28 |  0.000 % |
64.62/64.69	c |     68162 |     636    56659   238983 | 2147483647    68162     28 |  0.000 % |
67.32/67.34	c |     70214 |     636    56659   238983 | 2147483647    70214     28 |  0.000 % |
72.42/72.44	c |     74314 |     636    56659   238983 | 2147483647    74314     27 |  0.000 % |
86.12/86.10	c |     82509 |     636    56659   238983 | 2147483647    82509     27 |  0.000 % |
112.42/112.47	c |     98893 |     636    56659   238983 |    90000    80697     27 |  0.000 % |
113.32/113.34	c |     99408 |     636    56659   238983 |    90000    81212     27 |  0.000 % |
114.42/114.42	c |     99920 |     636    56659   238983 |    90000    81724     27 |  0.000 % |
116.32/116.33	c |    100944 |     636    56659   238983 |    81805    65316     27 |  0.000 % |
116.92/116.96	c |    101456 |     636    56659   238983 |    81805    65828     27 |  0.000 % |
117.62/117.69	c |    101968 |     636    56659   238983 |    81805    66340     27 |  0.000 % |
118.93/118.95	c |    102994 |     636    56659   238983 |    81805    67366     27 |  0.000 % |
121.72/121.72	c |    105043 |     636    56659   238983 |    81805    69415     27 |  0.000 % |
122.42/122.47	c |    105557 |     636    56659   238983 |    81805    69929     27 |  0.000 % |
123.52/123.50	c |    106070 |     636    56659   238983 |    81805    70442     27 |  0.000 % |
125.53/125.57	c |    107099 |     636    56659   238983 |    81805    71471     27 |  0.000 % |
126.63/126.66	c |    107611 |     636    56659   238983 |    81805    71983     27 |  0.000 % |
127.62/127.70	c |    108123 |     636    56659   238983 |    81805    72495     27 |  0.000 % |
129.62/129.65	c |    109149 |     636    56659   238983 |    81805    73521     27 |  0.000 % |
133.33/133.33	c |    111198 |     636    56659   238983 |    74376    62723     26 |  0.000 % |
139.73/139.81	c |    115294 |     636    56659   238983 |    74376    66819     26 |  0.000 % |
140.63/140.61	c |    115806 |     636    56659   238983 |    74376    67331     26 |  0.000 % |
141.63/141.64	c |    116318 |     636    56659   238983 |    74376    67843     26 |  0.000 % |
143.43/143.45	c |    117343 |     636    56659   238983 |    74376    68868     26 |  0.000 % |
144.23/144.30	c |    117856 |     636    56659   238983 |    74376    69381     26 |  0.000 % |
145.23/145.28	c |    118368 |     636    56659   238983 |    74376    69893     26 |  0.000 % |
147.33/147.40	c |    119392 |     636    56659   238983 |    74376    70917     26 |  0.000 % |
150.63/150.66	c |    121440 |     636    56659   238983 |    71526    59373     26 |  0.000 % |
151.03/151.10	c |    121953 |     636    56659   238983 |    71526    59886     26 |  0.000 % |
151.33/151.40	c |    122467 |     636    56659   238983 |    71526    60400     26 |  0.000 % |
152.23/152.23	c |    123491 |     636    56659   238983 |    71526    61424     26 |  0.000 % |
152.53/152.51	c |    124004 |     636    56659   238983 |    71526    61937     26 |  0.000 % |
152.83/152.86	c |    124519 |     636    56659   238983 |    71526    62452     26 |  0.000 % |
153.63/153.66	c |    125543 |     636    56659   238983 |    71526    63476     26 |  0.000 % |
155.33/155.33	c |    127591 |     636    56659   238983 |    71526    65524     26 |  0.000 % |
159.63/159.61	c |    131687 |     636    56659   238983 |    67934    58703     27 |  0.000 % |
167.93/167.92	c |    139879 |     636    56659   238983 |    67934    66895     27 |  0.000 % |
169.43/169.49	c |    140391 |     636    56659   238983 |    67018    58343     26 |  0.002 % |
171.03/171.02	c |    140903 |     636    56659   238983 |    67018    58855     26 |  0.024 % |
175.03/175.09	c |    141929 |     636    56659   238983 |    67018    59881     26 |  0.024 % |
177.23/177.25	c |    142441 |     636    56659   238983 |    67018    60393     26 |  0.000 % |
177.63/177.70	c |    142953 |     636    56659   238983 |    67018    60905     26 |  0.000 % |
183.03/183.10	c |    143977 |     636    56659   238983 |    67018    61929     26 |  0.000 % |
189.13/189.12	c |    146026 |     636    56659   238983 |    67018    63978     27 |  0.000 % |
190.13/190.20	c |    146539 |     636    56659   238983 |    67018    64491     27 |  0.000 % |
190.93/190.94	c |    147053 |     636    56659   238983 |    67018    65005     27 |  0.000 % |
192.93/192.95	c |    148078 |     636    56659   238983 |    67018    66030     27 |  0.000 % |
194.23/194.26	c |    148591 |     636    56659   238983 |    67018    66543     27 |  0.000 % |
195.13/195.19	c |    149104 |     636    56659   238983 |    67018    67056     27 |  0.000 % |
198.53/198.60	c |    150129 |     636    56659   238983 |    42749    27282     29 |  0.000 % |
201.13/201.16	c |    152178 |     636    56659   238983 |    42749    29331     29 |  0.000 % |
206.94/206.97	c |    156275 |     636    56659   238983 |    42749    33428     28 |  0.000 % |
207.53/207.58	c |    156788 |     636    56659   238983 |    42749    33941     28 |  0.000 % |
208.53/208.52	c |    157301 |     636    56659   238983 |    42749    34454     28 |  0.002 % |
210.03/210.10	c |    158326 |     636    56659   238983 |    42749    35479     28 |  0.000 % |
210.83/210.85	c |    158838 |     636    56659   238983 |    42749    35991     27 |  0.000 % |
211.53/211.60	c |    159350 |     636    56659   238983 |    42749    36503     27 |  0.000 % |
212.73/212.80	c |    160374 |     636    56659   238983 |    37153    31800     27 |  0.002 % |
214.03/214.10	c |    162422 |     636    56659   238983 |    37153    33848     28 |  0.000 % |
214.43/214.48	c |    162935 |     636    56659   238983 |    37153    34361     28 |  0.055 % |
214.64/214.68	c |    163448 |     636    56659   238983 |    37153    34874     28 |  0.055 % |
215.03/215.06	c |    164473 |     636    56659   238983 |    37153    35899     28 |  0.055 % |
215.23/215.28	c |    164986 |     636    56659   238983 |    37153    36412     28 |  0.055 % |
215.53/215.52	c |    165499 |     636    56659   238983 |    37153    36925     28 |  0.055 % |
216.03/216.03	c |    166524 |     636    56659   238983 |    37153    30850     29 |  0.000 % |
218.63/218.69	c |    168573 |     636    56659   238983 |    37153    32899     30 |  0.000 % |
223.53/223.54	c |    172669 |     636    56659   238983 |    34328    31203     30 |  0.000 % |
230.53/230.60	c |    180861 |     636    56659   238983 | 2147483647    32515     29 |  0.000 % |
245.44/245.50	c |    197246 |     636    56659   238983 | 2147483647    48900     27 |  0.000 % |
292.64/292.62	c |    230018 |     636    56659   238983 |    81655    81672     27 |  0.000 % |
293.44/293.50	c |    230531 |     636    56659   238983 |    81655    69400     27 |  0.000 % |
294.34/294.37	c |    231043 |     636    56659   238983 |    81655    69912     27 |  0.000 % |
295.74/295.81	c |    232067 |     636    56659   238983 |    81655    70936     27 |  0.000 % |
296.54/296.56	c |    232580 |     636    56659   238983 |    81655    71449     27 |  0.000 % |
297.34/297.41	c |    233093 |     636    56659   238983 |    81655    71962     27 |  0.000 % |
298.94/298.94	c |    234117 |     636    56659   238983 |    81655    72986     28 |  0.000 % |
301.84/301.84	c |    236168 |     636    56659   238983 |    81655    75037     28 |  0.000 % |
302.54/302.59	c |    236681 |     636    56659   238983 |    81655    75550     28 |  0.000 % |
303.34/303.39	c |    237199 |     636    56659   238983 |    81655    76068     27 |  0.000 % |
304.84/304.86	c |    238224 |     636    56659   238983 |    81655    77093     27 |  0.000 % |
305.54/305.54	c |    238737 |     636    56659   238983 |    81655    77606     27 |  0.000 % |
306.24/306.30	c |    239249 |     636    56659   238983 |    81655    78118     27 |  0.000 % |
307.94/307.99	c |    240274 |     636    56659   238983 |    78873    68831     26 |  0.000 % |
310.54/310.60	c |    242327 |     636    56659   238983 |    78873    70884     26 |  0.000 % |
316.04/316.10	c |    246426 |     636    56659   238983 |    78873    74983     26 |  0.000 % |
316.74/316.79	c |    246941 |     636    56659   238983 |    78873    75498     26 |  0.000 % |
317.54/317.53	c |    247455 |     636    56659   238983 |    78873    76012     26 |  0.003 % |
318.94/318.93	c |    248479 |     636    56659   238983 |    78873    77036     26 |  0.000 % |
319.64/319.68	c |    248991 |     636    56659   238983 |    78873    77548     26 |  0.000 % |
320.44/320.42	c |    249506 |     636    56659   238983 |    78873    78063     26 |  0.000 % |
322.04/322.07	c |    250530 |     636    56659   238983 | 2147483647    79087     26 |  0.000 % |
325.44/325.47	c |    252580 |     636    56659   238983 | 2147483647    81137     26 |  0.000 % |
326.44/326.45	c |    253093 |     636    56659   238983 | 2147483647    81650     26 |  0.000 % |
327.34/327.39	c |    253605 |     636    56659   238983 | 2147483647    82162     26 |  0.000 % |
329.14/329.12	c |    254630 |     636    56659   238983 | 2147483647    83187     27 |  0.000 % |
329.94/329.92	c |    255145 |     636    56659   238983 | 2147483647    83702     27 |  0.000 % |
330.74/330.80	c |    255657 |     636    56659   238983 | 2147483647    84214     27 |  0.000 % |
332.54/332.55	c |    256682 |     636    56659   238983 | 2147483647    85239     27 |  0.000 % |
336.24/336.23	c |    258730 |     636    56659   238983 | 2147483647    87287     27 |  0.000 % |
343.14/343.12	c |    262827 |     636    56659   238983 |    88557    78567     26 |  0.000 % |
356.44/356.43	c |    271020 |     636    56659   238983 |    85741    74986     28 |  0.000 % |
357.34/357.37	c |    271532 |     636    56659   238983 |    85741    75498     28 |  0.000 % |
358.25/358.29	c |    272045 |     636    56659   238983 |    85741    76011     28 |  0.000 % |
360.15/360.13	c |    273069 |     636    56659   238983 |    85741    77035     28 |  0.000 % |
361.15/361.21	c |    273582 |     636    56659   238983 |    85741    77548     28 |  0.000 % |
362.05/362.09	c |    274094 |     636    56659   238983 |    85741    78060     28 |  0.000 % |
363.95/363.98	c |    275119 |     636    56659   238983 |    85741    79085     28 |  0.000 % |
367.75/367.74	c |    277170 |     636    56659   238983 |    85741    81136     28 |  0.000 % |
368.65/368.62	c |    277683 |     636    56659   238983 |    85741    81649     28 |  0.000 % |
369.45/369.46	c |    278195 |     636    56659   238983 |    85741    82161     28 |  0.000 % |
371.15/371.14	c |    279220 |     636    56659   238983 |    85741    83186     28 |  0.000 % |
372.05/372.11	c |    279732 |     636    56659   238983 |    85741    83698     28 |  0.000 % |
373.55/373.53	c |    280244 |     636    56659   238983 |    83969    69772     29 |  0.000 % |
375.35/375.37	c |    281271 |     636    56659   238983 |    83969    70799     29 |  0.000 % |
378.25/378.25	c |    283319 |     636    56659   238983 |    83969    72847     29 |  0.000 % |
384.25/384.25	c |    287415 |     636    56659   238983 |    83969    76943     28 |  0.000 % |
384.95/384.93	c |    287928 |     636    56659   238983 |    83969    77456     28 |  0.000 % |
385.65/385.63	c |    288440 |     636    56659   238983 |    83969    77968     28 |  0.000 % |
387.35/387.35	c |    289464 |     636    56659   238983 |    83969    78992     28 |  0.000 % |
388.15/388.21	c |    289977 |     636    56659   238983 |    83969    79505     28 |  0.000 % |
389.25/389.23	c |    290490 |     636    56659   238983 |    79528    68957     28 |  0.000 % |
390.95/390.96	c |    291515 |     636    56659   238983 |    79528    69982     28 |  0.000 % |
395.05/395.08	c |    293563 |     636    56659   238983 |    79528    72030     28 |  0.000 % |
396.15/396.18	c |    294075 |     636    56659   238983 |    79528    72542     28 |  0.000 % |
397.45/397.51	c |    294588 |     636    56659   238983 |    79528    73055     28 |  0.000 % |
399.85/399.86	c |    295612 |     636    56659   238983 |    79528    74079     29 |  0.000 % |
400.85/400.85	c |    296125 |     636    56659   238983 |    79528    74592     29 |  0.000 % |
401.75/401.81	c |    296639 |     636    56659   238983 |    79528    75106     29 |  0.000 % |
403.64/403.67	c |    297663 |     636    56659   238983 |    79528    76130     28 |  0.000 % |
406.84/406.87	c |    299711 |     636    56659   238983 |    79528    78178     28 |  0.000 % |
413.84/413.87	c |    303810 |     636    56659   238983 |    78467    69692     28 |  0.000 % |
428.34/428.31	c |    312004 |     636    56659   238983 |    75882    64036     27 |  0.000 % |
452.14/452.19	c |    328388 |     636    56659   238983 |    72033    68390     26 |  0.000 % |
452.84/452.86	c |    328901 |     636    56659   238983 |    72033    68903     26 |  0.000 % |
453.44/453.45	c |    329414 |     636    56659   238983 |    72033    69416     26 |  0.000 % |
455.55/455.53	c |    330448 |     636    56659   238983 |    70002    59926     25 |  0.000 % |
456.04/456.03	c |    330960 |     636    56659   238983 |    70002    60438     25 |  0.002 % |
456.54/456.53	c |    331473 |     636    56659   238983 |    70002    60951     25 |  0.002 % |
458.34/458.40	c |    332502 |     636    56659   238983 |    70002    61980     24 |  0.002 % |
463.84/463.85	c |    334552 |     636    56659   238983 |    70002    64030     25 |  0.000 % |
464.84/464.82	c |    335067 |     636    56659   238983 |    70002    64545     25 |  0.000 % |
466.64/466.64	c |    335579 |     636    56659   238983 |    70002    65057     25 |  0.000 % |
469.34/469.37	c |    336604 |     636    56659   238983 |    70002    66082     25 |  0.000 % |
470.84/470.88	c |    337116 |     636    56659   238983 |    70002    66594     25 |  0.000 % |
472.65/472.71	c |    337628 |     636    56659   238983 |    70002    67106     25 |  0.000 % |
476.55/476.54	c |    338655 |     636    56659   238983 |    70002    68133     25 |  0.002 % |
481.55/481.52	c |    340703 |     636    56659   238983 |    69480    50219     25 |  0.000 % |
484.15/484.19	c |    344799 |     636    56659   238983 |    69480    54315     25 |  0.000 % |
484.55/484.52	c |    345314 |     636    56659   238983 |    69480    54830     25 |  0.000 % |
484.85/484.88	c |    345830 |     636    56659   238983 |    69480    55346     25 |  0.002 % |
485.65/485.62	c |    346854 |     636    56659   238983 |    69480    56370     25 |  0.000 % |
485.85/485.90	c |    347368 |     636    56659   238983 |    69480    56884     25 |  0.000 % |
486.25/486.23	c |    347881 |     636    56659   238983 |    69480    57397     25 |  0.000 % |
486.95/486.93	c |    348905 |     636    56659   238983 |    69480    58421     25 |  0.000 % |
490.95/490.93	c |    350954 |     636    56659   238983 |    59517    51163     25 |  0.000 % |
492.05/492.05	c |    351466 |     636    56659   238983 |    59517    51675     25 |  0.000 % |
492.95/492.95	c |    351979 |     636    56659   238983 |    59517    52188     25 |  0.000 % |
493.65/493.64	c |    353003 |     636    56659   238983 |    59517    53212     25 |  0.000 % |
495.15/495.13	c |    353515 |     636    56659   238983 |    59517    53724     25 |  0.000 % |
496.05/496.09	c |    354027 |     636    56659   238983 |    59517    54236     25 |  0.000 % |
497.85/497.84	c |    355051 |     636    56659   238983 |    59517    55260     26 |  0.000 % |
501.85/501.91	c |    357101 |     636    56659   238983 |    59517    57310     26 |  0.000 % |
507.15/507.17	c |    361197 |     636    56659   238983 |    47188    38497     27 |  0.000 % |
516.15/516.13	c |    369389 |     636    56659   238983 |    47188    46689     27 |  0.000 % |
516.75/516.80	c |    369905 |     636    56659   238983 |    47188    47205     27 |  0.000 % |
517.25/517.30	c |    370422 |     636    56659   238983 |    40852    35734     27 |  0.000 % |
517.95/517.97	c |    371447 |     636    56659   238983 |    40852    36759     27 |  0.000 % |
518.25/518.28	c |    371960 |     636    56659   238983 |    40852    37272     27 |  0.000 % |
518.65/518.62	c |    372472 |     636    56659   238983 |    40852    37784     27 |  0.000 % |
519.35/519.35	c |    373496 |     636    56659   238983 |    40852    38808     28 |  0.000 % |
520.65/520.62	c |    375545 |     636    56659   238983 |    40852    40857     28 |  0.000 % |
521.15/521.18	c |    376057 |     636    56659   238983 |    40852    35156     29 |  0.000 % |
521.65/521.61	c |    376569 |     636    56659   238983 |    40852    35668     29 |  0.000 % |
522.35/522.39	c |    377594 |     636    56659   238983 |    40852    36693     29 |  0.000 % |
522.85/522.83	c |    378106 |     636    56659   238983 |    40852    37205     29 |  0.000 % |
523.25/523.26	c |    378618 |     636    56659   238983 |    40852    37717     29 |  0.000 % |
524.15/524.11	c |    379644 |     636    56659   238983 |    40852    38743     29 |  0.000 % |
525.65/525.65	c |    381693 |     636    56659   238983 |    39100    36391     30 |  0.000 % |
528.65/528.65	c |    385789 |     636    56659   238983 |    39100    36569     29 |  0.000 % |
529.05/529.04	c |    386302 |     636    56659   238983 |    39100    37082     29 |  0.000 % |
529.45/529.43	c |    386814 |     636    56659   238983 |    39100    37594     29 |  0.000 % |
530.15/530.20	c |    387838 |     636    56659   238983 |    39100    38618     29 |  0.000 % |
530.65/530.63	c |    388350 |     636    56659   238983 |    39100    39130     29 |  0.000 % |
531.05/531.05	c |    388862 |     636    56659   238983 |    39100    35729     28 |  0.000 % |
531.75/531.77	c |    389888 |     636    56659   238983 |    39100    36755     28 |  0.000 % |
533.25/533.24	c |    391936 |     636    56659   238983 | 2147483647    38803     28 |  0.000 % |
533.65/533.66	c |    392448 |     636    56659   238983 | 2147483647    39315     28 |  0.000 % |
534.05/534.05	c |    392961 |     636    56659   238983 | 2147483647    39828     28 |  0.004 % |
534.75/534.74	c |    393986 |     636    56659   238983 | 2147483647    40853     28 |  0.000 % |
535.15/535.13	c |    394500 |     636    56659   238983 | 2147483647    41367     28 |  0.000 % |
535.65/535.61	c |    395012 |     636    56659   238983 | 2147483647    41879     28 |  0.000 % |
536.45/536.45	c |    396038 |     636    56659   238983 | 2147483647    42905     28 |  0.000 % |
538.25/538.22	c |    398088 |     636    56659   238983 | 2147483647    44955     29 |  0.000 % |
542.15/542.11	c |    402185 |     636    56659   238983 | 2147483647    49052     29 |  0.000 % |
549.85/549.84	c |    410378 |     636    56659   238983 | 2147483647    57245     29 |  0.000 % |
568.95/568.94	c |    426763 |     636    56659   238983 |    66870    63695     30 |  0.000 % |
600.96/600.93	c |    459532 |     636    56659   238983 | 2147483647    57440     30 |  0.000 % |
667.87/667.85	c |    525070 |     636    56659   238983 | 2147483647    74369     26 |  0.000 % |
669.46/669.50	c |    525583 |     636    56659   238983 | 2147483647    74882     26 |  0.000 % |
670.96/670.91	c |    526097 |     636    56659   238983 | 2147483647    75396     26 |  0.000 % |
674.06/674.07	c |    527122 |     636    56659   238983 | 2147483647    76421     26 |  0.000 % |
675.76/675.78	c |    527636 |     636    56659   238983 | 2147483647    76935     27 |  0.000 % |
677.56/677.61	c |    528149 |     636    56659   238983 | 2147483647    77448     27 |  0.000 % |
681.07/681.11	c |    529173 |     636    56659   238983 | 2147483647    78472     27 |  0.000 % |
687.26/687.27	c |    531221 |     636    56659   238983 |    79299    57518     26 |  0.000 % |
688.16/688.15	c |    531733 |     636    56659   238983 |    79299    58030     26 |  0.000 % |
688.66/688.71	c |    532246 |     636    56659   238983 |    79299    58543     26 |  0.000 % |
689.56/689.60	c |    533273 |     636    56659   238983 |    79299    59570     26 |  0.000 % |
690.06/690.07	c |    533785 |     636    56659   238983 |    79299    60082     26 |  0.000 % |
690.56/690.56	c |    534298 |     636    56659   238983 |    79299    60595     26 |  0.000 % |
691.76/691.75	c |    535322 |     636    56659   238983 |    79299    61619     26 |  0.002 % |
694.86/694.86	c |    537370 |     636    56659   238983 |    79299    63667     26 |  0.002 % |
699.16/699.18	c |    541467 |     636    56659   238983 |    66297    56894     26 |  0.000 % |
699.66/699.68	c |    541979 |     636    56659   238983 |    66297    57406     26 |  0.000 % |
700.17/700.18	c |    542492 |     636    56659   238983 |    66297    57919     26 |  0.002 % |
701.27/701.27	c |    543517 |     636    56659   238983 |    66297    58944     26 |  0.002 % |
702.17/702.20	c |    544029 |     636    56659   238983 |    66297    59456     26 |  0.000 % |
702.97/702.94	c |    544542 |     636    56659   238983 |    66297    59969     26 |  0.000 % |
704.57/704.60	c |    545567 |     636    56659   238983 |    66297    60994     26 |  0.000 % |
707.97/708.01	c |    547615 |     636    56659   238983 |    66297    63042     26 |  0.000 % |
708.77/708.75	c |    548127 |     636    56659   238983 |    66297    63554     26 |  0.000 % |
709.57/709.58	c |    548640 |     636    56659   238983 |    66297    64067     26 |  0.000 % |
711.47/711.46	c |    549665 |     636    56659   238983 |    66297    65092     26 |  0.000 % |
712.47/712.43	c |    550180 |     636    56659   238983 |    65427    53334     26 |  0.002 % |
713.07/713.03	c |    550692 |     636    56659   238983 |    65427    53846     26 |  0.000 % |
713.97/713.93	c |    551718 |     636    56659   238983 |    65427    54872     26 |  0.000 % |
716.17/716.19	c |    553768 |     636    56659   238983 |    65427    56922     26 |  0.002 % |
721.07/721.10	c |    557866 |     636    56659   238983 |    65427    61020     26 |  0.000 % |
731.07/731.10	c |    566061 |     636    56659   238983 | 2147483647    69215     26 |  0.000 % |
731.77/731.73	c |    566573 |     636    56659   238983 | 2147483647    69727     26 |  0.000 % |
732.47/732.44	c |    567085 |     636    56659   238983 | 2147483647    70239     26 |  0.000 % |
733.97/733.94	c |    568109 |     636    56659   238983 | 2147483647    71263     27 |  0.000 % |
734.77/734.75	c |    568621 |     636    56659   238983 | 2147483647    71775     27 |  0.000 % |
735.47/735.49	c |    569135 |     636    56659   238983 | 2147483647    72289     27 |  0.000 % |
737.77/737.76	c |    570161 |     636    56659   238983 |    73154    61861     27 |  0.000 % |
740.67/740.63	c |    572210 |     636    56659   238983 |    73154    63910     27 |  0.000 % |
741.47/741.46	c |    572722 |     636    56659   238983 |    73154    64422     27 |  0.000 % |
742.17/742.15	c |    573234 |     636    56659   238983 |    73154    64934     27 |  0.000 % |
744.07/744.02	c |    574259 |     636    56659   238983 |    73154    65959     27 |  0.000 % |
744.87/744.91	c |    574771 |     636    56659   238983 |    73154    66471     27 |  0.000 % |
745.57/745.55	c |    575284 |     636    56659   238983 |    73154    66984     27 |  0.000 % |
746.87/746.87	c |    576308 |     636    56659   238983 |    73154    68008     27 |  0.000 % |
749.67/749.65	c |    578360 |     636    56659   238983 |    73154    70060     27 |  0.002 % |
754.67/754.70	c |    582458 |     636    56659   238983 |    71700    61414     27 |  0.000 % |
755.37/755.33	c |    582970 |     636    56659   238983 |    71700    61926     27 |  0.000 % |
755.97/755.99	c |    583483 |     636    56659   238983 |    71700    62439     27 |  0.000 % |
757.37/757.34	c |    584511 |     636    56659   238983 |    71700    63467     27 |  0.000 % |
758.07/758.03	c |    585024 |     636    56659   238983 |    71700    63980     27 |  0.000 % |
758.77/758.79	c |    585539 |     636    56659   238983 |    71700    64495     27 |  0.000 % |
760.46/760.47	c |    586563 |     636    56659   238983 |    71700    65519     27 |  0.000 % |
763.36/763.32	c |    588612 |     636    56659   238983 |    71700    67568     28 |  0.000 % |
763.96/763.97	c |    589124 |     636    56659   238983 |    71700    68080     28 |  0.000 % |
764.56/764.58	c |    589637 |     636    56659   238983 |    71700    68593     28 |  0.000 % |
765.96/765.94	c |    590662 |     636    56659   238983 |    68957    58297     28 |  0.000 % |
766.56/766.60	c |    591176 |     636    56659   238983 |    68957    58811     28 |  0.000 % |
767.06/767.04	c |    591688 |     636    56659   238983 |    68957    59323     28 |  0.002 % |
767.86/767.89	c |    592714 |     636    56659   238983 |    68957    60349     28 |  0.002 % |
769.66/769.67	c |    594763 |     636    56659   238983 |    68957    62398     28 |  0.002 % |
773.36/773.38	c |    598860 |     636    56659   238983 |    68957    66495     27 |  0.002 % |
781.56/781.59	c |    607054 |     636    56659   238983 | 2147483647    74689     27 |  0.002 % |
806.96/807.00	c |    623440 |     636    56659   238983 |    76512    64771     28 |  0.000 % |
807.66/807.66	c |    623952 |     636    56659   238983 |    76512    65283     28 |  0.000 % |
808.46/808.41	c |    624464 |     636    56659   238983 |    76512    65795     28 |  0.000 % |
809.77/809.76	c |    625488 |     636    56659   238983 |    76512    66819     28 |  0.000 % |
810.56/810.52	c |    626000 |     636    56659   238983 |    76512    67331     28 |  0.000 % |
811.36/811.36	c |    626513 |     636    56659   238983 |    76512    67844     28 |  0.000 % |
812.96/812.92	c |    627537 |     636    56659   238983 |    76512    68868     29 |  0.000 % |
816.27/816.27	c |    629586 |     636    56659   238983 |    76512    70917     29 |  0.000 % |
817.37/817.37	c |    630098 |     636    56659   238983 |    71332    53396     28 |  0.000 % |
818.07/818.04	c |    630610 |     636    56659   238983 |    71332    53908     28 |  0.000 % |
819.47/819.43	c |    631637 |     636    56659   238983 |    71332    54935     28 |  0.000 % |
820.07/820.08	c |    632149 |     636    56659   238983 |    71332    55447     28 |  0.000 % |
820.77/820.79	c |    632662 |     636    56659   238983 |    71332    55960     29 |  0.000 % |
821.97/822.00	c |    633686 |     636    56659   238983 |    71332    56984     29 |  0.000 % |
824.17/824.14	c |    635734 |     636    56659   238983 |    71332    59032     29 |  0.000 % |
829.17/829.14	c |    639831 |     636    56659   238983 |    71332    63129     29 |  0.000 % |
830.07/830.05	c |    640343 |     636    56659   238983 |    63298    49478     29 |  0.000 % |
830.67/830.67	c |    640855 |     636    56659   238983 |    63298    49990     29 |  0.000 % |
831.67/831.67	c |    641880 |     636    56659   238983 |    63298    51015     29 |  0.000 % |
832.17/832.20	c |    642392 |     636    56659   238983 |    63298    51527     29 |  0.000 % |
832.77/832.76	c |    642905 |     636    56659   238983 |    63298    52040     29 |  0.000 % |
833.77/833.75	c |    643929 |     636    56659   238983 |    63298    53064     29 |  0.000 % |
835.37/835.38	c |    645980 |     636    56659   238983 |    63298    55115     29 |  0.000 % |
835.87/835.89	c |    646492 |     636    56659   238983 |    63298    55627     29 |  0.000 % |
836.27/836.30	c |    647005 |     636    56659   238983 |    63298    56140     29 |  0.000 % |
837.67/837.67	c |    648031 |     636    56659   238983 |    63298    57166     30 |  0.000 % |
838.37/838.39	c |    648543 |     636    56659   238983 |    63298    57678     30 |  0.000 % |
838.97/839.00	c |    649055 |     636    56659   238983 |    63298    58190     30 |  0.000 % |
840.37/840.39	c |    650079 |     636    56659   238983 |    59138    59214     30 |  0.000 % |
842.77/842.80	c |    652127 |     636    56659   238983 |    59138    44424     32 |  0.000 % |
846.57/846.58	c |    656224 |     636    56659   238983 |    59138    48521     32 |  0.000 % |
854.66/854.65	c |    664417 |     636    56659   238983 |    52300    47840     30 |  0.000 % |
855.26/855.30	c |    664930 |     636    56659   238983 |    52300    48353     30 |  0.000 % |
855.86/855.81	c |    665442 |     636    56659   238983 |    52300    48865     30 |  0.000 % |
857.06/857.08	c |    666466 |     636    56659   238983 |    52300    49889     30 |  0.000 % |
857.66/857.66	c |    666978 |     636    56659   238983 |    52300    50401     30 |  0.000 % |
858.26/858.22	c |    667495 |     636    56659   238983 |    52300    50918     30 |  0.000 % |
859.46/859.45	c |    668521 |     636    56659   238983 |    52300    51944     30 |  0.000 % |
861.56/861.51	c |    670573 |     636    56659   238983 | 2147483647    48760     30 |  0.000 % |
862.06/862.06	c |    671086 |     636    56659   238983 | 2147483647    49273     30 |  0.000 % |
862.86/862.84	c |    671598 |     636    56659   238983 | 2147483647    49785     30 |  0.000 % |
864.26/864.23	c |    672622 |     636    56659   238983 | 2147483647    50809     30 |  0.000 % |
864.76/864.73	c |    673134 |     636    56659   238983 | 2147483647    51321     30 |  0.000 % |
865.46/865.41	c |    673646 |     636    56659   238983 | 2147483647    51833     30 |  0.000 % |
866.56/866.57	c |    674671 |     636    56659   238983 | 2147483647    52858     30 |  0.000 % |
869.36/869.32	c |    676719 |     636    56659   238983 | 2147483647    54906     30 |  0.000 % |
873.76/873.80	c |    680819 |     636    56659   238983 |    58189    51333     29 |  0.000 % |
874.36/874.39	c |    681333 |     636    56659   238983 |    58189    51847     28 |  0.000 % |
874.96/874.91	c |    681846 |     636    56659   238983 |    58189    52360     28 |  0.000 % |
876.16/876.13	c |    682870 |     636    56659   238983 |    58189    53384     28 |  0.000 % |
876.76/876.74	c |    683383 |     636    56659   238983 |    58189    53897     28 |  0.000 % |
877.26/877.25	c |    683895 |     636    56659   238983 |    58189    54409     28 |  0.000 % |
878.46/878.44	c |    684919 |     636    56659   238983 |    58189    55433     28 |  0.000 % |
880.86/880.83	c |    686968 |     636    56659   238983 |    58189    57482     28 |  0.000 % |
881.46/881.49	c |    687483 |     636    56659   238983 |    58189    57997     28 |  0.000 % |
882.16/882.16	c |    687997 |     636    56659   238983 |    58189    50908     27 |  0.000 % |
883.16/883.13	c |    689024 |     636    56659   238983 |    58189    51935     27 |  0.000 % |
883.86/883.83	c |    689537 |     636    56659   238983 |    58189    52448     27 |  0.000 % |
884.46/884.41	c |    690051 |     636    56659   238983 |    52913    52962     27 |  0.000 % |
885.56/885.56	c |    691078 |     636    56659   238983 |    52913    47238     26 |  0.000 % |
887.36/887.32	c |    693127 |     636    56659   238983 |    52913    49287     27 |  0.000 % |
890.26/890.26	c |    697223 |     636    56659   238983 |    52913    48082     26 |  0.000 % |
896.76/896.72	c |    705415 |     636    56659   238983 | 2147483647    56274     27 |  0.000 % |
922.96/922.97	c |    721799 |     636    56659   238983 |    59296    41840     32 |  0.000 % |
956.97/956.92	c |    754569 |     636    56659   238983 |    42510    41874     31 |  0.000 % |
957.57/957.51	c |    755081 |     636    56659   238983 |    42510    42386     31 |  0.000 % |
958.27/958.27	c |    755594 |     636    56659   238983 |    42510    38642     30 |  0.000 % |
959.57/959.56	c |    756619 |     636    56659   238983 |    42510    39667     31 |  0.000 % |
959.97/959.98	c |    757131 |     636    56659   238983 |    42510    40179     31 |  0.000 % |
960.67/960.66	c |    757643 |     636    56659   238983 |    42510    40691     31 |  0.000 % |
961.87/961.91	c |    758667 |     636    56659   238983 |    42510    41715     31 |  0.000 % |
964.37/964.32	c |    760715 |     636    56659   238983 |    36782    31392     30 |  0.000 % |
964.77/964.75	c |    761228 |     636    56659   238983 |    36782    31905     30 |  0.000 % |
965.27/965.23	c |    761740 |     636    56659   238983 |    36782    32417     30 |  0.000 % |
966.07/966.11	c |    762764 |     636    56659   238983 |    36782    33441     30 |  0.000 % |
966.57/966.58	c |    763277 |     636    56659   238983 |    36782    33954     30 |  0.000 % |
967.07/967.03	c |    763792 |     636    56659   238983 |    36782    34469     30 |  0.000 % |
967.87/967.82	c |    764819 |     636    56659   238983 |    36782    35496     30 |  0.000 % |
969.47/969.41	c |    766867 |     636    56659   238983 |    36782    32232     29 |  0.000 % |
972.07/972.06	c |    770963 |     636    56659   238983 | 2147483647    36328     28 |  0.002 % |
972.47/972.46	c |    771475 |     636    56659   238983 | 2147483647    36840     28 |  0.002 % |
972.87/972.89	c |    771991 |     636    56659   238983 | 2147483647    37356     28 |  0.002 % |
973.77/973.77	c |    773015 |     636    56659   238983 | 2147483647    38380     28 |  0.002 % |
974.47/974.43	c |    773527 |     636    56659   238983 | 2147483647    38892     28 |  0.000 % |
974.97/974.95	c |    774039 |     636    56659   238983 | 2147483647    39404     28 |  0.000 % |
976.27/976.28	c |    775063 |     636    56659   238983 | 2147483647    40428     28 |  0.000 % |
979.37/979.36	c |    777111 |     636    56659   238983 | 2147483647    42476     29 |  0.000 % |
979.97/979.96	c |    777624 |     636    56659   238983 | 2147483647    42989     29 |  0.000 % |
980.67/980.61	c |    778138 |     636    56659   238983 | 2147483647    43503     29 |  0.000 % |
982.17/982.18	c |    779163 |     636    56659   238983 | 2147483647    44528     29 |  0.000 % |
982.77/982.77	c |    779680 |     636    56659   238983 | 2147483647    45045     29 |  0.000 % |
983.27/983.28	c |    780192 |     636    56659   238983 |    45368    39652     29 |  0.000 % |
984.17/984.19	c |    781217 |     636    56659   238983 |    45368    40677     29 |  0.000 % |
986.67/986.64	c |    783266 |     636    56659   238983 |    45368    42726     29 |  0.000 % |
991.97/991.92	c |    787362 |     636    56659   238983 |    45368    40889     28 |  0.002 % |
1000.37/1000.33	c |    795554 |     636    56659   238983 |    43527    43513     27 |  0.002 % |
1001.07/1001.07	c |    796068 |     636    56659   238983 |    43527    39658     26 |  0.000 % |
1001.47/1001.50	c |    796580 |     636    56659   238983 |    43527    40170     26 |  0.000 % |
1002.77/1002.76	c |    797604 |     636    56659   238983 |    43527    41194     26 |  0.000 % |
1003.47/1003.41	c |    798116 |     636    56659   238983 |    43527    41706     26 |  0.000 % |
1003.97/1004.00	c |    798629 |     636    56659   238983 |    43527    42219     27 |  0.000 % |
1005.17/1005.16	c |    799654 |     636    56659   238983 |    43527    43244     27 |  0.000 % |
1007.47/1007.48	c |    801704 |     636    56659   238983 |    43590    38514     27 |  0.000 % |
1008.07/1008.04	c |    802216 |     636    56659   238983 |    43590    39026     27 |  0.000 % |
1008.47/1008.48	c |    802728 |     636    56659   238983 |    43590    39538     27 |  0.002 % |
1009.47/1009.48	c |    803752 |     636    56659   238983 |    43590    40562     27 |  0.000 % |
1010.07/1010.05	c |    804266 |     636    56659   238983 |    43590    41076     27 |  0.000 % |
1010.67/1010.66	c |    804779 |     636    56659   238983 |    43590    41589     27 |  0.000 % |
1011.57/1011.54	c |    805804 |     636    56659   238983 |    43590    42614     27 |  0.000 % |
1013.28/1013.22	c |    807854 |     636    56659   238983 |    43590    34252     27 |  0.000 % |
1016.47/1016.50	c |    811950 |     636    56659   238983 |    36398    32498     26 |  0.000 % |
1016.97/1016.93	c |    812462 |     636    56659   238983 |    36398    33010     26 |  0.000 % |
1017.37/1017.33	c |    812975 |     636    56659   238983 |    36398    33523     26 |  0.000 % |
1018.07/1018.03	c |    814000 |     636    56659   238983 |    36398    34548     25 |  0.002 % |
1018.67/1018.65	c |    814514 |     636    56659   238983 |    36398    35062     26 |  0.000 % |
1019.27/1019.29	c |    815027 |     636    56659   238983 |    36398    35575     26 |  0.000 % |
1020.67/1020.67	c |    816051 |     636    56659   238983 |    36398    32953     26 |  0.000 % |
1023.18/1023.19	c |    818099 |     636    56659   238983 |    36398    35001     27 |  0.000 % |
1023.77/1023.72	c |    818611 |     636    56659   238983 |    36398    35513     27 |  0.000 % |
1024.17/1024.12	c |    819123 |     636    56659   238983 |    36398    36025     27 |  0.000 % |
1024.87/1024.90	c |    820148 |     636    56659   238983 |    31400    31548     27 |  0.000 % |
1025.38/1025.39	c |    820661 |     636    56659   238983 |    31400    27014     29 |  0.000 % |
1025.87/1025.83	c |    821175 |     636    56659   238983 |    31400    27528     29 |  0.002 % |
1026.87/1026.84	c |    822199 |     636    56659   238983 |    31400    28552     29 |  0.000 % |
1029.17/1029.12	c |    824248 |     636    56659   238983 |    31400    30601     29 |  0.000 % |
1033.47/1033.48	c |    828344 |     636    56659   238983 |    31400    31151     27 |  0.000 % |
1042.48/1042.45	c |    836539 |     636    56659   238983 | 2147483647    36196     26 |  0.000 % |
1059.08/1059.07	c |    852925 |     636    56659   238983 | 2147483647    39567     28 |  0.000 % |
1059.58/1059.61	c |    853442 |     636    56659   238983 | 2147483647    40084     28 |  0.000 % |
1060.28/1060.24	c |    853955 |     636    56659   238983 | 2147483647    40597     28 |  0.000 % |
1061.48/1061.45	c |    854983 |     636    56659   238983 | 2147483647    41625     28 |  0.000 % |
1061.98/1062.01	c |    855495 |     636    56659   238983 | 2147483647    42137     28 |  0.000 % |
1062.58/1062.58	c |    856007 |     636    56659   238983 | 2147483647    42649     28 |  0.002 % |
1063.58/1063.58	c |    857034 |     636    56659   238983 | 2147483647    43676     28 |  0.000 % |
1065.98/1065.97	c |    859083 |     636    56659   238983 | 2147483647    45725     28 |  0.000 % |
1066.58/1066.60	c |    859595 |     636    56659   238983 | 2147483647    46237     28 |  0.000 % |
1067.28/1067.23	c |    860110 |     636    56659   238983 | 2147483647    46752     28 |  0.000 % |
1068.28/1068.24	c |    861136 |     636    56659   238983 | 2147483647    47778     28 |  0.000 % |
1068.88/1068.87	c |    861649 |     636    56659   238983 | 2147483647    48291     28 |  0.000 % |
1069.48/1069.51	c |    862162 |     636    56659   238983 | 2147483647    48804     28 |  0.000 % |
1070.68/1070.68	c |    863186 |     636    56659   238983 | 2147483647    49828     28 |  0.000 % |
1073.38/1073.32	c |    865237 |     636    56659   238983 | 2147483647    51879     28 |  0.000 % |
1077.98/1077.95	c |    869335 |     636    56659   238983 | 2147483647    55977     28 |  0.000 % |
1078.68/1078.62	c |    869848 |     636    56659   238983 | 2147483647    56490     28 |  0.000 % |
1079.38/1079.36	c |    870363 |     636    56659   238983 | 2147483647    57005     28 |  0.000 % |
1080.78/1080.73	c |    871389 |     636    56659   238983 | 2147483647    58031     28 |  0.000 % |
1081.48/1081.51	c |    871902 |     636    56659   238983 | 2147483647    58544     28 |  0.000 % |
1082.18/1082.18	c |    872414 |     636    56659   238983 | 2147483647    59056     28 |  0.000 % |
1083.48/1083.45	c |    873440 |     636    56659   238983 | 2147483647    60082     28 |  0.000 % |
1086.08/1086.05	c |    875488 |     636    56659   238983 | 2147483647    62130     27 |  0.000 % |
1086.58/1086.58	c |    876001 |     636    56659   238983 | 2147483647    62643     27 |  0.002 % |
1087.38/1087.37	c |    876515 |     636    56659   238983 | 2147483647    63157     27 |  0.000 % |
1089.08/1089.03	c |    877541 |     636    56659   238983 | 2147483647    64183     27 |  0.000 % |
1089.98/1089.95	c |    878053 |     636    56659   238983 | 2147483647    64695     27 |  0.000 % |
1090.78/1090.80	c |    878566 |     636    56659   238983 | 2147483647    65208     27 |  0.000 % |
1092.48/1092.43	c |    879590 |     636    56659   238983 | 2147483647    66232     27 |  0.000 % |
1095.48/1095.44	c |    881642 |     636    56659   238983 |    66644    59051     27 |  0.000 % |
1100.78/1100.77	c |    885739 |     636    56659   238983 |    66644    63148     26 |  0.000 % |
1108.68/1108.69	c |    893932 |     636    56659   238983 |    60052    57591     26 |  0.000 % |
1109.98/1110.00	c |    894448 |     636    56659   238983 |    60052    58107     26 |  0.000 % |
1110.88/1110.91	c |    894960 |     636    56659   238983 |    60052    58619     26 |  0.000 % |
1113.88/1113.89	c |    895984 |     636    56659   238983 |    60052    59643     26 |  0.000 % |
1115.08/1115.03	c |    896496 |     636    56659   238983 |    60052    60155     26 |  0.000 % |
1116.78/1116.75	c |    897011 |     636    56659   238983 |    60052    45052     25 |  0.000 % |
1118.57/1118.56	c |    898035 |     636    56659   238983 |    60052    46076     25 |  0.000 % |
1120.57/1120.58	c |    900083 |     636    56659   238983 |    48044    36632     25 |  0.000 % |
1121.67/1121.65	c |    900596 |     636    56659   238983 |    48044    37145     25 |  0.000 % |
1122.77/1122.76	c |    901109 |     636    56659   238983 |    48044    37658     25 |  0.000 % |
1124.27/1124.28	c |    902135 |     636    56659   238983 |    48044    38684     26 |  0.000 % |
1125.48/1125.41	c |    902649 |     636    56659   238983 |    48044    39198     26 |  0.000 % |
1126.58/1126.53	c |    903161 |     636    56659   238983 |    48044    39710     26 |  0.000 % |
1127.97/1127.92	c |    904188 |     636    56659   238983 |    48044    40737     26 |  0.000 % |
1130.47/1130.45	c |    906237 |     636    56659   238983 |    48044    42786     26 |  0.000 % |
1137.37/1137.38	c |    910335 |     636    56659   238983 |    46549    36441     26 |  0.000 % |
1138.07/1138.02	c |    910847 |     636    56659   238983 |    46549    36953     26 |  0.000 % |
1138.37/1138.34	c |    911362 |     636    56659   238983 |    46549    37468     26 |  0.002 % |
1139.97/1139.91	c |    912386 |     636    56659   238983 |    46549    38492     26 |  0.000 % |
1140.57/1140.52	c |    912898 |     636    56659   238983 |    46549    39004     26 |  0.000 % |
1141.07/1141.01	c |    913410 |     636    56659   238983 |    46549    39516     26 |  0.002 % |
1142.07/1142.01	c |    914434 |     636    56659   238983 |    46549    40540     26 |  0.000 % |
1145.17/1145.15	c |    916483 |     636    56659   238983 |    46549    42589     26 |  0.000 % |
1146.07/1146.03	c |    916995 |     636    56659   238983 |    46549    43101     26 |  0.000 % |
1146.77/1146.75	c |    917509 |     636    56659   238983 |    46549    43615     26 |  0.000 % |
1148.67/1148.68	c |    918533 |     636    56659   238983 |    46549    44639     26 |  0.000 % |
1149.68/1149.66	c |    919046 |     636    56659   238983 |    46549    45152     27 |  0.000 % |
1150.67/1150.63	c |    919559 |     636    56659   238983 |    46549    45665     27 |  0.000 % |
1152.37/1152.38	c |    920583 |     636    56659   238983 |    46106    37053     28 |  0.001 % |
1155.08/1155.08	c |    922632 |     636    56659   238983 |    46106    39102     28 |  0.000 % |
1160.38/1160.40	c |    926732 |     636    56659   238983 |    46106    43202     28 |  0.000 % |
1167.98/1167.91	c |    934924 |     636    56659   238983 |    37605    35493     28 |  0.000 % |
1181.68/1181.64	c |    951310 |     636    56659   238983 | 2147483647    48113     28 |  0.000 % |
1200.08/1200.01	HOME/SatELiteGTI: line 36: 21109 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1821797-1242566298/watcher-1821797-1242566298 -o /tmp/evaluation-result-1821797-1242566298/solver-1821797-1242566298 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821797-1242566298.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21103
/proc/meminfo: memFree=676604/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2412 CPUtime=0.01
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 367 642 0 0 0 1 0 0 25 0 1 0 1021130627 2469888 276 4294967295 134512640 135169312 3214529776 3214528312 3085831918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21103/statm: 603 276 235 161 0 42 0
[pid=21107] ppid=21103 vsize=948 CPUtime=0
/proc/21107/stat : 21107 (SatELite_releas) R 21103 21103 10114 0 -1 4202496 90 0 0 0 0 0 0 0 25 0 1 0 1021130628 970752 25 4294967295 134512640 135223648 3215263120 3215262980 134889888 0 0 0 0 0 0 0 17 3 0 0 0
/proc/21107/statm: 237 38 30 174 0 62 0

[startup+0.100589 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21103
/proc/meminfo: memFree=676604/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2412 CPUtime=0.01
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 367 642 0 0 0 1 0 0 25 0 1 0 1021130627 2469888 276 4294967295 134512640 135169312 3214529776 3214528312 3085831918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21103/statm: 603 276 235 161 0 42 0
[pid=21107] ppid=21103 vsize=5676 CPUtime=0.1
/proc/21107/stat : 21107 (SatELite_releas) R 21103 21103 10114 0 -1 4202496 1324 0 0 0 10 0 0 0 25 0 1 0 1021130628 5812224 1259 4294967295 134512640 135223648 3215263120 3215261120 134549042 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21107/statm: 1419 1259 73 174 0 1244 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8088

[startup+0.210583 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21103
/proc/meminfo: memFree=676604/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2412 CPUtime=0.01
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 367 642 0 0 0 1 0 0 25 0 1 0 1021130627 2469888 276 4294967295 134512640 135169312 3214529776 3214528312 3085831918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21103/statm: 603 276 235 161 0 42 0
[pid=21107] ppid=21103 vsize=7064 CPUtime=0.21
/proc/21107/stat : 21107 (SatELite_releas) R 21103 21103 10114 0 -1 4202496 1634 0 0 0 21 0 0 0 25 0 1 0 1021130628 7233536 1569 4294967295 134512640 135223648 3215263120 3215261216 134585544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21107/statm: 1766 1569 73 174 0 1591 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9476

[startup+0.310578 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21103
/proc/meminfo: memFree=676604/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2412 CPUtime=0.01
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 367 642 0 0 0 1 0 0 25 0 1 0 1021130627 2469888 276 4294967295 134512640 135169312 3214529776 3214528312 3085831918 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21103/statm: 603 276 235 161 0 42 0
[pid=21107] ppid=21103 vsize=7064 CPUtime=0.31
/proc/21107/stat : 21107 (SatELite_releas) R 21103 21103 10114 0 -1 4202496 1634 0 0 0 31 0 0 0 25 0 1 0 1021130628 7233536 1569 4294967295 134512640 135223648 3215263120 3215261216 134585515 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21107/statm: 1766 1569 73 174 0 1591 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9476

[startup+0.710558 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21103
/proc/meminfo: memFree=676604/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2416

[startup+1.51052 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21109
/proc/meminfo: memFree=670776/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=5224 CPUtime=1.03
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 1256 0 0 0 103 0 0 0 25 0 1 0 1021130676 5349376 1191 4294967295 134512640 135216591 3218667824 3218666016 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 1306 1191 75 172 0 1133 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 7640

[startup+3.11044 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21109
/proc/meminfo: memFree=670280/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=5884 CPUtime=2.63
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 1422 0 0 0 263 0 0 0 25 0 1 0 1021130676 6025216 1357 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 1471 1357 75 172 0 1298 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8300

[startup+6.31029 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21109
/proc/meminfo: memFree=669088/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=7004 CPUtime=5.83
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 1688 0 0 0 583 0 0 0 25 0 1 0 1021130676 7172096 1623 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 1751 1623 75 172 0 1578 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9420

[startup+12.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21109
/proc/meminfo: memFree=667596/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=8396 CPUtime=12.23
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 2037 0 0 0 1223 0 0 0 25 0 1 0 1021130676 8597504 1972 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 2099 1972 75 172 0 1926 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 10812

[startup+25.5194 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21111
/proc/meminfo: memFree=665304/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=10564 CPUtime=25.04
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 2556 0 0 0 2504 0 0 0 25 0 1 0 1021130676 10817536 2491 4294967295 134512640 135216591 3218667824 3218666016 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 2641 2491 75 172 0 2468 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 12980

[startup+51.1081 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21111
/proc/meminfo: memFree=662360/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=13472 CPUtime=50.63
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 3299 0 0 0 5063 0 0 0 25 0 1 0 1021130676 13795328 3234 4294967295 134512640 135216591 3218667824 3218666016 134528984 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 3368 3234 75 172 0 3195 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 15888

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21300
/proc/meminfo: memFree=657392/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=18384 CPUtime=101.83
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 4503 0 0 0 10183 0 0 0 25 0 1 0 1021130676 18825216 4438 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 4596 4438 75 172 0 4423 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 20800

[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21487
/proc/meminfo: memFree=656656/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=19264 CPUtime=161.84
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 4713 0 0 0 16181 3 0 0 25 0 1 0 1021130676 19726336 4648 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 4816 4648 75 172 0 4643 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 21680

[startup+222.32 s]
/proc/loadavg: 1.07 1.02 1.00 3/95 21680
/proc/meminfo: memFree=655408/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=20584 CPUtime=221.85
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 4994 0 0 0 22181 4 0 0 25 0 1 0 1021130676 21078016 4929 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 5146 4929 75 172 0 4973 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 23000

[startup+282.317 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 21867
/proc/meminfo: memFree=655408/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=20744 CPUtime=281.85
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 5018 0 0 0 28181 4 0 0 25 0 1 0 1021130676 21241856 4953 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 5186 4953 75 172 0 5013 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 23160

[startup+342.314 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 22054
/proc/meminfo: memFree=654548/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=21588 CPUtime=341.85
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 5227 0 0 0 34180 5 0 0 25 0 1 0 1021130676 22106112 5162 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21109/statm: 5397 5162 75 172 0 5224 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 24004

[startup+402.311 s]

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

[pid=21109] ppid=21103 vsize=24232 CPUtime=521.86
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 5848 0 0 0 52180 6 0 0 25 0 1 0 1021130676 24813568 5775 4294967295 134512640 135216591 3218667824 3218666016 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6058 5775 75 172 0 5885 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 26648

[startup+582.312 s]
/proc/loadavg: 1.06 1.11 1.04 3/95 22808
/proc/meminfo: memFree=652432/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=24388 CPUtime=581.86
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 5860 0 0 0 58180 6 0 0 25 0 1 0 1021130676 24973312 5787 4294967295 134512640 135216591 3218667824 3218666016 134529012 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6097 5787 75 172 0 5924 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 26804

[startup+642.319 s]
/proc/loadavg: 1.02 1.08 1.04 3/95 22999
/proc/meminfo: memFree=651448/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=25412 CPUtime=641.87
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6116 0 0 0 64181 6 0 0 25 0 1 0 1021130676 26021888 6043 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6353 6043 75 172 0 6180 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 27828

[startup+702.327 s]
/proc/loadavg: 1.01 1.07 1.03 3/95 23188
/proc/meminfo: memFree=650820/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=26064 CPUtime=701.88
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6225 0 0 0 70182 6 0 0 25 0 1 0 1021130676 26689536 6152 4294967295 134512640 135216591 3218667824 3218666016 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6516 6152 75 172 0 6343 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 28480

[startup+762.314 s]
/proc/loadavg: 1.06 1.07 1.03 2/95 23375
/proc/meminfo: memFree=650828/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=26280 CPUtime=761.87
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6266 0 0 0 76181 6 0 0 25 0 1 0 1021130676 26910720 6193 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6570 6193 75 172 0 6397 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 28696

[startup+822.321 s]
/proc/loadavg: 1.02 1.05 1.02 2/95 23564
/proc/meminfo: memFree=650448/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=26524 CPUtime=821.88
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6340 0 0 0 82182 6 0 0 25 0 1 0 1021130676 27160576 6267 4294967295 134512640 135216591 3218667824 3218666016 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6631 6267 75 172 0 6458 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 28940

[startup+882.318 s]
/proc/loadavg: 1.09 1.07 1.03 2/95 23751
/proc/meminfo: memFree=650324/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=26672 CPUtime=881.88
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6360 0 0 0 88182 6 0 0 25 0 1 0 1021130676 27312128 6287 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6668 6287 75 172 0 6495 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 29088

[startup+942.315 s]
/proc/loadavg: 1.04 1.06 1.02 2/95 23942
/proc/meminfo: memFree=649712/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=27100 CPUtime=941.88
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6451 0 0 0 94182 6 0 0 25 0 1 0 1021130676 27750400 6378 4294967295 134512640 135216591 3218667824 3218666016 134529251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6775 6378 75 172 0 6602 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 29516

[startup+1002.31 s]
/proc/loadavg: 1.01 1.04 1.02 2/95 24131
/proc/meminfo: memFree=648952/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=27540 CPUtime=1001.88
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6544 0 0 0 100182 6 0 0 25 0 1 0 1021130676 28200960 6471 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6885 6471 75 172 0 6712 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 29956

[startup+1062.32 s]
/proc/loadavg: 1.00 1.03 1.01 2/95 24318
/proc/meminfo: memFree=648960/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=27700 CPUtime=1061.89
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6593 0 0 0 106183 6 0 0 25 0 1 0 1021130676 28364800 6520 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 6925 6520 75 172 0 6752 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 30116

[startup+1122.31 s]
/proc/loadavg: 1.00 1.02 1.01 3/95 24507
/proc/meminfo: memFree=647968/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=28688 CPUtime=1121.88
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6823 0 0 0 112182 6 0 0 25 0 1 0 1021130676 29376512 6750 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 7172 6750 75 172 0 6999 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 31104

[startup+1182.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 24694
/proc/meminfo: memFree=647836/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=28688 CPUtime=1181.89
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6823 0 0 0 118179 10 0 0 25 0 1 0 1021130676 29376512 6750 4294967295 134512640 135216591 3218667824 3218666016 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 7172 6750 75 172 0 6999 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 31104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.02 1.00 6/96 24843
/proc/meminfo: memFree=647588/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=28688 CPUtime=1199.59
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6823 0 0 0 119949 10 0 0 25 0 1 0 1021130676 29376512 6750 4294967295 134512640 135216591 3218667824 3218666016 134528971 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 7172 6750 75 172 0 6999 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31104

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

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

[startup+1200.01 s]
/proc/loadavg: 1.00 1.02 1.00 6/96 24843
/proc/meminfo: memFree=647588/2074464 swapFree=1950884/1959888
[pid=21103] ppid=21101 vsize=2416 CPUtime=0.49
/proc/21103/stat : 21103 (SatELiteGTI) S 21101 21103 10114 0 -1 4194304 385 2280 0 0 0 1 48 0 21 0 1 0 1021130627 2473984 277 4294967295 134512640 135169312 3214529776 3214525992 3085831918 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/21103/statm: 604 277 235 161 0 43 0
[pid=21109] ppid=21103 vsize=28688 CPUtime=1199.59
/proc/21109/stat : 21109 (minisat_static) R 21103 21103 10114 0 -1 4202496 6823 0 0 0 119949 10 0 0 25 0 1 0 1021130676 29376512 6750 4294967295 134512640 135216591 3218667824 3218666016 134528971 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21109/statm: 7172 6750 75 172 0 6999 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31104

Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.08
CPU user time (s): 1199.97
CPU system time (s): 0.11
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 31104

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

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi13 at 2009-05-17 15:18:18
IDJOB=1821797
IDBENCH=71091
IDSOLVER=658
FILE ID=tipi13/1821797-1242566298
PBS_JOBID=
Free space on /tmp= 6773 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821797-1242566298/watcher-1821797-1242566298 -o /tmp/evaluation-result-1821797-1242566298/solver-1821797-1242566298 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821797-1242566298.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED= 396918470

Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        676480 kB
Buffers:         65560 kB
Cached:        1216384 kB
SwapCached:       3516 kB
Active:         556176 kB
Inactive:       735232 kB
HighTotal:     1178688 kB
HighFree:        91632 kB
LowTotal:       895776 kB
LowFree:        584848 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:            2476 kB
Writeback:           0 kB
AnonPages:        8440 kB
Mapped:           2940 kB
Slab:            98024 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6773 MiB
End job on tipi13 at 2009-05-17 15:38:18