Trace number 1821106

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 p-2009-03-18? (TO) 1200.05 1200.03

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-31-s100.cnf
MD5SUM5dbb80f29538e26a3285bf497c57f592
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 variables32310
Number of clauses97279
Sum of the clauses size229607
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262102
Number of clauses of size 335113
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.09	c ==============================================================================
0.00/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.09	c ==============================================================================
0.00/0.09	c |         0 |   97087   229155 |   29126       0        0     nan |  0.000 % |
1.23/1.26	c |         0 |   60326   180505 |      --       0       --      -- |     --   | -36641/-48226
1.23/1.26	c ==============================================================================
1.23/1.26	c Result  :   #vars: 14508   #clauses: 60326   #literals: 180505
1.23/1.26	c CPU time:   1.25 s
1.23/1.26	c ==============================================================================
1.32/1.33	c This is MiniSat 2.0 beta
1.32/1.33	c WARNING: for repeatability, setting FPU to use double precision
1.32/1.33	c ============================[ Problem Statistics ]=============================
1.32/1.33	c |                                                                             |
1.32/1.33	c |  Number of variables:  14508                                                |
1.32/1.33	c |  Number of clauses:    60326                                                |
1.32/1.37	c |  Parsing time:         0.03         s                                       |
1.32/1.38	c ============================[ Search Statistics ]==============================
1.32/1.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.32/1.38	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.32/1.38	c ===============================================================================
1.32/1.38	c |         0 |   14508    60326   180505 |    20108        0    nan |  0.000 % |
1.33/1.42	c |       102 |   14495    60326   180505 |    20108       96     31 |  2.288 % |
1.33/1.81	c |       204 |   14495    60326   180505 |    20108      198     44 |  2.288 % |
1.33/2.14	c |       304 |   14176    58577   176012 |    20108      283     38 |  2.288 % |
2.42/2.44	c |       415 |   14176    58577   176012 |    20108      394     39 |  2.288 % |
2.72/2.80	c |       515 |   14176    58577   176012 |    20108      494     38 |  2.288 % |
3.22/3.28	c |       626 |   14176    58577   176012 |    20108      605     37 |  2.288 % |
3.92/4.00	c |       749 |   14176    58577   176012 |    20108      728     36 |  2.288 % |
4.51/4.57	c |       849 |   14176    58577   176012 |    20108      828     35 |  2.288 % |
5.09/5.12	c |       960 |   14176    58577   176012 |    20108      939     35 |  2.288 % |
5.69/5.79	c |      1081 |   14176    58577   176012 |    20108     1060     34 |  2.288 % |
6.39/6.50	c |      1215 |   14176    58577   176012 |    20108     1194     34 |  2.288 % |
6.79/6.84	c |      1315 |   14176    58577   176012 |    20108     1294     34 |  2.288 % |
7.09/7.18	c |      1425 |   14176    58577   176012 |    20108     1404     35 |  2.288 % |
7.59/7.71	c |      1547 |   14176    58577   176012 |    20108     1526     34 |  2.288 % |
7.99/8.09	c |      1680 |   14176    58577   176012 |    20108     1659     34 |  2.288 % |
8.69/8.76	c |      1827 |   14176    58577   176012 |    20108     1806     34 |  2.288 % |
9.09/9.21	c |      1929 |   14176    58577   176012 |    20108     1908     34 |  2.288 % |
9.59/9.70	c |      2039 |   14176    58577   176012 |    20108     2018     34 |  2.288 % |
10.19/10.22	c |      2161 |   14176    58577   176012 |    20108     2140     35 |  2.288 % |
10.89/10.94	c |      2294 |   14176    58577   176012 |    20108     2273     35 |  2.288 % |
11.39/11.45	c |      2440 |   14176    58577   176012 |    20108     2419     35 |  2.288 % |
12.09/12.16	c |      2601 |   14176    58577   176012 |    20108     2580     35 |  2.288 % |
12.49/12.53	c |      2701 |   14176    58577   176012 |    20108     2680     35 |  2.288 % |
12.99/13.03	c |      2811 |   14176    58577   176012 |    20108     2790     35 |  2.288 % |
13.49/13.60	c |      2932 |   14176    58577   176012 |    20108     2911     35 |  2.288 % |
14.19/14.25	c |      3066 |   14176    58577   176012 |    20108     3045     35 |  2.288 % |
14.99/15.07	c |      3212 |   14176    58577   176012 |    20108     3191     36 |  2.288 % |
15.77/15.88	c |      3373 |   14176    58577   176012 |    20108     3352     36 |  2.288 % |
16.87/16.99	c |      3550 |   14176    58577   176012 |    20108     3529     36 |  2.288 % |
17.47/17.53	c |      3652 |   14176    58577   176012 |    20108     3631     36 |  2.288 % |
17.87/17.98	c |      3762 |   14176    58577   176012 |    20108     3741     36 |  2.288 % |
18.47/18.60	c |      3883 |   14176    58577   176012 |    20108     3862     36 |  2.288 % |
19.27/19.39	c |      4017 |   14176    58577   176012 |    20108     3996     35 |  2.288 % |
20.07/20.19	c |      4164 |   14176    58577   176012 |    20108     4143     35 |  2.288 % |
21.17/21.25	c |      4325 |   14176    58577   176012 |    20108     4304     35 |  2.288 % |
22.17/22.24	c |      4501 |   14176    58577   176012 |    20108     4480     35 |  2.288 % |
23.37/23.48	c |      4694 |   14176    58577   176012 |    20108     4673     35 |  2.288 % |
23.67/23.80	c |      4795 |   14176    58577   176012 |    20108     4774     36 |  2.288 % |
24.37/24.44	c |      4905 |   14176    58577   176012 |    20108     4884     36 |  2.288 % |
24.97/25.06	c |      5026 |   14176    58577   176012 |    20108     5005     36 |  2.288 % |
25.67/25.74	c |      5160 |   14176    58577   176012 |    20108     5139     36 |  2.288 % |
26.48/26.54	c |      5307 |   14176    58577   176012 |    20108     5286     36 |  2.288 % |
26.87/26.96	c |      5468 |   14176    58577   176012 |    20108     5447     36 |  2.288 % |
27.47/27.58	c |      5644 |   14176    58577   176012 |    20108     5623     36 |  2.288 % |
28.47/28.51	c |      5837 |   14176    58577   176012 |    20108     5816     36 |  2.288 % |
29.37/29.49	c |      6050 |   14176    58577   176012 |    20108     6029     37 |  2.288 % |
29.97/30.04	c |      6151 |   14176    58577   176012 |    20108     6130     37 |  2.288 % |
30.67/30.73	c |      6261 |   14176    58577   176012 |    20108     6240     37 |  2.288 % |
31.27/31.37	c |      6382 |   14176    58577   176012 |    20108     6361     36 |  2.288 % |
31.67/31.81	c |      6515 |   14176    58577   176012 |    20108     6494     37 |  2.288 % |
32.47/32.52	c |      6661 |   14176    58577   176012 |    20108     6640     37 |  2.288 % |
32.97/33.12	c |      6821 |   14176    58577   176012 |    20108     6800     37 |  2.288 % |
33.87/33.91	c |      6997 |   14176    58577   176012 |    20108     6976     37 |  2.288 % |
34.67/34.80	c |      7191 |   14176    58577   176012 |    20108     7170     37 |  2.288 % |
35.67/35.73	c |      7404 |   14176    58577   176012 |    20108     7383     37 |  2.288 % |
36.97/37.05	c |      7637 |   14176    58577   176012 |    20108     7616     37 |  2.288 % |
37.27/37.40	c |      7738 |   14176    58577   176012 |    20108     7717     37 |  2.288 % |
37.67/37.76	c |      7849 |   14176    58577   176012 |    20108     7828     37 |  2.288 % |
38.27/38.32	c |      7971 |   14176    58577   176012 |    20108     7950     37 |  2.288 % |
38.87/39.00	c |      8104 |   14176    58577   176012 |    20108     8083     37 |  2.288 % |
39.57/39.63	c |      8251 |   14176    58577   176012 |    20108     8230     37 |  2.288 % |
40.57/40.63	c |      8412 |   14176    58577   176012 |    20108     8391     37 |  2.288 % |
41.68/41.72	c |      8589 |   14176    58577   176012 |    20108     8568     37 |  2.288 % |
42.98/43.05	c |      8783 |   14176    58577   176012 |    20108     8762     37 |  2.288 % |
44.08/44.15	c |      8996 |   14176    58577   176012 |    20108     8975     37 |  2.288 % |
45.08/45.21	c |      9229 |   14176    58577   176012 |    20108     9208     38 |  2.288 % |
46.28/46.36	c |      9486 |   14176    58577   176012 |    20108     9465     38 |  2.288 % |
46.68/46.80	c |      9586 |   14176    58577   176012 |    20108     9565     38 |  2.288 % |
47.18/47.26	c |      9696 |   14176    58577   176012 |    20108     9675     38 |  2.288 % |
47.68/47.72	c |      9818 |   14176    58577   176012 |    20108     9797     38 |  2.288 % |
48.28/48.40	c |      9952 |   14176    58577   176012 |    20108     9931     38 |  2.288 % |
49.18/49.25	c |     10098 |   14176    58577   176012 | 2147483647    10077     38 |  2.288 % |
49.98/50.04	c |     10259 |   14176    58577   176012 | 2147483647    10238     37 |  2.288 % |
50.98/51.03	c |     10435 |   14176    58577   176012 | 2147483647    10414     37 |  2.288 % |
51.98/52.07	c |     10630 |   14176    58577   176012 | 2147483647    10609     37 |  2.288 % |
53.18/53.24	c |     10843 |   14176    58577   176012 | 2147483647    10822     37 |  2.288 % |
54.08/54.17	c |     11077 |   14176    58577   176012 | 2147483647    11056     38 |  2.288 % |
55.38/55.48	c |     11333 |   14176    58577   176012 | 2147483647    11312     38 |  2.288 % |
56.68/56.74	c |     11614 |   14176    58577   176012 | 2147483647    11593     38 |  2.288 % |
57.18/57.31	c |     11714 |   14176    58577   176012 | 2147483647    11693     38 |  2.288 % |
57.88/57.92	c |     11826 |   14176    58577   176012 | 2147483647    11805     38 |  2.288 % |
58.28/58.33	c |     11948 |   14176    58577   176012 | 2147483647    11927     38 |  2.288 % |
58.78/58.88	c |     12082 |   14176    58577   176012 | 2147483647    12061     38 |  2.288 % |
59.48/59.53	c |     12228 |   14176    58577   176012 | 2147483647    12207     38 |  2.288 % |
60.28/60.40	c |     12388 |   14176    58577   176012 | 2147483647    12367     38 |  2.288 % |
61.28/61.39	c |     12565 |   14176    58577   176012 | 2147483647    12544     38 |  2.288 % |
62.28/62.37	c |     12758 |   14176    58577   176012 | 2147483647    12737     38 |  2.288 % |
63.48/63.54	c |     12972 |   14176    58577   176012 | 2147483647    12951     38 |  2.288 % |
64.48/64.57	c |     13205 |   14176    58577   176012 | 2147483647    13184     38 |  2.288 % |
65.98/66.05	c |     13462 |   14176    58577   176012 | 2147483647    13441     38 |  2.288 % |
67.58/67.64	c |     13744 |   14176    58577   176012 | 2147483647    13723     38 |  2.288 % |
68.98/69.12	c |     14053 |   14176    58577   176012 | 2147483647    14032     38 |  2.288 % |
69.68/69.74	c |     14153 |   14176    58577   176012 | 2147483647    14132     38 |  2.288 % |
70.18/70.24	c |     14264 |   14176    58577   176012 | 2147483647    14243     38 |  2.288 % |
70.68/70.76	c |     14385 |   14176    58577   176012 | 2147483647    14364     38 |  2.288 % |
71.28/71.40	c |     14518 |   14176    58577   176012 | 2147483647    14497     38 |  2.288 % |
72.18/72.29	c |     14664 |   14176    58577   176012 | 2147483647    14643     38 |  2.288 % |
73.08/73.22	c |     14824 |   14176    58577   176012 | 2147483647    14803     38 |  2.288 % |
73.78/73.83	c |     15002 |   14176    58577   176012 | 2147483647    14981     38 |  2.288 % |
74.88/74.96	c |     15196 |   14176    58577   176012 | 2147483647    15175     38 |  2.288 % |
75.68/75.81	c |     15408 |   14176    58577   176012 | 2147483647    15387     38 |  2.288 % |
76.68/76.73	c |     15641 |   14176    58577   176012 | 2147483647    15620     38 |  2.288 % |
77.78/77.90	c |     15897 |   14176    58577   176012 | 2147483647    15876     38 |  2.288 % |
79.48/79.53	c |     16178 |   14176    58577   176012 | 2147483647    16157     38 |  2.288 % |
81.48/81.58	c |     16487 |   14176    58577   176012 | 2147483647    16466     38 |  2.288 % |
83.68/83.76	c |     16826 |   14176    58577   176012 | 2147483647    16805     38 |  2.288 % |
84.18/84.30	c |     16927 |   14176    58577   176012 | 2147483647    16906     38 |  2.288 % |
84.88/84.93	c |     17038 |   14176    58577   176012 | 2147483647    17017     38 |  2.288 % |
85.58/85.71	c |     17160 |   14176    58577   176012 | 2147483647    17139     38 |  2.288 % |
86.08/86.13	c |     17294 |   14176    58577   176012 | 2147483647    17273     38 |  2.288 % |
86.78/86.89	c |     17442 |   14176    58577   176012 | 2147483647    17421     38 |  2.288 % |
87.68/87.81	c |     17603 |   14176    58577   176012 | 2147483647    17582     38 |  2.288 % |
88.58/88.68	c |     17779 |   14176    58577   176012 | 2147483647    17758     38 |  2.288 % |
89.38/89.45	c |     17972 |   14176    58577   176012 | 2147483647    17951     38 |  2.288 % |
89.88/89.98	c |     18184 |   14176    58577   176012 | 2147483647    18163     39 |  2.288 % |
90.48/90.56	c |     18419 |   14176    58577   176012 | 2147483647    18398     39 |  2.288 % |
92.08/92.15	c |     18675 |   14176    58577   176012 | 2147483647    18654     39 |  2.288 % |
94.08/94.12	c |     18958 |   14176    58577   176012 | 2147483647    18937     39 |  2.288 % |
95.68/95.81	c |     19267 |   14176    58577   176012 | 2147483647    19246     39 |  2.288 % |
97.78/97.90	c |     19607 |   14176    58577   176012 | 2147483647    19586     39 |  2.288 % |
100.18/100.28	c |     19981 |   14176    58577   176012 | 2147483647    19960     39 |  2.288 % |
100.68/100.78	c |     20082 |   14176    58577   176012 | 2147483647    20061     39 |  2.288 % |
101.48/101.56	c |     20193 |   14176    58577   176012 | 2147483647    20172     39 |  2.288 % |
102.18/102.23	c |     20315 |   14176    58577   176012 | 2147483647    20294     39 |  2.288 % |
102.98/103.05	c |     20448 |   14176    58577   176012 | 2147483647    20427     39 |  2.288 % |
103.88/103.96	c |     20594 |   14176    58577   176012 | 2147483647    20573     39 |  2.288 % |
104.98/105.07	c |     20755 |   14176    58577   176012 | 2147483647    20734     39 |  2.288 % |
106.18/106.31	c |     20932 |   14176    58577   176012 | 2147483647    20911     39 |  2.288 % |
107.38/107.49	c |     21126 |   14176    58577   176012 | 2147483647    21105     39 |  2.288 % |
108.88/108.95	c |     21338 |   14176    58577   176012 | 2147483647    21317     38 |  2.288 % |
110.38/110.48	c |     21572 |   14176    58577   176012 | 2147483647    21551     38 |  2.288 % |
112.18/112.22	c |     21830 |   14176    58577   176012 | 2147483647    21809     38 |  2.288 % |
114.18/114.23	c |     22112 |   14176    58577   176012 | 2147483647    22091     38 |  2.288 % |
115.88/115.93	c |     22422 |   14176    58577   176012 | 2147483647    22401     38 |  2.288 % |
118.18/118.29	c |     22761 |   14176    58577   176012 | 2147483647    22740     38 |  2.288 % |
120.08/120.15	c |     23133 |   14176    58577   176012 | 2147483647    23112     38 |  2.288 % |
122.68/122.75	c |     23542 |   14176    58577   176012 | 2147483647    23521     38 |  2.288 % |
123.29/123.34	c |     23644 |   14176    58577   176012 | 2147483647    23623     38 |  2.288 % |
124.08/124.15	c |     23755 |   14176    58577   176012 | 2147483647    23734     38 |  2.288 % |
124.78/124.85	c |     23876 |   14176    58577   176012 | 2147483647    23855     38 |  2.288 % |
125.68/125.79	c |     24010 |   14176    58577   176012 | 2147483647    23989     38 |  2.288 % |
125.88/125.92	c |     24156 |   14176    58577   176012 | 2147483647    24135     38 |  2.288 % |
126.59/126.69	c |     24316 |   14176    58577   176012 | 2147483647    24295     38 |  2.288 % |
127.58/127.67	c |     24492 |   14176    58577   176012 | 2147483647    24471     38 |  2.288 % |
128.79/128.88	c |     24686 |   14176    58577   176012 | 2147483647    24665     38 |  2.288 % |
129.38/129.42	c |     24898 |   14176    58577   176012 | 2147483647    24877     38 |  2.288 % |
130.68/130.79	c |     25131 |   14176    58577   176012 | 2147483647    25110     38 |  2.288 % |
132.48/132.54	c |     25388 |   14176    58577   176012 | 2147483647    25367     38 |  2.288 % |
133.48/133.59	c |     25669 |   14176    58577   176012 | 2147483647    25648     39 |  2.288 % |
135.08/135.18	c |     25979 |   14176    58577   176012 | 2147483647    25958     39 |  2.288 % |
136.88/136.92	c |     26318 |   14176    58577   176012 | 2147483647    26297     39 |  2.288 % |
138.38/138.49	c |     26690 |   14176    58577   176012 | 2147483647    26669     39 |  2.288 % |
140.89/140.94	c |     27100 |   14176    58577   176012 | 2147483647    27079     39 |  2.288 % |
142.98/143.08	c |     27549 |   14176    58577   176012 | 2147483647    27528     39 |  2.288 % |
143.28/143.36	c |     27651 |   14176    58577   176012 | 2147483647    27630     39 |  2.288 % |
143.88/143.96	c |     27761 |   14176    58577   176012 | 2147483647    27740     39 |  2.288 % |
144.58/144.67	c |     27883 |   14176    58577   176012 | 2147483647    27862     39 |  2.288 % |
145.48/145.55	c |     28017 |   14176    58577   176012 | 2147483647    27996     39 |  2.288 % |
146.48/146.52	c |     28163 |   14176    58577   176012 | 2147483647    28142     39 |  2.288 % |
147.38/147.49	c |     28323 |   14176    58577   176012 | 2147483647    28302     39 |  2.288 % |
148.78/148.83	c |     28499 |   14176    58577   176012 | 2147483647    28478     39 |  2.288 % |
149.98/150.10	c |     28692 |   14176    58577   176012 | 2147483647    28671     39 |  2.288 % |
151.58/151.70	c |     28905 |   14176    58577   176012 | 2147483647    28884     39 |  2.288 % |
153.18/153.23	c |     29139 |   14176    58577   176012 | 2147483647    29118     39 |  2.288 % |
154.28/154.39	c |     29396 |   14176    58577   176012 | 2147483647    29375     39 |  2.288 % |
155.98/156.07	c |     29678 |   14176    58577   176012 | 2147483647    29657     39 |  2.288 % |
157.88/157.95	c |     29988 |   14176    58577   176012 | 2147483647    29967     39 |  2.288 % |
160.08/160.17	c |     30327 |   14176    58577   176012 | 2147483647    30306     39 |  2.288 % |
162.28/162.33	c |     30700 |   14176    58577   176012 | 2147483647    30679     39 |  2.288 % |
164.78/164.87	c |     31110 |   14176    58577   176012 | 2147483647    31089     40 |  2.288 % |
166.88/167.00	c |     31560 |   14176    58577   176012 | 2147483647    31539     39 |  2.288 % |
170.49/170.57	c |     32053 |   14176    58577   176012 | 2147483647    32032     39 |  2.288 % |
171.09/171.13	c |     32154 |   14176    58577   176012 | 2147483647    32133     39 |  2.288 % |
171.69/171.73	c |     32265 |   14176    58577   176012 | 2147483647    32244     39 |  2.288 % |
172.29/172.36	c |     32386 |   14176    58577   176012 | 2147483647    32365     39 |  2.288 % |
172.99/173.12	c |     32519 |   14176    58577   176012 | 2147483647    32498     39 |  2.288 % |
173.89/174.01	c |     32666 |   14176    58577   176012 | 2147483647    32645     39 |  2.288 % |
175.09/175.18	c |     32826 |   14176    58577   176012 | 2147483647    32805     39 |  2.288 % |
176.19/176.31	c |     33003 |   14176    58577   176012 | 2147483647    32982     39 |  2.288 % |
176.99/177.08	c |     33197 |   14176    58577   176012 | 2147483647    33176     39 |  2.288 % |
177.89/177.99	c |     33409 |   14176    58577   176012 | 2147483647    33388     40 |  2.288 % |
179.49/179.62	c |     33643 |   14176    58577   176012 | 2147483647    33622     40 |  2.288 % |
180.79/180.88	c |     33899 |   14176    58577   176012 | 2147483647    33878     40 |  2.288 % |
182.89/182.96	c |     34180 |   14176    58577   176012 | 2147483647    34159     40 |  2.288 % |
185.09/185.19	c |     34490 |   14176    58577   176012 | 2147483647    34469     39 |  2.288 % |
187.09/187.22	c |     34829 |   14176    58577   176012 | 2147483647    34808     39 |  2.288 % |
189.99/190.06	c |     35201 |   14176    58577   176012 | 2147483647    35180     39 |  2.288 % |
192.99/193.03	c |     35611 |   14176    58577   176012 | 2147483647    35590     39 |  2.288 % |
196.19/196.28	c |     36061 |   14176    58577   176012 | 2147483647    36040     39 |  2.288 % |
199.69/199.74	c |     36555 |   14176    58577   176012 | 2147483647    36534     39 |  2.288 % |
203.59/203.63	c |     37097 |   14176    58577   176012 | 2147483647    37076     39 |  2.288 % |
204.19/204.31	c |     37199 |   14176    58577   176012 | 2147483647    37178     39 |  2.288 % |
204.89/205.02	c |     37310 |   14176    58577   176012 | 2147483647    37289     39 |  2.288 % |
205.49/205.58	c |     37431 |   14176    58577   176012 | 2147483647    37410     39 |  2.288 % |
206.49/206.59	c |     37564 |   14176    58577   176012 | 2147483647    37543     39 |  2.288 % |
207.58/207.66	c |     37712 |   14176    58577   176012 | 2147483647    37691     39 |  2.288 % |
208.78/208.84	c |     37873 |   14176    58577   176012 | 2147483647    37852     39 |  2.288 % |
209.78/209.89	c |     38049 |   14176    58577   176012 | 2147483647    38028     39 |  2.288 % |
210.98/211.10	c |     38242 |   14176    58577   176012 | 2147483647    38221     39 |  2.288 % |
212.08/212.16	c |     38454 |   14176    58577   176012 | 2147483647    38433     39 |  2.288 % |
212.48/212.55	c |     38687 |   14176    58577   176012 | 2147483647    38666     39 |  2.288 % |
213.88/213.95	c |     38944 |   14176    58577   176012 | 2147483647    38923     40 |  2.288 % |
215.48/215.58	c |     39227 |   14176    58577   176012 | 2147483647    39206     40 |  2.288 % |
217.48/217.60	c |     39536 |   14176    58577   176012 | 2147483647    39515     40 |  2.288 % |
219.38/219.47	c |     39876 |   14176    58577   176012 | 2147483647    39855     40 |  2.288 % |
221.38/221.42	c |     40248 |   14176    58577   176012 | 2147483647    40227     40 |  2.288 % |
223.38/223.46	c |     40657 |   14176    58577   176012 | 2147483647    40636     40 |  2.288 % |
225.78/225.89	c |     41106 |   14176    58577   176012 | 2147483647    41085     40 |  2.288 % |
229.18/229.27	c |     41599 |   14176    58577   176012 | 2147483647    41578     40 |  2.288 % |
232.98/233.02	c |     42142 |   14176    58577   176012 | 2147483647    42121     39 |  2.288 % |
237.88/237.93	c |     42738 |   14176    58577   176012 | 2147483647    42717     39 |  2.288 % |
238.58/238.62	c |     42838 |   14176    58577   176012 | 2147483647    42817     39 |  2.288 % |
239.28/239.36	c |     42948 |   14176    58577   176012 | 2147483647    42927     39 |  2.288 % |
239.98/240.11	c |     43070 |   14176    58577   176012 | 2147483647    43049     39 |  2.288 % |
241.08/241.12	c |     43205 |   14176    58577   176012 | 2147483647    43184     39 |  2.288 % |
242.09/242.12	c |     43352 |   14176    58577   176012 | 2147483647    43331     39 |  2.288 % |
243.28/243.34	c |     43512 |   14176    58577   176012 | 2147483647    43491     39 |  2.288 % |
244.68/244.73	c |     43689 |   14176    58577   176012 | 2147483647    43668     39 |  2.288 % |
246.28/246.35	c |     43884 |   14176    58577   176012 | 2147483647    43863     39 |  2.288 % |
247.48/247.55	c |     44096 |   14176    58577   176012 | 2147483647    44075     39 |  2.288 % |
248.88/248.95	c |     44330 |   14176    58577   176012 | 2147483647    44309     39 |  2.288 % |
250.48/250.55	c |     44586 |   14176    58577   176012 | 2147483647    44565     39 |  2.288 % |
252.18/252.23	c |     44868 |   14176    58577   176012 | 2147483647    44847     39 |  2.288 % |
254.19/254.24	c |     45178 |   14176    58577   176012 | 2147483647    45157     39 |  2.288 % |
256.98/257.04	c |     45518 |   14176    58577   176012 | 2147483647    45497     39 |  2.288 % |
258.68/258.72	c |     45890 |   14176    58577   176012 | 2147483647    45869     40 |  2.288 % |
261.08/261.19	c |     46299 |   14176    58577   176012 | 2147483647    46278     40 |  2.288 % |
263.88/263.98	c |     46749 |   14176    58577   176012 | 2147483647    46728     40 |  2.288 % |
267.58/267.61	c |     47243 |   14176    58577   176012 | 2147483647    47222     40 |  2.288 % |
271.18/271.22	c |     47786 |   14176    58577   176012 | 2147483647    47765     40 |  2.288 % |
274.98/275.01	c |     48382 |   14176    58577   176012 | 2147483647    48361     40 |  2.288 % |
277.68/277.73	c |     49037 |   14176    58577   176012 | 2147483647    49016     40 |  2.288 % |
278.39/278.49	c |     49137 |   14176    58577   176012 | 2147483647    49116     40 |  2.288 % |
278.98/279.05	c |     49248 |   14176    58577   176012 | 2147483647    49227     40 |  2.288 % |
279.78/279.84	c |     49370 |   14176    58577   176012 | 2147483647    49349     40 |  2.288 % |
280.59/280.66	c |     49504 |   14176    58577   176012 | 2147483647    49483     40 |  2.288 % |
281.58/281.61	c |     49651 |   14176    58577   176012 | 2147483647    49630     40 |  2.288 % |
282.88/282.93	c |     49812 |   14176    58577   176012 | 2147483647    49791     40 |  2.288 % |
284.18/284.24	c |     49989 |   14176    58577   176012 | 2147483647    49968     40 |  2.288 % |
285.68/285.72	c |     50182 |   14176    58577   176012 | 2147483647    50161     40 |  2.288 % |
287.38/287.48	c |     50394 |   14176    58577   176012 | 2147483647    50373     40 |  2.288 % |
289.28/289.35	c |     50628 |   14176    58577   176012 | 2147483647    50607     40 |  2.288 % |
290.68/290.74	c |     50884 |   14176    58577   176012 | 2147483647    50863     40 |  2.288 % |
292.48/292.53	c |     51167 |   14176    58577   176012 | 2147483647    51146     40 |  2.288 % |
294.58/294.61	c |     51476 |   14176    58577   176012 | 2147483647    51455     40 |  2.288 % |
296.99/297.10	c |     51815 |   14176    58577   176012 | 2147483647    51794     40 |  2.288 % |
299.89/299.96	c |     52188 |   14176    58577   176012 | 2147483647    52167     40 |  2.288 % |
302.89/302.97	c |     52597 |   14176    58577   176012 | 2147483647    52576     40 |  2.288 % |
305.89/305.99	c |     53047 |   14176    58577   176012 | 2147483647    53026     40 |  2.288 % |
309.59/309.68	c |     53541 |   14176    58577   176012 | 2147483647    53520     40 |  2.288 % |
313.89/313.96	c |     54083 |   14176    58577   176012 | 2147483647    54062     40 |  2.288 % |
318.39/318.49	c |     54680 |   14176    58577   176012 | 2147483647    54659     40 |  2.288 % |
322.69/322.78	c |     55336 |   14176    58577   176012 | 2147483647    55315     40 |  2.288 % |
326.69/326.77	c |     56056 |   14176    58577   176012 | 2147483647    56035     40 |  2.288 % |
327.39/327.50	c |     56157 |   14176    58577   176012 | 2147483647    56136     40 |  2.288 % |
328.19/328.25	c |     56267 |   14176    58577   176012 | 2147483647    56246     40 |  2.288 % |
328.89/328.99	c |     56388 |   14176    58577   176012 | 2147483647    56367     40 |  2.288 % |
329.99/330.06	c |     56521 |   14176    58577   176012 | 2147483647    56500     40 |  2.288 % |
331.09/331.21	c |     56667 |   14176    58577   176012 | 2147483647    56646     40 |  2.288 % |
331.89/332.01	c |     56829 |   14176    58577   176012 | 2147483647    56808     40 |  2.288 % |
333.09/333.12	c |     57005 |   14176    58577   176012 | 2147483647    56984     40 |  2.288 % |
334.39/334.51	c |     57200 |   14176    58577   176012 | 2147483647    57179     40 |  2.288 % |
335.79/335.90	c |     57414 |   14176    58577   176012 | 2147483647    57393     40 |  2.288 % |
336.89/337.00	c |     57647 |   14176    58577   176012 | 2147483647    57626     40 |  2.288 % |
338.79/338.91	c |     57903 |   14176    58577   176012 | 2147483647    57882     40 |  2.288 % |
341.09/341.21	c |     58184 |   14176    58577   176012 | 2147483647    58163     40 |  2.288 % |
343.39/343.49	c |     58493 |   14176    58577   176012 | 2147483647    58472     40 |  2.288 % |
345.99/346.02	c |     58832 |   14176    58577   176012 | 2147483647    58811     40 |  2.288 % |
348.79/348.89	c |     59205 |   14176    58577   176012 | 2147483647    59184     40 |  2.288 % |
351.39/351.45	c |     59614 |   14176    58577   176012 | 2147483647    59593     40 |  2.288 % |
354.69/354.71	c |     60063 |   14176    58577   176012 | 2147483647    60042     40 |  2.288 % |
358.39/358.41	c |     60557 |   14176    58577   176012 | 2147483647    60536     40 |  2.288 % |
362.59/362.68	c |     61099 |   14176    58577   176012 | 2147483647    61078     40 |  2.288 % |
367.59/367.70	c |     61695 |   14176    58577   176012 | 2147483647    61674     40 |  2.288 % |
372.59/372.71	c |     62350 |   14176    58577   176012 | 2147483647    62329     40 |  2.288 % |
377.79/377.82	c |     63070 |   14176    58577   176012 | 2147483647    63049     40 |  2.288 % |
383.19/383.22	c |     63862 |   14176    58577   176012 | 2147483647    63841     40 |  2.288 % |
383.89/383.97	c |     63963 |   14176    58577   176012 | 2147483647    63942     40 |  2.288 % |
384.39/384.47	c |     64073 |   14176    58577   176012 | 2147483647    64052     40 |  2.288 % |
385.39/385.42	c |     64196 |   14176    58577   176012 | 2147483647    64175     40 |  2.288 % |
386.49/386.52	c |     64330 |   14176    58577   176012 | 2147483647    64309     40 |  2.288 % |
387.49/387.60	c |     64476 |   14176    58577   176012 | 2147483647    64455     40 |  2.288 % |
388.59/388.69	c |     64636 |   14176    58577   176012 | 2147483647    64615     40 |  2.288 % |
389.99/390.04	c |     64813 |   14176    58577   176012 | 2147483647    64792     40 |  2.288 % |
391.29/391.39	c |     65006 |   14176    58577   176012 | 2147483647    64985     40 |  2.288 % |
392.89/392.92	c |     65219 |   14176    58577   176012 | 2147483647    65198     40 |  2.288 % |
394.69/394.74	c |     65453 |   14176    58577   176012 | 2147483647    65432     40 |  2.288 % |
396.59/396.68	c |     65710 |   14176    58577   176012 | 2147483647    65689     40 |  2.288 % |
398.89/398.99	c |     65991 |   14176    58577   176012 | 2147483647    65970     40 |  2.288 % |
401.09/401.15	c |     66300 |   14176    58577   176012 | 2147483647    66279     40 |  2.288 % |
403.89/404.01	c |     66640 |   14176    58577   176012 | 2147483647    66619     40 |  2.288 % |
406.79/406.91	c |     67012 |   14176    58577   176012 | 2147483647    66991     40 |  2.288 % |
410.59/410.65	c |     67421 |   14176    58577   176012 | 2147483647    67400     40 |  2.288 % |
414.39/414.48	c |     67871 |   14176    58577   176012 | 2147483647    67850     40 |  2.288 % |
418.39/418.48	c |     68364 |   14176    58577   176012 | 2147483647    68343     40 |  2.288 % |
422.80/422.83	c |     68906 |   14176    58577   176012 | 2147483647    68885     40 |  2.288 % |
427.30/427.34	c |     69503 |   14176    58577   176012 | 2147483647    69482     40 |  2.288 % |
432.90/432.99	c |     70159 |   14176    58577   176012 | 2147483647    70138     40 |  2.288 % |
439.00/439.08	c |     70880 |   14176    58577   176012 | 2147483647    70859     40 |  2.288 % |
446.30/446.41	c |     71672 |   14176    58577   176012 | 2147483647    71651     40 |  2.288 % |
453.80/453.82	c |     72543 |   14176    58577   176012 | 2147483647    72522     40 |  2.288 % |
454.50/454.61	c |     72643 |   14176    58577   176012 | 2147483647    72622     40 |  2.288 % |
455.60/455.62	c |     72753 |   14176    58577   176012 | 2147483647    72732     40 |  2.288 % |
456.80/456.84	c |     72875 |   14176    58577   176012 | 2147483647    72854     40 |  2.288 % |
458.10/458.15	c |     73009 |   14176    58577   176012 | 2147483647    72988     40 |  2.288 % |
459.50/459.55	c |     73155 |   14176    58577   176012 | 2147483647    73134     40 |  2.288 % |
460.60/460.62	c |     73316 |   14176    58577   176012 | 2147483647    73295     40 |  2.288 % |
462.10/462.18	c |     73493 |   14176    58577   176012 | 2147483647    73472     40 |  2.288 % |
463.70/463.81	c |     73687 |   14176    58577   176012 | 2147483647    73666     40 |  2.288 % |
465.30/465.32	c |     73901 |   14176    58577   176012 | 2147483647    73880     40 |  2.288 % |
467.20/467.30	c |     74136 |   14176    58577   176012 | 2147483647    74115     40 |  2.288 % |
469.10/469.12	c |     74393 |   14176    58577   176012 | 2147483647    74372     40 |  2.288 % |
471.10/471.20	c |     74675 |   14176    58577   176012 | 2147483647    74654     40 |  2.288 % |
473.40/473.43	c |     74987 |   14176    58577   176012 | 2147483647    74966     40 |  2.288 % |
476.10/476.16	c |     75326 |   14176    58577   176012 | 2147483647    75305     40 |  2.288 % |
479.20/479.24	c |     75699 |   14176    58577   176012 | 2147483647    75678     40 |  2.288 % |
482.90/483.01	c |     76109 |   14176    58577   176012 | 2147483647    76088     40 |  2.288 % |
486.70/486.80	c |     76559 |   14176    58577   176012 | 2147483647    76538     40 |  2.288 % |
491.10/491.17	c |     77053 |   14176    58577   176012 | 2147483647    77032     40 |  2.288 % |
495.50/495.52	c |     77595 |   14176    58577   176012 | 2147483647    77574     40 |  2.288 % |
499.90/499.98	c |     78191 |   14176    58577   176012 | 2147483647    78170     40 |  2.288 % |
505.01/505.03	c |     78847 |   14176    58577   176012 | 2147483647    78826     40 |  2.288 % |
509.20/509.22	c |     79567 |   14176    58577   176012 | 2147483647    79546     40 |  2.288 % |
516.30/516.34	c |     80359 |   14176    58577   176012 | 2147483647    80338     40 |  2.288 % |
523.90/523.96	c |     81232 |   14176    58577   176012 | 2147483647    81211     40 |  2.288 % |
531.30/531.36	c |     82191 |   14176    58577   176012 | 2147483647    82170     40 |  2.288 % |
531.80/531.87	c |     82291 |   14176    58577   176012 | 2147483647    82270     40 |  2.288 % |
532.40/532.47	c |     82402 |   14176    58577   176012 | 2147483647    82381     40 |  2.288 % |
533.40/533.42	c |     82524 |   14176    58577   176012 | 2147483647    82503     40 |  2.288 % |
534.30/534.33	c |     82657 |   14176    58577   176012 | 2147483647    82636     40 |  2.288 % |
535.50/535.53	c |     82804 |   14176    58577   176012 | 2147483647    82783     40 |  2.288 % |
536.91/536.93	c |     82965 |   14176    58577   176012 | 2147483647    82944     40 |  2.288 % |
538.50/538.52	c |     83142 |   14176    58577   176012 | 2147483647    83121     40 |  2.288 % |
540.00/540.06	c |     83336 |   14176    58577   176012 | 2147483647    83315     40 |  2.288 % |
541.40/541.46	c |     83549 |   14176    58577   176012 | 2147483647    83528     40 |  2.288 % |
543.30/543.40	c |     83782 |   14176    58577   176012 | 2147483647    83761     40 |  2.288 % |
545.00/545.09	c |     84039 |   14176    58577   176012 | 2147483647    84018     40 |  2.288 % |
547.40/547.49	c |     84320 |   14176    58577   176012 | 2147483647    84299     40 |  2.288 % |
550.11/550.19	c |     84630 |   14176    58577   176012 | 2147483647    84609     40 |  2.288 % |
553.41/553.50	c |     84970 |   14176    58577   176012 | 2147483647    84949     40 |  2.288 % |
556.71/556.77	c |     85342 |   14176    58577   176012 | 2147483647    85321     40 |  2.288 % |
560.51/560.52	c |     85751 |   14176    58577   176012 | 2147483647    85730     40 |  2.288 % |
564.91/564.97	c |     86200 |   14176    58577   176012 | 2147483647    86179     40 |  2.288 % |
568.80/568.83	c |     86693 |   14176    58577   176012 | 2147483647    86672     40 |  2.288 % |
573.50/573.55	c |     87237 |   14176    58577   176012 | 2147483647    87216     40 |  2.288 % |
577.80/577.90	c |     87833 |   14176    58577   176012 | 2147483647    87812     40 |  2.288 % |
582.80/582.90	c |     88488 |   14176    58577   176012 | 2147483647    88467     40 |  2.288 % |
589.30/589.41	c |     89208 |   14176    58577   176012 | 2147483647    89187     40 |  2.288 % |
595.30/595.34	c |     90003 |   14176    58577   176012 | 2147483647    89982     40 |  2.288 % |
602.60/602.70	c |     90874 |   14176    58577   176012 | 2147483647    90853     40 |  2.288 % |
610.80/610.88	c |     91833 |   14176    58577   176012 | 2147483647    91812     40 |  2.288 % |
620.20/620.30	c |     92886 |   14176    58577   176012 | 2147483647    92865     40 |  2.288 % |
621.10/621.21	c |     92986 |   14176    58577   176012 | 2147483647    92965     40 |  2.288 % |
621.90/621.99	c |     93098 |   14176    58577   176012 | 2147483647    93077     40 |  2.288 % |
623.00/623.09	c |     93219 |   14176    58577   176012 | 2147483647    93198     40 |  2.288 % |
624.20/624.21	c |     93353 |   14176    58577   176012 | 2147483647    93332     40 |  2.288 % |
625.70/625.76	c |     93500 |   14176    58577   176012 | 2147483647    93479     40 |  2.288 % |
627.30/627.35	c |     93661 |   14176    58577   176012 | 2147483647    93640     40 |  2.288 % |
629.10/629.14	c |     93838 |   14176    58577   176012 | 2147483647    93817     40 |  2.288 % |
631.20/631.22	c |     94032 |   14176    58577   176012 | 2147483647    94011     40 |  2.288 % |
633.20/633.30	c |     94244 |   14176    58577   176012 | 2147483647    94223     40 |  2.288 % |
635.60/635.70	c |     94477 |   14176    58577   176012 | 2147483647    94456     40 |  2.288 % |
637.90/637.99	c |     94734 |   14176    58577   176012 | 2147483647    94713     40 |  2.288 % |
640.60/640.63	c |     95015 |   14176    58577   176012 | 2147483647    94994     40 |  2.288 % |
643.50/643.57	c |     95324 |   14176    58577   176012 | 2147483647    95303     40 |  2.288 % |
646.60/646.67	c |     95663 |   14176    58577   176012 | 2147483647    95642     40 |  2.288 % |
649.90/649.91	c |     96035 |   14176    58577   176012 | 2147483647    96014     40 |  2.288 % |
653.10/653.19	c |     96444 |   14176    58577   176012 | 2147483647    96423     40 |  2.288 % |
657.40/657.41	c |     96894 |   14176    58577   176012 | 2147483647    96873     40 |  2.288 % |
662.50/662.57	c |     97387 |   14176    58577   176012 | 2147483647    97366     40 |  2.288 % |
667.70/667.71	c |     97931 |   14176    58577   176012 | 2147483647    97910     40 |  2.288 % |
673.31/673.39	c |     98527 |   14176    58577   176012 | 2147483647    98506     40 |  2.288 % |
679.81/679.91	c |     99182 |   14176    58577   176012 | 2147483647    99161     40 |  2.288 % |
687.11/687.16	c |     99903 |   14176    58577   176012 | 2147483647    99882     40 |  2.288 % |
695.41/695.42	c |    100696 |   14176    58577   176012 | 2147483647   100675     40 |  2.288 % |
703.21/703.22	c |    101567 |   14176    58577   176012 | 2147483647   101546     40 |  2.288 % |
710.51/710.57	c |    102525 |   14176    58577   176012 | 2147483647   102504     40 |  2.288 % |
720.01/720.03	c |    103580 |   14176    58577   176012 | 2147483647   103559     40 |  2.288 % |
731.71/731.80	c |    104739 |   14176    58577   176012 | 2147483647   104718     40 |  2.288 % |
732.61/732.63	c |    104839 |   14176    58577   176012 | 2147483647   104818     40 |  2.288 % |
733.51/733.61	c |    104949 |   14176    58577   176012 | 2147483647   104928     40 |  2.288 % |
734.81/734.89	c |    105071 |   14176    58577   176012 | 2147483647   105050     40 |  2.288 % |
736.21/736.27	c |    105205 |   14176    58577   176012 | 2147483647   105184     40 |  2.288 % |
737.71/737.80	c |    105351 |   14176    58577   176012 | 2147483647   105330     40 |  2.288 % |
738.81/738.89	c |    105512 |   14176    58577   176012 | 2147483647   105491     40 |  2.288 % |
740.61/740.66	c |    105689 |   14176    58577   176012 | 2147483647   105668     40 |  2.288 % |
742.21/742.25	c |    105882 |   14176    58577   176012 | 2147483647   105861     40 |  2.288 % |
744.01/744.09	c |    106095 |   14176    58577   176012 | 2147483647   106074     40 |  2.288 % |
746.41/746.47	c |    106328 |   14176    58577   176012 | 2147483647   106307     40 |  2.288 % |
748.21/748.26	c |    106584 |   14176    58577   176012 | 2147483647   106563     40 |  2.288 % |
750.71/750.76	c |    106865 |   14176    58577   176012 | 2147483647   106844     40 |  2.288 % |
751.91/751.95	c |    107174 |   14176    58577   176012 | 2147483647   107153     40 |  2.288 % |
754.91/754.91	c |    107513 |   14176    58577   176012 | 2147483647   107492     40 |  2.288 % |
759.12/759.14	c |    107886 |   14176    58577   176012 | 2147483647   107865     40 |  2.288 % |
763.61/763.69	c |    108296 |   14176    58577   176012 | 2147483647   108275     40 |  2.288 % |
768.21/768.28	c |    108745 |   14176    58577   176012 | 2147483647   108724     40 |  2.288 % |
773.31/773.41	c |    109239 |   14176    58577   176012 | 2147483647   109218     40 |  2.288 % |
778.01/778.05	c |    109781 |   14176    58577   176012 | 2147483647   109760     40 |  2.288 % |
783.21/783.24	c |    110377 |   14176    58577   176012 | 2147483647   110356     40 |  2.288 % |
789.01/789.11	c |    111033 |   14176    58577   176012 | 2147483647   111012     40 |  2.288 % |
796.11/796.20	c |    111753 |   14176    58577   176012 | 2147483647   111732     40 |  2.288 % |
804.82/804.84	c |    112546 |   14176    58577   176012 | 2147483647   112525     40 |  2.288 % |
812.92/812.92	c |    113418 |   14176    58577   176012 | 2147483647   113397     40 |  2.288 % |
821.22/821.31	c |    114376 |   14176    58577   176012 | 2147483647   114355     40 |  2.288 % |
831.42/831.50	c |    115430 |   14176    58577   176012 | 2147483647   115409     40 |  2.288 % |
842.32/842.41	c |    116590 |   14176    58577   176012 | 2147483647   116569     40 |  2.288 % |
852.42/852.47	c |    117863 |   14176    58577   176012 | 2147483647   117842     40 |  2.288 % |
853.52/853.56	c |    117963 |   14176    58577   176012 | 2147483647   117942     40 |  2.288 % |
854.42/854.48	c |    118074 |   14176    58577   176012 | 2147483647   118053     40 |  2.288 % |
855.82/855.88	c |    118195 |   14176    58577   176012 | 2147483647   118174     40 |  2.288 % |
857.32/857.38	c |    118328 |   14176    58577   176012 | 2147483647   118307     40 |  2.288 % |
858.72/858.74	c |    118476 |   14176    58577   176012 | 2147483647   118455     40 |  2.288 % |
860.32/860.32	c |    118636 |   14176    58577   176012 | 2147483647   118615     40 |  2.288 % |
862.22/862.25	c |    118813 |   14176    58577   176012 | 2147483647   118792     40 |  2.288 % |
863.92/863.96	c |    119006 |   14176    58577   176012 | 2147483647   118985     40 |  2.288 % |
865.82/865.88	c |    119220 |   14176    58577   176012 | 2147483647   119199     40 |  2.288 % |
867.82/867.88	c |    119454 |   14176    58577   176012 | 2147483647   119433     40 |  2.288 % |
870.62/870.67	c |    119710 |   14176    58577   176012 | 2147483647   119689     40 |  2.288 % |
873.62/873.64	c |    119993 |   14176    58577   176012 | 2147483647   119972     40 |  2.288 % |
876.72/876.79	c |    120303 |   14176    58577   176012 | 2147483647   120282     40 |  2.288 % |
879.92/879.96	c |    120645 |   14176    58577   176012 | 2147483647   120624     40 |  2.288 % |
882.72/882.79	c |    121017 |   14176    58577   176012 | 2147483647   120996     40 |  2.288 % |
886.42/886.46	c |    121426 |   14176    58577   176012 | 2147483647   121405     40 |  2.288 % |
890.12/890.13	c |    121876 |   14176    58577   176012 | 2147483647   121855     40 |  2.288 % |
894.43/894.46	c |    122372 |   14176    58577   176012 | 2147483647   122351     40 |  2.288 % |
898.92/899.00	c |    122914 |   14176    58577   176012 | 2147483647   122893     40 |  2.288 % |
904.02/904.09	c |    123512 |   14176    58577   176012 | 2147483647   123491     40 |  2.288 % |
911.22/911.31	c |    124167 |   14176    58577   176012 | 2147483647   124146     40 |  2.288 % |
918.02/918.07	c |    124888 |   14176    58577   176012 | 2147483647   124867     40 |  2.288 % |
922.32/922.32	c |    125680 |   14176    58577   176012 | 2147483647   125659     41 |  2.288 % |
930.32/930.32	c |    126551 |   14176    58577   176012 | 2147483647   126530     41 |  2.288 % |
938.52/938.61	c |    127511 |   14176    58577   176012 | 2147483647   127490     41 |  2.288 % |
949.52/949.59	c |    128565 |   14176    58577   176012 | 2147483647   128544     41 |  2.288 % |
960.72/960.73	c |    129723 |   14176    58577   176012 | 2147483647   129702     41 |  2.288 % |
972.92/972.96	c |    130997 |   14176    58577   176012 | 2147483647   130976     41 |  2.288 % |
987.62/987.67	c |    132397 |   14176    58577   176012 | 2147483647   132376     41 |  2.288 % |
988.82/988.86	c |    132497 |   14176    58577   176012 | 2147483647   132476     41 |  2.288 % |
990.02/990.05	c |    132607 |   14176    58577   176012 | 2147483647   132586     41 |  2.288 % |
991.42/991.47	c |    132729 |   14176    58577   176012 | 2147483647   132708     41 |  2.288 % |
992.42/992.42	c |    132863 |   14176    58577   176012 | 2147483647   132842     41 |  2.288 % |
994.12/994.12	c |    133010 |   14176    58577   176012 | 2147483647   132989     41 |  2.288 % |
996.02/996.01	c |    133170 |   14176    58577   176012 | 2147483647   133149     41 |  2.288 % |
998.12/998.15	c |    133347 |   14176    58577   176012 | 2147483647   133326     41 |  2.288 % |
1000.52/1000.52	c |    133540 |   14176    58577   176012 | 2147483647   133519     41 |  2.288 % |
1002.42/1002.46	c |    133753 |   14176    58577   176012 | 2147483647   133732     41 |  2.288 % |
1005.22/1005.25	c |    133987 |   14176    58577   176012 | 2147483647   133966     41 |  2.288 % |
1007.52/1007.56	c |    134243 |   14176    58577   176012 | 2147483647   134222     41 |  2.288 % |
1010.52/1010.55	c |    134524 |   14176    58577   176012 | 2147483647   134503     41 |  2.288 % |
1013.62/1013.67	c |    134833 |   14176    58577   176012 | 2147483647   134812     41 |  2.288 % |
1017.92/1017.99	c |    135172 |   14176    58577   176012 | 2147483647   135151     41 |  2.288 % |
1019.52/1019.56	c |    135544 |   14176    58577   176012 | 2147483647   135523     41 |  2.288 % |
1023.62/1023.69	c |    135953 |   14176    58577   176012 | 2147483647   135932     41 |  2.288 % |
1028.22/1028.25	c |    136403 |   14176    58577   176012 | 2147483647   136382     41 |  2.288 % |
1034.02/1034.06	c |    136897 |   14176    58577   176012 | 2147483647   136876     41 |  2.288 % |
1039.82/1039.87	c |    137440 |   14176    58577   176012 | 2147483647   137419     41 |  2.288 % |
1046.62/1046.61	c |    138036 |   14176    58577   176012 | 2147483647   138015     41 |  2.288 % |
1053.82/1053.86	c |    138691 |   14176    58577   176012 | 2147483647   138670     41 |  2.288 % |
1061.53/1061.55	c |    139413 |   14176    58577   176012 | 2147483647   139392     41 |  2.288 % |
1069.03/1069.07	c |    140205 |   14176    58577   176012 | 2147483647   140184     41 |  2.288 % |
1077.23/1077.28	c |    141077 |   14176    58577   176012 | 2147483647   141056     41 |  2.288 % |
1087.43/1087.47	c |    142036 |   14176    58577   176012 | 2147483647   142015     41 |  2.288 % |
1099.83/1099.90	c |    143089 |   14176    58577   176012 | 2147483647   143068     41 |  2.288 % |
1113.93/1113.94	c |    144247 |   14176    58577   176012 | 2147483647   144226     41 |  2.288 % |
1128.03/1128.10	c |    145521 |   14176    58577   176012 | 2147483647   145500     41 |  2.288 % |
1144.73/1144.74	c |    146921 |   14176    58577   176012 | 2147483647   146900     41 |  2.288 % |
1159.93/1159.95	c |    148461 |   14176    58577   176012 | 2147483647   148440     41 |  2.288 % |
1161.03/1161.10	c |    148561 |   14176    58577   176012 | 2147483647   148540     41 |  2.288 % |
1162.43/1162.43	c |    148672 |   14176    58577   176012 | 2147483647   148651     41 |  2.288 % |
1163.23/1163.25	c |    148795 |   14176    58577   176012 | 2147483647   148774     41 |  2.288 % |
1164.23/1164.27	c |    148929 |   14176    58577   176012 | 2147483647   148908     41 |  2.288 % |
1165.73/1165.76	c |    149075 |   14176    58577   176012 | 2147483647   149054     41 |  2.288 % |
1167.24/1167.22	c |    149237 |   14176    58577   176012 | 2147483647   149216     41 |  2.288 % |
1168.73/1168.75	c |    149415 |   14176    58577   176012 | 2147483647   149394     41 |  2.288 % |
1170.83/1170.82	c |    149608 |   14176    58577   176012 | 2147483647   149587     41 |  2.288 % |
1172.93/1172.91	c |    149820 |   14176    58577   176012 | 2147483647   149799     41 |  2.288 % |
1174.63/1174.62	c |    150053 |   14176    58577   176012 | 2147483647   150032     41 |  2.288 % |
1177.53/1177.60	c |    150311 |   14176    58577   176012 | 2147483647   150290     41 |  2.288 % |
1180.93/1180.91	c |    150592 |   14176    58577   176012 | 2147483647   150571     41 |  2.288 % |
1184.54/1184.58	c |    150901 |   14176    58577   176012 | 2147483647   150880     41 |  2.288 % |
1188.14/1188.16	c |    151242 |   14176    58577   176012 | 2147483647   151221     41 |  2.288 % |
1192.74/1192.76	c |    151615 |   14176    58577   176012 | 2147483647   151594     41 |  2.288 % |
1197.84/1197.86	c |    152024 |   14176    58577   176012 | 2147483647   152003     41 |  2.288 % |
1200.04/1200.02	HOME/SatELiteGTI: line 36: 26948 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-1821106-1242506832/watcher-1821106-1242506832 -o /tmp/evaluation-result-1821106-1242506832/solver-1821106-1242506832 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821106-1242506832.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 3/96 26942
/proc/meminfo: memFree=954576/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2412 CPUtime=0
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1015181562 2469888 276 4294967295 134512640 135169312 3214415056 3214413592 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26942/statm: 603 276 235 161 0 42 0
[pid=26946] ppid=26942 vsize=952 CPUtime=0
/proc/26946/stat : 26946 (SatELite_releas) R 26942 26942 11066 0 -1 4202496 129 0 0 0 0 0 0 0 18 0 1 0 1015181563 974848 64 4294967295 134512640 135223648 3216873232 3216871828 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26946/statm: 238 70 45 174 0 63 0

[startup+0.116888 s]
/proc/loadavg: 1.00 1.00 1.00 3/96 26942
/proc/meminfo: memFree=954576/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2412 CPUtime=0
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1015181562 2469888 276 4294967295 134512640 135169312 3214415056 3214413592 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26942/statm: 603 276 235 161 0 42 0
[pid=26946] ppid=26942 vsize=14104 CPUtime=0.12
/proc/26946/stat : 26946 (SatELite_releas) R 26942 26942 11066 0 -1 4202496 3371 0 0 0 11 1 0 0 18 0 1 0 1015181563 14442496 3273 4294967295 134512640 135223648 3216873232 3216870900 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26946/statm: 3526 3273 73 174 0 3351 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16516

[startup+0.21688 s]
/proc/loadavg: 1.00 1.00 1.00 3/96 26942
/proc/meminfo: memFree=954576/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2412 CPUtime=0
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1015181562 2469888 276 4294967295 134512640 135169312 3214415056 3214413592 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26942/statm: 603 276 235 161 0 42 0
[pid=26946] ppid=26942 vsize=14504 CPUtime=0.22
/proc/26946/stat : 26946 (SatELite_releas) R 26942 26942 11066 0 -1 4202496 3483 0 0 0 20 2 0 0 18 0 1 0 1015181563 14852096 3385 4294967295 134512640 135223648 3216873232 3216871232 134547853 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26946/statm: 3626 3385 73 174 0 3451 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 16916

[startup+0.316875 s]
/proc/loadavg: 1.00 1.00 1.00 3/96 26942
/proc/meminfo: memFree=954576/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2412 CPUtime=0
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1015181562 2469888 276 4294967295 134512640 135169312 3214415056 3214413592 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26942/statm: 603 276 235 161 0 42 0
[pid=26946] ppid=26942 vsize=14728 CPUtime=0.32
/proc/26946/stat : 26946 (SatELite_releas) R 26942 26942 11066 0 -1 4202496 3541 0 0 0 30 2 0 0 18 0 1 0 1015181563 15081472 3443 4294967295 134512640 135223648 3216873232 3216871152 134575552 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26946/statm: 3682 3443 73 174 0 3507 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17140

[startup+0.716852 s]
/proc/loadavg: 1.00 1.00 1.00 3/96 26942
/proc/meminfo: memFree=954576/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2412 CPUtime=0
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 368 644 0 0 0 0 0 0 25 0 1 0 1015181562 2469888 276 4294967295 134512640 135169312 3214415056 3214413592 3084955374 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26942/statm: 603 276 235 161 0 42 0
[pid=26946] ppid=26942 vsize=15752 CPUtime=0.72
/proc/26946/stat : 26946 (SatELite_releas) R 26942 26942 11066 0 -1 4202496 3776 0 0 0 70 2 0 0 18 0 1 0 1015181563 16130048 3678 4294967295 134512640 135223648 3216873232 3216871248 134586754 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26946/statm: 3938 3678 95 174 0 3763 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18164

[startup+1.51681 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 26947
/proc/meminfo: memFree=937084/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2416

[startup+3.11673 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 26948
/proc/meminfo: memFree=945268/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=6044 CPUtime=1.79
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 1400 0 0 0 177 2 0 0 25 0 1 0 1015181696 6189056 1335 4294967295 134512640 135215339 3217674304 3217672592 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26948/statm: 1511 1335 73 172 0 1338 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8460

[startup+6.31654 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 26948
/proc/meminfo: memFree=945144/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=6180 CPUtime=4.96
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 1425 0 0 0 494 2 0 0 25 0 1 0 1015181696 6328320 1360 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26948/statm: 1545 1360 73 172 0 1372 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8596

[startup+12.7162 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 26948
/proc/meminfo: memFree=944728/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=6448 CPUtime=11.36
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 1500 0 0 0 1134 2 0 0 25 0 1 0 1015181696 6602752 1435 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26948/statm: 1612 1435 73 172 0 1439 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8864

[startup+25.5155 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27131
/proc/meminfo: memFree=943944/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=6844 CPUtime=24.14
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 1613 0 0 0 2409 5 0 0 25 0 1 0 1015181696 7008256 1548 4294967295 134512640 135215339 3217674304 3217672592 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 1711 1548 73 172 0 1538 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 9260

[startup+51.1241 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27134
/proc/meminfo: memFree=943080/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=7900 CPUtime=49.75
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 1882 0 0 0 4970 5 0 0 25 0 1 0 1015181696 8089600 1817 4294967295 134512640 135215339 3217674304 3217672592 134529148 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 1975 1817 73 172 0 1802 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10316

[startup+102.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 27320
/proc/meminfo: memFree=940840/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=9992 CPUtime=100.95
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 2381 0 0 0 10090 5 0 0 25 0 1 0 1015181696 10231808 2316 4294967295 134512640 135215339 3217674304 3217672592 134528881 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 2498 2316 73 172 0 2325 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12408

[startup+162.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27511
/proc/meminfo: memFree=938732/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=12164 CPUtime=160.95
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 2909 0 0 0 16089 6 0 0 25 0 1 0 1015181696 12455936 2844 4294967295 134512640 135215339 3217674304 3217672592 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 3041 2844 73 172 0 2868 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 14580

[startup+222.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 27700
/proc/meminfo: memFree=936632/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=14160 CPUtime=220.95
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 3411 0 0 0 22089 6 0 0 25 0 1 0 1015181696 14499840 3346 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 3540 3346 73 172 0 3367 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 16576

[startup+282.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27886
/proc/meminfo: memFree=934780/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=15964 CPUtime=280.95
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 3882 0 0 0 28089 6 0 0 25 0 1 0 1015181696 16347136 3817 4294967295 134512640 135215339 3217674304 3217672592 134528849 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 3991 3817 73 172 0 3818 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 18380

[startup+342.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 28074
/proc/meminfo: memFree=932936/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=17868 CPUtime=340.96
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 4350 0 0 0 34086 10 0 0 25 0 1 0 1015181696 18296832 4285 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 4467 4285 73 172 0 4294 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 20284

[startup+402.315 s]

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

/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=22544 CPUtime=520.97
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 5488 0 0 0 52087 10 0 0 25 0 1 0 1015181696 23085056 5423 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 5636 5423 73 172 0 5463 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24960

[startup+582.315 s]
/proc/loadavg: 1.04 1.02 1.00 2/98 28829
/proc/meminfo: memFree=926952/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=24108 CPUtime=580.97
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 5865 0 0 0 58087 10 0 0 25 0 1 0 1015181696 24686592 5800 4294967295 134512640 135215339 3217674304 3217672592 134529085 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 6027 5800 73 172 0 5854 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26524

[startup+642.311 s]
/proc/loadavg: 1.01 1.02 1.00 3/98 29015
/proc/meminfo: memFree=925332/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=25632 CPUtime=640.97
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 6219 0 0 0 64087 10 0 0 25 0 1 0 1015181696 26247168 6154 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 6408 6154 73 172 0 6235 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 28048

[startup+702.318 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 29204
/proc/meminfo: memFree=924348/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=26816 CPUtime=700.98
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 6510 0 0 0 70088 10 0 0 25 0 1 0 1015181696 27459584 6445 4294967295 134512640 135215339 3217674304 3217672592 134529083 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 6704 6445 73 172 0 6531 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 29232

[startup+762.315 s]
/proc/loadavg: 1.00 1.01 1.00 4/98 29397
/proc/meminfo: memFree=922704/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=28372 CPUtime=760.98
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 6891 0 0 0 76088 10 0 0 25 0 1 0 1015181696 29052928 6826 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 7093 6826 73 172 0 6920 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 30788

[startup+822.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 29586
/proc/meminfo: memFree=921744/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=29560 CPUtime=820.99
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 7175 0 0 0 82089 10 0 0 25 0 1 0 1015181696 30269440 7110 4294967295 134512640 135215339 3217674304 3217672592 134528821 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 7390 7110 73 172 0 7217 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 31976

[startup+882.328 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 29772
/proc/meminfo: memFree=920256/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=30856 CPUtime=881
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 7514 0 0 0 88090 10 0 0 25 0 1 0 1015181696 31596544 7449 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 7714 7449 73 172 0 7541 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 33272

[startup+942.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 29969
/proc/meminfo: memFree=918348/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=32640 CPUtime=940.99
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 7962 0 0 0 94087 12 0 0 25 0 1 0 1015181696 33423360 7897 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 8160 7897 73 172 0 7987 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 35056

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 30158
/proc/meminfo: memFree=917148/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=33896 CPUtime=1000.99
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 8272 0 0 0 100086 13 0 0 25 0 1 0 1015181696 34709504 8207 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 8474 8207 73 172 0 8301 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 36312

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 30347
/proc/meminfo: memFree=915908/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=35476 CPUtime=1061
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 8599 0 0 0 106085 15 0 0 25 0 1 0 1015181696 36327424 8534 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 8869 8534 73 172 0 8696 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 37892

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 30540
/proc/meminfo: memFree=914636/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=36580 CPUtime=1121
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 8886 0 0 0 112085 15 0 0 25 0 1 0 1015181696 37457920 8821 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 9145 8821 73 172 0 8972 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 38996

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 30726
/proc/meminfo: memFree=913544/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=37820 CPUtime=1181
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 9197 0 0 0 118083 17 0 0 25 0 1 0 1015181696 38727680 9132 4294967295 134512640 135215339 3217674304 3217672592 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 9455 9132 73 172 0 9282 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 40236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 30729
/proc/meminfo: memFree=913212/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=38216 CPUtime=1198.71
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 9280 0 0 0 119854 17 0 0 25 0 1 0 1015181696 39133184 9215 4294967295 134512640 135215339 3217674304 3217672368 134539287 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 9554 9215 73 172 0 9381 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 40632

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 30729
/proc/meminfo: memFree=913212/2074464 swapFree=1950760/1959888
[pid=26942] ppid=26940 vsize=2416 CPUtime=1.33
/proc/26942/stat : 26942 (SatELiteGTI) S 26940 26942 11066 0 -1 4194304 386 4680 0 0 0 0 131 2 18 0 1 0 1015181562 2473984 277 4294967295 134512640 135169312 3214415056 3214411272 3084955374 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26942/statm: 604 277 235 161 0 43 0
[pid=26948] ppid=26942 vsize=38216 CPUtime=1198.71
/proc/26948/stat : 26948 (minisat_static) R 26942 26942 11066 0 -1 4202496 9280 0 0 0 119854 17 0 0 25 0 1 0 1015181696 39133184 9215 4294967295 134512640 135215339 3217674304 3217672368 134539287 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26948/statm: 9554 9215 73 172 0 9381 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 40632

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.05
CPU user time (s): 1199.85
CPU system time (s): 0.2
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 40632

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

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-16 22:47:12
IDJOB=1821106
IDBENCH=70839
IDSOLVER=657
FILE ID=tipi23/1821106-1242506832
PBS_JOBID=
Free space on /tmp= 8813 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-31-s100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821106-1242506832/watcher-1821106-1242506832 -o /tmp/evaluation-result-1821106-1242506832/solver-1821106-1242506832 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821106-1242506832.cnf

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

MD5SUM BENCH= 5dbb80f29538e26a3285bf497c57f592
RANDOM SEED= 856365327

Linux tipi23 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.377
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.38

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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.377
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.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
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:        954608 kB
Buffers:         33316 kB
Cached:         984488 kB
SwapCached:       3660 kB
Active:         475160 kB
Inactive:       554424 kB
HighTotal:     1178688 kB
HighFree:       316728 kB
LowTotal:       895776 kB
LowFree:        637880 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            3248 kB
Writeback:          12 kB
AnonPages:       11096 kB
Mapped:           4464 kB
Slab:            80924 kB
PageTables:        700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8813 MiB
End job on tipi23 at 2009-05-16 23:07:13