Trace number 1820621

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-18SAT 553.2 553.136

General information on the benchmark

Nameindustrial/grieu/
vmpc_26.cnf
MD5SUM7e9eba7a609bdbcf7c3a7e0f5c07ab04
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.01
Satisfiable
(Un)Satisfiability was proved
Number of variables676
Number of clauses86424
Sum of the clauses size226590
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 233878
Number of clauses of size 352494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 552

Solver Data 

0.00/0.00	c Parsing...
0.06/0.05	c ==============================================================================
0.06/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.06/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.06/0.05	c ==============================================================================
0.06/0.05	c |         0 |   86424   226590 |   25927       0        0     nan |  0.000 % |
0.06/0.05	c ==============================================================================
0.06/0.05	c Result  :   #vars: 676   #clauses: 86424   #literals: 226590
0.06/0.05	c CPU time:   0.04 s
0.06/0.05	c ==============================================================================
0.12/0.13	c This is MiniSat 2.0 beta
0.12/0.13	c WARNING: for repeatability, setting FPU to use double precision
0.12/0.13	c ============================[ Problem Statistics ]=============================
0.12/0.13	c |                                                                             |
0.12/0.13	c |  Number of variables:  676                                                  |
0.12/0.13	c |  Number of clauses:    86424                                                |
0.12/0.17	c |  Parsing time:         0.03         s                                       |
0.12/0.18	c ============================[ Search Statistics ]==============================
0.12/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.12/0.18	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.12/0.18	c ===============================================================================
0.12/0.18	c |         0 |     676    86424   226590 |    28808        0    nan |  0.000 % |
0.13/0.26	c |       512 |     676    86424   226590 |    28808      512     47 |  0.000 % |
0.13/0.33	c |      1026 |     676    86424   226590 |    28808     1026     62 |  0.000 % |
0.13/0.40	c |      1538 |     676    86424   226590 |    28808     1538     69 |  0.000 % |
0.13/0.54	c |      2563 |     676    86424   226590 |    28808     2563     64 |  0.000 % |
0.13/0.61	c |      3076 |     676    86424   226590 |    28808     3076     65 |  0.000 % |
0.13/0.67	c |      3590 |     676    86424   226590 |    28808     3590     69 |  0.000 % |
0.13/0.84	c |      4614 |     676    86424   226590 |    28808     4614     65 |  0.000 % |
1.13/1.17	c |      6664 |     676    86424   226590 |    28808     6664     53 |  0.014 % |
1.22/1.25	c |      7176 |     676    86424   226590 |    28808     7176     51 |  0.014 % |
1.32/1.33	c |      7690 |     676    86424   226590 |    28808     7690     50 |  0.014 % |
1.52/1.52	c |      8714 |     676    86424   226590 |    28808     8714     47 |  0.015 % |
1.62/1.62	c |      9227 |     676    86424   226590 |    28808     9227     46 |  0.015 % |
1.72/1.71	c |      9739 |     676    86424   226590 |    28808     9739     45 |  0.015 % |
1.82/1.90	c |     10766 |     676    86424   226590 | 2147483647    10766     43 |  0.015 % |
2.23/2.29	c |     12815 |     676    86424   226590 | 2147483647    12815     41 |  0.015 % |
3.22/3.22	c |     16911 |     676    86424   226590 | 2147483647    16911     43 |  0.015 % |
3.33/3.36	c |     17424 |     676    86424   226590 | 2147483647    17424     42 |  0.015 % |
3.42/3.50	c |     17937 |     676    86424   226590 | 2147483647    17937     42 |  0.015 % |
3.72/3.76	c |     18964 |     676    86424   226590 | 2147483647    18964     41 |  0.014 % |
3.82/3.87	c |     19476 |     676    86424   226590 | 2147483647    19476     41 |  0.015 % |
3.92/3.99	c |     19990 |     676    86424   226590 | 2147483647    19990     41 |  0.014 % |
4.22/4.26	c |     21016 |     676    86424   226590 | 2147483647    21016     40 |  0.015 % |
4.72/4.76	c |     23065 |     676    86424   226590 | 2147483647    23065     42 |  0.000 % |
4.82/4.88	c |     23578 |     676    86424   226590 | 2147483647    23578     43 |  0.000 % |
5.02/5.01	c |     24091 |     676    86424   226590 | 2147483647    24091     43 |  0.000 % |
5.22/5.27	c |     25115 |     676    86424   226590 | 2147483647    25115     44 |  0.000 % |
5.32/5.40	c |     25627 |     676    86424   226590 | 2147483647    25627     44 |  0.000 % |
5.53/5.54	c |     26139 |     676    86424   226590 | 2147483647    26139     44 |  0.014 % |
5.82/5.83	c |     27164 |     676    86424   226590 | 2147483647    27164     43 |  0.014 % |
6.42/6.47	c |     29212 |     676    86424   226590 | 2147483647    29212     43 |  0.014 % |
7.92/7.92	c |     33310 |     676    86424   226590 | 2147483647    33310     42 |  0.014 % |
10.92/11.01	c |     41504 |     676    86424   226590 | 2147483647    41504     40 |  0.014 % |
11.22/11.27	c |     42017 |     676    86424   226590 | 2147483647    42017     40 |  0.000 % |
11.42/11.49	c |     42529 |     676    86424   226590 | 2147483647    42529     41 |  0.000 % |
11.92/11.94	c |     43554 |     676    86424   226590 | 2147483647    43554     41 |  0.000 % |
12.12/12.16	c |     44068 |     676    86424   226590 | 2147483647    44068     42 |  0.000 % |
12.32/12.35	c |     44581 |     676    86424   226590 | 2147483647    44581     42 |  0.000 % |
12.72/12.80	c |     45606 |     676    86424   226590 | 2147483647    45606     43 |  0.000 % |
13.72/13.80	c |     47655 |     675    86174   225942 | 2147483647    47654     43 |  0.161 % |
14.02/14.03	c |     48170 |     675    86174   225942 | 2147483647    48169     43 |  0.162 % |
14.22/14.24	c |     48683 |     675    86174   225942 | 2147483647    48682     42 |  0.162 % |
14.62/14.70	c |     49708 |     675    86174   225942 | 2147483647    49707     42 |  0.162 % |
14.92/14.98	c |     50222 |     675    86174   225942 | 2147483647    50221     42 |  0.148 % |
15.22/15.26	c |     50738 |     675    86174   225942 | 2147483647    50737     42 |  0.162 % |
15.82/15.82	c |     51763 |     675    86174   225942 | 2147483647    51762     42 |  0.162 % |
16.92/16.98	c |     53811 |     675    86174   225942 | 2147483647    53810     42 |  0.162 % |
19.12/19.15	c |     57908 |     675    86174   225942 | 2147483647    57907     42 |  0.148 % |
19.42/19.45	c |     58421 |     675    86174   225942 | 2147483647    58420     41 |  0.162 % |
19.72/19.79	c |     58933 |     675    86174   225942 | 2147483647    58932     41 |  0.162 % |
20.32/20.37	c |     59957 |     675    86174   225942 | 2147483647    59956     41 |  0.162 % |
20.72/20.72	c |     60471 |     675    86174   225942 |    60002    51186     40 |  0.148 % |
21.02/21.05	c |     60985 |     675    86174   225942 |    60002    51700     40 |  0.161 % |
21.52/21.60	c |     62009 |     675    86174   225942 |    60002    52724     40 |  0.162 % |
22.72/22.72	c |     64058 |     675    86174   225942 |    60002    54773     41 |  0.148 % |
23.02/23.03	c |     64570 |     675    86174   225942 |    60002    55285     42 |  0.148 % |
23.32/23.35	c |     65083 |     675    86174   225942 |    60002    55798     42 |  0.148 % |
23.82/23.88	c |     66111 |     675    86174   225942 |    60002    56826     43 |  0.148 % |
24.22/24.21	c |     66627 |     675    86174   225942 |    60002    57342     43 |  0.163 % |
24.42/24.51	c |     67139 |     675    86174   225942 |    60002    57854     42 |  0.163 % |
25.02/25.07	c |     68163 |     675    86174   225942 |    60002    58878     42 |  0.163 % |
26.32/26.33	c |     70212 |     675    86174   225942 |    51025    51237     42 |  0.162 % |
28.52/28.58	c |     74309 |     675    86174   225942 |    51025    46938     40 |  0.162 % |
33.12/33.12	c |     82501 |     675    86174   225942 |    43909    38762     37 |  0.163 % |
41.82/41.87	c |     98885 |     675    86174   225942 |    39275    34991     51 |  0.148 % |
42.12/42.12	c |     99398 |     675    86174   225942 |    39275    35504     51 |  0.163 % |
42.32/42.39	c |     99914 |     675    86174   225942 |    39275    36020     51 |  0.163 % |
43.02/43.01	c |    100941 |     675    86174   225942 |    36107    31020     54 |  0.162 % |
43.22/43.30	c |    101454 |     675    86174   225942 |    36107    31533     54 |  0.162 % |
43.62/43.63	c |    101966 |     675    86174   225942 |    36107    32045     54 |  0.162 % |
44.22/44.28	c |    102991 |     675    86174   225942 |    36107    33070     53 |  0.162 % |
45.12/45.19	c |    105040 |     675    86174   225942 |    36107    35119     52 |  0.163 % |
45.42/45.48	c |    105554 |     675    86174   225942 |    36107    35633     52 |  0.148 % |
45.72/45.76	c |    106066 |     675    86174   225942 |    36107    36145     52 |  0.148 % |
46.32/46.36	c |    107091 |     675    86174   225942 |    36107    31397     56 |  0.148 % |
46.62/46.65	c |    107603 |     675    86174   225942 |    36107    31909     57 |  0.148 % |
46.92/46.93	c |    108117 |     675    86174   225942 |    36107    32423     57 |  0.148 % |
47.42/47.48	c |    109141 |     675    86174   225942 |    36107    33447     56 |  0.148 % |
48.42/48.48	c |    111191 |     675    86174   225942 |    34306    30016     52 |  0.162 % |
50.42/50.49	c |    115287 |     675    86174   225942 |    34306    34112     50 |  0.163 % |
50.72/50.80	c |    115799 |     675    86174   225942 |    34306    29710     45 |  0.164 % |
51.02/51.06	c |    116311 |     675    86174   225942 |    34306    30222     44 |  0.164 % |
51.52/51.55	c |    117335 |     675    86174   225942 |    34306    31246     44 |  0.166 % |
51.72/51.80	c |    117847 |     675    86174   225942 |    34306    31758     43 |  0.162 % |
51.92/52.01	c |    118359 |     675    86174   225942 |    34306    32270     43 |  0.162 % |
52.42/52.43	c |    119383 |     675    86174   225942 |    34306    33294     43 |  0.162 % |
53.32/53.31	c |    121432 |     675    86174   225942 |    33912    30791     39 |  0.148 % |
53.52/53.52	c |    121945 |     675    86174   225942 |    33912    31304     39 |  0.162 % |
53.72/53.73	c |    122457 |     675    86174   225942 |    33912    31816     38 |  0.162 % |
54.02/54.09	c |    123481 |     675    86174   225942 |    33912    32840     38 |  0.162 % |
54.22/54.27	c |    123997 |     675    86174   225942 |    33912    33356     38 |  0.163 % |
54.52/54.52	c |    124510 |     675    86174   225942 |    33912    33869     38 |  0.162 % |
55.02/55.02	c |    125536 |     675    86174   225942 |    33912    31063     36 |  0.148 % |
55.92/55.92	c |    127584 |     675    86174   225942 |    33912    33111     39 |  0.148 % |
58.12/58.13	c |    131680 |     675    86174   225942 | 2147483647    33781     43 |  0.148 % |
62.73/62.79	c |    139872 |     675    86174   225942 | 2147483647    41973     44 |  0.148 % |
63.12/63.16	c |    140386 |     675    86174   225942 |    42101    36364     43 |  0.162 % |
63.42/63.42	c |    140898 |     675    86174   225942 |    42101    36876     43 |  0.162 % |
63.92/63.96	c |    141922 |     675    86174   225942 |    42101    37900     43 |  0.162 % |
64.22/64.24	c |    142434 |     675    86174   225942 |    42101    38412     42 |  0.162 % |
64.42/64.49	c |    142947 |     675    86174   225942 |    42101    38925     42 |  0.162 % |
64.93/64.98	c |    143975 |     675    86174   225942 |    42101    39953     42 |  0.161 % |
66.32/66.34	c |    146023 |     675    86174   225942 |    42101    42001     42 |  0.162 % |
66.72/66.71	c |    146539 |     675    86174   225942 |    42101    35418     44 |  0.148 % |
66.92/66.97	c |    147051 |     675    86174   225942 |    42101    35930     44 |  0.148 % |
67.62/67.62	c |    148075 |     675    86174   225942 |    42101    36954     45 |  0.148 % |
67.92/67.94	c |    148590 |     675    86174   225942 |    42101    37469     45 |  0.148 % |
68.23/68.25	c |    149105 |     675    86174   225942 |    42101    37984     46 |  0.148 % |
68.92/68.93	c |    150132 |     675    86174   225942 |    38879    39011     46 |  0.148 % |
70.32/70.31	c |    152180 |     675    86174   225942 |    38879    34237     47 |  0.163 % |
73.42/73.45	c |    156277 |     675    86174   225942 |    38879    38334     47 |  0.163 % |
73.82/73.83	c |    156794 |     675    86174   225942 |    38879    38851     46 |  0.163 % |
74.22/74.22	c |    157308 |     675    86174   225942 |    38879    31187     40 |  0.162 % |
74.72/74.81	c |    158334 |     675    86174   225942 |    38879    32213     40 |  0.163 % |
75.02/75.07	c |    158846 |     675    86174   225942 |    38879    32725     40 |  0.162 % |
75.32/75.36	c |    159358 |     675    86174   225942 |    38879    33237     40 |  0.162 % |
75.93/75.98	c |    160383 |     675    86174   225942 |    33881    27671     37 |  0.163 % |
76.92/76.98	c |    162434 |     675    86174   225942 |    33881    29722     37 |  0.163 % |
77.22/77.23	c |    162947 |     675    86174   225942 |    33881    30235     37 |  0.164 % |
77.42/77.48	c |    163459 |     675    86174   225942 |    33881    30747     37 |  0.162 % |
77.92/77.98	c |    164483 |     675    86174   225942 |    33881    31771     38 |  0.162 % |
78.22/78.24	c |    164998 |     675    86174   225942 |    33881    32286     37 |  0.162 % |
78.52/78.51	c |    165516 |     675    86174   225942 |    33881    32804     37 |  0.162 % |
78.92/78.96	c |    166540 |     675    86174   225942 |    33881    33828     39 |  0.148 % |
79.92/79.99	c |    168588 |     675    86174   225942 |    33881    30820     42 |  0.148 % |
82.12/82.14	c |    172685 |     675    86174   225942 |    32234    30125     44 |  0.148 % |
87.32/87.39	c |    180878 |     675    86174   225942 |    27202    23440     49 |  0.148 % |
96.73/96.72	c |    197262 |     674    85918   225274 |    22322     9588     34 |  0.296 % |
115.43/115.49	c |    230033 |     674    85918   225274 |    29405    29438     37 |  0.311 % |
115.73/115.74	c |    230545 |     674    85918   225274 |    29405    23997     35 |  0.296 % |
115.93/115.97	c |    231060 |     674    85918   225274 |    29405    24512     36 |  0.296 % |
116.33/116.32	c |    232087 |     674    85918   225274 |    29405    25539     36 |  0.296 % |
116.53/116.55	c |    232599 |     674    85918   225274 |    29405    26051     37 |  0.296 % |
116.73/116.75	c |    233111 |     674    85918   225274 |    29405    26563     38 |  0.296 % |
117.13/117.16	c |    234135 |     674    85918   225274 |    29405    27587     38 |  0.309 % |
117.83/117.88	c |    236187 |     674    85918   225274 |    29405    29639     37 |  0.311 % |
118.13/118.13	c |    236702 |     674    85918   225274 |    29405    26602     36 |  0.310 % |
118.33/118.32	c |    237215 |     674    85918   225274 |    29405    27115     35 |  0.311 % |
118.73/118.72	c |    238240 |     674    85918   225274 |    29405    28140     35 |  0.311 % |
118.93/118.93	c |    238754 |     674    85918   225274 |    29405    28654     35 |  0.310 % |
119.13/119.15	c |    239266 |     674    85918   225274 |    29405    29166     35 |  0.296 % |
119.63/119.66	c |    240291 |     674    85918   225274 |    26474    26762     34 |  0.311 % |
120.53/120.54	c |    242339 |     674    85918   225274 |    26474    25743     35 |  0.310 % |
122.43/122.46	c |    246435 |     674    85918   225274 |    26474    24253     35 |  0.311 % |
122.63/122.70	c |    246947 |     674    85918   225274 |    26474    24765     35 |  0.296 % |
122.83/122.90	c |    247461 |     674    85918   225274 |    26474    25279     34 |  0.313 % |
123.33/123.35	c |    248486 |     674    85918   225274 |    26474    26304     34 |  0.313 % |
123.53/123.60	c |    249000 |     674    85918   225274 |    26474    24158     35 |  0.313 % |
123.73/123.77	c |    249512 |     674    85918   225274 |    26474    24670     35 |  0.296 % |
124.13/124.13	c |    250537 |     674    85918   225274 | 2147483647    25695     38 |  0.297 % |
124.93/124.92	c |    252585 |     674    85918   225274 | 2147483647    27743     39 |  0.296 % |
125.13/125.19	c |    253097 |     674    85918   225274 | 2147483647    28255     40 |  0.296 % |
125.43/125.44	c |    253611 |     674    85918   225274 | 2147483647    28769     41 |  0.296 % |
125.83/125.82	c |    254636 |     674    85918   225274 | 2147483647    29794     41 |  0.310 % |
126.03/126.02	c |    255150 |     674    85918   225274 | 2147483647    30308     41 |  0.296 % |
126.23/126.25	c |    255662 |     674    85918   225274 | 2147483647    30820     41 |  0.296 % |
126.63/126.62	c |    256687 |     674    85918   225274 | 2147483647    31845     40 |  0.310 % |
127.43/127.47	c |    258735 |     674    85918   225274 | 2147483647    33893     40 |  0.312 % |
129.53/129.59	c |    262831 |     674    85918   225274 | 2147483647    37989     41 |  0.312 % |
135.13/135.13	c |    271025 |     674    85918   225274 |    45159    38369     38 |  0.314 % |
135.33/135.38	c |    271537 |     674    85918   225274 |    45159    38881     39 |  0.296 % |
135.63/135.66	c |    272049 |     674    85918   225274 |    45159    39393     39 |  0.296 % |
136.23/136.23	c |    273076 |     674    85918   225274 |    45159    40420     41 |  0.296 % |
136.53/136.55	c |    273588 |     674    85918   225274 |    45159    40932     41 |  0.296 % |
136.83/136.86	c |    274103 |     674    85918   225274 |    45159    41447     42 |  0.296 % |
137.33/137.40	c |    275130 |     674    85918   225274 |    45159    42474     41 |  0.310 % |
138.53/138.58	c |    277178 |     674    85918   225274 |    45159    44522     41 |  0.311 % |
138.83/138.87	c |    277690 |     674    85918   225274 |    45159    45034     41 |  0.311 % |
139.23/139.27	c |    278202 |     674    85918   225274 |    45159    37237     42 |  0.311 % |
139.83/139.90	c |    279226 |     674    85918   225274 |    45159    38261     41 |  0.310 % |
140.23/140.22	c |    279738 |     674    85918   225274 |    45159    38773     41 |  0.296 % |
140.53/140.55	c |    280252 |     674    85918   225274 |    39035    39287     41 |  0.310 % |
140.93/140.99	c |    281276 |     674    85918   225274 |    39035    32971     37 |  0.311 % |
141.94/141.96	c |    283324 |     674    85918   225274 |    39035    35019     38 |  0.310 % |
144.43/144.49	c |    287420 |     674    85918   225274 |    39035    39115     39 |  0.310 % |
144.83/144.85	c |    287933 |     674    85918   225274 |    39035    32995     37 |  0.310 % |
145.13/145.15	c |    288446 |     674    85918   225274 |    39035    33508     38 |  0.310 % |
145.73/145.72	c |    289472 |     674    85918   225274 |    39035    34534     37 |  0.310 % |
146.03/146.06	c |    289984 |     674    85918   225274 |    39035    35046     37 |  0.296 % |
146.43/146.42	c |    290497 |     674    85918   225274 |    35062    29496     38 |  0.296 % |
146.93/146.99	c |    291523 |     674    85918   225274 |    35062    30522     38 |  0.310 % |
147.83/147.88	c |    293573 |     674    85918   225274 |    35062    32572     42 |  0.296 % |
148.13/148.16	c |    294087 |     674    85918   225274 |    35062    33086     42 |  0.296 % |
148.43/148.45	c |    294603 |     674    85918   225274 |    35062    33602     43 |  0.296 % |
149.03/149.03	c |    295628 |     674    85918   225274 |    35062    34627     43 |  0.311 % |
149.33/149.35	c |    296141 |     674    85918   225274 |    35062    35140     42 |  0.310 % |
149.64/149.62	c |    296653 |     674    85918   225274 |    35062    30008     41 |  0.310 % |
150.13/150.14	c |    297677 |     674    85918   225274 |    35062    31032     41 |  0.311 % |
151.23/151.23	c |    299725 |     674    85918   225274 |    35062    33080     40 |  0.310 % |
153.33/153.40	c |    303821 |     674    85918   225274 |    33357    31852     40 |  0.311 % |
157.93/158.00	c |    312018 |     674    85918   225274 |    33192    30191     43 |  0.310 % |
167.03/167.06	c |    328402 |     674    85918   225274 |    33149    30976     54 |  0.296 % |
167.33/167.32	c |    328915 |     674    85918   225274 |    33149    31489     54 |  0.310 % |
167.53/167.58	c |    329429 |     674    85918   225274 |    33149    32003     54 |  0.310 % |
168.13/168.17	c |    330454 |     674    85918   225274 |    32575    27632     54 |  0.310 % |
168.53/168.51	c |    330966 |     674    85918   225274 |    32575    28144     54 |  0.310 % |
168.83/168.84	c |    331480 |     674    85918   225274 |    32575    28658     54 |  0.296 % |
169.53/169.56	c |    332507 |     674    85918   225274 |    32575    29685     53 |  0.310 % |
170.63/170.70	c |    334557 |     674    85918   225274 |    32575    31735     55 |  0.296 % |
171.03/171.04	c |    335070 |     674    85918   225274 |    32575    32248     56 |  0.296 % |
171.33/171.40	c |    335582 |     674    85918   225274 |    32575    32760     56 |  0.296 % |
171.93/171.98	c |    336606 |     673    85666   224619 |    32575    28078     55 |  0.444 % |
172.13/172.20	c |    337119 |     673    85666   224619 |    32575    28591     54 |  0.458 % |
172.43/172.43	c |    337633 |     673    85666   224619 |    32575    29105     54 |  0.458 % |
172.93/172.93	c |    338657 |     673    85666   224619 |    32575    30129     54 |  0.444 % |
174.03/174.01	c |    340706 |     673    85666   224619 |    31476    27019     48 |  0.458 % |
176.24/176.31	c |    344802 |     673    85666   224619 |    31476    31115     47 |  0.459 % |
176.54/176.56	c |    345315 |     673    85666   224619 |    31476    31628     46 |  0.459 % |
176.74/176.81	c |    345828 |     673    85666   224619 |    31476    26979     42 |  0.444 % |
177.24/177.27	c |    346852 |     673    85666   224619 |    31476    28003     42 |  0.444 % |
177.44/177.51	c |    347366 |     673    85666   224619 |    31476    28517     42 |  0.458 % |
177.74/177.77	c |    347879 |     673    85666   224619 |    31476    29030     42 |  0.458 % |
178.24/178.27	c |    348907 |     673    85666   224619 |    31476    30058     41 |  0.458 % |
179.24/179.28	c |    350958 |     673    85666   224619 |    31153    27350     39 |  0.458 % |
179.54/179.52	c |    351471 |     673    85666   224619 |    31153    27863     38 |  0.458 % |
179.74/179.77	c |    351983 |     673    85666   224619 |    31153    28375     38 |  0.458 % |
180.24/180.23	c |    353009 |     673    85666   224619 |    31153    29401     38 |  0.459 % |
180.44/180.45	c |    353525 |     673    85666   224619 |    31153    29917     39 |  0.444 % |
180.64/180.68	c |    354039 |     673    85666   224619 |    31153    30431     40 |  0.444 % |
181.14/181.20	c |    355063 |     673    85666   224619 |    31153    27497     40 |  0.444 % |
182.04/182.10	c |    357111 |     673    85666   224619 |    31153    29545     43 |  0.444 % |
183.94/183.94	c |    361207 |     673    85666   224619 |    28693    26612     41 |  0.458 % |
187.94/187.96	c |    369400 |     673    85666   224619 |    28693    28260     44 |  0.458 % |
188.14/188.19	c |    369915 |     673    85666   224619 |    28693    28775     44 |  0.459 % |
188.44/188.46	c |    370428 |     673    85666   224619 |    25262    22472     46 |  0.444 % |
188.84/188.91	c |    371453 |     673    85666   224619 |    25262    23497     45 |  0.459 % |
189.14/189.12	c |    371969 |     673    85666   224619 |    25262    24013     45 |  0.444 % |
189.34/189.35	c |    372481 |     673    85666   224619 |    25262    24525     45 |  0.458 % |
189.74/189.79	c |    373505 |     673    85666   224619 |    25262    25549     46 |  0.459 % |
190.54/190.58	c |    375555 |     673    85666   224619 |    25262    24375     45 |  0.444 % |
190.84/190.82	c |    376069 |     673    85666   224619 |    25262    24889     46 |  0.444 % |
191.04/191.03	c |    376581 |     673    85666   224619 |    25262    25401     47 |  0.444 % |
191.44/191.51	c |    377605 |     673    85666   224619 |    25262    23639     48 |  0.444 % |
191.74/191.75	c |    378121 |     673    85666   224619 |    25262    24155     48 |  0.444 % |
191.94/192.00	c |    378634 |     673    85666   224619 |    25262    24668     48 |  0.444 % |
192.44/192.44	c |    379659 |     673    85666   224619 |    25262    23055     48 |  0.458 % |
193.34/193.35	c |    381707 |     673    85666   224619 |    23396    22726     46 |  0.458 % |
195.14/195.11	c |    385804 |     673    85666   224619 |    23396    22093     46 |  0.458 % |
195.24/195.29	c |    386317 |     673    85666   224619 |    23396    22606     45 |  0.458 % |
195.44/195.49	c |    386836 |     673    85666   224619 |    23396    23125     45 |  0.458 % |
195.94/195.91	c |    387860 |     673    85666   224619 |    23396    21787     45 |  0.459 % |
196.14/196.13	c |    388372 |     673    85666   224619 |    23396    22299     45 |  0.457 % |
196.34/196.37	c |    388884 |     673    85666   224619 |    23396    22811     44 |  0.459 % |
196.84/196.82	c |    389908 |     673    85666   224619 |    23396    21455     43 |  0.459 % |
197.64/197.66	c |    391957 |     673    85666   224619 | 2147483647    23504     44 |  0.457 % |
197.84/197.86	c |    392470 |     673    85666   224619 | 2147483647    24017     44 |  0.458 % |
198.04/198.04	c |    392982 |     673    85666   224619 | 2147483647    24529     43 |  0.458 % |
198.44/198.42	c |    394009 |     673    85666   224619 | 2147483647    25556     43 |  0.458 % |
198.64/198.63	c |    394525 |     673    85666   224619 | 2147483647    26072     44 |  0.444 % |
198.84/198.85	c |    395037 |     673    85666   224619 | 2147483647    26584     44 |  0.444 % |
199.34/199.33	c |    396061 |     673    85666   224619 | 2147483647    27608     46 |  0.444 % |
200.44/200.42	c |    398110 |     673    85666   224619 | 2147483647    29657     48 |  0.444 % |
202.64/202.66	c |    402208 |     673    85666   224619 |    31547    30322     43 |  0.444 % |
207.24/207.26	c |    410400 |     673    85666   224619 |    29874    25800     41 |  0.461 % |
215.34/215.35	c |    426785 |     673    85666   224619 |    26931    25860     41 |  0.444 % |
229.64/229.65	c |    459553 |     671    85159   223299 |    10064    10263     55 |  0.740 % |
259.55/259.57	c |    525090 |     671    85159   223299 |    34987    34750     48 |  0.740 % |
259.95/260.00	c |    525603 |     671    85159   223299 |    34987    29886     48 |  0.740 % |
260.35/260.37	c |    526115 |     671    85159   223299 |    34987    30398     48 |  0.740 % |
261.05/261.03	c |    527140 |     671    85159   223299 |    34987    31423     47 |  0.754 % |
261.35/261.37	c |    527659 |     671    85159   223299 |    34987    31942     47 |  0.755 % |
261.75/261.74	c |    528171 |     671    85159   223299 |    34987    32454     46 |  0.753 % |
262.45/262.51	c |    529195 |     671    85159   223299 |    34987    33478     46 |  0.753 % |
263.55/263.55	c |    531244 |     671    85159   223299 |    34284    29777     43 |  0.753 % |
263.85/263.84	c |    531756 |     671    85159   223299 |    34284    30289     43 |  0.755 % |
264.15/264.15	c |    532270 |     671    85159   223299 |    34284    30803     43 |  0.755 % |
264.65/264.71	c |    533294 |     671    85159   223299 |    34284    31827     42 |  0.755 % |
264.95/265.01	c |    533807 |     671    85159   223299 |    34284    32340     42 |  0.755 % |
265.35/265.32	c |    534320 |     671    85159   223299 |    34284    32853     42 |  0.755 % |
265.95/265.99	c |    535346 |     671    85159   223299 |    34284    33879     42 |  0.754 % |
267.25/267.23	c |    537396 |     671    85159   223299 |    34284    29881     39 |  0.754 % |
269.55/269.52	c |    541493 |     671    85159   223299 |    32485    28348     34 |  0.755 % |
269.75/269.78	c |    542009 |     671    85159   223299 |    32485    28864     34 |  0.756 % |
270.05/270.02	c |    542524 |     671    85159   223299 |    32485    29379     34 |  0.740 % |
270.55/270.54	c |    543548 |     671    85159   223299 |    32485    30403     36 |  0.740 % |
270.85/270.87	c |    544061 |     671    85159   223299 |    32485    30916     37 |  0.740 % |
271.15/271.21	c |    544575 |     671    85159   223299 |    32485    31430     37 |  0.740 % |
271.85/271.83	c |    545601 |     671    85159   223299 |    32485    32456     38 |  0.740 % |
272.75/272.78	c |    547649 |     671    85159   223299 |    32485    29840     36 |  0.755 % |
273.05/273.05	c |    548165 |     671    85159   223299 |    32485    30356     36 |  0.755 % |
273.25/273.31	c |    548681 |     671    85159   223299 |    32485    30872     36 |  0.754 % |
273.75/273.81	c |    549709 |     671    85159   223299 |    32485    31900     36 |  0.754 % |
274.05/274.06	c |    550222 |     671    85159   223299 |    32191    32413     36 |  0.754 % |
274.25/274.31	c |    550736 |     671    85159   223299 |    32191    28748     34 |  0.754 % |
274.75/274.76	c |    551762 |     671    85159   223299 |    32191    29774     34 |  0.753 % |
275.55/275.53	c |    553810 |     671    85159   223299 |    32191    31822     34 |  0.753 % |
277.25/277.24	c |    557907 |     671    85159   223299 |    32191    29306     34 |  0.754 % |
281.05/281.09	c |    566099 |     671    85159   223299 | 2147483647    37498     34 |  0.756 % |
281.35/281.33	c |    566613 |     671    85159   223299 | 2147483647    38012     35 |  0.740 % |
281.55/281.60	c |    567126 |     671    85159   223299 | 2147483647    38525     35 |  0.755 % |
282.15/282.16	c |    568150 |     671    85159   223299 | 2147483647    39549     35 |  0.755 % |
282.45/282.46	c |    568664 |     671    85159   223299 | 2147483647    40063     35 |  0.753 % |
282.75/282.75	c |    569176 |     671    85159   223299 | 2147483647    40575     35 |  0.755 % |
283.25/283.28	c |    570201 |     671    85159   223299 |    41399    41600     35 |  0.753 % |
284.45/284.42	c |    572251 |     671    85159   223299 |    41399    37410     36 |  0.754 % |
284.75/284.72	c |    572764 |     671    85159   223299 |    41399    37923     36 |  0.740 % |
284.95/284.96	c |    573276 |     671    85159   223299 |    41399    38435     36 |  0.754 % |
285.35/285.39	c |    574300 |     671    85159   223299 |    41399    39459     35 |  0.754 % |
285.55/285.57	c |    574815 |     671    85159   223299 |    41399    39974     35 |  0.754 % |
285.75/285.80	c |    575328 |     671    85159   223299 |    41399    40487     36 |  0.755 % |
286.25/286.28	c |    576354 |     671    85159   223299 |    41399    41513     35 |  0.755 % |
287.25/287.24	c |    578403 |     671    85159   223299 |    41399    37601     32 |  0.755 % |
289.25/289.22	c |    582501 |     671    85159   223299 |    39199    36317     33 |  0.754 % |
289.45/289.46	c |    583013 |     671    85159   223299 |    39199    36829     33 |  0.740 % |
289.65/289.70	c |    583525 |     671    85159   223299 |    39199    37341     34 |  0.740 % |
290.15/290.15	c |    584549 |     671    85159   223299 |    39199    38365     35 |  0.740 % |
290.45/290.44	c |    585063 |     671    85159   223299 |    39199    38879     35 |  0.740 % |
290.65/290.71	c |    585576 |     671    85159   223299 |    39199    39392     36 |  0.740 % |
291.35/291.34	c |    586608 |     671    85159   223299 |    39199    35532     37 |  0.740 % |
292.35/292.37	c |    588656 |     671    85159   223299 |    39199    37580     37 |  0.754 % |
292.65/292.66	c |    589169 |     671    85159   223299 |    39199    38093     37 |  0.740 % |
292.95/292.97	c |    589682 |     671    85159   223299 |    39199    38606     37 |  0.754 % |
293.55/293.59	c |    590709 |     671    85159   223299 |    38926    34312     37 |  0.753 % |
293.85/293.85	c |    591221 |     671    85159   223299 |    38926    34824     37 |  0.753 % |
294.05/294.07	c |    591735 |     671    85159   223299 |    38926    35338     37 |  0.740 % |
294.55/294.60	c |    592759 |     671    85159   223299 |    38926    36362     37 |  0.754 % |
295.75/295.74	c |    594807 |     671    85159   223299 |    38926    38410     37 |  0.754 % |
298.15/298.15	c |    598903 |     671    85159   223299 |    38926    36552     37 |  0.755 % |
302.75/302.80	c |    607097 |     671    85159   223299 |    37651    31612     37 |  0.758 % |
311.25/311.26	c |    623489 |     671    85159   223299 |    32545    30664     50 |  0.740 % |
311.55/311.58	c |    624001 |     671    85159   223299 |    32545    31176     50 |  0.755 % |
311.85/311.89	c |    624513 |     671    85159   223299 |    32545    31688     50 |  0.740 % |
312.46/312.48	c |    625538 |     671    85159   223299 |    32545    32713     51 |  0.740 % |
312.85/312.83	c |    626050 |     671    85159   223299 |    32545    27784     56 |  0.740 % |
313.15/313.20	c |    626562 |     671    85159   223299 |    32545    28296     56 |  0.740 % |
313.85/313.87	c |    627588 |     671    85159   223299 |    32545    29322     57 |  0.740 % |
315.25/315.28	c |    629636 |     671    85159   223299 |    32545    31370     57 |  0.740 % |
315.65/315.62	c |    630148 |     671    85159   223299 |    31734    31882     57 |  0.740 % |
315.95/316.00	c |    630660 |     671    85159   223299 |    31734    26734     56 |  0.740 % |
316.45/316.49	c |    631685 |     671    85159   223299 |    31734    27759     55 |  0.740 % |
316.75/316.80	c |    632197 |     671    85159   223299 |    31734    28271     55 |  0.740 % |
317.15/317.13	c |    632709 |     671    85159   223299 |    31734    28783     54 |  0.754 % |
317.85/317.89	c |    633734 |     671    85159   223299 |    31734    29808     54 |  0.754 % |
319.45/319.49	c |    635787 |     671    85159   223299 |    31734    31861     53 |  0.740 % |
322.55/322.52	c |    639884 |     671    85159   223299 |    31734    30036     48 |  0.754 % |
322.95/322.92	c |    640401 |     671    85159   223299 |    30156    24578     43 |  0.755 % |
323.15/323.19	c |    640914 |     671    85159   223299 |    30156    25091     43 |  0.740 % |
323.65/323.68	c |    641938 |     671    85159   223299 |    30156    26115     43 |  0.740 % |
323.95/323.95	c |    642450 |     671    85159   223299 |    30156    26627     43 |  0.740 % |
324.15/324.19	c |    642964 |     671    85159   223299 |    30156    27141     43 |  0.754 % |
324.75/324.75	c |    643991 |     671    85159   223299 |    30156    28168     42 |  0.755 % |
325.85/325.82	c |    646039 |     671    85159   223299 |    30156    30216     42 |  0.755 % |
326.05/326.11	c |    646552 |     671    85159   223299 |    30156    25355     37 |  0.740 % |
326.35/326.39	c |    647064 |     671    85159   223299 |    30156    25867     38 |  0.740 % |
326.85/326.82	c |    648091 |     671    85159   223299 |    30156    26894     39 |  0.740 % |
327.05/327.01	c |    648603 |     671    85159   223299 |    30156    27406     40 |  0.740 % |
327.25/327.23	c |    649120 |     671    85159   223299 |    30156    27923     39 |  0.754 % |
327.65/327.70	c |    650144 |     671    85159   223299 |    28805    28947     39 |  0.755 % |
328.55/328.58	c |    652194 |     671    85159   223299 |    28805    26422     37 |  0.755 % |
330.45/330.48	c |    656290 |     671    85159   223299 |    28805    26792     35 |  0.754 % |
334.05/334.06	c |    664483 |     671    85159   223299 |    26979    25281     38 |  0.755 % |
334.35/334.31	c |    664996 |     671    85159   223299 |    26979    25794     38 |  0.755 % |
334.46/334.50	c |    665510 |     671    85159   223299 |    26979    26308     38 |  0.755 % |
334.95/334.93	c |    666537 |     671    85159   223299 |    26979    24274     37 |  0.740 % |
335.15/335.17	c |    667051 |     671    85159   223299 |    26979    24788     38 |  0.740 % |
335.45/335.44	c |    667563 |     671    85159   223299 |    26979    25300     39 |  0.740 % |
335.95/335.93	c |    668588 |     671    85159   223299 |    26979    26325     39 |  0.740 % |
337.15/337.19	c |    670636 |     671    85159   223299 |    24849    22765     44 |  0.740 % |
337.45/337.44	c |    671150 |     671    85159   223299 |    24849    23279     44 |  0.754 % |
337.65/337.69	c |    671664 |     671    85159   223299 |    24849    23793     44 |  0.754 % |
338.15/338.18	c |    672689 |     671    85159   223299 |    24849    24818     43 |  0.754 % |
338.45/338.46	c |    673201 |     671    85159   223299 |    24849    22539     44 |  0.755 % |
338.65/338.70	c |    673713 |     671    85159   223299 |    24849    23051     44 |  0.755 % |
339.16/339.18	c |    674738 |     671    85159   223299 |    24849    24076     43 |  0.755 % |
340.26/340.26	c |    676786 |     671    85159   223299 |    24849    23340     43 |  0.755 % |
341.86/341.91	c |    680884 |     671    85159   223299 |    23798    22114     41 |  0.755 % |
342.16/342.13	c |    681398 |     671    85159   223299 |    23798    22628     41 |  0.755 % |
342.36/342.35	c |    681910 |     671    85159   223299 |    23798    23140     40 |  0.755 % |
342.86/342.84	c |    682935 |     671    85159   223299 |    23798    21762     38 |  0.756 % |
343.06/343.08	c |    683451 |     671    85159   223299 |    23798    22278     38 |  0.756 % |
343.36/343.33	c |    683963 |     671    85159   223299 |    23798    22790     38 |  0.756 % |
343.76/343.75	c |    684987 |     671    85159   223299 |    23798    23814     37 |  0.756 % |
344.46/344.49	c |    687036 |     671    85159   223299 |    23798    23482     33 |  0.756 % |
344.76/344.72	c |    687549 |     671    85159   223299 |    23798    23995     34 |  0.740 % |
344.96/344.94	c |    688061 |     671    85159   223299 |    23798    22108     33 |  0.740 % |
345.36/345.33	c |    689085 |     671    85159   223299 |    23798    23132     35 |  0.740 % |
345.46/345.51	c |    689600 |     671    85159   223299 |    23798    23647     36 |  0.740 % |
345.66/345.71	c |    690114 |     671    85159   223299 | 2147483647    24161     36 |  0.755 % |
346.16/346.14	c |    691139 |     671    85159   223299 | 2147483647    25186     36 |  0.755 % |
346.96/346.94	c |    693188 |     671    85159   223299 | 2147483647    27235     36 |  0.755 % |
348.46/348.50	c |    697285 |     671    85159   223299 | 2147483647    31332     35 |  0.753 % |
352.66/352.64	c |    705477 |     671    85159   223299 | 2147483647    39524     35 |  0.754 % |
364.46/364.46	c |    721861 |     671    85159   223299 |    37642    31216     38 |  0.753 % |
381.25/381.22	c |    754629 |     669    84652   221976 | 2147483647    20288     32 |  1.051 % |
381.45/381.44	c |    755141 |     669    84652   221976 | 2147483647    20800     32 |  1.050 % |
381.65/381.63	c |    755654 |     669    84652   221976 | 2147483647    21313     32 |  1.051 % |
382.05/382.08	c |    756679 |     669    84652   221976 | 2147483647    22338     32 |  1.049 % |
382.25/382.27	c |    757191 |     669    84652   221976 | 2147483647    22850     32 |  1.049 % |
382.55/382.50	c |    757704 |     669    84652   221976 | 2147483647    23363     32 |  1.049 % |
382.95/382.94	c |    758728 |     669    84652   221976 | 2147483647    24387     32 |  1.050 % |
383.95/384.00	c |    760777 |     669    84652   221976 | 2147483647    26436     32 |  1.051 % |
384.25/384.29	c |    761289 |     669    84652   221976 | 2147483647    26948     32 |  1.052 % |
384.55/384.57	c |    761801 |     669    84652   221976 | 2147483647    27460     32 |  1.052 % |
385.15/385.15	c |    762827 |     669    84652   221976 | 2147483647    28486     32 |  1.052 % |
385.45/385.48	c |    763343 |     669    84652   221976 | 2147483647    29002     32 |  1.052 % |
385.75/385.77	c |    763856 |     669    84652   221976 | 2147483647    29515     32 |  1.052 % |
386.35/386.37	c |    764880 |     669    84652   221976 | 2147483647    30539     32 |  1.053 % |
387.65/387.69	c |    766928 |     669    84652   221976 | 2147483647    32587     32 |  1.053 % |
390.05/390.02	c |    771025 |     668    84401   221319 |    24226    21664     31 |  1.199 % |
390.15/390.19	c |    771539 |     668    84401   221319 |    24226    22178     33 |  1.184 % |
390.35/390.38	c |    772051 |     668    84401   221319 |    24226    22690     33 |  1.184 % |
390.85/390.82	c |    773077 |     668    84401   221319 |    24226    23716     35 |  1.184 % |
391.05/391.02	c |    773590 |     668    84401   221319 |    24226    24229     35 |  1.184 % |
391.25/391.27	c |    774104 |     668    84401   221319 |    24226    22054     36 |  1.184 % |
391.66/391.67	c |    775128 |     668    84401   221319 |    24226    23078     36 |  1.199 % |
392.55/392.54	c |    777177 |     668    84401   221319 |    24226    22651     36 |  1.197 % |
392.76/392.77	c |    777691 |     668    84401   221319 |    24226    23165     35 |  1.199 % |
393.05/393.02	c |    778203 |     668    84401   221319 |    24226    23677     35 |  1.199 % |
393.55/393.54	c |    779227 |     668    84401   221319 |    24226    22105     35 |  1.198 % |
393.75/393.78	c |    779740 |     668    84401   221319 |    24226    22618     35 |  1.199 % |
394.05/394.03	c |    780252 |     668    84401   221319 |    22878    23130     35 |  1.199 % |
394.45/394.50	c |    781276 |     668    84401   221319 |    22878    21743     35 |  1.184 % |
395.35/395.32	c |    783324 |     668    84401   221319 |    22878    21480     35 |  1.184 % |
396.95/396.98	c |    787422 |     668    84401   221319 |    22878    20937     34 |  1.199 % |
400.65/400.70	c |    795614 |     668    84401   221319 | 2147483647    26816     34 |  1.197 % |
400.95/400.92	c |    796127 |     668    84401   221319 | 2147483647    27329     34 |  1.198 % |
401.15/401.19	c |    796641 |     668    84401   221319 | 2147483647    27843     34 |  1.184 % |
401.65/401.66	c |    797668 |     668    84401   221319 | 2147483647    28870     34 |  1.200 % |
401.85/401.89	c |    798181 |     668    84401   221319 | 2147483647    29383     34 |  1.199 % |
402.05/402.10	c |    798694 |     668    84401   221319 | 2147483647    29896     34 |  1.184 % |
402.55/402.54	c |    799719 |     668    84401   221319 | 2147483647    30921     34 |  1.200 % |
403.45/403.43	c |    801769 |     668    84401   221319 |    31202    29537     34 |  1.184 % |
403.65/403.65	c |    802281 |     668    84401   221319 |    31202    30049     34 |  1.184 % |
403.85/403.89	c |    802793 |     668    84401   221319 |    31202    30561     34 |  1.198 % |
404.45/404.43	c |    803818 |     668    84401   221319 |    31202    27917     34 |  1.184 % |
404.65/404.65	c |    804332 |     668    84401   221319 |    31202    28431     34 |  1.184 % |
404.86/404.88	c |    804845 |     668    84401   221319 |    31202    28944     34 |  1.184 % |
405.35/405.33	c |    805869 |     668    84401   221319 |    31202    29968     33 |  1.200 % |
406.45/406.50	c |    807917 |     668    84401   221319 |    31202    28243     32 |  1.201 % |
408.75/408.70	c |    812015 |     668    84401   221319 |    30328    28584     31 |  1.202 % |
408.95/408.98	c |    812529 |     668    84401   221319 |    30328    29098     32 |  1.184 % |
409.26/409.27	c |    813042 |     668    84401   221319 |    30328    29611     33 |  1.184 % |
409.85/409.87	c |    814068 |     668    84401   221319 |    30328    26836     32 |  1.184 % |
410.15/410.15	c |    814581 |     668    84401   221319 |    30328    27349     33 |  1.184 % |
410.45/410.42	c |    815093 |     668    84401   221319 |    30328    27861     33 |  1.184 % |
410.95/410.92	c |    816117 |     668    84401   221319 |    30328    28885     34 |  1.184 % |
412.05/412.04	c |    818165 |     668    84401   221319 |    30328    27012     35 |  1.184 % |
412.25/412.25	c |    818677 |     668    84401   221319 |    30328    27524     35 |  1.198 % |
412.56/412.51	c |    819190 |     668    84401   221319 |    30328    28037     35 |  1.197 % |
413.05/413.02	c |    820214 |     668    84401   221319 |    28847    25421     35 |  1.200 % |
413.25/413.21	c |    820728 |     668    84401   221319 |    28847    25935     35 |  1.200 % |
413.45/413.44	c |    821241 |     668    84401   221319 |    28847    26448     35 |  1.184 % |
413.95/413.93	c |    822265 |     668    84401   221319 |    28847    27472     35 |  1.200 % |
414.95/414.91	c |    824313 |     668    84401   221319 |    28847    25926     35 |  1.184 % |
416.96/416.95	c |    828409 |     668    84401   221319 |    28847    26374     38 |  1.199 % |
421.66/421.66	c |    836602 |     668    84401   221319 |    27965    26368     36 |  1.199 % |
429.56/429.54	c |    852989 |     668    84401   221319 |    24577    24604     49 |  1.184 % |
429.76/429.78	c |    853501 |     668    84401   221319 |    24577    22112     51 |  1.184 % |
430.06/430.01	c |    854014 |     668    84401   221319 |    24577    22625     51 |  1.184 % |
430.56/430.60	c |    855038 |     668    84401   221319 |    24577    23649     53 |  1.184 % |
430.96/430.99	c |    855551 |     668    84401   221319 |    24577    24162     53 |  1.184 % |
431.26/431.30	c |    856067 |     668    84401   221319 |    24577    24678     53 |  1.184 % |
431.86/431.90	c |    857093 |     668    84401   221319 |    24577    22590     55 |  1.184 % |
433.16/433.18	c |    859141 |     668    84401   221319 |    24577    24638     57 |  1.184 % |
433.46/433.45	c |    859655 |     668    84401   221319 |    24577    21911     58 |  1.184 % |
433.76/433.73	c |    860168 |     668    84401   221319 |    22256    22424     58 |  1.199 % |
434.26/434.26	c |    861192 |     668    84401   221319 |    22256    20522     58 |  1.199 % |
434.56/434.52	c |    861705 |     668    84401   221319 |    22256    21035     58 |  1.184 % |
434.76/434.78	c |    862219 |     668    84401   221319 |    22256    21549     57 |  1.199 % |
435.26/435.28	c |    863248 |     668    84401   221319 |    22256    19768     56 |  1.199 % |
436.16/436.20	c |    865296 |     668    84401   221319 |    22256    21816     54 |  1.198 % |
437.86/437.88	c |    869395 |     668    84401   221319 |    22256    20809     43 |  1.200 % |
438.16/438.13	c |    869910 |     668    84401   221319 |    22256    21324     42 |  1.200 % |
438.36/438.35	c |    870422 |     668    84401   221319 |    21415    19607     38 |  1.198 % |
438.76/438.78	c |    871447 |     668    84401   221319 |    21415    20632     38 |  1.198 % |
438.96/438.97	c |    871959 |     668    84401   221319 |    21415    21144     38 |  1.198 % |
439.16/439.20	c |    872472 |     668    84401   221319 |    21415    21657     38 |  1.184 % |
439.56/439.56	c |    873496 |     668    84401   221319 |    21415    20516     34 |  1.197 % |
440.26/440.27	c |    875546 |     668    84401   221319 |    21415    20390     31 |  1.198 % |
440.46/440.44	c |    876063 |     668    84401   221319 |    21415    20907     32 |  1.184 % |
440.66/440.61	c |    876576 |     668    84401   221319 |    21415    21420     33 |  1.184 % |
440.96/440.96	c |    877601 |     668    84401   221319 |    21415    20281     35 |  1.184 % |
441.16/441.13	c |    878114 |     668    84401   221319 |    21415    20794     35 |  1.184 % |
441.36/441.31	c |    878628 |     668    84401   221319 |    21415    21308     35 |  1.198 % |
441.66/441.69	c |    879654 |     668    84401   221319 |    21415    20174     36 |  1.198 % |
442.56/442.51	c |    881704 |     668    84401   221319 | 2147483647    22224     37 |  1.184 % |
444.16/444.13	c |    885801 |     668    84401   221319 | 2147483647    26321     38 |  1.184 % |
448.26/448.25	c |    893994 |     668    84401   221319 | 2147483647    34514     37 |  1.198 % |
448.56/448.52	c |    894509 |     668    84401   221319 | 2147483647    35029     37 |  1.198 % |
448.66/448.71	c |    895021 |     668    84401   221319 | 2147483647    35541     38 |  1.184 % |
449.26/449.31	c |    896046 |     668    84401   221319 | 2147483647    36566     38 |  1.184 % |
449.56/449.57	c |    896558 |     668    84401   221319 | 2147483647    37078     39 |  1.184 % |
449.86/449.83	c |    897071 |     668    84401   221319 | 2147483647    37591     40 |  1.184 % |
450.46/450.42	c |    898096 |     668    84401   221319 | 2147483647    38616     40 |  1.184 % |
451.46/451.49	c |    900144 |     668    84401   221319 |    40520    40664     43 |  1.184 % |
451.86/451.83	c |    900657 |     668    84401   221319 |    40520    35753     44 |  1.199 % |
452.06/452.08	c |    901170 |     668    84401   221319 |    40520    36266     44 |  1.199 % |
452.66/452.63	c |    902195 |     668    84401   221319 |    40520    37291     43 |  1.199 % |
452.86/452.91	c |    902707 |     668    84401   221319 |    40520    37803     43 |  1.199 % |
453.16/453.17	c |    903219 |     668    84401   221319 |    40520    38315     43 |  1.199 % |
453.66/453.69	c |    904244 |     668    84401   221319 |    40520    39340     43 |  1.184 % |
454.86/454.89	c |    906292 |     668    84401   221319 |    40520    35300     43 |  1.199 % |
457.56/457.59	c |    910392 |     668    84401   221319 |    39010    33015     42 |  1.199 % |
457.86/457.88	c |    910904 |     668    84401   221319 |    39010    33527     42 |  1.198 % |
458.16/458.18	c |    911418 |     668    84401   221319 |    39010    34041     41 |  1.199 % |
458.76/458.73	c |    912443 |     668    84401   221319 |    39010    35066     41 |  1.200 % |
459.06/459.03	c |    912957 |     668    84401   221319 |    39010    35580     41 |  1.184 % |
459.36/459.33	c |    913470 |     668    84401   221319 |    39010    36093     41 |  1.196 % |
459.96/459.92	c |    914496 |     668    84401   221319 |    39010    37119     41 |  1.196 % |
461.16/461.16	c |    916544 |     668    84401   221319 |    39010    39167     41 |  1.184 % |
461.56/461.52	c |    917059 |     668    84401   221319 |    39010    33170     42 |  1.184 % |
461.86/461.84	c |    917572 |     668    84401   221319 |    39010    33683     42 |  1.184 % |
462.66/462.66	c |    918597 |     668    84401   221319 |    39010    34708     43 |  1.184 % |
463.06/463.08	c |    919110 |     668    84401   221319 |    39010    35221     43 |  1.184 % |
463.36/463.38	c |    919624 |     668    84401   221319 |    39010    35735     43 |  1.199 % |
463.96/463.99	c |    920649 |     668    84401   221319 |    36111    30531     42 |  1.184 % |
464.96/465.00	c |    922699 |     668    84401   221319 |    36111    32581     42 |  1.184 % |
467.46/467.42	c |    926797 |     668    84401   221319 |    36111    30523     37 |  1.184 % |
471.46/471.46	c |    934990 |     667    84149   220663 |    33726    25829     37 |  1.346 % |
480.66/480.63	c |    951374 |     666    84149   220663 |    28214    25437     47 |  1.480 % |
497.16/497.19	c |    984143 |     666    83898   220008 |    25470    23739     34 |  1.480 % |
527.17/527.11	c |   1049679 |     666    83898   220008 |    24141    22911     34 |  1.481 % |
553.17/553.12	c ===============================================================================
553.17/553.12	c restarts              : 512
553.17/553.12	c conflicts             : 1111012        (2009 /sec)
553.17/553.12	c decisions             : 1937898        (1.14 % random) (3504 /sec)
553.17/553.12	c propagations          : 127946894      (231373 /sec)
553.17/553.12	c conflict literals     : 49308880       (41.46 % deleted)
553.17/553.12	c Memory used           : 21.89 MB
553.17/553.12	c CPU time              : 552.99 s
553.17/553.12	c 
553.17/553.12	s SATISFIABLE
553.17/553.13	s SATISFIABLE
553.17/553.13	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 0

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820621-1242459685/watcher-1820621-1242459685 -o /tmp/evaluation-result-1820621-1242459685/solver-1820621-1242459685 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820621-1242459685.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 0.99 0.99 2/93 15631
/proc/meminfo: memFree=1198372/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2412 CPUtime=0
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 366 643 0 0 0 0 0 0 25 0 1 0 1010469569 2469888 276 4294967295 134512640 135169312 3218167904 3218166440 3085364974 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15631/statm: 603 276 235 161 0 42 0
[pid=15635] ppid=15631 vsize=956 CPUtime=0
/proc/15635/stat : 15635 (SatELite_releas) R 15631 15631 20977 0 -1 4202496 123 0 0 0 0 0 0 0 18 0 1 0 1010469569 978944 59 4294967295 134512640 135223648 3214738704 3214737660 134563184 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15635/statm: 239 61 46 174 0 64 0

[startup+0.056778 s]
/proc/loadavg: 0.92 0.99 0.99 2/93 15631
/proc/meminfo: memFree=1198372/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2412 CPUtime=0
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 366 643 0 0 0 0 0 0 25 0 1 0 1010469569 2469888 276 4294967295 134512640 135169312 3218167904 3218166440 3085364974 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15631/statm: 603 276 235 161 0 42 0
[pid=15635] ppid=15631 vsize=5736 CPUtime=0.06
/proc/15635/stat : 15635 (SatELite_releas) R 15631 15631 20977 0 -1 4202496 1297 0 0 0 4 2 0 0 18 0 1 0 1010469569 5873664 1233 4294967295 134512640 135223648 3214738704 3214737712 134547620 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15635/statm: 1434 1233 47 174 0 1259 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8148

[startup+0.116751 s]
/proc/loadavg: 0.92 0.99 0.99 2/93 15631
/proc/meminfo: memFree=1198372/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2412 CPUtime=0
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 366 643 0 0 0 0 0 0 25 0 1 0 1010469569 2469888 276 4294967295 134512640 135169312 3218167904 3218166440 3085364974 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15631/statm: 603 276 235 161 0 42 0
[pid=15635] ppid=15631 vsize=5740 CPUtime=0.12
/proc/15635/stat : 15635 (SatELite_releas) R 15631 15631 20977 0 -1 4202496 1326 0 0 0 10 2 0 0 18 0 1 0 1010469569 5877760 1262 4294967295 134512640 135223648 3214738704 3214735460 134688139 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15635/statm: 1435 1262 72 174 0 1260 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8152

[startup+0.316731 s]
/proc/loadavg: 0.92 0.99 0.99 2/93 15631
/proc/meminfo: memFree=1198372/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2416

[startup+0.716691 s]
/proc/loadavg: 0.92 0.99 0.99 2/93 15631
/proc/meminfo: memFree=1198372/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2416

[startup+1.51661 s]
/proc/loadavg: 0.92 0.99 0.99 2/95 15637
/proc/meminfo: memFree=1191636/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=7272 CPUtime=1.39
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 1752 0 0 0 137 2 0 0 25 0 1 0 1010469582 7446528 1687 4294967295 134512640 135216591 3218960752 3218958944 134528969 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 1818 1687 75 172 0 1645 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9688

[startup+3.11646 s]
/proc/loadavg: 0.92 0.99 0.99 2/95 15638
/proc/meminfo: memFree=1190768/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=8724 CPUtime=2.99
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 2116 0 0 0 297 2 0 0 25 0 1 0 1010469582 8933376 2051 4294967295 134512640 135216591 3218960752 3218958944 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 2181 2051 75 172 0 2008 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11140

[startup+6.31614 s]
/proc/loadavg: 0.93 0.99 0.99 2/95 15821
/proc/meminfo: memFree=1187588/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=11316 CPUtime=6.19
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 2760 0 0 0 616 3 0 0 25 0 1 0 1010469582 11587584 2695 4294967295 134512640 135216591 3218960752 3218958944 134528894 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 2829 2695 75 172 0 2656 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13732

[startup+12.7155 s]
/proc/loadavg: 0.93 0.99 0.99 2/95 15822
/proc/meminfo: memFree=1184212/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=14840 CPUtime=12.59
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 3636 0 0 0 1256 3 0 0 25 0 1 0 1010469582 15196160 3571 4294967295 134512640 135216591 3218960752 3218958944 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 3710 3571 75 172 0 3537 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 17256

[startup+25.5143 s]
/proc/loadavg: 0.95 0.99 0.99 2/95 15822
/proc/meminfo: memFree=1180836/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=17744 CPUtime=25.39
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 4362 0 0 0 2536 3 0 0 25 0 1 0 1010469582 18169856 4297 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 4436 4297 75 172 0 4263 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 20160

[startup+51.1117 s]
/proc/loadavg: 0.96 0.99 0.99 4/95 15824
/proc/meminfo: memFree=1180752/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=17876 CPUtime=50.99
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 4407 0 0 0 5095 4 0 0 25 0 1 0 1010469582 18305024 4342 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 4469 4342 75 172 0 4296 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 20292

[startup+102.317 s]
/proc/loadavg: 0.98 0.99 0.99 2/95 16011
/proc/meminfo: memFree=1180372/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=18168 CPUtime=102.2
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 4463 0 0 0 10216 4 0 0 25 0 1 0 1010469582 18604032 4398 4294967295 134512640 135216591 3218960752 3218958944 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 4542 4398 75 172 0 4369 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 20584

[startup+162.311 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 16199
/proc/meminfo: memFree=1179488/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=18728 CPUtime=162.2
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 4595 0 0 0 16215 5 0 0 25 0 1 0 1010469582 19177472 4530 4294967295 134512640 135216591 3218960752 3218958944 134529032 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 4682 4530 75 172 0 4509 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 21144

[startup+222.315 s]
/proc/loadavg: 1.20 1.04 1.01 2/95 16391
/proc/meminfo: memFree=1179124/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=18996 CPUtime=222.21
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 4656 0 0 0 22216 5 0 0 25 0 1 0 1010469582 19451904 4591 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 4749 4591 75 172 0 4576 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 21412

[startup+282.319 s]
/proc/loadavg: 1.25 1.09 1.03 2/95 16579
/proc/meminfo: memFree=1176272/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=21652 CPUtime=282.22
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5336 0 0 0 28216 6 0 0 25 0 1 0 1010469582 22171648 5271 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 5413 5271 75 172 0 5240 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 24068

[startup+342.323 s]
/proc/loadavg: 1.09 1.07 1.02 2/95 16769
/proc/meminfo: memFree=1176132/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=21824 CPUtime=342.23
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5345 0 0 0 34217 6 0 0 25 0 1 0 1010469582 22347776 5280 4294967295 134512640 135216591 3218960752 3218958944 134529211 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 5456 5280 75 172 0 5283 0
Current children cumulated CPU time (s) 342.36
Current children cumulated vsize (KiB) 24240

[startup+402.307 s]
/proc/loadavg: 1.03 1.05 1.01 2/95 16956
/proc/meminfo: memFree=1176148/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=21824 CPUtime=402.22
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5364 0 0 0 40216 6 0 0 25 0 1 0 1010469582 22347776 5299 4294967295 134512640 135216591 3218960752 3218958944 134529041 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 5456 5299 75 172 0 5283 0
Current children cumulated CPU time (s) 402.35
Current children cumulated vsize (KiB) 24240

[startup+462.311 s]
/proc/loadavg: 1.01 1.04 1.01 3/95 17144
/proc/meminfo: memFree=1176016/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=21960 CPUtime=462.23
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5387 0 0 0 46217 6 0 0 25 0 1 0 1010469582 22487040 5322 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 5490 5322 75 172 0 5317 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 24376

[startup+522.315 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17335
/proc/meminfo: memFree=1176024/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22268 CPUtime=522.24
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5446 0 0 0 52218 6 0 0 25 0 1 0 1010469582 22802432 5381 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15637/statm: 5567 5381 75 172 0 5394 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 24684

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

[startup+537.514 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17337
/proc/meminfo: memFree=1175900/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22268 CPUtime=537.44
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5454 0 0 0 53738 6 0 0 25 0 1 0 1010469582 22802432 5389 4294967295 134512640 135216591 3218960752 3218958944 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5567 5389 75 172 0 5394 0
Current children cumulated CPU time (s) 537.57
Current children cumulated vsize (KiB) 24684

[startup+543.913 s]
/proc/loadavg: 1.00 1.03 1.00 3/95 17338
/proc/meminfo: memFree=1175900/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22268 CPUtime=543.84
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5471 0 0 0 54378 6 0 0 25 0 1 0 1010469582 22802432 5406 4294967295 134512640 135216591 3218960752 3218958944 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5567 5406 75 172 0 5394 0
Current children cumulated CPU time (s) 543.97
Current children cumulated vsize (KiB) 24684

[startup+547.113 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17521
/proc/meminfo: memFree=1175592/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22268 CPUtime=547.04
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5476 0 0 0 54698 6 0 0 25 0 1 0 1010469582 22802432 5411 4294967295 134512640 135216591 3218960752 3218958944 134529032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5567 5411 75 172 0 5394 0
Current children cumulated CPU time (s) 547.17
Current children cumulated vsize (KiB) 24684

[startup+550.313 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17521
/proc/meminfo: memFree=1175608/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22268 CPUtime=550.24
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5476 0 0 0 55018 6 0 0 25 0 1 0 1010469582 22802432 5411 4294967295 134512640 135216591 3218960752 3218958944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5567 5411 75 172 0 5394 0
Current children cumulated CPU time (s) 550.37
Current children cumulated vsize (KiB) 24684

[startup+551.912 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17521
/proc/meminfo: memFree=1175656/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22416 CPUtime=551.84
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5481 0 0 0 55178 6 0 0 25 0 1 0 1010469582 22953984 5416 4294967295 134512640 135216591 3218960752 3218958944 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5604 5416 75 172 0 5431 0
Current children cumulated CPU time (s) 551.97
Current children cumulated vsize (KiB) 24832

[startup+552.712 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17521
/proc/meminfo: memFree=1175656/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22416 CPUtime=552.64
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5481 0 0 0 55258 6 0 0 25 0 1 0 1010469582 22953984 5416 4294967295 134512640 135216591 3218960752 3218958944 134529032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5604 5416 75 172 0 5431 0
Current children cumulated CPU time (s) 552.77
Current children cumulated vsize (KiB) 24832

[startup+553.112 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 17521
/proc/meminfo: memFree=1175656/2074464 swapFree=1951868/1959888
[pid=15631] ppid=15629 vsize=2416 CPUtime=0.13
/proc/15631/stat : 15631 (SatELiteGTI) S 15629 15631 20977 0 -1 4194304 385 1971 0 0 0 0 11 2 24 0 1 0 1010469569 2473984 277 4294967295 134512640 135169312 3218167904 3218164120 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15631/statm: 604 277 235 161 0 43 0
[pid=15637] ppid=15631 vsize=22416 CPUtime=553.04
/proc/15637/stat : 15637 (minisat_static) R 15631 15631 20977 0 -1 4202496 5481 0 0 0 55298 6 0 0 25 0 1 0 1010469582 22953984 5416 4294967295 134512640 135216591 3218960752 3218958944 134528962 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15637/statm: 5604 5416 75 172 0 5431 0
Current children cumulated CPU time (s) 553.17
Current children cumulated vsize (KiB) 24832

Child status: 10
Real time (s): 553.136
CPU time (s): 553.2
CPU user time (s): 553.1
CPU system time (s): 0.1
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 24832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 553.1
system time used= 0.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8308
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= 24
involuntary context switches= 568

runsolver used 0 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on tipi10 at 2009-05-16 09:41:25
IDJOB=1820621
IDBENCH=20494
IDSOLVER=658
FILE ID=tipi10/1820621-1242459685
PBS_JOBID=
Free space on /tmp= 5406 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820621-1242459685/watcher-1820621-1242459685 -o /tmp/evaluation-result-1820621-1242459685/solver-1820621-1242459685 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820621-1242459685.cnf

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

MD5SUM BENCH= 7e9eba7a609bdbcf7c3a7e0f5c07ab04
RANDOM SEED= 1307066038

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:       1198388 kB
Buffers:         33524 kB
Cached:         741332 kB
SwapCached:       2896 kB
Active:         379072 kB
Inactive:       405944 kB
HighTotal:     1178688 kB
HighFree:       427968 kB
LowTotal:       895776 kB
LowFree:        770420 kB
SwapTotal:     1959888 kB
SwapFree:      1951868 kB
Dirty:            2832 kB
Writeback:           0 kB
AnonPages:        9156 kB
Mapped:           3156 kB
Slab:            81840 kB
PageTables:        540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90596 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5406 MiB
End job on tipi10 at 2009-05-16 09:50:38