Trace number 1821683

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.07 1200.03

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
MD5SUM0b7170d33b896e8b879b19b65ac5c517
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses74789
Sum of the clauses size222346
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22159
Number of clauses of size 372607
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.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   74789   222346 |   22436       0        0     nan |  0.000 % |
0.72/0.71	c |         0 |   73888   319243 |      --       0       --      -- |     --   | -901/96897
0.72/0.71	c ==============================================================================
0.72/0.71	c Result  :   #vars: 763   #clauses: 73888   #literals: 319243
0.72/0.71	c CPU time:   0.69 s
0.72/0.71	c ==============================================================================
0.72/0.81	c This is MiniSat 2.0 beta
0.72/0.81	c WARNING: for repeatability, setting FPU to use double precision
0.72/0.81	c ============================[ Problem Statistics ]=============================
0.72/0.81	c |                                                                             |
0.81/0.81	c |  Number of variables:  763                                                  |
0.81/0.81	c |  Number of clauses:    73888                                                |
0.81/0.86	c |  Parsing time:         0.04         s                                       |
0.81/0.86	c ============================[ Search Statistics ]==============================
0.81/0.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.81/0.86	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.81/0.86	c ===============================================================================
0.81/0.86	c |         0 |     763    73888   319243 |    24629        0    nan |  0.000 % |
0.81/1.03	c |       513 |     763    73888   319243 |    24629      513     44 |  0.000 % |
1.22/1.25	c |      1026 |     763    73888   319243 |    24629     1026     42 |  0.000 % |
1.42/1.46	c |      1540 |     763    73888   319243 |    24629     1540     40 |  0.000 % |
1.82/1.85	c |      2565 |     763    73888   319243 |    24629     2565     38 |  0.000 % |
2.02/2.04	c |      3077 |     763    73888   319243 |    24629     3077     39 |  0.000 % |
2.22/2.26	c |      3589 |     763    73888   319243 |    24629     3589     40 |  0.000 % |
2.62/2.69	c |      4613 |     763    73888   319243 |    24629     4613     39 |  0.000 % |
3.62/3.67	c |      6662 |     763    73888   319243 |    24629     6662     34 |  0.000 % |
3.82/3.84	c |      7177 |     763    73888   319243 |    24629     7177     34 |  0.000 % |
4.02/4.02	c |      7689 |     763    73888   319243 |    24629     7689     35 |  0.000 % |
4.52/4.54	c |      8713 |     763    73888   319243 |    24629     8713     35 |  0.000 % |
4.72/4.78	c |      9227 |     763    73888   319243 |    24629     9227     35 |  0.000 % |
5.02/5.04	c |      9744 |     763    73888   319243 |    24629     9744     34 |  0.000 % |
5.52/5.53	c |     10769 |     763    73888   319243 | 2147483647    10769     33 |  0.000 % |
6.52/6.59	c |     12817 |     763    73888   319243 | 2147483647    12817     32 |  0.000 % |
8.92/8.99	c |     16913 |     763    73888   319243 | 2147483647    16913     31 |  0.000 % |
9.22/9.30	c |     17426 |     763    73888   319243 | 2147483647    17426     31 |  0.002 % |
9.42/9.51	c |     17938 |     763    73888   319243 | 2147483647    17938     31 |  0.000 % |
9.82/9.82	c |     18962 |     763    73888   319243 | 2147483647    18962     32 |  0.000 % |
10.12/10.18	c |     19474 |     763    73888   319243 | 2147483647    19474     32 |  0.000 % |
10.42/10.47	c |     19987 |     763    73888   319243 | 2147483647    19987     33 |  0.000 % |
11.02/11.11	c |     21012 |     763    73888   319243 | 2147483647    21012     33 |  0.000 % |
12.42/12.48	c |     23060 |     763    73888   319243 | 2147483647    23060     33 |  0.000 % |
12.82/12.84	c |     23580 |     763    73888   319243 | 2147483647    23580     33 |  0.000 % |
13.12/13.18	c |     24093 |     763    73888   319243 | 2147483647    24093     33 |  0.000 % |
13.72/13.72	c |     25117 |     763    73888   319243 | 2147483647    25117     34 |  0.000 % |
13.92/13.98	c |     25630 |     763    73888   319243 | 2147483647    25630     35 |  0.000 % |
14.32/14.36	c |     26142 |     763    73888   319243 | 2147483647    26142     35 |  0.000 % |
15.02/15.04	c |     27168 |     763    73888   319243 | 2147483647    27168     35 |  0.000 % |
16.52/16.58	c |     29216 |     763    73888   319243 | 2147483647    29216     34 |  0.000 % |
19.72/19.77	c |     33312 |     763    73888   319243 | 2147483647    33312     33 |  0.000 % |
26.92/26.95	c |     41505 |     763    73888   319243 | 2147483647    41505     32 |  0.000 % |
27.42/27.47	c |     42017 |     763    73888   319243 | 2147483647    42017     33 |  0.000 % |
28.02/28.02	c |     42531 |     763    73888   319243 | 2147483647    42531     33 |  0.000 % |
29.02/29.07	c |     43555 |     763    73888   319243 | 2147483647    43555     33 |  0.000 % |
29.52/29.55	c |     44067 |     763    73888   319243 | 2147483647    44067     33 |  0.000 % |
30.02/30.06	c |     44579 |     763    73888   319243 | 2147483647    44579     33 |  0.000 % |
30.82/30.85	c |     45603 |     763    73888   319243 | 2147483647    45603     33 |  0.000 % |
32.72/32.79	c |     47651 |     763    73888   319243 | 2147483647    47651     34 |  0.000 % |
33.22/33.31	c |     48173 |     763    73888   319243 | 2147483647    48173     34 |  0.000 % |
33.82/33.84	c |     48685 |     763    73888   319243 | 2147483647    48685     33 |  0.000 % |
34.82/34.89	c |     49709 |     763    73888   319243 | 2147483647    49709     33 |  0.000 % |
35.32/35.32	c |     50222 |     763    73888   319243 | 2147483647    50222     33 |  0.000 % |
35.62/35.68	c |     50736 |     763    73888   319243 | 2147483647    50736     34 |  0.000 % |
36.82/36.82	c |     51762 |     763    73888   319243 | 2147483647    51762     34 |  0.000 % |
38.82/38.83	c |     53810 |     763    73888   319243 | 2147483647    53810     34 |  0.000 % |
42.42/42.44	c |     57910 |     763    73888   319243 | 2147483647    57910     34 |  0.000 % |
42.92/42.97	c |     58423 |     763    73888   319243 | 2147483647    58423     34 |  0.000 % |
43.52/43.58	c |     58935 |     763    73888   319243 | 2147483647    58935     34 |  0.000 % |
44.42/44.44	c |     59959 |     763    73888   319243 | 2147483647    59959     34 |  0.000 % |
44.82/44.91	c |     60472 |     763    73888   319243 | 2147483647    60472     34 |  0.000 % |
45.32/45.38	c |     60986 |     763    73888   319243 | 2147483647    60986     34 |  0.000 % |
46.22/46.27	c |     62010 |     763    73888   319243 | 2147483647    62010     35 |  0.000 % |
48.12/48.12	c |     64067 |     763    73888   319243 | 2147483647    64067     35 |  0.000 % |
48.62/48.62	c |     64580 |     763    73888   319243 | 2147483647    64580     35 |  0.000 % |
49.12/49.17	c |     65092 |     763    73888   319243 | 2147483647    65092     35 |  0.000 % |
50.12/50.14	c |     66117 |     763    73888   319243 | 2147483647    66117     35 |  0.000 % |
50.52/50.57	c |     66631 |     763    73888   319243 | 2147483647    66631     35 |  0.000 % |
51.12/51.13	c |     67143 |     763    73888   319243 | 2147483647    67143     35 |  0.000 % |
52.12/52.16	c |     68167 |     763    73888   319243 | 2147483647    68167     35 |  0.000 % |
54.42/54.50	c |     70215 |     763    73888   319243 | 2147483647    70215     35 |  0.000 % |
59.72/59.78	c |     74311 |     763    73888   319243 | 2147483647    74311     35 |  0.000 % |
69.92/70.01	c |     82504 |     763    73888   319243 |    80000    69571     36 |  0.000 % |
102.93/102.97	c |     98889 |     763    73888   319243 |    77068    65994     39 |  0.000 % |
104.03/104.08	c |     99405 |     763    73888   319243 |    77068    66510     39 |  0.000 % |
105.03/105.04	c |     99920 |     763    73888   319243 |    77068    67025     39 |  0.000 % |
107.13/107.20	c |    100945 |     763    73888   319243 |    67106    49727     39 |  0.000 % |
107.73/107.79	c |    101457 |     763    73888   319243 |    67106    50239     39 |  0.000 % |
108.33/108.36	c |    101970 |     763    73888   319243 |    67106    50752     39 |  0.000 % |
109.33/109.41	c |    102996 |     763    73888   319243 |    67106    51778     39 |  0.000 % |
112.53/112.60	c |    105045 |     763    73888   319243 |    67106    53827     39 |  0.000 % |
113.53/113.59	c |    105558 |     763    73888   319243 |    67106    54340     39 |  0.000 % |
114.83/114.84	c |    106071 |     763    73888   319243 |    67106    54853     39 |  0.000 % |
116.83/116.91	c |    107098 |     763    73888   319243 |    67106    55880     39 |  0.000 % |
117.93/117.94	c |    107610 |     763    73888   319243 |    67106    56392     39 |  0.000 % |
118.93/119.01	c |    108122 |     763    73888   319243 |    67106    56904     39 |  0.000 % |
120.23/120.29	c |    109146 |     763    73888   319243 |    67106    57928     39 |  0.000 % |
123.93/123.98	c |    111195 |     763    73888   319243 |    58784    47330     40 |  0.000 % |
128.53/128.59	c |    115291 |     763    73888   319243 |    58784    51426     40 |  0.000 % |
129.33/129.38	c |    115804 |     763    73888   319243 |    58784    51939     40 |  0.000 % |
130.13/130.16	c |    116317 |     763    73888   319243 |    58784    52452     40 |  0.000 % |
131.73/131.73	c |    117342 |     763    73888   319243 |    58784    53477     40 |  0.000 % |
132.13/132.18	c |    117855 |     763    73888   319243 |    58784    53990     40 |  0.000 % |
133.03/133.04	c |    118368 |     763    73888   319243 |    58784    54503     40 |  0.000 % |
134.93/135.01	c |    119393 |     763    73888   319243 |    58784    55528     40 |  0.000 % |
138.03/138.06	c |    121441 |     763    73888   319243 |    56135    48330     40 |  0.000 % |
138.73/138.72	c |    121955 |     763    73888   319243 |    56135    48844     40 |  0.000 % |
139.33/139.35	c |    122467 |     763    73888   319243 |    56135    49356     40 |  0.000 % |
140.73/140.75	c |    123491 |     763    73888   319243 |    56135    50380     40 |  0.000 % |
141.33/141.41	c |    124005 |     763    73888   319243 |    56135    50894     40 |  0.000 % |
142.23/142.24	c |    124519 |     763    73888   319243 |    56135    51408     40 |  0.000 % |
143.83/143.85	c |    125545 |     763    73888   319243 |    56135    52434     40 |  0.000 % |
146.63/146.63	c |    127593 |     763    73888   319243 |    56135    54482     40 |  0.000 % |
152.72/152.80	c |    131689 |     763    73888   319243 |    49148    43885     39 |  0.000 % |
162.32/162.35	c |    139881 |     763    73888   319243 |    49148    47156     37 |  0.000 % |
162.82/162.84	c |    140393 |     763    73888   319243 | 2147483647    47668     37 |  0.000 % |
163.32/163.36	c |    140906 |     763    73888   319243 | 2147483647    48181     37 |  0.000 % |
164.52/164.56	c |    141934 |     763    73888   319243 | 2147483647    49209     37 |  0.000 % |
165.13/165.16	c |    142448 |     763    73888   319243 | 2147483647    49723     37 |  0.000 % |
165.62/165.70	c |    142961 |     763    73888   319243 | 2147483647    50236     37 |  0.000 % |
166.92/166.92	c |    143985 |     763    73888   319243 | 2147483647    51260     37 |  0.000 % |
169.42/169.48	c |    146033 |     763    73888   319243 | 2147483647    53308     37 |  0.000 % |
170.22/170.27	c |    146545 |     763    73888   319243 | 2147483647    53820     37 |  0.000 % |
171.02/171.07	c |    147058 |     763    73888   319243 | 2147483647    54333     37 |  0.000 % |
172.83/172.82	c |    148085 |     763    73888   319243 | 2147483647    55360     37 |  0.000 % |
173.62/173.67	c |    148597 |     763    73888   319243 | 2147483647    55872     37 |  0.000 % |
174.52/174.54	c |    149109 |     763    73888   319243 | 2147483647    56384     37 |  0.000 % |
176.02/176.09	c |    150134 |     763    73888   319243 | 2147483647    57409     37 |  0.000 % |
178.82/178.81	c |    152185 |     763    73888   319243 | 2147483647    59460     37 |  0.000 % |
185.12/185.19	c |    156282 |     763    73888   319243 | 2147483647    63557     37 |  0.000 % |
185.92/185.92	c |    156794 |     763    73888   319243 | 2147483647    64069     37 |  0.000 % |
186.52/186.54	c |    157307 |     763    73888   319243 | 2147483647    64582     37 |  0.000 % |
188.12/188.18	c |    158331 |     763    73888   319243 | 2147483647    65606     37 |  0.000 % |
189.02/189.04	c |    158843 |     763    73888   319243 | 2147483647    66118     37 |  0.000 % |
190.02/190.04	c |    159359 |     763    73888   319243 | 2147483647    66634     37 |  0.000 % |
191.72/191.72	c |    160383 |     763    73888   319243 |    67275    56248     37 |  0.000 % |
195.02/195.01	c |    162431 |     763    73888   319243 |    67275    58296     37 |  0.000 % |
195.72/195.80	c |    162947 |     763    73888   319243 |    67275    58812     37 |  0.000 % |
196.42/196.44	c |    163459 |     763    73888   319243 |    67275    59324     37 |  0.000 % |
198.22/198.24	c |    164484 |     763    73888   319243 |    67275    60349     37 |  0.000 % |
199.12/199.14	c |    164998 |     763    73888   319243 |    67275    60863     37 |  0.000 % |
199.92/199.95	c |    165510 |     763    73888   319243 |    67275    61375     37 |  0.000 % |
201.92/201.96	c |    166535 |     763    73888   319243 |    67275    62400     37 |  0.000 % |
205.73/205.73	c |    168584 |     763    73888   319243 |    67275    64449     37 |  0.000 % |
212.63/212.69	c |    172680 |     763    73888   319243 |    65866    54696     37 |  0.000 % |
225.43/225.49	c |    180874 |     763    73888   319243 |    62016    52708     36 |  0.000 % |
247.83/247.85	c |    197258 |     763    73888   319243 |    61835    61624     36 |  0.000 % |
290.54/290.57	c |    230026 |     763    73888   319243 |    72762    72783     37 |  0.000 % |
291.64/291.69	c |    230538 |     763    73888   319243 |    72762    65883     36 |  0.000 % |
293.33/293.36	c |    231051 |     763    73888   319243 |    72762    66396     36 |  0.000 % |
295.33/295.37	c |    232075 |     763    73888   319243 |    72762    67420     37 |  0.000 % |
296.73/296.74	c |    232588 |     763    73888   319243 |    72762    67933     37 |  0.000 % |
297.93/297.99	c |    233100 |     763    73888   319243 |    72762    68445     37 |  0.000 % |
301.23/301.26	c |    234127 |     763    73888   319243 |    72762    69472     37 |  0.000 % |
306.13/306.19	c |    236175 |     763    73888   319243 |    72762    71520     37 |  0.000 % |
307.53/307.60	c |    236687 |     763    73888   319243 |    72762    72032     37 |  0.000 % |
308.53/308.53	c |    237200 |     763    73888   319243 |    72762    72545     37 |  0.000 % |
310.73/310.75	c |    238224 |     763    73888   319243 |    72762    55024     37 |  0.000 % |
311.73/311.76	c |    238736 |     763    73888   319243 |    72762    55536     37 |  0.000 % |
312.73/312.77	c |    239248 |     763    73888   319243 |    72762    56048     37 |  0.000 % |
314.74/314.78	c |    240272 |     763    73888   319243 |    56801    43436     38 |  0.000 % |
317.13/317.19	c |    242322 |     763    73888   319243 |    56801    45486     38 |  0.000 % |
322.14/322.20	c |    246418 |     763    73888   319243 |    56801    49582     38 |  0.002 % |
322.74/322.80	c |    246930 |     763    73888   319243 |    56801    50094     37 |  0.000 % |
323.54/323.52	c |    247442 |     763    73888   319243 |    56801    50606     37 |  0.000 % |
324.84/324.84	c |    248469 |     763    73888   319243 |    56801    51633     37 |  0.000 % |
325.64/325.65	c |    248984 |     763    73888   319243 |    56801    52148     37 |  0.000 % |
326.34/326.38	c |    249496 |     763    73888   319243 |    56801    52660     37 |  0.000 % |
327.94/327.97	c |    250520 |     763    73888   319243 |    53165    46101     37 |  0.000 % |
330.14/330.13	c |    252572 |     763    73888   319243 |    53165    48153     38 |  0.000 % |
330.84/330.90	c |    253085 |     763    73888   319243 |    53165    48666     38 |  0.000 % |
331.54/331.61	c |    253601 |     763    73888   319243 |    53165    49182     38 |  0.000 % |
332.54/332.55	c |    254625 |     763    73888   319243 |    53165    50206     38 |  0.000 % |
333.04/333.05	c |    255138 |     763    73888   319243 |    53165    50719     38 |  0.000 % |
333.54/333.55	c |    255652 |     763    73888   319243 |    53165    51233     38 |  0.002 % |
334.84/334.84	c |    256677 |     763    73888   319243 |    53165    52258     38 |  0.000 % |
337.54/337.60	c |    258725 |     763    73888   319243 |    53165    45937     38 |  0.000 % |
341.24/341.28	c |    262822 |     763    73888   319243 |    47212    44754     37 |  0.000 % |
349.94/349.96	c |    271014 |     763    73888   319243 | 2147483647    48213     38 |  0.000 % |
350.64/350.70	c |    271527 |     763    73888   319243 | 2147483647    48726     38 |  0.000 % |
351.64/351.62	c |    272041 |     763    73888   319243 | 2147483647    49240     38 |  0.000 % |
353.04/353.09	c |    273065 |     763    73888   319243 | 2147483647    50264     38 |  0.000 % |
353.84/353.87	c |    273577 |     763    73888   319243 | 2147483647    50776     38 |  0.000 % |
354.64/354.63	c |    274089 |     763    73888   319243 | 2147483647    51288     38 |  0.000 % |
356.34/356.37	c |    275114 |     763    73888   319243 | 2147483647    52313     38 |  0.000 % |
359.14/359.15	c |    277164 |     763    73888   319243 | 2147483647    54363     38 |  0.000 % |
360.04/360.10	c |    277677 |     763    73888   319243 | 2147483647    54876     38 |  0.000 % |
361.04/361.05	c |    278191 |     763    73888   319243 | 2147483647    55390     38 |  0.000 % |
362.44/362.42	c |    279218 |     763    73888   319243 | 2147483647    56417     38 |  0.000 % |
363.04/363.04	c |    279730 |     763    73888   319243 | 2147483647    56929     38 |  0.000 % |
363.74/363.73	c |    280243 |     763    73888   319243 |    57203    50193     38 |  0.000 % |
364.94/364.98	c |    281268 |     763    73888   319243 |    57203    51218     38 |  0.000 % |
367.64/367.70	c |    283318 |     763    73888   319243 |    57203    53268     38 |  0.000 % |
373.74/373.80	c |    287415 |     763    73888   319243 |    57203    51640     38 |  0.000 % |
374.44/374.44	c |    287927 |     763    73888   319243 |    57203    52152     38 |  0.000 % |
375.04/375.02	c |    288439 |     763    73888   319243 |    57203    52664     38 |  0.000 % |
376.44/376.47	c |    289464 |     763    73888   319243 |    57203    53689     38 |  0.000 % |
377.04/377.09	c |    289978 |     763    73888   319243 |    57203    54203     38 |  0.000 % |
377.74/377.79	c |    290495 |     763    73888   319243 | 2147483647    54720     38 |  0.000 % |
378.94/378.94	c |    291520 |     763    73888   319243 | 2147483647    55745     38 |  0.000 % |
382.84/382.83	c |    293569 |     763    73888   319243 | 2147483647    57794     38 |  0.000 % |
383.94/383.95	c |    294087 |     763    73888   319243 | 2147483647    58312     38 |  0.000 % |
385.04/385.09	c |    294599 |     763    73888   319243 | 2147483647    58824     38 |  0.000 % |
387.84/387.82	c |    295625 |     763    73888   319243 | 2147483647    59850     38 |  0.000 % |
389.14/389.14	c |    296137 |     763    73888   319243 | 2147483647    60362     38 |  0.000 % |
390.24/390.22	c |    296650 |     763    73888   319243 | 2147483647    60875     38 |  0.000 % |
392.24/392.27	c |    297674 |     763    73888   319243 | 2147483647    61899     38 |  0.000 % |
396.24/396.22	c |    299724 |     763    73888   319243 | 2147483647    63949     38 |  0.000 % |
403.34/403.34	c |    303820 |     763    73888   319243 |    64226    54949     39 |  0.000 % |
414.14/414.17	c |    312012 |     763    73888   319243 |    61129    52677     38 |  0.000 % |
440.15/440.21	c |    328396 |     763    73888   319243 |    60666    56123     38 |  0.000 % |
440.85/440.87	c |    328908 |     763    73888   319243 |    60666    56635     38 |  0.000 % |
441.65/441.63	c |    329421 |     763    73888   319243 |    60666    57148     38 |  0.000 % |
443.15/443.17	c |    330445 |     763    73888   319243 |    57727    48002     38 |  0.000 % |
443.65/443.65	c |    330958 |     763    73888   319243 |    57727    48515     38 |  0.000 % |
444.25/444.31	c |    331470 |     763    73888   319243 |    57727    49027     38 |  0.000 % |
445.35/445.39	c |    332497 |     763    73888   319243 |    57727    50054     38 |  0.000 % |
447.85/447.86	c |    334547 |     763    73888   319243 |    57727    52104     38 |  0.000 % |
448.65/448.62	c |    335065 |     763    73888   319243 |    57727    52622     38 |  0.000 % |
449.35/449.33	c |    335578 |     763    73888   319243 |    57727    53135     38 |  0.000 % |
450.75/450.81	c |    336603 |     763    73888   319243 |    57727    54160     38 |  0.000 % |
451.45/451.46	c |    337121 |     763    73888   319243 |    57727    54678     38 |  0.000 % |
452.05/452.04	c |    337633 |     763    73888   319243 |    57727    55190     38 |  0.000 % |
453.25/453.23	c |    338659 |     763    73888   319243 |    57727    56216     38 |  0.000 % |
456.65/456.66	c |    340710 |     763    73888   319243 |    57559    50034     38 |  0.000 % |
463.85/463.89	c |    344809 |     763    73888   319243 |    57559    54133     38 |  0.000 % |
464.65/464.70	c |    345322 |     763    73888   319243 |    57559    54646     38 |  0.000 % |
465.45/465.52	c |    345834 |     763    73888   319243 |    57559    55158     38 |  0.000 % |
466.85/466.89	c |    346858 |     763    73888   319243 |    57559    56182     37 |  0.000 % |
467.65/467.66	c |    347372 |     763    73888   319243 |    57559    56696     37 |  0.000 % |
468.45/468.50	c |    347887 |     763    73888   319243 |    57559    57211     37 |  0.000 % |
470.45/470.43	c |    348912 |     763    73888   319243 |    57559    51111     38 |  0.000 % |
473.65/473.67	c |    350960 |     763    73888   319243 |    52199    46083     37 |  0.000 % |
474.55/474.58	c |    351472 |     763    73888   319243 |    52199    46595     37 |  0.000 % |
475.35/475.33	c |    351985 |     763    73888   319243 |    52199    47108     37 |  0.000 % |
476.85/476.82	c |    353010 |     763    73888   319243 |    52199    48133     37 |  0.000 % |
477.65/477.68	c |    353522 |     763    73888   319243 |    52199    48645     37 |  0.000 % |
478.55/478.59	c |    354037 |     763    73888   319243 |    52199    49160     37 |  0.000 % |
480.55/480.56	c |    355063 |     763    73888   319243 |    52199    50186     37 |  0.000 % |
483.85/483.82	c |    357112 |     763    73888   319243 |    52199    52235     37 |  0.000 % |
488.95/488.95	c |    361208 |     763    73888   319243 |    47010    41869     36 |  0.000 % |
498.95/499.00	c |    369400 |     763    73888   319243 |    47010    45353     36 |  0.001 % |
499.75/499.72	c |    369912 |     763    73888   319243 |    47010    45865     36 |  0.000 % |
500.85/500.87	c |    370424 |     763    73888   319243 | 2147483647    46377     36 |  0.000 % |
503.14/503.18	c |    371448 |     763    73888   319243 | 2147483647    47401     36 |  0.000 % |
504.24/504.24	c |    371960 |     763    73888   319243 | 2147483647    47913     36 |  0.000 % |
505.34/505.32	c |    372472 |     763    73888   319243 | 2147483647    48425     36 |  0.000 % |
507.04/507.10	c |    373498 |     763    73888   319243 | 2147483647    49451     36 |  0.000 % |
509.63/509.61	c |    375549 |     763    73888   319243 | 2147483647    51502     36 |  0.000 % |
510.63/510.64	c |    376061 |     763    73888   319243 | 2147483647    52014     36 |  0.000 % |
511.64/511.63	c |    376573 |     763    73888   319243 | 2147483647    52526     36 |  0.000 % |
513.13/513.17	c |    377597 |     763    73888   319243 | 2147483647    53550     37 |  0.000 % |
513.84/513.87	c |    378109 |     763    73888   319243 | 2147483647    54062     37 |  0.000 % |
514.73/514.76	c |    378623 |     763    73888   319243 | 2147483647    54576     37 |  0.000 % |
516.43/516.48	c |    379648 |     763    73888   319243 | 2147483647    55601     37 |  0.000 % |
519.63/519.60	c |    381696 |     763    73888   319243 |    55954    47447     36 |  0.000 % |
526.03/526.09	c |    385792 |     763    73888   319243 |    55954    51543     36 |  0.000 % |
526.93/526.96	c |    386306 |     763    73888   319243 |    55954    52057     36 |  0.000 % |
527.53/527.59	c |    386818 |     763    73888   319243 |    55954    52569     36 |  0.000 % |
529.03/529.09	c |    387845 |     763    73888   319243 |    55954    53596     36 |  0.000 % |
529.73/529.75	c |    388357 |     763    73888   319243 |    55954    54108     36 |  0.000 % |
530.43/530.45	c |    388870 |     763    73888   319243 |    55954    54621     36 |  0.000 % |
532.03/532.01	c |    389894 |     763    73888   319243 |    55954    55645     36 |  0.000 % |
534.43/534.43	c |    391942 |     763    73888   319243 |    55751    47055     37 |  0.000 % |
535.03/535.10	c |    392454 |     763    73888   319243 |    55751    47567     37 |  0.000 % |
535.73/535.75	c |    392966 |     763    73888   319243 |    55751    48079     37 |  0.000 % |
537.03/537.02	c |    393993 |     763    73888   319243 |    55751    49106     37 |  0.000 % |
537.83/537.83	c |    394507 |     763    73888   319243 |    55751    49620     37 |  0.000 % |
538.43/538.48	c |    395021 |     763    73888   319243 |    55751    50134     37 |  0.000 % |
540.13/540.17	c |    396047 |     763    73888   319243 |    55751    51160     37 |  0.000 % |
543.73/543.78	c |    398099 |     763    73888   319243 |    55751    53212     37 |  0.000 % |
551.94/551.97	c |    402196 |     763    73888   319243 |    55113    43769     37 |  0.000 % |
560.24/560.25	c |    410390 |     763    73888   319243 | 2147483647    51963     37 |  0.000 % |
579.84/579.85	c |    426775 |     763    73888   319243 | 2147483647    68348     37 |  0.000 % |
628.74/628.73	c |    459544 |     763    73888   319243 |    80576    79488     36 |  0.000 % |
717.25/717.26	c |    525080 |     763    73888   319243 |    84284    79237     38 |  0.000 % |
718.45/718.46	c |    525592 |     763    73888   319243 |    84284    79749     38 |  0.000 % |
719.45/719.46	c |    526104 |     763    73888   319243 |    84284    80261     38 |  0.000 % |
721.15/721.20	c |    527128 |     763    73888   319243 |    84284    81285     38 |  0.000 % |
721.95/721.97	c |    527640 |     763    73888   319243 |    84284    81797     38 |  0.000 % |
722.85/722.83	c |    528153 |     763    73888   319243 |    84284    82310     38 |  0.000 % |
724.35/724.38	c |    529177 |     763    73888   319243 |    84284    83334     38 |  0.000 % |
728.15/728.12	c |    531229 |     763    73888   319243 |    84161    69605     38 |  0.000 % |
729.05/729.04	c |    531742 |     763    73888   319243 |    84161    70118     38 |  0.000 % |
730.05/730.03	c |    532259 |     763    73888   319243 |    84161    70635     38 |  0.000 % |
731.85/731.90	c |    533283 |     763    73888   319243 |    84161    71659     38 |  0.000 % |
732.76/732.73	c |    533795 |     763    73888   319243 |    84161    72171     38 |  0.000 % |
733.55/733.57	c |    534307 |     763    73888   319243 |    84161    72683     38 |  0.000 % |
735.25/735.22	c |    535331 |     763    73888   319243 |    84161    73707     38 |  0.000 % |
738.45/738.50	c |    537384 |     763    73888   319243 |    84161    75760     37 |  0.000 % |
744.45/744.42	c |    541480 |     763    73888   319243 |    78382    58115     36 |  0.000 % |
745.15/745.15	c |    541995 |     763    73888   319243 |    78382    58630     36 |  0.000 % |
745.75/745.78	c |    542507 |     763    73888   319243 |    78382    59142     36 |  0.000 % |
746.65/746.69	c |    543532 |     763    73888   319243 |    78382    60167     36 |  0.000 % |
747.45/747.42	c |    544044 |     763    73888   319243 |    78382    60679     36 |  0.000 % |
748.25/748.30	c |    544557 |     763    73888   319243 |    78382    61192     36 |  0.000 % |
749.65/749.64	c |    545587 |     763    73888   319243 |    78382    62222     36 |  0.000 % |
752.25/752.30	c |    547637 |     763    73888   319243 |    78382    64272     36 |  0.000 % |
752.85/752.82	c |    548155 |     763    73888   319243 |    78382    64790     36 |  0.000 % |
753.45/753.42	c |    548670 |     763    73888   319243 |    78382    65305     36 |  0.000 % |
754.95/755.00	c |    549696 |     763    73888   319243 |    78382    66331     36 |  0.000 % |
755.95/755.97	c |    550210 |     763    73888   319243 |    66639    55919     36 |  0.000 % |
756.55/756.54	c |    550723 |     763    73888   319243 |    66639    56432     36 |  0.000 % |
758.25/758.30	c |    551748 |     763    73888   319243 |    66639    57457     36 |  0.000 % |
760.35/760.40	c |    553796 |     763    73888   319243 |    66639    59505     36 |  0.000 % |
765.95/765.94	c |    557896 |     763    73888   319243 |    66639    63605     36 |  0.000 % |
776.06/776.07	c |    566088 |     763    73888   319243 | 2147483647    71797     35 |  0.000 % |
776.86/776.83	c |    566601 |     763    73888   319243 | 2147483647    72310     35 |  0.000 % |
777.46/777.47	c |    567113 |     763    73888   319243 | 2147483647    72822     35 |  0.000 % |
779.16/779.13	c |    568137 |     763    73888   319243 | 2147483647    73846     35 |  0.000 % |
779.96/779.95	c |    568654 |     763    73888   319243 | 2147483647    74363     35 |  0.000 % |
780.66/780.62	c |    569171 |     763    73888   319243 | 2147483647    74880     35 |  0.000 % |
782.06/782.03	c |    570195 |     763    73888   319243 | 2147483647    75904     35 |  0.000 % |
785.16/785.20	c |    572246 |     763    73888   319243 | 2147483647    77955     35 |  0.000 % |
785.96/786.00	c |    572761 |     763    73888   319243 | 2147483647    78470     35 |  0.000 % |
786.66/786.65	c |    573275 |     763    73888   319243 | 2147483647    78984     35 |  0.001 % |
788.06/788.08	c |    574299 |     763    73888   319243 | 2147483647    80008     35 |  0.000 % |
788.96/788.93	c |    574815 |     763    73888   319243 | 2147483647    80524     35 |  0.000 % |
789.56/789.60	c |    575330 |     763    73888   319243 | 2147483647    81039     35 |  0.000 % |
791.06/791.10	c |    576361 |     763    73888   319243 | 2147483647    82070     35 |  0.000 % |
794.06/794.10	c |    578411 |     763    73888   319243 | 2147483647    84120     35 |  0.000 % |
800.16/800.19	c |    582510 |     763    73888   319243 |    85709    79037     34 |  0.000 % |
800.96/800.98	c |    583026 |     763    73888   319243 |    85709    79553     34 |  0.000 % |
801.76/801.72	c |    583538 |     763    73888   319243 |    85709    80065     34 |  0.000 % |
803.26/803.31	c |    584564 |     763    73888   319243 |    85709    81091     35 |  0.000 % |
804.06/804.07	c |    585078 |     763    73888   319243 |    85709    81605     35 |  0.000 % |
805.06/805.04	c |    585590 |     763    73888   319243 |    85709    82117     35 |  0.000 % |
806.86/806.88	c |    586614 |     763    73888   319243 |    85709    83141     35 |  0.000 % |
810.06/810.11	c |    588671 |     763    73888   319243 |    85709    85198     35 |  0.000 % |
810.96/810.94	c |    589183 |     763    73888   319243 |    85709    85710     35 |  0.000 % |
811.96/811.93	c |    589696 |     763    73888   319243 |    85709    75118     34 |  0.000 % |
813.46/813.44	c |    590722 |     763    73888   319243 |    75424    66634     34 |  0.000 % |
814.16/814.21	c |    591236 |     763    73888   319243 |    75424    67148     34 |  0.000 % |
814.86/814.91	c |    591756 |     763    73888   319243 |    75424    67668     34 |  0.000 % |
816.26/816.27	c |    592780 |     763    73888   319243 |    75424    68692     34 |  0.000 % |
818.96/818.93	c |    594828 |     763    73888   319243 |    75424    70740     34 |  0.000 % |
825.46/825.47	c |    598925 |     763    73888   319243 |    75424    74837     34 |  0.000 % |
835.56/835.60	c |    607118 |     763    73888   319243 |    67569    67358     32 |  0.000 % |
853.16/853.14	c |    623502 |     763    73888   319243 |    73475    65274     32 |  0.000 % |
853.66/853.62	c |    624014 |     763    73888   319243 |    73475    65786     32 |  0.000 % |
854.26/854.27	c |    624527 |     763    73888   319243 |    73475    66299     32 |  0.000 % |
855.36/855.41	c |    625552 |     763    73888   319243 |    73475    67324     32 |  0.000 % |
856.06/856.10	c |    626065 |     763    73888   319243 |    73475    67837     32 |  0.000 % |
857.07/857.10	c |    626577 |     763    73888   319243 |    73475    68349     32 |  0.000 % |
858.06/858.04	c |    627601 |     763    73888   319243 |    73475    69373     32 |  0.000 % |
860.06/860.07	c |    629649 |     763    73888   319243 |    73475    71421     32 |  0.000 % |
861.66/861.69	c |    630162 |     763    73888   319243 |    71772    58605     32 |  0.000 % |
862.26/862.22	c |    630675 |     763    73888   319243 |    71772    59118     32 |  0.000 % |
863.26/863.23	c |    631699 |     763    73888   319243 |    71772    60142     32 |  0.000 % |
863.76/863.79	c |    632211 |     763    73888   319243 |    71772    60654     32 |  0.000 % |
864.46/864.42	c |    632724 |     763    73888   319243 |    71772    61167     32 |  0.000 % |
865.36/865.32	c |    633749 |     763    73888   319243 |    71772    62192     32 |  0.000 % |
867.15/867.17	c |    635800 |     763    73888   319243 |    71772    64243     32 |  0.000 % |
871.75/871.80	c |    639896 |     763    73888   319243 |    71772    68339     32 |  0.000 % |
873.25/873.24	c |    640408 |     763    73888   319243 |    68445    57258     31 |  0.000 % |
873.65/873.60	c |    640922 |     763    73888   319243 |    68445    57772     31 |  0.000 % |
874.35/874.37	c |    641946 |     763    73888   319243 |    68445    58796     31 |  0.000 % |
874.85/874.84	c |    642458 |     763    73888   319243 |    68445    59308     31 |  0.000 % |
875.25/875.29	c |    642972 |     763    73888   319243 |    68445    59822     31 |  0.000 % |
876.25/876.29	c |    643998 |     763    73888   319243 |    68445    60848     31 |  0.000 % |
879.15/879.12	c |    646047 |     763    73888   319243 |    68445    62897     31 |  0.000 % |
879.65/879.61	c |    646559 |     763    73888   319243 |    68445    63409     31 |  0.000 % |
880.16/880.18	c |    647071 |     763    73888   319243 |    68445    63921     31 |  0.000 % |
881.05/881.06	c |    648095 |     763    73888   319243 |    68445    64945     32 |  0.000 % |
881.55/881.54	c |    648607 |     763    73888   319243 |    68445    65457     32 |  0.000 % |
882.15/882.14	c |    649119 |     763    73888   319243 |    68445    65969     32 |  0.000 % |
883.65/883.65	c |    650146 |     763    73888   319243 |    66850    55050     32 |  0.000 % |
885.45/885.43	c |    652194 |     763    73888   319243 |    66850    57098     32 |  0.000 % |
889.36/889.32	c |    656293 |     763    73888   319243 |    66850    61197     32 |  0.000 % |
897.16/897.19	c |    664488 |     763    73888   319243 |    64904    60425     33 |  0.000 % |
897.86/897.86	c |    665001 |     763    73888   319243 |    64904    60938     33 |  0.000 % |
898.46/898.47	c |    665514 |     763    73888   319243 |    64904    61451     33 |  0.000 % |
900.06/900.04	c |    666540 |     763    73888   319243 |    64904    62477     33 |  0.000 % |
900.86/900.82	c |    667052 |     763    73888   319243 |    64904    62989     33 |  0.000 % |
901.56/901.57	c |    667565 |     763    73888   319243 |    64904    63502     33 |  0.000 % |
902.86/902.88	c |    668592 |     763    73888   319243 |    64904    64529     33 |  0.000 % |
905.56/905.60	c |    670642 |     763    73888   319243 |    54447    45078     32 |  0.000 % |
906.06/906.11	c |    671154 |     763    73888   319243 |    54447    45590     32 |  0.000 % |
906.76/906.81	c |    671666 |     763    73888   319243 |    54447    46102     32 |  0.000 % |
908.26/908.22	c |    672690 |     763    73888   319243 |    54447    47126     32 |  0.000 % |
908.96/908.94	c |    673205 |     763    73888   319243 |    54447    47641     32 |  0.000 % |
909.56/909.55	c |    673719 |     763    73888   319243 |    54447    48155     31 |  0.000 % |
910.76/910.80	c |    674744 |     763    73888   319243 |    54447    49180     31 |  0.000 % |
912.96/912.93	c |    676792 |     763    73888   319243 |    54447    51228     31 |  0.000 % |
917.56/917.59	c |    680889 |     763    73888   319243 |    54436    44445     33 |  0.000 % |
918.26/918.21	c |    681402 |     763    73888   319243 |    54436    44958     33 |  0.000 % |
918.76/918.76	c |    681916 |     763    73888   319243 |    54436    45472     33 |  0.000 % |
919.86/919.90	c |    682941 |     763    73888   319243 |    54436    46497     33 |  0.000 % |
920.46/920.44	c |    683453 |     763    73888   319243 |    54436    47009     33 |  0.000 % |
921.06/921.01	c |    683966 |     763    73888   319243 |    54436    47522     33 |  0.000 % |
922.16/922.17	c |    684992 |     763    73888   319243 |    54436    48548     33 |  0.000 % |
924.16/924.16	c |    687041 |     763    73888   319243 |    54436    50597     33 |  0.000 % |
925.16/925.13	c |    687554 |     763    73888   319243 |    54436    51110     33 |  0.000 % |
926.06/926.07	c |    688066 |     763    73888   319243 |    54436    51622     32 |  0.000 % |
927.36/927.32	c |    689090 |     763    73888   319243 |    54436    52646     32 |  0.000 % |
927.96/928.00	c |    689605 |     763    73888   319243 |    54436    53161     32 |  0.000 % |
929.06/929.06	c |    690118 |     763    73888   319243 |    53556    41424     32 |  0.000 % |
929.96/929.97	c |    691142 |     763    73888   319243 |    53556    42448     32 |  0.000 % |
932.16/932.16	c |    693190 |     763    73888   319243 |    53556    44496     32 |  0.000 % |
936.06/936.05	c |    697287 |     763    73888   319243 |    53556    48593     31 |  0.000 % |
946.96/946.93	c |    705480 |     763    73888   319243 |    51306    47226     30 |  0.000 % |
960.56/960.51	c |    721865 |     763    73888   319243 | 2147483647    44315     33 |  0.000 % |
1002.77/1002.73	c |    754633 |     763    73888   319243 | 2147483647    49121     34 |  0.002 % |
1003.27/1003.23	c |    755146 |     763    73888   319243 | 2147483647    49634     34 |  0.000 % |
1003.67/1003.64	c |    755658 |     763    73888   319243 | 2147483647    50146     34 |  0.000 % |
1004.47/1004.48	c |    756683 |     763    73888   319243 | 2147483647    51171     33 |  0.000 % |
1004.97/1004.99	c |    757196 |     763    73888   319243 | 2147483647    51684     33 |  0.000 % |
1005.67/1005.65	c |    757708 |     763    73888   319243 | 2147483647    52196     33 |  0.000 % |
1006.97/1006.94	c |    758733 |     763    73888   319243 | 2147483647    53221     33 |  0.000 % |
1009.27/1009.25	c |    760783 |     763    73888   319243 | 2147483647    55271     33 |  0.000 % |
1009.77/1009.72	c |    761295 |     763    73888   319243 | 2147483647    55783     33 |  0.000 % |
1010.26/1010.23	c |    761807 |     763    73888   319243 | 2147483647    56295     33 |  0.000 % |
1011.66/1011.62	c |    762831 |     763    73888   319243 | 2147483647    57319     33 |  0.000 % |
1012.26/1012.27	c |    763346 |     763    73888   319243 | 2147483647    57834     33 |  0.000 % |
1012.86/1012.90	c |    763858 |     763    73888   319243 | 2147483647    58346     33 |  0.000 % |
1014.16/1014.18	c |    764882 |     763    73888   319243 | 2147483647    59370     33 |  0.000 % |
1016.66/1016.64	c |    766930 |     763    73888   319243 | 2147483647    61418     33 |  0.000 % |
1021.66/1021.71	c |    771026 |     763    73888   319243 | 2147483647    65514     32 |  0.000 % |
1022.36/1022.41	c |    771540 |     763    73888   319243 | 2147483647    66028     32 |  0.000 % |
1023.06/1023.04	c |    772054 |     763    73888   319243 | 2147483647    66542     33 |  0.000 % |
1024.56/1024.53	c |    773078 |     763    73888   319243 | 2147483647    67566     33 |  0.000 % |
1025.36/1025.33	c |    773590 |     763    73888   319243 | 2147483647    68078     33 |  0.000 % |
1025.96/1026.00	c |    774105 |     763    73888   319243 | 2147483647    68593     33 |  0.000 % |
1027.26/1027.30	c |    775129 |     763    73888   319243 | 2147483647    69617     33 |  0.000 % |
1030.26/1030.29	c |    777178 |     763    73888   319243 | 2147483647    71666     33 |  0.000 % |
1030.96/1030.99	c |    777690 |     763    73888   319243 | 2147483647    72178     34 |  0.000 % |
1031.76/1031.74	c |    778202 |     763    73888   319243 | 2147483647    72690     34 |  0.000 % |
1033.06/1033.03	c |    779228 |     763    73888   319243 | 2147483647    73716     34 |  0.000 % |
1033.86/1033.86	c |    779743 |     763    73888   319243 | 2147483647    74231     34 |  0.000 % |
1034.66/1034.68	c |    780255 |     763    73888   319243 |    74489    62371     32 |  0.000 % |
1035.66/1035.70	c |    781279 |     763    73888   319243 |    74489    63395     33 |  0.000 % |
1037.76/1037.72	c |    783328 |     763    73888   319243 |    74489    65444     33 |  0.000 % |
1041.86/1041.87	c |    787424 |     763    73888   319243 |    74489    69540     33 |  0.000 % |
1050.46/1050.46	c |    795616 |     763    73888   319243 | 2147483647    77732     32 |  0.000 % |
1051.06/1051.07	c |    796128 |     763    73888   319243 | 2147483647    78244     32 |  0.000 % |
1051.66/1051.68	c |    796642 |     763    73888   319243 | 2147483647    78758     32 |  0.000 % |
1053.26/1053.22	c |    797667 |     763    73888   319243 | 2147483647    79783     32 |  0.000 % |
1053.96/1053.94	c |    798180 |     763    73888   319243 | 2147483647    80296     32 |  0.000 % |
1054.66/1054.61	c |    798692 |     763    73888   319243 | 2147483647    80808     32 |  0.000 % |
1055.86/1055.87	c |    799716 |     763    73888   319243 | 2147483647    81832     32 |  0.000 % |
1058.96/1058.93	c |    801764 |     763    73888   319243 | 2147483647    83880     33 |  0.000 % |
1059.66/1059.64	c |    802279 |     763    73888   319243 | 2147483647    84395     33 |  0.000 % |
1060.46/1060.45	c |    802792 |     763    73888   319243 | 2147483647    84908     33 |  0.000 % |
1061.76/1061.78	c |    803817 |     763    73888   319243 | 2147483647    85933     33 |  0.000 % |
1062.46/1062.51	c |    804329 |     763    73888   319243 | 2147483647    86445     33 |  0.000 % |
1063.16/1063.17	c |    804843 |     763    73888   319243 | 2147483647    86959     33 |  0.000 % |
1064.36/1064.37	c |    805868 |     763    73888   319243 | 2147483647    87984     33 |  0.000 % |
1066.86/1066.85	c |    807919 |     763    73888   319243 | 2147483647    90035     32 |  0.000 % |
1071.96/1071.92	c |    812016 |     763    73888   319243 | 2147483647    94132     32 |  0.000 % |
1072.67/1072.68	c |    812531 |     763    73888   319243 | 2147483647    94647     32 |  0.000 % |
1073.46/1073.45	c |    813044 |     763    73888   319243 | 2147483647    95160     32 |  0.000 % |
1075.26/1075.29	c |    814068 |     763    73888   319243 | 2147483647    96184     33 |  0.000 % |
1076.16/1076.20	c |    814580 |     763    73888   319243 | 2147483647    96696     33 |  0.000 % |
1077.16/1077.20	c |    815092 |     763    73888   319243 | 2147483647    97208     33 |  0.000 % |
1079.16/1079.13	c |    816116 |     763    73888   319243 | 2147483647    98232     33 |  0.000 % |
1082.36/1082.32	c |    818164 |     763    73888   319243 | 2147483647   100280     33 |  0.000 % |
1083.16/1083.12	c |    818676 |     763    73888   319243 | 2147483647   100792     33 |  0.000 % |
1083.76/1083.78	c |    819188 |     763    73888   319243 | 2147483647   101304     33 |  0.000 % |
1086.16/1086.16	c |    820212 |     763    73888   319243 |   102122    86697     34 |  0.000 % |
1086.76/1086.79	c |    820724 |     763    73888   319243 |   102122    87209     34 |  0.000 % |
1087.46/1087.46	c |    821238 |     763    73888   319243 |   102122    87723     34 |  0.000 % |
1088.56/1088.60	c |    822263 |     763    73888   319243 |   102122    88748     34 |  0.000 % |
1091.37/1091.36	c |    824311 |     763    73888   319243 |   102122    90796     33 |  0.000 % |
1096.46/1096.47	c |    828408 |     763    73888   319243 |   102122    94893     33 |  0.000 % |
1107.36/1107.40	c |    836600 |     763    73888   319243 |    96485    93069     33 |  0.000 % |
1128.47/1128.48	c |    852985 |     763    73888   319243 |    94148    84792     34 |  0.000 % |
1129.17/1129.14	c |    853499 |     763    73888   319243 |    94148    85306     34 |  0.000 % |
1129.87/1129.87	c |    854012 |     763    73888   319243 |    94148    85819     34 |  0.000 % |
1131.47/1131.43	c |    855037 |     763    73888   319243 |    94148    86844     34 |  0.000 % |
1132.17/1132.20	c |    855551 |     763    73888   319243 |    94148    87358     34 |  0.000 % |
1132.97/1133.00	c |    856063 |     763    73888   319243 |    94148    87870     34 |  0.000 % |
1134.57/1134.55	c |    857088 |     763    73888   319243 |    94148    88895     35 |  0.000 % |
1138.07/1138.03	c |    859136 |     763    73888   319243 |    94148    90943     35 |  0.000 % |
1138.77/1138.79	c |    859650 |     763    73888   319243 |    94148    91457     35 |  0.000 % |
1139.77/1139.81	c |    860163 |     763    73888   319243 |    91808    77154     33 |  0.000 % |
1140.87/1140.83	c |    861187 |     763    73888   319243 |    91808    78178     34 |  0.000 % |
1141.47/1141.49	c |    861700 |     763    73888   319243 |    91808    78691     34 |  0.000 % |
1142.07/1142.03	c |    862213 |     763    73888   319243 |    91808    79204     34 |  0.000 % |
1142.97/1142.96	c |    863237 |     763    73888   319243 |    91808    80228     34 |  0.000 % |
1145.27/1145.28	c |    865285 |     763    73888   319243 |    91808    82276     34 |  0.000 % |
1150.07/1150.10	c |    869382 |     763    73888   319243 |    91808    86373     35 |  0.000 % |
1150.77/1150.77	c |    869895 |     763    73888   319243 |    91808    86886     35 |  0.000 % |
1151.57/1151.59	c |    870407 |     763    73888   319243 |    86992    72036     35 |  0.000 % |
1152.77/1152.75	c |    871435 |     763    73888   319243 |    86992    73064     35 |  0.000 % |
1153.27/1153.23	c |    871948 |     763    73888   319243 |    86992    73577     35 |  0.000 % |
1153.87/1153.90	c |    872460 |     763    73888   319243 |    86992    74089     35 |  0.000 % |
1155.07/1155.09	c |    873484 |     763    73888   319243 |    86992    75113     36 |  0.000 % |
1157.77/1157.76	c |    875532 |     763    73888   319243 |    86992    77161     36 |  0.000 % |
1158.47/1158.44	c |    876045 |     763    73888   319243 |    86992    77674     36 |  0.000 % |
1159.17/1159.19	c |    876557 |     763    73888   319243 |    86992    78186     36 |  0.000 % |
1160.47/1160.50	c |    877584 |     763    73888   319243 |    86992    79213     36 |  0.000 % |
1161.27/1161.28	c |    878101 |     763    73888   319243 |    86992    79730     36 |  0.000 % |
1162.07/1162.06	c |    878614 |     763    73888   319243 |    86992    80243     36 |  0.000 % |
1163.37/1163.38	c |    879638 |     763    73888   319243 |    86992    81267     36 |  0.000 % |
1166.07/1166.07	c |    881687 |     763    73888   319243 |    81629    70367     36 |  0.000 % |
1170.87/1170.91	c |    885787 |     763    73888   319243 |    81629    74467     36 |  0.000 % |
1181.67/1181.69	c |    893979 |     763    73888   319243 | 2147483647    82659     35 |  0.000 % |
1182.47/1182.48	c |    894492 |     763    73888   319243 | 2147483647    83172     35 |  0.000 % |
1183.17/1183.16	c |    895004 |     763    73888   319243 | 2147483647    83684     35 |  0.000 % |
1184.77/1184.76	c |    896028 |     763    73888   319243 | 2147483647    84708     35 |  0.000 % |
1185.47/1185.48	c |    896540 |     763    73888   319243 | 2147483647    85220     35 |  0.000 % |
1186.27/1186.29	c |    897055 |     763    73888   319243 | 2147483647    85735     36 |  0.000 % |
1187.87/1187.90	c |    898079 |     763    73888   319243 | 2147483647    86759     36 |  0.000 % |
1191.07/1191.02	c |    900127 |     763    73888   319243 |    88682    77283     37 |  0.000 % |
1191.77/1191.79	c |    900639 |     763    73888   319243 |    88682    77795     36 |  0.000 % |
1192.58/1192.53	c |    901151 |     763    73888   319243 |    88682    78307     36 |  0.000 % |
1193.87/1193.85	c |    902175 |     763    73888   319243 |    88682    79331     36 |  0.000 % |
1194.57/1194.52	c |    902687 |     763    73888   319243 |    88682    79843     36 |  0.000 % |
1195.17/1195.19	c |    903200 |     763    73888   319243 |    88682    80356     36 |  0.000 % |
1196.57/1196.54	c |    904226 |     763    73888   319243 |    88682    81382     36 |  0.000 % |
1199.27/1199.28	c |    906283 |     763    73888   319243 |    88682    83439     36 |  0.000 % |
1200.07/1200.02	HOME/SatELiteGTI: line 36:  7614 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-1821683-1242551876/watcher-1821683-1242551876 -o /tmp/evaluation-result-1821683-1242551876/solver-1821683-1242551876 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821683-1242551876.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.03 1.01 1.00 2/93 7608
/proc/meminfo: memFree=699708/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2416 CPUtime=0
/proc/7608/stat : 7608 (SatELiteGTI) R 7606 7608 10114 0 -1 4194304 354 647 0 0 0 0 0 0 25 0 1 0 1019688368 2473984 277 4294967295 134512640 135169312 3219958304 3219956780 3085010804 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/7608/statm: 604 277 235 161 0 43 0
[pid=7612] ppid=7608 vsize=0 CPUtime=0
/proc/7612/stat : 7612 (SatELiteGTI) R 7608 7608 10114 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1019688368 0 0 4294967295 0 0 0 3219956932 3085011434 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7612/statm: 0 0 0 0 0 0 0

[startup+0.108202 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 7608
/proc/meminfo: memFree=699708/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2416 CPUtime=0
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1019688368 2473984 277 4294967295 134512640 135169312 3219958304 3219956840 3085008622 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7608/statm: 604 277 235 161 0 43 0
[pid=7612] ppid=7608 vsize=7048 CPUtime=0.11
/proc/7612/stat : 7612 (SatELite_releas) R 7608 7608 10114 0 -1 4202496 1616 0 0 0 10 1 0 0 25 0 1 0 1019688368 7217152 1552 4294967295 134512640 135223648 3216469680 3216467456 134585471 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7612/statm: 1762 1552 73 174 0 1587 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9464

[startup+0.218196 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 7608
/proc/meminfo: memFree=699708/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2416 CPUtime=0
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1019688368 2473984 277 4294967295 134512640 135169312 3219958304 3219956840 3085008622 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7608/statm: 604 277 235 161 0 43 0
[pid=7612] ppid=7608 vsize=8136 CPUtime=0.22
/proc/7612/stat : 7612 (SatELite_releas) R 7608 7608 10114 0 -1 4202496 1816 0 0 0 20 2 0 0 25 0 1 0 1019688368 8331264 1752 4294967295 134512640 135223648 3216469680 3216467316 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7612/statm: 2034 1752 73 174 0 1859 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10552

[startup+0.318191 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 7608
/proc/meminfo: memFree=699708/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2416 CPUtime=0
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1019688368 2473984 277 4294967295 134512640 135169312 3219958304 3219956840 3085008622 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7608/statm: 604 277 235 161 0 43 0
[pid=7612] ppid=7608 vsize=9372 CPUtime=0.32
/proc/7612/stat : 7612 (SatELite_releas) R 7608 7608 10114 0 -1 4202496 2096 0 0 0 29 3 0 0 25 0 1 0 1019688368 9596928 2032 4294967295 134512640 135223648 3216469680 3216467776 134585477 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7612/statm: 2343 2032 73 174 0 2168 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 11788

[startup+0.718172 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 7608
/proc/meminfo: memFree=699708/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2416 CPUtime=0
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1019688368 2473984 277 4294967295 134512640 135169312 3219958304 3219956840 3085008622 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/7608/statm: 604 277 235 161 0 43 0
[pid=7612] ppid=7608 vsize=9372 CPUtime=0.72
/proc/7612/stat : 7612 (SatELite_releas) R 7608 7608 10114 0 -1 4202496 2096 0 0 0 69 3 0 0 25 0 1 0 1019688368 9596928 2032 4294967295 134512640 135223648 3216469680 3216467856 134585373 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7612/statm: 2343 2032 73 174 0 2168 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 11788

[startup+1.51813 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 7614
/proc/meminfo: memFree=692880/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=6032 CPUtime=0.71
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 1430 0 0 0 70 1 0 0 24 0 1 0 1019688449 6176768 1365 4294967295 134512640 135216591 3217580064 3217578256 134528877 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 1508 1365 75 172 0 1335 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8452

[startup+3.11806 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 7614
/proc/meminfo: memFree=692260/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=6692 CPUtime=2.31
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 1603 0 0 0 230 1 0 0 25 0 1 0 1019688449 6852608 1538 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 1673 1538 75 172 0 1500 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9112

[startup+6.3179 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 7619
/proc/meminfo: memFree=691268/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=7800 CPUtime=5.51
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 1859 0 0 0 550 1 0 0 25 0 1 0 1019688449 7987200 1794 4294967295 134512640 135216591 3217580064 3217578256 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 1950 1794 75 172 0 1777 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10220

[startup+12.7176 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 7620
/proc/meminfo: memFree=688852/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=9708 CPUtime=11.91
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 2352 0 0 0 1189 2 0 0 25 0 1 0 1019688449 9940992 2287 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 2427 2287 75 172 0 2254 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12128

[startup+25.517 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 7620
/proc/meminfo: memFree=686236/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=12400 CPUtime=24.71
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 3022 0 0 0 2468 3 0 0 25 0 1 0 1019688449 12697600 2957 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 3100 2957 75 172 0 2927 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 14820

[startup+51.1157 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 7805
/proc/meminfo: memFree=680928/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=17684 CPUtime=50.31
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 4319 0 0 0 5028 3 0 0 25 0 1 0 1019688449 18108416 4254 4294967295 134512640 135216591 3217580064 3217578256 134529256 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 4421 4254 75 172 0 4248 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 20104

[startup+102.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7809
/proc/meminfo: memFree=677968/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=21128 CPUtime=101.52
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 5138 0 0 0 10149 3 0 0 25 0 1 0 1019688449 21635072 5073 4294967295 134512640 135216591 3217580064 3217578256 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 5282 5073 75 172 0 5109 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 23548

[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7998
/proc/meminfo: memFree=677464/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=21628 CPUtime=161.51
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 5266 0 0 0 16148 3 0 0 25 0 1 0 1019688449 22147072 5201 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 5407 5201 75 172 0 5234 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 24048

[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8184
/proc/meminfo: memFree=676844/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=22372 CPUtime=221.52
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 5432 0 0 0 22149 3 0 0 25 0 1 0 1019688449 22908928 5367 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 5593 5367 75 172 0 5420 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 24792

[startup+282.314 s]
/proc/loadavg: 1.07 1.03 1.01 3/95 8372
/proc/meminfo: memFree=675736/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=23572 CPUtime=281.52
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 5684 0 0 0 28149 3 0 0 25 0 1 0 1019688449 24137728 5611 4294967295 134512640 135216591 3217580064 3217578256 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 5893 5611 75 172 0 5720 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 25992

[startup+342.322 s]
/proc/loadavg: 1.09 1.05 1.01 3/95 8561
/proc/meminfo: memFree=675604/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=23856 CPUtime=341.53
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 5760 0 0 0 34150 3 0 0 25 0 1 0 1019688449 24428544 5687 4294967295 134512640 135216591 3217580064 3217578256 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 5964 5687 75 172 0 5791 0
Current children cumulated CPU time (s) 342.34

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

/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=25268 CPUtime=521.52
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6091 0 0 0 52147 5 0 0 25 0 1 0 1019688449 25874432 6018 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 6317 6018 75 172 0 6144 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 27688

[startup+582.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 9317
/proc/meminfo: memFree=674000/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=25480 CPUtime=581.53
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6114 0 0 0 58148 5 0 0 25 0 1 0 1019688449 26091520 6041 4294967295 134512640 135216591 3217580064 3217578256 134528944 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 6370 6041 75 172 0 6197 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 27900

[startup+642.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 9506
/proc/meminfo: memFree=672628/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=26840 CPUtime=641.53
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6423 0 0 0 64146 7 0 0 25 0 1 0 1019688449 27484160 6350 4294967295 134512640 135216591 3217580064 3217578256 134529243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 6710 6350 75 172 0 6537 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 29260

[startup+702.314 s]
/proc/loadavg: 1.07 1.02 1.00 3/95 9693
/proc/meminfo: memFree=672140/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=27136 CPUtime=701.54
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6508 0 0 0 70147 7 0 0 25 0 1 0 1019688449 27787264 6435 4294967295 134512640 135216591 3217580064 3217578256 134528888 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 6784 6435 75 172 0 6611 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 29556

[startup+762.311 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 9886
/proc/meminfo: memFree=671264/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=28256 CPUtime=761.54
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6757 0 0 0 76147 7 0 0 25 0 1 0 1019688449 28934144 6684 4294967295 134512640 135216591 3217580064 3217578256 134528936 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7064 6684 75 172 0 6891 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 30676

[startup+822.318 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 10072
/proc/meminfo: memFree=671140/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=28536 CPUtime=821.55
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6826 0 0 0 82142 13 0 0 25 0 1 0 1019688449 29220864 6753 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7134 6753 75 172 0 6961 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 30956

[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10263
/proc/meminfo: memFree=670900/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=28676 CPUtime=881.55
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6861 0 0 0 88141 14 0 0 25 0 1 0 1019688449 29364224 6788 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7169 6788 75 172 0 6996 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 31096

[startup+942.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10452
/proc/meminfo: memFree=670768/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=28676 CPUtime=941.55
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 6870 0 0 0 94137 18 0 0 25 0 1 0 1019688449 29364224 6797 4294967295 134512640 135216591 3217580064 3217578256 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7169 6797 75 172 0 6996 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 31096

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10639
/proc/meminfo: memFree=670156/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=29296 CPUtime=1001.56
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 7019 0 0 0 100137 19 0 0 25 0 1 0 1019688449 29999104 6946 4294967295 134512640 135216591 3217580064 3217578256 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7324 6946 75 172 0 7151 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 31716

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10828
/proc/meminfo: memFree=670024/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=29472 CPUtime=1061.55
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 7062 0 0 0 106131 24 0 0 25 0 1 0 1019688449 30179328 6989 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7368 6989 75 172 0 7195 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 31892

[startup+1122.32 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 11014
/proc/meminfo: memFree=667916/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=31928 CPUtime=1121.56
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 7594 0 0 0 112124 32 0 0 25 0 1 0 1019688449 32694272 7521 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 7982 7521 75 172 0 7809 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 34348

[startup+1182.32 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 11206
/proc/meminfo: memFree=668048/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=32224 CPUtime=1181.56
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 7663 0 0 0 118124 32 0 0 25 0 1 0 1019688449 32997376 7590 4294967295 134512640 135216591 3217580064 3217578256 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 8056 7590 75 172 0 7883 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 34644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 11391
/proc/meminfo: memFree=667424/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=32368 CPUtime=1199.26
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 7699 0 0 0 119894 32 0 0 25 0 1 0 1019688449 33144832 7626 4294967295 134512640 135216591 3217580064 3217578256 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 8092 7626 75 172 0 7919 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 34788

Sending SIGTERM to process tree (bottom up)

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

[startup+1200.02 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 11391
/proc/meminfo: memFree=667424/2074464 swapFree=1950884/1959888
[pid=7608] ppid=7606 vsize=2420 CPUtime=0.81
/proc/7608/stat : 7608 (SatELiteGTI) S 7606 7608 10114 0 -1 4194304 386 2747 0 0 0 0 78 3 18 0 1 0 1019688368 2478080 278 4294967295 134512640 135169312 3219958304 3219954520 3085008622 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7608/statm: 605 278 235 161 0 44 0
[pid=7614] ppid=7608 vsize=32368 CPUtime=1199.26
/proc/7614/stat : 7614 (minisat_static) R 7608 7608 10114 0 -1 4202496 7699 0 0 0 119894 32 0 0 25 0 1 0 1019688449 33144832 7626 4294967295 134512640 135216591 3217580064 3217578256 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7614/statm: 8092 7626 75 172 0 7919 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 34788

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.07
CPU user time (s): 1199.72
CPU system time (s): 0.35
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.72
system time used= 0.35
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11108
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= 1435

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi13 at 2009-05-17 11:17:56
IDJOB=1821683
IDBENCH=71065
IDSOLVER=658
FILE ID=tipi13/1821683-1242551876
PBS_JOBID=
Free space on /tmp= 6791 MiB

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

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

MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED= 1256549453

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:        699740 kB
Buffers:         64748 kB
Cached:        1193584 kB
SwapCached:       3516 kB
Active:         540028 kB
Inactive:       727888 kB
HighTotal:     1178688 kB
HighFree:       114308 kB
LowTotal:       895776 kB
LowFree:        585432 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:        8608 kB
Mapped:           3120 kB
Slab:            97356 kB
PageTables:        504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90600 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6791 MiB
End job on tipi13 at 2009-05-17 11:37:56