Trace number 1820963

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.04 1199.92

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs032.cnf
MD5SUM431823fbe355abc605baf058be5925a0
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 variables18792
Number of clauses56183
Sum of the clauses size131091
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 237454
Number of clauses of size 318727
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   56181   131089 |   16854       0        0     nan |  0.000 % |
0.32/0.32	c |         0 |   42760   118489 |      --       0       --      -- |     --   | -13419/-12595
0.32/0.32	c ==============================================================================
0.32/0.32	c Result  :   #vars: 10688   #clauses: 42760   #literals: 118489
0.32/0.32	c CPU time:   0.3 s
0.32/0.32	c ==============================================================================
0.32/0.36	c This is MiniSat 2.0 beta
0.32/0.36	c WARNING: for repeatability, setting FPU to use double precision
0.32/0.36	c ============================[ Problem Statistics ]=============================
0.32/0.36	c |                                                                             |
0.32/0.36	c |  Number of variables:  10688                                                |
0.32/0.36	c |  Number of clauses:    42760                                                |
0.32/0.39	c |  Parsing time:         0.02         s                                       |
0.32/0.39	c ============================[ Search Statistics ]==============================
0.32/0.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.32/0.39	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.32/0.39	c ===============================================================================
0.32/0.39	c |         0 |   10688    42760   118489 |    14253        0    nan |  0.000 % |
0.36/0.44	c |       512 |   10688    42760   118489 |    14253      512     16 |  0.000 % |
0.36/0.48	c |      1026 |   10688    42760   118489 |    14253     1026     33 |  0.000 % |
0.36/0.54	c |      1538 |   10688    42760   118489 |    14253     1538     34 |  0.000 % |
0.36/0.68	c |      2562 |   10688    42760   118489 |    14253     2562     52 |  0.000 % |
0.36/0.75	c |      3074 |   10688    42760   118489 |    14253     3074     52 |  0.000 % |
0.36/0.83	c |      3587 |   10688    42760   118489 |    14253     3587     55 |  0.000 % |
0.36/1.09	c |      4614 |   10688    42760   118489 |    14253     4614     67 |  0.000 % |
2.92/3.00	c |      6662 |   10688    42760   118489 |    14253     6662     97 |  0.000 % |
3.02/3.08	c |      7174 |   10688    42760   118489 |    14253     7174     96 |  0.000 % |
3.12/3.18	c |      7687 |   10688    42760   118489 |    14253     7687     93 |  0.000 % |
3.42/3.46	c |      8711 |   10688    42760   118489 |    14253     8711     90 |  0.000 % |
3.82/3.85	c |      9223 |   10688    42760   118489 |    14253     9223     93 |  0.000 % |
3.92/3.92	c |      9736 |   10688    42760   118489 |    14253     9736     90 |  0.000 % |
4.52/4.55	c |     10762 |   10688    42760   118489 | 2147483647    10762     94 |  0.000 % |
4.92/5.01	c |     12811 |   10688    42760   118489 | 2147483647    12811     94 |  0.000 % |
5.92/5.96	c |     16909 |   10688    42760   118489 | 2147483647    16909     85 |  0.000 % |
6.32/6.36	c |     17421 |   10688    42760   118489 | 2147483647    17421     87 |  0.000 % |
6.42/6.46	c |     17935 |   10688    42760   118489 | 2147483647    17935     86 |  0.000 % |
6.72/6.78	c |     18960 |   10688    42760   118489 | 2147483647    18960     85 |  0.000 % |
7.32/7.32	c |     19472 |   10688    42760   118489 | 2147483647    19472     86 |  0.000 % |
7.62/7.63	c |     19985 |   10688    42760   118489 | 2147483647    19985     87 |  0.000 % |
8.82/8.91	c |     21010 |   10688    42760   118489 | 2147483647    21010     94 |  0.000 % |
9.62/9.62	c |     23061 |   10688    42760   118489 | 2147483647    23061     92 |  0.000 % |
9.82/9.83	c |     23573 |   10688    42760   118489 | 2147483647    23573     92 |  0.001 % |
9.82/9.90	c |     24087 |   10688    42760   118489 | 2147483647    24087     91 |  0.000 % |
10.12/10.13	c |     25111 |   10688    42760   118489 | 2147483647    25111     92 |  0.000 % |
10.32/10.38	c |     25625 |   10688    42760   118489 | 2147483647    25625     92 |  0.000 % |
10.42/10.48	c |     26137 |   10688    42760   118489 | 2147483647    26137     91 |  0.000 % |
11.42/11.45	c |     27162 |   10688    42760   118489 | 2147483647    27162     93 |  0.000 % |
12.02/12.09	c |     29211 |   10688    42760   118489 | 2147483647    29211     91 |  0.000 % |
16.32/16.40	c |     33307 |   10688    42760   118489 | 2147483647    33307     97 |  0.000 % |
27.42/27.49	c |     41499 |   10688    42760   118489 | 2147483647    41499    108 |  0.000 % |
28.02/28.11	c |     42011 |   10688    42760   118489 | 2147483647    42011    108 |  0.000 % |
28.22/28.25	c |     42524 |   10688    42760   118489 | 2147483647    42524    108 |  0.000 % |
28.62/28.65	c |     43548 |   10688    42760   118489 | 2147483647    43548    107 |  0.000 % |
28.82/28.84	c |     44060 |   10688    42760   118489 | 2147483647    44060    107 |  0.000 % |
28.92/28.99	c |     44573 |   10688    42760   118489 | 2147483647    44573    106 |  0.000 % |
29.42/29.49	c |     45597 |   10688    42760   118489 | 2147483647    45597    107 |  0.000 % |
30.42/30.46	c |     47645 |   10688    42760   118489 | 2147483647    47645    105 |  0.000 % |
30.72/30.81	c |     48157 |   10688    42760   118489 | 2147483647    48157    105 |  0.000 % |
31.02/31.08	c |     48670 |   10688    42760   118489 | 2147483647    48670    104 |  0.000 % |
31.82/31.88	c |     49695 |   10688    42760   118489 | 2147483647    49695    104 |  0.000 % |
32.52/32.54	c |     50207 |   10688    42760   118489 | 2147483647    50207    104 |  0.000 % |
32.62/32.69	c |     50724 |   10688    42760   118489 | 2147483647    50724    103 |  0.000 % |
34.42/34.43	c |     51748 |   10688    42760   118489 | 2147483647    51748    104 |  0.000 % |
35.32/35.32	c |     53796 |   10688    42760   118489 | 2147483647    53796    102 |  0.000 % |
42.12/42.19	c |     57894 |   10688    42760   118489 | 2147483647    57894    107 |  0.000 % |
42.32/42.38	c |     58407 |   10688    42760   118489 | 2147483647    58407    106 |  0.000 % |
43.03/43.07	c |     58919 |   10688    42760   118489 | 2147483647    58919    106 |  0.000 % |
43.32/43.37	c |     59945 |   10688    42760   118489 | 2147483647    59945    105 |  0.000 % |
43.72/43.74	c |     60457 |   10688    42760   118489 | 2147483647    60457    105 |  0.000 % |
44.02/44.02	c |     60970 |   10688    42760   118489 | 2147483647    60970    105 |  0.000 % |
44.82/44.90	c |     61995 |   10688    42760   118489 | 2147483647    61995    105 |  0.000 % |
47.02/47.05	c |     64044 |   10688    42760   118489 | 2147483647    64044    104 |  0.000 % |
47.22/47.29	c |     64558 |   10688    42760   118489 | 2147483647    64558    104 |  0.000 % |
47.62/47.62	c |     65070 |   10688    42760   118489 | 2147483647    65070    104 |  0.000 % |
48.22/48.28	c |     66094 |   10688    42760   118489 | 2147483647    66094    104 |  0.000 % |
48.42/48.49	c |     66607 |   10688    42760   118489 | 2147483647    66607    104 |  0.000 % |
48.72/48.71	c |     67120 |   10688    42760   118489 | 2147483647    67120    104 |  0.000 % |
49.72/49.77	c |     68144 |   10688    42760   118489 | 2147483647    68144    103 |  0.000 % |
52.72/52.78	c |     70193 |   10688    42760   118489 | 2147483647    70193    104 |  0.000 % |
55.02/55.07	c |     74291 |   10688    42760   118489 | 2147483647    74291    102 |  0.000 % |
68.92/68.94	c |     82484 |   10688    42760   118489 | 2147483647    82484    105 |  0.000 % |
80.52/80.56	c |     98871 |   10688    42760   118489 | 2147483647    98871     98 |  0.000 % |
81.82/81.85	c |     99383 |   10688    42760   118489 | 2147483647    99383     98 |  0.000 % |
82.42/82.45	c |     99895 |   10688    42760   118489 | 2147483647    99895     98 |  0.000 % |
83.62/83.68	c |    100919 |   10688    42760   118489 |   100000   100919     98 |  0.000 % |
83.92/84.00	c |    101431 |   10688    42760   118489 |   100000    82797     95 |  0.000 % |
84.72/84.75	c |    101944 |   10688    42760   118489 |   100000    83310     95 |  0.000 % |
84.82/84.81	c |    102968 |   10688    42760   118489 |   100000    84334     94 |  0.000 % |
86.32/86.33	c |    105018 |   10688    42760   118489 |   100000    86384     93 |  0.000 % |
86.72/86.73	c |    105531 |   10688    42760   118489 |   100000    86897     93 |  0.000 % |
87.12/87.15	c |    106044 |   10688    42760   118489 |   100000    87410     93 |  0.000 % |
87.72/87.75	c |    107069 |   10688    42760   118489 |   100000    88435     93 |  0.000 % |
88.02/88.06	c |    107584 |   10688    42760   118489 |   100000    88950     94 |  0.000 % |
88.22/88.27	c |    108096 |   10688    42760   118489 |   100000    89462     94 |  0.000 % |
88.72/88.73	c |    109121 |   10688    42760   118489 |   100000    90487     93 |  0.000 % |
90.22/90.26	c |    111171 |   10688    42760   118489 |    91366    92537     93 |  0.000 % |
97.02/97.03	c |    115268 |   10688    42760   118489 |    91366    82669     86 |  0.000 % |
97.22/97.28	c |    115781 |   10688    42760   118489 |    91366    83182     86 |  0.000 % |
98.02/98.04	c |    116297 |   10688    42760   118489 |    91366    83698     86 |  0.000 % |
98.42/98.50	c |    117324 |   10688    42760   118489 |    91366    84725     85 |  0.000 % |
99.32/99.35	c |    117836 |   10688    42760   118489 |    91366    85237     86 |  0.000 % |
99.62/99.64	c |    118348 |   10688    42760   118489 |    91366    85749     86 |  0.000 % |
101.72/101.73	c |    119374 |   10688    42760   118489 |    91366    86775     87 |  0.000 % |
103.22/103.24	c |    121422 |   10688    42760   118489 | 2147483647    88823     86 |  0.000 % |
103.72/103.77	c |    121934 |   10688    42760   118489 | 2147483647    89335     86 |  0.000 % |
104.42/104.50	c |    122447 |   10688    42760   118489 | 2147483647    89848     86 |  0.000 % |
105.42/105.42	c |    123471 |   10688    42760   118489 | 2147483647    90872     86 |  0.000 % |
105.62/105.66	c |    123983 |   10688    42760   118489 | 2147483647    91384     85 |  0.000 % |
106.32/106.40	c |    124496 |   10688    42760   118489 | 2147483647    91897     85 |  0.000 % |
106.92/106.93	c |    125520 |   10688    42760   118489 | 2147483647    92921     85 |  0.000 % |
108.82/108.81	c |    127568 |   10688    42760   118489 | 2147483647    94969     86 |  0.000 % |
110.32/110.36	c |    131664 |   10688    42760   118489 | 2147483647    99065     85 |  0.000 % |
121.52/121.52	c |    139856 |   10688    42760   118489 | 2147483647   107257     88 |  0.000 % |
121.92/121.99	c |    140369 |   10688    42760   118489 |   107404   107770     88 |  0.000 % |
122.72/122.77	c |    140881 |   10688    42760   118489 |   107404    96125     86 |  0.000 % |
123.72/123.72	c |    141905 |   10688    42760   118489 |   107404    97149     86 |  0.000 % |
124.02/124.05	c |    142418 |   10688    42760   118489 |   107404    97662     86 |  0.000 % |
124.52/124.51	c |    142930 |   10688    42760   118489 |   107404    98174     86 |  0.000 % |
125.22/125.21	c |    143954 |   10688    42760   118489 |   107404    99198     85 |  0.000 % |
127.42/127.43	c |    146003 |   10688    42760   118489 |   107404   101247     86 |  0.000 % |
127.73/127.77	c |    146517 |   10688    42760   118489 |   107404   101761     85 |  0.000 % |
127.92/127.99	c |    147030 |   10688    42760   118489 |   107404   102274     85 |  0.000 % |
129.12/129.15	c |    148054 |   10688    42760   118489 |   107404   103298     85 |  0.000 % |
129.32/129.34	c |    148567 |   10688    42760   118489 |   107404   103811     86 |  0.000 % |
129.72/129.76	c |    149080 |   10688    42760   118489 |   107404   104324     86 |  0.000 % |
130.22/130.29	c |    150106 |   10688    42760   118489 |   105244   105350     85 |  0.000 % |
131.32/131.35	c |    152155 |   10688    42760   118489 |   105244    92524     79 |  0.000 % |
140.42/140.49	c |    156251 |   10688    42760   118489 |   105244    96620     83 |  0.000 % |
140.82/140.81	c |    156763 |   10688    42760   118489 |   105244    97132     83 |  0.000 % |
141.02/141.07	c |    157276 |   10688    42760   118489 |   105244    97645     83 |  0.000 % |
141.52/141.51	c |    158301 |   10688    42760   118489 |   105244    98670     82 |  0.000 % |
142.22/142.24	c |    158817 |   10688    42760   118489 |   105244    99186     83 |  0.000 % |
142.52/142.58	c |    159329 |   10688    42760   118489 |   105244    99698     82 |  0.000 % |
144.12/144.12	c |    160355 |   10688    42760   118489 | 2147483647   100724     83 |  0.000 % |
146.32/146.32	c |    162404 |   10688    42760   118489 | 2147483647   102773     82 |  0.000 % |
147.42/147.41	c |    162916 |   10688    42760   118489 | 2147483647   103285     83 |  0.000 % |
147.53/147.58	c |    163428 |   10688    42760   118489 | 2147483647   103797     82 |  0.000 % |
148.42/148.48	c |    164455 |   10688    42760   118489 | 2147483647   104824     82 |  0.000 % |
148.92/148.95	c |    164967 |   10688    42760   118489 | 2147483647   105336     82 |  0.000 % |
149.12/149.13	c |    165480 |   10688    42760   118489 | 2147483647   105849     82 |  0.000 % |
150.83/150.88	c |    166504 |   10688    42760   118489 | 2147483647   106873     82 |  0.000 % |
151.73/151.80	c |    168552 |   10688    42760   118489 | 2147483647   108921     82 |  0.000 % |
153.93/153.99	c |    172649 |   10688    42760   118489 |   110369   113018     81 |  0.000 % |
156.43/156.51	c |    180842 |   10688    42760   118489 | 2147483647   105415     73 |  0.000 % |
171.03/171.07	c |    197226 |   10688    42760   118489 |   114573    91589     77 |  0.000 % |
200.23/200.28	c |    229994 |   10688    42760   118489 |    83551    81142     63 |  0.000 % |
201.13/201.19	c |    230506 |   10688    42760   118489 |    81148    81654     63 |  0.000 % |
201.33/201.36	c |    231019 |   10688    42760   118489 |    81148    73318     63 |  0.000 % |
201.53/201.59	c |    232044 |   10688    42760   118489 |    81148    74343     63 |  0.000 % |
202.13/202.18	c |    232556 |   10688    42760   118489 |    81148    74855     64 |  0.000 % |
202.33/202.37	c |    233071 |   10688    42760   118489 |    81148    75370     64 |  0.000 % |
203.33/203.37	c |    234096 |   10688    42760   118489 |    81148    76395     63 |  0.000 % |
204.43/204.43	c |    236144 |   10688    42760   118489 |    81148    78443     63 |  0.000 % |
204.53/204.59	c |    236657 |   10688    42760   118489 |    81148    78956     63 |  0.000 % |
205.03/205.08	c |    237169 |   10688    42760   118489 |    81148    79468     63 |  0.000 % |
205.63/205.64	c |    238193 |   10688    42760   118489 |    81148    80492     63 |  0.000 % |
205.84/205.85	c |    238706 |   10688    42760   118489 |    81148    81005     63 |  0.000 % |
206.83/206.86	c |    239218 |   10688    42760   118489 |    81148    81517     63 |  0.000 % |
207.93/208.01	c |    240243 |   10688    42760   118489 | 2147483647    73685     67 |  0.000 % |
209.33/209.40	c |    242291 |   10688    42760   118489 | 2147483647    75733     66 |  0.000 % |
210.43/210.47	c |    246387 |   10688    42760   118489 | 2147483647    79829     64 |  0.000 % |
210.63/210.66	c |    246899 |   10688    42760   118489 | 2147483647    80341     64 |  0.000 % |
211.03/211.03	c |    247411 |   10688    42760   118489 | 2147483647    80853     64 |  0.000 % |
211.73/211.75	c |    248435 |   10688    42760   118489 | 2147483647    81877     64 |  0.000 % |
212.13/212.14	c |    248947 |   10688    42760   118489 | 2147483647    82389     64 |  0.000 % |
212.73/212.80	c |    249463 |   10688    42760   118489 | 2147483647    82905     64 |  0.000 % |
214.53/214.58	c |    250487 |   10688    42760   118489 | 2147483647    83929     65 |  0.000 % |
217.23/217.28	c |    252535 |   10688    42760   118489 | 2147483647    85977     66 |  0.000 % |
217.83/217.85	c |    253048 |   10688    42760   118489 | 2147483647    86490     67 |  0.000 % |
218.13/218.11	c |    253561 |   10688    42760   118489 | 2147483647    87003     66 |  0.000 % |
219.13/219.17	c |    254585 |   10688    42760   118489 | 2147483647    88027     67 |  0.000 % |
219.53/219.51	c |    255097 |   10688    42760   118489 | 2147483647    88539     67 |  0.000 % |
220.03/220.05	c |    255609 |   10688    42760   118489 | 2147483647    89051     67 |  0.000 % |
221.24/221.30	c |    256634 |   10688    42760   118489 | 2147483647    90076     68 |  0.000 % |
222.93/222.94	c |    258683 |   10688    42760   118489 | 2147483647    92125     68 |  0.000 % |
232.73/232.75	c |    262779 |   10688    42760   118489 |    93442    96221     71 |  0.000 % |
240.04/240.08	c |    270971 |   10688    42760   118489 |    93193    94163     67 |  0.000 % |
241.14/241.18	c |    271485 |   10688    42760   118489 |    93193    81353     61 |  0.000 % |
241.64/241.63	c |    271997 |   10688    42760   118489 |    93193    81865     61 |  0.000 % |
242.74/242.79	c |    273022 |   10688    42760   118489 |    93193    82890     62 |  0.000 % |
242.94/242.96	c |    273535 |   10688    42760   118489 |    93193    83403     61 |  0.000 % |
243.64/243.64	c |    274048 |   10688    42760   118489 |    93193    83916     62 |  0.000 % |
244.04/244.02	c |    275072 |   10688    42760   118489 |    93193    84940     62 |  0.000 % |
246.04/246.06	c |    277120 |   10688    42760   118489 |    93193    86988     64 |  0.000 % |
246.24/246.27	c |    277633 |   10688    42760   118489 |    93193    87501     64 |  0.000 % |
246.54/246.54	c |    278145 |   10688    42760   118489 |    93193    88013     64 |  0.000 % |
247.34/247.39	c |    279170 |   10688    42760   118489 |    93193    89038     64 |  0.000 % |
248.04/248.09	c |    279683 |   10688    42760   118489 |    93193    89551     64 |  0.000 % |
248.54/248.53	c |    280196 |   10688    42760   118489 |    89869    90064     64 |  0.000 % |
250.54/250.52	c |    281221 |   10688    42760   118489 |    89869    80028     65 |  0.000 % |
252.04/252.09	c |    283270 |   10688    42760   118489 |    89869    82077     65 |  0.000 % |
261.94/261.92	c |    287366 |   10688    42760   118489 |    89869    86173     68 |  0.000 % |
262.14/262.21	c |    287878 |   10688    42760   118489 |    89869    86685     68 |  0.000 % |
262.74/262.75	c |    288390 |   10688    42760   118489 |    89869    87197     68 |  0.000 % |
263.64/263.61	c |    289416 |   10688    42760   118489 |    89869    88223     69 |  0.000 % |
263.94/263.96	c |    289929 |   10688    42760   118489 |    89869    88736     69 |  0.000 % |
264.44/264.41	c |    290442 |   10688    42760   118489 | 2147483647    89249     69 |  0.000 % |
265.24/265.29	c |    291467 |   10688    42760   118489 | 2147483647    90274     69 |  0.000 % |
268.24/268.27	c |    293515 |   10688    42760   118489 | 2147483647    92322     70 |  0.000 % |
268.64/268.65	c |    294027 |   10688    42760   118489 | 2147483647    92834     70 |  0.000 % |
268.94/268.94	c |    294541 |   10688    42760   118489 | 2147483647    93348     70 |  0.000 % |
269.34/269.35	c |    295565 |   10688    42760   118489 | 2147483647    94372     70 |  0.000 % |
269.54/269.52	c |    296077 |   10688    42760   118489 | 2147483647    94884     70 |  0.000 % |
269.64/269.62	c |    296589 |   10688    42760   118489 | 2147483647    95396     70 |  0.000 % |
270.74/270.73	c |    297614 |   10688    42760   118489 | 2147483647    96421     70 |  0.000 % |
271.34/271.35	c |    299662 |   10688    42760   118489 | 2147483647    98469     71 |  0.000 % |
277.14/277.17	c |    303759 |   10688    42760   118489 | 2147483647   102566     73 |  0.000 % |
298.04/298.10	c |    311951 |   10688    42760   118489 |   108807   110758     80 |  0.000 % |
323.65/323.68	c |    328338 |   10688    42760   118489 |   102025    97644     93 |  0.000 % |
324.15/324.14	c |    328852 |   10688    42760   118489 |   102025    98158     93 |  0.000 % |
325.15/325.17	c |    329364 |   10688    42760   118489 |   102025    98670     93 |  0.000 % |
326.45/326.50	c |    330388 |   10688    42760   118489 |    99306    99694     93 |  0.000 % |
328.15/328.16	c |    330900 |   10688    42760   118489 |    99306    88477     92 |  0.000 % |
328.45/328.42	c |    331413 |   10688    42760   118489 |    99306    88990     92 |  0.000 % |
330.05/330.03	c |    332439 |   10688    42760   118489 |    99306    90016     92 |  0.000 % |
331.15/331.12	c |    334490 |   10688    42760   118489 |    99306    92067     92 |  0.000 % |
331.85/331.82	c |    335002 |   10688    42760   118489 |    99306    92579     92 |  0.000 % |
332.45/332.44	c |    335514 |   10688    42760   118489 |    99306    93091     92 |  0.000 % |
332.95/333.01	c |    336539 |   10688    42760   118489 |    99306    94116     92 |  0.000 % |
333.35/333.34	c |    337051 |   10688    42760   118489 |    99306    94628     91 |  0.000 % |
333.95/333.92	c |    337564 |   10688    42760   118489 |    99306    95141     91 |  0.000 % |
334.85/334.82	c |    338589 |   10688    42760   118489 |    99306    96166     92 |  0.000 % |
336.25/336.31	c |    340637 |   10688    42760   118489 |    97580    98214     92 |  0.000 % |
345.05/345.10	c |    344735 |   10688    42760   118489 |    97580    91298     95 |  0.000 % |
345.45/345.47	c |    345247 |   10688    42760   118489 |    97580    91810     95 |  0.000 % |
345.75/345.74	c |    345760 |   10688    42760   118489 |    97580    92323     94 |  0.000 % |
348.55/348.59	c |    346785 |   10688    42760   118489 |    97580    93348     95 |  0.000 % |
349.45/349.41	c |    347298 |   10688    42760   118489 |    97580    93861     95 |  0.000 % |
349.75/349.75	c |    347810 |   10688    42760   118489 |    97580    94373     94 |  0.000 % |
351.25/351.28	c |    348835 |   10688    42760   118489 |    97580    95398     94 |  0.000 % |
352.65/352.66	c |    350883 |   10688    42760   118489 |    96564    97446     94 |  0.000 % |
353.95/353.91	c |    351396 |   10688    42760   118489 |    96564    87047     93 |  0.000 % |
354.15/354.13	c |    351908 |   10688    42760   118489 |    96564    87559     93 |  0.000 % |
358.45/358.43	c |    352933 |   10688    42760   118489 |    96564    88584     93 |  0.000 % |
358.55/358.59	c |    353446 |   10688    42760   118489 |    96564    89097     93 |  0.000 % |
359.35/359.37	c |    353959 |   10688    42760   118489 |    96564    89610     93 |  0.000 % |
360.85/360.85	c |    354984 |   10688    42760   118489 |    96564    90635     93 |  0.000 % |
363.65/363.66	c |    357034 |   10688    42760   118489 |    96564    92685     93 |  0.000 % |
365.85/365.82	c |    361132 |   10688    42760   118489 |    95651    96783     93 |  0.000 % |
379.15/379.11	c |    369325 |   10688    42760   118489 |    95651    90603     94 |  0.000 % |
379.75/379.74	c |    369837 |   10688    42760   118489 |    95651    91115     94 |  0.000 % |
380.05/380.03	c |    370349 |   10688    42760   118489 |    91278    91627     94 |  0.000 % |
382.85/382.85	c |    371374 |   10688    42760   118489 |    91278    83181     89 |  0.000 % |
383.05/383.10	c |    371886 |   10688    42760   118489 |    91278    83693     89 |  0.000 % |
384.75/384.74	c |    372398 |   10688    42760   118489 |    91278    84205     89 |  0.000 % |
385.25/385.23	c |    373422 |   10688    42760   118489 |    91278    85229     89 |  0.000 % |
387.25/387.31	c |    375471 |   10688    42760   118489 |    91278    87278     89 |  0.000 % |
387.55/387.58	c |    375985 |   10688    42760   118489 |    91278    87792     89 |  0.000 % |
388.35/388.36	c |    376498 |   10688    42760   118489 |    91278    88305     89 |  0.000 % |
388.65/388.66	c |    377522 |   10688    42760   118489 |    91278    89329     88 |  0.000 % |
388.95/388.97	c |    378036 |   10688    42760   118489 |    91278    89843     88 |  0.000 % |
389.25/389.27	c |    378548 |   10688    42760   118489 |    91278    90355     88 |  0.000 % |
389.56/389.57	c |    379572 |   10688    42760   118489 |    91278    91379     87 |  0.000 % |
390.55/390.57	c |    381620 |   10688    42760   118489 | 2147483647    84290     81 |  0.000 % |
397.05/397.01	c |    385717 |   10688    42760   118489 | 2147483647    88387     83 |  0.000 % |
397.15/397.21	c |    386229 |   10688    42760   118489 | 2147483647    88899     82 |  0.000 % |
398.16/398.17	c |    386741 |   10688    42760   118489 | 2147483647    89411     82 |  0.000 % |
398.86/398.87	c |    387765 |   10688    42760   118489 | 2147483647    90435     82 |  0.000 % |
399.36/399.36	c |    388277 |   10688    42760   118489 | 2147483647    90947     82 |  0.000 % |
399.56/399.56	c |    388789 |   10688    42760   118489 | 2147483647    91459     82 |  0.000 % |
401.96/402.01	c |    389813 |   10688    42760   118489 | 2147483647    92483     83 |  0.000 % |
404.26/404.31	c |    391862 |   10688    42760   118489 |    92670    94532     83 |  0.000 % |
404.76/404.73	c |    392375 |   10688    42760   118489 |    92670    83194     74 |  0.000 % |
405.26/405.22	c |    392887 |   10688    42760   118489 |    92670    83706     74 |  0.000 % |
405.66/405.71	c |    393913 |   10688    42760   118489 |    92670    84732     74 |  0.000 % |
406.86/406.83	c |    394426 |   10688    42760   118489 |    92670    85245     74 |  0.000 % |
406.96/406.99	c |    394938 |   10688    42760   118489 |    92670    85757     74 |  0.000 % |
407.76/407.78	c |    395962 |   10688    42760   118489 |    92670    86781     74 |  0.000 % |
409.86/409.88	c |    398011 |   10688    42760   118489 |    92670    88830     74 |  0.000 % |
412.36/412.33	c |    402108 |   10688    42760   118489 |    90819    92927     74 |  0.000 % |
425.36/425.39	c |    410301 |   10688    42760   118489 |    91251    91552     75 |  0.000 % |
439.95/439.97	c |    426685 |   10688    42760   118489 |    90790    80854     68 |  0.000 % |
506.47/506.43	c |    459453 |   10688    42760   118489 | 2147483647   104625     87 |  0.000 % |
577.48/577.44	c |    524989 |   10688    42760   118489 |    72305    60579     72 |  0.000 % |
577.68/577.66	c |    525501 |   10688    42760   118489 |    72305    61091     72 |  0.000 % |
577.88/577.91	c |    526014 |   10688    42760   118489 |    72305    61604     72 |  0.000 % |
578.28/578.32	c |    527038 |   10688    42760   118489 |    72305    62628     72 |  0.000 % |
578.58/578.57	c |    527550 |   10688    42760   118489 |    72305    63140     72 |  0.000 % |
578.68/578.63	c |    528062 |   10688    42760   118489 |    72305    63652     71 |  0.000 % |
579.18/579.21	c |    529086 |   10688    42760   118489 |    72305    64676     73 |  0.000 % |
580.68/580.66	c |    531134 |   10688    42760   118489 |    65590    66724     72 |  0.000 % |
580.98/580.99	c |    531647 |   10688    42760   118489 |    65590    55170     68 |  0.000 % |
581.38/581.33	c |    532159 |   10688    42760   118489 |    65590    55682     68 |  0.000 % |
581.98/581.97	c |    533183 |   10688    42760   118489 |    65590    56706     68 |  0.000 % |
582.18/582.20	c |    533697 |   10688    42760   118489 |    65590    57220     68 |  0.000 % |
582.48/582.47	c |    534211 |   10688    42760   118489 |    65590    57734     68 |  0.000 % |
583.18/583.20	c |    535236 |   10688    42760   118489 |    65590    58759     68 |  0.000 % |
585.48/585.42	c |    537284 |   10688    42760   118489 |    65590    60807     69 |  0.000 % |
588.08/588.09	c |    541382 |   10688    42760   118489 | 2147483647    64905     69 |  0.000 % |
588.28/588.27	c |    541894 |   10688    42760   118489 | 2147483647    65417     68 |  0.000 % |
588.88/588.87	c |    542407 |   10688    42760   118489 | 2147483647    65930     69 |  0.000 % |
589.88/589.85	c |    543434 |   10688    42760   118489 | 2147483647    66957     69 |  0.000 % |
590.08/590.03	c |    543947 |   10688    42760   118489 | 2147483647    67470     69 |  0.000 % |
590.58/590.56	c |    544459 |   10688    42760   118489 | 2147483647    67982     69 |  0.000 % |
591.88/591.89	c |    545484 |   10688    42760   118489 | 2147483647    69007     70 |  0.000 % |
595.58/595.60	c |    547533 |   10688    42760   118489 | 2147483647    71056     71 |  0.000 % |
595.88/595.89	c |    548045 |   10688    42760   118489 | 2147483647    71568     72 |  0.000 % |
596.78/596.74	c |    548557 |   10688    42760   118489 | 2147483647    72080     73 |  0.000 % |
597.48/597.50	c |    549582 |   10688    42760   118489 | 2147483647    73105     73 |  0.000 % |
597.68/597.68	c |    550096 |   10688    42760   118489 | 2147483647    73619     73 |  0.000 % |
598.08/598.10	c |    550610 |   10688    42760   118489 | 2147483647    74133     73 |  0.000 % |
598.58/598.53	c |    551635 |   10688    42760   118489 | 2147483647    75158     73 |  0.000 % |
600.28/600.24	c |    553683 |   10688    42760   118489 | 2147483647    77206     74 |  0.000 % |
604.68/604.71	c |    557780 |   10688    42760   118489 | 2147483647    81303     77 |  0.000 % |
613.08/613.10	c |    565973 |   10688    42760   118489 | 2147483647    89496     78 |  0.000 % |
613.99/614.01	c |    566485 |   10688    42760   118489 | 2147483647    90008     78 |  0.000 % |
614.08/614.09	c |    566999 |   10688    42760   118489 | 2147483647    90522     78 |  0.000 % |
616.19/616.18	c |    568023 |   10688    42760   118489 | 2147483647    91546     79 |  0.000 % |
617.18/617.12	c |    568535 |   10688    42760   118489 | 2147483647    92058     79 |  0.000 % |
617.58/617.55	c |    569047 |   10688    42760   118489 | 2147483647    92570     79 |  0.000 % |
617.88/617.88	c |    570073 |   10688    42760   118489 |    93523    93596     79 |  0.000 % |
619.49/619.43	c |    572122 |   10688    42760   118489 |    93523    81652     80 |  0.000 % |
619.58/619.61	c |    572636 |   10688    42760   118489 |    93523    82166     80 |  0.000 % |
620.08/620.08	c |    573148 |   10688    42760   118489 |    93523    82678     80 |  0.000 % |
621.18/621.13	c |    574172 |   10688    42760   118489 |    93523    83702     80 |  0.000 % |
621.58/621.59	c |    574684 |   10688    42760   118489 |    93523    84214     80 |  0.000 % |
622.18/622.18	c |    575196 |   10688    42760   118489 |    93523    84726     80 |  0.000 % |
622.88/622.87	c |    576222 |   10688    42760   118489 |    93523    85752     80 |  0.000 % |
625.18/625.12	c |    578271 |   10688    42760   118489 |    93523    87801     79 |  0.000 % |
633.38/633.34	c |    582368 |   10688    42760   118489 |    89531    91898     81 |  0.000 % |
633.79/633.76	c |    582880 |   10688    42760   118489 |    89531    83221     80 |  0.000 % |
634.38/634.33	c |    583392 |   10688    42760   118489 |    89531    83733     80 |  0.000 % |
635.28/635.24	c |    584417 |   10688    42760   118489 |    89531    84758     80 |  0.000 % |
636.38/636.33	c |    584929 |   10688    42760   118489 |    89531    85270     80 |  0.000 % |
637.28/637.31	c |    585443 |   10688    42760   118489 |    89531    85784     81 |  0.000 % |
638.19/638.20	c |    586467 |   10688    42760   118489 |    89531    86808     81 |  0.000 % |
640.58/640.55	c |    588516 |   10688    42760   118489 |    89531    88857     82 |  0.000 % |
640.78/640.80	c |    589030 |   10688    42760   118489 |    89531    89371     81 |  0.000 % |
640.98/641.01	c |    589543 |   10688    42760   118489 |    89531    89884     81 |  0.000 % |
641.98/641.94	c |    590568 |   10688    42760   118489 | 2147483647    81921     81 |  0.000 % |
642.28/642.22	c |    591080 |   10688    42760   118489 | 2147483647    82433     82 |  0.000 % |
642.48/642.44	c |    591592 |   10688    42760   118489 | 2147483647    82945     82 |  0.000 % |
642.98/642.97	c |    592617 |   10688    42760   118489 | 2147483647    83970     82 |  0.000 % |
644.39/644.36	c |    594665 |   10688    42760   118489 | 2147483647    86018     81 |  0.000 % |
652.89/652.82	c |    598761 |   10688    42760   118489 | 2147483647    90114     83 |  0.000 % |
659.69/659.63	c |    606953 |   10688    42760   118489 | 2147483647    98306     81 |  0.000 % |
693.69/693.71	c |    623337 |   10688    42760   118489 | 2147483647   114690     84 |  0.000 % |
695.09/695.07	c |    623849 |   10688    42760   118489 | 2147483647   115202     84 |  0.000 % |
695.89/695.83	c |    624362 |   10688    42760   118489 | 2147483647   115715     84 |  0.000 % |
697.09/697.04	c |    625386 |   10688    42760   118489 | 2147483647   116739     84 |  0.000 % |
697.29/697.26	c |    625899 |   10688    42760   118489 | 2147483647   117252     84 |  0.000 % |
697.69/697.62	c |    626411 |   10688    42760   118489 | 2147483647   117764     83 |  0.000 % |
699.80/699.76	c |    627435 |   10688    42760   118489 | 2147483647   118788     84 |  0.000 % |
702.49/702.50	c |    629485 |   10688    42760   118489 | 2147483647   120838     84 |  0.000 % |
703.10/703.06	c |    629997 |   10688    42760   118489 | 2147483647   121350     84 |  0.000 % |
703.59/703.58	c |    630509 |   10688    42760   118489 | 2147483647   121862     84 |  0.000 % |
704.99/704.94	c |    631533 |   10688    42760   118489 | 2147483647   122886     84 |  0.000 % |
705.39/705.37	c |    632045 |   10688    42760   118489 | 2147483647   123398     84 |  0.000 % |
705.89/705.83	c |    632558 |   10688    42760   118489 | 2147483647   123911     84 |  0.000 % |
706.29/706.30	c |    633582 |   10688    42760   118489 | 2147483647   124935     84 |  0.000 % |
707.39/707.37	c |    635633 |   10688    42760   118489 | 2147483647   126986     84 |  0.000 % |
713.19/713.20	c |    639731 |   10688    42760   118489 | 2147483647   131084     85 |  0.000 % |
713.69/713.64	c |    640243 |   10688    42760   118489 |   131353   131596     85 |  0.000 % |
714.10/714.09	c |    640755 |   10688    42760   118489 |   131353   106045     83 |  0.000 % |
716.09/716.06	c |    641779 |   10688    42760   118489 |   131353   107069     83 |  0.000 % |
716.59/716.54	c |    642291 |   10688    42760   118489 |   131353   107581     83 |  0.000 % |
717.69/717.65	c |    642803 |   10688    42760   118489 |   131353   108093     84 |  0.000 % |
719.49/719.45	c |    643828 |   10688    42760   118489 |   131353   109118     84 |  0.000 % |
725.19/725.19	c |    645876 |   10688    42760   118489 |   131353   111166     85 |  0.000 % |
725.79/725.72	c |    646388 |   10688    42760   118489 |   131353   111678     84 |  0.000 % |
726.80/726.75	c |    646901 |   10688    42760   118489 |   131353   112191     85 |  0.000 % |
728.80/728.81	c |    647925 |   10688    42760   118489 |   131353   113215     85 |  0.000 % |
729.90/729.83	c |    648438 |   10688    42760   118489 |   131353   113728     85 |  0.000 % |
730.20/730.22	c |    648950 |   10688    42760   118489 |   131353   114240     85 |  0.000 % |
733.60/733.62	c |    649975 |   10688    42760   118489 |   131353   115265     86 |  0.000 % |
735.60/735.55	c |    652024 |   10688    42760   118489 |   115290   117314     85 |  0.000 % |
738.10/738.11	c |    656122 |   10688    42760   118489 |   115290   102817     82 |  0.000 % |
741.00/740.97	c |    664315 |   10688    42760   118489 |   106695    95137     74 |  0.000 % |
741.20/741.15	c |    664828 |   10688    42760   118489 |   106695    95650     73 |  0.000 % |
741.50/741.51	c |    665340 |   10688    42760   118489 |   106695    96162     73 |  0.000 % |
742.30/742.26	c |    666364 |   10688    42760   118489 |   106695    97186     73 |  0.000 % |
743.00/743.01	c |    666876 |   10688    42760   118489 |   106695    97698     73 |  0.000 % |
743.20/743.19	c |    667389 |   10688    42760   118489 |   106695    98211     73 |  0.000 % |
745.10/745.09	c |    668413 |   10688    42760   118489 |   106695    99235     74 |  0.000 % |
746.90/746.91	c |    670462 |   10688    42760   118489 |   100822   101284     73 |  0.000 % |
747.90/747.84	c |    670974 |   10688    42760   118489 |   100822    87858     70 |  0.000 % |
749.20/749.18	c |    671488 |   10688    42760   118489 |   100822    88372     70 |  0.000 % |
750.10/750.04	c |    672512 |   10688    42760   118489 |   100822    89396     70 |  0.000 % |
750.40/750.39	c |    673025 |   10688    42760   118489 |   100822    89909     71 |  0.000 % |
750.80/750.74	c |    673538 |   10688    42760   118489 |   100822    90422     70 |  0.000 % |
751.00/750.96	c |    674562 |   10688    42760   118489 |   100822    91446     70 |  0.000 % |
752.20/752.12	c |    676610 |   10688    42760   118489 |   100822    93494     72 |  0.000 % |
754.20/754.12	c |    680706 |   10688    42760   118489 |    96885    97590     71 |  0.000 % |
754.60/754.58	c |    681218 |   10688    42760   118489 |    96885    85844     69 |  0.000 % |
755.10/755.04	c |    681730 |   10688    42760   118489 |    96885    86356     69 |  0.000 % |
756.30/756.28	c |    682754 |   10688    42760   118489 |    96885    87380     69 |  0.000 % |
756.50/756.52	c |    683267 |   10688    42760   118489 |    96885    87893     69 |  0.000 % |
757.70/757.66	c |    683781 |   10688    42760   118489 |    96885    88407     69 |  0.000 % |
759.00/758.94	c |    684806 |   10688    42760   118489 |    96885    89432     69 |  0.000 % |
762.00/761.94	c |    686854 |   10688    42760   118489 |    96885    91480     70 |  0.000 % |
762.20/762.18	c |    687367 |   10688    42760   118489 |    96885    91993     70 |  0.000 % |
763.20/763.15	c |    687881 |   10688    42760   118489 |    96885    92507     70 |  0.000 % |
763.90/763.85	c |    688905 |   10688    42760   118489 |    96885    93531     70 |  0.000 % |
764.90/764.92	c |    689417 |   10688    42760   118489 |    96885    94043     70 |  0.000 % |
765.40/765.38	c |    689931 |   10688    42760   118489 |    96885    94557     70 |  0.000 % |
766.20/766.19	c |    690956 |   10688    42760   118489 | 2147483647    95582     70 |  0.000 % |
770.50/770.46	c |    693004 |   10688    42760   118489 | 2147483647    97630     71 |  0.000 % |
775.90/775.86	c |    697100 |   10688    42760   118489 | 2147483647   101726     73 |  0.000 % |
786.40/786.39	c |    705292 |   10688    42760   118489 |   104626   109918     77 |  0.000 % |
807.09/807.09	c |    721676 |   10688    42760   118489 |    87942    89617     73 |  0.000 % |
848.00/847.92	c |    754444 |   10688    42760   118489 |    63789    68231     94 |  0.000 % |
849.00/848.97	c |    754956 |   10688    42760   118489 |    63789    55283     94 |  0.000 % |
849.50/849.50	c |    755468 |   10688    42760   118489 |    63789    55795     94 |  0.000 % |
851.50/851.49	c |    756493 |   10688    42760   118489 |    63789    56820     94 |  0.000 % |
851.90/851.83	c |    757006 |   10688    42760   118489 |    63789    57333     94 |  0.000 % |
852.00/851.98	c |    757519 |   10688    42760   118489 |    63789    57846     94 |  0.000 % |
852.70/852.69	c |    758543 |   10688    42760   118489 |    63789    58870     94 |  0.000 % |
854.50/854.49	c |    760591 |   10688    42760   118489 |    60327    60918     94 |  0.000 % |
854.90/854.91	c |    761104 |   10688    42760   118489 |    60327    52044     93 |  0.000 % |
855.10/855.04	c |    761617 |   10688    42760   118489 |    60327    52557     92 |  0.000 % |
856.90/856.84	c |    762643 |   10688    42760   118489 |    60327    53583     93 |  0.000 % |
857.11/857.09	c |    763155 |   10688    42760   118489 |    60327    54095     92 |  0.000 % |
857.20/857.20	c |    763667 |   10688    42760   118489 |    60327    54607     92 |  0.000 % |
858.80/858.72	c |    764692 |   10688    42760   118489 |    60327    55632     92 |  0.000 % |
859.50/859.50	c |    766741 |   10688    42760   118489 |    60327    57681     90 |  0.000 % |
865.00/864.95	c |    770839 |   10688    42760   118489 | 2147483647    61779     92 |  0.000 % |
865.20/865.19	c |    771351 |   10688    42760   118489 | 2147483647    62291     91 |  0.000 % |
866.40/866.39	c |    771864 |   10688    42760   118489 | 2147483647    62804     92 |  0.000 % |
867.30/867.27	c |    772888 |   10688    42760   118489 | 2147483647    63828     92 |  0.000 % |
868.80/868.76	c |    773400 |   10688    42760   118489 | 2147483647    64340     92 |  0.000 % |
870.00/869.98	c |    773913 |   10688    42760   118489 | 2147483647    64853     93 |  0.000 % |
871.50/871.46	c |    774937 |   10688    42760   118489 | 2147483647    65877     93 |  0.000 % |
875.81/875.78	c |    776986 |   10688    42760   118489 | 2147483647    67926     94 |  0.000 % |
876.10/876.05	c |    777499 |   10688    42760   118489 | 2147483647    68439     93 |  0.000 % |
876.91/876.83	c |    778013 |   10688    42760   118489 | 2147483647    68953     94 |  0.000 % |
877.10/877.11	c |    779037 |   10688    42760   118489 | 2147483647    69977     93 |  0.000 % |
877.40/877.33	c |    779549 |   10688    42760   118489 | 2147483647    70489     93 |  0.000 % |
877.80/877.73	c |    780063 |   10688    42760   118489 | 2147483647    71003     93 |  0.000 % |
879.60/879.54	c |    781087 |   10688    42760   118489 | 2147483647    72027     94 |  0.000 % |
881.20/881.11	c |    783135 |   10688    42760   118489 | 2147483647    74075     94 |  0.000 % |
883.70/883.69	c |    787232 |   10688    42760   118489 | 2147483647    78172     94 |  0.000 % |
892.91/892.86	c |    795425 |   10688    42760   118489 |    80940    86365     94 |  0.000 % |
893.41/893.33	c |    795937 |   10688    42760   118489 |    80940    71883     88 |  0.000 % |
893.91/893.86	c |    796450 |   10688    42760   118489 |    80940    72396     88 |  0.000 % |
894.31/894.29	c |    797474 |   10688    42760   118489 |    80940    73420     87 |  0.000 % |
895.51/895.48	c |    797988 |   10688    42760   118489 |    80940    73934     87 |  0.000 % |
895.61/895.61	c |    798501 |   10688    42760   118489 |    80940    74447     87 |  0.000 % |
896.51/896.43	c |    799525 |   10688    42760   118489 |    80940    75471     87 |  0.000 % |
897.01/896.96	c |    801573 |   10688    42760   118489 |    75946    77519     86 |  0.000 % |
897.21/897.17	c |    802085 |   10688    42760   118489 |    75946    70280     83 |  0.000 % |
897.51/897.51	c |    802598 |   10688    42760   118489 |    75946    70793     83 |  0.000 % |
898.21/898.12	c |    803622 |   10688    42760   118489 |    75946    71817     83 |  0.000 % |
899.11/899.02	c |    804134 |   10688    42760   118489 |    75946    72329     83 |  0.000 % |
899.31/899.23	c |    804648 |   10688    42760   118489 |    75946    72843     83 |  0.000 % |
900.41/900.38	c |    805672 |   10688    42760   118489 |    75946    73867     83 |  0.000 % |
902.51/902.44	c |    807720 |   10688    42760   118489 |    75946    75915     83 |  0.000 % |
907.41/907.33	c |    811816 |   10688    42760   118489 | 2147483647    80011     84 |  0.000 % |
907.71/907.62	c |    812330 |   10688    42760   118489 | 2147483647    80525     84 |  0.000 % |
908.11/908.03	c |    812842 |   10688    42760   118489 | 2147483647    81037     84 |  0.000 % |
908.91/908.86	c |    813866 |   10688    42760   118489 | 2147483647    82061     84 |  0.000 % |
909.41/909.35	c |    814379 |   10688    42760   118489 | 2147483647    82574     84 |  0.000 % |
909.51/909.44	c |    814891 |   10688    42760   118489 | 2147483647    83086     83 |  0.000 % |
910.91/910.91	c |    815916 |   10688    42760   118489 | 2147483647    84111     83 |  0.000 % |
914.81/914.81	c |    817964 |   10688    42760   118489 | 2147483647    86159     84 |  0.000 % |
915.51/915.47	c |    818476 |   10688    42760   118489 | 2147483647    86671     84 |  0.000 % |
915.71/915.69	c |    818988 |   10688    42760   118489 | 2147483647    87183     84 |  0.000 % |
917.61/917.52	c |    820012 |   10688    42760   118489 |    88195    88207     84 |  0.000 % |
918.31/918.26	c |    820524 |   10688    42760   118489 |    88195    79703     83 |  0.000 % |
918.81/918.77	c |    821038 |   10688    42760   118489 |    88195    80217     83 |  0.000 % |
919.81/919.73	c |    822062 |   10688    42760   118489 |    88195    81241     83 |  0.000 % |
920.51/920.44	c |    824111 |   10688    42760   118489 |    88195    83290     82 |  0.000 % |
925.81/925.73	c |    828208 |   10688    42760   118489 |    88195    87387     83 |  0.000 % |
933.21/933.17	c |    836402 |   10688    42760   118489 |    89179    85669     79 |  0.000 % |
977.22/977.13	c |    852787 |   10688    42760   118489 |    99267   102054     86 |  0.000 % |
977.62/977.55	c |    853299 |   10688    42760   118489 |    99267    89960     83 |  0.000 % |
979.32/979.23	c |    853811 |   10688    42760   118489 |    99267    90472     83 |  0.000 % |
979.92/979.91	c |    854835 |   10688    42760   118489 |    99267    91496     83 |  0.000 % |
980.42/980.35	c |    855347 |   10688    42760   118489 |    99267    92008     83 |  0.000 % |
980.62/980.60	c |    855859 |   10688    42760   118489 |    99267    92520     82 |  0.000 % |
981.72/981.72	c |    856884 |   10688    42760   118489 |    99267    93545     82 |  0.000 % |
984.82/984.80	c |    858932 |   10688    42760   118489 |    99267    95593     83 |  0.000 % |
985.32/985.27	c |    859444 |   10688    42760   118489 |    99267    96105     83 |  0.000 % |
986.92/986.85	c |    859957 |   10688    42760   118489 |    99267    96618     83 |  0.000 % |
987.62/987.57	c |    860981 |   10688    42760   118489 |    96662    97642     83 |  0.000 % |
988.62/988.61	c |    861495 |   10688    42760   118489 |    96662    86046     79 |  0.000 % |
989.12/989.07	c |    862008 |   10688    42760   118489 |    96662    86559     79 |  0.000 % |
989.92/989.82	c |    863034 |   10688    42760   118489 |    96662    87585     80 |  0.000 % |
990.62/990.60	c |    865083 |   10688    42760   118489 |    96662    89634     79 |  0.000 % |
994.02/993.97	c |    869179 |   10688    42760   118489 |    96662    93730     79 |  0.000 % |
994.62/994.58	c |    869693 |   10688    42760   118489 |    96662    94244     80 |  0.000 % |
994.92/994.86	c |    870205 |   10688    42760   118489 |    94552    94756     80 |  0.000 % |
997.22/997.16	c |    871230 |   10688    42760   118489 |    94552    81215     78 |  0.000 % |
997.32/997.30	c |    871743 |   10688    42760   118489 |    94552    81728     78 |  0.000 % |
997.92/997.82	c |    872255 |   10688    42760   118489 |    94552    82240     78 |  0.000 % |
998.92/998.83	c |    873279 |   10688    42760   118489 |    94552    83264     78 |  0.000 % |
1004.42/1004.38	c |    875327 |   10688    42760   118489 |    94552    85312     80 |  0.000 % |
1004.62/1004.56	c |    875839 |   10688    42760   118489 |    94552    85824     80 |  0.000 % |
1005.02/1004.97	c |    876351 |   10688    42760   118489 |    94552    86336     80 |  0.000 % |
1005.72/1005.69	c |    877375 |   10688    42760   118489 |    94552    87360     79 |  0.000 % |
1006.82/1006.76	c |    877887 |   10688    42760   118489 |    94552    87872     79 |  0.000 % |
1007.12/1007.03	c |    878399 |   10688    42760   118489 |    94552    88384     79 |  0.000 % |
1010.52/1010.44	c |    879424 |   10688    42760   118489 |    94552    89409     80 |  0.000 % |
1012.12/1012.08	c |    881473 |   10688    42760   118489 | 2147483647    91458     79 |  0.000 % |
1020.82/1020.75	c |    885569 |   10688    42760   118489 | 2147483647    95554     81 |  0.000 % |
1025.22/1025.19	c |    893762 |   10688    42760   118489 |    99986   103747     79 |  0.000 % |
1025.82/1025.75	c |    894274 |   10688    42760   118489 |    99986    90760     76 |  0.000 % |
1026.32/1026.30	c |    894786 |   10688    42760   118489 |    99986    91272     76 |  0.000 % |
1027.63/1027.53	c |    895810 |   10688    42760   118489 |    99986    92296     76 |  0.000 % |
1028.42/1028.32	c |    896323 |   10688    42760   118489 |    99986    92809     76 |  0.000 % |
1029.22/1029.20	c |    896836 |   10688    42760   118489 |    99986    93322     76 |  0.000 % |
1030.52/1030.44	c |    897860 |   10688    42760   118489 |    99986    94346     77 |  0.000 % |
1032.82/1032.78	c |    899908 |   10688    42760   118489 |    99986    96394     76 |  0.000 % |
1033.22/1033.21	c |    900420 |   10688    42760   118489 |    96486    96906     76 |  0.000 % |
1033.82/1033.75	c |    900933 |   10688    42760   118489 |    96486    83297     74 |  0.000 % |
1034.62/1034.53	c |    901957 |   10688    42760   118489 |    96486    84321     74 |  0.000 % |
1034.72/1034.64	c |    902469 |   10688    42760   118489 |    96486    84833     74 |  0.000 % |
1034.92/1034.84	c |    902982 |   10688    42760   118489 |    96486    85346     73 |  0.000 % |
1036.52/1036.48	c |    904007 |   10688    42760   118489 |    96486    86371     74 |  0.000 % |
1037.62/1037.59	c |    906055 |   10688    42760   118489 |    96486    88419     73 |  0.000 % |
1039.62/1039.53	c |    910153 |   10688    42760   118489 |    92364    92517     74 |  0.000 % |
1040.12/1040.02	c |    910668 |   10688    42760   118489 |    92364    77375     65 |  0.000 % |
1040.42/1040.41	c |    911181 |   10688    42760   118489 |    92364    77888     65 |  0.000 % |
1041.12/1041.11	c |    912205 |   10688    42760   118489 |    92364    78912     65 |  0.000 % |
1041.93/1041.91	c |    912717 |   10688    42760   118489 |    92364    79424     65 |  0.000 % |
1042.42/1042.32	c |    913229 |   10688    42760   118489 |    92364    79936     65 |  0.000 % |
1044.13/1044.06	c |    914254 |   10688    42760   118489 |    92364    80961     66 |  0.000 % |
1045.42/1045.34	c |    916302 |   10688    42760   118489 |    92364    83009     66 |  0.000 % |
1046.12/1046.04	c |    916814 |   10688    42760   118489 |    92364    83521     66 |  0.000 % |
1046.42/1046.32	c |    917328 |   10688    42760   118489 |    92364    84035     66 |  0.000 % |
1048.02/1047.93	c |    918352 |   10688    42760   118489 |    92364    85059     67 |  0.000 % |
1048.72/1048.66	c |    918864 |   10688    42760   118489 |    92364    85571     67 |  0.000 % |
1049.52/1049.46	c |    919377 |   10688    42760   118489 |    92364    86084     67 |  0.000 % |
1050.42/1050.38	c |    920401 |   10688    42760   118489 | 2147483647    87108     67 |  0.000 % |
1056.53/1056.44	c |    922450 |   10688    42760   118489 | 2147483647    89157     69 |  0.000 % |
1059.33/1059.24	c |    926547 |   10688    42760   118489 | 2147483647    93254     68 |  0.000 % |
1061.43/1061.35	c |    934739 |   10688    42760   118489 | 2147483647   101446     65 |  0.000 % |
1109.63/1109.56	c |    951124 |   10688    42760   118489 |   102180   103304     75 |  0.000 % |
1158.03/1157.95	c |    983892 |   10688    42760   118489 |   108669   112560     74 |  0.000 % |
1200.03/1199.91	HOME/SatELiteGTI: line 36: 23309 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-1820963-1242492193/watcher-1820963-1242492193 -o /tmp/evaluation-result-1820963-1242492193/solver-1820963-1242492193 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820963-1242492193.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.99 1.05 1.00 2/93 23303
/proc/meminfo: memFree=1084068/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2412 CPUtime=0
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013720314 2469888 275 4294967295 134512640 135169312 3218014272 3218012808 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23303/statm: 603 275 235 161 0 42 0
[pid=23307] ppid=23303 vsize=956 CPUtime=0
/proc/23307/stat : 23307 (SatELite_releas) R 23303 23303 20977 0 -1 4202496 118 0 0 0 0 0 0 0 25 0 1 0 1013720314 978944 54 4294967295 134512640 135223648 3215803920 3215801168 134740979 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23307/statm: 239 56 45 174 0 64 0

[startup+0.108514 s]
/proc/loadavg: 0.99 1.05 1.00 2/93 23303
/proc/meminfo: memFree=1084068/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2412 CPUtime=0
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013720314 2469888 275 4294967295 134512640 135169312 3218014272 3218012808 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23303/statm: 603 275 235 161 0 42 0
[pid=23307] ppid=23303 vsize=11060 CPUtime=0.11
/proc/23307/stat : 23307 (SatELite_releas) R 23303 23303 20977 0 -1 4202496 2516 0 0 0 9 2 0 0 25 0 1 0 1013720314 11325440 2305 4294967295 134512640 135223648 3215803920 3215801588 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23307/statm: 2765 2305 73 174 0 2590 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13472

[startup+0.218502 s]
/proc/loadavg: 0.99 1.05 1.00 2/93 23303
/proc/meminfo: memFree=1084068/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2412 CPUtime=0
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013720314 2469888 275 4294967295 134512640 135169312 3218014272 3218012808 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23303/statm: 603 275 235 161 0 42 0
[pid=23307] ppid=23303 vsize=11696 CPUtime=0.22
/proc/23307/stat : 23307 (SatELite_releas) R 23303 23303 20977 0 -1 4202496 2660 0 0 0 20 2 0 0 25 0 1 0 1013720314 11976704 2449 4294967295 134512640 135223648 3215803920 3215801936 134586854 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23307/statm: 2924 2449 73 174 0 2749 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 14108

[startup+0.318492 s]
/proc/loadavg: 0.99 1.05 1.00 2/93 23303
/proc/meminfo: memFree=1084068/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2412 CPUtime=0
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013720314 2469888 275 4294967295 134512640 135169312 3218014272 3218012808 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23303/statm: 603 275 235 161 0 42 0
[pid=23307] ppid=23303 vsize=11696 CPUtime=0.32
/proc/23307/stat : 23307 (SatELite_releas) R 23303 23303 20977 0 -1 4202496 2714 0 0 0 30 2 0 0 25 0 1 0 1013720314 11976704 2449 4294967295 134512640 135223648 3215803920 3215801936 134586808 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23307/statm: 2924 2449 73 174 0 2749 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 14108

[startup+0.718453 s]
/proc/loadavg: 0.99 1.05 1.00 2/93 23303
/proc/meminfo: memFree=1084068/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 2416

[startup+1.51837 s]
/proc/loadavg: 0.99 1.05 1.00 2/95 23309
/proc/meminfo: memFree=1077952/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=6372 CPUtime=1.16
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 1430 0 0 0 113 3 0 0 25 0 1 0 1013720350 6524928 1364 4294967295 134512640 135216591 3215615552 3215613520 134538513 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 1593 1364 75 172 0 1420 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8788

[startup+3.11822 s]
/proc/loadavg: 0.99 1.05 1.00 2/95 23309
/proc/meminfo: memFree=1076836/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=7692 CPUtime=2.76
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 1759 0 0 0 273 3 0 0 25 0 1 0 1013720350 7876608 1693 4294967295 134512640 135216591 3215615552 3215613744 134528881 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 1923 1693 75 172 0 1750 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10108

[startup+6.3179 s]
/proc/loadavg: 0.99 1.04 1.00 2/95 23309
/proc/meminfo: memFree=1073032/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=11388 CPUtime=5.96
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 2685 0 0 0 590 6 0 0 25 0 1 0 1013720350 11661312 2619 4294967295 134512640 135216591 3215615552 3215613744 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 2847 2619 75 172 0 2674 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13804

[startup+12.7173 s]
/proc/loadavg: 0.99 1.04 1.00 2/95 23309
/proc/meminfo: memFree=1067112/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=16936 CPUtime=12.36
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 4064 0 0 0 1229 7 0 0 25 0 1 0 1013720350 17342464 3998 4294967295 134512640 135216591 3215615552 3215613456 134533075 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 4234 3998 75 172 0 4061 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 19352

[startup+25.516 s]
/proc/loadavg: 1.07 1.06 1.00 3/95 23494
/proc/meminfo: memFree=1059760/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=23404 CPUtime=25.16
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 5695 0 0 0 2506 10 0 0 25 0 1 0 1013720350 23965696 5629 4294967295 134512640 135216591 3215615552 3215613744 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 5851 5629 75 172 0 5678 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 25820

[startup+51.1135 s]
/proc/loadavg: 1.05 1.05 1.00 3/95 23496
/proc/meminfo: memFree=1048064/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=35888 CPUtime=50.76
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 8772 0 0 0 5065 11 0 0 25 0 1 0 1013720350 36749312 8706 4294967295 134512640 135216591 3215615552 3215613744 134529251 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 8972 8706 75 172 0 8799 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 38304

[startup+102.308 s]
/proc/loadavg: 1.08 1.06 1.00 2/95 23683
/proc/meminfo: memFree=1035444/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=47836 CPUtime=101.96
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 11764 0 0 0 10184 12 0 0 25 0 1 0 1013720350 48984064 11698 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 11959 11698 75 172 0 11786 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 50252

[startup+162.313 s]
/proc/loadavg: 1.09 1.06 1.00 2/95 23874
/proc/meminfo: memFree=1035600/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=47836 CPUtime=161.97
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 11778 0 0 0 16185 12 0 0 25 0 1 0 1013720350 48984064 11712 4294967295 134512640 135216591 3215615552 3215613744 134528966 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 11959 11712 75 172 0 11786 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 50252

[startup+222.317 s]
/proc/loadavg: 1.09 1.06 1.00 3/95 24063
/proc/meminfo: memFree=1034740/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=48628 CPUtime=221.98
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 11978 0 0 0 22186 12 0 0 25 0 1 0 1013720350 49795072 11912 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12157 11912 75 172 0 11984 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 51044

[startup+282.311 s]
/proc/loadavg: 1.09 1.06 1.00 3/95 24251
/proc/meminfo: memFree=1034732/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=48628 CPUtime=281.98
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 11978 0 0 0 28186 12 0 0 25 0 1 0 1013720350 49795072 11912 4294967295 134512640 135216591 3215615552 3215613744 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12157 11912 75 172 0 11984 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 51044

[startup+342.315 s]
/proc/loadavg: 1.16 1.08 1.01 2/95 24438
/proc/meminfo: memFree=1033764/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=49704 CPUtime=341.99
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 12225 0 0 0 34187 12 0 0 25 0 1 0 1013720350 50896896 12159 4294967295 134512640 135216591 3215615552 3215613520 134538462 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12426 12159 75 172 0 12253 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 52120

[startup+402.319 s]

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

[pid=23309] ppid=23303 vsize=49704 CPUtime=462
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 12230 0 0 0 46188 12 0 0 25 0 1 0 1013720350 50896896 12164 4294967295 134512640 135216591 3215615552 3215613744 134529023 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12426 12164 75 172 0 12253 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 52120

[startup+522.317 s]
/proc/loadavg: 1.06 1.08 1.01 2/95 25008
/proc/meminfo: memFree=1033904/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=49704 CPUtime=522.01
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 12230 0 0 0 52189 12 0 0 25 0 1 0 1013720350 50896896 12164 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12426 12164 75 172 0 12253 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 52120

[startup+582.321 s]
/proc/loadavg: 1.02 1.06 1.00 2/95 25196
/proc/meminfo: memFree=1033688/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=49704 CPUtime=582.02
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 12230 0 0 0 58190 12 0 0 25 0 1 0 1013720350 50896896 12164 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12426 12164 75 172 0 12253 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 52120

[startup+642.315 s]
/proc/loadavg: 1.01 1.05 1.00 2/95 25383
/proc/meminfo: memFree=1033672/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=49704 CPUtime=642.02
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 12230 0 0 0 64190 12 0 0 25 0 1 0 1013720350 50896896 12164 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 12426 12164 75 172 0 12253 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 52120

[startup+702.319 s]
/proc/loadavg: 1.00 1.04 1.00 2/95 25571
/proc/meminfo: memFree=1030300/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=53004 CPUtime=702.03
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 13062 0 0 0 70184 19 0 0 25 0 1 0 1013720350 54276096 12996 4294967295 134512640 135216591 3215615552 3215613744 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 13251 12996 75 172 0 13078 0
Current children cumulated CPU time (s) 702.39
Current children cumulated vsize (KiB) 55420

[startup+762.324 s]
/proc/loadavg: 1.00 1.03 1.00 3/95 25758
/proc/meminfo: memFree=1025968/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=762.04
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 76184 20 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613520 134538648 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 59672

[startup+822.318 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 25947
/proc/meminfo: memFree=1025952/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=822.04
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 82183 21 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 59672

[startup+882.322 s]
/proc/loadavg: 1.00 1.01 1.00 4/95 26139
/proc/meminfo: memFree=1026208/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=882.05
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 88179 26 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528902 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 59672

[startup+942.316 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 26326
/proc/meminfo: memFree=1025968/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=942.05
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 94179 26 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528793 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 59672

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26515
/proc/meminfo: memFree=1026108/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=1002.06
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 100180 26 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613456 134532844 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (KiB) 59672

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26702
/proc/meminfo: memFree=1026052/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=1062.07
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 106181 26 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 1062.43
Current children cumulated vsize (KiB) 59672

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 26891
/proc/meminfo: memFree=1026316/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=1122.07
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 112180 27 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528894 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 59672

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27079
/proc/meminfo: memFree=1026200/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=1182.07
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 118180 27 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 59672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27080
/proc/meminfo: memFree=1026272/2074464 swapFree=1951864/1959888
[pid=23303] ppid=23301 vsize=2416 CPUtime=0.36
/proc/23303/stat : 23303 (SatELiteGTI) S 23301 23303 20977 0 -1 4194304 385 3365 0 0 0 0 34 2 22 0 1 0 1013720314 2473984 277 4294967295 134512640 135169312 3218014272 3218010488 3085643502 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/23303/statm: 604 277 235 161 0 43 0
[pid=23309] ppid=23303 vsize=57256 CPUtime=1199.67
/proc/23309/stat : 23309 (minisat_static) R 23303 23303 20977 0 -1 4202496 14128 0 0 0 119940 27 0 0 25 0 1 0 1013720350 58630144 14062 4294967295 134512640 135216591 3215615552 3215613744 134528784 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23309/statm: 14314 14062 75 172 0 14141 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 59672

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

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

Child status: 143
Real time (s): 1199.92
CPU time (s): 1200.04
CPU user time (s): 1199.74
CPU system time (s): 0.3
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 59672

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

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 18:43:13
IDJOB=1820963
IDBENCH=70786
IDSOLVER=658
FILE ID=tipi10/1820963-1242492193
PBS_JOBID=
Free space on /tmp= 4269 MiB

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

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

MD5SUM BENCH= 431823fbe355abc605baf058be5925a0
RANDOM SEED= 284047043

Linux tipi10 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.367
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.367
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.367
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.367
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:       1084092 kB
Buffers:         21516 kB
Cached:         860648 kB
SwapCached:       2732 kB
Active:         435608 kB
Inactive:       456552 kB
HighTotal:     1178688 kB
HighFree:       463136 kB
LowTotal:       895776 kB
LowFree:        620956 kB
SwapTotal:     1959888 kB
SwapFree:      1951864 kB
Dirty:            2480 kB
Writeback:           0 kB
AnonPages:        9160 kB
Mapped:           3560 kB
Slab:            89232 kB
PageTables:        348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90592 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 4269 MiB
End job on tipi10 at 2009-05-16 19:03:13