Trace number 1820405

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.06 1200.02

General information on the benchmark

Nameindustrial/fuhs/medium/
AProVE07-16.cnf
MD5SUM65057bcebbeecf6a7f3bc3fcfb2de009
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark591.75
Satisfiable
(Un)Satisfiability was proved
Number of variables52382
Number of clauses182485
Sum of the clauses size472601
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 285834
Number of clauses of size 387884
Number of clauses of size 47609
Number of clauses of size 5700
Number of clauses of size over 5457

Solver Data 

0.00/0.00	c Parsing...
0.11/0.16	c ==============================================================================
0.11/0.16	c |           |     ORIGINAL     |              LEARNT              |          |
0.11/0.16	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.11/0.16	c ==============================================================================
0.11/0.16	c |         0 |  181871   470932 |   54561       0        0     nan |  0.000 % |
1.30/1.38	c |         0 |   98030   321620 |      --       0       --      -- |     --   | -83841/-149312
1.30/1.38	c ==============================================================================
1.30/1.38	c Result  :   #vars: 17506   #clauses: 98030   #literals: 321620
1.30/1.38	c CPU time:   1.33 s
1.30/1.38	c ==============================================================================
1.40/1.50	c This is MiniSat 2.0 beta
1.40/1.50	c WARNING: for repeatability, setting FPU to use double precision
1.40/1.50	c ============================[ Problem Statistics ]=============================
1.40/1.50	c |                                                                             |
1.40/1.50	c |  Number of variables:  17506                                                |
1.40/1.50	c |  Number of clauses:    98030                                                |
1.48/1.57	c |  Parsing time:         0.05         s                                       |
1.48/1.57	c ============================[ Search Statistics ]==============================
1.48/1.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.57	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.48/1.57	c ===============================================================================
1.48/1.57	c |         0 |   17506    98030   321620 |    32676        0    nan |  0.000 % |
1.48/1.76	c |       513 |   17506    98030   321620 |    32676      513     17 |  0.001 % |
2.40/2.44	c |      1026 |   17505    97517   320527 |    32676     1024     33 |  0.006 % |
2.60/2.68	c |      1539 |   17505    97517   320527 |    32676     1537     43 |  0.006 % |
4.00/4.07	c |      2563 |   17505    97517   320527 |    32676     2561     49 |  0.006 % |
4.20/4.30	c |      3075 |   17505    97517   320527 |    32676     3073     57 |  0.006 % |
4.60/4.67	c |      3589 |   17505    97517   320527 |    32676     3587     59 |  0.006 % |
4.70/4.77	c |      4613 |   17505    97517   320527 |    32676     4611     58 |  0.006 % |
6.00/6.08	c |      6661 |   17505    97517   320527 |    32676     6659     55 |  0.006 % |
6.20/6.25	c |      7173 |   17505    97517   320527 |    32676     7171     57 |  0.006 % |
6.60/6.62	c |      7687 |   17505    97517   320527 |    32676     7685     58 |  0.006 % |
8.10/8.16	c |      8712 |   17505    97517   320527 |    32676     8710     56 |  0.006 % |
8.80/8.88	c |      9225 |   17505    97517   320527 |    32676     9223     55 |  0.006 % |
9.40/9.46	c |      9738 |   17505    97517   320527 |    32676     9736     55 |  0.006 % |
9.90/10.02	c |     10763 |   17505    97517   320527 | 2147483647    10761     58 |  0.006 % |
13.00/13.04	c |     12813 |   17505    97517   320527 | 2147483647    12811     63 |  0.006 % |
17.10/17.16	c |     16911 |   17505    97517   320527 | 2147483647    16909     73 |  0.006 % |
17.30/17.35	c |     17425 |   17505    97517   320527 | 2147483647    17423     73 |  0.006 % |
17.80/17.85	c |     17938 |   17505    97517   320527 | 2147483647    17936     74 |  0.006 % |
19.00/19.08	c |     18962 |   17505    97517   320527 | 2147483647    18960     73 |  0.006 % |
19.70/19.76	c |     19474 |   17505    97517   320527 | 2147483647    19472     72 |  0.006 % |
20.20/20.25	c |     19986 |   17505    97517   320527 | 2147483647    19984     72 |  0.007 % |
21.10/21.20	c |     21010 |   17505    97517   320527 | 2147483647    21008     71 |  0.006 % |
23.00/23.10	c |     23058 |   17505    97517   320527 | 2147483647    23056     70 |  0.006 % |
23.50/23.60	c |     23570 |   17505    97517   320527 | 2147483647    23568     71 |  0.006 % |
24.31/24.33	c |     24083 |   17504    97447   320364 | 2147483647    23752     71 |  0.011 % |
26.20/26.29	c |     25108 |   17504    97447   320364 | 2147483647    24777     71 |  0.011 % |
27.20/27.28	c |     25620 |   17504    97447   320364 | 2147483647    25289     70 |  0.013 % |
28.10/28.19	c |     26132 |   17504    97447   320364 | 2147483647    25801     70 |  0.012 % |
29.30/29.36	c |     27159 |   17504    97447   320364 | 2147483647    26828     70 |  0.012 % |
31.00/31.03	c |     29209 |   17504    97447   320364 | 2147483647    28878     71 |  0.011 % |
35.10/35.14	c |     33306 |   17504    97447   320364 | 2147483647    32975     73 |  0.011 % |
41.70/41.80	c |     41499 |   17504    97447   320364 | 2147483647    41168     72 |  0.011 % |
42.10/42.15	c |     42012 |   17504    97447   320364 | 2147483647    41681     72 |  0.011 % |
43.01/43.02	c |     42525 |   17504    97447   320364 | 2147483647    42194     72 |  0.013 % |
44.11/44.17	c |     43549 |   17504    97447   320364 | 2147483647    43218     71 |  0.012 % |
44.60/44.65	c |     44061 |   17504    97447   320364 | 2147483647    43730     71 |  0.011 % |
45.30/45.35	c |     44576 |   17504    97447   320364 | 2147483647    44245     71 |  0.013 % |
46.80/46.84	c |     45603 |   17504    97447   320364 | 2147483647    45272     70 |  0.012 % |
48.71/48.80	c |     47651 |   17504    97447   320364 | 2147483647    47320     69 |  0.013 % |
49.31/49.40	c |     48164 |   17504    97447   320364 | 2147483647    47833     69 |  0.011 % |
50.61/50.65	c |     48676 |   17504    97447   320364 | 2147483647    48345     69 |  0.011 % |
51.61/51.72	c |     49702 |   17504    97447   320364 | 2147483647    49371     70 |  0.011 % |
52.31/52.32	c |     50214 |   17504    97447   320364 | 2147483647    49883     69 |  0.011 % |
52.90/52.99	c |     50726 |   17504    97447   320364 | 2147483647    50395     70 |  0.011 % |
54.19/54.24	c |     51750 |   17504    97447   320364 | 2147483647    51419     70 |  0.011 % |
57.67/57.77	c |     53798 |   17504    97447   320364 | 2147483647    53467     70 |  0.011 % |
61.47/61.57	c |     57895 |   17504    97447   320364 | 2147483647    57564     73 |  0.011 % |
62.47/62.56	c |     58408 |   17504    97447   320364 | 2147483647    58077     73 |  0.011 % |
63.17/63.31	c |     58922 |   17504    97447   320364 | 2147483647    58591     73 |  0.011 % |
65.77/65.85	c |     59947 |   17504    97447   320364 | 2147483647    59616     73 |  0.011 % |
66.17/66.29	c |     60461 |   17504    97447   320364 | 2147483647    60130     74 |  0.012 % |
66.97/67.05	c |     60974 |   17504    97447   320364 | 2147483647    60643     74 |  0.011 % |
68.07/68.13	c |     61998 |   17504    97447   320364 | 2147483647    61667     74 |  0.011 % |
69.87/69.97	c |     64046 |   17504    97447   320364 | 2147483647    63715     74 |  0.012 % |
70.97/71.04	c |     64558 |   17504    97447   320364 | 2147483647    64227     74 |  0.012 % |
71.57/71.68	c |     65070 |   17504    97447   320364 | 2147483647    64739     74 |  0.011 % |
72.97/73.07	c |     66094 |   17504    97447   320364 | 2147483647    65763     74 |  0.012 % |
73.47/73.60	c |     66607 |   17504    97447   320364 | 2147483647    66276     74 |  0.012 % |
74.37/74.43	c |     67121 |   17504    97447   320364 | 2147483647    66790     74 |  0.011 % |
76.57/76.62	c |     68145 |   17504    97447   320364 | 2147483647    67814     74 |  0.012 % |
78.77/78.85	c |     70194 |   17504    97447   320364 | 2147483647    69863     75 |  0.012 % |
85.27/85.39	c |     74290 |   17504    97447   320364 | 2147483647    73959     77 |  0.011 % |
95.77/95.83	c |     82483 |   17504    97447   320364 |    79670    82152     81 |  0.011 % |
117.86/117.97	c |     98870 |   17504    97447   320364 |    68802    53826     96 |  0.011 % |
118.56/118.65	c |     99382 |   17504    97447   320364 |    68802    54338     96 |  0.011 % |
119.26/119.35	c |     99896 |   17504    97447   320364 |    68802    54852     95 |  0.012 % |
120.36/120.49	c |    100922 |   17504    97447   320364 |    54960    55878     95 |  0.012 % |
121.26/121.37	c |    101434 |   17504    97447   320364 |    54960    39218    103 |  0.012 % |
121.96/122.07	c |    101949 |   17504    97447   320364 |    54960    39733    102 |  0.012 % |
123.56/123.70	c |    102977 |   17504    97447   320364 |    54960    40761    102 |  0.012 % |
125.96/126.04	c |    105025 |   17504    97447   320364 |    54960    42809    101 |  0.012 % |
126.96/127.01	c |    105539 |   17504    97447   320364 |    54960    43323    101 |  0.011 % |
128.16/128.26	c |    106053 |   17504    97447   320364 |    54960    43837    102 |  0.012 % |
129.87/129.92	c |    107077 |   17504    97447   320364 |    54960    44861    101 |  0.012 % |
130.46/130.50	c |    107589 |   17504    97447   320364 |    54960    45373    100 |  0.012 % |
131.06/131.15	c |    108101 |   17504    97447   320364 |    54960    45885    100 |  0.012 % |
132.56/132.67	c |    109126 |   17504    97447   320364 |    54960    46910    100 |  0.012 % |
135.76/135.86	c |    111174 |   17504    97447   320364 | 2147483647    48958     99 |  0.011 % |
140.46/140.54	c |    115270 |   17501    97431   320326 | 2147483647    53047     99 |  0.029 % |
141.36/141.43	c |    115783 |   17501    97431   320326 | 2147483647    53560     98 |  0.029 % |
142.06/142.15	c |    116296 |   17501    97431   320326 | 2147483647    54073     98 |  0.029 % |
142.96/143.08	c |    117321 |   17501    97431   320326 | 2147483647    55098     97 |  0.029 % |
143.56/143.61	c |    117835 |   17501    97431   320326 | 2147483647    55612     97 |  0.029 % |
144.06/144.17	c |    118352 |   17501    97431   320326 | 2147483647    56129     97 |  0.029 % |
145.46/145.52	c |    119377 |   17501    97431   320326 | 2147483647    57154     97 |  0.029 % |
147.26/147.35	c |    121427 |   17501    97431   320326 | 2147483647    59204     96 |  0.029 % |
147.66/147.79	c |    121942 |   17501    97431   320326 | 2147483647    59719     96 |  0.029 % |
148.36/148.47	c |    122454 |   17501    97431   320326 | 2147483647    60231     96 |  0.029 % |
149.67/149.76	c |    123478 |   17501    97431   320326 | 2147483647    61255     96 |  0.029 % |
150.36/150.42	c |    123990 |   17501    97431   320326 | 2147483647    61767     96 |  0.029 % |
151.16/151.21	c |    124503 |   17501    97431   320326 | 2147483647    62280     96 |  0.029 % |
152.56/152.62	c |    125529 |   17501    97431   320326 | 2147483647    63306     96 |  0.029 % |
157.16/157.20	c |    127578 |   17501    97431   320326 | 2147483647    65355     96 |  0.029 % |
162.67/162.74	c |    131675 |   17228    94218   311067 | 2147483647    66230     97 |  1.588 % |
174.37/174.43	c |    139868 |   17228    94218   311067 | 2147483647    74423     97 |  1.588 % |
174.97/175.09	c |    140380 |   17228    94218   311067 |    74556    74935     97 |  1.588 % |
175.67/175.79	c |    140892 |   17228    94218   311067 |    74556    63492     93 |  1.588 % |
176.97/177.03	c |    141918 |   17228    94218   311067 |    74556    64518     93 |  1.588 % |
177.97/178.03	c |    142432 |   17228    94218   311067 |    74556    65032     93 |  1.588 % |
178.77/178.83	c |    142946 |   17228    94218   311067 |    74556    65546     92 |  1.588 % |
179.77/179.90	c |    143972 |   17228    94218   311067 |    74556    66572     92 |  1.588 % |
183.07/183.18	c |    146020 |   17228    94218   311067 |    74556    68620     92 |  1.588 % |
183.87/183.93	c |    146536 |   17228    94218   311067 |    74556    69136     92 |  1.588 % |
184.97/185.01	c |    147051 |   17228    94218   311067 |    74556    69651     91 |  1.588 % |
186.47/186.51	c |    148076 |   17228    94218   311067 |    74556    70676     91 |  1.588 % |
187.37/187.44	c |    148590 |   17228    94218   311067 |    74556    71190     91 |  1.588 % |
188.27/188.32	c |    149104 |   17228    94218   311067 |    74556    71704     91 |  1.588 % |
189.67/189.74	c |    150129 |   17228    94218   311067 |    72600    72729     91 |  1.588 % |
192.47/192.54	c |    152178 |   17228    94218   311067 |    72600    74778     90 |  1.588 % |
198.37/198.49	c |    156274 |   17228    94218   311067 |    72600    59600     78 |  1.588 % |
199.17/199.29	c |    156786 |   17228    94218   311067 |    72600    60112     78 |  1.588 % |
199.87/199.99	c |    157299 |   17228    94218   311067 |    72600    60625     78 |  1.588 % |
201.57/201.63	c |    158325 |   17228    94218   311067 |    72600    61651     78 |  1.588 % |
202.47/202.57	c |    158840 |   17228    94218   311067 |    72600    62166     78 |  1.588 % |
203.47/203.52	c |    159355 |   17228    94218   311067 |    72600    62681     78 |  1.588 % |
204.77/204.90	c |    160379 |   17228    94218   311067 |    63326    63705     77 |  1.588 % |
207.57/207.66	c |    162427 |   17228    94218   311067 |    63326    47509     72 |  1.588 % |
208.27/208.36	c |    162939 |   17228    94218   311067 |    63326    48021     72 |  1.588 % |
209.17/209.29	c |    163453 |   17228    94218   311067 |    63326    48535     72 |  1.588 % |
210.77/210.83	c |    164477 |   17228    94218   311067 |    63326    49559     73 |  1.588 % |
211.47/211.52	c |    164990 |   17227    94214   311057 |    63326    50070     73 |  1.594 % |
212.17/212.28	c |    165502 |   17227    94214   311057 |    63326    50582     72 |  1.595 % |
214.47/214.54	c |    166526 |   17227    94214   311057 |    63326    51606     72 |  1.594 % |
217.97/218.01	c |    168575 |   17227    94214   311057 |    63326    53655     72 |  1.594 % |
223.67/223.79	c |    172672 |   17227    94214   311057 |    55082    57752     72 |  1.594 % |
236.47/236.60	c |    180865 |   17227    94214   311057 |    53026    53887     67 |  1.594 % |
258.58/258.69	c |    197249 |   17227    94214   311057 |    48269    37618     61 |  1.594 % |
296.78/296.86	c |    230017 |   17227    94214   311057 |    33957    33974     74 |  1.594 % |
297.58/297.69	c |    230530 |   17227    94214   311057 |    33957    34487     74 |  1.594 % |
298.18/298.26	c |    231042 |   17227    94214   311057 |    33957    30942     71 |  1.594 % |
299.48/299.59	c |    232067 |   17227    94214   311057 |    33957    31967     71 |  1.594 % |
300.08/300.14	c |    232581 |   17227    94214   311057 |    33957    32481     71 |  1.594 % |
300.88/300.95	c |    233093 |   17227    94214   311057 |    33957    32993     71 |  1.594 % |
301.89/301.96	c |    234118 |   17227    94214   311057 |    33957    34018     73 |  1.594 % |
303.49/303.61	c |    236166 |   17227    94214   311057 |    33957    32590     68 |  1.594 % |
303.99/304.05	c |    236678 |   17227    94214   311057 |    33957    33102     69 |  1.594 % |
304.19/304.29	c |    237191 |   17227    94214   311057 |    33957    33615     68 |  1.595 % |
304.99/305.10	c |    238216 |   17227    94214   311057 |    33957    34640     68 |  1.594 % |
305.69/305.73	c |    238728 |   17227    94214   311057 |    33957    31688     67 |  1.594 % |
306.29/306.35	c |    239240 |   17227    94214   311057 |    33957    32200     67 |  1.594 % |
306.89/306.97	c |    240266 |   17227    94214   311057 | 2147483647    33226     66 |  1.595 % |
308.79/308.92	c |    242314 |   17227    94214   311057 | 2147483647    35274     70 |  1.594 % |
312.89/313.01	c |    246411 |   17227    94214   311057 | 2147483647    39371     71 |  1.594 % |
313.79/313.87	c |    246924 |   17227    94214   311057 | 2147483647    39884     71 |  1.594 % |
314.39/314.46	c |    247438 |   17227    94214   311057 | 2147483647    40398     71 |  1.594 % |
315.49/315.61	c |    248463 |   16723    90393   298638 | 2147483647    40082     72 |  4.473 % |
316.39/316.44	c |    248975 |   16723    90393   298638 | 2147483647    40594     72 |  4.473 % |
317.09/317.12	c |    249488 |   16723    90393   298638 | 2147483647    41107     73 |  4.473 % |
317.99/318.06	c |    250514 |   16723    90393   298638 |    41619    42133     72 |  4.473 % |
320.49/320.58	c |    252562 |   16723    90393   298638 |    41619    44181     73 |  4.473 % |
321.09/321.19	c |    253075 |   16723    90393   298638 |    41619    39848     74 |  4.473 % |
321.79/321.85	c |    253587 |   16723    90393   298638 |    41619    40360     73 |  4.473 % |
323.29/323.41	c |    254611 |   16723    90393   298638 |    41619    41384     74 |  4.473 % |
323.99/324.06	c |    255124 |   16723    90393   298638 |    41619    41897     73 |  4.473 % |
324.59/324.67	c |    255638 |   16723    90393   298638 |    41619    42411     73 |  4.473 % |
326.19/326.29	c |    256663 |   16723    90393   298638 |    41619    39195     73 |  4.473 % |
328.69/328.79	c |    258712 |   16723    90393   298638 |    41619    41244     72 |  4.473 % |
333.09/333.18	c |    262808 |   16723    90393   298638 | 2147483647    45340     75 |  4.473 % |
342.99/343.10	c |    271000 |   16723    90393   298638 |    52533    53532     74 |  4.473 % |
343.89/343.96	c |    271514 |   16723    90393   298638 |    52533    40988     72 |  4.473 % |
344.29/344.39	c |    272026 |   16723    90393   298638 |    52533    41500     72 |  4.473 % |
345.79/345.84	c |    273052 |   16723    90393   298638 |    52533    42526     72 |  4.473 % |
346.29/346.39	c |    273564 |   16723    90393   298638 |    52533    43038     72 |  4.473 % |
347.09/347.20	c |    274078 |   16723    90393   298638 |    52533    43552     72 |  4.473 % |
348.19/348.27	c |    275102 |   16723    90393   298638 |    52533    44576     72 |  4.473 % |
351.00/351.08	c |    277150 |   16723    90393   298638 |    52533    46624     72 |  4.473 % |
351.69/351.73	c |    277663 |   16723    90393   298638 |    52533    47137     72 |  4.473 % |
352.29/352.41	c |    278178 |   16723    90393   298638 |    52533    47652     72 |  4.473 % |
353.59/353.66	c |    279202 |   16723    90393   298638 |    52533    48676     73 |  4.473 % |
354.09/354.21	c |    279714 |   16723    90393   298638 |    52533    49188     73 |  4.473 % |
354.99/355.05	c |    280228 |   16723    90393   298638 |    49475    49702     73 |  4.473 % |
356.69/356.81	c |    281254 |   16723    90393   298638 |    49475    50728     73 |  4.473 % |
359.49/359.54	c |    283304 |   16723    90393   298638 |    49475    47706     70 |  4.473 % |
365.59/365.62	c |    287400 |   16723    90393   298638 |    49475    51802     70 |  4.473 % |
366.29/366.40	c |    287913 |   16723    90393   298638 |    49475    46964     68 |  4.473 % |
366.89/366.97	c |    288426 |   16723    90393   298638 |    49475    47477     69 |  4.473 % |
368.29/368.32	c |    289453 |   16723    90393   298638 |    49475    48504     69 |  4.473 % |
368.99/369.08	c |    289966 |   16723    90393   298638 |    49475    49017     69 |  4.473 % |
369.59/369.71	c |    290479 |   16723    90393   298638 |    49051    49530     69 |  4.473 % |
371.59/371.65	c |    291504 |   16723    90393   298638 |    49051    50555     69 |  4.473 % |
374.10/374.19	c |    293553 |   16723    90393   298638 |    49051    47549     68 |  4.473 % |
374.99/375.01	c |    294066 |   16723    90393   298638 |    49051    48062     68 |  4.473 % |
375.69/375.76	c |    294579 |   16723    90393   298638 |    49051    48575     68 |  4.473 % |
377.19/377.31	c |    295606 |   16723    90393   298638 |    49051    49602     68 |  4.473 % |
378.09/378.19	c |    296122 |   16723    90393   298638 |    49051    50118     68 |  4.473 % |
379.79/379.90	c |    296635 |   16723    90393   298638 |    49051    43749     65 |  4.473 % |
381.89/381.92	c |    297659 |   16723    90393   298638 |    49051    44773     66 |  4.473 % |
384.80/384.86	c |    299707 |   16723    90393   298638 |    49051    46821     66 |  4.473 % |
391.40/391.48	c |    303803 |   16723    90393   298638 |    47114    39672     63 |  4.473 % |
404.50/404.58	c |    311997 |   16723    90393   298638 |    45870    41712     64 |  4.473 % |
423.80/423.89	c |    328381 |   16723    90393   298638 |    41529    49910     83 |  4.473 % |
424.70/424.76	c |    328894 |   16723    90393   298638 |    41529    33710     89 |  4.473 % |
425.40/425.51	c |    329408 |   16723    90393   298638 |    41529    34224     89 |  4.473 % |
426.90/426.93	c |    330432 |   16723    90393   298638 |    34816    35248     89 |  4.473 % |
427.60/427.70	c |    330945 |   16723    90393   298638 |    34816    35761     89 |  4.473 % |
428.20/428.30	c |    331459 |   16723    90393   298638 |    34816    27361     92 |  4.473 % |
429.70/429.82	c |    332484 |   16722    90384   298607 |    34816    28384     91 |  4.478 % |
432.30/432.34	c |    334533 |   16722    90384   298607 |    34816    30433     90 |  4.478 % |
433.20/433.27	c |    335045 |   16722    90384   298607 |    34816    30945     90 |  4.478 % |
433.90/434.00	c |    335558 |   16722    90384   298607 |    34816    31458     90 |  4.479 % |
435.80/435.90	c |    336582 |   16722    90384   298607 |    34816    32482     89 |  4.478 % |
436.30/436.38	c |    337095 |   16722    90384   298607 |    34816    32995     89 |  4.478 % |
437.00/437.06	c |    337608 |   16722    90384   298607 |    34816    33508     89 |  4.478 % |
438.30/438.41	c |    338633 |   16722    90384   298607 |    34816    34533     89 |  4.478 % |
441.80/441.84	c |    340684 |   16722    90384   298607 | 2147483647    36584     88 |  4.478 % |
447.60/447.69	c |    344781 |   16722    90384   298607 | 2147483647    40681     87 |  4.478 % |
448.50/448.60	c |    345294 |   16722    90384   298607 | 2147483647    41194     87 |  4.478 % |
449.20/449.30	c |    345806 |   16722    90384   298607 | 2147483647    41706     87 |  4.478 % |
450.90/450.93	c |    346831 |   16722    90384   298607 | 2147483647    42731     87 |  4.478 % |
451.70/451.75	c |    347343 |   16722    90384   298607 | 2147483647    43243     86 |  4.478 % |
452.60/452.67	c |    347855 |   16722    90384   298607 | 2147483647    43755     86 |  4.479 % |
454.60/454.62	c |    348880 |   16722    90384   298607 | 2147483647    44780     86 |  4.478 % |
457.20/457.31	c |    350930 |   16722    90384   298607 | 2147483647    46830     85 |  4.478 % |
458.20/458.29	c |    351444 |   16722    90384   298607 | 2147483647    47344     85 |  4.478 % |
458.70/458.82	c |    351956 |   16722    90384   298607 | 2147483647    47856     85 |  4.478 % |
460.10/460.15	c |    352983 |   16722    90384   298607 | 2147483647    48883     84 |  4.478 % |
460.80/460.89	c |    353497 |   16722    90384   298607 | 2147483647    49397     84 |  4.478 % |
461.90/461.95	c |    354009 |   16722    90384   298607 | 2147483647    49909     84 |  4.479 % |
463.30/463.35	c |    355034 |   16722    90384   298607 | 2147483647    50934     84 |  4.479 % |
466.20/466.26	c |    357082 |   16722    90384   298607 | 2147483647    52982     84 |  4.479 % |
472.29/472.36	c |    361178 |   16722    90384   298607 | 2147483647    57078     84 |  4.478 % |
485.59/485.60	c |    369373 |   16722    90384   298607 | 2147483647    65273     82 |  4.478 % |
486.59/486.64	c |    369889 |   16722    90384   298607 | 2147483647    65789     82 |  4.478 % |
487.40/487.46	c |    370401 |   16722    90384   298607 |    65902    66301     82 |  4.478 % |
489.39/489.48	c |    371427 |   16722    90384   298607 |    65902    67327     82 |  4.478 % |
490.79/490.85	c |    371941 |   16722    90384   298607 |    65902    55615     75 |  4.479 % |
491.80/491.87	c |    372453 |   16722    90384   298607 |    65902    56127     75 |  4.478 % |
493.49/493.59	c |    373480 |   16722    90384   298607 |    65902    57154     75 |  4.479 % |
497.20/497.22	c |    375528 |   16722    90384   298607 |    65902    59202     75 |  4.478 % |
498.00/498.08	c |    376040 |   16722    90384   298607 |    65902    59714     75 |  4.478 % |
499.00/499.03	c |    376553 |   16722    90384   298607 |    65902    60227     75 |  4.478 % |
500.50/500.58	c |    377577 |   16722    90384   298607 |    65902    61251     75 |  4.479 % |
501.10/501.21	c |    378091 |   16722    90384   298607 |    65902    61765     75 |  4.479 % |
502.00/502.11	c |    378604 |   16722    90384   298607 |    65902    62278     75 |  4.478 % |
503.50/503.54	c |    379629 |   16722    90384   298607 |    65902    63303     76 |  4.479 % |
507.00/507.03	c |    381677 |   16722    90384   298607 |    63675    65351     76 |  4.479 % |
513.40/513.47	c |    385773 |   16722    90384   298607 |    63675    57099     69 |  4.478 % |
513.80/513.87	c |    386286 |   16722    90384   298607 |    63675    57612     69 |  4.478 % |
514.30/514.40	c |    386798 |   16722    90384   298607 |    63675    58124     69 |  4.478 % |
516.20/516.26	c |    387824 |   16722    90384   298607 |    63675    59150     69 |  4.478 % |
516.80/516.89	c |    388336 |   16722    90384   298607 |    63675    59662     69 |  4.478 % |
517.40/517.51	c |    388850 |   16722    90384   298607 |    63675    60176     69 |  4.478 % |
518.90/518.97	c |    389875 |   16722    90384   298607 |    63675    61201     69 |  4.478 % |
521.60/521.65	c |    391923 |   16722    90384   298607 |    61326    63249     70 |  4.478 % |
522.60/522.67	c |    392435 |   16722    90384   298607 |    61326    47906     67 |  4.478 % |
523.30/523.40	c |    392947 |   16722    90384   298607 |    61326    48418     67 |  4.478 % |
524.80/524.86	c |    393971 |   16722    90384   298607 |    61326    49442     68 |  4.478 % |
525.40/525.49	c |    394483 |   16722    90384   298607 |    61326    49954     68 |  4.478 % |
526.20/526.30	c |    394995 |   16722    90384   298607 |    61326    50466     69 |  4.479 % |
527.90/527.98	c |    396019 |   16722    90384   298607 |    61326    51490     69 |  4.478 % |
530.40/530.43	c |    398068 |   16722    90384   298607 |    61326    53539     70 |  4.479 % |
536.80/536.88	c |    402164 |   16722    90384   298607 |    55471    57635     70 |  4.478 % |
548.70/548.80	c |    410357 |   16722    90384   298607 |    50818    51174     68 |  4.479 % |
569.40/569.47	c |    426741 |   16722    90384   298607 |    44278    51019     77 |  4.478 % |
610.01/610.08	c |    459510 |   16722    90384   298607 |    30005    30858     66 |  4.478 % |
687.62/687.67	c |    525047 |   16722    90384   298607 |    58536    63583     91 |  4.478 % |
688.41/688.44	c |    525560 |   16722    90384   298607 |    58536    34685     91 |  4.478 % |
689.01/689.01	c |    526072 |   16722    90384   298607 |    58536    35197     92 |  4.478 % |
691.11/691.11	c |    527097 |   16722    90384   298607 |    58536    36222     91 |  4.479 % |
691.61/691.70	c |    527609 |   16722    90384   298607 |    58536    36734     91 |  4.479 % |
692.11/692.11	c |    528121 |   16722    90384   298607 |    58536    37246     90 |  4.479 % |
692.71/692.79	c |    529145 |   16722    90384   298607 |    58536    38270     89 |  4.480 % |
694.81/694.81	c |    531196 |   16722    90384   298607 |    39125    40321     87 |  4.480 % |
695.32/695.39	c |    531708 |   16722    90384   298607 |    39125    28768     84 |  4.478 % |
696.01/696.08	c |    532220 |   16722    90384   298607 |    39125    29280     84 |  4.478 % |
697.01/697.05	c |    533248 |   16722    90384   298607 |    39125    30308     84 |  4.478 % |
697.52/697.59	c |    533762 |   16722    90384   298607 |    39125    30822     83 |  4.478 % |
698.11/698.20	c |    534274 |   16722    90384   298607 |    39125    31334     83 |  4.479 % |
699.51/699.51	c |    535298 |   16722    90384   298607 |    39125    32358     82 |  4.478 % |
702.21/702.30	c |    537346 |   16722    90384   298607 |    39125    34406     82 |  4.479 % |
707.51/707.54	c |    541443 |   16722    90384   298607 | 2147483647    38503     81 |  4.478 % |
707.91/707.92	c |    541958 |   16722    90384   298607 | 2147483647    39018     80 |  4.479 % |
708.41/708.50	c |    542471 |   16722    90384   298607 | 2147483647    39531     80 |  4.478 % |
709.62/709.69	c |    543496 |   16722    90384   298607 | 2147483647    40556     81 |  4.479 % |
710.31/710.34	c |    544009 |   16722    90384   298607 | 2147483647    41069     81 |  4.478 % |
711.01/711.03	c |    544521 |   16722    90384   298607 | 2147483647    41581     81 |  4.479 % |
712.61/712.65	c |    545545 |   16722    90384   298607 | 2147483647    42605     81 |  4.478 % |
715.81/715.87	c |    547594 |   16722    90384   298607 | 2147483647    44654     81 |  4.478 % |
716.52/716.57	c |    548109 |   16722    90384   298607 | 2147483647    45169     81 |  4.479 % |
717.32/717.32	c |    548621 |   16722    90384   298607 | 2147483647    45681     81 |  4.478 % |
718.82/718.82	c |    549647 |   16722    90384   298607 | 2147483647    46707     81 |  4.478 % |
719.82/719.89	c |    550159 |   16722    90384   298607 |    47060    47219     80 |  4.478 % |
720.32/720.38	c |    550673 |   16722    90384   298607 |    47060    47733     81 |  4.479 % |
721.52/721.56	c |    551697 |   16714    90344   298488 |    47060    48752     81 |  4.524 % |
724.32/724.32	c |    553746 |   16714    90344   298488 |    47060    43500     75 |  4.524 % |
729.62/729.63	c |    557843 |   16714    90344   298488 |    47060    47597     76 |  4.524 % |
742.42/742.45	c |    566035 |   16714    90344   298488 |    41070    37367     70 |  4.524 % |
743.12/743.13	c |    566547 |   16714    90344   298488 |    41070    37879     70 |  4.525 % |
743.72/743.78	c |    567060 |   16714    90344   298488 |    41070    38392     70 |  4.524 % |
744.82/744.86	c |    568085 |   16714    90344   298488 |    41070    39417     70 |  4.524 % |
745.42/745.50	c |    568597 |   16714    90344   298488 |    41070    39929     70 |  4.524 % |
746.22/746.24	c |    569110 |   16714    90344   298488 |    41070    40442     71 |  4.524 % |
747.62/747.69	c |    570136 |   16714    90344   298488 |    41334    41468     71 |  4.524 % |
750.72/750.77	c |    572184 |   16714    90344   298488 |    41334    43516     70 |  4.524 % |
751.32/751.36	c |    572699 |   16714    90344   298488 |    41334    36630     68 |  4.524 % |
752.02/752.04	c |    573211 |   16714    90344   298488 |    41334    37142     68 |  4.524 % |
753.32/753.32	c |    574236 |   16714    90344   298488 |    41334    38167     68 |  4.524 % |
753.72/753.75	c |    574748 |   16714    90344   298488 |    41334    38679     68 |  4.524 % |
754.32/754.34	c |    575260 |   16714    90344   298488 |    41334    39191     68 |  4.524 % |
755.62/755.71	c |    576286 |   16714    90344   298488 |    41334    40217     68 |  4.524 % |
757.52/757.55	c |    578335 |   16714    90344   298488 |    41334    42266     69 |  4.524 % |
762.62/762.62	c |    582431 |   16714    90344   298488 |    35440    37871     64 |  4.524 % |
763.22/763.24	c |    582944 |   16714    90344   298488 |    35440    30587     60 |  4.524 % |
763.62/763.68	c |    583456 |   16714    90344   298488 |    35440    31099     60 |  4.524 % |
764.62/764.70	c |    584480 |   16714    90344   298488 |    35440    32123     60 |  4.524 % |
765.32/765.31	c |    584993 |   16714    90344   298488 |    35440    32636     60 |  4.524 % |
766.02/766.03	c |    585507 |   16714    90344   298488 |    35440    33150     60 |  4.524 % |
767.52/767.56	c |    586531 |   16714    90344   298488 |    35440    34174     61 |  4.524 % |
771.02/771.05	c |    588580 |   16714    90344   298488 |    35440    36223     61 |  4.524 % |
771.82/771.90	c |    589093 |   16714    90344   298488 |    35440    36736     61 |  4.524 % |
772.62/772.69	c |    589605 |   16714    90344   298488 |    35440    33575     61 |  4.524 % |
774.22/774.23	c |    590631 |   16714    90344   298488 | 2147483647    34601     61 |  4.524 % |
775.02/775.01	c |    591143 |   16714    90344   298488 | 2147483647    35113     61 |  4.524 % |
775.82/775.82	c |    591655 |   16714    90344   298488 | 2147483647    35625     62 |  4.524 % |
777.12/777.13	c |    592680 |   16714    90344   298488 | 2147483647    36650     62 |  4.524 % |
779.72/779.80	c |    594728 |   16714    90344   298488 | 2147483647    38698     64 |  4.524 % |
786.02/786.10	c |    598824 |   16714    90344   298488 | 2147483647    42794     63 |  4.524 % |
798.53/798.55	c |    607016 |   16714    90344   298488 |    43970    37829     58 |  4.524 % |
822.43/822.48	c |    623401 |   16714    90344   298488 |    43432    46832     60 |  4.524 % |
823.33/823.38	c |    623915 |   16714    90344   298488 |    43432    35605     55 |  4.524 % |
824.04/824.11	c |    624427 |   16714    90344   298488 |    43432    36117     55 |  4.524 % |
825.43/825.47	c |    625451 |   16714    90344   298488 |    43432    37141     55 |  4.524 % |
826.24/826.28	c |    625964 |   16714    90344   298488 |    43432    37654     55 |  4.524 % |
826.93/827.00	c |    626477 |   16714    90344   298488 |    43432    38167     55 |  4.524 % |
828.44/828.45	c |    627503 |   16714    90344   298488 |    43432    39193     55 |  4.524 % |
831.03/831.10	c |    629553 |   16714    90344   298488 |    43432    41243     56 |  4.524 % |
831.73/831.78	c |    630070 |   16714    90344   298488 |    41691    41760     56 |  4.524 % |
832.63/832.64	c |    630582 |   16714    90344   298488 |    41691    42272     57 |  4.524 % |
834.13/834.20	c |    631608 |   16714    90344   298488 |    41691    43298     57 |  4.524 % |
834.93/834.95	c |    632120 |   16714    90344   298488 |    41691    33083     54 |  4.524 % |
835.53/835.57	c |    632632 |   16714    90344   298488 |    41691    33595     54 |  4.524 % |
836.93/836.96	c |    633657 |   16714    90344   298488 |    41691    34620     54 |  4.524 % |
838.53/838.57	c |    635706 |   16714    90344   298488 |    41691    36669     59 |  4.524 % |
842.53/842.57	c |    639802 |   16714    90344   298488 |    41691    40765     59 |  4.524 % |
842.93/843.00	c |    640314 |   16714    90344   298488 |    40964    41277     59 |  4.524 % |
843.53/843.57	c |    640827 |   16714    90344   298488 |    40964    41790     59 |  4.524 % |
844.83/844.88	c |    641851 |   16714    90344   298488 |    40964    35744     60 |  4.524 % |
845.53/845.54	c |    642364 |   16714    90344   298488 |    40964    36257     60 |  4.524 % |
846.03/846.03	c |    642876 |   16714    90344   298488 |    40964    36769     60 |  4.524 % |
847.03/847.02	c |    643901 |   16714    90344   298488 |    40964    37794     60 |  4.524 % |
848.93/848.94	c |    645949 |   16714    90344   298488 |    40964    39842     61 |  4.524 % |
849.33/849.37	c |    646461 |   16714    90344   298488 |    40964    40354     60 |  4.526 % |
849.93/849.95	c |    646974 |   16714    90344   298488 |    40964    40867     60 |  4.524 % |
851.43/851.42	c |    648000 |   16714    90344   298488 |    40964    41893     61 |  4.524 % |
852.43/852.41	c |    648512 |   16714    90344   298488 |    40964    35380     61 |  4.525 % |
853.33/853.34	c |    649027 |   16714    90344   298488 |    40964    35895     61 |  4.524 % |
854.83/854.85	c |    650051 |   16714    90344   298488 |    36869    36919     61 |  4.524 % |
857.23/857.21	c |    652101 |   16714    90344   298488 |    36869    38969     63 |  4.524 % |
863.73/863.79	c |    656197 |   16714    90344   298488 |    36869    38849     65 |  4.524 % |
874.13/874.18	c |    664390 |   16714    90344   298488 | 2147483647    43158     66 |  4.524 % |
875.53/875.58	c |    664903 |   16714    90344   298488 | 2147483647    43671     66 |  4.524 % |
876.23/876.28	c |    665416 |   16714    90344   298488 | 2147483647    44184     66 |  4.524 % |
877.93/877.98	c |    666442 |   16714    90344   298488 | 2147483647    45210     66 |  4.524 % |
878.63/878.64	c |    666954 |   16714    90344   298488 | 2147483647    45722     66 |  4.524 % |
879.43/879.43	c |    667468 |   16714    90344   298488 | 2147483647    46236     66 |  4.524 % |
880.73/880.75	c |    668492 |   16714    90344   298488 | 2147483647    47260     66 |  4.524 % |
884.63/884.71	c |    670540 |   16714    90344   298488 | 2147483647    49308     66 |  4.524 % |
885.73/885.71	c |    671052 |   16714    90344   298488 | 2147483647    49820     66 |  4.524 % |
886.33/886.39	c |    671565 |   16714    90344   298488 | 2147483647    50333     66 |  4.524 % |
888.03/888.11	c |    672589 |   16714    90344   298488 | 2147483647    51357     66 |  4.524 % |
888.43/888.42	c |    673101 |   16714    90344   298488 | 2147483647    51869     66 |  4.524 % |
889.53/889.56	c |    673614 |   16714    90344   298488 | 2147483647    52382     66 |  4.524 % |
890.93/890.97	c |    674638 |   16714    90344   298488 | 2147483647    53406     66 |  4.524 % |
893.43/893.46	c |    676690 |   16714    90344   298488 | 2147483647    55458     67 |  4.524 % |
899.83/899.87	c |    680787 |   16714    90344   298488 |    58768    59555     70 |  4.524 % |
900.83/900.83	c |    681300 |   16714    90344   298488 |    58768    60068     70 |  4.524 % |
901.63/901.68	c |    681812 |   16714    90344   298488 |    58768    51236     68 |  4.524 % |
903.13/903.14	c |    682836 |   16714    90344   298488 |    58768    52260     68 |  4.524 % |
903.83/903.84	c |    683349 |   16714    90344   298488 |    58768    52773     68 |  4.524 % |
904.63/904.63	c |    683861 |   16714    90344   298488 |    58768    53285     68 |  4.524 % |
906.54/906.57	c |    684888 |   16714    90344   298488 |    58768    54312     68 |  4.524 % |
909.84/909.91	c |    686936 |   16714    90344   298488 |    58768    56360     68 |  4.524 % |
910.73/910.78	c |    687451 |   16714    90344   298488 |    58768    56875     68 |  4.524 % |
911.53/911.59	c |    687965 |   16714    90344   298488 |    58768    57389     68 |  4.524 % |
913.14/913.18	c |    688989 |   16714    90344   298488 |    58768    58413     68 |  4.524 % |
913.73/913.81	c |    689501 |   16714    90344   298488 |    58768    58925     69 |  4.524 % |
915.13/915.18	c |    690013 |   16714    90344   298488 |    59427    59437     69 |  4.524 % |
916.73/916.77	c |    691038 |   16714    90344   298488 |    59427    60462     69 |  4.524 % |
919.43/919.47	c |    693088 |   16714    90344   298488 |    59427    50590     69 |  4.525 % |
923.93/923.94	c |    697185 |   16714    90344   298488 |    59427    54687     70 |  4.524 % |
935.73/935.77	c |    705377 |   16714    90344   298488 |    57504    41737     71 |  4.524 % |
957.74/957.76	c |    721762 |   16714    90344   298488 |    42417    44178     70 |  4.524 % |
998.84/998.84	c |    754530 |   16714    90344   298488 |    43704    30047     63 |  4.524 % |
999.14/999.20	c |    755044 |   16714    90344   298488 |    43704    30561     63 |  4.525 % |
1000.04/1000.03	c |    755556 |   16714    90344   298488 |    43704    31073     64 |  4.524 % |
1001.94/1002.00	c |    756580 |   16714    90344   298488 |    43704    32097     65 |  4.524 % |
1002.74/1002.73	c |    757092 |   16714    90344   298488 |    43704    32609     65 |  4.524 % |
1003.54/1003.54	c |    757604 |   16714    90344   298488 |    43704    33121     65 |  4.524 % |
1004.74/1004.78	c |    758628 |   16714    90344   298488 |    43704    34145     65 |  4.524 % |
1006.84/1006.90	c |    760676 |   16714    90344   298488 |    35517    36193     66 |  4.524 % |
1007.54/1007.52	c |    761189 |   16714    90344   298488 |    35517    36706     66 |  4.524 % |
1008.44/1008.41	c |    761702 |   16714    90344   298488 |    35517    31845     63 |  4.524 % |
1009.24/1009.26	c |    762726 |   16714    90344   298488 |    35517    32869     64 |  4.524 % |
1009.64/1009.62	c |    763238 |   16714    90344   298488 |    35517    33381     63 |  4.524 % |
1010.44/1010.42	c |    763750 |   16714    90344   298488 |    35517    33893     63 |  4.524 % |
1011.64/1011.71	c |    764774 |   16714    90344   298488 |    35517    34917     63 |  4.524 % |
1013.74/1013.76	c |    766822 |   16714    90344   298488 |    35517    36965     63 |  4.524 % |
1019.14/1019.13	c |    770918 |   16714    90344   298488 | 2147483647    36686     60 |  4.524 % |
1019.94/1019.92	c |    771430 |   16714    90344   298488 | 2147483647    37198     61 |  4.524 % |
1020.54/1020.59	c |    771942 |   16714    90344   298488 | 2147483647    37710     61 |  4.524 % |
1021.54/1021.56	c |    772966 |   16714    90344   298488 | 2147483647    38734     61 |  4.524 % |
1022.14/1022.14	c |    773478 |   16714    90344   298488 | 2147483647    39246     61 |  4.524 % |
1022.84/1022.90	c |    773990 |   16714    90344   298488 | 2147483647    39758     61 |  4.524 % |
1024.04/1024.06	c |    775014 |   16714    90344   298488 | 2147483647    40782     61 |  4.524 % |
1026.64/1026.63	c |    777064 |   16714    90344   298488 | 2147483647    42832     62 |  4.525 % |
1027.34/1027.38	c |    777579 |   16714    90344   298488 | 2147483647    43347     63 |  4.524 % |
1028.04/1028.08	c |    778094 |   16714    90344   298488 | 2147483647    43862     64 |  4.524 % |
1029.75/1029.74	c |    779118 |   16714    90344   298488 | 2147483647    44886     64 |  4.524 % |
1030.34/1030.31	c |    779631 |   16714    90344   298488 | 2147483647    45399     64 |  4.524 % |
1031.04/1031.09	c |    780143 |   16714    90344   298488 |    45768    45911     64 |  4.524 % |
1032.64/1032.64	c |    781167 |   16714    90344   298488 |    45768    46935     64 |  4.524 % |
1035.14/1035.13	c |    783217 |   16714    90344   298488 |    45768    42199     64 |  4.524 % |
1040.64/1040.69	c |    787313 |   16714    90344   298488 |    45768    46295     65 |  4.524 % |
1050.85/1050.91	c |    795505 |   16712    90330   298444 |    41979    47484     64 |  4.536 % |
1051.75/1051.78	c |    796018 |   16712    90330   298444 |    41979    34438     61 |  4.536 % |
1052.65/1052.71	c |    796531 |   16712    90330   298444 |    41979    34951     61 |  4.536 % |
1054.05/1054.02	c |    797555 |   16712    90330   298444 |    41979    35975     61 |  4.536 % |
1054.75/1054.76	c |    798068 |   16712    90330   298444 |    41979    36488     61 |  4.536 % |
1055.35/1055.37	c |    798580 |   16712    90330   298444 |    41979    37000     62 |  4.536 % |
1056.55/1056.60	c |    799604 |   16712    90330   298444 |    41979    38024     63 |  4.536 % |
1059.25/1059.29	c |    801652 |   16712    90330   298444 |    38422    40072     63 |  4.536 % |
1060.35/1060.32	c |    802166 |   16712    90330   298444 |    38422    32104     59 |  4.536 % |
1061.05/1061.10	c |    802680 |   16712    90330   298444 |    38422    32618     60 |  4.536 % |
1062.35/1062.35	c |    803704 |   16712    90330   298444 |    38422    33642     60 |  4.536 % |
1062.85/1062.84	c |    804216 |   16712    90330   298444 |    38422    34154     59 |  4.536 % |
1063.35/1063.41	c |    804729 |   16712    90330   298444 |    38422    34667     59 |  4.536 % |
1064.45/1064.44	c |    805753 |   16712    90330   298444 |    38422    35691     59 |  4.536 % |
1066.65/1066.67	c |    807803 |   16712    90330   298444 |    38422    37741     60 |  4.536 % |
1071.65/1071.69	c |    811899 |   16712    90330   298444 |    39938    41837     61 |  4.536 % |
1072.55/1072.52	c |    812412 |   16712    90330   298444 |    39938    33217     60 |  4.536 % |
1073.25/1073.31	c |    812924 |   16712    90330   298444 |    39938    33729     60 |  4.536 % |
1074.65/1074.65	c |    813948 |   16712    90330   298444 |    39938    34753     61 |  4.536 % |
1075.55/1075.57	c |    814460 |   16712    90330   298444 |    39938    35265     61 |  4.536 % |
1076.05/1076.07	c |    814973 |   16712    90330   298444 |    39938    35778     61 |  4.536 % |
1077.25/1077.23	c |    816001 |   16712    90330   298444 |    39938    36806     61 |  4.536 % |
1079.75/1079.78	c |    818051 |   16712    90330   298444 |    39938    38856     61 |  4.536 % |
1080.45/1080.49	c |    818563 |   16712    90330   298444 |    39938    39368     61 |  4.536 % |
1081.05/1081.03	c |    819078 |   16712    90330   298444 |    39938    39883     62 |  4.536 % |
1082.55/1082.58	c |    820105 |   16712    90330   298444 |    40807    40910     62 |  4.536 % |
1083.35/1083.38	c |    820617 |   16712    90330   298444 |    40807    41422     62 |  4.536 % |
1084.25/1084.23	c |    821130 |   16712    90330   298444 |    40807    41935     62 |  4.536 % |
1085.55/1085.59	c |    822155 |   16712    90330   298444 |    40807    38767     62 |  4.536 % |
1088.65/1088.62	c |    824205 |   16712    90330   298444 |    40807    40817     63 |  4.536 % |
1094.75/1094.74	c |    828301 |   16712    90330   298444 |    40807    44913     65 |  4.536 % |
1106.85/1106.81	c |    836493 |   16712    90330   298444 |    37546    35745     63 |  4.536 % |
1126.45/1126.43	c |    852878 |   16712    90330   298444 |    49253    52130     68 |  4.536 % |
1127.25/1127.24	c |    853390 |   16712    90330   298444 |    49253    31943     64 |  4.536 % |
1127.85/1127.81	c |    853902 |   16712    90330   298444 |    49253    32455     65 |  4.536 % |
1128.95/1128.94	c |    854926 |   16712    90330   298444 |    49253    33479     65 |  4.536 % |
1129.65/1129.61	c |    855438 |   16712    90330   298444 |    49253    33991     64 |  4.536 % |
1130.35/1130.37	c |    855951 |   16712    90330   298444 |    49253    34504     64 |  4.536 % |
1131.75/1131.72	c |    856975 |   16712    90330   298444 |    49253    35528     65 |  4.536 % |
1134.85/1134.83	c |    859023 |   16712    90330   298444 |    49253    37576     66 |  4.536 % |
1135.45/1135.51	c |    859537 |   16712    90330   298444 |    49253    38090     66 |  4.536 % |
1135.95/1136.01	c |    860049 |   16712    90330   298444 |    38555    38602     68 |  4.536 % |
1137.45/1137.51	c |    861073 |   16712    90330   298444 |    38555    39626     68 |  4.536 % |
1138.55/1138.52	c |    861585 |   16712    90330   298444 |    38555    31623     67 |  4.536 % |
1139.15/1139.20	c |    862097 |   16712    90330   298444 |    38555    32135     67 |  4.536 % |
1140.45/1140.48	c |    863121 |   16712    90330   298444 |    38555    33159     67 |  4.536 % |
1143.06/1143.04	c |    865169 |   16712    90330   298444 |    38555    35207     66 |  4.536 % |
1148.25/1148.30	c |    869265 |   16712    90330   298444 |    38555    39303     66 |  4.536 % |
1149.25/1149.22	c |    869777 |   16712    90330   298444 |    38555    39815     66 |  4.536 % |
1150.05/1150.07	c |    870294 |   16712    90330   298444 |    32363    32656     62 |  4.536 % |
1151.55/1151.51	c |    871318 |   16712    90330   298444 |    32363    33680     62 |  4.536 % |
1152.65/1152.66	c |    871831 |   16712    90330   298444 |    32363    26844     60 |  4.536 % |
1153.65/1153.63	c |    872343 |   16712    90330   298444 |    32363    27356     60 |  4.536 % |
1154.65/1154.62	c |    873367 |   16712    90330   298444 |    32363    28380     60 |  4.536 % |
1156.65/1156.67	c |    875416 |   16712    90330   298444 |    32363    30429     59 |  4.536 % |
1157.05/1157.09	c |    875928 |   16712    90330   298444 |    32363    30941     60 |  4.536 % |
1157.65/1157.65	c |    876445 |   16712    90330   298444 |    32363    31458     60 |  4.536 % |
1158.95/1158.92	c |    877471 |   16712    90330   298444 |    32363    32484     60 |  4.536 % |
1159.45/1159.44	c |    877985 |   16712    90330   298444 |    32363    32998     61 |  4.536 % |
1159.85/1159.82	c |    878498 |   16712    90330   298444 |    32363    33511     61 |  4.536 % |
1161.05/1161.03	c |    879523 |   16712    90330   298444 |    32363    31185     61 |  4.536 % |
1162.96/1162.96	c |    881572 |   16663    89937   297141 | 2147483647    33231     61 |  4.817 % |
1168.26/1168.31	c |    885668 |   16663    89937   297141 | 2147483647    37327     66 |  4.816 % |
1177.96/1177.95	c |    893860 |   14725    76918   255006 |    41336    45194     70 | 15.886 % |
1178.76/1178.74	c |    894372 |   14725    76918   255006 |    41336    33551     69 | 15.886 % |
1179.36/1179.34	c |    894887 |   14725    76918   255006 |    41336    34066     68 | 15.886 % |
1180.46/1180.44	c |    895911 |   14725    76918   255006 |    41336    35090     68 | 15.886 % |
1180.96/1180.97	c |    896424 |   14725    76918   255006 |    41336    35603     68 | 15.886 % |
1181.56/1181.58	c |    896939 |   14725    76918   255006 |    41336    36118     68 | 15.886 % |
1182.96/1182.92	c |    897964 |   14725    76918   255006 |    41336    37143     68 | 15.886 % |
1185.56/1185.56	c |    900012 |   14725    76918   255006 |    39180    39191     68 | 15.886 % |
1186.26/1186.24	c |    900524 |   14725    76918   255006 |    39180    39703     68 | 15.886 % |
1186.86/1186.85	c |    901036 |   14725    76918   255006 |    39180    40215     68 | 15.886 % |
1188.15/1188.20	c |    902063 |   14725    76918   255006 |    39180    41242     68 | 15.886 % |
1188.85/1188.87	c |    902575 |   14725    76918   255006 |    39180    41754     68 | 15.886 % |
1189.65/1189.64	c |    903088 |   14725    76918   255006 |    39180    42267     68 | 15.887 % |
1190.55/1190.54	c |    904112 |   14725    76918   255006 |    39180    34202     69 | 15.886 % |
1193.15/1193.20	c |    906160 |   14725    76918   255006 |    39180    36250     68 | 15.886 % |
1197.75/1197.78	c |    910256 |   14725    76918   255006 |    40090    40346     69 | 15.886 % |
1198.55/1198.57	c |    910769 |   14725    76918   255006 |    40090    40859     69 | 15.886 % |
1199.25/1199.26	c |    911282 |   14725    76918   255006 |    40090    41372     69 | 15.886 % |
1200.05/1200.01	HOME/SatELiteGTI: line 36:  5168 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-1820405-1242439512/watcher-1820405-1242439512 -o /tmp/evaluation-result-1820405-1242439512/solver-1820405-1242439512 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820405-1242439512.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.04 1.04 1.00 2/93 5162
/proc/meminfo: memFree=943840/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2412 CPUtime=0
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1008451758 2469888 276 4294967295 134512640 135169312 3219274096 3219272632 3085225710 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5162/statm: 603 276 235 161 0 42 0
[pid=5166] ppid=5162 vsize=952 CPUtime=0
/proc/5166/stat : 5166 (SatELite_releas) R 5162 5162 10436 0 -1 4202496 131 0 0 0 0 0 0 0 18 0 1 0 1008451759 974848 68 4294967295 134512640 135223648 3214449872 3214448468 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5166/statm: 238 70 45 174 0 63 0

[startup+0.107435 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 5162
/proc/meminfo: memFree=943840/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2412 CPUtime=0
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1008451758 2469888 276 4294967295 134512640 135169312 3219274096 3219272632 3085225710 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5162/statm: 603 276 235 161 0 42 0
[pid=5166] ppid=5162 vsize=16524 CPUtime=0.11
/proc/5166/stat : 5166 (SatELite_releas) R 5162 5162 10436 0 -1 4202496 3675 0 0 0 9 2 0 0 18 0 1 0 1008451759 16920576 3564 4294967295 134512640 135223648 3214449872 3214448824 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5166/statm: 4131 3565 47 174 0 3956 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 18936

[startup+0.217426 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 5162
/proc/meminfo: memFree=943840/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2412 CPUtime=0
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1008451758 2469888 276 4294967295 134512640 135169312 3219274096 3219272632 3085225710 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5162/statm: 603 276 235 161 0 42 0
[pid=5166] ppid=5162 vsize=25312 CPUtime=0.22
/proc/5166/stat : 5166 (SatELite_releas) R 5162 5162 10436 0 -1 4202496 5847 0 0 0 19 3 0 0 18 0 1 0 1008451759 25919488 5633 4294967295 134512640 135223648 3214449872 3214447540 134718983 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5166/statm: 6328 5633 73 174 0 6153 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 27724

[startup+0.317418 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 5162
/proc/meminfo: memFree=943840/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2412 CPUtime=0
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1008451758 2469888 276 4294967295 134512640 135169312 3219274096 3219272632 3085225710 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5162/statm: 603 276 235 161 0 42 0
[pid=5166] ppid=5162 vsize=28344 CPUtime=0.32
/proc/5166/stat : 5166 (SatELite_releas) R 5162 5162 10436 0 -1 4202496 6592 0 0 0 29 3 0 0 18 0 1 0 1008451759 29024256 6378 4294967295 134512640 135223648 3214449872 3214447540 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5166/statm: 7086 6378 73 174 0 6911 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30756

[startup+0.71738 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 5162
/proc/meminfo: memFree=943840/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2412 CPUtime=0
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 366 645 0 0 0 0 0 0 25 0 1 0 1008451758 2469888 276 4294967295 134512640 135169312 3219274096 3219272632 3085225710 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5162/statm: 603 276 235 161 0 42 0
[pid=5166] ppid=5162 vsize=32328 CPUtime=0.7
/proc/5166/stat : 5166 (SatELite_releas) R 5162 5162 10436 0 -1 4202496 7604 0 0 0 66 4 0 0 18 0 1 0 1008451759 33103872 7339 4294967295 134512640 135223648 3214449872 3214447888 134586730 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5166/statm: 8082 7339 73 174 0 7907 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 34740

[startup+1.51732 s]
/proc/loadavg: 1.04 1.04 1.00 3/95 5167
/proc/meminfo: memFree=911064/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 2416

[startup+3.11719 s]
/proc/loadavg: 1.04 1.04 1.00 2/95 5168
/proc/meminfo: memFree=931896/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=8080 CPUtime=1.62
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 1918 0 0 0 160 2 0 0 20 0 1 0 1008451909 8273920 1853 4294967295 134512640 135216591 3218688304 3218686496 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5168/statm: 2020 1853 75 172 0 1847 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10496

[startup+6.31693 s]
/proc/loadavg: 1.04 1.04 1.00 2/95 5169
/proc/meminfo: memFree=930440/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=9804 CPUtime=4.82
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 2323 0 0 0 479 3 0 0 25 0 1 0 1008451909 10039296 2258 4294967295 134512640 135216591 3218688304 3218686304 134527544 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5168/statm: 2451 2258 75 172 0 2278 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 12220

[startup+12.7164 s]
/proc/loadavg: 1.03 1.04 1.00 2/95 5170
/proc/meminfo: memFree=928596/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=11388 CPUtime=11.22
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 2735 0 0 0 1119 3 0 0 25 0 1 0 1008451909 11661312 2670 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5168/statm: 2847 2670 75 172 0 2674 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 13804

[startup+25.5153 s]
/proc/loadavg: 1.03 1.04 1.00 3/95 5358
/proc/meminfo: memFree=923840/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=15664 CPUtime=24.02
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 3814 0 0 0 2398 4 0 0 25 0 1 0 1008451909 16039936 3749 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5168/statm: 3916 3749 75 172 0 3743 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18080

[startup+51.1232 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 5361
/proc/meminfo: memFree=917104/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=23176 CPUtime=49.63
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 5661 0 0 0 4958 5 0 0 25 0 1 0 1008451909 23732224 5596 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 5794 5596 75 172 0 5621 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 25592

[startup+102.319 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 5547
/proc/meminfo: memFree=903024/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=37112 CPUtime=100.79
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9152 0 0 0 10069 10 0 0 25 0 1 0 1008451909 38002688 9087 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 9278 9087 75 172 0 9105 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39528

[startup+162.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 5735
/proc/meminfo: memFree=902744/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=37544 CPUtime=160.79
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9238 0 0 0 16069 10 0 0 25 0 1 0 1008451909 38445056 9173 4294967295 134512640 135216591 3218688304 3218686496 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 9386 9173 75 172 0 9213 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 39960

[startup+222.309 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 5922
/proc/meminfo: memFree=899800/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=220.79
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9969 0 0 0 22069 10 0 0 25 0 1 0 1008451909 41525248 9904 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9904 75 172 0 9965 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 42968

[startup+282.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 6111
/proc/meminfo: memFree=899628/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=280.8
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9991 0 0 0 28070 10 0 0 25 0 1 0 1008451909 41525248 9926 4294967295 134512640 135216591 3218688304 3218686208 134533066 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9926 75 172 0 9965 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 42968

[startup+342.319 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 6298
/proc/meminfo: memFree=899768/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=340.81
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9991 0 0 0 34071 10 0 0 25 0 1 0 1008451909 41525248 9926 4294967295 134512640 135216591 3218688304 3218686208 134532796 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9926 75 172 0 9965 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 42968

[startup+402.324 s]

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

/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=520.82
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 52072 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 42968

[startup+582.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7056
/proc/meminfo: memFree=899372/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=580.82
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 58072 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134529035 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 42968

[startup+642.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7243
/proc/meminfo: memFree=899272/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=640.83
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 64073 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686208 134533101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 42968

[startup+702.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7431
/proc/meminfo: memFree=899180/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=700.83
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 70073 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528784 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 42968

[startup+762.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7622
/proc/meminfo: memFree=899024/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=760.84
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 76074 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 42968

[startup+822.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7813
/proc/meminfo: memFree=899180/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=820.85
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 82075 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 42968

[startup+882.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8002
/proc/meminfo: memFree=899116/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=880.85
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 88075 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 42968

[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8189
/proc/meminfo: memFree=899024/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=940.86
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 94076 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 42968

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8377
/proc/meminfo: memFree=899024/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=1000.86
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 100076 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 42968

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8565
/proc/meminfo: memFree=898868/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=1060.87
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 106077 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 42968

[startup+1122.32 s]
/proc/loadavg: 1.07 1.03 1.01 2/95 8752
/proc/meminfo: memFree=898900/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=1120.87
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 112077 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686208 134532786 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 42968

[startup+1182.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 8945
/proc/meminfo: memFree=898908/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=1180.88
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 118078 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134529059 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 42968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 8945
/proc/meminfo: memFree=898972/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=1198.57
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 119847 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 42968

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

[startup+1200.01 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 8945
/proc/meminfo: memFree=898972/2074464 swapFree=1948616/1959888
[pid=5162] ppid=5160 vsize=2416 CPUtime=1.48
/proc/5162/stat : 5162 (SatELiteGTI) S 5160 5162 10436 0 -1 4194304 385 9576 0 0 0 0 142 6 18 0 1 0 1008451758 2473984 277 4294967295 134512640 135169312 3219274096 3219270312 3085225710 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5162/statm: 604 277 235 161 0 43 0
[pid=5168] ppid=5162 vsize=40552 CPUtime=1198.57
/proc/5168/stat : 5168 (minisat_static) R 5162 5162 10436 0 -1 4202496 9992 0 0 0 119847 10 0 0 25 0 1 0 1008451909 41525248 9927 4294967295 134512640 135216591 3218688304 3218686496 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5168/statm: 10138 9927 75 172 0 9965 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 42968

Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.06
CPU user time (s): 1199.89
CPU system time (s): 0.17
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 42968

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

runsolver used 0.03 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi16 at 2009-05-16 04:05:12
IDJOB=1820405
IDBENCH=20398
IDSOLVER=658
FILE ID=tipi16/1820405-1242439512
PBS_JOBID=
Free space on /tmp= 6043 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-16.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820405-1242439512/watcher-1820405-1242439512 -o /tmp/evaluation-result-1820405-1242439512/solver-1820405-1242439512 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820405-1242439512.cnf

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

MD5SUM BENCH= 65057bcebbeecf6a7f3bc3fcfb2de009
RANDOM SEED= 1060724115

Linux tipi16 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.457
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.457
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.457
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.78

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
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:        943864 kB
Buffers:         36576 kB
Cached:        1008760 kB
SwapCached:       6028 kB
Active:         686772 kB
Inactive:       368660 kB
HighTotal:     1178688 kB
HighFree:       234464 kB
LowTotal:       895776 kB
LowFree:        709400 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:            4824 kB
Writeback:           0 kB
AnonPages:        9140 kB
Mapped:           3232 kB
Slab:            66292 kB
PageTables:        504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90760 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 6043 MiB
End job on tipi16 at 2009-05-16 04:25:12