Trace number 1821526

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.08 1200.04

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-20-10p0.cnf
MD5SUM28e85fc2a4586943a0ffdffa15206b58
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 variables374228
Number of clauses1603007
Sum of the clauses size3767588
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 21211215
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Parsing...
1.81/1.80	c ==============================================================================
1.81/1.80	c |           |     ORIGINAL     |              LEARNT              |          |
1.81/1.80	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.81/1.80	c ==============================================================================
1.81/1.80	c |         0 | 1588988  3752699 |  476696       0        0     nan |  0.000 % |
9.91/10.00	c |         0 | 1168572  3106678 |      --       0       --      -- |     --   | -118492/40523
10.02/10.01	c ==============================================================================
10.02/10.01	c Result  :   #vars: 243534   #clauses: 1168572   #literals: 3106678
10.02/10.01	c CPU time:   9.57 s
10.02/10.01	c ==============================================================================
11.12/11.19	c This is MiniSat 2.0 beta
11.12/11.19	c WARNING: for repeatability, setting FPU to use double precision
11.12/11.19	c ============================[ Problem Statistics ]=============================
11.12/11.19	c |                                                                             |
11.12/11.19	c |  Number of variables:  243534                                               |
11.12/11.19	c |  Number of clauses:    1168572                                              |
11.20/12.04	c |  Parsing time:         0.71         s                                       |
11.20/12.10	c ============================[ Search Statistics ]==============================
11.20/12.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.20/12.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.20/12.10	c ===============================================================================
11.20/12.10	c |         0 |  243534  1168572  3106678 |   389524        0    nan |  0.000 % |
12.32/12.36	c |       102 |  243534  1168572  3106678 |   389524      102     96 |  0.000 % |
12.52/12.54	c |       208 |  243534  1168572  3106678 |   389524      208     90 |  0.000 % |
12.72/12.71	c |       310 |  243534  1168572  3106678 |   389524      310     84 |  0.000 % |
12.82/12.86	c |       420 |  243534  1168572  3106678 |   389524      420     77 |  0.000 % |
13.02/13.09	c |       520 |  243534  1168572  3106678 |   389524      520     79 |  0.000 % |
13.42/13.46	c |       630 |  243531  1168572  3106678 |   389524      629     76 |  0.008 % |
14.02/14.06	c |       751 |  241304  1158249  3081385 |   389524      742     70 |  1.435 % |
14.72/14.75	c |       853 |  241007  1158249  3081385 |   389524      841     72 |  1.960 % |
14.92/14.94	c |       965 |  241007  1158249  3081385 |   389524      953     69 |  1.960 % |
15.12/15.17	c |      1086 |  241007  1158249  3081385 |   389524     1074     71 |  1.960 % |
15.42/15.44	c |      1219 |  238760  1142949  3043421 |   389524     1202     72 |  1.960 % |
15.82/15.82	c |      1320 |  238686  1142949  3043421 |   389524     1300     70 |  2.142 % |
16.02/16.04	c |      1431 |  238681  1142949  3043421 |   389524     1410     69 |  2.148 % |
16.22/16.27	c |      1552 |  238681  1142949  3043421 |   389524     1531     66 |  2.148 % |
16.32/16.37	c |      1685 |  238681  1142949  3043421 |   389524     1664     66 |  2.148 % |
16.82/16.84	c |      1834 |  238681  1142949  3043421 |   389524     1813     66 |  2.148 % |
17.22/17.28	c |      1937 |  238300  1140991  3039353 |   389524     1914     65 |  2.166 % |
17.42/17.43	c |      2048 |  238299  1140991  3039353 |   389524     2025     65 |  2.166 % |
17.62/17.67	c |      2170 |  238298  1140991  3039353 |   389524     2147     63 |  2.166 % |
17.92/17.92	c |      2303 |  238296  1140991  3039353 |   389524     2279     62 |  2.173 % |
18.22/18.22	c |      2449 |  238296  1140991  3039353 |   389524     2425     64 |  2.173 % |
18.62/18.68	c |      2609 |  237155  1134744  3023519 |   389524     2579     63 |  2.619 % |
18.92/19.00	c |      2709 |  237155  1134744  3023519 |   389524     2679     63 |  2.619 % |
19.32/19.35	c |      2819 |  237154  1134744  3023519 |   389524     2788     63 |  2.621 % |
19.52/19.55	c |      2941 |  237153  1134744  3023519 |   389524     2908     62 |  2.630 % |
19.72/19.71	c |      3074 |  237153  1134744  3023519 |   389524     3041     62 |  2.630 % |
20.22/20.24	c |      3221 |  236900  1133422  3020789 |   389524     3149     62 |  2.724 % |
20.62/20.69	c |      3382 |  236841  1133422  3020789 |   389524     3306     61 |  2.948 % |
20.92/20.95	c |      3558 |  236744  1133422  3020789 |   389524     3479     61 |  3.477 % |
21.12/21.13	c |      3658 |  236481  1133422  3020789 |   389524     3575     60 |  4.883 % |
21.52/21.51	c |      3768 |  236335  1133422  3020789 |   389524     3682     60 |  5.092 % |
22.02/22.02	c |      3889 |  231087  1102553  2945047 |   389524     3795     59 |  5.277 % |
22.42/22.43	c |      4022 |  231071  1102553  2945047 |   389524     3928     60 |  5.277 % |
22.92/22.91	c |      4169 |  230956  1102553  2945047 |   389524     4073     61 |  5.769 % |
23.12/23.11	c |      4329 |  230348  1102553  2945047 |   389524     4232     60 |  6.019 % |
23.62/23.61	c |      4505 |  228857  1091253  2918426 |   389524     4399     62 |  6.027 % |
23.92/23.98	c |      4698 |  228802  1091253  2918426 |   389524     4591     61 |  6.104 % |
24.02/24.07	c |      4800 |  228802  1091253  2918426 |   389524     4693     62 |  6.104 % |
24.22/24.27	c |      4911 |  228802  1091253  2918426 |   389524     4803     62 |  6.108 % |
24.52/24.51	c |      5032 |  228800  1091253  2918426 |   389524     4924     62 |  6.108 % |
24.72/24.81	c |      5165 |  228800  1091253  2918426 |   389524     5057     61 |  6.108 % |
25.32/25.40	c |      5311 |  228388  1089002  2913877 |   389524     5202     61 |  6.219 % |
25.62/25.63	c |      5474 |  228388  1089002  2913877 |   389524     5365     62 |  6.219 % |
26.12/26.20	c |      5650 |  228381  1089002  2913877 |   389524     5540     62 |  6.227 % |
26.62/26.69	c |      5843 |  228381  1089002  2913877 |   389524     5733     61 |  6.227 % |
27.22/27.29	c |      6055 |  228381  1089002  2913877 |   389524     5945     61 |  6.227 % |
27.52/27.58	c |      6156 |  228316  1088860  2913517 |   389524     6042     65 |  6.445 % |
27.82/27.86	c |      6268 |  228316  1088860  2913517 |   389524     6154     65 |  6.445 % |
28.12/28.12	c |      6389 |  228312  1088860  2913517 |   389524     6273     65 |  6.459 % |
28.72/28.71	c |      6523 |  228240  1088860  2913517 |   389524     6404     65 |  6.921 % |
28.82/28.90	c |      6669 |  228240  1088860  2913517 |   389524     6550     66 |  6.921 % |
29.22/29.30	c |      6829 |  226664  1080231  2892371 |   389524     6696     65 |  6.927 % |
29.72/29.71	c |      7005 |  226664  1080231  2892371 |   389524     6872     66 |  6.927 % |
30.22/30.28	c |      7198 |  226480  1080231  2892371 |   389524     7064     66 |  7.090 % |
30.82/30.88	c |      7410 |  226474  1080231  2892371 |   389524     7275     66 |  7.099 % |
31.32/31.31	c |      7643 |  226245  1077895  2887179 |   389524     7459     66 |  7.099 % |
31.72/31.71	c |      7743 |  226244  1077895  2887179 |   389524     7558     66 |  7.100 % |
31.82/31.90	c |      7855 |  226244  1077895  2887179 |   389524     7670     67 |  7.100 % |
32.12/32.17	c |      7976 |  226244  1077895  2887179 |   389524     7791     67 |  7.100 % |
32.52/32.52	c |      8109 |  226237  1077895  2887179 |   389524     7923     67 |  7.108 % |
32.92/33.00	c |      8257 |  226065  1077755  2886803 |   389524     8070     69 |  7.233 % |
33.62/33.64	c |      8417 |  225995  1077755  2886803 |   389524     8228     68 |  7.555 % |
33.82/33.90	c |      8593 |  225990  1077755  2886803 |   389524     8403     68 |  7.691 % |
34.22/34.22	c |      8786 |  225723  1077755  2886803 |   389524     8596     67 |  7.691 % |
34.72/34.80	c |      8998 |  225611  1077755  2886803 |   389524     8807     67 |  7.695 % |
35.22/35.28	c |      9231 |  224794  1070614  2870375 |   389524     9016     68 |  7.695 % |
36.52/36.51	c |      9487 |  224794  1070614  2870375 |   389524     9272     68 |  7.695 % |
36.82/36.81	c |      9589 |  224794  1070614  2870375 |   389524     9374     67 |  7.695 % |
37.32/37.33	c |      9699 |  224791  1070599  2870340 |   389524     9483     67 |  7.696 % |
37.72/37.80	c |      9820 |  224739  1070599  2870340 |   389524     9602     67 |  7.852 % |
38.02/38.08	c |      9954 |  224738  1070599  2870340 |   389524     9735     67 |  7.854 % |
38.32/38.38	c |     10100 |  224738  1070599  2870340 | 2147483647     9881     67 |  7.854 % |
38.62/38.69	c |     10261 |  224738  1070599  2870340 | 2147483647    10042     67 |  7.854 % |
39.32/39.33	c |     10438 |  224738  1070599  2870340 | 2147483647    10219     67 |  7.854 % |
39.82/39.88	c |     10631 |  224407  1068394  2865351 | 2147483647    10410     67 |  7.854 % |
40.52/40.54	c |     10843 |  224407  1068394  2865351 | 2147483647    10622     68 |  7.854 % |
40.82/40.89	c |     11076 |  224407  1068394  2865351 | 2147483647    10855     69 |  7.854 % |
42.22/42.21	c |     11333 |  224384  1068266  2865019 | 2147483647    11109     69 |  7.875 % |
42.92/42.97	c |     11615 |  224381  1068266  2865019 | 2147483647    11388     70 |  7.895 % |
43.52/43.58	c |     11716 |  224330  1068266  2865019 | 2147483647    11487     69 |  8.744 % |
44.12/44.12	c |     11829 |  224327  1068266  2865019 | 2147483647    11600     69 |  8.744 % |
44.42/44.46	c |     11952 |  222240  1057158  2837413 | 2147483647    11710     69 |  8.744 % |
44.72/44.72	c |     12086 |  222238  1057158  2837413 | 2147483647    11842     70 |  8.745 % |
45.32/45.32	c |     12232 |  222238  1057158  2837413 | 2147483647    11988     70 |  8.745 % |
45.72/45.73	c |     12393 |  222237  1057158  2837413 | 2147483647    12148     70 |  8.757 % |
46.52/46.53	c |     12569 |  222196  1056890  2836718 | 2147483647    12323     69 |  8.762 % |
47.12/47.16	c |     12762 |  222160  1056890  2836718 | 2147483647    12515     71 |  8.901 % |
47.72/47.76	c |     12974 |  222160  1056890  2836718 | 2147483647    12727     71 |  8.901 % |
48.32/48.38	c |     13207 |  222160  1056890  2836718 | 2147483647    12960     72 |  8.901 % |
48.92/48.99	c |     13463 |  221857  1055253  2832638 | 2147483647    13199     74 |  8.901 % |
49.52/49.60	c |     13746 |  221857  1055253  2832638 | 2147483647    13482     73 |  8.901 % |
49.92/49.97	c |     14058 |  221857  1055253  2832638 | 2147483647    13794     73 |  8.901 % |
50.12/50.13	c |     14158 |  221856  1055253  2832638 | 2147483647    13893     73 |  8.907 % |
50.32/50.39	c |     14268 |  221799  1054828  2831570 | 2147483647    13985     73 |  8.925 % |
50.52/50.61	c |     14389 |  221799  1054828  2831570 | 2147483647    14106     73 |  8.925 % |
50.92/50.99	c |     14522 |  221799  1054828  2831570 | 2147483647    14239     74 |  8.925 % |
51.32/51.37	c |     14668 |  221799  1054828  2831570 | 2147483647    14385     74 |  8.925 % |
51.72/51.71	c |     14828 |  221799  1054828  2831570 | 2147483647    14545     75 |  8.925 % |
52.02/52.10	c |     15007 |  221797  1054828  2831570 | 2147483647    14723     75 |  8.940 % |
52.42/52.41	c |     15202 |  221797  1054828  2831570 | 2147483647    14918     77 |  8.940 % |
53.12/53.13	c |     15414 |  221742  1054648  2831109 | 2147483647    15127     77 |  8.969 % |
54.02/54.03	c |     15648 |  221742  1054648  2831109 | 2147483647    15361     77 |  8.969 % |
55.42/55.43	c |     15904 |  221690  1054332  2830477 | 2147483647    15614     81 |  8.970 % |
56.22/56.26	c |     16185 |  221550  1054332  2830477 | 2147483647    15894     82 |  9.062 % |
57.32/57.33	c |     16494 |  221547  1054332  2830477 | 2147483647    16202     85 |  9.075 % |
58.72/58.77	c |     16833 |  221434  1052854  2826792 | 2147483647    16496     88 |  9.075 % |
59.62/59.67	c |     16933 |  221369  1052854  2826792 | 2147483647    16590     88 |  9.425 % |
59.92/59.97	c |     17043 |  220580  1048297  2815389 | 2147483647    16672     88 |  9.425 % |
60.12/60.11	c |     17164 |  220579  1048297  2815389 | 2147483647    16792     88 |  9.436 % |
60.42/60.46	c |     17297 |  220578  1048297  2815389 | 2147483647    16925     89 |  9.436 % |
60.62/60.63	c |     17443 |  220578  1048297  2815389 | 2147483647    17071     89 |  9.436 % |
61.12/61.11	c |     17606 |  220578  1048297  2815389 | 2147483647    17233     88 |  9.501 % |
61.52/61.55	c |     17784 |  220551  1048297  2815389 | 2147483647    17411     89 |  9.501 % |
62.32/62.39	c |     17977 |  220550  1048297  2815389 | 2147483647    17603     89 |  9.508 % |
63.22/63.28	c |     18190 |  220379  1047297  2813256 | 2147483647    17798     92 |  9.514 % |
64.02/64.10	c |     18428 |  220378  1047297  2813256 | 2147483647    18035     95 |  9.514 % |
65.02/65.08	c |     18689 |  220378  1047297  2813256 | 2147483647    18296     96 |  9.514 % |
66.22/66.26	c |     18971 |  220359  1047185  2812959 | 2147483647    18575     98 |  9.526 % |
66.92/66.91	c |     19288 |  220359  1047185  2812959 | 2147483647    18892     98 |  9.526 % |
68.12/68.12	c |     19627 |  220314  1046903  2812235 | 2147483647    19229     98 |  9.535 % |
70.12/70.13	c |     19999 |  220292  1046903  2812235 | 2147483647    19597    100 | 10.007 % |
70.22/70.29	c |     20100 |  220292  1046903  2812235 | 2147483647    19698    100 | 10.007 % |
70.82/70.81	c |     20210 |  220292  1046903  2812235 | 2147483647    19808    100 | 10.007 % |
71.22/71.28	c |     20331 |  219164  1040460  2795895 | 2147483647    19925    100 | 10.007 % |
71.52/71.55	c |     20464 |  219164  1040460  2795895 | 2147483647    20058    100 | 10.007 % |
71.92/71.99	c |     20611 |  219150  1040460  2795895 | 2147483647    20204    101 | 10.101 % |
72.42/72.47	c |     20772 |  219148  1040460  2795895 | 2147483647    20365    101 | 10.101 % |
72.82/72.85	c |     20949 |  219139  1040460  2795895 | 2147483647    20541    101 | 10.146 % |
73.92/73.90	c |     21142 |  219136  1040460  2795895 | 2147483647    20733    103 | 10.155 % |
74.52/74.60	c |     21356 |  218803  1038393  2790899 | 2147483647    20938    104 | 10.160 % |
75.62/75.65	c |     21590 |  218799  1038393  2790899 | 2147483647    21170    105 | 10.291 % |
76.82/76.87	c |     21847 |  218461  1037000  2788030 | 2147483647    21417    105 | 10.295 % |
77.62/77.65	c |     22136 |  218461  1037000  2788030 | 2147483647    21706    105 | 10.295 % |
78.52/78.55	c |     22446 |  218461  1037000  2788030 | 2147483647    22016    106 | 10.295 % |
79.62/79.64	c |     22785 |  218459  1037000  2788030 | 2147483647    22354    106 | 10.303 % |
80.92/80.94	c |     23159 |  218442  1036869  2787695 | 2147483647    22728    106 | 10.303 % |
84.32/84.39	c |     23569 |  218286  1036247  2786451 | 2147483647    23137    110 | 10.367 % |
84.92/84.93	c |     23672 |  218286  1036247  2786451 | 2147483647    23240    110 | 10.367 % |
85.32/85.40	c |     23783 |  218285  1036247  2786451 | 2147483647    23350    110 | 10.536 % |
85.82/85.83	c |     23906 |  218285  1036247  2786451 | 2147483647    23473    111 | 10.536 % |
86.12/86.14	c |     24039 |  218283  1036247  2786451 | 2147483647    23604    111 | 10.548 % |
86.92/86.93	c |     24185 |  217847  1034437  2782723 | 2147483647    23745    112 | 10.548 % |
87.92/87.92	c |     24345 |  217728  1034437  2782723 | 2147483647    23904    112 | 10.982 % |
89.23/89.24	c |     24523 |  217718  1034437  2782723 | 2147483647    24078    113 | 11.011 % |
90.02/90.04	c |     24718 |  216717  1028120  2766637 | 2147483647    24268    114 | 11.055 % |
90.82/90.83	c |     24930 |  216717  1028120  2766637 | 2147483647    24480    114 | 11.055 % |
92.22/92.21	c |     25166 |  216669  1028120  2766637 | 2147483647    24716    116 | 11.055 % |
93.92/93.98	c |     25422 |  216592  1027591  2765496 | 2147483647    24970    117 | 11.063 % |
95.52/95.57	c |     25703 |  216591  1027591  2765496 | 2147483647    25250    120 | 11.063 % |
96.72/96.75	c |     26012 |  216590  1027591  2765496 | 2147483647    25558    122 | 11.064 % |
97.72/97.71	c |     26351 |  216590  1027591  2765496 | 2147483647    25897    121 | 11.064 % |
99.72/99.77	c |     26723 |  216589  1027583  2765480 | 2147483647    26266    124 | 11.074 % |
100.92/100.94	c |     27132 |  216575  1027583  2765480 | 2147483647    26672    124 | 11.210 % |
103.02/103.02	c |     27581 |  215987  1024356  2757323 | 2147483647    27112    126 | 11.311 % |
103.53/103.59	c |     27684 |  215987  1024356  2757323 | 2147483647    27215    126 | 11.311 % |
104.02/104.03	c |     27795 |  215986  1024356  2757323 | 2147483647    27325    127 | 11.318 % |
104.72/104.70	c |     27916 |  215986  1024356  2757323 | 2147483647    27446    127 | 11.318 % |
105.02/105.04	c |     28049 |  215986  1024356  2757323 | 2147483647    27579    128 | 11.318 % |
105.32/105.32	c |     28200 |  215986  1024356  2757323 | 2147483647    27730    127 | 11.318 % |
106.42/106.41	c |     28360 |  215971  1024260  2757083 | 2147483647    27887    128 | 11.318 % |
106.62/106.68	c |     28536 |  215971  1024260  2757083 | 2147483647    28063    128 | 11.318 % |
107.62/107.66	c |     28739 |  215971  1024260  2757083 | 2147483647    28266    129 | 11.318 % |
108.12/108.13	c |     28951 |  215971  1024260  2757083 | 2147483647    28478    130 | 11.318 % |
109.12/109.15	c |     29185 |  215917  1024260  2757083 | 2147483647    28711    131 | 11.643 % |
109.92/109.95	c |     29444 |  215137  1019952  2746945 | 2147483647    28884    132 | 11.660 % |
111.12/111.20	c |     29726 |  215137  1019952  2746945 | 2147483647    29166    133 | 11.660 % |
112.42/112.49	c |     30035 |  215137  1019952  2746945 | 2147483647    29475    134 | 11.660 % |
114.22/114.22	c |     30374 |  215136  1019949  2746939 | 2147483647    29813    135 | 11.661 % |
116.73/116.74	c |     30747 |  215136  1019949  2746939 | 2147483647    30186    137 | 11.661 % |
118.93/118.99	c |     31163 |  215111  1019750  2746478 | 2147483647    30589    138 | 11.671 % |
122.32/122.34	c |     31615 |  215109  1019750  2746478 | 2147483647    31039    142 | 11.772 % |
124.62/124.68	c |     32110 |  214864  1018323  2742850 | 2147483647    31533    143 | 11.772 % |
125.53/125.60	c |     32211 |  214843  1018323  2742850 | 2147483647    31629    143 | 11.806 % |
125.83/125.88	c |     32321 |  214843  1018323  2742850 | 2147483647    31739    143 | 11.806 % |
126.93/126.95	c |     32442 |  214843  1018323  2742850 | 2147483647    31860    145 | 11.806 % |
127.33/127.33	c |     32578 |  214782  1017717  2741241 | 2147483647    31996    145 | 11.806 % |
127.53/127.56	c |     32731 |  214780  1017717  2741241 | 2147483647    32146    144 | 11.835 % |
129.03/129.09	c |     32898 |  214776  1017717  2741241 | 2147483647    32312    145 | 11.908 % |
129.73/129.72	c |     33077 |  214776  1017717  2741241 | 2147483647    32491    146 | 11.908 % |
131.03/131.03	c |     33270 |  214770  1017717  2741241 | 2147483647    32683    147 | 11.920 % |
131.63/131.70	c |     33486 |  214478  1016006  2736865 | 2147483647    32880    147 | 11.931 % |
132.73/132.71	c |     33720 |  214478  1016006  2736865 | 2147483647    33114    148 | 11.931 % |
133.13/133.21	c |     33976 |  214478  1016006  2736865 | 2147483647    33370    149 | 11.931 % |
134.83/134.81	c |     34258 |  214476  1016006  2736865 | 2147483647    33651    150 | 11.942 % |
135.63/135.67	c |     34567 |  214475  1016006  2736865 | 2147483647    33959    150 | 11.942 % |
137.23/137.23	c |     34906 |  214475  1016006  2736865 | 2147483647    34298    151 | 11.942 % |
138.63/138.69	c |     35278 |  214450  1015867  2736520 | 2147483647    34665    152 | 11.943 % |
140.13/140.14	c |     35687 |  214450  1015867  2736520 | 2147483647    35074    152 | 11.943 % |
142.93/143.00	c |     36138 |  214414  1015672  2736055 | 2147483647    35517    155 | 11.957 % |
145.23/145.30	c |     36634 |  214413  1015672  2736055 | 2147483647    36012    156 | 11.958 % |
148.23/148.30	c |     37178 |  214412  1015672  2736055 | 2147483647    36555    158 | 11.958 % |
149.13/149.16	c |     37278 |  214383  1015662  2736035 | 2147483647    36645    158 | 12.075 % |
150.23/150.25	c |     37388 |  214383  1015662  2736035 | 2147483647    36755    159 | 12.075 % |
150.83/150.90	c |     37509 |  214383  1015662  2736035 | 2147483647    36876    159 | 12.075 % |
151.23/151.30	c |     37642 |  214382  1015662  2736035 | 2147483647    37008    159 | 12.082 % |
152.33/152.35	c |     37788 |  214382  1015662  2736035 | 2147483647    37154    159 | 12.082 % |
152.63/152.70	c |     37949 |  214382  1015662  2736035 | 2147483647    37315    159 | 12.082 % |
154.03/154.08	c |     38125 |  214382  1015662  2736035 | 2147483647    37491    160 | 12.082 % |
154.73/154.78	c |     38318 |  214110  1014609  2733799 | 2147483647    37652    162 | 12.082 % |
155.83/155.89	c |     38530 |  214110  1014609  2733799 | 2147483647    37864    162 | 12.082 % |
157.33/157.32	c |     38763 |  214110  1014609  2733799 | 2147483647    38097    163 | 12.082 % |
158.03/158.08	c |     39019 |  214110  1014609  2733799 | 2147483647    38353    165 | 12.082 % |
158.73/158.72	c |     39301 |  214097  1014609  2733799 | 2147483647    38634    164 | 12.142 % |
159.53/159.59	c |     39613 |  214080  1014609  2733799 | 2147483647    38943    164 | 12.161 % |
160.63/160.69	c |     39952 |  213917  1013529  2730978 | 2147483647    39279    164 | 12.225 % |
161.93/161.93	c |     40325 |  213915  1013529  2730978 | 2147483647    39650    164 | 12.225 % |
163.33/163.36	c |     40738 |  213893  1013529  2730978 | 2147483647    40062    164 | 12.278 % |
166.53/166.57	c |     41189 |  213786  1013529  2730978 | 2147483647    40512    166 | 12.330 % |
168.93/168.96	c |     41683 |  213502  1011213  2725331 | 2147483647    40984    168 | 12.346 % |
170.43/170.50	c |     42229 |  213501  1011213  2725331 | 2147483647    41529    168 | 12.355 % |
173.63/173.68	c |     42825 |  213496  1011213  2725331 | 2147483647    42124    170 | 12.367 % |
174.83/174.82	c |     42926 |  213417  1010733  2724114 | 2147483647    42217    171 | 12.367 % |
175.43/175.47	c |     43036 |  213417  1010733  2724114 | 2147483647    42327    171 | 12.367 % |
175.83/175.86	c |     43157 |  213417  1010733  2724114 | 2147483647    42448    170 | 12.367 % |
176.23/176.24	c |     43290 |  213417  1010733  2724114 | 2147483647    42581    170 | 12.367 % |
176.93/176.97	c |     43436 |  213417  1010733  2724114 | 2147483647    42727    170 | 12.367 % |
177.93/177.94	c |     43596 |  213417  1010733  2724114 | 2147483647    42887    171 | 12.367 % |
178.83/178.85	c |     43772 |  213417  1010733  2724114 | 2147483647    43063    172 | 12.367 % |
179.73/179.73	c |     43967 |  213417  1010733  2724114 | 2147483647    43258    172 | 12.367 % |
181.13/181.18	c |     44179 |  213416  1010729  2724106 | 2147483647    43467    173 | 12.367 % |
182.73/182.77	c |     44412 |  213412  1010729  2724106 | 2147483647    43698    173 | 12.389 % |
184.83/184.87	c |     44670 |  213409  1010729  2724106 | 2147483647    43953    174 | 12.489 % |
186.83/186.87	c |     44954 |  213119  1009310  2720620 | 2147483647    44171    175 | 12.489 % |
189.53/189.54	c |     45264 |  213118  1009310  2720620 | 2147483647    44480    178 | 12.489 % |
190.93/190.93	c |     45604 |  213118  1009310  2720620 | 2147483647    44820    178 | 12.489 % |
193.53/193.59	c |     45977 |  213118  1009310  2720620 | 2147483647    45193    179 | 12.489 % |
196.93/196.91	c |     46386 |  213116  1009306  2720612 | 2147483647    45597    180 | 12.492 % |
198.43/198.43	c |     46835 |  213116  1009306  2720612 | 2147483647    46046    182 | 12.492 % |
200.23/200.24	c |     47328 |  213116  1009306  2720612 | 2147483647    46539    184 | 12.492 % |
203.33/203.36	c |     47870 |  213116  1009306  2720612 | 2147483647    47081    186 | 12.492 % |
206.33/206.32	c |     48466 |  213110  1009283  2720566 | 2147483647    47675    188 | 12.501 % |
211.53/211.56	c |     49121 |  212888  1008093  2717644 | 2147483647    48279    188 | 12.584 % |
212.23/212.28	c |     49222 |  212887  1008093  2717644 | 2147483647    48379    188 | 12.584 % |
212.93/212.96	c |     49333 |  212887  1008093  2717644 | 2147483647    48490    188 | 12.584 % |
213.43/213.44	c |     49455 |  212887  1008093  2717644 | 2147483647    48612    188 | 12.584 % |
214.33/214.31	c |     49588 |  212887  1008093  2717644 | 2147483647    48745    189 | 12.584 % |
215.03/215.06	c |     49734 |  212886  1008093  2717644 | 2147483647    48890    189 | 12.727 % |
215.63/215.62	c |     49895 |  212885  1008093  2717644 | 2147483647    49050    189 | 12.728 % |
216.63/216.66	c |     50072 |  212885  1008093  2717644 | 2147483647    49227    189 | 12.728 % |
217.23/217.24	c |     50265 |  212885  1008093  2717644 | 2147483647    49420    189 | 12.728 % |
219.33/219.40	c |     50479 |  212885  1008093  2717644 | 2147483647    49634    190 | 12.728 % |
220.63/220.65	c |     50712 |  212538  1005812  2712081 | 2147483647    49856    192 | 12.728 % |
222.34/222.35	c |     50968 |  212538  1005812  2712081 | 2147483647    50112    195 | 12.728 % |
223.73/223.75	c |     51251 |  212538  1005812  2712081 | 2147483647    50394    196 | 12.728 % |
225.83/225.91	c |     51561 |  212537  1005812  2712081 | 2147483647    50703    196 | 12.733 % |
228.83/228.84	c |     51901 |  212457  1005256  2710714 | 2147483647    50409    197 | 12.761 % |
231.83/231.89	c |     52274 |  212457  1005256  2710714 | 2147483647    50781    198 | 12.761 % |
233.23/233.25	c |     52684 |  212454  1005256  2710714 | 2147483647    51188    198 | 12.770 % |
237.03/237.10	c |     53139 |  212453  1005256  2710714 | 2147483647    51643    200 | 12.770 % |
241.24/241.27	c |     53633 |  212434  1005114  2710345 | 2147483647    52133    200 | 12.770 % |
245.84/245.89	c |     54175 |  212434  1005114  2710345 | 2147483647    52675    204 | 12.770 % |
250.64/250.68	c |     54771 |  212434  1005114  2710345 | 2147483647    53271    207 | 12.770 % |
255.24/255.27	c |     55426 |  212428  1005094  2710292 | 2147483647    53922    209 | 12.795 % |
261.44/261.44	c |     56148 |  212396  1005094  2710292 | 2147483647    54644    214 | 12.795 % |
262.34/262.35	c |     56248 |  212396  1005094  2710292 | 2147483647    54743    214 | 12.796 % |
263.34/263.39	c |     56358 |  212370  1004879  2709860 | 2147483647    54849    214 | 12.809 % |
264.34/264.39	c |     56482 |  212370  1004879  2709860 | 2147483647    54972    215 | 12.817 % |
265.24/265.22	c |     56618 |  212370  1004879  2709860 | 2147483647    55108    215 | 12.817 % |
265.54/265.59	c |     56764 |  212286  1004879  2709860 | 2147483647    55253    215 | 12.903 % |
265.74/265.80	c |     56924 |  212286  1004879  2709860 | 2147483647    55413    214 | 12.903 % |
266.64/266.67	c |     57102 |  212286  1004879  2709860 | 2147483647    55591    215 | 12.903 % |
267.64/267.65	c |     57295 |  212286  1004879  2709860 | 2147483647    55784    215 | 12.903 % |
268.94/268.95	c |     57507 |  212286  1004879  2709860 | 2147483647    55996    215 | 12.903 % |
270.04/270.04	c |     57744 |  212286  1004879  2709860 | 2147483647    56233    215 | 12.903 % |
271.14/271.19	c |     58000 |  212282  1004879  2709860 | 2147483647    56488    215 | 12.913 % |
273.54/273.54	c |     58282 |  212086  1003553  2706989 | 2147483647    56761    217 | 12.913 % |
275.74/275.76	c |     58595 |  212081  1003553  2706989 | 2147483647    57073    218 | 12.924 % |
277.94/277.99	c |     58937 |  212070  1003553  2706989 | 2147483647    57412    219 | 12.946 % |
280.24/280.27	c |     59310 |  212070  1003553  2706989 | 2147483647    57784    220 | 12.948 % |
283.24/283.24	c |     59719 |  212069  1003553  2706989 | 2147483647    58192    221 | 12.958 % |
286.74/286.79	c |     60168 |  211973  1002885  2705343 | 2147483647    58577    222 | 13.128 % |
289.64/289.62	c |     60661 |  211969  1002885  2705343 | 2147483647    59069    223 | 13.138 % |
291.84/291.82	c |     61203 |  211969  1002885  2705343 | 2147483647    59610    224 | 13.158 % |
295.14/295.15	c |     61800 |  211474  1000764  2700917 | 2147483647    60191    224 | 13.165 % |
298.54/298.51	c |     62455 |  211463  1000764  2700917 | 2147483647    60843    225 | 13.196 % |
305.24/305.29	c |     63175 |  211463  1000764  2700917 | 2147483647    61563    229 | 13.196 % |
311.24/311.30	c |     63972 |  211396  1000369  2699969 | 2147483647    62320    231 | 13.197 % |
311.74/311.79	c |     64076 |  211396  1000369  2699969 | 2147483647    62424    230 | 13.197 % |
312.44/312.44	c |     64186 |  211395  1000369  2699969 | 2147483647    62533    231 | 13.209 % |
313.24/313.27	c |     64307 |  211370  1000369  2699969 | 2147483647    62653    231 | 13.210 % |
314.54/314.51	c |     64440 |  211365  1000369  2699969 | 2147483647    62786    232 | 13.210 % |
315.74/315.75	c |     64586 |  211364  1000369  2699969 | 2147483647    62931    232 | 13.210 % |
317.24/317.31	c |     64749 |  211363  1000123  2699334 | 2147483647    63064    232 | 13.210 % |
318.05/318.05	c |     64926 |  211363  1000123  2699334 | 2147483647    63241    233 | 13.210 % |
319.74/319.76	c |     65122 |  211363  1000123  2699334 | 2147483647    63437    233 | 13.210 % |
321.14/321.15	c |     65335 |  211363  1000123  2699334 | 2147483647    63650    233 | 13.210 % |
323.04/323.07	c |     65568 |  211363  1000123  2699334 | 2147483647    63883    234 | 13.210 % |
324.34/324.40	c |     65824 |  211362  1000123  2699334 | 2147483647    64137    233 | 13.215 % |
325.93/325.96	c |     66106 |  211361  1000123  2699334 | 2147483647    64419    234 | 13.215 % |
328.63/328.61	c |     66415 |  211361  1000123  2699334 | 2147483647    64728    236 | 13.215 % |
332.13/332.10	c |     66755 |  211352  1000035  2699110 | 2147483647    65058    236 | 13.215 % |
335.33/335.38	c |     67127 |  211347  1000035  2699110 | 2147483647    65426    237 | 13.253 % |
339.13/339.18	c |     67536 |  211347  1000035  2699110 | 2147483647    65835    238 | 13.253 % |
343.23/343.27	c |     67985 |  211237   999355  2697460 | 2147483647    66255    240 | 13.264 % |
346.73/346.71	c |     68480 |  211237   999355  2697460 | 2147483647    66750    241 | 13.264 % |
349.73/349.78	c |     69025 |  211237   999355  2697460 | 2147483647    67293    242 | 13.356 % |
353.83/353.86	c |     69622 |  210983   998253  2695119 | 2147483647    67885    242 | 13.366 % |
357.34/357.41	c |     70279 |  210983   998253  2695119 | 2147483647    68542    243 | 13.366 % |
361.74/361.78	c |     71001 |  210982   998253  2695119 | 2147483647    69263    245 | 13.367 % |
366.44/366.50	c |     71797 |  210982   998253  2695119 | 2147483647    70059    245 | 13.367 % |
370.54/370.61	c |     72668 |  210981   998249  2695111 | 2147483647    70926    246 | 13.367 % |
370.94/370.93	c |     72770 |  210981   998249  2695111 | 2147483647    71028    245 | 13.367 % |
372.04/372.06	c |     72880 |  210981   998249  2695111 | 2147483647    71138    246 | 13.367 % |
372.64/372.69	c |     73001 |  210981   998249  2695111 | 2147483647    71259    246 | 13.367 % |
373.24/373.25	c |     73134 |  210981   998249  2695111 | 2147483647    71392    246 | 13.367 % |
374.04/374.06	c |     73281 |  210981   998249  2695111 | 2147483647    71539    245 | 13.367 % |
375.74/375.80	c |     73443 |  210981   998249  2695111 | 2147483647    71700    245 | 13.368 % |
376.94/377.00	c |     73620 |  210981   998249  2695111 | 2147483647    71877    246 | 13.368 % |
378.14/378.17	c |     73813 |  210981   998249  2695111 | 2147483647    72070    246 | 13.368 % |
379.74/379.78	c |     74025 |  210981   998249  2695111 | 2147483647    72282    247 | 13.368 % |
381.44/381.43	c |     74258 |  210969   998151  2694860 | 2147483647    72497    247 | 13.378 % |
383.54/383.54	c |     74514 |  210959   998151  2694860 | 2147483647    72752    248 | 13.385 % |
384.94/385.01	c |     74798 |  210959   998151  2694860 | 2147483647    73036    247 | 13.385 % |
385.74/385.80	c |     75107 |  210959   998151  2694860 | 2147483647    73345    248 | 13.385 % |
387.84/387.84	c |     75447 |  210959   998151  2694860 | 2147483647    73685    248 | 13.385 % |
390.14/390.19	c |     75819 |  210951   998151  2694860 | 2147483647    74056    248 | 13.399 % |
393.44/393.47	c |     76229 |  210923   998151  2694860 | 2147483647    74465    249 | 13.445 % |
397.24/397.22	c |     76678 |  210760   996797  2691495 | 2147483647    74816    250 | 13.499 % |
401.44/401.48	c |     77172 |  210760   996797  2691495 | 2147483647    75310    252 | 13.499 % |
406.34/406.39	c |     77714 |  210758   996797  2691495 | 2147483647    75850    252 | 13.508 % |
409.24/409.23	c |     78310 |  210663   996797  2691495 | 2147483647    76444    251 | 13.615 % |
414.74/414.78	c |     78967 |  210377   994299  2685275 | 2147483647    77037    253 | 13.615 % |
420.44/420.48	c |     79687 |  210377   994299  2685275 | 2147483647    77756    254 | 13.641 % |
426.74/426.74	c |     80479 |  210374   994299  2685275 | 2147483647    78547    255 | 13.647 % |
435.04/435.10	c |     81350 |  210297   993859  2684200 | 2147483647    79329    259 | 13.660 % |
442.54/442.58	c |     82308 |  210296   993859  2684200 | 2147483647    80286    260 | 13.661 % |
443.45/443.46	c |     82408 |  210266   993710  2683839 | 2147483647    80385    260 | 13.661 % |
444.34/444.36	c |     82518 |  210266   993710  2683839 | 2147483647    80495    260 | 13.661 % |
445.04/445.10	c |     82640 |  210266   993710  2683839 | 2147483647    80617    260 | 13.661 % |
446.04/446.08	c |     82780 |  210266   993710  2683839 | 2147483647    80757    260 | 13.661 % |
447.24/447.25	c |     82926 |  210266   993710  2683839 | 2147483647    80902    261 | 13.661 % |
448.74/448.75	c |     83088 |  210266   993710  2683839 | 2147483647    81064    261 | 13.661 % |
449.64/449.66	c |     83265 |  210264   993710  2683839 | 2147483647    81239    261 | 13.667 % |
451.54/451.60	c |     83459 |  210263   993710  2683839 | 2147483647    81431    261 | 13.693 % |
453.84/453.82	c |     83671 |  210263   993710  2683839 | 2147483647    81643    261 | 13.693 % |
456.14/456.13	c |     83905 |  210263   993710  2683839 | 2147483647    81877    261 | 13.693 % |
457.64/457.70	c |     84161 |  210263   993710  2683839 | 2147483647    82133    261 | 13.693 % |
460.74/460.73	c |     84442 |  210185   993242  2682684 | 2147483647    82383    262 | 13.694 % |
462.44/462.50	c |     84751 |  210183   993242  2682684 | 2147483647    82690    262 | 13.712 % |
463.74/463.72	c |     85093 |  210180   993242  2682684 | 2147483647    83029    262 | 13.726 % |
466.44/466.48	c |     85465 |  210179   993242  2682684 | 2147483647    83401    262 | 13.726 % |
469.95/469.95	c |     85877 |  210179   993242  2682684 | 2147483647    83813    263 | 13.726 % |
471.95/471.95	c |     86327 |  210160   993242  2682684 | 2147483647    84260    262 | 13.781 % |
475.15/475.20	c |     86821 |  209970   991956  2679589 | 2147483647    84530    263 | 13.789 % |
477.55/477.54	c |     87364 |  209919   991956  2679589 | 2147483647    85069    262 | 13.889 % |
483.05/483.03	c |     87961 |  209919   991956  2679589 | 2147483647    85666    263 | 13.889 % |
487.75/487.79	c |     88617 |  209913   991956  2679589 | 2147483647    86318    262 | 15.301 % |
492.15/492.19	c |     89337 |  209913   991956  2679589 | 2147483647    87038    264 | 15.301 % |
498.55/498.60	c |     90129 |  206270   969737  2625136 | 2147483647    84835    264 | 15.312 % |
503.65/503.64	c |     91000 |  206263   969737  2625136 | 2147483647    85701    265 | 15.354 % |
510.25/510.22	c |     91958 |  206262   969737  2625136 | 2147483647    86658    265 | 17.682 % |
514.85/514.88	c |     93012 |  200472   943649  2559227 | 2147483647    87655    266 | 17.688 % |
515.85/515.82	c |     93114 |  200472   943649  2559227 | 2147483647    87757    267 | 17.688 % |
516.95/517.02	c |     93225 |  200472   943649  2559227 | 2147483647    87868    267 | 17.688 % |
518.45/518.47	c |     93348 |  200472   943649  2559227 | 2147483647    87991    267 | 17.688 % |
519.45/519.48	c |     93481 |  200472   943649  2559227 | 2147483647    88124    268 | 17.688 % |
520.55/520.60	c |     93627 |  200472   943649  2559227 | 2147483647    88270    268 | 17.688 % |
522.05/522.02	c |     93787 |  200471   943649  2559227 | 2147483647    88429    268 | 17.688 % |
523.75/523.78	c |     93963 |  200470   943649  2559227 | 2147483647    88604    269 | 17.689 % |
525.15/525.19	c |     94157 |  200469   943649  2559227 | 2147483647    88797    269 | 17.689 % |
527.25/527.28	c |     94369 |  200469   943649  2559227 | 2147483647    89008    269 | 17.692 % |
529.65/529.67	c |     94602 |  200427   943397  2558608 | 2147483647    89213    269 | 17.701 % |
532.35/532.32	c |     94863 |  200427   943397  2558608 | 2147483647    89474    270 | 17.701 % |
534.85/534.90	c |     95145 |  200427   943397  2558608 | 2147483647    89756    270 | 17.701 % |
536.55/536.53	c |     95456 |  200427   943397  2558608 | 2147483647    90066    269 | 17.701 % |
537.85/537.82	c |     95796 |  200427   943397  2558608 | 2147483647    90406    269 | 17.701 % |
542.25/542.26	c |     96169 |  200427   943397  2558608 | 2147483647    90778    269 | 17.713 % |
546.35/546.39	c |     96578 |  200427   943397  2558608 | 2147483647    91187    269 | 17.713 % |
549.85/549.89	c |     97035 |  200396   943242  2558203 | 2147483647    91633    270 | 17.713 % |
553.75/553.78	c |     97528 |  200396   943242  2558203 | 2147483647    92126    271 | 17.713 % |
557.75/557.76	c |     98071 |  200387   943242  2558203 | 2147483647    92668    271 | 17.726 % |
561.35/561.32	c |     98668 |  200384   943242  2558203 | 2147483647    93262    271 | 19.369 % |
565.65/565.71	c |     99325 |  200384   943242  2558203 | 2147483647    93919    272 | 19.369 % |
572.25/572.31	c |    100045 |  196363   926971  2517728 | 2147483647    94585    273 | 19.396 % |
577.85/577.83	c |    100838 |  196358   926971  2517728 | 2147483647    95376    273 | 19.403 % |
585.36/585.34	c |    101710 |  196355   926971  2517728 | 2147483647    96243    274 | 19.415 % |
595.26/595.30	c |    102670 |  196249   926357  2516180 | 2147483647    97144    275 | 19.423 % |
603.86/603.90	c |    103723 |  196245   926357  2516180 | 2147483647    98193    277 | 19.447 % |
613.06/613.08	c |    104881 |  196172   925963  2515199 | 2147483647    99323    279 | 19.448 % |
614.36/614.36	c |    104981 |  196172   925963  2515199 | 2147483647    99423    279 | 19.448 % |
615.66/615.67	c |    105095 |  196172   925963  2515199 | 2147483647    99537    279 | 19.448 % |
616.56/616.60	c |    105219 |  196172   925963  2515199 | 2147483647    99661    279 | 19.448 % |
618.26/618.30	c |    105352 |  196172   925963  2515199 | 2147483647    99794    280 | 19.448 % |
619.66/619.71	c |    105498 |  196172   925963  2515199 | 2147483647    99940    280 | 19.448 % |
621.36/621.34	c |    105658 |  196172   925963  2515199 | 2147483647   100100    280 | 19.448 % |
623.76/623.78	c |    105835 |  196172   925963  2515199 | 2147483647   100277    281 | 19.448 % |
625.86/625.86	c |    106028 |  196172   925963  2515199 | 2147483647   100470    281 | 19.448 % |
627.56/627.54	c |    106240 |  196170   925959  2515191 | 2147483647   100678    281 | 19.454 % |
629.76/629.74	c |    106473 |  196169   925959  2515191 | 2147483647   100910    282 | 19.455 % |
631.66/631.66	c |    106731 |  196165   925959  2515191 | 2147483647   101165    282 | 19.541 % |
634.06/634.08	c |    107013 |  196165   925959  2515191 | 2147483647   101446    282 | 19.543 % |
637.06/637.10	c |    107326 |  196165   925959  2515191 | 2147483647   101759    282 | 19.543 % |
639.46/639.49	c |    107665 |  196165   925959  2515191 | 2147483647   102098    282 | 19.543 % |
643.36/643.40	c |    108037 |  196165   925959  2515191 | 2147483647   102470    282 | 19.543 % |
646.16/646.17	c |    108447 |  196164   925959  2515191 | 2147483647   102879    283 | 19.543 % |
648.76/648.73	c |    108896 |  196164   925959  2515191 | 2147483647   103328    283 | 19.543 % |
651.06/651.05	c |    109393 |  195938   924837  2512420 | 2147483647   103646    283 | 19.566 % |
653.96/653.93	c |    109937 |  195930   924837  2512420 | 2147483647   104188    284 | 19.584 % |
659.26/659.24	c |    110533 |  195928   924837  2512420 | 2147483647   104782    284 | 19.597 % |
664.26/664.28	c |    111188 |  195927   924837  2512420 | 2147483647   105435    284 | 21.648 % |
671.36/671.34	c |    111910 |  195926   924837  2512420 | 2147483647   106157    286 | 21.648 % |
679.16/679.18	c |    112703 |  190767   903759  2460246 | 2147483647   106754    286 | 21.699 % |
684.45/684.49	c |    113578 |  190765   903759  2460246 | 2147483647   107627    285 | 21.700 % |
693.75/693.80	c |    114539 |  190765   903759  2460246 | 2147483647   108588    287 | 21.700 % |
703.86/703.84	c |    115592 |  190765   903759  2460246 | 2147483647   109641    290 | 21.700 % |
713.96/713.95	c |    116750 |  190681   903155  2458647 | 2147483647   110772    294 | 21.709 % |
726.26/726.23	c |    118023 |  190676   903155  2458647 | 2147483647   112039    294 | 21.719 % |
727.06/727.06	c |    118126 |  190676   903155  2458647 | 2147483647   112142    294 | 21.719 % |
727.76/727.77	c |    118237 |  190676   903155  2458647 | 2147483647   112253    294 | 21.719 % |
729.06/729.05	c |    118358 |  190676   903155  2458647 | 2147483647   112374    294 | 21.719 % |
731.06/731.07	c |    118498 |  190635   902879  2457971 | 2147483647   112487    294 | 21.741 % |
732.76/732.75	c |    118645 |  190635   902879  2457971 | 2147483647   112634    294 | 21.741 % |
733.76/733.81	c |    118805 |  190635   902879  2457971 | 2147483647   112794    294 | 21.741 % |
734.86/734.89	c |    118986 |  190635   902879  2457971 | 2147483647   112975    294 | 21.741 % |
737.16/737.14	c |    119179 |  190635   902879  2457971 | 2147483647   113168    295 | 21.741 % |
739.46/739.45	c |    119394 |  190635   902879  2457971 | 2147483647   113383    295 | 21.741 % |
741.96/742.00	c |    119627 |  190635   902879  2457971 | 2147483647   113615    295 | 21.751 % |
743.16/743.18	c |    119883 |  190635   902879  2457971 | 2147483647   113871    295 | 21.751 % |
746.36/746.41	c |    120165 |  190634   902879  2457971 | 2147483647   114152    294 | 21.756 % |
750.06/750.05	c |    120474 |  190634   902879  2457971 | 2147483647   114461    295 | 21.756 % |
753.56/753.56	c |    120813 |  190634   902879  2457971 | 2147483647   114800    295 | 21.756 % |
757.46/757.48	c |    121187 |  190634   902879  2457971 | 2147483647   115174    295 | 21.756 % |
762.36/762.39	c |    121597 |  190548   902389  2456714 | 2147483647   115535    296 | 21.782 % |
765.56/765.56	c |    122046 |  190548   902389  2456714 | 2147483647   115984    296 | 21.782 % |
769.66/769.64	c |    122541 |  190543   902389  2456714 | 2147483647   116477    296 | 21.788 % |
773.16/773.20	c |    123084 |  190543   902389  2456714 | 2147483647   117019    296 | 21.788 % |
777.46/777.48	c |    123680 |  190539   902389  2456714 | 2147483647   117611    296 | 21.821 % |
784.47/784.43	c |    124335 |  189555   897291  2445193 | 2147483647   118009    296 | 22.165 % |
791.46/791.49	c |    125055 |  189540   897291  2445193 | 2147483647   118726    297 | 22.572 % |
798.06/798.03	c |    125850 |  189538   897291  2445193 | 2147483647   119519    297 | 22.586 % |
804.56/804.58	c |    126722 |  189528   897291  2445193 | 2147483647   120390    297 | 22.606 % |
815.06/815.09	c |    127680 |  188478   891496  2430772 | 2147483647   121262    297 | 22.615 % |
824.77/824.77	c |    128734 |  188473   891496  2430772 | 2147483647   122311    299 | 22.658 % |
833.77/833.80	c |    129898 |  188472   891496  2430772 | 2147483647   123472    299 | 22.670 % |
845.66/845.64	c |    131172 |  188472   891496  2430772 | 2147483647   124746    299 | 22.670 % |
862.56/862.58	c |    132573 |  188323   890702  2428786 | 2147483647   126110    299 | 22.755 % |
863.26/863.29	c |    132675 |  188323   890702  2428786 | 2147483647   126212    299 | 22.755 % |
864.56/864.51	c |    132785 |  188323   890702  2428786 | 2147483647   126322    299 | 22.755 % |
864.96/864.98	c |    132907 |  188323   890702  2428786 | 2147483647   126444    299 | 22.755 % |
865.66/865.66	c |    133040 |  188323   890702  2428786 | 2147483647   126577    299 | 22.755 % |
867.16/867.13	c |    133186 |  188323   890702  2428786 | 2147483647   126723    299 | 22.755 % |
869.16/869.11	c |    133347 |  188323   890702  2428786 | 2147483647   126884    299 | 22.755 % |
870.36/870.39	c |    133528 |  188323   890702  2428786 | 2147483647   127065    299 | 22.755 % |
872.26/872.29	c |    133722 |  188321   890702  2428786 | 2147483647   127257    299 | 22.756 % |
873.46/873.44	c |    133934 |  188320   890702  2428786 | 2147483647   127468    300 | 22.757 % |
875.46/875.51	c |    134169 |  188114   889650  2426504 | 2147483647   127658    300 | 22.757 % |
878.56/878.58	c |    134431 |  188111   889650  2426504 | 2147483647   127917    300 | 22.762 % |
880.76/880.72	c |    134712 |  188109   889650  2426504 | 2147483647   128197    300 | 22.823 % |
883.96/883.91	c |    135025 |  188109   889650  2426504 | 2147483647   128509    300 | 22.823 % |
886.86/886.85	c |    135365 |  188109   889650  2426504 | 2147483647   128849    300 | 22.823 % |
891.66/891.67	c |    135739 |  188109   889650  2426504 | 2147483647   129221    300 | 22.828 % |
895.36/895.35	c |    136148 |  188108   889650  2426504 | 2147483647   129629    299 | 22.829 % |
899.26/899.24	c |    136597 |  188108   889650  2426504 | 2147483647   130078    299 | 22.829 % |
903.76/903.76	c |    137090 |  188108   889650  2426504 | 2147483647   130571    300 | 22.829 % |
907.36/907.38	c |    137633 |  187938   888593  2423858 | 2147483647   131072    300 | 22.829 % |
911.96/911.96	c |    138229 |  187938   888593  2423858 | 2147483647   131668    301 | 22.829 % |
918.76/918.73	c |    138886 |  187938   888593  2423858 | 2147483647   132324    301 | 22.829 % |
927.56/927.58	c |    139608 |  187936   888593  2423858 | 2147483647   133044    301 | 22.830 % |
935.77/935.77	c |    140404 |  187936   888593  2423858 | 2147483647   133840    300 | 22.830 % |
945.97/945.95	c |    141275 |  187935   888582  2423836 | 2147483647   134702    301 | 22.830 % |
957.17/957.11	c |    142233 |  187935   888582  2423836 | 2147483647   135660    302 | 22.830 % |
968.67/968.64	c |    143287 |  187933   888582  2423836 | 2147483647   136711    302 | 22.860 % |
982.47/982.47	c |    144447 |  187861   888108  2422613 | 2147483647   137801    303 | 22.860 % |
996.17/996.18	c |    145720 |  187859   888108  2422613 | 2147483647   139072    303 | 22.869 % |
1007.17/1007.19	c |    147124 |  187839   887971  2422268 | 2147483647   140472    303 | 22.869 % |
1025.27/1025.28	c |    148664 |  187839   887971  2422268 | 2147483647   142011    304 | 22.873 % |
1026.77/1026.76	c |    148765 |  187837   887971  2422268 | 2147483647   142111    304 | 22.884 % |
1028.07/1028.11	c |    148876 |  187837   887971  2422268 | 2147483647   142222    304 | 22.884 % |
1029.07/1029.07	c |    148999 |  187837   887971  2422268 | 2147483647   142345    304 | 22.884 % |
1030.47/1030.46	c |    149134 |  187837   887971  2422268 | 2147483647   142480    304 | 22.884 % |
1032.47/1032.51	c |    149280 |  187837   887971  2422268 | 2147483647   142626    304 | 22.884 % |
1035.28/1035.28	c |    149440 |  187837   887971  2422268 | 2147483647   142786    304 | 22.884 % |
1037.77/1037.71	c |    149625 |  187837   887971  2422268 | 2147483647   142971    304 | 22.884 % |
1039.47/1039.47	c |    149820 |  187803   887769  2421752 | 2147483647   143159    304 | 22.884 % |
1041.96/1041.90	c |    150032 |  187803   887769  2421752 | 2147483647   143371    304 | 22.884 % |
1043.76/1043.76	c |    150269 |  187803   887769  2421752 | 2147483647   143608    304 | 22.884 % |
1045.77/1045.80	c |    150525 |  187803   887769  2421752 | 2147483647   143864    304 | 22.884 % |
1047.47/1047.44	c |    150811 |  187803   887769  2421752 | 2147483647   144150    304 | 22.884 % |
1050.37/1050.31	c |    151122 |  187803   887769  2421752 | 2147483647   144461    304 | 22.884 % |
1054.17/1054.11	c |    151462 |  187803   887769  2421752 | 2147483647   144801    305 | 22.884 % |
1057.17/1057.13	c |    151834 |  187803   887769  2421752 | 2147483647   145173    305 | 22.884 % |
1060.67/1060.67	c |    152246 |  187803   887769  2421752 | 2147483647   145585    305 | 22.884 % |
1064.17/1064.13	c |    152697 |  187803   887769  2421752 | 2147483647   146036    306 | 22.884 % |
1068.77/1068.77	c |    153190 |  187802   887769  2421752 | 2147483647   146528    306 | 22.890 % |
1075.57/1075.53	c |    153732 |  187802   887769  2421752 | 2147483647   147070    306 | 22.890 % |
1082.17/1082.11	c |    154328 |  187789   887677  2421505 | 2147483647   147664    305 | 22.909 % |
1089.97/1089.91	c |    154986 |  187785   887677  2421505 | 2147483647   148318    305 | 22.910 % |
1095.57/1095.57	c |    155706 |  187784   887677  2421505 | 2147483647   149037    305 | 22.911 % |
1104.37/1104.38	c |    156498 |  187782   887677  2421505 | 2147483647   149828    306 | 22.922 % |
1110.97/1110.97	c |    157369 |  187780   887677  2421505 | 2147483647   150698    308 | 22.925 % |
1120.27/1120.28	c |    158331 |  187701   887237  2420410 | 2147483647   151634    308 | 22.926 % |
1132.27/1132.27	c |    159385 |  187696   887237  2420410 | 2147483647   152684    308 | 22.938 % |
1142.97/1142.99	c |    160545 |  187695   887237  2420410 | 2147483647   153842    306 | 22.940 % |
1152.98/1152.92	c |    161818 |  187694   887237  2420410 | 2147483647   155115    307 | 22.940 % |
1167.08/1167.07	c |    163219 |  187667   887071  2419990 | 2147483647   156451    307 | 22.940 % |
1184.28/1184.27	c |    164760 |  187667   887071  2419990 | 2147483647   157992    308 | 22.940 % |

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-1821526-1242534173/watcher-1821526-1242534173 -o /tmp/evaluation-result-1821526-1242534173/solver-1821526-1242534173 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821526-1242534173.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: 0.92 1.00 0.99 3/93 17719
/proc/meminfo: memFree=965208/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0

[startup+0.102252 s]
/proc/loadavg: 0.92 1.00 0.99 3/93 17719
/proc/meminfo: memFree=965208/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.202248 s]
/proc/loadavg: 0.92 1.00 0.99 3/93 17719
/proc/meminfo: memFree=965208/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.302242 s]
/proc/loadavg: 0.92 1.00 0.99 3/93 17719
/proc/meminfo: memFree=965208/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+0.702223 s]
/proc/loadavg: 0.92 1.00 0.99 3/93 17719
/proc/meminfo: memFree=965208/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412

[startup+1.50218 s]
/proc/loadavg: 0.92 1.00 0.99 3/93 17722
/proc/meminfo: memFree=872688/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
[pid=17721] ppid=17717 vsize=162920 CPUtime=1.5
/proc/17721/stat : 17721 (SatELite_releas) R 17717 17717 9090 0 -1 4202496 36864 0 0 0 122 28 0 0 25 0 1 0 1017917952 166830080 36633 4294967295 134512640 135223648 3213646848 3213645688 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17721/statm: 40730 36635 47 174 0 40555 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 165332

[startup+3.10211 s]
/proc/loadavg: 0.93 1.00 0.99 5/94 17742
/proc/meminfo: memFree=806596/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
[pid=17721] ppid=17717 vsize=197784 CPUtime=3.1
/proc/17721/stat : 17721 (SatELite_releas) R 17717 17717 9090 0 -1 4202496 48678 0 0 0 275 35 0 0 25 0 1 0 1017917952 202530816 44340 4294967295 134512640 135223648 3213646848 3213644864 134586754 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17721/statm: 49446 44340 73 174 0 49271 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 200196

[startup+6.30196 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 17905
/proc/meminfo: memFree=769524/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2412 CPUtime=0.01
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 367 646 0 0 0 0 1 0 25 0 1 0 1017917952 2469888 276 4294967295 134512640 135169312 3220142656 3220141192 3085790958 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17717/statm: 603 276 235 161 0 42 0
[pid=17721] ppid=17717 vsize=233080 CPUtime=6.3
/proc/17721/stat : 17721 (SatELite_releas) R 17717 17717 9090 0 -1 4202496 56051 0 0 0 590 40 0 0 25 0 1 0 1017917952 238673920 50829 4294967295 134512640 135223648 3213646848 3213644944 134585468 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17721/statm: 58270 50829 73 174 0 58095 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 235492

[startup+12.7117 s]
/proc/loadavg: 0.94 1.00 0.99 2/93 17906
/proc/meminfo: memFree=869496/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=71668 CPUtime=1.52
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 16318 0 0 0 138 14 0 0 25 0 1 0 1017919071 73388032 16203 4294967295 134512640 135215339 3214214384 3214212656 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 17917 16203 73 172 0 17744 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 74084

[startup+25.511 s]
/proc/loadavg: 0.95 1.00 0.99 4/93 17906
/proc/meminfo: memFree=864912/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=73000 CPUtime=14.32
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 16689 0 0 0 1417 15 0 0 25 0 1 0 1017919071 74752000 16574 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 18250 16574 73 172 0 18077 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 75416

[startup+51.1098 s]
/proc/loadavg: 0.96 1.00 0.99 3/93 17910
/proc/meminfo: memFree=861944/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=76332 CPUtime=39.92
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 17435 0 0 0 3977 15 0 0 25 0 1 0 1017919071 78163968 17320 4294967295 134512640 135215339 3214214384 3214212672 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 19083 17320 73 172 0 18910 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 78748

[startup+102.307 s]
/proc/loadavg: 0.98 1.00 0.99 2/93 18096
/proc/meminfo: memFree=852040/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=85752 CPUtime=91.12
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 19793 0 0 0 9096 16 0 0 25 0 1 0 1017919071 87810048 19678 4294967295 134512640 135215339 3214214384 3214212672 134529051 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 21438 19678 73 172 0 21265 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 88168

[startup+162.315 s]
/proc/loadavg: 1.14 1.04 1.01 3/93 18399
/proc/meminfo: memFree=786792/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=98872 CPUtime=151.13
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 23082 0 0 0 15090 23 0 0 25 0 1 0 1017919071 101244928 22967 4294967295 134512640 135215339 3214214384 3214212384 134532976 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 24718 22967 73 172 0 24545 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 101288

[startup+222.322 s]
/proc/loadavg: 1.05 1.03 1.00 2/93 18588
/proc/meminfo: memFree=771876/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=112168 CPUtime=211.14
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 26394 0 0 0 21088 26 0 0 25 0 1 0 1017919071 114860032 26279 4294967295 134512640 135215339 3214214384 3214212384 134532906 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 28042 26279 73 172 0 27869 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 114584

[startup+282.319 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 18779
/proc/meminfo: memFree=759460/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=124588 CPUtime=271.14
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 29497 0 0 0 27087 27 0 0 25 0 1 0 1017919071 127578112 29382 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 31147 29382 73 172 0 30974 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 127004

[startup+342.306 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 18966
/proc/meminfo: memFree=746836/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=137184 CPUtime=331.13
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 32629 0 0 0 33084 29 0 0 25 0 1 0 1017919071 140476416 32514 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 34296 32514 73 172 0 34123 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 139600

[startup+402.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 19155
/proc/meminfo: memFree=733824/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=150136 CPUtime=391.14
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 35890 0 0 0 39080 34 0 0 25 0 1 0 1017919071 153739264 35775 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 37534 35775 73 172 0 37361 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 152552

[startup+462.31 s]

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

/proc/17906/statm: 45016 43230 73 172 0 44843 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 182480

[startup+642.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19907
/proc/meminfo: memFree=693268/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=190644 CPUtime=631.16
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 45998 0 0 0 63075 41 0 0 25 0 1 0 1017919071 195219456 45883 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 47661 45883 73 172 0 47488 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 193060

[startup+702.319 s]
/proc/loadavg: 1.07 1.02 1.00 2/93 20099
/proc/meminfo: memFree=681860/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=202420 CPUtime=691.16
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 48931 0 0 0 69073 43 0 0 25 0 1 0 1017919071 207278080 48816 4294967295 134512640 135215339 3214214384 3214212384 134532628 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 50605 48816 73 172 0 50432 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 204836

[startup+762.316 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 20287
/proc/meminfo: memFree=671948/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=212220 CPUtime=751.16
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 51383 0 0 0 75072 44 0 0 25 0 1 0 1017919071 217313280 51268 4294967295 134512640 135215339 3214214384 3214212672 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 53055 51268 73 172 0 52882 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 214636

[startup+822.323 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 20474
/proc/meminfo: memFree=662524/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=221600 CPUtime=811.17
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 53750 0 0 0 81071 46 0 0 25 0 1 0 1017919071 226918400 53635 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 55400 53635 73 172 0 55227 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 224016

[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20663
/proc/meminfo: memFree=653836/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=229808 CPUtime=871.16
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 55805 0 0 0 87068 48 0 0 25 0 1 0 1017919071 235323392 55690 4294967295 134512640 135215339 3214214384 3214212656 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 57452 55690 73 172 0 57279 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 232224

[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20850
/proc/meminfo: memFree=645528/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=237864 CPUtime=931.17
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 57834 0 0 0 93067 50 0 0 25 0 1 0 1017919071 243572736 57719 4294967295 134512640 135215339 3214214384 3214212672 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 59466 57719 73 172 0 59293 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 240280

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21038
/proc/meminfo: memFree=638460/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=245408 CPUtime=991.17
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 59640 0 0 0 99066 51 0 0 25 0 1 0 1017919071 251297792 59525 4294967295 134512640 135215339 3214214384 3214212672 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 61352 59525 73 172 0 61179 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 247824

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 21230
/proc/meminfo: memFree=629416/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=254556 CPUtime=1051.17
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 61949 0 0 0 105066 51 0 0 25 0 1 0 1017919071 260665344 61834 4294967295 134512640 135215339 3214214384 3214212448 134539788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 63639 61834 73 172 0 63466 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 256972

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 21417
/proc/meminfo: memFree=620364/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=263420 CPUtime=1111.17
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 64162 0 0 0 111066 51 0 0 25 0 1 0 1017919071 269742080 64047 4294967295 134512640 135215339 3214214384 3214212672 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 65855 64047 73 172 0 65682 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 265836

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21606
/proc/meminfo: memFree=613164/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=270696 CPUtime=1171.18
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 65969 0 0 0 117066 52 0 0 25 0 1 0 1017919071 277192704 65854 4294967295 134512640 135215339 3214214384 3214212384 134532952 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 67674 65854 73 172 0 67501 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 273112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21608
/proc/meminfo: memFree=610800/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=272848 CPUtime=1188.88
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 66528 0 0 0 118836 52 0 0 25 0 1 0 1017919071 279396352 66413 4294967295 134512640 135215339 3214214384 3214212600 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 68212 66413 73 172 0 68039 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 275264

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

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

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21608
/proc/meminfo: memFree=610800/2074464 swapFree=1953004/1959888
[pid=17717] ppid=17715 vsize=2416 CPUtime=11.2
/proc/17717/stat : 17717 (SatELiteGTI) S 17715 17717 9090 0 -1 4194304 386 63444 0 0 0 0 1066 54 20 0 1 0 1017917952 2473984 277 4294967295 134512640 135169312 3220142656 3220138872 3085790958 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17717/statm: 604 277 235 161 0 43 0
[pid=17906] ppid=17717 vsize=272848 CPUtime=1188.88
/proc/17906/stat : 17906 (minisat_static) R 17717 17717 9090 0 -1 4202496 66528 0 0 0 118836 52 0 0 25 0 1 0 1017919071 279396352 66413 4294967295 134512640 135215339 3214214384 3214212600 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17906/statm: 68212 66413 73 172 0 68039 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 275264

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17717 and gives
#  childrusage.ru_utime.tv_sec=10
#  childrusage.ru_utime.tv_usec=660000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=540000
# CPU time returned by wait4() is 11.2
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.04
CPU time (s): 1200.08
CPU user time (s): 1199.02
CPU system time (s): 1.06
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 275264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.66
system time used= 0.54
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63830
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= 14
involuntary context switches= 25

runsolver used 0.01 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-17 06:22:53
IDJOB=1821526
IDBENCH=70996
IDSOLVER=657
FILE ID=tipi19/1821526-1242534173
PBS_JOBID=
Free space on /tmp= 9008 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821526-1242534173/watcher-1821526-1242534173 -o /tmp/evaluation-result-1821526-1242534173/solver-1821526-1242534173 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821526-1242534173.cnf

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

MD5SUM BENCH= 28e85fc2a4586943a0ffdffa15206b58
RANDOM SEED= 101514481

Linux tipi19 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.426
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.39

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        966008 kB
Buffers:         34120 kB
Cached:         979448 kB
SwapCached:       2992 kB
Active:         245344 kB
Inactive:       777736 kB
HighTotal:     1178688 kB
HighFree:       276900 kB
LowTotal:       895776 kB
LowFree:        689108 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:           31824 kB
Writeback:           0 kB
AnonPages:        8904 kB
Mapped:           3208 kB
Slab:            76896 kB
PageTables:        460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87776 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 8975 MiB
End job on tipi19 at 2009-05-17 06:42:58