Trace number 1821431

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.01 1199.93

General information on the benchmark

NameAPPLICATIONS/
c32sat/post-c32s-ss-8.cnf
MD5SUM9d3d3bb9b296880c7463693ae665aafd
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 variables53752
Number of clauses148393
Sum of the clauses size346249
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298928
Number of clauses of size 349464
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.13/0.13	c ==============================================================================
0.13/0.13	c |           |     ORIGINAL     |              LEARNT              |          |
0.13/0.13	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.13/0.13	c ==============================================================================
0.13/0.13	c |         0 |  135726   315843 |   40717       0        0     nan |  0.000 % |
1.63/1.63	c |         0 |   65966   210427 |      --       0       --      -- |     --   | -69152/-103784
1.63/1.63	c ==============================================================================
1.63/1.63	c Result  :   #vars: 13761   #clauses: 65966   #literals: 210427
1.63/1.63	c CPU time:   1.59 s
1.63/1.63	c ==============================================================================
1.73/1.71	c This is MiniSat 2.0 beta
1.73/1.71	c WARNING: for repeatability, setting FPU to use double precision
1.73/1.71	c ============================[ Problem Statistics ]=============================
1.73/1.71	c |                                                                             |
1.73/1.71	c |  Number of variables:  13761                                                |
1.73/1.71	c |  Number of clauses:    65966                                                |
1.73/1.76	c |  Parsing time:         0.03         s                                       |
1.73/1.76	c ============================[ Search Statistics ]==============================
1.73/1.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.73/1.76	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.73/1.76	c ===============================================================================
1.73/1.76	c |         0 |   13761    65966   210427 |    21988        0    nan |  0.000 % |
1.73/1.81	c |       513 |   13761    65966   210427 |    21988      513     14 |  0.000 % |
1.73/1.88	c |      1025 |   13761    65966   210427 |    21988     1025     15 |  0.000 % |
1.73/1.92	c |      1538 |   13761    65966   210427 |    21988     1538     15 |  0.000 % |
1.73/2.09	c |      2562 |   13761    65966   210427 |    21988     2562     17 |  0.000 % |
2.23/2.27	c |      3075 |   13761    65966   210427 |    21988     3075     20 |  0.000 % |
2.23/2.30	c |      3587 |   13761    65966   210427 |    21988     3587     19 |  0.000 % |
2.53/2.59	c |      4612 |   13761    65966   210427 |    21988     4612     26 |  0.000 % |
3.13/3.20	c |      6662 |   13761    65966   210427 |    21988     6662     33 |  0.000 % |
3.33/3.34	c |      7174 |   13761    65966   210427 |    21988     7174     33 |  0.000 % |
3.43/3.43	c |      7686 |   13761    65966   210427 |    21988     7686     32 |  0.000 % |
3.53/3.58	c |      8710 |   13761    65966   210427 |    21988     8710     33 |  0.000 % |
3.63/3.65	c |      9222 |   13761    65966   210427 |    21988     9222     32 |  0.000 % |
3.73/3.75	c |      9734 |   13761    65966   210427 |    21988     9734     31 |  0.000 % |
3.93/3.94	c |     10758 |   13761    65966   210427 | 2147483647    10758     31 |  0.000 % |
4.53/4.58	c |     12806 |   13761    65966   210427 | 2147483647    12806     39 |  0.000 % |
5.63/5.67	c |     16902 |   13761    65966   210427 | 2147483647    16902     36 |  0.000 % |
5.83/5.83	c |     17414 |   13761    65966   210427 | 2147483647    17414     35 |  0.000 % |
5.93/5.96	c |     17928 |   13760    65961   210415 | 2147483647    17927     35 |  0.007 % |
6.23/6.25	c |     18952 |   13760    65961   210415 | 2147483647    18951     35 |  0.007 % |
6.23/6.30	c |     19464 |   13760    65961   210415 | 2147483647    19463     34 |  0.007 % |
6.43/6.43	c |     19976 |   13760    65961   210415 | 2147483647    19975     34 |  0.007 % |
6.83/6.86	c |     21003 |   13760    65961   210415 | 2147483647    21002     35 |  0.007 % |
7.23/7.26	c |     23051 |   13760    65961   210415 | 2147483647    23050     34 |  0.007 % |
7.33/7.34	c |     23564 |   13759    65958   210409 | 2147483647    23561     33 |  0.015 % |
7.43/7.47	c |     24076 |   13759    65958   210409 | 2147483647    24073     33 |  0.015 % |
7.53/7.59	c |     25100 |   13759    65958   210409 | 2147483647    25097     33 |  0.015 % |
7.73/7.72	c |     25612 |   13759    65958   210409 | 2147483647    25609     32 |  0.015 % |
8.03/8.05	c |     26124 |   13759    65958   210409 | 2147483647    26121     32 |  0.015 % |
8.33/8.38	c |     27148 |   13759    65958   210409 | 2147483647    27145     33 |  0.015 % |
8.93/8.99	c |     29196 |   13759    65958   210409 | 2147483647    29193     32 |  0.015 % |
10.13/10.15	c |     33293 |   13759    65958   210409 | 2147483647    33290     31 |  0.015 % |
12.73/12.75	c |     41485 |   13759    65958   210409 | 2147483647    41482     34 |  0.015 % |
12.93/12.92	c |     41999 |   13759    65958   210409 | 2147483647    41996     33 |  0.015 % |
13.13/13.19	c |     42512 |   13759    65958   210409 | 2147483647    42509     33 |  0.015 % |
13.83/13.81	c |     43536 |   13759    65958   210409 | 2147483647    43533     33 |  0.015 % |
14.03/14.04	c |     44048 |   13759    65958   210409 | 2147483647    44045     33 |  0.015 % |
14.13/14.18	c |     44560 |   13759    65958   210409 | 2147483647    44557     33 |  0.015 % |
14.53/14.56	c |     45584 |   13759    65958   210409 | 2147483647    45581     33 |  0.015 % |
15.63/15.65	c |     47632 |   13759    65958   210409 | 2147483647    47629     32 |  0.015 % |
15.83/15.84	c |     48144 |   13759    65958   210409 | 2147483647    48141     32 |  0.015 % |
16.03/16.09	c |     48656 |   13759    65958   210409 | 2147483647    48653     32 |  0.015 % |
16.33/16.39	c |     49681 |   13759    65958   210409 | 2147483647    49678     32 |  0.015 % |
16.53/16.53	c |     50193 |   13759    65958   210409 | 2147483647    50190     32 |  0.015 % |
16.83/16.82	c |     50705 |   13759    65958   210409 | 2147483647    50702     32 |  0.015 % |
17.23/17.31	c |     51730 |   13759    65958   210409 | 2147483647    51727     32 |  0.015 % |
18.23/18.27	c |     53780 |   13759    65958   210409 | 2147483647    53777     33 |  0.015 % |
20.13/20.13	c |     57878 |   13758    65955   210403 | 2147483647    57874     33 |  0.022 % |
20.33/20.34	c |     58390 |   13758    65955   210403 | 2147483647    58386     33 |  0.022 % |
20.53/20.54	c |     58903 |   13758    65955   210403 | 2147483647    58899     33 |  0.022 % |
21.03/21.09	c |     59929 |   13758    65955   210403 | 2147483647    59925     33 |  0.022 % |
21.23/21.26	c |     60441 |   13758    65955   210403 | 2147483647    60437     33 |  0.022 % |
21.43/21.48	c |     60953 |   13758    65955   210403 | 2147483647    60949     33 |  0.022 % |
22.03/22.02	c |     61978 |   13758    65955   210403 | 2147483647    61974     33 |  0.022 % |
23.23/23.21	c |     64027 |   13758    65955   210403 | 2147483647    64023     34 |  0.022 % |
23.53/23.53	c |     64541 |   13758    65955   210403 | 2147483647    64537     34 |  0.022 % |
23.73/23.79	c |     65053 |   13758    65955   210403 | 2147483647    65049     34 |  0.022 % |
24.33/24.32	c |     66078 |   13758    65955   210403 | 2147483647    66074     34 |  0.022 % |
24.63/24.63	c |     66590 |   13758    65955   210403 | 2147483647    66586     34 |  0.022 % |
24.83/24.88	c |     67102 |   13758    65955   210403 | 2147483647    67098     34 |  0.022 % |
25.43/25.50	c |     68129 |   13758    65955   210403 | 2147483647    68125     34 |  0.022 % |
26.53/26.57	c |     70177 |   13758    65955   210403 | 2147483647    70173     34 |  0.022 % |
28.83/28.87	c |     74273 |   13758    65955   210403 | 2147483647    74269     34 |  0.022 % |
34.23/34.22	c |     82466 |   13757    65952   210397 | 2147483647    82461     36 |  0.029 % |
45.83/45.86	c |     98851 |   13757    65952   210397 | 2147483647    98846     38 |  0.029 % |
46.23/46.30	c |     99365 |   13757    65952   210397 | 2147483647    99360     38 |  0.029 % |
46.73/46.76	c |     99878 |   13757    65952   210397 | 2147483647    99873     38 |  0.029 % |
47.43/47.45	c |    100902 |   13757    65952   210397 | 2147483647   100897     38 |  0.029 % |
47.73/47.75	c |    101415 |   13757    65952   210397 | 2147483647   101410     38 |  0.029 % |
47.93/47.95	c |    101927 |   13757    65952   210397 | 2147483647   101922     37 |  0.029 % |
48.53/48.53	c |    102951 |   13757    65952   210397 | 2147483647   102946     37 |  0.029 % |
50.03/50.08	c |    104999 |   13757    65952   210397 | 2147483647   104994     37 |  0.029 % |
50.33/50.39	c |    105511 |   13757    65952   210397 | 2147483647   105506     37 |  0.029 % |
50.73/50.76	c |    106023 |   13757    65952   210397 | 2147483647   106018     37 |  0.029 % |
51.63/51.69	c |    107048 |   13757    65952   210397 | 2147483647   107043     38 |  0.029 % |
52.13/52.11	c |    107560 |   13757    65952   210397 | 2147483647   107555     38 |  0.029 % |
52.43/52.42	c |    108072 |   13757    65952   210397 | 2147483647   108067     38 |  0.029 % |
53.03/53.08	c |    109096 |   13757    65952   210397 | 2147483647   109091     38 |  0.029 % |
54.73/54.75	c |    111144 |   13757    65952   210397 | 2147483647   111139     38 |  0.029 % |
57.93/57.96	c |    115242 |   13757    65952   210397 | 2147483647   115237     38 |  0.029 % |
58.23/58.29	c |    115754 |   13757    65952   210397 | 2147483647   115749     38 |  0.029 % |
58.63/58.64	c |    116267 |   13757    65952   210397 | 2147483647   116262     38 |  0.029 % |
59.53/59.60	c |    117291 |   13757    65952   210397 | 2147483647   117286     37 |  0.029 % |
59.93/59.93	c |    117804 |   13757    65952   210397 | 2147483647   117799     37 |  0.029 % |
60.23/60.27	c |    118316 |   13757    65952   210397 | 2147483647   118311     37 |  0.029 % |
61.03/61.04	c |    119344 |   13757    65952   210397 | 2147483647   119339     37 |  0.029 % |
63.23/63.24	c |    121392 |   13757    65952   210397 | 2147483647   121387     38 |  0.029 % |
63.53/63.59	c |    121907 |   13757    65952   210397 | 2147483647   121902     38 |  0.029 % |
64.03/64.03	c |    122419 |   13757    65952   210397 | 2147483647   122414     38 |  0.029 % |
64.73/64.74	c |    123444 |   13757    65952   210397 | 2147483647   123439     38 |  0.029 % |
65.13/65.16	c |    123957 |   13757    65952   210397 | 2147483647   123952     38 |  0.029 % |
65.73/65.71	c |    124470 |   13757    65952   210397 | 2147483647   124465     38 |  0.029 % |
66.43/66.46	c |    125495 |   13757    65952   210397 | 2147483647   125490     38 |  0.029 % |
67.83/67.81	c |    127544 |   13757    65952   210397 | 2147483647   127539     38 |  0.029 % |
72.03/72.07	c |    131640 |   13757    65952   210397 | 2147483647   131635     39 |  0.029 % |
77.93/77.99	c |    139832 |   13755    65949   210391 | 2147483647   139824     39 |  0.044 % |
78.53/78.53	c |    140348 |   13755    65949   210391 | 2147483647   140340     39 |  0.044 % |
79.43/79.50	c |    140860 |   13755    65949   210391 | 2147483647   140852     39 |  0.044 % |
80.83/80.83	c |    141887 |   13755    65949   210391 | 2147483647   141879     39 |  0.044 % |
81.23/81.30	c |    142400 |   13755    65949   210391 | 2147483647   142392     39 |  0.044 % |
81.83/81.81	c |    142915 |   13755    65949   210391 | 2147483647   142907     39 |  0.044 % |
82.54/82.57	c |    143940 |   13755    65949   210391 | 2147483647   143932     39 |  0.044 % |
85.43/85.44	c |    145988 |   13755    65946   210385 | 2147483647   145980     39 |  0.044 % |
86.03/86.01	c |    146500 |   13755    65946   210385 | 2147483647   146492     39 |  0.044 % |
86.33/86.39	c |    147013 |   13755    65946   210385 | 2147483647   147005     39 |  0.044 % |
87.13/87.20	c |    148037 |   13755    65946   210385 | 2147483647   148029     40 |  0.044 % |
87.83/87.82	c |    148549 |   13755    65946   210385 | 2147483647   148541     39 |  0.044 % |
88.23/88.24	c |    149061 |   13755    65946   210385 | 2147483647   149053     39 |  0.044 % |
89.23/89.24	c |    150085 |   13755    65946   210385 |   149992   150077     40 |  0.044 % |
90.93/90.97	c |    152133 |   13755    65946   210385 |   149992   134712     38 |  0.044 % |
94.64/94.63	c |    156231 |   13735    65764   209878 |   149992   138381     39 |  0.189 % |
95.63/95.65	c |    156743 |   13735    65764   209878 |   149992   138893     39 |  0.189 % |
96.03/96.07	c |    157255 |   13735    65764   209878 |   149992   139405     39 |  0.189 % |
96.73/96.71	c |    158279 |   13735    65764   209878 |   149992   140429     39 |  0.189 % |
97.03/97.03	c |    158791 |   13735    65764   209878 |   149992   140941     39 |  0.189 % |
98.03/98.10	c |    159303 |   13735    65764   209878 |   149992   141453     39 |  0.189 % |
99.04/99.10	c |    160331 |   13735    65764   209878 | 2147483647   142481     39 |  0.189 % |
101.33/101.40	c |    162379 |   13735    65764   209878 | 2147483647   144529     39 |  0.189 % |
101.63/101.64	c |    162891 |   13735    65764   209878 | 2147483647   145041     39 |  0.189 % |
102.34/102.39	c |    163403 |   13735    65764   209878 | 2147483647   145553     39 |  0.189 % |
103.13/103.15	c |    164428 |   13735    65764   209878 | 2147483647   146578     39 |  0.189 % |
103.23/103.30	c |    164940 |   13735    65764   209878 | 2147483647   147090     39 |  0.189 % |
103.83/103.82	c |    165453 |   13735    65764   209878 | 2147483647   147603     39 |  0.189 % |
104.73/104.76	c |    166478 |   13735    65764   209878 | 2147483647   148628     39 |  0.189 % |
106.63/106.70	c |    168526 |   13735    65764   209878 | 2147483647   150676     39 |  0.189 % |
111.24/111.27	c |    172623 |   13735    65764   209878 |   152150   154773     39 |  0.189 % |
118.74/118.73	c |    180815 |   13735    65764   209878 | 2147483647   146191     38 |  0.189 % |
133.04/133.09	c |    197199 |   13734    65754   209850 |   155370   145110     35 |  0.196 % |
169.44/169.43	c |    229967 |   13733    65744   209822 |   136697   130892     32 |  0.203 % |
169.84/169.84	c |    230480 |   13733    65744   209822 |   130925   131405     32 |  0.203 % |
170.64/170.71	c |    230992 |   13733    65744   209822 |   130925   118509     31 |  0.203 % |
171.54/171.60	c |    232017 |   13733    65744   209822 |   130925   119534     31 |  0.203 % |
172.14/172.18	c |    232529 |   13733    65744   209822 |   130925   120046     31 |  0.203 % |
172.64/172.64	c |    233041 |   13733    65744   209822 |   130925   120558     31 |  0.204 % |
173.44/173.43	c |    234065 |   13733    65744   209822 |   130925   121582     31 |  0.203 % |
174.64/174.69	c |    236121 |   13730    65714   209738 |   130925   123625     31 |  0.225 % |
175.24/175.27	c |    236634 |   13730    65714   209738 |   130925   124138     31 |  0.226 % |
176.04/176.06	c |    237149 |   13730    65714   209738 |   130925   124653     31 |  0.225 % |
176.94/176.92	c |    238175 |   13730    65714   209738 |   130925   125679     31 |  0.225 % |
177.74/177.79	c |    238690 |   13730    65714   209738 |   130925   126194     31 |  0.225 % |
178.04/178.04	c |    239202 |   13730    65714   209738 |   130925   126706     31 |  0.225 % |
178.84/178.85	c |    240226 |   13730    65714   209738 | 2147483647   127730     31 |  0.226 % |
181.55/181.58	c |    242274 |   13730    65714   209738 | 2147483647   129778     32 |  0.225 % |
185.24/185.25	c |    246370 |   13729    65704   209710 | 2147483647   133869     32 |  0.233 % |
185.74/185.79	c |    246882 |   13729    65704   209710 | 2147483647   134381     32 |  0.233 % |
186.34/186.35	c |    247394 |   13729    65704   209710 | 2147483647   134893     32 |  0.233 % |
187.24/187.23	c |    248418 |   13729    65704   209710 | 2147483647   135917     32 |  0.233 % |
187.44/187.50	c |    248931 |   13729    65704   209710 | 2147483647   136430     32 |  0.233 % |
188.24/188.25	c |    249444 |   13729    65704   209710 | 2147483647   136943     33 |  0.233 % |
189.25/189.31	c |    250470 |   13729    65704   209710 | 2147483647   137969     33 |  0.233 % |
192.04/192.09	c |    252518 |   13729    65704   209710 | 2147483647   140017     33 |  0.233 % |
192.44/192.46	c |    253031 |   13729    65704   209710 | 2147483647   140530     33 |  0.233 % |
193.04/193.08	c |    253543 |   13729    65704   209710 | 2147483647   141042     33 |  0.233 % |
194.44/194.46	c |    254567 |   13729    65704   209710 | 2147483647   142066     33 |  0.233 % |
194.94/194.94	c |    255079 |   13729    65704   209710 | 2147483647   142578     33 |  0.233 % |
195.34/195.38	c |    255591 |   13729    65704   209710 | 2147483647   143090     33 |  0.233 % |
196.74/196.71	c |    256617 |   13729    65704   209710 | 2147483647   144116     33 |  0.233 % |
199.54/199.55	c |    258665 |   13729    65704   209710 | 2147483647   146164     34 |  0.233 % |
204.34/204.31	c |    262761 |   13729    65704   209710 |   147499   133922     32 |  0.233 % |
218.35/218.36	c |    270953 |   13729    65704   209710 |   141163   142114     37 |  0.233 % |
218.96/218.93	c |    271466 |   13729    65704   209710 |   141163   125814     35 |  0.233 % |
219.55/219.57	c |    271978 |   13729    65704   209710 |   141163   126326     35 |  0.233 % |
220.65/220.64	c |    273002 |   13729    65704   209710 |   141163   127350     36 |  0.233 % |
221.05/221.07	c |    273514 |   13729    65704   209710 |   141163   127862     36 |  0.233 % |
221.75/221.74	c |    274026 |   13729    65704   209710 |   141163   128374     36 |  0.233 % |
223.45/223.44	c |    275057 |   13729    65704   209710 |   141163   129405     36 |  0.233 % |
226.05/226.04	c |    277105 |   13729    65704   209710 |   141163   131453     36 |  0.233 % |
226.75/226.75	c |    277617 |   13729    65704   209710 |   141163   131965     36 |  0.233 % |
227.35/227.39	c |    278129 |   13729    65704   209710 |   141163   132477     36 |  0.233 % |
228.15/228.16	c |    279153 |   13729    65704   209710 |   141163   133501     36 |  0.233 % |
228.65/228.64	c |    279666 |   13729    65704   209710 |   141163   134014     36 |  0.233 % |
229.05/229.08	c |    280179 |   13729    65704   209710 | 2147483647   134527     36 |  0.233 % |
230.25/230.30	c |    281203 |   13729    65704   209710 | 2147483647   135551     36 |  0.233 % |
233.35/233.39	c |    283251 |   13729    65704   209710 | 2147483647   137599     37 |  0.233 % |
239.26/239.27	c |    287347 |   13729    65704   209710 | 2147483647   141695     37 |  0.233 % |
239.86/239.91	c |    287859 |   13729    65704   209710 | 2147483647   142207     37 |  0.233 % |
240.65/240.70	c |    288371 |   13729    65704   209710 | 2147483647   142719     38 |  0.233 % |
242.05/242.02	c |    289395 |   13729    65704   209710 | 2147483647   143743     38 |  0.233 % |
242.65/242.71	c |    289907 |   13729    65704   209710 | 2147483647   144255     38 |  0.233 % |
243.15/243.14	c |    290419 |   13729    65704   209710 |   144348   144767     38 |  0.233 % |
244.25/244.24	c |    291444 |   13729    65704   209710 |   144348   129093     35 |  0.233 % |
246.15/246.16	c |    293494 |   13729    65704   209710 |   144348   131143     36 |  0.233 % |
246.95/246.94	c |    294006 |   13729    65704   209710 |   144348   131655     36 |  0.233 % |
247.55/247.61	c |    294518 |   13729    65704   209710 |   144348   132167     36 |  0.233 % |
248.55/248.61	c |    295545 |   13729    65704   209710 |   144348   133194     36 |  0.233 % |
249.15/249.21	c |    296058 |   13729    65704   209710 |   144348   133707     36 |  0.233 % |
249.75/249.77	c |    296571 |   13729    65704   209710 |   144348   134220     36 |  0.233 % |
250.85/250.82	c |    297595 |   13729    65704   209710 |   144348   135244     36 |  0.233 % |
253.35/253.33	c |    299643 |   13729    65704   209710 |   144348   137292     36 |  0.233 % |
257.25/257.30	c |    303740 |   13729    65704   209710 |   137649   124493     34 |  0.233 % |
267.45/267.49	c |    311932 |   13729    65704   209710 |   130754   117783     33 |  0.233 % |
288.05/288.12	c |    328317 |   13728    65701   209704 | 2147483647   134166     35 |  0.240 % |
288.75/288.80	c |    328830 |   13728    65701   209704 | 2147483647   134679     35 |  0.240 % |
289.35/289.38	c |    329342 |   13727    65701   209704 | 2147483647   135190     35 |  0.247 % |
290.95/290.94	c |    330367 |   13727    65701   209704 |   135848   136215     35 |  0.247 % |
291.85/291.85	c |    330880 |   13727    65701   209704 |   135848   122147     30 |  0.247 % |
292.35/292.34	c |    331392 |   13727    65701   209704 |   135848   122659     30 |  0.247 % |
293.35/293.34	c |    332416 |   13727    65701   209704 |   135848   123683     30 |  0.247 % |
296.55/296.54	c |    334465 |   13727    65701   209704 |   135848   125732     31 |  0.247 % |
297.15/297.15	c |    334978 |   13727    65691   209676 |   135848   126240     31 |  0.247 % |
297.85/297.82	c |    335490 |   13727    65691   209676 |   135848   126752     31 |  0.247 % |
299.65/299.65	c |    336515 |   13727    65691   209676 |   135848   127777     31 |  0.247 % |
300.35/300.38	c |    337027 |   13727    65691   209676 |   135848   128289     31 |  0.247 % |
301.25/301.23	c |    337540 |   13727    65691   209676 |   135848   128802     31 |  0.247 % |
302.45/302.47	c |    338567 |   13727    65691   209676 |   135848   129829     31 |  0.247 % |
305.15/305.20	c |    340616 |   13727    65691   209676 |   131262   131878     31 |  0.247 % |
308.55/308.54	c |    344712 |   13727    65691   209676 |   131262   121610     29 |  0.247 % |
309.16/309.13	c |    345224 |   13727    65691   209676 |   131262   122122     29 |  0.247 % |
309.35/309.34	c |    345736 |   13727    65691   209676 |   131262   122634     29 |  0.247 % |
311.45/311.42	c |    346762 |   13727    65691   209676 |   131262   123660     30 |  0.247 % |
311.95/311.93	c |    347275 |   13727    65691   209676 |   131262   124173     30 |  0.247 % |
312.46/312.45	c |    347787 |   13727    65691   209676 |   131262   124685     30 |  0.247 % |
313.75/313.78	c |    348811 |   13726    65688   209670 |   131262   125706     30 |  0.255 % |
315.65/315.72	c |    350859 |   13726    65688   209670 | 2147483647   127754     31 |  0.254 % |
316.15/316.11	c |    351371 |   13726    65688   209670 | 2147483647   128266     31 |  0.254 % |
316.35/316.39	c |    351883 |   13726    65688   209670 | 2147483647   128778     31 |  0.254 % |
316.86/316.86	c |    352909 |   13726    65688   209670 | 2147483647   129804     31 |  0.254 % |
317.15/317.14	c |    353422 |   13726    65688   209670 | 2147483647   130317     31 |  0.254 % |
317.55/317.59	c |    353935 |   13726    65688   209670 | 2147483647   130830     31 |  0.254 % |
319.55/319.56	c |    354961 |   13725    65688   209670 | 2147483647   131855     31 |  0.262 % |
322.25/322.25	c |    357009 |   13724    65685   209664 | 2147483647   133902     31 |  0.269 % |
329.15/329.15	c |    361106 |   13723    65685   209664 |   136893   137998     32 |  0.276 % |
337.35/337.38	c |    369298 |   13708    65672   209630 |   136893   130050     31 |  0.501 % |
337.85/337.88	c |    369810 |   13692    65381   208819 |   136893   130436     31 |  0.501 % |
338.55/338.54	c |    370322 |   13692    65381   208819 | 2147483647   130948     31 |  0.501 % |
339.65/339.68	c |    371346 |   13692    65381   208819 | 2147483647   131972     31 |  0.501 % |
340.35/340.32	c |    371859 |   13692    65381   208819 | 2147483647   132485     31 |  0.501 % |
340.75/340.77	c |    372375 |   13692    65381   208819 | 2147483647   133001     31 |  0.501 % |
341.65/341.67	c |    373399 |   13692    65381   208819 | 2147483647   134025     31 |  0.502 % |
343.15/343.16	c |    375447 |   13692    65381   208819 | 2147483647   136073     31 |  0.501 % |
344.15/344.18	c |    375961 |   13692    65381   208819 | 2147483647   136587     31 |  0.502 % |
344.45/344.46	c |    376473 |   13692    65381   208819 | 2147483647   137099     31 |  0.501 % |
346.15/346.14	c |    377498 |   13692    65381   208819 | 2147483647   138124     32 |  0.501 % |
346.85/346.86	c |    378011 |   13692    65381   208819 | 2147483647   138637     32 |  0.501 % |
347.75/347.79	c |    378523 |   13692    65381   208819 | 2147483647   139149     32 |  0.501 % |
349.05/349.04	c |    379547 |   13692    65381   208819 | 2147483647   140173     32 |  0.501 % |
353.25/353.24	c |    381596 |   13692    65381   208819 |   140627   142222     32 |  0.501 % |
361.66/361.65	c |    385692 |   13692    65381   208819 |   140627   128093     29 |  0.501 % |
362.36/362.35	c |    386206 |   13692    65381   208819 |   140627   128607     29 |  0.501 % |
362.86/362.85	c |    386718 |   13692    65381   208819 |   140627   129119     29 |  0.501 % |
364.56/364.58	c |    387742 |   13692    65381   208819 |   140627   130143     30 |  0.502 % |
365.26/365.24	c |    388255 |   13692    65381   208819 |   140627   130656     30 |  0.501 % |
365.86/365.82	c |    388771 |   13692    65381   208819 |   140627   131172     30 |  0.501 % |
367.16/367.21	c |    389796 |   13691    65371   208791 |   140627   132188     30 |  0.509 % |
369.96/369.98	c |    391847 |   13691    65371   208791 |   132392   118643     28 |  0.509 % |
370.66/370.66	c |    392359 |   13691    65371   208791 |   132392   119155     28 |  0.509 % |
370.86/370.92	c |    392872 |   13690    65371   208791 |   132392   119667     28 |  0.516 % |
372.56/372.55	c |    393896 |   13690    65371   208791 |   132392   120691     28 |  0.516 % |
373.26/373.27	c |    394411 |   13690    65371   208791 |   132392   121206     29 |  0.516 % |
373.76/373.76	c |    394923 |   13690    65371   208791 |   132392   121718     29 |  0.516 % |
375.36/375.33	c |    395947 |   13690    65371   208791 |   132392   122742     29 |  0.516 % |
378.06/378.09	c |    397995 |   13690    65368   208785 |   132392   124790     29 |  0.516 % |
384.36/384.38	c |    402093 |   13690    65368   208785 |   126799   115630     28 |  0.516 % |
395.16/395.20	c |    410285 |   13689    65365   208779 | 2147483647   123818     29 |  0.523 % |
422.46/422.44	c |    426669 |   13689    65365   208779 | 2147483647   140202     32 |  0.523 % |
487.57/487.58	c |    459437 |   13687    65346   208727 |   124909   117269     31 |  0.538 % |
597.47/597.50	c |    524973 |   13684    65323   208665 |   130552   120220     33 |  0.560 % |
598.27/598.30	c |    525486 |   13684    65323   208665 |   130552   120733     33 |  0.560 % |
599.26/599.28	c |    526001 |   13684    65323   208665 |   130552   121248     33 |  0.560 % |
601.16/601.14	c |    527025 |   13684    65323   208665 |   130552   122272     33 |  0.560 % |
602.16/602.15	c |    527538 |   13684    65323   208665 |   130552   122785     33 |  0.560 % |
603.36/603.35	c |    528051 |   13684    65323   208665 |   130552   123298     33 |  0.560 % |
605.26/605.25	c |    529076 |   13684    65323   208665 |   130552   124323     33 |  0.560 % |
610.26/610.24	c |    531124 |   13684    65323   208665 |   125247   112321     32 |  0.560 % |
611.06/611.03	c |    531637 |   13684    65323   208665 |   125247   112834     32 |  0.560 % |
611.47/611.46	c |    532149 |   13684    65323   208665 |   125247   113346     32 |  0.560 % |
613.27/613.29	c |    533176 |   13684    65323   208665 |   125247   114373     33 |  0.560 % |
613.67/613.71	c |    533691 |   13684    65323   208665 |   125247   114888     33 |  0.560 % |
614.47/614.51	c |    534204 |   13684    65323   208665 |   125247   115401     33 |  0.560 % |
615.67/615.67	c |    535228 |   13684    65323   208665 |   125247   116425     33 |  0.560 % |
618.37/618.33	c |    537276 |   13684    65323   208665 |   125247   118473     33 |  0.560 % |
621.77/621.72	c |    541373 |   13684    65323   208665 | 2147483647   122570     34 |  0.560 % |
622.27/622.29	c |    541885 |   13684    65323   208665 | 2147483647   123082     34 |  0.560 % |
622.57/622.53	c |    542397 |   13684    65323   208665 | 2147483647   123594     34 |  0.560 % |
623.57/623.52	c |    543421 |   13684    65323   208665 | 2147483647   124618     34 |  0.560 % |
623.97/623.97	c |    543935 |   13684    65323   208665 | 2147483647   125132     34 |  0.560 % |
624.87/624.83	c |    544448 |   13684    65323   208665 | 2147483647   125645     34 |  0.560 % |
625.87/625.85	c |    545472 |   13684    65323   208665 | 2147483647   126669     34 |  0.560 % |
628.17/628.16	c |    547520 |   13684    65323   208665 | 2147483647   128717     34 |  0.560 % |
628.47/628.49	c |    548032 |   13684    65323   208665 | 2147483647   129229     34 |  0.560 % |
628.87/628.87	c |    548544 |   13684    65323   208665 | 2147483647   129741     34 |  0.560 % |
629.97/629.94	c |    549568 |   13684    65323   208665 | 2147483647   130765     34 |  0.560 % |
630.57/630.59	c |    550080 |   13684    65323   208665 | 2147483647   131277     34 |  0.560 % |
630.97/630.96	c |    550592 |   13684    65323   208665 | 2147483647   131789     34 |  0.560 % |
632.17/632.14	c |    551616 |   13684    65323   208665 | 2147483647   132813     34 |  0.560 % |
635.97/636.00	c |    553664 |   13684    65323   208665 | 2147483647   134861     35 |  0.560 % |
641.87/641.83	c |    557760 |   13684    65323   208665 | 2147483647   138957     36 |  0.560 % |
651.17/651.21	c |    565953 |   13684    65323   208665 | 2147483647   147150     38 |  0.560 % |
651.67/651.65	c |    566465 |   13684    65323   208665 | 2147483647   147662     37 |  0.560 % |
652.37/652.39	c |    566978 |   13684    65323   208665 | 2147483647   148175     38 |  0.560 % |
654.57/654.57	c |    568002 |   13684    65323   208665 | 2147483647   149199     38 |  0.560 % |
655.47/655.42	c |    568514 |   13684    65323   208665 | 2147483647   149711     38 |  0.560 % |
656.27/656.26	c |    569026 |   13684    65323   208665 | 2147483647   150223     38 |  0.560 % |
658.37/658.33	c |    570052 |   13684    65323   208665 |   151197   151249     38 |  0.560 % |
661.27/661.27	c |    572100 |   13684    65323   208665 |   151197   133677     35 |  0.560 % |
661.87/661.90	c |    572613 |   13684    65323   208665 |   151197   134190     35 |  0.560 % |
662.47/662.48	c |    573125 |   13684    65323   208665 |   151197   134702     35 |  0.560 % |
664.57/664.55	c |    574149 |   13683    65320   208659 |   151197   135724     35 |  0.567 % |
665.57/665.53	c |    574661 |   13683    65320   208659 |   151197   136236     36 |  0.567 % |
666.77/666.73	c |    575173 |   13683    65320   208659 |   151197   136748     36 |  0.567 % |
668.37/668.34	c |    576198 |   13683    65320   208659 |   151197   137773     36 |  0.567 % |
670.87/670.86	c |    578246 |   13683    65320   208659 |   151197   139821     36 |  0.567 % |
676.27/676.26	c |    582342 |   13683    65320   208659 |   141577   128618     33 |  0.567 % |
676.77/676.80	c |    582854 |   13683    65320   208659 |   141577   129130     33 |  0.567 % |
677.57/677.60	c |    583367 |   13683    65320   208659 |   141577   129643     33 |  0.567 % |
678.87/678.86	c |    584391 |   13682    65317   208653 |   141577   130664     33 |  0.574 % |
679.47/679.45	c |    584903 |   13682    65317   208653 |   141577   131176     33 |  0.574 % |
680.27/680.27	c |    585417 |   13682    65317   208653 |   141577   131690     33 |  0.574 % |
681.27/681.29	c |    586442 |   13682    65317   208653 |   141577   132715     34 |  0.574 % |
683.97/683.94	c |    588493 |   13682    65317   208653 |   141577   134766     34 |  0.574 % |
684.57/684.52	c |    589007 |   13682    65317   208653 |   141577   135280     34 |  0.574 % |
684.77/684.80	c |    589520 |   13682    65317   208653 |   141577   135793     34 |  0.574 % |
686.48/686.47	c |    590544 |   13682    65317   208653 | 2147483647   136817     34 |  0.574 % |
687.47/687.45	c |    591057 |   13682    65317   208653 | 2147483647   137330     34 |  0.574 % |
688.07/688.05	c |    591569 |   13682    65317   208653 | 2147483647   137842     34 |  0.574 % |
689.47/689.47	c |    592593 |   13682    65317   208653 | 2147483647   138866     34 |  0.574 % |
693.57/693.58	c |    594642 |   13682    65317   208653 | 2147483647   140915     35 |  0.574 % |
699.17/699.15	c |    598738 |   13682    65317   208653 | 2147483647   145011     36 |  0.574 % |
708.07/708.10	c |    606934 |   13682    65317   208653 |   146273   137449     34 |  0.574 % |
736.17/736.16	c |    623318 |   13682    65317   208653 |   150516   134915     32 |  0.574 % |
737.58/737.56	c |    623831 |   13682    65317   208653 |   150516   135428     32 |  0.574 % |
738.68/738.65	c |    624343 |   13682    65317   208653 |   150516   135940     32 |  0.574 % |
740.18/740.13	c |    625367 |   13682    65317   208653 |   150516   136964     32 |  0.574 % |
740.88/740.87	c |    625880 |   13682    65317   208653 |   150516   137477     32 |  0.574 % |
741.58/741.57	c |    626393 |   13682    65317   208653 |   150516   137990     32 |  0.574 % |
743.18/743.16	c |    627419 |   13682    65317   208653 |   150516   139016     32 |  0.574 % |
748.68/748.68	c |    629468 |   13682    65317   208653 |   150516   141065     33 |  0.574 % |
749.78/749.80	c |    629981 |   13682    65317   208653 |   150516   141578     33 |  0.574 % |
750.68/750.64	c |    630493 |   13682    65317   208653 |   141598   142090     33 |  0.574 % |
752.68/752.64	c |    631519 |   13682    65317   208653 |   141598   126249     30 |  0.574 % |
753.88/753.90	c |    632031 |   13682    65317   208653 |   141598   126761     30 |  0.574 % |
755.18/755.12	c |    632543 |   13682    65317   208653 |   141598   127273     30 |  0.574 % |
758.18/758.15	c |    633567 |   13682    65317   208653 |   141598   128297     30 |  0.574 % |
761.28/761.25	c |    635616 |   13682    65317   208653 |   141598   130346     31 |  0.574 % |
767.48/767.46	c |    639712 |   13682    65317   208653 |   141598   134442     32 |  0.574 % |
768.98/768.98	c |    640225 |   13682    65317   208653 |   134731   134955     32 |  0.574 % |
769.78/769.76	c |    640739 |   13682    65317   208653 |   134731   119949     28 |  0.574 % |
770.98/771.00	c |    641767 |   13682    65317   208653 |   134731   120977     28 |  0.574 % |
771.68/771.69	c |    642282 |   13682    65317   208653 |   134731   121492     28 |  0.574 % |
772.48/772.48	c |    642794 |   13682    65317   208653 |   134731   122004     28 |  0.574 % |
773.78/773.81	c |    643818 |   13682    65317   208653 |   134731   123028     29 |  0.574 % |
776.38/776.32	c |    645866 |   13682    65317   208653 |   134731   125076     29 |  0.574 % |
776.88/776.85	c |    646378 |   13682    65317   208653 |   134731   125588     29 |  0.574 % |
777.68/777.68	c |    646890 |   13682    65317   208653 |   134731   126100     29 |  0.574 % |
778.68/778.65	c |    647914 |   13682    65317   208653 |   134731   127124     29 |  0.574 % |
779.38/779.36	c |    648427 |   13682    65317   208653 |   134731   127637     29 |  0.574 % |
780.08/780.04	c |    648939 |   13682    65317   208653 |   134731   128149     29 |  0.574 % |
781.18/781.13	c |    649963 |   13682    65317   208653 |   134731   129173     29 |  0.574 % |
784.08/784.08	c |    652011 |   13682    65317   208653 | 2147483647   131221     30 |  0.574 % |
789.48/789.45	c |    656108 |   13682    65317   208653 | 2147483647   135318     30 |  0.574 % |
803.68/803.66	c |    664300 |   13682    65317   208653 |   139212   126701     29 |  0.574 % |
804.18/804.14	c |    664812 |   13682    65317   208653 |   139212   127213     29 |  0.574 % |
804.78/804.78	c |    665324 |   13682    65317   208653 |   139212   127725     29 |  0.574 % |
805.98/805.99	c |    666348 |   13682    65317   208653 |   139212   128749     29 |  0.574 % |
806.68/806.63	c |    666860 |   13682    65317   208653 |   139212   129261     29 |  0.574 % |
807.58/807.56	c |    667374 |   13681    65313   208645 |   139212   129760     30 |  0.581 % |
809.69/809.70	c |    668398 |   13681    65313   208645 |   139212   130784     30 |  0.581 % |
813.38/813.36	c |    670448 |   13681    65313   208645 |   132386   132834     30 |  0.581 % |
813.88/813.88	c |    670960 |   13681    65313   208645 |   132386   117607     27 |  0.581 % |
814.18/814.14	c |    671472 |   13681    65313   208645 |   132386   118119     27 |  0.581 % |
815.68/815.67	c |    672496 |   13681    65313   208645 |   132386   119143     27 |  0.581 % |
816.38/816.32	c |    673009 |   13681    65313   208645 |   132386   119656     27 |  0.581 % |
816.98/816.95	c |    673521 |   13681    65313   208645 |   132386   120168     27 |  0.581 % |
818.28/818.27	c |    674546 |   13681    65313   208645 |   132386   121193     27 |  0.581 % |
821.08/821.05	c |    676598 |   13681    65313   208645 |   132386   123245     28 |  0.581 % |
828.18/828.15	c |    680695 |   13681    65313   208645 |   126647   127342     28 |  0.581 % |
828.98/828.97	c |    681209 |   13681    65313   208645 |   126647   114364     26 |  0.581 % |
829.88/829.89	c |    681721 |   13681    65313   208645 |   126647   114876     26 |  0.581 % |
831.28/831.24	c |    682746 |   13681    65313   208645 |   126647   115901     26 |  0.581 % |
831.98/831.95	c |    683258 |   13681    65313   208645 |   126647   116413     26 |  0.581 % |
832.98/832.99	c |    683771 |   13681    65313   208645 |   126647   116926     27 |  0.581 % |
835.08/835.10	c |    684796 |   13681    65313   208645 |   126647   117951     27 |  0.581 % |
838.38/838.33	c |    686850 |   13681    65313   208645 |   126647   120005     27 |  0.581 % |
838.48/838.46	c |    687362 |   13681    65313   208645 |   126647   120517     27 |  0.581 % |
839.18/839.15	c |    687874 |   13681    65313   208645 |   126647   121029     28 |  0.581 % |
841.48/841.45	c |    688898 |   13681    65313   208645 |   126647   122053     28 |  0.581 % |
842.48/842.42	c |    689413 |   13681    65313   208645 |   126647   122568     28 |  0.581 % |
843.18/843.16	c |    689925 |   13681    65313   208645 |   126647   123080     28 |  0.581 % |
844.48/844.43	c |    690949 |   13681    65313   208645 | 2147483647   124104     28 |  0.581 % |
850.39/850.33	c |    692999 |   13681    65313   208645 | 2147483647   126154     30 |  0.581 % |
857.68/857.71	c |    697096 |   13681    65313   208645 | 2147483647   130251     30 |  0.581 % |
873.49/873.49	c |    705289 |   13681    65313   208645 |   133158   121886     28 |  0.581 % |
904.29/904.23	c |    721675 |   13681    65313   208645 |   122646   124317     26 |  0.581 % |
964.48/964.45	c |    754444 |   13680    65308   208633 |   125658   117029     27 |  0.589 % |
965.18/965.17	c |    754957 |   13680    65308   208633 |   125658   117542     27 |  0.589 % |
965.68/965.69	c |    755472 |   13680    65308   208633 |   125658   118057     27 |  0.589 % |
967.08/967.08	c |    756496 |   13680    65308   208633 |   125658   119081     28 |  0.589 % |
967.58/967.52	c |    757008 |   13680    65308   208633 |   125658   119593     28 |  0.589 % |
968.58/968.56	c |    757520 |   13680    65308   208633 |   125658   120105     28 |  0.589 % |
970.18/970.19	c |    758544 |   13680    65308   208633 |   125658   121129     28 |  0.589 % |
972.68/972.67	c |    760592 |   13680    65308   208633 | 2147483647   123177     28 |  0.589 % |
973.38/973.33	c |    761104 |   13680    65308   208633 | 2147483647   123689     28 |  0.589 % |
973.78/973.75	c |    761616 |   13680    65308   208633 | 2147483647   124201     28 |  0.589 % |
975.08/975.01	c |    762640 |   13680    65308   208633 | 2147483647   125225     28 |  0.589 % |
975.88/975.90	c |    763152 |   13680    65308   208633 | 2147483647   125737     28 |  0.589 % |
976.48/976.49	c |    763665 |   13680    65308   208633 | 2147483647   126250     29 |  0.589 % |
977.58/977.56	c |    764692 |   13680    65308   208633 | 2147483647   127277     29 |  0.589 % |
981.38/981.32	c |    766740 |   13680    65308   208633 | 2147483647   129325     29 |  0.589 % |
985.78/985.72	c |    770837 |   13680    65308   208633 | 2147483647   133422     30 |  0.589 % |
986.58/986.54	c |    771351 |   13680    65308   208633 | 2147483647   133936     30 |  0.589 % |
987.39/987.32	c |    771864 |   13680    65308   208633 | 2147483647   134449     30 |  0.589 % |
989.19/989.16	c |    772888 |   13680    65308   208633 | 2147483647   135473     30 |  0.589 % |
990.09/990.07	c |    773400 |   13680    65308   208633 | 2147483647   135985     30 |  0.589 % |
990.79/990.75	c |    773912 |   13680    65308   208633 | 2147483647   136497     30 |  0.589 % |
992.09/992.04	c |    774936 |   13680    65308   208633 | 2147483647   137521     31 |  0.589 % |
995.29/995.24	c |    776984 |   13680    65308   208633 | 2147483647   139569     31 |  0.589 % |
996.19/996.15	c |    777496 |   13680    65308   208633 | 2147483647   140081     31 |  0.589 % |
996.69/996.64	c |    778008 |   13680    65308   208633 | 2147483647   140593     31 |  0.589 % |
998.49/998.44	c |    779033 |   13680    65308   208633 | 2147483647   141618     31 |  0.589 % |
999.39/999.31	c |    779548 |   13680    65308   208633 | 2147483647   142133     31 |  0.589 % |
1000.59/1000.53	c |    780060 |   13680    65308   208633 |   142586   142645     31 |  0.589 % |
1002.89/1002.90	c |    781084 |   13680    65308   208633 |   142586   143669     31 |  0.589 % |
1006.79/1006.80	c |    783132 |   13680    65308   208633 |   142586   125363     29 |  0.589 % |
1016.19/1016.17	c |    787228 |   13680    65308   208633 |   142586   129459     30 |  0.589 % |
1034.39/1034.37	c |    795421 |   13680    65308   208633 |   132232   119017     27 |  0.589 % |
1035.59/1035.55	c |    795934 |   13680    65308   208633 |   132232   119530     27 |  0.589 % |
1036.09/1036.06	c |    796446 |   13680    65308   208633 |   132232   120042     27 |  0.589 % |
1037.99/1037.95	c |    797473 |   13680    65308   208633 |   132232   121069     27 |  0.589 % |
1038.99/1038.92	c |    797986 |   13680    65308   208633 |   132232   121582     27 |  0.589 % |
1039.79/1039.79	c |    798502 |   13680    65308   208633 |   132232   122098     27 |  0.589 % |
1041.29/1041.22	c |    799526 |   13680    65308   208633 |   132232   123122     28 |  0.589 % |
1044.29/1044.27	c |    801575 |   13680    65308   208633 |   123596   125171     28 |  0.589 % |
1045.29/1045.26	c |    802088 |   13680    65308   208633 |   123596   111080     26 |  0.589 % |
1045.99/1045.94	c |    802600 |   13680    65308   208633 |   123596   111592     26 |  0.589 % |
1047.19/1047.17	c |    803625 |   13680    65308   208633 |   123596   112617     26 |  0.589 % |
1047.99/1047.92	c |    804138 |   13680    65308   208633 |   123596   113130     26 |  0.589 % |
1048.59/1048.56	c |    804650 |   13680    65308   208633 |   123596   113642     26 |  0.589 % |
1050.09/1050.03	c |    805674 |   13680    65308   208633 |   123596   114666     27 |  0.589 % |
1052.69/1052.68	c |    807723 |   13680    65308   208633 |   123596   116715     27 |  0.589 % |
1060.39/1060.41	c |    811819 |   13680    65308   208633 | 2147483647   120811     28 |  0.589 % |
1061.19/1061.12	c |    812331 |   13680    65308   208633 | 2147483647   121323     28 |  0.589 % |
1061.79/1061.79	c |    812843 |   13680    65308   208633 | 2147483647   121835     29 |  0.589 % |
1062.79/1062.75	c |    813867 |   13680    65308   208633 | 2147483647   122859     29 |  0.589 % |
1063.80/1063.77	c |    814379 |   13680    65308   208633 | 2147483647   123371     29 |  0.589 % |
1064.29/1064.28	c |    814891 |   13680    65308   208633 | 2147483647   123883     29 |  0.589 % |
1065.59/1065.52	c |    815917 |   13680    65308   208633 | 2147483647   124909     30 |  0.589 % |
1067.99/1067.98	c |    817965 |   13680    65308   208633 | 2147483647   126957     30 |  0.589 % |
1068.99/1068.93	c |    818478 |   13680    65308   208633 | 2147483647   127470     30 |  0.589 % |
1069.59/1069.57	c |    818990 |   13680    65308   208633 | 2147483647   127982     30 |  0.589 % |
1070.59/1070.52	c |    820014 |   13680    65308   208633 | 2147483647   129006     30 |  0.589 % |
1070.99/1070.93	c |    820526 |   13680    65308   208633 | 2147483647   129518     30 |  0.589 % |
1071.99/1071.93	c |    821040 |   13680    65308   208633 | 2147483647   130032     31 |  0.589 % |
1073.59/1073.60	c |    822065 |   13680    65308   208633 | 2147483647   131057     31 |  0.589 % |
1077.89/1077.83	c |    824115 |   13680    65308   208633 | 2147483647   133107     32 |  0.589 % |
1085.29/1085.30	c |    828211 |   13680    65308   208633 | 2147483647   137203     34 |  0.589 % |
1100.29/1100.29	c |    836405 |   13680    65308   208633 |   138992   124797     32 |  0.589 % |
1126.50/1126.43	c |    852789 |   13680    65308   208633 |   123211   112869     31 |  0.589 % |
1126.90/1126.83	c |    853301 |   13680    65308   208633 |   123211   113381     31 |  0.589 % |
1128.20/1128.15	c |    853813 |   13680    65308   208633 |   123211   113893     31 |  0.589 % |
1129.90/1129.85	c |    854837 |   13680    65308   208633 |   123211   114917     31 |  0.589 % |
1130.80/1130.74	c |    855349 |   13680    65308   208633 |   123211   115429     31 |  0.589 % |
1131.60/1131.58	c |    855861 |   13680    65308   208633 |   123211   115941     32 |  0.589 % |
1133.60/1133.53	c |    856886 |   13680    65308   208633 |   123211   116966     32 |  0.589 % |
1136.60/1136.55	c |    858934 |   13679    65305   208627 |   123211   119012     32 |  0.596 % |
1137.60/1137.54	c |    859446 |   13679    65305   208627 |   123211   119524     32 |  0.596 % |
1138.40/1138.37	c |    859958 |   13679    65305   208627 |   123211   120036     32 |  0.596 % |
1139.70/1139.69	c |    860982 |   13679    65305   208627 | 2147483647   121060     32 |  0.596 % |
1140.70/1140.66	c |    861495 |   13679    65305   208627 | 2147483647   121573     33 |  0.596 % |
1141.70/1141.62	c |    862007 |   13679    65305   208627 | 2147483647   122085     33 |  0.596 % |
1143.50/1143.42	c |    863034 |   13679    65305   208627 | 2147483647   123112     33 |  0.596 % |
1146.70/1146.68	c |    865083 |   13679    65305   208627 | 2147483647   125161     33 |  0.596 % |
1153.40/1153.41	c |    869179 |   13679    65305   208627 | 2147483647   129257     34 |  0.596 % |
1154.10/1154.07	c |    869691 |   13679    65305   208627 | 2147483647   129769     34 |  0.596 % |
1154.90/1154.85	c |    870205 |   13679    65305   208627 |   130080   130283     34 |  0.596 % |
1156.70/1156.63	c |    871230 |   13679    65305   208627 |   130080   116357     30 |  0.596 % |
1157.40/1157.41	c |    871742 |   13679    65305   208627 |   130080   116869     30 |  0.596 % |
1158.50/1158.45	c |    872254 |   13679    65305   208627 |   130080   117381     30 |  0.596 % |
1160.60/1160.56	c |    873278 |   13679    65305   208627 |   130080   118405     31 |  0.596 % |
1162.80/1162.78	c |    875327 |   13679    65305   208627 |   130080   120454     31 |  0.596 % |
1163.50/1163.47	c |    875846 |   13679    65305   208627 |   130080   120973     31 |  0.596 % |
1164.30/1164.28	c |    876363 |   13679    65305   208627 |   130080   121490     31 |  0.596 % |
1166.10/1166.03	c |    877387 |   13679    65305   208627 |   130080   122514     32 |  0.596 % |
1167.00/1166.94	c |    877899 |   13679    65305   208627 |   130080   123026     32 |  0.596 % |
1168.10/1168.08	c |    878411 |   13679    65305   208627 |   130080   123538     32 |  0.596 % |
1169.30/1169.24	c |    879435 |   13679    65305   208627 |   130080   124562     33 |  0.596 % |
1173.00/1172.95	c |    881483 |   13679    65305   208627 | 2147483647   126610     33 |  0.596 % |
1178.40/1178.40	c |    885579 |   13679    65305   208627 | 2147483647   130706     34 |  0.596 % |
1192.80/1192.76	c |    893771 |   13679    65305   208627 |   135127   123684     29 |  0.596 % |
1193.80/1193.73	c |    894283 |   13679    65305   208627 |   135127   124196     29 |  0.596 % |
1194.90/1194.83	c |    894796 |   13679    65305   208627 |   135127   124709     29 |  0.596 % |
1196.91/1196.84	c |    895820 |   13679    65305   208627 |   135127   125733     30 |  0.596 % |
1197.80/1197.76	c |    896333 |   13679    65305   208627 |   135127   126246     30 |  0.596 % |
1198.60/1198.55	c |    896845 |   13679    65305   208627 |   135127   126758     30 |  0.596 % |
1200.00/1199.92	HOME/SatELiteGTI: line 36: 32517 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-1821431-1242526812/watcher-1821431-1242526812 -o /tmp/evaluation-result-1821431-1242526812/solver-1821431-1242526812 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821431-1242526812.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.20 1.14 2/97 32510
/proc/meminfo: memFree=1987576/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2416 CPUtime=0.02
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 366 648 0 0 0 0 1 1 25 0 1 0 1017182232 2473984 276 4294967295 134512640 135169312 3216047712 3216046248 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32510/statm: 604 276 235 161 0 43 0
[pid=32514] ppid=32510 vsize=956 CPUtime=0
/proc/32514/stat : 32514 (SatELite_releas) R 32510 32510 16367 0 -1 4202496 138 0 0 0 0 0 0 0 25 0 1 0 1017182232 978944 74 4294967295 134512640 135223648 3220587168 3220585888 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32514/statm: 239 80 45 174 0 64 0

[startup+0.083163 s]
/proc/loadavg: 1.01 1.20 1.14 2/97 32510
/proc/meminfo: memFree=1987576/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2416 CPUtime=0.02
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 366 648 0 0 0 0 1 1 25 0 1 0 1017182232 2473984 276 4294967295 134512640 135169312 3216047712 3216046248 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32510/statm: 604 276 235 161 0 43 0
[pid=32514] ppid=32510 vsize=14588 CPUtime=0.08
/proc/32514/stat : 32514 (SatELite_releas) R 32510 32510 16367 0 -1 4202496 2945 0 0 0 8 0 0 0 25 0 1 0 1017182232 14938112 2881 4294967295 134512640 135223648 3220587168 3220585752 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32514/statm: 3647 2881 47 174 0 3472 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17004

[startup+0.113157 s]
/proc/loadavg: 1.01 1.20 1.14 2/97 32510
/proc/meminfo: memFree=1987576/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2416 CPUtime=0.02
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 366 648 0 0 0 0 1 1 25 0 1 0 1017182232 2473984 276 4294967295 134512640 135169312 3216047712 3216046248 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32510/statm: 604 276 235 161 0 43 0
[pid=32514] ppid=32510 vsize=17608 CPUtime=0.11
/proc/32514/stat : 32514 (SatELite_releas) R 32510 32510 16367 0 -1 4202496 3900 0 0 0 11 0 0 0 25 0 1 0 1017182232 18030592 3836 4294967295 134512640 135223648 3220587168 3220586120 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32514/statm: 4402 3836 47 174 0 4227 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 20024

[startup+0.313144 s]
/proc/loadavg: 1.01 1.20 1.14 2/97 32510
/proc/meminfo: memFree=1987576/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2416 CPUtime=0.02
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 366 648 0 0 0 0 1 1 25 0 1 0 1017182232 2473984 276 4294967295 134512640 135169312 3216047712 3216046248 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32510/statm: 604 276 235 161 0 43 0
[pid=32514] ppid=32510 vsize=21748 CPUtime=0.31
/proc/32514/stat : 32514 (SatELite_releas) R 32510 32510 16367 0 -1 4202496 5265 0 0 0 31 0 0 0 25 0 1 0 1017182232 22269952 4850 4294967295 134512640 135223648 3220587168 3220585168 134549276 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32514/statm: 5437 4850 73 174 0 5262 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 24164

[startup+0.713121 s]
/proc/loadavg: 1.01 1.20 1.14 2/97 32510
/proc/meminfo: memFree=1987576/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2416 CPUtime=0.02
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 366 648 0 0 0 0 1 1 25 0 1 0 1017182232 2473984 276 4294967295 134512640 135169312 3216047712 3216046248 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32510/statm: 604 276 235 161 0 43 0
[pid=32514] ppid=32510 vsize=23368 CPUtime=0.71
/proc/32514/stat : 32514 (SatELite_releas) R 32510 32510 16367 0 -1 4202496 5625 0 0 0 69 2 0 0 25 0 1 0 1017182232 23928832 5210 4294967295 134512640 135223648 3220587168 3220584944 134585366 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32514/statm: 5842 5210 73 174 0 5667 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 25784

[startup+1.51308 s]
/proc/loadavg: 1.01 1.20 1.14 2/99 32516
/proc/meminfo: memFree=1959024/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2416 CPUtime=0.02
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 366 648 0 0 0 0 1 1 25 0 1 0 1017182232 2473984 276 4294967295 134512640 135169312 3216047712 3216046248 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32510/statm: 604 276 235 161 0 43 0
[pid=32514] ppid=32510 vsize=23708 CPUtime=1.51
/proc/32514/stat : 32514 (SatELite_releas) R 32510 32510 16367 0 -1 4202496 5931 0 0 0 148 3 0 0 25 0 1 0 1017182232 24276992 5291 4294967295 134512640 135223648 3220587168 3220585184 134586840 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32514/statm: 5927 5291 75 174 0 5752 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 26124

[startup+3.11299 s]
/proc/loadavg: 1.01 1.20 1.14 2/99 32517
/proc/meminfo: memFree=1972168/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=7028 CPUtime=1.4
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 1627 0 0 0 139 1 0 0 25 0 1 0 1017182404 7196672 1561 4294967295 134512640 135216591 3220810560 3220808752 134529023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 1757 1561 75 172 0 1584 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 9448

[startup+6.31281 s]
/proc/loadavg: 1.01 1.19 1.14 2/99 32517
/proc/meminfo: memFree=1969440/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=9492 CPUtime=4.6
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 2243 0 0 0 459 1 0 0 25 0 1 0 1017182404 9719808 2177 4294967295 134512640 135216591 3220810560 3220808752 134529009 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 2373 2177 75 172 0 2200 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 11912

[startup+12.7124 s]
/proc/loadavg: 1.01 1.19 1.14 2/99 32522
/proc/meminfo: memFree=1966032/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=13300 CPUtime=11
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 3164 0 0 0 1097 3 0 0 25 0 1 0 1017182404 13619200 3098 4294967295 134512640 135216591 3220810560 3220808752 134529041 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 3325 3098 75 172 0 3152 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 15720

[startup+25.5117 s]
/proc/loadavg: 1.00 1.18 1.14 2/99 32707
/proc/meminfo: memFree=1960604/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=18172 CPUtime=23.8
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 4367 0 0 0 2376 4 0 0 25 0 1 0 1017182404 18608128 4301 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 4543 4301 75 172 0 4370 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 20592

[startup+51.1103 s]
/proc/loadavg: 1.00 1.16 1.13 2/99 32709
/proc/meminfo: memFree=1952532/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=26164 CPUtime=49.4
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 6386 0 0 0 4933 7 0 0 25 0 1 0 1017182404 26791936 6320 4294967295 134512640 135216591 3220810560 3220808752 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 6541 6320 75 172 0 6368 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 28584

[startup+102.317 s]
/proc/loadavg: 1.00 1.14 1.12 2/99 428
/proc/meminfo: memFree=1942860/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=35836 CPUtime=100.61
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 8775 0 0 0 10052 9 0 0 25 0 1 0 1017182404 36696064 8709 4294967295 134512640 135216591 3220810560 3220808752 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 8959 8709 75 172 0 8786 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 38256

[startup+162.314 s]
/proc/loadavg: 1.00 1.11 1.11 2/99 615
/proc/meminfo: memFree=1941968/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=36648 CPUtime=160.61
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 8963 0 0 0 16051 10 0 0 25 0 1 0 1017182404 37527552 8897 4294967295 134512640 135216591 3220810560 3220808752 134528804 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9162 8897 75 172 0 8989 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 39068

[startup+222.321 s]
/proc/loadavg: 1.00 1.09 1.10 4/99 802
/proc/meminfo: memFree=1942244/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=36648 CPUtime=220.62
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 8966 0 0 0 22052 10 0 0 25 0 1 0 1017182404 37527552 8900 4294967295 134512640 135216591 3220810560 3220808752 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9162 8900 75 172 0 8989 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 39068

[startup+282.317 s]
/proc/loadavg: 1.00 1.07 1.09 2/99 1004
/proc/meminfo: memFree=1941932/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=36784 CPUtime=280.62
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 8992 0 0 0 28052 10 0 0 25 0 1 0 1017182404 37666816 8926 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9196 8926 75 172 0 9023 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 39204

[startup+342.314 s]
/proc/loadavg: 1.00 1.05 1.08 3/99 1196
/proc/meminfo: memFree=1941964/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=36784 CPUtime=340.62
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9013 0 0 0 34051 11 0 0 25 0 1 0 1017182404 37666816 8947 4294967295 134512640 135216591 3220810560 3220808560 134527381 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9196 8947 75 172 0 9023 0
Current children cumulated CPU time (s) 342.35

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

[pid=32517] ppid=32510 vsize=36960 CPUtime=520.64
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9052 0 0 0 52051 13 0 0 25 0 1 0 1017182404 37847040 8986 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9240 8986 75 172 0 9067 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 39380

[startup+582.32 s]
/proc/loadavg: 1.00 1.02 1.06 2/99 1950
/proc/meminfo: memFree=1941824/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=36960 CPUtime=580.64
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9054 0 0 0 58051 13 0 0 25 0 1 0 1017182404 37847040 8988 4294967295 134512640 135216591 3220810560 3220808752 134529018 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9240 8988 75 172 0 9067 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 39380

[startup+642.317 s]
/proc/loadavg: 1.00 1.01 1.05 3/99 2139
/proc/meminfo: memFree=1941824/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=37132 CPUtime=640.64
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9090 0 0 0 64051 13 0 0 25 0 1 0 1017182404 38023168 9024 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9283 9024 75 172 0 9110 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 39552

[startup+702.314 s]
/proc/loadavg: 1.00 1.01 1.05 2/99 2326
/proc/meminfo: memFree=1940840/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=37924 CPUtime=700.64
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9286 0 0 0 70049 15 0 0 25 0 1 0 1017182404 38834176 9220 4294967295 134512640 135216591 3220810560 3220808752 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9481 9220 75 172 0 9308 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 40344

[startup+762.32 s]
/proc/loadavg: 1.00 1.00 1.04 2/99 2515
/proc/meminfo: memFree=1940980/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38080 CPUtime=760.65
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9302 0 0 0 76050 15 0 0 25 0 1 0 1017182404 38993920 9236 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9520 9236 75 172 0 9347 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 40500

[startup+822.317 s]
/proc/loadavg: 1.15 1.03 1.05 2/99 2711
/proc/meminfo: memFree=1940972/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38080 CPUtime=820.65
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9316 0 0 0 82050 15 0 0 25 0 1 0 1017182404 38993920 9250 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9520 9250 75 172 0 9347 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 40500

[startup+882.323 s]
/proc/loadavg: 1.05 1.02 1.04 3/99 2908
/proc/meminfo: memFree=1941072/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38080 CPUtime=880.66
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9329 0 0 0 88050 16 0 0 25 0 1 0 1017182404 38993920 9263 4294967295 134512640 135216591 3220810560 3220808752 134528953 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9520 9263 75 172 0 9347 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 40500

[startup+942.32 s]
/proc/loadavg: 1.02 1.02 1.03 2/99 3098
/proc/meminfo: memFree=1941088/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38248 CPUtime=940.66
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9342 0 0 0 94050 16 0 0 25 0 1 0 1017182404 39165952 9276 4294967295 134512640 135216591 3220810560 3220808752 134529023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9562 9276 75 172 0 9389 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 40668

[startup+1002.32 s]
/proc/loadavg: 1.00 1.01 1.03 3/99 3287
/proc/meminfo: memFree=1940848/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38436 CPUtime=1000.66
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9391 0 0 0 100050 16 0 0 25 0 1 0 1017182404 39358464 9325 4294967295 134512640 135216591 3220810560 3220808528 134538210 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9609 9325 75 172 0 9436 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 40856

[startup+1062.31 s]
/proc/loadavg: 1.00 1.01 1.02 3/99 3479
/proc/meminfo: memFree=1940652/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38436 CPUtime=1060.66
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9402 0 0 0 106050 16 0 0 25 0 1 0 1017182404 39358464 9336 4294967295 134512640 135216591 3220810560 3220808752 134528939 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9609 9336 75 172 0 9436 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 40856

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.02 3/99 3688
/proc/meminfo: memFree=1940444/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38580 CPUtime=1120.67
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9412 0 0 0 112050 17 0 0 25 0 1 0 1017182404 39505920 9346 4294967295 134512640 135216591 3220810560 3220808752 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9645 9346 75 172 0 9472 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 41000

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.01 3/99 3881
/proc/meminfo: memFree=1940560/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38580 CPUtime=1180.67
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9412 0 0 0 118050 17 0 0 25 0 1 0 1017182404 39505920 9346 4294967295 134512640 135216591 3220810560 3220808528 134539421 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9645 9346 75 172 0 9472 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 41000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.01 3/99 3881
/proc/meminfo: memFree=1940600/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38580 CPUtime=1198.27
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9412 0 0 0 119810 17 0 0 25 0 1 0 1017182404 39505920 9346 4294967295 134512640 135216591 3220810560 3220808752 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9645 9346 75 172 0 9472 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 41000

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

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

[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.01 3/99 3881
/proc/meminfo: memFree=1940600/2074464 swapFree=1949244/1959888
[pid=32510] ppid=32508 vsize=2420 CPUtime=1.73
/proc/32510/stat : 32510 (SatELiteGTI) S 32508 32510 16367 0 -1 4194304 386 7392 0 0 0 0 168 5 20 0 1 0 1017182232 2478080 278 4294967295 134512640 135169312 3216047712 3216043928 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32510/statm: 605 278 235 161 0 44 0
[pid=32517] ppid=32510 vsize=38580 CPUtime=1198.27
/proc/32517/stat : 32517 (minisat_static) R 32510 32510 16367 0 -1 4202496 9412 0 0 0 119810 17 0 0 25 0 1 0 1017182404 39505920 9346 4294967295 134512640 135216591 3220810560 3220808752 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32517/statm: 9645 9346 75 172 0 9472 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 41000

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.01
CPU user time (s): 1199.78
CPU system time (s): 0.23
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 41000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.78
system time used= 0.23
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17464
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= 22
involuntary context switches= 988

runsolver used 0 second user time and 0.04 second system time

The end

Launcher Data 

Begin job on tipi11 at 2009-05-17 04:20:12
IDJOB=1821431
IDBENCH=70956
IDSOLVER=658
FILE ID=tipi11/1821431-1242526812
PBS_JOBID=
Free space on /tmp= 9841 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821431-1242526812/watcher-1821431-1242526812 -o /tmp/evaluation-result-1821431-1242526812/solver-1821431-1242526812 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821431-1242526812.cnf

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

MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED= 990204971

Linux tipi11 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.431
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.40

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

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.431
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:       1987592 kB
Buffers:         13876 kB
Cached:          19552 kB
SwapCached:       5216 kB
Active:          26244 kB
Inactive:        18976 kB
HighTotal:     1178688 kB
HighFree:      1145660 kB
LowTotal:       895776 kB
LowFree:        841932 kB
SwapTotal:     1959888 kB
SwapFree:      1949244 kB
Dirty:            3852 kB
Writeback:           0 kB
AnonPages:       11032 kB
Mapped:           5424 kB
Slab:            32436 kB
PageTables:        588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    97132 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9841 MiB
End job on tipi11 at 2009-05-17 04:40:13