Trace number 1832123

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.07 1201.22

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
MD5SUM9a43349587a435e7109b46b3aceb156e
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 variables482093
Number of clauses9676386
Sum of the clauses size28195028
Maximum clause length226
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 29152157
Number of clauses of size 3120945
Number of clauses of size 410067
Number of clauses of size 528986
Number of clauses of size over 5364230

Solver Data 

0.00/0.00	c Parsing...
7.28/7.31	c ==============================================================================
7.28/7.31	c |           |     ORIGINAL     |              LEARNT              |          |
7.28/7.31	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
7.28/7.31	c ==============================================================================
7.28/7.31	c |         0 | 9676385 28195027 | 2902915       0        0     nan |  0.000 % |
201.27/201.46	c |         0 | 9444694 29266006 |      --       0       --      -- |     --   | -231533/1075524
201.27/201.47	c ==============================================================================
201.27/201.47	c Result  :   #vars: 394950   #clauses: 9444694   #literals: 29266006
201.27/201.47	c CPU time:   199.555 s
201.27/201.47	c ==============================================================================
210.32/210.93	c This is MiniSat 2.0 beta
210.32/210.93	c WARNING: for repeatability, setting FPU to use double precision
210.32/210.93	c ============================[ Problem Statistics ]=============================
210.32/210.93	c |                                                                             |
210.32/210.93	c |  Number of variables:  394950                                               |
210.32/210.93	c |  Number of clauses:    9444694                                              |
215.80/216.43	c |  Parsing time:         4.81         s                                       |
216.10/216.72	c ============================[ Search Statistics ]==============================
216.10/216.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.10/216.72	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
216.10/216.72	c ===============================================================================
216.10/216.72	c |         0 |  394950  9444694 29266006 |  3148231        0    nan |  0.000 % |
216.80/217.46	c |       114 |  394950  9444694 29266006 |  3148231      114    105 |  0.000 % |
217.60/218.28	c |       218 |  394950  9444694 29266006 |  3148231      218     81 |  0.000 % |
218.20/218.86	c |       320 |  394950  9444694 29266006 |  3148231      320     65 |  0.000 % |
218.60/219.27	c |       434 |  394950  9444694 29266006 |  3148231      434     61 |  0.000 % |
220.11/220.77	c |       534 |  394950  9444694 29266006 |  3148231      534     59 |  0.000 % |
221.20/221.88	c |       644 |  394950  9444694 29266006 |  3148231      644     56 |  0.000 % |
221.61/222.25	c |       765 |  394950  9444694 29266006 |  3148231      765     56 |  0.000 % |
221.80/222.48	c |       868 |  394950  9444694 29266006 |  3148231      868     54 |  0.000 % |
222.10/222.73	c |       978 |  394950  9444694 29266006 |  3148231      978     52 |  0.000 % |
222.71/223.32	c |      1099 |  394950  9444694 29266006 |  3148231     1099     50 |  0.000 % |
223.20/223.81	c |      1234 |  394950  9444694 29266006 |  3148231     1234     51 |  0.000 % |
223.40/224.04	c |      1337 |  394950  9444694 29266006 |  3148231     1337     50 |  0.000 % |
223.81/224.48	c |      1454 |  394950  9444694 29266006 |  3148231     1454     49 |  0.000 % |
224.40/225.10	c |      1576 |  394950  9444694 29266006 |  3148231     1576     49 |  0.000 % |
225.00/225.60	c |      1710 |  394950  9444694 29266006 |  3148231     1710     48 |  0.000 % |
225.20/225.84	c |      1856 |  394950  9444694 29266006 |  3148231     1856     49 |  0.000 % |
225.40/226.09	c |      1956 |  394950  9444694 29266006 |  3148231     1956     49 |  0.000 % |
225.70/226.37	c |      2066 |  394950  9444694 29266006 |  3148231     2066     50 |  0.000 % |
226.09/226.71	c |      2187 |  394950  9444694 29266006 |  3148231     2187     49 |  0.000 % |
226.50/227.19	c |      2324 |  394950  9444694 29266006 |  3148231     2324     48 |  0.000 % |
226.90/227.52	c |      2471 |  394950  9444694 29266006 |  3148231     2471     48 |  0.000 % |
227.30/227.99	c |      2635 |  394950  9444694 29266006 |  3148231     2635     47 |  0.000 % |
227.69/228.31	c |      2735 |  394950  9444694 29266006 |  3148231     2735     47 |  0.000 % |
228.10/228.73	c |      2845 |  394950  9444694 29266006 |  3148231     2845     46 |  0.000 % |
228.39/229.06	c |      2966 |  394950  9444694 29266006 |  3148231     2966     46 |  0.000 % |
228.69/229.35	c |      3099 |  394950  9444694 29266006 |  3148231     3099     46 |  0.000 % |
229.20/229.89	c |      3246 |  394950  9444694 29266006 |  3148231     3246     46 |  0.000 % |
229.59/230.20	c |      3408 |  394950  9444694 29266006 |  3148231     3408     45 |  0.000 % |
230.20/230.82	c |      3585 |  394950  9444694 29266006 |  3148231     3585     46 |  0.000 % |
230.69/231.33	c |      3686 |  394950  9444694 29266006 |  3148231     3686     46 |  0.000 % |
230.99/231.66	c |      3796 |  394950  9444694 29266006 |  3148231     3796     46 |  0.000 % |
231.29/231.91	c |      3917 |  394950  9444694 29266006 |  3148231     3917     46 |  0.000 % |
231.59/232.24	c |      4050 |  394950  9444694 29266006 |  3148231     4050     45 |  0.000 % |
232.19/232.88	c |      4197 |  394950  9444694 29266006 |  3148231     4197     45 |  0.000 % |
232.49/233.20	c |      4360 |  394950  9444694 29266006 |  3148231     4360     46 |  0.000 % |
232.90/233.58	c |      4536 |  394950  9444694 29266006 |  3148231     4536     46 |  0.000 % |
234.00/234.70	c |      4729 |  394950  9444694 29266006 |  3148231     4729     46 |  0.000 % |
234.50/235.16	c |      4829 |  394950  9444694 29266006 |  3148231     4829     46 |  0.000 % |
234.90/235.52	c |      4940 |  394950  9444694 29266006 |  3148231     4940     46 |  0.000 % |
235.40/236.00	c |      5062 |  394950  9444694 29266006 |  3148231     5062     46 |  0.000 % |
235.80/236.47	c |      5195 |  394950  9444694 29266006 |  3148231     5195     45 |  0.000 % |
235.90/236.57	c |      5343 |  394950  9444694 29266006 |  3148231     5343     45 |  0.000 % |
236.00/236.69	c |      5504 |  394950  9444694 29266006 |  3148231     5504     44 |  0.000 % |
237.70/238.33	c |      5681 |  394950  9444694 29266006 |  3148231     5681     45 |  0.000 % |
238.10/238.73	c |      5874 |  394950  9444694 29266006 |  3148231     5874     44 |  0.000 % |
239.59/240.29	c |      6086 |  394950  9444694 29266006 |  3148231     6086     46 |  0.000 % |
240.09/240.79	c |      6188 |  394950  9444694 29266006 |  3148231     6188     46 |  0.000 % |
240.20/240.89	c |      6302 |  394950  9444694 29266006 |  3148231     6302     45 |  0.000 % |
240.49/241.19	c |      6424 |  394950  9444694 29266006 |  3148231     6424     45 |  0.000 % |
241.49/242.10	c |      6557 |  394950  9444694 29266006 |  3148231     6557     45 |  0.000 % |
241.79/242.44	c |      6704 |  394950  9444694 29266006 |  3148231     6704     45 |  0.000 % |
242.40/243.09	c |      6864 |  394950  9444694 29266006 |  3148231     6864     46 |  0.000 % |
242.89/243.53	c |      7041 |  394950  9444694 29266006 |  3148231     7041     46 |  0.000 % |
244.79/245.40	c |      7234 |  394950  9444694 29266006 |  3148231     7234     46 |  0.000 % |
245.09/245.74	c |      7447 |  394950  9444694 29266006 |  3148231     7447     45 |  0.000 % |
245.59/246.20	c |      7680 |  394950  9444694 29266006 |  3148231     7680     45 |  0.000 % |
245.80/246.47	c |      7782 |  394950  9444694 29266006 |  3148231     7782     45 |  0.000 % |
246.09/246.72	c |      7894 |  394950  9444694 29266006 |  3148231     7894     46 |  0.000 % |
246.69/247.30	c |      8016 |  394949  9444685 29265988 |  3148231     8015     46 |  0.000 % |
247.99/248.63	c |      8149 |  394949  9444685 29265988 |  3148231     8148     45 |  0.000 % |
248.29/248.97	c |      8295 |  394949  9444685 29265988 |  3148231     8294     46 |  0.000 % |
248.99/249.68	c |      8456 |  394949  9444685 29265988 |  3148231     8455     45 |  0.000 % |
249.49/250.11	c |      8637 |  394949  9444685 29265988 |  3148231     8636     45 |  0.000 % |
250.09/250.80	c |      8832 |  394949  9444685 29265988 |  3148231     8831     45 |  0.000 % |
250.69/251.31	c |      9045 |  394949  9444685 29265988 |  3148231     9044     46 |  0.000 % |
251.59/252.22	c |      9279 |  394949  9444685 29265988 |  3148231     9278     47 |  0.000 % |
251.99/252.64	c |      9536 |  394949  9444685 29265988 |  3148231     9535     47 |  0.000 % |
252.39/253.09	c |      9638 |  394949  9444685 29265988 |  3148231     9637     47 |  0.000 % |
253.49/254.15	c |      9749 |  394949  9444685 29265988 |  3148231     9748     47 |  0.000 % |
254.19/254.86	c |      9871 |  394949  9444685 29265988 |  3148231     9870     47 |  0.000 % |
254.69/255.35	c |     10005 |  394949  9444685 29265988 | 2147483647    10004     47 |  0.000 % |
255.49/256.10	c |     10152 |  394949  9444685 29265988 | 2147483647    10151     47 |  0.000 % |
255.89/256.50	c |     10313 |  394949  9444685 29265988 | 2147483647    10312     47 |  0.000 % |
255.99/256.67	c |     10489 |  394949  9444685 29265988 | 2147483647    10488     47 |  0.000 % |
256.58/257.30	c |     10682 |  394949  9444685 29265988 | 2147483647    10681     46 |  0.000 % |
257.28/257.99	c |     10895 |  394949  9444685 29265988 | 2147483647    10894     47 |  0.000 % |
257.79/258.47	c |     11130 |  394949  9444685 29265988 | 2147483647    11129     47 |  0.000 % |
258.28/258.93	c |     11386 |  394949  9444685 29265988 | 2147483647    11385     48 |  0.000 % |
260.88/261.52	c |     11667 |  394949  9444685 29265988 | 2147483647    11666     48 |  0.000 % |
261.78/262.42	c |     11768 |  394949  9444685 29265988 | 2147483647    11767     48 |  0.000 % |
261.98/262.67	c |     11879 |  394949  9444685 29265988 | 2147483647    11878     49 |  0.000 % |
262.58/263.27	c |     12001 |  394949  9444685 29265988 | 2147483647    12000     49 |  0.000 % |
262.98/263.62	c |     12136 |  394949  9444685 29265988 | 2147483647    12135     49 |  0.000 % |
263.18/263.89	c |     12282 |  394949  9444685 29265988 | 2147483647    12281     49 |  0.000 % |
264.38/265.03	c |     12443 |  394949  9444685 29265988 | 2147483647    12442     49 |  0.000 % |
265.39/266.05	c |     12620 |  394949  9444685 29265988 | 2147483647    12619     49 |  0.000 % |
266.09/266.79	c |     12814 |  394949  9444685 29265988 | 2147483647    12813     49 |  0.000 % |
266.79/267.45	c |     13026 |  394949  9444685 29265988 | 2147483647    13025     50 |  0.000 % |
268.49/269.12	c |     13260 |  394949  9444685 29265988 | 2147483647    13259     50 |  0.000 % |
269.19/269.88	c |     13516 |  394949  9444685 29265988 | 2147483647    13515     50 |  0.000 % |
270.88/271.53	c |     13797 |  394949  9444685 29265988 | 2147483647    13796     50 |  0.000 % |
271.28/271.96	c |     14107 |  394949  9444685 29265988 | 2147483647    14106     50 |  0.000 % |
271.68/272.31	c |     14208 |  394949  9444685 29265988 | 2147483647    14207     51 |  0.000 % |
271.88/272.56	c |     14318 |  394949  9444685 29265988 | 2147483647    14317     51 |  0.000 % |
274.78/275.44	c |     14439 |  394949  9444685 29265988 | 2147483647    14438     51 |  0.000 % |
275.07/275.79	c |     14572 |  394949  9444685 29265988 | 2147483647    14571     51 |  0.000 % |
276.67/277.33	c |     14718 |  394949  9444685 29265988 | 2147483647    14717     51 |  0.000 % |
277.27/277.96	c |     14879 |  394949  9444685 29265988 | 2147483647    14878     50 |  0.000 % |
277.68/278.34	c |     15057 |  394949  9444685 29265988 | 2147483647    15056     51 |  0.000 % |
279.27/279.97	c |     15251 |  394949  9444685 29265988 | 2147483647    15250     51 |  0.000 % |
279.87/280.56	c |     15463 |  394949  9444685 29265988 | 2147483647    15462     51 |  0.000 % |
280.17/280.80	c |     15696 |  394949  9444685 29265988 | 2147483647    15695     52 |  0.000 % |
280.87/281.52	c |     15952 |  394949  9444685 29265988 | 2147483647    15951     52 |  0.000 % |
281.67/282.39	c |     16237 |  394949  9444685 29265988 | 2147483647    16236     52 |  0.000 % |
282.67/283.37	c |     16550 |  394949  9444685 29265988 | 2147483647    16549     52 |  0.000 % |
285.07/285.73	c |     16891 |  394949  9444685 29265988 | 2147483647    16890     52 |  0.000 % |
285.47/286.14	c |     16991 |  394949  9444685 29265988 | 2147483647    16990     52 |  0.000 % |
285.57/286.30	c |     17101 |  394949  9444685 29265988 | 2147483647    17100     52 |  0.000 % |
286.07/286.78	c |     17223 |  394949  9444685 29265988 | 2147483647    17222     52 |  0.000 % |
286.97/287.68	c |     17359 |  394949  9444685 29265988 | 2147483647    17358     52 |  0.000 % |
287.47/288.18	c |     17511 |  394949  9444685 29265988 | 2147483647    17510     52 |  0.000 % |
289.26/289.92	c |     17673 |  394949  9444685 29265988 | 2147483647    17672     52 |  0.000 % |
290.36/291.07	c |     17849 |  394949  9444685 29265988 | 2147483647    17848     52 |  0.000 % |
290.96/291.61	c |     18043 |  394949  9444685 29265988 | 2147483647    18042     53 |  0.000 % |
291.76/292.41	c |     18256 |  394949  9444685 29265988 | 2147483647    18255     53 |  0.000 % |
292.66/293.35	c |     18491 |  394949  9444685 29265988 | 2147483647    18490     52 |  0.000 % |
294.26/294.98	c |     18747 |  394949  9444685 29265988 | 2147483647    18746     52 |  0.000 % |
295.36/296.07	c |     19033 |  394949  9444685 29265988 | 2147483647    19032     53 |  0.000 % |
296.16/296.87	c |     19346 |  394949  9444685 29265988 | 2147483647    19345     53 |  0.000 % |
297.07/297.75	c |     19685 |  394949  9444685 29265988 | 2147483647    19684     53 |  0.000 % |
297.97/298.64	c |     20058 |  394949  9444685 29265988 | 2147483647    20057     53 |  0.000 % |
298.87/299.59	c |     20158 |  394949  9444685 29265988 | 2147483647    20157     53 |  0.000 % |
299.37/300.08	c |     20268 |  394949  9444685 29265988 | 2147483647    20267     53 |  0.000 % |
301.07/301.71	c |     20389 |  394949  9444685 29265988 | 2147483647    20388     53 |  0.000 % |
301.27/301.95	c |     20523 |  394949  9444685 29265988 | 2147483647    20522     53 |  0.000 % |
302.47/303.17	c |     20669 |  394949  9444685 29265988 | 2147483647    20668     53 |  0.000 % |
303.06/303.71	c |     20829 |  394949  9444685 29265988 | 2147483647    20828     53 |  0.000 % |
303.66/304.36	c |     21007 |  394949  9444685 29265988 | 2147483647    21006     53 |  0.000 % |
304.16/304.88	c |     21201 |  394949  9444685 29265988 | 2147483647    21200     53 |  0.000 % |
304.76/305.44	c |     21414 |  394949  9444685 29265988 | 2147483647    21413     53 |  0.000 % |
305.96/306.62	c |     21648 |  394949  9444685 29265988 | 2147483647    21647     53 |  0.000 % |
306.96/307.65	c |     21904 |  394949  9444685 29265988 | 2147483647    21903     53 |  0.000 % |
307.86/308.56	c |     22185 |  394949  9444685 29265988 | 2147483647    22184     53 |  0.000 % |
308.66/309.31	c |     22496 |  394949  9444685 29265988 | 2147483647    22495     53 |  0.000 % |
309.96/310.62	c |     22836 |  394949  9444685 29265988 | 2147483647    22835     53 |  0.000 % |
310.46/311.13	c |     23211 |  394949  9444685 29265988 | 2147483647    23210     53 |  0.000 % |
311.56/312.29	c |     23620 |  394949  9444685 29265988 | 2147483647    23619     53 |  0.000 % |
311.96/312.62	c |     23724 |  394949  9444685 29265988 | 2147483647    23723     53 |  0.000 % |
312.26/312.91	c |     23835 |  394949  9444685 29265988 | 2147483647    23834     53 |  0.000 % |
312.46/313.16	c |     23958 |  394949  9444685 29265988 | 2147483647    23957     53 |  0.000 % |
312.76/313.49	c |     24091 |  394949  9444685 29265988 | 2147483647    24090     52 |  0.000 % |
313.56/314.23	c |     24237 |  394949  9444685 29265988 | 2147483647    24236     53 |  0.000 % |
313.86/314.59	c |     24399 |  394949  9444685 29265988 | 2147483647    24398     53 |  0.000 % |
314.26/314.95	c |     24575 |  394949  9444685 29265988 | 2147483647    24574     53 |  0.000 % |
316.45/317.19	c |     24769 |  394949  9444685 29265988 | 2147483647    24768     53 |  0.000 % |
317.05/317.71	c |     24981 |  394949  9444685 29265988 | 2147483647    24980     53 |  0.000 % |
317.85/318.56	c |     25215 |  394949  9444685 29265988 | 2147483647    25214     53 |  0.000 % |
319.95/320.62	c |     25471 |  394949  9444685 29265988 | 2147483647    25470     53 |  0.000 % |
320.75/321.44	c |     25752 |  394949  9444685 29265988 | 2147483647    25751     53 |  0.000 % |
321.95/322.61	c |     26064 |  394948  9444677 29265972 | 2147483647    26062     53 |  0.001 % |
322.94/323.62	c |     26403 |  394948  9444677 29265972 | 2147483647    26401     53 |  0.001 % |
324.34/325.04	c |     26775 |  394948  9444677 29265972 | 2147483647    26773     53 |  0.001 % |
324.95/325.69	c |     27184 |  394948  9444677 29265972 | 2147483647    27182     53 |  0.001 % |
327.44/328.10	c |     27633 |  394948  9444677 29265972 | 2147483647    27631     53 |  0.001 % |
328.15/328.82	c |     27733 |  394948  9444677 29265972 | 2147483647    27731     53 |  0.001 % |
329.04/329.72	c |     27844 |  394948  9444677 29265972 | 2147483647    27842     53 |  0.001 % |
330.14/330.82	c |     27965 |  394948  9444677 29265972 | 2147483647    27963     53 |  0.001 % |
330.94/331.66	c |     28098 |  394948  9444677 29265972 | 2147483647    28096     53 |  0.001 % |
331.64/332.38	c |     28245 |  394948  9444677 29265972 | 2147483647    28243     53 |  0.001 % |
332.55/333.25	c |     28407 |  394948  9444677 29265972 | 2147483647    28405     53 |  0.001 % |
333.04/333.79	c |     28583 |  394948  9444677 29265972 | 2147483647    28581     54 |  0.001 % |
334.14/334.90	c |     28777 |  394948  9444677 29265972 | 2147483647    28775     54 |  0.001 % |
335.34/336.08	c |     28989 |  394948  9444677 29265972 | 2147483647    28987     54 |  0.001 % |
336.35/337.02	c |     29223 |  394948  9444677 29265972 | 2147483647    29221     54 |  0.001 % |
337.05/337.74	c |     29481 |  394948  9444677 29265972 | 2147483647    29479     54 |  0.001 % |
338.15/338.84	c |     29762 |  394948  9444677 29265972 | 2147483647    29760     55 |  0.001 % |
339.05/339.75	c |     30072 |  394948  9444677 29265972 | 2147483647    30070     55 |  0.001 % |
340.64/341.35	c |     30411 |  394948  9444677 29265972 | 2147483647    30409     55 |  0.001 % |
343.24/343.93	c |     30783 |  394948  9444677 29265972 | 2147483647    30781     55 |  0.001 % |
344.84/345.53	c |     31193 |  394948  9444677 29265972 | 2147483647    31191     56 |  0.001 % |
346.24/346.94	c |     31642 |  394948  9444677 29265972 | 2147483647    31640     56 |  0.001 % |
348.64/349.33	c |     32137 |  394948  9444677 29265972 | 2147483647    32135     56 |  0.001 % |
348.84/349.59	c |     32237 |  394948  9444677 29265972 | 2147483647    32235     56 |  0.001 % |
349.74/350.42	c |     32348 |  394948  9444677 29265972 | 2147483647    32346     56 |  0.001 % |
350.54/351.22	c |     32471 |  394948  9444677 29265972 | 2147483647    32469     56 |  0.001 % |
351.24/351.97	c |     32604 |  394948  9444677 29265972 | 2147483647    32602     56 |  0.001 % |
352.64/353.40	c |     32750 |  394948  9444677 29265972 | 2147483647    32748     56 |  0.001 % |
353.24/353.91	c |     32911 |  394948  9444677 29265972 | 2147483647    32909     56 |  0.001 % |
353.83/354.53	c |     33087 |  394948  9444677 29265972 | 2147483647    33085     56 |  0.001 % |
354.64/355.36	c |     33280 |  394948  9444677 29265972 | 2147483647    33278     56 |  0.001 % |
355.93/356.69	c |     33493 |  394948  9444677 29265972 | 2147483647    33491     56 |  0.001 % |
356.43/357.15	c |     33728 |  394948  9444677 29265972 | 2147483647    33726     56 |  0.001 % |
356.84/357.54	c |     33985 |  394948  9444677 29265972 | 2147483647    33983     56 |  0.001 % |
357.93/358.67	c |     34269 |  394948  9444677 29265972 | 2147483647    34267     56 |  0.001 % |
358.43/359.14	c |     34578 |  394948  9444677 29265972 | 2147483647    34576     56 |  0.001 % |
359.83/360.50	c |     34918 |  394948  9444677 29265972 | 2147483647    34916     57 |  0.001 % |
360.33/361.01	c |     35290 |  394948  9444677 29265972 | 2147483647    35288     56 |  0.001 % |
360.93/361.64	c |     35699 |  394948  9444677 29265972 | 2147483647    35697     56 |  0.001 % |
361.83/362.50	c |     36148 |  394948  9444677 29265972 | 2147483647    36146     56 |  0.001 % |
362.53/363.27	c |     36642 |  394948  9444677 29265972 | 2147483647    36640     56 |  0.001 % |
363.03/363.75	c |     37185 |  394948  9444677 29265972 | 2147483647    37183     56 |  0.001 % |
363.23/363.99	c |     37288 |  394948  9444677 29265972 | 2147483647    37286     56 |  0.001 % |
363.62/364.39	c |     37399 |  394948  9444677 29265972 | 2147483647    37397     56 |  0.001 % |
364.02/364.72	c |     37520 |  394948  9444677 29265972 | 2147483647    37518     56 |  0.001 % |
364.43/365.12	c |     37653 |  394948  9444677 29265972 | 2147483647    37651     56 |  0.001 % |
364.82/365.55	c |     37800 |  394948  9444677 29265972 | 2147483647    37798     56 |  0.001 % |
365.22/365.94	c |     37960 |  394948  9444677 29265972 | 2147483647    37958     56 |  0.001 % |
365.62/366.33	c |     38137 |  394948  9444677 29265972 | 2147483647    38135     56 |  0.001 % |
366.02/366.72	c |     38330 |  394948  9444677 29265972 | 2147483647    38328     56 |  0.001 % |
366.32/367.09	c |     38542 |  394948  9444677 29265972 | 2147483647    38540     56 |  0.001 % |
366.92/367.66	c |     38775 |  394948  9444677 29265972 | 2147483647    38773     55 |  0.001 % |
367.32/368.05	c |     39032 |  394948  9444677 29265972 | 2147483647    39030     55 |  0.001 % |
367.92/368.68	c |     39316 |  394948  9444677 29265972 | 2147483647    39314     55 |  0.001 % |
368.72/369.40	c |     39625 |  394948  9444677 29265972 | 2147483647    39623     55 |  0.001 % |
369.22/369.91	c |     39965 |  394948  9444677 29265972 | 2147483647    39963     55 |  0.001 % |
369.62/370.38	c |     40338 |  394948  9444677 29265972 | 2147483647    40336     55 |  0.001 % |
370.42/371.17	c |     40748 |  394948  9444677 29265972 | 2147483647    40746     55 |  0.001 % |
371.21/371.97	c |     41198 |  394948  9444677 29265972 | 2147483647    41196     55 |  0.001 % |
372.12/372.89	c |     41691 |  394948  9444677 29265972 | 2147483647    41689     54 |  0.001 % |
373.01/373.70	c |     42234 |  394948  9444677 29265972 | 2147483647    42232     54 |  0.001 % |
374.01/374.75	c |     42832 |  394948  9444677 29265972 | 2147483647    42830     54 |  0.001 % |
374.32/375.09	c |     42935 |  394948  9444677 29265972 | 2147483647    42933     54 |  0.001 % |
374.71/375.44	c |     43045 |  394948  9444677 29265972 | 2147483647    43043     54 |  0.001 % |
375.21/375.90	c |     43167 |  394948  9444677 29265972 | 2147483647    43165     54 |  0.001 % |
375.51/376.29	c |     43300 |  394948  9444677 29265972 | 2147483647    43298     54 |  0.001 % |
376.01/376.76	c |     43446 |  394948  9444677 29265972 | 2147483647    43444     54 |  0.001 % |
376.41/377.18	c |     43606 |  394948  9444677 29265972 | 2147483647    43604     54 |  0.001 % |
376.91/377.66	c |     43782 |  394948  9444677 29265972 | 2147483647    43780     53 |  0.001 % |
377.41/378.11	c |     43975 |  394948  9444677 29265972 | 2147483647    43973     53 |  0.001 % |
377.91/378.65	c |     44191 |  394948  9444677 29265972 | 2147483647    44189     53 |  0.001 % |
378.50/379.22	c |     44425 |  394948  9444677 29265972 | 2147483647    44423     53 |  0.001 % |
379.00/379.78	c |     44683 |  394948  9444677 29265972 | 2147483647    44681     53 |  0.001 % |
379.50/380.30	c |     44964 |  394948  9444677 29265972 | 2147483647    44962     53 |  0.001 % |
380.31/381.08	c |     45274 |  394948  9444677 29265972 | 2147483647    45272     53 |  0.001 % |
381.11/381.85	c |     45613 |  394948  9444677 29265972 | 2147483647    45611     53 |  0.001 % |
381.70/382.41	c |     45988 |  394948  9444677 29265972 | 2147483647    45986     52 |  0.001 % |
382.40/383.17	c |     46397 |  394948  9444677 29265972 | 2147483647    46395     52 |  0.001 % |
383.11/383.83	c |     46846 |  394948  9444677 29265972 | 2147483647    46844     52 |  0.001 % |
384.31/385.09	c |     47339 |  394948  9444677 29265972 | 2147483647    47337     52 |  0.001 % |
385.01/385.79	c |     47883 |  394948  9444677 29265972 | 2147483647    47881     51 |  0.001 % |
385.91/386.69	c |     48479 |  394948  9444677 29265972 | 2147483647    48477     51 |  0.001 % |
386.91/387.63	c |     49135 |  394948  9444677 29265972 | 2147483647    49133     51 |  0.001 % |
387.21/387.93	c |     49236 |  394948  9444677 29265972 | 2147483647    49234     51 |  0.001 % |
387.51/388.24	c |     49347 |  394948  9444677 29265972 | 2147483647    49345     51 |  0.001 % |
388.01/388.71	c |     49468 |  394948  9444677 29265972 | 2147483647    49466     51 |  0.001 % |
388.31/389.01	c |     49601 |  394948  9444677 29265972 | 2147483647    49599     51 |  0.001 % |
388.61/389.36	c |     49747 |  394948  9444677 29265972 | 2147483647    49745     50 |  0.001 % |
389.01/389.71	c |     49908 |  394948  9444677 29265972 | 2147483647    49906     50 |  0.001 % |
389.31/390.05	c |     50084 |  394948  9444677 29265972 | 2147483647    50082     50 |  0.001 % |
390.71/391.49	c |     50279 |  394948  9444677 29265972 | 2147483647    50277     50 |  0.001 % |
391.61/392.33	c |     50492 |  394948  9444677 29265972 | 2147483647    50490     50 |  0.001 % |
392.51/393.26	c |     50725 |  394948  9444677 29265972 | 2147483647    50723     50 |  0.001 % |
393.81/394.55	c |     50981 |  394948  9444677 29265972 | 2147483647    50979     51 |  0.001 % |
394.31/395.02	c |     51262 |  394948  9444677 29265972 | 2147483647    51260     51 |  0.001 % |
396.61/397.35	c |     51572 |  394948  9444677 29265972 | 2147483647    51570     51 |  0.001 % |
398.91/399.67	c |     51913 |  394948  9444677 29265972 | 2147483647    51911     51 |  0.001 % |
400.00/400.79	c |     52285 |  394948  9444677 29265972 | 2147483647    52283     51 |  0.001 % |
401.60/402.38	c |     52696 |  394948  9444677 29265972 | 2147483647    52694     51 |  0.001 % |
402.30/403.00	c |     53146 |  394948  9444677 29265972 | 2147483647    53144     52 |  0.001 % |
403.30/404.08	c |     53640 |  394948  9444677 29265972 | 2147483647    53638     52 |  0.001 % |
404.11/404.90	c |     54182 |  394948  9444677 29265972 | 2147483647    54180     52 |  0.001 % |
405.21/405.98	c |     54778 |  394948  9444677 29265972 | 2147483647    54776     52 |  0.001 % |
406.20/406.91	c |     55434 |  394948  9444677 29265972 | 2147483647    55432     52 |  0.001 % |
411.49/412.28	c |     56155 |  394948  9444677 29265972 | 2147483647    56153     53 |  0.001 % |
412.80/413.54	c |     56257 |  394948  9444677 29265972 | 2147483647    56255     53 |  0.001 % |
413.29/414.05	c |     56367 |  394948  9444677 29265972 | 2147483647    56365     53 |  0.001 % |
413.90/414.66	c |     56488 |  394948  9444677 29265972 | 2147483647    56486     53 |  0.001 % |
414.39/415.19	c |     56623 |  394948  9444677 29265972 | 2147483647    56621     53 |  0.001 % |
415.29/416.00	c |     56771 |  394948  9444677 29265972 | 2147483647    56769     53 |  0.001 % |
415.59/416.34	c |     56932 |  394948  9444677 29265972 | 2147483647    56930     53 |  0.001 % |
415.99/416.77	c |     57108 |  394948  9444677 29265972 | 2147483647    57106     53 |  0.001 % |
416.79/417.57	c |     57301 |  394948  9444677 29265972 | 2147483647    57299     53 |  0.001 % |
417.39/418.14	c |     57516 |  394948  9444677 29265972 | 2147483647    57514     53 |  0.001 % |
418.79/419.53	c |     57749 |  394948  9444677 29265972 | 2147483647    57747     53 |  0.001 % |
419.29/420.07	c |     58005 |  394948  9444677 29265972 | 2147483647    58003     53 |  0.001 % |
420.59/421.31	c |     58287 |  394948  9444677 29265972 | 2147483647    58285     53 |  0.001 % |
421.09/421.83	c |     58597 |  394948  9444677 29265972 | 2147483647    58595     53 |  0.001 % |
421.79/422.50	c |     58936 |  394948  9444677 29265972 | 2147483647    58934     54 |  0.001 % |
422.48/423.29	c |     59309 |  394948  9444677 29265972 | 2147483647    59307     54 |  0.001 % |
423.59/424.37	c |     59718 |  394948  9444677 29265972 | 2147483647    59716     54 |  0.001 % |
424.48/425.23	c |     60169 |  394948  9444677 29265972 | 2147483647    60167     54 |  0.001 % |
425.08/425.81	c |     60664 |  394948  9444677 29265972 | 2147483647    60662     53 |  0.001 % |
425.78/426.55	c |     61206 |  394948  9444677 29265972 | 2147483647    61204     53 |  0.001 % |
426.48/427.28	c |     61803 |  394948  9444677 29265972 | 2147483647    61801     53 |  0.001 % |
427.48/428.23	c |     62458 |  394948  9444677 29265972 | 2147483647    62456     53 |  0.001 % |
428.38/429.19	c |     63178 |  394948  9444677 29265972 | 2147483647    63176     52 |  0.001 % |
429.59/430.32	c |     63971 |  394948  9444677 29265972 | 2147483647    63969     52 |  0.001 % |
429.79/430.59	c |     64071 |  394948  9444677 29265972 | 2147483647    64069     52 |  0.001 % |
430.19/430.92	c |     64181 |  394948  9444677 29265972 | 2147483647    64179     52 |  0.001 % |
430.59/431.39	c |     64303 |  394948  9444677 29265972 | 2147483647    64301     52 |  0.001 % |
430.99/431.73	c |     64436 |  394948  9444677 29265972 | 2147483647    64434     52 |  0.001 % |
431.49/432.22	c |     64583 |  394948  9444677 29265972 | 2147483647    64581     52 |  0.001 % |
433.08/433.81	c |     64746 |  394948  9444677 29265972 | 2147483647    64744     52 |  0.001 % |
433.38/434.11	c |     64928 |  394948  9444677 29265972 | 2147483647    64926     52 |  0.001 % |
433.98/434.72	c |     65123 |  394948  9444677 29265972 | 2147483647    65121     52 |  0.001 % |
435.08/435.85	c |     65335 |  394948  9444677 29265972 | 2147483647    65333     52 |  0.001 % |
436.48/437.24	c |     65568 |  394948  9444677 29265972 | 2147483647    65566     52 |  0.001 % |
437.08/437.82	c |     65826 |  394948  9444677 29265972 | 2147483647    65824     52 |  0.001 % |
437.58/438.38	c |     66108 |  394948  9444677 29265972 | 2147483647    66106     52 |  0.001 % |
438.38/439.10	c |     66417 |  394948  9444677 29265972 | 2147483647    66415     52 |  0.001 % |
439.08/439.84	c |     66756 |  394948  9444677 29265972 | 2147483647    66754     52 |  0.001 % |
439.88/440.62	c |     67128 |  394948  9444677 29265972 | 2147483647    67126     51 |  0.001 % |
440.58/441.38	c |     67537 |  394948  9444677 29265972 | 2147483647    67535     51 |  0.001 % |
441.38/442.16	c |     67986 |  394948  9444677 29265972 | 2147483647    67984     51 |  0.001 % |
442.18/442.95	c |     68479 |  394948  9444677 29265972 | 2147483647    68477     51 |  0.001 % |
442.98/443.75	c |     69022 |  394948  9444677 29265972 | 2147483647    69020     51 |  0.001 % |
444.47/445.29	c |     69619 |  394948  9444677 29265972 | 2147483647    69617     52 |  0.001 % |
445.27/446.06	c |     70274 |  394948  9444677 29265972 | 2147483647    70272     52 |  0.001 % |
446.57/447.33	c |     71002 |  394948  9444677 29265972 | 2147483647    71000     52 |  0.001 % |
447.97/448.74	c |     71795 |  394948  9444677 29265972 | 2147483647    71793     54 |  0.001 % |
450.28/451.04	c |     72666 |  394948  9444677 29265972 | 2147483647    72664     54 |  0.001 % |
450.58/451.31	c |     72767 |  394948  9444677 29265972 | 2147483647    72765     54 |  0.001 % |
450.98/451.71	c |     72877 |  394948  9444677 29265972 | 2147483647    72875     54 |  0.001 % |
451.28/452.05	c |     73003 |  394948  9444677 29265972 | 2147483647    73001     54 |  0.001 % |
452.07/452.88	c |     73141 |  394948  9444677 29265972 | 2147483647    73139     54 |  0.001 % |
452.47/453.25	c |     73287 |  394948  9444677 29265972 | 2147483647    73285     54 |  0.001 % |
453.27/454.03	c |     73450 |  394948  9444677 29265972 | 2147483647    73448     54 |  0.001 % |
454.06/454.89	c |     73627 |  394948  9444677 29265972 | 2147483647    73625     54 |  0.001 % |
455.36/456.13	c |     73820 |  394948  9444677 29265972 | 2147483647    73818     54 |  0.001 % |
455.96/456.72	c |     74033 |  394948  9444677 29265972 | 2147483647    74031     54 |  0.001 % |
458.26/459.08	c |     74266 |  394948  9444677 29265972 | 2147483647    74264     54 |  0.001 % |
459.86/460.69	c |     74523 |  394948  9444677 29265972 | 2147483647    74521     54 |  0.001 % |
460.66/461.49	c |     74804 |  394948  9444677 29265972 | 2147483647    74802     54 |  0.001 % |
463.16/463.95	c |     75114 |  394948  9444677 29265972 | 2147483647    75112     54 |  0.001 % |
464.85/465.63	c |     75453 |  394948  9444677 29265972 | 2147483647    75451     54 |  0.001 % |
466.26/467.04	c |     75825 |  394948  9444677 29265972 | 2147483647    75823     55 |  0.001 % |
466.76/467.57	c |     76234 |  394948  9444677 29265972 | 2147483647    76232     55 |  0.001 % |
468.55/469.33	c |     76684 |  394948  9444677 29265972 | 2147483647    76682     55 |  0.001 % |
471.85/472.66	c |     77177 |  394948  9444677 29265972 | 2147483647    77175     55 |  0.001 % |
473.35/474.11	c |     77720 |  394948  9444677 29265972 | 2147483647    77718     55 |  0.001 % |
475.65/476.41	c |     78317 |  394948  9444677 29265972 | 2147483647    78315     55 |  0.001 % |
477.45/478.26	c |     78974 |  394948  9444677 29265972 | 2147483647    78972     55 |  0.001 % |
478.45/479.29	c |     79694 |  394948  9444677 29265972 | 2147483647    79692     56 |  0.001 % |
480.55/481.31	c |     80488 |  394948  9444677 29265972 | 2147483647    80486     56 |  0.001 % |
481.85/482.68	c |     81359 |  394948  9444677 29265972 | 2147483647    81357     56 |  0.001 % |
488.74/489.55	c |     82317 |  394948  9444677 29265972 | 2147483647    82315     56 |  0.001 % |
489.24/490.08	c |     82417 |  394948  9444677 29265972 | 2147483647    82415     56 |  0.001 % |
489.54/490.39	c |     82527 |  394948  9444677 29265972 | 2147483647    82525     56 |  0.001 % |
490.14/490.90	c |     82648 |  394948  9444677 29265972 | 2147483647    82646     56 |  0.001 % |
490.34/491.10	c |     82783 |  394948  9444677 29265972 | 2147483647    82781     56 |  0.001 % |
491.14/491.95	c |     82929 |  394948  9444677 29265972 | 2147483647    82927     56 |  0.001 % |
491.54/492.36	c |     83089 |  394948  9444677 29265972 | 2147483647    83087     56 |  0.001 % |
492.74/493.55	c |     83266 |  394948  9444677 29265972 | 2147483647    83264     56 |  0.001 % |
493.24/494.03	c |     83460 |  394948  9444677 29265972 | 2147483647    83458     56 |  0.001 % |
494.64/495.46	c |     83673 |  394948  9444677 29265972 | 2147483647    83671     56 |  0.001 % |
496.13/496.98	c |     83911 |  394948  9444677 29265972 | 2147483647    83909     56 |  0.001 % |
497.53/498.38	c |     84169 |  394948  9444677 29265972 | 2147483647    84167     56 |  0.001 % |
498.94/499.72	c |     84451 |  394948  9444677 29265972 | 2147483647    84449     56 |  0.001 % |
500.14/500.93	c |     84760 |  394948  9444677 29265972 | 2147483647    84758     56 |  0.001 % |
501.24/502.07	c |     85100 |  394948  9444677 29265972 | 2147483647    85098     56 |  0.001 % |
502.34/503.19	c |     85475 |  394948  9444677 29265972 | 2147483647    85473     56 |  0.001 % |
505.24/506.06	c |     85884 |  394948  9444677 29265972 | 2147483647    85882     56 |  0.001 % |
506.73/507.51	c |     86333 |  394948  9444677 29265972 | 2147483647    86331     56 |  0.001 % |
508.23/509.07	c |     86827 |  394948  9444677 29265972 | 2147483647    86825     56 |  0.001 % |
511.23/512.07	c |     87369 |  394948  9444677 29265972 | 2147483647    87367     56 |  0.001 % |
513.53/514.31	c |     87969 |  394948  9444677 29265972 | 2147483647    87967     56 |  0.001 % |
515.93/516.71	c |     88624 |  394948  9444677 29265972 | 2147483647    88622     57 |  0.001 % |
519.13/519.96	c |     89344 |  394948  9444677 29265972 | 2147483647    89342     57 |  0.001 % |
521.43/522.28	c |     90137 |  394948  9444677 29265972 | 2147483647    90135     58 |  0.001 % |
522.93/523.77	c |     91009 |  394948  9444677 29265972 | 2147483647    91007     60 |  0.001 % |
524.73/525.58	c |     91968 |  394948  9444677 29265972 | 2147483647    91966     60 |  0.001 % |
530.92/531.73	c |     93025 |  394948  9444677 29265972 | 2147483647    93023     60 |  0.001 % |
531.42/532.28	c |     93128 |  394948  9444677 29265972 | 2147483647    93126     60 |  0.001 % |
531.82/532.63	c |     93238 |  394948  9444677 29265972 | 2147483647    93236     60 |  0.001 % |
533.02/533.87	c |     93362 |  394948  9444677 29265972 | 2147483647    93360     60 |  0.001 % |
533.42/534.24	c |     93495 |  394948  9444677 29265972 | 2147483647    93493     60 |  0.001 % |
534.92/535.71	c |     93643 |  394948  9444677 29265972 | 2147483647    93641     60 |  0.001 % |
535.42/536.26	c |     93803 |  394948  9444677 29265972 | 2147483647    93801     60 |  0.001 % |
536.42/537.27	c |     93979 |  394948  9444677 29265972 | 2147483647    93977     60 |  0.001 % |
537.92/538.71	c |     94172 |  394948  9444677 29265972 | 2147483647    94170     60 |  0.001 % |
539.12/539.91	c |     94385 |  394948  9444677 29265972 | 2147483647    94383     60 |  0.001 % |
539.72/540.51	c |     94618 |  394948  9444677 29265972 | 2147483647    94616     60 |  0.001 % |
540.62/541.42	c |     94874 |  394948  9444677 29265972 | 2147483647    94872     60 |  0.001 % |
541.71/542.55	c |     95156 |  394948  9444677 29265972 | 2147483647    95154     60 |  0.001 % |
542.31/543.12	c |     95465 |  394948  9444677 29265972 | 2147483647    95463     60 |  0.001 % |
544.21/545.01	c |     95804 |  394948  9444677 29265972 | 2147483647    95802     60 |  0.001 % |
544.81/545.64	c |     96176 |  394948  9444677 29265972 | 2147483647    96174     60 |  0.001 % |
546.81/547.62	c |     96585 |  394948  9444677 29265972 | 2147483647    96583     60 |  0.001 % |
547.81/548.67	c |     97034 |  394948  9444677 29265972 | 2147483647    97032     60 |  0.001 % |
550.01/550.87	c |     97528 |  394948  9444677 29265972 | 2147483647    97526     60 |  0.001 % |
551.11/551.97	c |     98071 |  394948  9444677 29265972 | 2147483647    98069     60 |  0.001 % |
553.31/554.16	c |     98668 |  394948  9444677 29265972 | 2147483647    98666     60 |  0.001 % |
555.51/556.36	c |     99325 |  394948  9444677 29265972 | 2147483647    99323     60 |  0.001 % |
557.71/558.60	c |    100046 |  394948  9444677 29265972 | 2147483647   100044     61 |  0.001 % |
560.22/561.08	c |    100838 |  394948  9444677 29265972 | 2147483647   100836     61 |  0.001 % |
561.41/562.20	c |    101712 |  394948  9444677 29265972 | 2147483647   101710     60 |  0.001 % |
565.41/566.23	c |    102670 |  394948  9444677 29265972 | 2147483647   102668     61 |  0.001 % |
566.71/567.51	c |    103723 |  394948  9444677 29265972 | 2147483647   103721     61 |  0.001 % |
568.41/569.29	c |    104881 |  394948  9444677 29265972 | 2147483647   104879     61 |  0.001 % |
568.91/569.72	c |    104981 |  394948  9444677 29265972 | 2147483647   104979     61 |  0.001 % |
569.11/569.93	c |    105093 |  394948  9444677 29265972 | 2147483647   105091     61 |  0.001 % |
569.80/570.68	c |    105215 |  394948  9444677 29265972 | 2147483647   105213     61 |  0.001 % |
570.20/571.00	c |    105350 |  394948  9444677 29265972 | 2147483647   105348     61 |  0.001 % |
570.70/571.57	c |    105496 |  394948  9444677 29265972 | 2147483647   105494     61 |  0.001 % |
571.30/572.17	c |    105656 |  394948  9444677 29265972 | 2147483647   105654     61 |  0.001 % |
572.10/572.98	c |    105832 |  394948  9444677 29265972 | 2147483647   105830     61 |  0.001 % |
572.50/573.34	c |    106028 |  394948  9444677 29265972 | 2147483647   106026     61 |  0.001 % |
575.20/576.01	c |    106240 |  394948  9444677 29265972 | 2147483647   106238     61 |  0.001 % |
575.70/576.50	c |    106473 |  394948  9444677 29265972 | 2147483647   106471     61 |  0.001 % |
576.60/577.41	c |    106730 |  394948  9444677 29265972 | 2147483647   106728     61 |  0.001 % |
578.10/578.98	c |    107012 |  394948  9444677 29265972 | 2147483647   107010     61 |  0.001 % |
580.70/581.55	c |    107321 |  394948  9444677 29265972 | 2147483647   107319     61 |  0.001 % |
581.80/582.63	c |    107660 |  394948  9444677 29265972 | 2147483647   107658     61 |  0.001 % |
582.40/583.25	c |    108032 |  394948  9444677 29265972 | 2147483647   108030     61 |  0.001 % |
583.50/584.35	c |    108441 |  394948  9444677 29265972 | 2147483647   108439     62 |  0.001 % |
584.70/585.53	c |    108892 |  394948  9444677 29265972 | 2147483647   108890     62 |  0.001 % |
585.60/586.48	c |    109386 |  394948  9444677 29265972 | 2147483647   109384     62 |  0.001 % |
586.30/587.17	c |    109928 |  394948  9444677 29265972 | 2147483647   109926     61 |  0.001 % |
587.69/588.53	c |    110524 |  394948  9444677 29265972 | 2147483647   110522     62 |  0.001 % |
589.09/589.99	c |    111179 |  394948  9444677 29265972 | 2147483647   111177     62 |  0.001 % |
592.29/593.17	c |    111901 |  394947  9444640 29265898 | 2147483647   111898     62 |  0.001 % |
595.29/596.13	c |    112693 |  394947  9444640 29265898 | 2147483647   112690     62 |  0.001 % |
599.48/600.34	c |    113564 |  394947  9444640 29265898 | 2147483647   113561     63 |  0.001 % |
603.00/603.84	c |    114522 |  394947  9444640 29265898 | 2147483647   114519     63 |  0.001 % |
607.69/608.51	c |    115575 |  394947  9444640 29265898 | 2147483647   115572     63 |  0.001 % |
613.99/614.85	c |    116734 |  394947  9444640 29265898 | 2147483647   116731     63 |  0.001 % |
618.68/619.50	c |    118007 |  394947  9444640 29265898 | 2147483647   118004     63 |  0.001 % |
618.98/619.87	c |    118107 |  394947  9444640 29265898 | 2147483647   118104     63 |  0.001 % |
619.98/620.86	c |    118218 |  394947  9444640 29265898 | 2147483647   118215     63 |  0.001 % |
621.08/621.91	c |    118341 |  394947  9444640 29265898 | 2147483647   118338     63 |  0.001 % |
621.87/622.71	c |    118475 |  394947  9444640 29265898 | 2147483647   118472     63 |  0.001 % |
622.27/623.17	c |    118622 |  394947  9444640 29265898 | 2147483647   118619     63 |  0.001 % |
622.88/623.79	c |    118786 |  394947  9444640 29265898 | 2147483647   118783     63 |  0.001 % |
624.47/625.33	c |    118962 |  394947  9444640 29265898 | 2147483647   118959     63 |  0.001 % |
626.08/626.95	c |    119155 |  394947  9444640 29265898 | 2147483647   119152     63 |  0.001 % |
626.47/627.32	c |    119367 |  394947  9444640 29265898 | 2147483647   119364     63 |  0.001 % |
627.29/628.11	c |    119601 |  394947  9444640 29265898 | 2147483647   119598     63 |  0.001 % |
628.58/629.42	c |    119858 |  394947  9444640 29265898 | 2147483647   119855     63 |  0.001 % |
629.28/630.18	c |    120140 |  394947  9444640 29265898 | 2147483647   120137     63 |  0.001 % |
629.98/630.84	c |    120449 |  394947  9444640 29265898 | 2147483647   120446     63 |  0.001 % |
631.17/632.09	c |    120790 |  394947  9444640 29265898 | 2147483647   120787     63 |  0.001 % |
631.97/632.80	c |    121162 |  394947  9444640 29265898 | 2147483647   121159     63 |  0.001 % |
633.88/634.77	c |    121571 |  394947  9444640 29265898 | 2147483647   121568     63 |  0.001 % |
635.57/636.43	c |    122023 |  394947  9444640 29265898 | 2147483647   122020     63 |  0.001 % |
637.77/638.64	c |    122516 |  394947  9444640 29265898 | 2147483647   122513     63 |  0.001 % |
639.67/640.59	c |    123058 |  394947  9444640 29265898 | 2147483647   123055     63 |  0.001 % |
642.87/643.75	c |    123655 |  394947  9444640 29265898 | 2147483647   123652     63 |  0.001 % |
644.97/645.83	c |    124313 |  394947  9444640 29265898 | 2147483647   124310     63 |  0.001 % |
645.97/646.88	c |    125035 |  394947  9444640 29265898 | 2147483647   125032     63 |  0.001 % |
648.17/649.05	c |    125828 |  394947  9444640 29265898 | 2147483647   125825     64 |  0.001 % |
651.56/652.46	c |    126699 |  394947  9444640 29265898 | 2147483647   126696     64 |  0.001 % |
653.57/654.50	c |    127657 |  394947  9444640 29265898 | 2147483647   127654     64 |  0.001 % |
656.16/657.02	c |    128711 |  394947  9444640 29265898 | 2147483647   128708     64 |  0.001 % |
658.66/659.58	c |    129870 |  394947  9444640 29265898 | 2147483647   129867     65 |  0.001 % |
661.66/662.57	c |    131143 |  394947  9444640 29265898 | 2147483647   131140     65 |  0.001 % |
664.26/665.18	c |    132543 |  394947  9444640 29265898 | 2147483647   132540     65 |  0.001 % |
664.86/665.72	c |    132644 |  394947  9444640 29265898 | 2147483647   132641     65 |  0.001 % |
665.36/666.21	c |    132757 |  394947  9444640 29265898 | 2147483647   132754     65 |  0.001 % |
665.66/666.56	c |    132879 |  394947  9444640 29265898 | 2147483647   132876     65 |  0.001 % |
666.26/667.19	c |    133015 |  394947  9444640 29265898 | 2147483647   133012     65 |  0.001 % |
666.86/667.74	c |    133162 |  394947  9444640 29265898 | 2147483647   133159     65 |  0.001 % |
668.16/669.09	c |    133324 |  394947  9444640 29265898 | 2147483647   133321     65 |  0.001 % |
668.96/669.83	c |    133500 |  394947  9444640 29265898 | 2147483647   133497     65 |  0.001 % |
669.96/670.89	c |    133693 |  394947  9444640 29265898 | 2147483647   133690     65 |  0.001 % |
670.66/671.59	c |    133905 |  394947  9444640 29265898 | 2147483647   133902     65 |  0.001 % |
671.26/672.15	c |    134138 |  394947  9444640 29265898 | 2147483647   134135     65 |  0.001 % |
671.86/672.72	c |    134395 |  394947  9444640 29265898 | 2147483647   134392     65 |  0.001 % |
672.36/673.21	c |    134677 |  394947  9444640 29265898 | 2147483647   134674     65 |  0.001 % |
673.05/673.94	c |    134987 |  394947  9444640 29265898 | 2147483647   134984     65 |  0.001 % |
673.36/674.29	c |    135328 |  394947  9444640 29265898 | 2147483647   135325     65 |  0.001 % |
674.15/675.07	c |    135700 |  394947  9444640 29265898 | 2147483647   135697     65 |  0.001 % |
674.95/675.87	c |    136110 |  394947  9444640 29265898 | 2147483647   136107     66 |  0.001 % |
675.85/676.73	c |    136560 |  394947  9444640 29265898 | 2147483647   136557     65 |  0.001 % |
677.55/678.49	c |    137054 |  394947  9444640 29265898 | 2147483647   137051     66 |  0.001 % |
680.84/681.74	c |    137597 |  394947  9444640 29265898 | 2147483647   137594     66 |  0.001 % |
682.34/683.20	c |    138193 |  394947  9444640 29265898 | 2147483647   138190     66 |  0.001 % |
685.04/685.98	c |    138851 |  394947  9444640 29265898 | 2147483647   138848     66 |  0.001 % |
687.44/688.35	c |    139572 |  394947  9444640 29265898 | 2147483647   139569     66 |  0.001 % |
690.84/691.73	c |    140364 |  394947  9444640 29265898 | 2147483647   140361     66 |  0.001 % |
693.04/693.99	c |    141235 |  394947  9444640 29265898 | 2147483647   141232     67 |  0.001 % |
695.04/695.91	c |    142194 |  394947  9444640 29265898 | 2147483647   142191     67 |  0.001 % |
697.54/698.43	c |    143247 |  394947  9444640 29265898 | 2147483647   143244     68 |  0.001 % |
700.53/701.48	c |    144406 |  394947  9444640 29265898 | 2147483647   144403     68 |  0.001 % |
703.44/704.36	c |    145680 |  394947  9444640 29265898 | 2147483647   145677     69 |  0.001 % |
707.54/708.40	c |    147081 |  394947  9444640 29265898 | 2147483647   147078     69 |  0.001 % |
710.64/711.51	c |    148621 |  394947  9444640 29265898 | 2147483647   148618     69 |  0.001 % |
711.64/712.57	c |    148721 |  394947  9444640 29265898 | 2147483647   148718     69 |  0.001 % |
712.34/713.23	c |    148831 |  394947  9444640 29265898 | 2147483647   148828     69 |  0.001 % |
712.64/713.57	c |    148954 |  394947  9444640 29265898 | 2147483647   148951     69 |  0.001 % |
713.73/714.60	c |    149091 |  394946  9444632 29265882 | 2147483647   149087     69 |  0.001 % |
714.84/715.78	c |    149237 |  394946  9444632 29265882 | 2147483647   149233     69 |  0.001 % |
715.43/716.37	c |    149398 |  394946  9444632 29265882 | 2147483647   149394     69 |  0.001 % |
716.24/717.19	c |    149574 |  394946  9444632 29265882 | 2147483647   149570     69 |  0.001 % |
717.03/717.96	c |    149768 |  394946  9444632 29265882 | 2147483647   149764     69 |  0.001 % |
717.44/718.38	c |    149981 |  394946  9444632 29265882 | 2147483647   149977     69 |  0.001 % |
718.63/719.55	c |    150217 |  394946  9444632 29265882 | 2147483647   150213     69 |  0.001 % |
719.73/720.67	c |    150475 |  394946  9444632 29265882 | 2147483647   150471     69 |  0.001 % |
720.43/721.35	c |    150756 |  394946  9444632 29265882 | 2147483647   150752     70 |  0.001 % |
722.22/723.17	c |    151067 |  394946  9444632 29265882 | 2147483647   151063     70 |  0.001 % |
723.32/724.21	c |    151407 |  394946  9444632 29265882 | 2147483647   151403     70 |  0.001 % |
726.32/727.28	c |    151779 |  394946  9444632 29265882 | 2147483647   151775     70 |  0.001 % |
728.42/729.36	c |    152188 |  394946  9444632 29265882 | 2147483647   152184     70 |  0.001 % |
731.12/732.01	c |    152641 |  394946  9444632 29265882 | 2147483647   152637     70 |  0.001 % |
732.52/733.45	c |    153136 |  394946  9444632 29265882 | 2147483647   153132     70 |  0.001 % |
733.83/734.78	c |    153678 |  394946  9444632 29265882 | 2147483647   153674     70 |  0.001 % |
735.52/736.47	c |    154274 |  394946  9444632 29265882 | 2147483647   154270     70 |  0.001 % |
738.62/739.51	c |    154929 |  394946  9444632 29265882 | 2147483647   154925     70 |  0.001 % |
740.53/741.42	c |    155649 |  394946  9444632 29265882 | 2147483647   155645     70 |  0.001 % |
745.72/746.63	c |    156442 |  394946  9444632 29265882 | 2147483647   156438     71 |  0.001 % |
747.62/748.55	c |    157315 |  394946  9444632 29265882 | 2147483647   157311     72 |  0.001 % |
750.32/751.28	c |    158273 |  394946  9444632 29265882 | 2147483647   158269     73 |  0.001 % |
753.31/754.28	c |    159326 |  394946  9444632 29265882 | 2147483647   159322     73 |  0.001 % |
758.41/759.36	c |    160484 |  394946  9444632 29265882 | 2147483647   160480     73 |  0.001 % |
762.11/763.04	c |    161758 |  394946  9444632 29265882 | 2147483647   161754     73 |  0.001 % |
764.81/765.72	c |    163159 |  394946  9444632 29265882 | 2147483647   163155     73 |  0.001 % |
768.30/769.23	c |    164700 |  394946  9444632 29265882 | 2147483647   164696     73 |  0.001 % |
772.60/773.59	c |    166396 |  394946  9444632 29265882 | 2147483647   166392     73 |  0.001 % |
773.00/773.97	c |    166500 |  394946  9444632 29265882 | 2147483647   166496     73 |  0.001 % |
773.90/774.80	c |    166610 |  394946  9444632 29265882 | 2147483647   166606     73 |  0.001 % |
774.60/775.56	c |    166731 |  394946  9444632 29265882 | 2147483647   166727     73 |  0.001 % |
775.00/775.99	c |    166864 |  394946  9444632 29265882 | 2147483647   166860     73 |  0.001 % |
775.60/776.60	c |    167010 |  394946  9444632 29265882 | 2147483647   167006     73 |  0.001 % |
776.40/777.36	c |    167171 |  394946  9444632 29265882 | 2147483647   167167     73 |  0.001 % |
777.00/777.90	c |    167347 |  394946  9444632 29265882 | 2147483647   167343     73 |  0.001 % |
777.80/778.78	c |    167540 |  394946  9444632 29265882 | 2147483647   167536     73 |  0.001 % |
780.00/780.99	c |    167752 |  394946  9444632 29265882 | 2147483647   167748     73 |  0.001 % |
780.30/781.28	c |    167986 |  394946  9444632 29265882 | 2147483647   167982     73 |  0.001 % |
781.50/782.40	c |    168244 |  394946  9444632 29265882 | 2147483647   168240     73 |  0.001 % |
782.10/783.02	c |    168526 |  394946  9444632 29265882 | 2147483647   168522     73 |  0.001 % |
782.90/783.83	c |    168835 |  394946  9444632 29265882 | 2147483647   168831     73 |  0.001 % |
784.50/785.49	c |    169174 |  394946  9444632 29265882 | 2147483647   169170     73 |  0.001 % |
785.79/786.70	c |    169546 |  394946  9444632 29265882 | 2147483647   169542     73 |  0.001 % |
788.49/789.40	c |    169955 |  394946  9444632 29265882 | 2147483647   169951     73 |  0.001 % |
789.49/790.46	c |    170405 |  394946  9444632 29265882 | 2147483647   170401     74 |  0.001 % |
791.59/792.50	c |    170898 |  394946  9444632 29265882 | 2147483647   170894     74 |  0.001 % |
792.90/793.83	c |    171440 |  394946  9444632 29265882 | 2147483647   171436     74 |  0.001 % |
794.50/795.40	c |    172037 |  394946  9444632 29265882 | 2147483647   172033     74 |  0.001 % |
796.39/797.32	c |    172692 |  394946  9444632 29265882 | 2147483647   172688     74 |  0.001 % |
798.09/799.07	c |    173414 |  394946  9444632 29265882 | 2147483647   173410     74 |  0.001 % |
799.09/800.07	c |    174207 |  394946  9444632 29265882 | 2147483647   174203     74 |  0.001 % |
801.99/802.93	c |    175078 |  394946  9444632 29265882 | 2147483647   175074     74 |  0.001 % |
804.79/805.75	c |    176036 |  394946  9444632 29265882 | 2147483647   176032     74 |  0.001 % |
806.99/807.98	c |    177089 |  394946  9444632 29265882 | 2147483647   177085     74 |  0.001 % |
808.79/809.71	c |    178248 |  394946  9444632 29265882 | 2147483647   178244     74 |  0.001 % |
810.99/811.98	c |    179528 |  394946  9444632 29265882 | 2147483647   179524     74 |  0.001 % |
814.78/815.80	c |    180930 |  394946  9444632 29265882 | 2147483647   180926     76 |  0.001 % |
816.68/817.61	c |    182470 |  394946  9444632 29265882 | 2147483647   182466     76 |  0.001 % |
821.09/822.04	c |    184164 |  394946  9444632 29265882 | 2147483647   184160     76 |  0.001 % |
824.58/825.51	c |    186030 |  394946  9444632 29265882 | 2147483647   186026     76 |  0.001 % |
825.39/826.39	c |    186130 |  394946  9444632 29265882 | 2147483647   186126     76 |  0.001 % |
826.19/827.15	c |    186240 |  394946  9444632 29265882 | 2147483647   186236     76 |  0.001 % |
826.58/827.53	c |    186361 |  394946  9444632 29265882 | 2147483647   186357     76 |  0.001 % |
827.39/828.35	c |    186494 |  394946  9444632 29265882 | 2147483647   186490     76 |  0.001 % |
827.78/828.74	c |    186641 |  394946  9444632 29265882 | 2147483647   186637     76 |  0.001 % |
828.28/829.21	c |    186801 |  394946  9444632 29265882 | 2147483647   186797     76 |  0.001 % |
828.78/829.78	c |    186977 |  394946  9444632 29265882 | 2147483647   186973     76 |  0.001 % |
829.88/830.81	c |    187170 |  394946  9444632 29265882 | 2147483647   187166     76 |  0.001 % |
830.88/831.87	c |    187382 |  394946  9444632 29265882 | 2147483647   187378     76 |  0.001 % |
831.48/832.41	c |    187616 |  394946  9444632 29265882 | 2147483647   187612     76 |  0.001 % |
832.58/833.54	c |    187873 |  394946  9444632 29265882 | 2147483647   187869     76 |  0.001 % |
833.48/834.43	c |    188155 |  394946  9444632 29265882 | 2147483647   188151     76 |  0.001 % |
834.08/835.03	c |    188465 |  394946  9444632 29265882 | 2147483647   188461     76 |  0.001 % |
835.08/836.06	c |    188807 |  394946  9444632 29265882 | 2147483647   188803     76 |  0.001 % |
835.98/836.98	c |    189179 |  394946  9444632 29265882 | 2147483647   189175     76 |  0.001 % |
836.78/837.73	c |    189588 |  394946  9444632 29265882 | 2147483647   189584     76 |  0.001 % |
838.38/839.38	c |    190037 |  394946  9444632 29265882 | 2147483647   190033     76 |  0.001 % |
840.48/841.47	c |    190531 |  394946  9444632 29265882 | 2147483647   190527     76 |  0.001 % |
842.68/843.62	c |    191074 |  394946  9444632 29265882 | 2147483647   191070     77 |  0.001 % |
844.07/845.06	c |    191670 |  394946  9444632 29265882 | 2147483647   191666     77 |  0.001 % |
847.08/848.06	c |    192326 |  394946  9444632 29265882 | 2147483647   192322     77 |  0.001 % |
848.07/849.08	c |    193046 |  394946  9444632 29265882 | 2147483647   193042     77 |  0.001 % |
850.97/851.98	c |    193840 |  394946  9444632 29265882 | 2147483647   193836     77 |  0.001 % |
852.27/853.27	c |    194712 |  394946  9444632 29265882 | 2147483647   194708     77 |  0.001 % |
854.97/855.91	c |    195670 |  394946  9444632 29265882 | 2147483647   195666     78 |  0.001 % |
859.66/860.69	c |    196723 |  394943  9444624 29265866 | 2147483647   196716     78 |  0.002 % |
864.45/865.50	c |    197881 |  394943  9444624 29265866 | 2147483647   197874     78 |  0.002 % |
866.95/867.94	c |    199155 |  394943  9444624 29265866 | 2147483647   199148     77 |  0.002 % |
869.75/870.78	c |    200555 |  394943  9444624 29265866 | 2147483647   200548     77 |  0.002 % |
873.64/874.67	c |    202095 |  394943  9444624 29265866 | 2147483647   202088     78 |  0.002 % |
878.55/879.55	c |    203795 |  394943  9444624 29265866 | 2147483647   203788     79 |  0.002 % |
881.05/882.02	c |    205660 |  394943  9444624 29265866 | 2147483647   205653     78 |  0.002 % |
888.25/889.26	c |    207711 |  394943  9444624 29265866 | 2147483647   207704     79 |  0.002 % |
888.75/889.75	c |    207811 |  394943  9444624 29265866 | 2147483647   207804     79 |  0.002 % |
889.34/890.30	c |    207921 |  394943  9444624 29265866 | 2147483647   207914     79 |  0.002 % |
889.64/890.64	c |    208042 |  394943  9444624 29265866 | 2147483647   208035     79 |  0.002 % |
890.64/891.62	c |    208175 |  394943  9444624 29265866 | 2147483647   208168     79 |  0.002 % |
891.64/892.65	c |    208327 |  394943  9444624 29265866 | 2147483647   208320     79 |  0.002 % |
892.15/893.14	c |    208487 |  394943  9444624 29265866 | 2147483647   208480     79 |  0.002 % |
893.94/894.93	c |    208665 |  394943  9444624 29265866 | 2147483647   208658     79 |  0.002 % |
895.04/896.01	c |    208861 |  394943  9444624 29265866 | 2147483647   208854     79 |  0.002 % |
896.34/897.39	c |    209076 |  394943  9444624 29265866 | 2147483647   209069     79 |  0.002 % |
897.74/898.71	c |    209310 |  394943  9444624 29265866 | 2147483647   209303     79 |  0.002 % |
899.84/900.81	c |    209566 |  394943  9444624 29265866 | 2147483647   209559     79 |  0.002 % |
901.34/902.31	c |    209847 |  394943  9444608 29265834 | 2147483647   209840     79 |  0.002 % |
903.83/904.89	c |    210156 |  394943  9444608 29265834 | 2147483647   210149     79 |  0.002 % |
907.13/908.13	c |    210495 |  394943  9444608 29265834 | 2147483647   210488     79 |  0.002 % |
908.33/909.32	c |    210868 |  394943  9444608 29265834 | 2147483647   210861     79 |  0.002 % |
909.13/910.15	c |    211278 |  394943  9444608 29265834 | 2147483647   211271     79 |  0.002 % |
912.83/913.82	c |    211727 |  394943  9444608 29265834 | 2147483647   211720     79 |  0.002 % |
914.33/915.35	c |    212220 |  394943  9444608 29265834 | 2147483647   212213     79 |  0.002 % |
916.33/917.31	c |    212762 |  394943  9444608 29265834 | 2147483647   212755     79 |  0.002 % |
918.63/919.63	c |    213358 |  394943  9444608 29265834 | 2147483647   213351     79 |  0.002 % |
921.84/922.87	c |    214015 |  394943  9444608 29265834 | 2147483647   214008     79 |  0.002 % |
924.93/925.98	c |    214738 |  394943  9444608 29265834 | 2147483647   214731     79 |  0.002 % |
927.13/928.13	c |    215531 |  394943  9444608 29265834 | 2147483647   215524     79 |  0.002 % |
928.83/929.82	c |    216407 |  394943  9444608 29265834 | 2147483647   216400     79 |  0.002 % |
933.03/934.02	c |    217366 |  394943  9444608 29265834 | 2147483647   217359     79 |  0.002 % |
934.93/935.93	c |    218419 |  394943  9444608 29265834 | 2147483647   218412     79 |  0.002 % |
938.52/939.55	c |    219577 |  394943  9444608 29265834 | 2147483647   219570     79 |  0.002 % |
940.92/941.94	c |    220850 |  394943  9444608 29265834 | 2147483647   220843     79 |  0.002 % |
945.62/946.67	c |    222250 |  394943  9444608 29265834 | 2147483647   222243     80 |  0.002 % |
948.11/949.12	c |    223790 |  394943  9444608 29265834 | 2147483647   223783     81 |  0.002 % |
952.01/953.09	c |    225484 |  394943  9444608 29265834 | 2147483647   225477     81 |  0.002 % |
956.52/957.50	c |    227349 |  394943  9444608 29265834 | 2147483647   227342     81 |  0.002 % |
959.01/960.00	c |    229400 |  394943  9444608 29265834 | 2147483647   229393     81 |  0.002 % |
964.01/965.06	c |    231653 |  394943  9444608 29265834 | 2147483647   231646     81 |  0.002 % |
964.31/965.36	c |    231755 |  394943  9444608 29265834 | 2147483647   231748     81 |  0.002 % |
964.61/965.67	c |    231865 |  394943  9444608 29265834 | 2147483647   231858     81 |  0.002 % |
965.51/966.58	c |    231987 |  394943  9444608 29265834 | 2147483647   231980     81 |  0.002 % |
966.21/967.29	c |    232120 |  394943  9444608 29265834 | 2147483647   232113     81 |  0.002 % |
967.51/968.52	c |    232266 |  394943  9444608 29265834 | 2147483647   232259     81 |  0.002 % |
968.01/969.02	c |    232427 |  394943  9444608 29265834 | 2147483647   232420     81 |  0.002 % |
968.70/969.78	c |    232604 |  394943  9444608 29265834 | 2147483647   232597     81 |  0.002 % |
970.60/971.65	c |    232797 |  394943  9444608 29265834 | 2147483647   232790     81 |  0.002 % |
971.50/972.56	c |    233010 |  394943  9444608 29265834 | 2147483647   233003     81 |  0.002 % |
973.00/974.04	c |    233244 |  394943  9444608 29265834 | 2147483647   233237     81 |  0.002 % |
974.00/975.02	c |    233500 |  394943  9444608 29265834 | 2147483647   233493     81 |  0.002 % |
975.10/976.19	c |    233781 |  394943  9444608 29265834 | 2147483647   233774     81 |  0.002 % |
976.30/977.36	c |    234090 |  394943  9444608 29265834 | 2147483647   234083     81 |  0.002 % |
977.60/978.64	c |    234429 |  394943  9444608 29265834 | 2147483647   234422     81 |  0.002 % |
979.40/980.43	c |    234801 |  394943  9444608 29265834 | 2147483647   234794     81 |  0.002 % |
981.50/982.54	c |    235210 |  394943  9444608 29265834 | 2147483647   235203     82 |  0.002 % |
983.40/984.41	c |    235661 |  394943  9444608 29265834 | 2147483647   235654     82 |  0.002 % |
984.90/985.94	c |    236154 |  394943  9444608 29265834 | 2147483647   236147     82 |  0.002 % |
985.90/986.92	c |    236696 |  394943  9444608 29265834 | 2147483647   236689     82 |  0.002 % |
987.00/988.05	c |    237292 |  394943  9444608 29265834 | 2147483647   237285     83 |  0.002 % |
988.10/989.14	c |    237950 |  394943  9444608 29265834 | 2147483647   237943     83 |  0.002 % |
990.49/991.57	c |    238670 |  394943  9444608 29265834 | 2147483647   238663     83 |  0.002 % |
991.59/992.63	c |    239462 |  394943  9444608 29265834 | 2147483647   239455     83 |  0.002 % |
992.99/994.03	c |    240333 |  394943  9444608 29265834 | 2147483647   240326     83 |  0.002 % |
998.19/999.26	c |    241292 |  394943  9444608 29265834 | 2147483647   241285     83 |  0.002 % |
1001.69/1002.79	c |    242346 |  394943  9444608 29265834 | 2147483647   242339     83 |  0.002 % |
1003.39/1004.41	c |    243504 |  394943  9444608 29265834 | 2147483647   243497     84 |  0.002 % |
1006.88/1007.97	c |    244778 |  394943  9444608 29265834 | 2147483647   244771     84 |  0.002 % |
1009.79/1010.90	c |    246180 |  394943  9444608 29265834 | 2147483647   246173     84 |  0.002 % |
1015.78/1016.88	c |    247722 |  394943  9444608 29265834 | 2147483647   247715     85 |  0.002 % |
1018.48/1019.58	c |    249417 |  394943  9444608 29265834 | 2147483647   249410     85 |  0.002 % |
1024.28/1025.30	c |    251280 |  394943  9444608 29265834 | 2147483647   251273     85 |  0.002 % |
1032.18/1033.25	c |    253329 |  394943  9444608 29265834 | 2147483647   253322     85 |  0.002 % |
1039.17/1040.25	c |    255582 |  394943  9444608 29265834 | 2147483647   255575     86 |  0.002 % |
1046.86/1047.91	c |    258061 |  394943  9444608 29265834 | 2147483647   258054     86 |  0.002 % |
1047.56/1048.63	c |    258161 |  394943  9444608 29265834 | 2147483647   258154     86 |  0.002 % |
1048.06/1049.16	c |    258271 |  394943  9444608 29265834 | 2147483647   258264     86 |  0.002 % |
1048.67/1049.74	c |    258392 |  394943  9444608 29265834 | 2147483647   258385     86 |  0.002 % |
1049.07/1050.10	c |    258525 |  394943  9444608 29265834 | 2147483647   258518     86 |  0.002 % |
1049.67/1050.72	c |    258674 |  394943  9444608 29265834 | 2147483647   258667     86 |  0.002 % |
1050.37/1051.41	c |    258834 |  394943  9444608 29265834 | 2147483647   258827     86 |  0.002 % |
1051.07/1052.14	c |    259010 |  394943  9444608 29265834 | 2147483647   259003     86 |  0.002 % |
1051.77/1052.86	c |    259204 |  394943  9444608 29265834 | 2147483647   259197     86 |  0.002 % |
1052.97/1054.08	c |    259416 |  394943  9444608 29265834 | 2147483647   259409     86 |  0.002 % |
1054.37/1055.41	c |    259650 |  394943  9444608 29265834 | 2147483647   259643     86 |  0.002 % |
1055.67/1056.71	c |    259910 |  394943  9444608 29265834 | 2147483647   259903     86 |  0.002 % |
1057.07/1058.20	c |    260191 |  394943  9444608 29265834 | 2147483647   260184     86 |  0.002 % |
1059.46/1060.51	c |    260500 |  394943  9444608 29265834 | 2147483647   260493     86 |  0.002 % |
1060.47/1061.57	c |    260839 |  394943  9444608 29265834 | 2147483647   260832     86 |  0.002 % |
1062.46/1063.58	c |    261211 |  394943  9444608 29265834 | 2147483647   261204     86 |  0.002 % |
1064.76/1065.82	c |    261620 |  394943  9444608 29265834 | 2147483647   261613     86 |  0.002 % |
1066.16/1067.23	c |    262074 |  394943  9444608 29265834 | 2147483647   262067     86 |  0.002 % |
1068.46/1069.59	c |    262570 |  394943  9444608 29265834 | 2147483647   262563     86 |  0.002 % |
1071.25/1072.30	c |    263114 |  394943  9444608 29265834 | 2147483647   263107     86 |  0.002 % |
1074.45/1075.50	c |    263710 |  394943  9444608 29265834 | 2147483647   263703     87 |  0.002 % |
1076.55/1077.66	c |    264369 |  394943  9444608 29265834 | 2147483647   264362     87 |  0.002 % |
1079.35/1080.44	c |    265089 |  394943  9444608 29265834 | 2147483647   265082     87 |  0.002 % |
1082.45/1083.60	c |    265881 |  394943  9444608 29265834 | 2147483647   265874     87 |  0.002 % |
1085.15/1086.25	c |    266752 |  394943  9444608 29265834 | 2147483647   266745     87 |  0.002 % |
1086.76/1087.84	c |    267710 |  394943  9444608 29265834 | 2147483647   267703     87 |  0.002 % |
1088.05/1089.19	c |    268763 |  394943  9444608 29265834 | 2147483647   268756     88 |  0.002 % |
1093.55/1094.64	c |    269924 |  394943  9444608 29265834 | 2147483647   269917     88 |  0.002 % |
1097.34/1098.49	c |    271201 |  394943  9444608 29265834 | 2147483647   271194     89 |  0.002 % |
1101.05/1102.15	c |    272603 |  394943  9444608 29265834 | 2147483647   272596     89 |  0.002 % |
1106.84/1107.92	c |    274143 |  394943  9444608 29265834 | 2147483647   274136     89 |  0.002 % |
1111.64/1112.72	c |    275837 |  394943  9444608 29265834 | 2147483647   275830     90 |  0.002 % |
1116.14/1117.28	c |    277700 |  394943  9444608 29265834 | 2147483647   277693     91 |  0.002 % |
1119.94/1121.01	c |    279752 |  394943  9444608 29265834 | 2147483647   279745     91 |  0.002 % |
1125.34/1126.48	c |    282006 |  394943  9444608 29265834 | 2147483647   281999     91 |  0.002 % |
1131.41/1132.54	c |    284484 |  394943  9444608 29265834 | 2147483647   284477     92 |  0.002 % |
1139.41/1140.56	c |    287209 |  394943  9444608 29265834 | 2147483647   287202     92 |  0.002 % |
1140.30/1141.41	c |    287309 |  394943  9444608 29265834 | 2147483647   287302     92 |  0.002 % |
1140.71/1141.80	c |    287419 |  394943  9444608 29265834 | 2147483647   287412     92 |  0.002 % |
1141.40/1142.53	c |    287541 |  394943  9444608 29265834 | 2147483647   287534     92 |  0.002 % |
1142.40/1143.55	c |    287674 |  394943  9444608 29265834 | 2147483647   287667     92 |  0.002 % |
1142.91/1144.02	c |    287820 |  394943  9444608 29265834 | 2147483647   287813     92 |  0.002 % |
1143.50/1144.69	c |    287980 |  394943  9444608 29265834 | 2147483647   287973     92 |  0.002 % |
1144.40/1145.52	c |    288157 |  394943  9444608 29265834 | 2147483647   288150     92 |  0.002 % |
1145.01/1146.13	c |    288351 |  394943  9444608 29265834 | 2147483647   288344     92 |  0.002 % |
1145.60/1146.77	c |    288563 |  394943  9444608 29265834 | 2147483647   288556     92 |  0.002 % |
1146.80/1147.99	c |    288798 |  394943  9444608 29265834 | 2147483647   288791     92 |  0.002 % |
1147.50/1148.69	c |    289055 |  394943  9444608 29265834 | 2147483647   289048     92 |  0.002 % |
1149.10/1150.30	c |    289338 |  394943  9444608 29265834 | 2147483647   289331     92 |  0.002 % |
1149.60/1150.76	c |    289648 |  394943  9444608 29265834 | 2147483647   289641     92 |  0.002 % |
1150.30/1151.48	c |    289987 |  394943  9444608 29265834 | 2147483647   289980     92 |  0.002 % |
1153.39/1154.51	c |    290359 |  394943  9444608 29265834 | 2147483647   290352     92 |  0.002 % |
1155.29/1156.49	c |    290768 |  394943  9444608 29265834 | 2147483647   290761     92 |  0.002 % |
1157.10/1158.25	c |    291217 |  394943  9444608 29265834 | 2147483647   291210     93 |  0.002 % |
1158.09/1159.29	c |    291710 |  394943  9444608 29265834 | 2147483647   291703     93 |  0.002 % |
1159.99/1161.18	c |    292252 |  394943  9444608 29265834 | 2147483647   292245     93 |  0.002 % |
1163.29/1164.42	c |    292848 |  394942  9444588 29265794 | 2147483647   292840     93 |  0.002 % |
1164.30/1165.47	c |    293504 |  394942  9444588 29265794 | 2147483647   293496     93 |  0.002 % |
1168.59/1169.78	c |    294226 |  394942  9444588 29265794 | 2147483647   294218     93 |  0.002 % |
1171.29/1172.44	c |    295018 |  394942  9444588 29265794 | 2147483647   295010     93 |  0.002 % |
1178.27/1179.43	c |    295889 |  394942  9444588 29265794 | 2147483647   295881     93 |  0.002 % |
1181.56/1182.78	c |    296847 |  394942  9444588 29265794 | 2147483647   296839     93 |  0.002 % |
1185.67/1186.87	c |    297901 |  394942  9444588 29265794 | 2147483647   297893     93 |  0.002 % |
1187.97/1189.13	c |    299061 |  394942  9444588 29265794 | 2147483647   299053     94 |  0.002 % |
1192.46/1193.63	c |    300336 |  394942  9444588 29265794 | 2147483647   300328     94 |  0.002 % |
1196.06/1197.27	c |    301739 |  394942  9444588 29265794 | 2147483647   301731     94 |  0.002 % |
1198.46/1199.61	c |    303279 |  394942  9444588 29265794 | 2147483647   303271     94 |  0.002 % |

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832123-1242769233/watcher-1832123-1242769233 -o /tmp/evaluation-result-1832123-1242769233/solver-1832123-1242769233 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832123-1242769233.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 25879
/proc/meminfo: memFree=1628504/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=1004 CPUtime=0
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 304953912 1028096 97 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 251 97 49 173 0 76 0

[startup+0.032179 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 25879
/proc/meminfo: memFree=1628504/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=4020 CPUtime=0.02
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 801 0 0 0 2 0 0 0 18 0 1 0 304953912 4116480 787 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 1005 787 49 173 0 830 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9376

[startup+0.101187 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 25879
/proc/meminfo: memFree=1628504/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=10308 CPUtime=0.09
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 2338 0 0 0 8 1 0 0 18 0 1 0 304953912 10555392 2324 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 2577 2325 49 173 0 2402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15664

[startup+0.301212 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 25879
/proc/meminfo: memFree=1628504/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=29332 CPUtime=0.29
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 6572 0 0 0 25 4 0 0 19 0 1 0 304953912 30035968 6558 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 7333 6559 49 173 0 7158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34688

[startup+0.701262 s]
/proc/loadavg: 1.15 1.03 1.01 3/65 25879
/proc/meminfo: memFree=1628504/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=67584 CPUtime=0.69
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 14415 0 0 0 59 10 0 0 23 0 1 0 304953912 69206016 14401 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 16896 14402 49 173 0 16721 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72940

[startup+1.50136 s]
/proc/loadavg: 1.22 1.05 1.01 2/67 25884
/proc/meminfo: memFree=1547400/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=138268 CPUtime=1.48
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 29541 0 0 0 129 19 0 0 25 0 1 0 304953912 141586432 29527 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 34567 29527 49 173 0 34392 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 143624

[startup+3.10156 s]
/proc/loadavg: 1.22 1.05 1.01 2/67 25884
/proc/meminfo: memFree=1465288/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=279524 CPUtime=3.08
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 59996 0 0 0 266 42 0 0 25 0 1 0 304953912 286232576 59982 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 69881 59982 49 173 0 69706 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 284880

[startup+6.30196 s]
/proc/loadavg: 1.36 1.08 1.02 2/67 25884
/proc/meminfo: memFree=1216200/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=540376 CPUtime=6.28
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 122737 0 0 0 539 89 0 0 25 0 1 0 304953912 553345024 122723 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 135094 122729 50 173 0 134919 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 545732

[startup+12.7018 s]
/proc/loadavg: 1.41 1.10 1.03 2/67 25884
/proc/meminfo: memFree=993160/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=697420 CPUtime=12.67
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 178159 0 0 0 1152 115 0 0 25 0 1 0 304953912 714158080 158035 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 174355 158035 76 173 0 174180 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 702776

[startup+25.5014 s]
/proc/loadavg: 1.84 1.20 1.06 2/67 25884
/proc/meminfo: memFree=948552/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=780396 CPUtime=25.47
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 189283 0 0 0 2424 123 0 0 25 0 1 0 304953912 799125504 169159 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 195099 169159 76 173 0 194924 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 785752

[startup+51.1016 s]
/proc/loadavg: 1.67 1.22 1.07 2/67 25884
/proc/meminfo: memFree=903688/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=828248 CPUtime=51.05
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 199453 0 0 0 4964 141 0 0 25 0 1 0 304953912 848125952 179329 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 207062 179329 76 173 0 206887 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 833604

[startup+102.316 s]
/proc/loadavg: 1.29 1.18 1.06 3/67 25884
/proc/meminfo: memFree=793608/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=990600 CPUtime=102.24
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 226136 0 0 0 10064 160 0 0 25 0 1 0 304953912 1014374400 204663 1992294400 134512640 135223648 4294956128 18446744073709551615 134548984 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 247650 204663 76 173 0 247475 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 995956

[startup+162.301 s]
/proc/loadavg: 1.10 1.15 1.06 2/67 25884
/proc/meminfo: memFree=796168/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=0
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304953911 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25879/statm: 1339 237 197 169 0 50 0
[pid=25883] ppid=25879 vsize=991048 CPUtime=162.19
/proc/25883/stat : 25883 (SatELite_releas) R 25879 25879 25440 0 -1 4194304 226229 0 0 0 16059 160 0 0 25 0 1 0 304953912 1014833152 204756 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 0 0 0
/proc/25883/statm: 247762 204756 76 173 0 247587 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 996404

[startup+222.302 s]
/proc/loadavg: 1.33 1.18 1.07 2/68 25886
/proc/meminfo: memFree=959296/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=440872 CPUtime=11.35
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 105866 0 0 0 1065 70 0 0 25 0 1 0 304975004 451452928 105802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 110218 105802 77 171 0 110045 0
Current children cumulated CPU time (s) 221.7
Current children cumulated vsize (KiB) 446228

[startup+282.301 s]
/proc/loadavg: 1.22 1.19 1.08 2/67 25888
/proc/meminfo: memFree=958344/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=447464 CPUtime=71.32
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 107497 0 0 0 7059 73 0 0 25 0 1 0 304975004 458203136 107433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 111866 107433 77 171 0 111693 0
Current children cumulated CPU time (s) 281.67
Current children cumulated vsize (KiB) 452820

[startup+342.302 s]
/proc/loadavg: 1.08 1.15 1.08 2/67 25888
/proc/meminfo: memFree=953736/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=452052 CPUtime=131.29
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 108635 0 0 0 13054 75 0 0 25 0 1 0 304975004 462901248 108571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 113013 108571 77 171 0 112840 0
Current children cumulated CPU time (s) 341.64

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

/proc/25885/statm: 117264 112838 77 171 0 117091 0
Current children cumulated CPU time (s) 521.53
Current children cumulated vsize (KiB) 474412

[startup+582.302 s]
/proc/loadavg: 1.00 1.06 1.06 2/67 25888
/proc/meminfo: memFree=930184/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=475324 CPUtime=371.15
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 114413 0 0 0 37034 81 0 0 25 0 1 0 304975004 486731776 114349 1992294400 134512640 135215339 4294956240 18446744073709551615 134527070 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 118831 114349 77 171 0 118658 0
Current children cumulated CPU time (s) 581.5
Current children cumulated vsize (KiB) 480680

[startup+642.301 s]
/proc/loadavg: 1.00 1.05 1.05 2/67 25888
/proc/meminfo: memFree=924232/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=481140 CPUtime=431.12
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 115871 0 0 0 43028 84 0 0 25 0 1 0 304975004 492687360 115807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 120285 115807 77 171 0 120112 0
Current children cumulated CPU time (s) 641.47
Current children cumulated vsize (KiB) 486496

[startup+702.302 s]
/proc/loadavg: 1.00 1.04 1.04 2/67 25888
/proc/meminfo: memFree=915144/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=490312 CPUtime=491.08
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 118132 0 0 0 49022 86 0 0 25 0 1 0 304975004 502079488 118068 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 122578 118068 77 171 0 122405 0
Current children cumulated CPU time (s) 701.43
Current children cumulated vsize (KiB) 495668

[startup+762.305 s]
/proc/loadavg: 1.00 1.03 1.04 2/67 25888
/proc/meminfo: memFree=906440/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=498772 CPUtime=551.06
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 120255 0 0 0 55018 88 0 0 25 0 1 0 304975004 510742528 120191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 124693 120191 77 171 0 124520 0
Current children cumulated CPU time (s) 761.41
Current children cumulated vsize (KiB) 504128

[startup+822.302 s]
/proc/loadavg: 1.00 1.02 1.03 2/67 25888
/proc/meminfo: memFree=896840/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=508412 CPUtime=611.04
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 122669 0 0 0 61013 91 0 0 25 0 1 0 304975004 520613888 122605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 127103 122605 77 171 0 126930 0
Current children cumulated CPU time (s) 821.39
Current children cumulated vsize (KiB) 513768

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.03 2/67 25888
/proc/meminfo: memFree=887240/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=517584 CPUtime=671
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 124993 0 0 0 67007 93 0 0 25 0 1 0 304975004 530006016 124929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 129396 124929 77 171 0 129223 0
Current children cumulated CPU time (s) 881.35
Current children cumulated vsize (KiB) 522940

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.02 2/67 25888
/proc/meminfo: memFree=880904/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=524228 CPUtime=730.97
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 126593 0 0 0 73003 94 0 0 25 0 1 0 304975004 536809472 126529 1992294400 134512640 135215339 4294956240 18446744073709551615 134529139 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 131057 126529 77 171 0 130884 0
Current children cumulated CPU time (s) 941.32
Current children cumulated vsize (KiB) 529584

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 25888
/proc/meminfo: memFree=869704/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=535092 CPUtime=790.94
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 129315 0 0 0 78998 96 0 0 25 0 1 0 304975004 547934208 129251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 133773 129251 77 171 0 133600 0
Current children cumulated CPU time (s) 1001.29
Current children cumulated vsize (KiB) 540448

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 25888
/proc/meminfo: memFree=859144/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=545840 CPUtime=850.91
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 131968 0 0 0 84993 98 0 0 25 0 1 0 304975004 558940160 131904 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 136460 131904 77 171 0 136287 0
Current children cumulated CPU time (s) 1061.26
Current children cumulated vsize (KiB) 551196

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25888
/proc/meminfo: memFree=846344/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=558400 CPUtime=910.89
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 135136 0 0 0 90988 101 0 0 25 0 1 0 304975004 571801600 135072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 139600 135072 77 171 0 139427 0
Current children cumulated CPU time (s) 1121.24
Current children cumulated vsize (KiB) 563756

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25888
/proc/meminfo: memFree=837128/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=567628 CPUtime=970.82
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 137435 0 0 0 96979 103 0 0 25 0 1 0 304975004 581251072 137371 1992294400 134512640 135215339 4294956240 18446744073709551615 134527221 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 141907 137371 77 171 0 141734 0
Current children cumulated CPU time (s) 1181.17
Current children cumulated vsize (KiB) 572984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25888
/proc/meminfo: memFree=833288/2055920 swapFree=4179872/4192956
[pid=25879] ppid=25877 vsize=5356 CPUtime=210.35
/proc/25879/stat : 25879 (SatELiteGTI) S 25877 25879 25440 0 -1 4194304 336 266149 0 0 0 0 20761 274 16 0 1 0 304953911 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25879/statm: 1339 239 197 169 0 50 0
[pid=25885] ppid=25879 vsize=571284 CPUtime=989.72
/proc/25885/stat : 25885 (minisat_static) R 25879 25879 25440 0 -1 4194304 138346 0 0 0 98868 104 0 0 25 0 1 0 304975004 584994816 138282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/25885/statm: 142821 138282 77 171 0 142648 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 576640

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25879 and gives
#  childrusage.ru_utime.tv_sec=207
#  childrusage.ru_utime.tv_usec=615437
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=744582
# CPU time returned by wait4() is 210.36
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.22
CPU time (s): 1200.07
CPU user time (s): 1196.29
CPU system time (s): 3.78
CPU usage (%): 99.9046
Max. virtual memory (cumulated for all children) (KiB): 1001420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.615
system time used= 2.74458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 594

runsolver used 1.13783 second user time and 3.3135 second system time

The end

Launcher Data 

Begin job on node92 at 2009-05-19 23:40:45
IDJOB=1832123
IDBENCH=20574
IDSOLVER=671
FILE ID=node92/1832123-1242769233
PBS_JOBID= 9322212
Free space on /tmp= 66020 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832123-1242769233/watcher-1832123-1242769233 -o /tmp/evaluation-result-1832123-1242769233/solver-1832123-1242769233 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832123-1242769233.cnf

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

MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=1560290839

node92.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1629048 kB
Buffers:         12848 kB
Cached:         365104 kB
SwapCached:       7336 kB
Active:         271228 kB
Inactive:       115612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1629048 kB
SwapTotal:     4192956 kB
SwapFree:      4179872 kB
Dirty:          206568 kB
Writeback:           0 kB
Mapped:          13952 kB
Slab:            25936 kB
Committed_AS:   781344 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65784 MiB
End job on node92 at 2009-05-20 00:00:48