Trace number 1820308

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.06 1200.03

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-17-u.cnf
MD5SUM9ce7c48a28ddd5790e38607bb893dd38
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 variables293864
Number of clauses1370917
Sum of the clauses size3163902
Maximum clause length10
Minimum clause length1
Number of clauses of size 124516
Number of clauses of size 21065117
Number of clauses of size 3226184
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

Solver Data 

0.00/0.00	c Parsing...
1.23/1.28	c ==============================================================================
1.23/1.28	c |           |     ORIGINAL     |              LEARNT              |          |
1.23/1.28	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.23/1.28	c ==============================================================================
1.23/1.28	c |         0 | 1346401  3139386 |  403920       0        0     nan |  0.000 % |
9.02/9.07	c |         0 |  534198  1400252 |      --       0       --      -- |     --   | -504732/-1043370
9.02/9.08	c ==============================================================================
9.02/9.08	c Result  :   #vars: 84762   #clauses: 534198   #literals: 1400252
9.02/9.08	c CPU time:   8.73 s
9.02/9.08	c ==============================================================================
9.62/9.66	c This is MiniSat 2.0 beta
9.62/9.66	c WARNING: for repeatability, setting FPU to use double precision
9.62/9.66	c ============================[ Problem Statistics ]=============================
9.62/9.66	c |                                                                             |
9.62/9.66	c |  Number of variables:  84762                                                |
9.62/9.66	c |  Number of clauses:    534198                                               |
10.03/10.04	c |  Parsing time:         0.32         s                                       |
10.03/10.07	c ============================[ Search Statistics ]==============================
10.03/10.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.03/10.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.03/10.07	c ===============================================================================
10.03/10.07	c |         0 |   84762   534198  1400252 |   178066        0    nan |  0.000 % |
10.52/10.51	c |       100 |   84586   534198  1400252 |   178066       84     21 |  5.657 % |
10.92/10.93	c |       203 |   84544   534198  1400252 |   178066      184     41 |  6.256 % |
11.52/11.52	c |       303 |   78916   496692  1311024 |   178066      261     44 | 10.507 % |
11.92/11.91	c |       415 |   78908   496692  1311024 |   178066      370     45 | 10.677 % |
12.12/12.18	c |       517 |   75632   475223  1260668 |   178066      467     53 | 11.692 % |
12.52/12.52	c |       627 |   75630   475223  1260668 |   178066      574     59 | 11.805 % |
13.02/13.08	c |       748 |   74066   464131  1234110 |   178066      687     69 | 12.619 % |
13.33/13.35	c |       848 |   74065   464131  1234110 |   178066      786     71 | 12.631 % |
13.81/13.90	c |       958 |   73415   460214  1224659 |   178066      882     66 | 13.445 % |
14.31/14.36	c |      1080 |   73412   460214  1224659 |   178066      999     72 | 13.516 % |
14.71/14.74	c |      1213 |   73412   460214  1224659 |   178066     1132     72 | 13.515 % |
15.21/15.24	c |      1314 |   73306   459266  1222192 |   178066     1230     75 | 13.515 % |
15.52/15.58	c |      1424 |   73306   459266  1222192 |   178066     1340     84 | 13.516 % |
16.01/16.04	c |      1545 |   73306   459266  1222192 |   178066     1461     93 | 13.516 % |
16.41/16.43	c |      1678 |   65821   408891  1098566 |   178066     1568     89 | 26.288 % |
16.51/16.61	c |      1824 |   65821   408891  1098566 |   178066     1714     88 | 26.288 % |
17.11/17.17	c |      1924 |   62108   380659  1027944 |   178066     1749     87 | 26.727 % |
17.61/17.64	c |      2034 |   62106   380659  1027944 |   178066     1856     85 | 26.769 % |
17.91/17.95	c |      2157 |   62106   380659  1027944 |   178066     1979     90 | 26.769 % |
18.51/18.53	c |      2290 |   62106   380659  1027944 |   178066     2112    107 | 26.769 % |
19.11/19.13	c |      2436 |   62072   380401  1027274 |   178066     2248    113 | 26.769 % |
19.81/19.82	c |      2597 |   60275   364857   985336 |   178066     2375    115 | 28.899 % |
20.01/20.10	c |      2697 |   60275   364857   985336 |   178066     2475    115 | 28.899 % |
20.41/20.42	c |      2807 |   60275   364857   985336 |   178066     2585    116 | 28.899 % |
20.71/20.71	c |      2928 |   60188   364857   985336 |   178066     2702    115 | 29.313 % |
21.02/21.07	c |      3061 |   59916   362402   979041 |   178066     2795    116 | 29.313 % |
21.61/21.64	c |      3208 |   59915   362402   979041 |   178066     2941    119 | 29.326 % |
21.91/22.01	c |      3369 |   59915   362402   979041 |   178066     3102    118 | 29.326 % |
22.71/22.78	c |      3546 |   59905   362303   978792 |   178066     3277    120 | 29.326 % |
23.01/23.08	c |      3647 |   59843   362303   978792 |   178066     3373    120 | 39.355 % |
23.31/23.33	c |      3760 |   51404   294878   802768 |   178066     3431    119 | 39.355 % |
23.61/23.65	c |      3882 |   51358   294878   802768 |   178066     3552    121 | 43.338 % |
23.91/23.98	c |      4018 |   51357   294878   802768 |   178066     3687    120 | 43.429 % |
24.41/24.50	c |      4166 |   51357   294878   802768 |   178066     3835    118 | 43.429 % |
24.91/24.97	c |      4328 |   47951   273884   745852 |   178066     3971    121 | 43.429 % |
25.21/25.21	c |      4505 |   47951   273884   745852 |   178066     4148    121 | 43.429 % |
25.42/25.49	c |      4699 |   47905   273884   745852 |   178066     4341    120 | 44.223 % |
25.71/25.79	c |      4799 |   47278   269055   734783 |   178066     4441    119 | 44.223 % |
26.11/26.14	c |      4909 |   47278   269055   734783 |   178066     4550    118 | 44.237 % |
26.41/26.45	c |      5030 |   47278   269055   734783 |   178066     4671    117 | 44.237 % |
26.71/26.73	c |      5164 |   47266   268964   734543 |   178066     4803    117 | 44.237 % |
27.01/27.06	c |      5310 |   47266   268964   734543 |   178066     4949    121 | 44.237 % |
27.31/27.33	c |      5470 |   47266   268964   734543 |   178066     5109    121 | 44.237 % |
27.81/27.83	c |      5648 |   47266   268964   734543 |   178066     5287    120 | 44.237 % |
28.21/28.26	c |      5841 |   47266   268964   734543 |   178066     5480    122 | 44.237 % |
28.61/28.63	c |      6058 |   47266   268964   734543 |   178066     5697    121 | 44.237 % |
28.91/28.92	c |      6158 |   47266   268964   734543 |   178066     5797    122 | 44.237 % |
29.11/29.16	c |      6268 |   47266   268964   734543 |   178066     5907    121 | 44.237 % |
29.51/29.58	c |      6391 |   47258   268892   734379 |   178066     6026    121 | 44.246 % |
29.91/29.93	c |      6525 |   47257   268892   734379 |   178066     6159    120 | 44.256 % |
30.11/30.12	c |      6671 |   47257   268892   734379 |   178066     6305    119 | 44.256 % |
30.51/30.58	c |      6831 |   47257   268892   734379 |   178066     6465    118 | 44.256 % |
31.11/31.11	c |      7008 |   47250   268822   734218 |   178066     6642    116 | 44.256 % |
31.41/31.48	c |      7201 |   47250   268822   734218 |   178066     6835    117 | 44.256 % |
31.92/32.00	c |      7413 |   47247   268822   734218 |   178066     7045    116 | 45.221 % |
32.62/32.66	c |      7646 |   46432   263170   720768 |   178066     7278    115 | 45.221 % |
32.92/33.00	c |      7747 |   46432   263170   720768 |   178066     7379    120 | 45.221 % |
33.22/33.26	c |      7857 |   46432   263170   720768 |   178066     7489    123 | 45.221 % |
33.52/33.55	c |      7978 |   46432   263170   720768 |   178066     7610    126 | 45.221 % |
33.82/33.84	c |      8111 |   46432   263170   720768 |   178066     7743    127 | 45.221 % |
34.22/34.29	c |      8258 |   46432   263170   720768 |   178066     7890    128 | 45.221 % |
34.72/34.80	c |      8418 |   46432   263170   720768 |   178066     8050    128 | 45.221 % |
35.22/35.25	c |      8594 |   46432   263170   720768 |   178066     8226    129 | 45.221 % |
35.82/35.83	c |      8788 |   46432   263170   720768 |   178066     8420    131 | 45.221 % |
36.52/36.56	c |      9000 |   46432   263170   720768 |   178066     8632    132 | 45.221 % |
37.02/37.10	c |      9233 |   46432   263170   720768 |   178066     8865    131 | 45.221 % |
38.02/38.07	c |      9489 |   46432   263170   720768 |   178066     9121    130 | 45.221 % |
38.42/38.42	c |      9591 |   46432   263170   720768 |   178066     9223    129 | 45.221 % |
38.52/38.59	c |      9701 |   46432   263170   720768 |   178066     9333    129 | 45.221 % |
38.82/38.89	c |      9822 |   46432   263170   720768 |   178066     9454    129 | 45.221 % |
39.32/39.35	c |      9955 |   46421   263075   720527 |   178066     9586    130 | 45.234 % |
39.62/39.63	c |     10103 |   46418   263075   720527 | 2147483647     9733    130 | 45.251 % |
40.22/40.25	c |     10263 |   46418   263075   720527 | 2147483647     9893    130 | 45.251 % |
40.52/40.54	c |     10440 |   46418   263075   720527 | 2147483647    10070    130 | 45.251 % |
41.22/41.23	c |     10634 |   46396   262908   720085 | 2147483647    10263    130 | 45.263 % |
41.72/41.80	c |     10846 |   46396   262908   720085 | 2147483647    10475    131 | 45.263 % |
42.12/42.20	c |     11079 |   46396   262908   720085 | 2147483647    10708    131 | 45.263 % |
42.62/42.67	c |     11336 |   46396   262908   720085 | 2147483647    10965    132 | 45.263 % |
43.22/43.27	c |     11617 |   46396   262908   720085 | 2147483647    11246    132 | 45.263 % |
43.52/43.56	c |     11717 |   46396   262908   720085 | 2147483647    11346    134 | 45.263 % |
43.82/43.83	c |     11827 |   46396   262908   720085 | 2147483647    11456    134 | 45.263 % |
44.02/44.09	c |     11949 |   46396   262908   720085 | 2147483647    11578    134 | 45.263 % |
44.42/44.43	c |     12084 |   46396   262908   720085 | 2147483647    11713    136 | 45.263 % |
44.82/44.91	c |     12230 |   46361   262655   719455 | 2147483647    11856    136 | 45.304 % |
45.22/45.26	c |     12390 |   46361   262655   719455 | 2147483647    12016    135 | 45.304 % |
45.62/45.65	c |     12566 |   46361   262655   719455 | 2147483647    12192    134 | 45.304 % |
46.02/46.02	c |     12761 |   46361   262655   719455 | 2147483647    12387    135 | 45.304 % |
46.62/46.67	c |     12976 |   46360   262655   719455 | 2147483647    12601    135 | 45.329 % |
47.02/47.09	c |     13209 |   46340   262490   719051 | 2147483647    12833    134 | 45.329 % |
47.82/47.83	c |     13465 |   46340   262490   719051 | 2147483647    13089    134 | 45.329 % |
48.42/48.44	c |     13749 |   46340   262490   719051 | 2147483647    13373    133 | 45.329 % |
49.02/49.11	c |     14058 |   46340   262490   719051 | 2147483647    13682    132 | 45.329 % |
49.22/49.29	c |     14158 |   46340   262490   719051 | 2147483647    13782    132 | 45.329 % |
49.52/49.61	c |     14268 |   46340   262490   719051 | 2147483647    13892    132 | 45.329 % |
49.82/49.91	c |     14393 |   46340   262490   719051 | 2147483647    14017    133 | 45.329 % |
50.12/50.17	c |     14528 |   46340   262490   719051 | 2147483647    14152    133 | 45.329 % |
50.42/50.50	c |     14676 |   46340   262490   719051 | 2147483647    14300    133 | 45.329 % |
50.72/50.77	c |     14836 |   46340   262490   719051 | 2147483647    14460    134 | 45.329 % |
51.02/51.06	c |     15014 |   46340   262490   719051 | 2147483647    14638    133 | 45.329 % |
51.62/51.63	c |     15209 |   46340   262490   719051 | 2147483647    14833    133 | 45.329 % |
52.22/52.22	c |     15424 |   46182   261381   716308 | 2147483647    15047    132 | 45.516 % |
52.72/52.80	c |     15658 |   46182   261381   716308 | 2147483647    15280    132 | 45.529 % |
53.32/53.41	c |     15914 |   46182   261381   716308 | 2147483647    15536    132 | 45.529 % |
53.92/53.96	c |     16196 |   46182   261381   716308 | 2147483647    15818    131 | 45.529 % |
54.52/54.53	c |     16506 |   46182   261381   716308 | 2147483647    16128    131 | 45.529 % |
55.12/55.20	c |     16845 |   46171   261295   716070 | 2147483647    16467    132 | 45.529 % |
55.32/55.39	c |     16947 |   46171   261295   716070 | 2147483647    16569    132 | 45.529 % |
55.62/55.64	c |     17058 |   46171   261295   716070 | 2147483647    16680    132 | 45.529 % |
55.92/55.98	c |     17179 |   46171   261295   716070 | 2147483647    16801    132 | 45.529 % |
56.32/56.35	c |     17312 |   46171   261295   716070 | 2147483647    16934    132 | 45.529 % |
56.72/56.81	c |     17460 |   46171   261295   716070 | 2147483647    17082    132 | 45.529 % |
57.32/57.39	c |     17621 |   46171   261295   716070 | 2147483647    17243    132 | 45.529 % |
57.72/57.73	c |     17798 |   46171   261295   716070 | 2147483647    17420    132 | 45.529 % |
58.12/58.17	c |     17992 |   46171   261295   716070 | 2147483647    17614    132 | 45.529 % |
58.72/58.78	c |     18204 |   46171   261295   716070 | 2147483647    17826    132 | 45.529 % |
59.22/59.31	c |     18438 |   46171   261295   716070 | 2147483647    18060    133 | 45.529 % |
59.82/59.89	c |     18694 |   46171   261295   716070 | 2147483647    18316    133 | 45.529 % |
60.42/60.52	c |     18975 |   46171   261295   716070 | 2147483647    18597    133 | 45.529 % |
61.12/61.18	c |     19284 |   46171   261295   716070 | 2147483647    18906    134 | 45.529 % |
61.92/61.93	c |     19623 |   46100   260884   714977 | 2147483647    19242    133 | 45.642 % |
62.72/62.81	c |     19996 |   46100   260884   714977 | 2147483647    19615    135 | 45.642 % |
63.02/63.02	c |     20096 |   46100   260884   714977 | 2147483647    19715    135 | 45.642 % |
63.32/63.32	c |     20207 |   46100   260884   714977 | 2147483647    19826    135 | 45.642 % |
63.82/63.82	c |     20328 |   46100   260884   714977 | 2147483647    19946    135 | 45.654 % |
64.12/64.15	c |     20461 |   46100   260884   714977 | 2147483647    20079    135 | 45.654 % |
64.42/64.46	c |     20607 |   46098   260884   714977 | 2147483647    20224    135 | 45.668 % |
64.92/64.95	c |     20767 |   46098   260884   714977 | 2147483647    20384    135 | 45.668 % |
65.42/65.44	c |     20944 |   46053   260499   714000 | 2147483647    20560    135 | 45.668 % |
65.82/65.83	c |     21137 |   46053   260499   714000 | 2147483647    20753    134 | 45.668 % |
66.52/66.58	c |     21350 |   46053   260499   714000 | 2147483647    20965    135 | 45.681 % |
67.02/67.07	c |     21583 |   46053   260499   714000 | 2147483647    21198    135 | 45.681 % |
67.62/67.70	c |     21841 |   46053   260499   714000 | 2147483647    21456    136 | 45.681 % |
68.32/68.38	c |     22122 |   46053   260499   714000 | 2147483647    21736    136 | 45.693 % |
69.21/69.21	c |     22433 |   46053   260499   714000 | 2147483647    22047    135 | 45.693 % |
70.21/70.29	c |     22773 |   46032   260350   713642 | 2147483647    22385    135 | 45.693 % |
71.41/71.49	c |     23146 |   46032   260350   713642 | 2147483647    22758    135 | 45.693 % |
72.51/72.58	c |     23556 |   46032   260350   713642 | 2147483647    23168    134 | 45.693 % |
72.71/72.81	c |     23656 |   46032   260350   713642 | 2147483647    23268    134 | 45.693 % |
73.21/73.25	c |     23766 |   46032   260350   713642 | 2147483647    23378    134 | 45.693 % |
73.71/73.77	c |     23887 |   45821   258927   710164 | 2147483647    23498    135 | 45.942 % |
74.11/74.21	c |     24020 |   45821   258927   710164 | 2147483647    23631    135 | 45.942 % |
74.41/74.48	c |     24166 |   45821   258927   710164 | 2147483647    23777    135 | 45.942 % |
74.81/74.82	c |     24326 |   45821   258927   710164 | 2147483647    23937    135 | 45.942 % |
75.11/75.20	c |     24502 |   45821   258927   710164 | 2147483647    24113    135 | 45.942 % |
75.61/75.67	c |     24695 |   45821   258927   710164 | 2147483647    24306    135 | 45.942 % |
76.11/76.20	c |     24910 |   45821   258927   710164 | 2147483647    24521    135 | 45.942 % |
76.71/76.72	c |     25143 |   45821   258927   710164 | 2147483647    24754    135 | 45.942 % |
77.51/77.59	c |     25401 |   45821   258927   710164 | 2147483647    25012    135 | 45.942 % |
78.21/78.22	c |     25682 |   45821   258927   710164 | 2147483647    25293    135 | 45.942 % |
78.81/78.91	c |     25991 |   45821   258927   710164 | 2147483647    25602    134 | 45.942 % |
79.71/79.73	c |     26332 |   45821   258927   710164 | 2147483647    25943    134 | 45.942 % |
80.61/80.64	c |     26704 |   45810   258852   709977 | 2147483647    26313    134 | 45.955 % |
82.01/82.08	c |     27116 |   45809   258852   709977 | 2147483647    26724    133 | 45.971 % |
83.01/83.10	c |     27565 |   45809   258852   709977 | 2147483647    27173    133 | 45.971 % |
83.31/83.35	c |     27665 |   45809   258852   709977 | 2147483647    27273    133 | 45.971 % |
83.71/83.76	c |     27776 |   45809   258852   709977 | 2147483647    27384    133 | 45.971 % |
84.11/84.13	c |     27897 |   45809   258852   709977 | 2147483647    27505    133 | 45.971 % |
84.31/84.38	c |     28030 |   45805   258852   709977 | 2147483647    27637    133 | 46.071 % |
84.61/84.69	c |     28177 |   45805   258852   709977 | 2147483647    27783    133 | 46.424 % |
85.21/85.29	c |     28337 |   45805   258852   709977 | 2147483647    27943    133 | 46.424 % |
85.91/85.95	c |     28513 |   45412   256327   703469 | 2147483647    28116    133 | 46.424 % |
86.41/86.45	c |     28707 |   45412   256327   703469 | 2147483647    28310    133 | 46.424 % |
87.31/87.32	c |     28921 |   45412   256327   703469 | 2147483647    28524    132 | 46.424 % |
87.91/87.96	c |     29154 |   45412   256327   703469 | 2147483647    28757    133 | 46.424 % |
88.61/88.69	c |     29410 |   45412   256327   703469 | 2147483647    29013    133 | 46.424 % |
89.31/89.33	c |     29693 |   45412   256327   703469 | 2147483647    29296    133 | 46.424 % |
90.41/90.45	c |     30003 |   45412   256327   703469 | 2147483647    29606    134 | 46.424 % |
90.90/90.91	c |     30342 |   45412   256327   703469 | 2147483647    29945    134 | 46.424 % |
91.70/91.76	c |     30714 |   45412   256327   703469 | 2147483647    30317    134 | 46.424 % |
92.90/92.97	c |     31124 |   45412   256327   703469 | 2147483647    30727    134 | 46.424 % |
93.90/93.94	c |     31573 |   45412   256327   703469 | 2147483647    31176    134 | 46.424 % |
95.40/95.50	c |     32066 |   45402   256262   703305 | 2147483647    31667    133 | 46.897 % |
95.80/95.82	c |     32170 |   45402   256262   703305 | 2147483647    31771    134 | 46.897 % |
96.20/96.21	c |     32281 |   45402   256262   703305 | 2147483647    31882    134 | 46.897 % |
96.70/96.72	c |     32402 |   45402   256262   703305 | 2147483647    32003    134 | 46.897 % |
97.40/97.46	c |     32538 |   45401   256262   703305 | 2147483647    32138    134 | 46.911 % |
97.60/97.65	c |     32684 |   45401   256262   703305 | 2147483647    32284    133 | 46.911 % |
98.00/98.09	c |     32844 |   45401   256262   703305 | 2147483647    32444    134 | 46.911 % |
98.40/98.48	c |     33021 |   45401   256262   703305 | 2147483647    32621    134 | 46.911 % |
98.80/98.86	c |     33215 |   45401   256262   703305 | 2147483647    32815    134 | 46.911 % |
99.30/99.33	c |     33429 |   45401   256262   703305 | 2147483647    33029    134 | 46.911 % |
99.70/99.75	c |     33663 |   45401   256262   703305 | 2147483647    33263    135 | 46.911 % |
100.20/100.30	c |     33919 |   44999   253881   697244 | 2147483647    33511    135 | 46.911 % |
100.80/100.82	c |     34200 |   44999   253881   697244 | 2147483647    33792    135 | 46.911 % |
101.40/101.42	c |     34509 |   44999   253881   697244 | 2147483647    34101    135 | 46.911 % |
102.10/102.14	c |     34848 |   44997   253881   697244 | 2147483647    34439    135 | 46.923 % |
103.10/103.13	c |     35221 |   44997   253881   697244 | 2147483647    34812    134 | 46.923 % |
104.30/104.34	c |     35632 |   44997   253881   697244 | 2147483647    35223    134 | 46.923 % |
105.40/105.47	c |     36082 |   44997   253881   697244 | 2147483647    35673    134 | 46.923 % |
106.40/106.47	c |     36576 |   44997   253881   697244 | 2147483647    36167    135 | 46.923 % |
107.60/107.66	c |     37118 |   44983   253796   697040 | 2147483647    36706    136 | 47.301 % |
108.00/108.08	c |     37219 |   44983   253796   697040 | 2147483647    36807    136 | 47.301 % |
108.40/108.44	c |     37329 |   44983   253796   697040 | 2147483647    36917    136 | 47.301 % |
108.80/108.82	c |     37451 |   44983   253796   697040 | 2147483647    37039    136 | 47.301 % |
109.20/109.23	c |     37584 |   44983   253796   697040 | 2147483647    37172    136 | 47.301 % |
109.60/109.62	c |     37730 |   44983   253796   697040 | 2147483647    37318    136 | 47.301 % |
109.90/110.00	c |     37892 |   44983   253796   697040 | 2147483647    37480    136 | 47.301 % |
110.40/110.40	c |     38068 |   44983   253796   697040 | 2147483647    37656    135 | 47.301 % |
110.80/110.83	c |     38262 |   44983   253796   697040 | 2147483647    37850    136 | 47.301 % |
111.21/111.30	c |     38474 |   44983   253796   697040 | 2147483647    38062    136 | 47.301 % |
111.90/111.91	c |     38708 |   44983   253796   697040 | 2147483647    38296    136 | 47.301 % |
112.50/112.59	c |     38965 |   44983   253796   697040 | 2147483647    38553    135 | 47.301 % |
113.10/113.19	c |     39247 |   44983   253796   697040 | 2147483647    38835    135 | 47.301 % |
113.80/113.88	c |     39556 |   44983   253796   697040 | 2147483647    39144    135 | 47.301 % |
114.70/114.79	c |     39896 |   44669   251731   691902 | 2147483647    39479    135 | 47.301 % |
116.00/116.02	c |     40268 |   44669   251731   691902 | 2147483647    39850    135 | 47.312 % |
116.90/116.96	c |     40677 |   44669   251731   691902 | 2147483647    40259    135 | 47.312 % |
118.20/118.24	c |     41130 |   44669   251731   691902 | 2147483647    40712    135 | 47.312 % |
119.60/119.64	c |     41623 |   44666   251731   691902 | 2147483647    41204    135 | 47.347 % |
120.70/120.73	c |     42166 |   44666   251731   691902 | 2147483647    41747    135 | 47.347 % |
121.70/121.75	c |     42763 |   44666   251731   691902 | 2147483647    42344    134 | 47.347 % |
122.00/122.05	c |     42865 |   44666   251731   691902 | 2147483647    42446    133 | 47.347 % |
122.30/122.31	c |     42976 |   44666   251731   691902 | 2147483647    42557    134 | 47.347 % |
122.70/122.73	c |     43106 |   44630   251409   691122 | 2147483647    42675    134 | 47.360 % |
123.00/123.00	c |     43240 |   44630   251409   691122 | 2147483647    42809    134 | 47.360 % |
123.31/123.40	c |     43386 |   44630   251409   691122 | 2147483647    42955    134 | 47.360 % |
123.70/123.77	c |     43547 |   44630   251409   691122 | 2147483647    43116    134 | 47.360 % |
124.20/124.30	c |     43724 |   44629   251409   691122 | 2147483647    43292    134 | 47.361 % |
125.00/125.06	c |     43921 |   44629   251409   691122 | 2147483647    43489    134 | 47.361 % |
125.51/125.55	c |     44134 |   44629   251409   691122 | 2147483647    43702    134 | 47.361 % |
126.00/126.04	c |     44368 |   44629   251409   691122 | 2147483647    43935    135 | 47.362 % |
126.61/126.65	c |     44624 |   44629   251409   691122 | 2147483647    44191    135 | 47.362 % |
127.30/127.31	c |     44909 |   44629   251409   691122 | 2147483647    44476    135 | 47.362 % |
128.00/128.06	c |     45218 |   44629   251409   691122 | 2147483647    44785    135 | 47.362 % |
128.81/128.89	c |     45558 |   44629   251409   691122 | 2147483647    45125    136 | 47.362 % |
130.00/130.05	c |     45930 |   44628   251409   691122 | 2147483647    45495    136 | 47.463 % |
131.01/131.02	c |     46341 |   44627   251409   691122 | 2147483647    45904    137 | 47.488 % |
132.20/132.21	c |     46790 |   44510   250627   689113 | 2147483647    46352    136 | 47.488 % |
133.21/133.23	c |     47284 |   44510   250627   689113 | 2147483647    46846    136 | 47.488 % |
134.40/134.47	c |     47826 |   44510   250627   689113 | 2147483647    47388    135 | 47.488 % |
135.70/135.72	c |     48423 |   44510   250627   689113 | 2147483647    47985    135 | 47.488 % |
137.00/137.09	c |     49079 |   44510   250627   689113 | 2147483647    48641    134 | 47.488 % |
137.30/137.40	c |     49179 |   44510   250627   689113 | 2147483647    48741    134 | 47.488 % |
137.90/137.92	c |     49289 |   44510   250627   689113 | 2147483647    48851    134 | 47.488 % |
138.20/138.21	c |     49410 |   44510   250627   689113 | 2147483647    48972    134 | 47.488 % |
138.50/138.54	c |     49543 |   44510   250627   689113 | 2147483647    49105    134 | 47.488 % |
138.90/138.90	c |     49689 |   44510   250627   689113 | 2147483647    49251    135 | 47.488 % |
139.10/139.18	c |     49852 |   44510   250627   689113 | 2147483647    49414    135 | 47.488 % |
139.60/139.68	c |     50030 |   44509   250627   689113 | 2147483647    49591    134 | 47.492 % |
140.20/140.22	c |     50223 |   44455   250627   689113 | 2147483647    49782    134 | 56.832 % |
140.80/140.82	c |     50435 |   44455   250627   689113 | 2147483647    49994    134 | 56.832 % |
141.60/141.61	c |     50668 |   44455   250627   689113 | 2147483647    50227    134 | 56.832 % |
142.30/142.32	c |     50927 |   36590   194091   540026 | 2147483647    50296    135 | 56.832 % |
142.90/142.97	c |     51209 |   36590   194091   540026 | 2147483647    50577    135 | 57.140 % |
143.80/143.81	c |     51518 |   36590   194091   540026 | 2147483647    50886    134 | 57.140 % |
144.60/144.67	c |     51858 |   36590   194091   540026 | 2147483647    51226    134 | 57.140 % |
145.50/145.56	c |     52230 |   36590   194091   540026 | 2147483647    51598    135 | 57.140 % |
146.60/146.67	c |     52640 |   36590   194091   540026 | 2147483647    52008    135 | 57.140 % |
147.60/147.62	c |     53090 |   36590   194091   540026 | 2147483647    52458    135 | 57.140 % |
148.80/148.84	c |     53583 |   36589   194091   540026 | 2147483647    52950    135 | 57.414 % |
149.90/149.98	c |     54125 |   36589   194091   540026 | 2147483647    53491    135 | 57.457 % |
151.60/151.63	c |     54721 |   36589   194091   540026 | 2147483647    54087    135 | 57.457 % |
153.30/153.36	c |     55377 |   36589   194091   540026 | 2147483647    54743    135 | 57.457 % |
154.90/154.98	c |     56098 |   36060   188376   523875 | 2147483647    55444    134 | 57.457 % |
155.21/155.24	c |     56201 |   36060   188376   523875 | 2147483647    55547    134 | 57.457 % |
155.50/155.60	c |     56313 |   36060   188376   523875 | 2147483647    55658    134 | 57.470 % |
155.80/155.87	c |     56434 |   36060   188376   523875 | 2147483647    55779    134 | 57.470 % |
156.20/156.29	c |     56567 |   36060   188376   523875 | 2147483647    55912    134 | 57.470 % |
156.60/156.63	c |     56713 |   36060   188376   523875 | 2147483647    56058    134 | 57.470 % |
156.90/156.99	c |     56875 |   36060   188376   523875 | 2147483647    56220    134 | 57.470 % |
157.41/157.48	c |     57056 |   36060   188376   523875 | 2147483647    56401    134 | 57.470 % |
157.80/157.83	c |     57249 |   36060   188376   523875 | 2147483647    56594    134 | 57.470 % |
158.30/158.30	c |     57462 |   36060   188376   523875 | 2147483647    56807    134 | 57.470 % |
158.91/158.99	c |     57696 |   36060   188376   523875 | 2147483647    57041    134 | 57.470 % |
159.51/159.60	c |     57953 |   36060   188376   523875 | 2147483647    57298    133 | 57.470 % |
160.11/160.19	c |     58234 |   36060   188376   523875 | 2147483647    57579    133 | 57.470 % |
160.81/160.82	c |     58545 |   36060   188376   523875 | 2147483647    57890    133 | 57.470 % |
161.71/161.76	c |     58885 |   36060   188376   523875 | 2147483647    58230    132 | 57.470 % |
162.61/162.66	c |     59258 |   36060   188376   523875 | 2147483647    58603    132 | 57.470 % |
163.41/163.50	c |     59668 |   36060   188376   523875 | 2147483647    59013    132 | 57.470 % |
164.41/164.45	c |     60117 |   36049   188307   523694 | 2147483647    59461    133 | 57.470 % |
165.41/165.43	c |     60611 |   36049   188307   523694 | 2147483647    59955    133 | 57.470 % |
166.41/166.46	c |     61154 |   36049   188307   523694 | 2147483647    60498    133 | 57.470 % |
167.91/167.93	c |     61755 |   36049   188307   523694 | 2147483647    61098    133 | 57.555 % |
169.21/169.29	c |     62410 |   36049   188307   523694 | 2147483647    61753    133 | 57.555 % |
170.51/170.51	c |     63130 |   36048   188307   523694 | 2147483647    62472    133 | 57.567 % |
172.01/172.08	c |     63922 |   36048   188307   523694 | 2147483647    63264    132 | 57.567 % |
172.31/172.31	c |     64022 |   36048   188307   523694 | 2147483647    63364    132 | 57.567 % |
172.61/172.62	c |     64132 |   36048   188307   523694 | 2147483647    63474    132 | 57.567 % |
173.01/173.07	c |     64256 |   36048   188307   523694 | 2147483647    63598    132 | 57.567 % |
173.41/173.43	c |     64389 |   36048   188307   523694 | 2147483647    63731    132 | 57.567 % |
173.71/173.80	c |     64535 |   36048   188307   523694 | 2147483647    63877    132 | 57.567 % |
174.11/174.17	c |     64695 |   36048   188307   523694 | 2147483647    64037    132 | 57.567 % |
174.61/174.67	c |     64871 |   36048   188307   523694 | 2147483647    64213    132 | 57.567 % |
175.21/175.28	c |     65066 |   35967   187651   522087 | 2147483647    64393    132 | 57.567 % |
175.81/175.84	c |     65279 |   35966   187651   522087 | 2147483647    64605    132 | 57.572 % |
176.41/176.51	c |     65513 |   35966   187651   522087 | 2147483647    64839    132 | 57.572 % |
177.01/177.03	c |     65770 |   35966   187651   522087 | 2147483647    65096    132 | 57.572 % |
177.71/177.73	c |     66051 |   35966   187651   522087 | 2147483647    65377    132 | 57.572 % |
178.61/178.68	c |     66360 |   35966   187651   522087 | 2147483647    65686    132 | 57.572 % |
179.51/179.56	c |     66699 |   35966   187651   522087 | 2147483647    66024    132 | 57.595 % |
180.31/180.32	c |     67071 |   35966   187651   522087 | 2147483647    66396    132 | 57.595 % |
181.30/181.34	c |     67481 |   35966   187651   522087 | 2147483647    66806    132 | 57.595 % |
182.50/182.59	c |     67930 |   35966   187651   522087 | 2147483647    67255    132 | 57.595 % |
183.90/183.92	c |     68423 |   35966   187651   522087 | 2147483647    67747    133 | 57.771 % |
185.10/185.20	c |     68966 |   35966   187651   522087 | 2147483647    68290    134 | 57.771 % |
186.90/187.01	c |     69563 |   35966   187651   522087 | 2147483647    68887    134 | 57.771 % |
188.60/188.64	c |     70220 |   35794   186782   519552 | 2147483647    69535    134 | 57.771 % |
190.60/190.68	c |     70940 |   35794   186782   519552 | 2147483647    70255    134 | 57.771 % |
192.60/192.68	c |     71732 |   35794   186782   519552 | 2147483647    71047    133 | 57.771 % |
194.50/194.55	c |     72604 |   35794   186782   519552 | 2147483647    71919    132 | 57.771 % |
194.80/194.81	c |     72705 |   35794   186782   519552 | 2147483647    72020    132 | 57.771 % |
195.00/195.09	c |     72820 |   35794   186782   519552 | 2147483647    72135    132 | 57.771 % |
195.30/195.39	c |     72941 |   35794   186782   519552 | 2147483647    72256    132 | 57.771 % |
195.70/195.72	c |     73076 |   35794   186782   519552 | 2147483647    72391    132 | 57.771 % |
196.10/196.17	c |     73223 |   35794   186782   519552 | 2147483647    72538    132 | 57.771 % |
196.50/196.56	c |     73384 |   35794   186782   519552 | 2147483647    72699    132 | 57.771 % |
196.90/196.93	c |     73560 |   35794   186782   519552 | 2147483647    72875    132 | 57.771 % |
197.40/197.46	c |     73754 |   35794   186782   519552 | 2147483647    73069    132 | 57.771 % |
197.90/197.91	c |     73966 |   35794   186782   519552 | 2147483647    73281    132 | 57.771 % |
198.40/198.47	c |     74200 |   35794   186782   519552 | 2147483647    73515    132 | 57.771 % |
199.20/199.22	c |     74457 |   35794   186782   519552 | 2147483647    73772    131 | 57.771 % |
199.70/199.76	c |     74738 |   35794   186782   519552 | 2147483647    74053    131 | 57.771 % |
200.30/200.34	c |     75048 |   35794   186782   519552 | 2147483647    74363    131 | 57.771 % |
201.10/201.16	c |     75388 |   35794   186782   519552 | 2147483647    74703    131 | 57.771 % |
202.20/202.29	c |     75761 |   35794   186782   519552 | 2147483647    75076    131 | 57.771 % |
203.30/203.34	c |     76170 |   35794   186782   519552 | 2147483647    75485    130 | 57.771 % |
204.60/204.62	c |     76622 |   35794   186782   519552 | 2147483647    75937    130 | 57.771 % |
205.60/205.71	c |     77115 |   35794   186782   519552 | 2147483647    76430    131 | 57.771 % |
207.30/207.36	c |     77657 |   35794   186782   519552 | 2147483647    76972    131 | 57.771 % |
209.10/209.18	c |     78253 |   35794   186782   519552 | 2147483647    77568    131 | 57.771 % |
210.70/210.76	c |     78908 |   35794   186782   519552 | 2147483647    78223    131 | 57.771 % |
212.60/212.61	c |     79628 |   35794   186782   519552 | 2147483647    78943    130 | 57.771 % |
214.31/214.41	c |     80420 |   35794   186782   519552 | 2147483647    79735    130 | 57.771 % |
216.61/216.62	c |     81291 |   35794   186782   519552 | 2147483647    80606    129 | 57.771 % |
219.01/219.06	c |     82249 |   35793   186777   519537 | 2147483647    81563    130 | 57.772 % |
219.31/219.38	c |     82350 |   35793   186777   519537 | 2147483647    81664    130 | 57.772 % |
219.71/219.72	c |     82460 |   35793   186777   519537 | 2147483647    81774    130 | 57.772 % |
220.01/220.08	c |     82581 |   35793   186777   519537 | 2147483647    81895    130 | 57.772 % |
220.31/220.39	c |     82714 |   35793   186777   519537 | 2147483647    82028    130 | 57.772 % |
220.81/220.88	c |     82864 |   35793   186777   519537 | 2147483647    82178    130 | 57.772 % |
221.41/221.43	c |     83024 |   35793   186777   519537 | 2147483647    82338    130 | 57.772 % |
221.81/221.84	c |     83200 |   35793   186777   519537 | 2147483647    82514    130 | 57.772 % |
222.31/222.37	c |     83395 |   35793   186777   519537 | 2147483647    82709    130 | 57.772 % |
223.01/223.05	c |     83607 |   35793   186777   519537 | 2147483647    82921    129 | 57.772 % |
223.61/223.66	c |     83842 |   35793   186777   519537 | 2147483647    83156    129 | 57.772 % |
224.21/224.24	c |     84100 |   35793   186777   519537 | 2147483647    83414    129 | 57.772 % |
224.81/224.89	c |     84382 |   35793   186777   519537 | 2147483647    83696    129 | 57.772 % |
225.41/225.47	c |     84693 |   35793   186777   519537 | 2147483647    84007    129 | 57.772 % |
226.31/226.36	c |     85036 |   35793   186777   519537 | 2147483647    84350    129 | 57.772 % |
227.31/227.35	c |     85408 |   35793   186777   519537 | 2147483647    84722    129 | 57.772 % |
228.71/228.74	c |     85817 |   35793   186777   519537 | 2147483647    85131    129 | 57.772 % |
230.01/230.09	c |     86266 |   35793   186777   519537 | 2147483647    85580    129 | 57.772 % |
231.51/231.52	c |     86759 |   35793   186777   519537 | 2147483647    86073    129 | 57.772 % |
232.61/232.71	c |     87303 |   35793   186777   519537 | 2147483647    86617    129 | 57.772 % |
234.61/234.71	c |     87899 |   35793   186777   519537 | 2147483647    87213    129 | 57.772 % |
236.62/236.63	c |     88555 |   35793   186777   519537 | 2147483647    87869    129 | 57.772 % |
239.31/239.33	c |     89280 |   35793   186777   519537 | 2147483647    88594    129 | 57.772 % |
241.71/241.79	c |     90072 |   35793   186777   519537 | 2147483647    89386    129 | 57.772 % |
243.71/243.74	c |     90943 |   35793   186777   519537 | 2147483647    90257    129 | 57.772 % |
245.91/245.94	c |     91901 |   35793   186777   519537 | 2147483647    91215    129 | 57.772 % |
248.31/248.38	c |     92954 |   35793   186777   519537 | 2147483647    92268    129 | 57.772 % |
248.61/248.67	c |     93055 |   35793   186777   519537 | 2147483647    92369    129 | 57.772 % |
248.91/248.97	c |     93167 |   35793   186777   519537 | 2147483647    92481    129 | 57.772 % |
249.21/249.31	c |     93288 |   35793   186777   519537 | 2147483647    92602    129 | 57.772 % |
249.71/249.80	c |     93422 |   35793   186777   519537 | 2147483647    92736    129 | 57.772 % |
250.31/250.37	c |     93572 |   35793   186777   519537 | 2147483647    92886    129 | 57.772 % |
250.92/250.96	c |     93733 |   35793   186777   519537 | 2147483647    93047    129 | 57.772 % |
251.41/251.47	c |     93909 |   35793   186777   519537 | 2147483647    93223    128 | 57.772 % |
251.91/252.01	c |     94103 |   35793   186777   519537 | 2147483647    93417    128 | 57.772 % |
252.51/252.58	c |     94315 |   35793   186777   519537 | 2147483647    93629    128 | 57.772 % |
253.21/253.26	c |     94548 |   35793   186777   519537 | 2147483647    93862    128 | 57.772 % |
253.91/253.95	c |     94805 |   35793   186777   519537 | 2147483647    94119    128 | 57.772 % |
254.71/254.75	c |     95087 |   35793   186777   519537 | 2147483647    94401    128 | 57.772 % |
255.91/255.96	c |     95396 |   35698   186117   517944 | 2147483647    94708    128 | 57.884 % |
256.91/256.98	c |     95740 |   35698   186117   517944 | 2147483647    95052    128 | 57.884 % |
257.91/257.96	c |     96115 |   35698   186117   517944 | 2147483647    95427    128 | 57.884 % |
259.11/259.17	c |     96524 |   35698   186117   517944 | 2147483647    95836    128 | 57.884 % |
260.21/260.25	c |     96975 |   35698   186117   517944 | 2147483647    96287    128 | 57.884 % |
261.81/261.86	c |     97468 |   35698   186117   517944 | 2147483647    96780    128 | 57.884 % |
263.21/263.28	c |     98011 |   35698   186117   517944 | 2147483647    97323    128 | 57.884 % |
264.81/264.90	c |     98607 |   35698   186117   517944 | 2147483647    97919    128 | 57.884 % |
266.71/266.75	c |     99264 |   35697   186117   517944 | 2147483647    98575    128 | 57.901 % |
268.71/268.77	c |     99984 |   35697   186117   517944 | 2147483647    99295    128 | 57.901 % |
271.01/271.02	c |    100777 |   35697   186117   517944 | 2147483647   100088    127 | 57.901 % |
273.61/273.65	c |    101648 |   35697   186117   517944 | 2147483647   100959    127 | 57.901 % |
276.11/276.17	c |    102607 |   35697   186117   517944 | 2147483647   101918    127 | 57.901 % |
278.31/278.38	c |    103660 |   35684   186034   517711 | 2147483647   102969    127 | 57.901 % |
281.21/281.23	c |    104818 |   35684   186034   517711 | 2147483647   104127    127 | 57.901 % |
281.41/281.49	c |    104920 |   35684   186034   517711 | 2147483647   104229    127 | 57.901 % |
281.72/281.75	c |    105031 |   35684   186034   517711 | 2147483647   104340    127 | 57.901 % |
282.01/282.04	c |    105153 |   35684   186034   517711 | 2147483647   104462    127 | 57.901 % |
282.51/282.53	c |    105286 |   35684   186034   517711 | 2147483647   104594    127 | 58.024 % |
282.91/282.93	c |    105435 |   35684   186034   517711 | 2147483647   104743    127 | 58.024 % |
283.41/283.43	c |    105595 |   35684   186034   517711 | 2147483647   104903    126 | 58.024 % |
283.81/283.90	c |    105774 |   35684   186034   517711 | 2147483647   105082    126 | 58.024 % |
284.61/284.69	c |    105969 |   35684   186034   517711 | 2147483647   105277    126 | 58.024 % |
285.22/285.32	c |    106182 |   35684   186034   517711 | 2147483647   105490    126 | 58.024 % |
285.92/285.93	c |    106415 |   35684   186034   517711 | 2147483647   105723    126 | 58.024 % |
286.42/286.49	c |    106672 |   35684   186034   517711 | 2147483647   105980    126 | 58.024 % |
287.12/287.14	c |    106955 |   35684   186034   517711 | 2147483647   106263    126 | 58.024 % |
287.92/287.93	c |    107266 |   35684   186034   517711 | 2147483647   106574    126 | 58.024 % |
288.72/288.74	c |    107605 |   35684   186034   517711 | 2147483647   106913    126 | 58.024 % |
289.52/289.58	c |    107978 |   35684   186034   517711 | 2147483647   107286    125 | 58.024 % |
290.92/291.00	c |    108389 |   35684   186034   517711 | 2147483647   107697    125 | 58.024 % |
292.12/292.21	c |    108839 |   35684   186034   517711 | 2147483647   108147    125 | 58.024 % |
293.52/293.54	c |    109332 |   35684   186034   517711 | 2147483647   108640    125 | 58.024 % |
294.92/294.93	c |    109875 |   35684   186034   517711 | 2147483647   109183    125 | 58.024 % |
296.22/296.28	c |    110471 |   35684   186034   517711 | 2147483647   109779    125 | 58.024 % |
297.62/297.68	c |    111126 |   35684   186034   517711 | 2147483647   110434    124 | 58.024 % |
299.42/299.42	c |    111848 |   35684   186034   517711 | 2147483647   111156    124 | 58.024 % |
301.62/301.70	c |    112643 |   35684   186034   517711 | 2147483647   111951    124 | 58.024 % |
304.42/304.45	c |    113515 |   35580   185375   516017 | 2147483647   112822    124 | 58.043 % |
307.02/307.10	c |    114475 |   35580   185375   516017 | 2147483647   113782    124 | 58.043 % |
311.72/311.74	c |    115529 |   35579   185375   516017 | 2147483647   114835    123 | 58.048 % |
315.12/315.14	c |    116688 |   35579   185375   516017 | 2147483647   115993    123 | 58.061 % |
319.12/319.15	c |    117961 |   35579   185375   516017 | 2147483647   117265    123 | 58.071 % |
319.52/319.54	c |    118061 |   35579   185375   516017 | 2147483647   117365    123 | 58.071 % |
319.92/319.94	c |    118172 |   35579   185375   516017 | 2147483647   117476    123 | 58.071 % |
320.22/320.28	c |    118293 |   35579   185375   516017 | 2147483647   117597    123 | 58.071 % |
320.62/320.65	c |    118426 |   35579   185375   516017 | 2147483647   117730    123 | 58.071 % |
321.22/321.27	c |    118572 |   35579   185375   516017 | 2147483647   117876    123 | 58.071 % |
321.72/321.79	c |    118732 |   35579   185375   516017 | 2147483647   118036    123 | 58.071 % |
322.62/322.69	c |    118909 |   35579   185375   516017 | 2147483647   118213    123 | 58.071 % |
323.22/323.23	c |    119103 |   35579   185375   516017 | 2147483647   118407    123 | 58.071 % |
323.82/323.84	c |    119315 |   35579   185375   516017 | 2147483647   118619    123 | 58.071 % |
324.42/324.43	c |    119549 |   35579   185375   516017 | 2147483647   118853    123 | 58.071 % |
325.22/325.23	c |    119805 |   35579   185375   516017 | 2147483647   119109    123 | 58.071 % |
326.02/326.09	c |    120087 |   35579   185375   516017 | 2147483647   119391    123 | 58.071 % |
327.02/327.05	c |    120400 |   35579   185375   516017 | 2147483647   119704    123 | 58.071 % |
328.02/328.02	c |    120740 |   35579   185375   516017 | 2147483647   120044    123 | 58.071 % |
329.02/329.12	c |    121112 |   35579   185375   516017 | 2147483647   120415    123 | 58.301 % |
330.32/330.38	c |    121522 |   35345   184216   512711 | 2147483647   120821    122 | 58.301 % |
331.62/331.67	c |    121971 |   35345   184216   512711 | 2147483647   121270    122 | 58.301 % |
333.32/333.34	c |    122464 |   35345   184216   512711 | 2147483647   121763    122 | 58.301 % |
335.12/335.17	c |    123007 |   35345   184216   512711 | 2147483647   122306    122 | 58.301 % |
336.72/336.73	c |    123605 |   35345   184216   512711 | 2147483647   122904    122 | 58.301 % |
338.42/338.48	c |    124260 |   35344   184216   512711 | 2147483647   123558    122 | 58.313 % |
341.22/341.29	c |    124981 |   35344   184216   512711 | 2147483647   124279    122 | 58.313 % |
343.82/343.83	c |    125775 |   35344   184216   512711 | 2147483647   125073    122 | 58.313 % |
346.22/346.30	c |    126646 |   35344   184216   512711 | 2147483647   125944    122 | 58.313 % |
348.92/348.95	c |    127604 |   35344   184216   512711 | 2147483647   126902    122 | 58.313 % |
351.62/351.62	c |    128657 |   35344   184216   512711 | 2147483647   127955    122 | 58.313 % |
355.92/355.92	c |    129816 |   35344   184216   512711 | 2147483647   129114    122 | 58.313 % |
359.72/359.82	c |    131089 |   35335   184135   512513 | 2147483647   130381    123 | 58.313 % |
364.52/364.52	c |    132490 |   35335   184135   512513 | 2147483647   131780    123 | 58.323 % |
364.92/364.97	c |    132590 |   35335   184135   512513 | 2147483647   131880    123 | 58.323 % |
365.22/365.29	c |    132700 |   35335   184135   512513 | 2147483647   131990    123 | 58.323 % |
365.72/365.73	c |    132822 |   35335   184135   512513 | 2147483647   132112    123 | 58.323 % |
366.12/366.14	c |    132955 |   35335   184135   512513 | 2147483647   132245    123 | 58.323 % |
366.62/366.66	c |    133102 |   35335   184135   512513 | 2147483647   132392    123 | 58.323 % |
367.12/367.21	c |    133263 |   35335   184135   512513 | 2147483647   132553    123 | 58.323 % |
368.12/368.16	c |    133440 |   35335   184135   512513 | 2147483647   132730    123 | 58.323 % |
368.72/368.80	c |    133635 |   35335   184135   512513 | 2147483647   132925    123 | 58.323 % |
369.52/369.52	c |    133847 |   35334   184135   512513 | 2147483647   133136    123 | 58.365 % |
370.22/370.29	c |    134080 |   35334   184135   512513 | 2147483647   133369    123 | 58.365 % |
371.12/371.19	c |    134337 |   35334   184135   512513 | 2147483647   133626    123 | 58.365 % |
372.12/372.15	c |    134618 |   35334   184135   512513 | 2147483647   133907    123 | 58.365 % |
373.03/373.07	c |    134928 |   35334   184135   512513 | 2147483647   134217    123 | 58.365 % |
374.22/374.24	c |    135267 |   35334   184135   512513 | 2147483647   134555    123 | 58.381 % |
375.72/375.77	c |    135639 |   35334   184135   512513 | 2147483647   134927    123 | 58.381 % |
377.22/377.26	c |    136048 |   35334   184135   512513 | 2147483647   135336    124 | 58.381 % |
378.53/378.56	c |    136497 |   35334   184135   512513 | 2147483647   135785    124 | 58.381 % |
380.12/380.13	c |    136992 |   35334   184135   512513 | 2147483647   136280    124 | 58.381 % |
381.92/382.01	c |    137535 |   35334   184135   512513 | 2147483647   136823    124 | 58.381 % |
383.62/383.67	c |    138132 |   35334   184135   512513 | 2147483647   137420    124 | 58.381 % |
386.23/386.23	c |    138787 |   35334   184135   512513 | 2147483647   138075    124 | 58.381 % |
388.32/388.39	c |    139507 |   35334   184135   512513 | 2147483647   138795    124 | 58.381 % |
391.02/391.06	c |    140301 |   35277   183652   511312 | 2147483647   139579    124 | 58.381 % |
393.72/393.75	c |    141172 |   35277   183652   511312 | 2147483647   140450    125 | 58.381 % |
396.42/396.51	c |    142131 |   35277   183652   511312 | 2147483647   141408    125 | 58.382 % |
399.82/399.83	c |    143184 |   35277   183652   511312 | 2147483647   142461    125 | 58.382 % |
403.02/403.09	c |    144342 |   35277   183652   511312 | 2147483647   143619    124 | 58.382 % |
407.52/407.60	c |    145615 |   35277   183652   511312 | 2147483647   144892    124 | 58.382 % |
412.43/412.47	c |    147015 |   35271   183652   511312 | 2147483647   146291    124 | 58.459 % |
417.63/417.72	c |    148557 |   35271   183652   511312 | 2147483647   147833    124 | 58.459 % |
418.03/418.06	c |    148658 |   35271   183652   511312 | 2147483647   147934    124 | 58.459 % |
418.63/418.66	c |    148768 |   35271   183652   511312 | 2147483647   148044    124 | 58.459 % |
419.03/419.04	c |    148891 |   35271   183652   511312 | 2147483647   148167    124 | 58.459 % |
419.43/419.44	c |    149025 |   35271   183652   511312 | 2147483647   148301    124 | 58.459 % |
420.03/420.05	c |    149171 |   35271   183652   511312 | 2147483647   148447    124 | 58.459 % |
421.03/421.09	c |    149332 |   35271   183652   511312 | 2147483647   148608    123 | 58.459 % |
421.53/421.62	c |    149509 |   35271   183652   511312 | 2147483647   148785    124 | 58.459 % |
422.23/422.29	c |    149702 |   35271   183652   511312 | 2147483647   148978    124 | 58.459 % |
423.23/423.23	c |    149914 |   35271   183652   511312 | 2147483647   149190    124 | 58.459 % |
424.23/424.24	c |    150148 |   35271   183652   511312 | 2147483647   149424    124 | 58.459 % |
425.23/425.29	c |    150404 |   35271   183652   511312 | 2147483647   149680    124 | 58.459 % |
426.13/426.17	c |    150685 |   35271   183652   511312 | 2147483647   149961    124 | 58.459 % |
427.13/427.19	c |    150994 |   35271   183652   511312 | 2147483647   150270    124 | 58.459 % |
428.43/428.45	c |    151333 |   35271   183652   511312 | 2147483647   150609    123 | 58.459 % |
429.63/429.63	c |    151705 |   35271   183652   511312 | 2147483647   150981    123 | 58.459 % |
430.83/430.88	c |    152114 |   35211   183129   510057 | 2147483647   151356    123 | 58.459 % |
432.33/432.35	c |    152564 |   35211   183129   510057 | 2147483647   151806    123 | 58.459 % |
434.03/434.07	c |    153058 |   35211   183129   510057 | 2147483647   152300    123 | 58.459 % |
436.03/436.04	c |    153600 |   35182   183129   510057 | 2147483647   152841    123 | 60.185 % |
438.03/438.12	c |    154196 |   35182   183129   510057 | 2147483647   153437    123 | 60.185 % |
440.03/440.12	c |    154851 |   35182   183129   510057 | 2147483647   154092    123 | 60.185 % |
442.23/442.25	c |    155572 |   35182   183129   510057 | 2147483647   154812    123 | 60.196 % |
445.03/445.06	c |    156366 |   35182   183129   510057 | 2147483647   155606    123 | 60.196 % |
447.83/447.87	c |    157238 |   35182   183129   510057 | 2147483647   156477    123 | 60.205 % |
450.42/450.43	c |    158197 |   35182   183129   510057 | 2147483647   157436    122 | 60.205 % |
453.22/453.22	c |    159250 |   35182   183129   510057 | 2147483647   158489    122 | 60.205 % |
457.52/457.55	c |    160408 |   35182   183129   510057 | 2147483647   159646    122 | 60.211 % |
461.52/461.55	c |    161682 |   35182   183129   510057 | 2147483647   160920    122 | 60.211 % |
466.32/466.37	c |    163083 |   35182   183129   510057 | 2147483647   162321    122 | 60.211 % |
471.72/471.72	c |    164624 |   35182   183129   510057 | 2147483647   163862    122 | 60.211 % |
477.42/477.43	c |    166319 |   33726   174453   488416 | 2147483647   165547    121 | 60.211 % |
477.72/477.80	c |    166419 |   33726   174453   488416 | 2147483647   165647    121 | 60.211 % |
478.12/478.15	c |    166532 |   33726   174453   488416 | 2147483647   165760    121 | 60.211 % |
478.52/478.56	c |    166654 |   33726   174453   488416 | 2147483647   165882    121 | 60.211 % |
478.92/478.97	c |    166787 |   33726   174453   488416 | 2147483647   166015    121 | 60.211 % |
479.42/479.43	c |    166934 |   33726   174453   488416 | 2147483647   166162    121 | 60.211 % |
480.22/480.28	c |    167095 |   33726   174453   488416 | 2147483647   166323    121 | 60.211 % |
480.82/480.88	c |    167272 |   33726   174453   488416 | 2147483647   166500    121 | 60.211 % |
481.92/481.93	c |    167465 |   33726   174453   488416 | 2147483647   166693    121 | 60.211 % |
482.92/482.96	c |    167678 |   33726   174453   488416 | 2147483647   166906    121 | 60.211 % |
483.72/483.77	c |    167911 |   33726   174453   488416 | 2147483647   167139    121 | 60.211 % |
484.52/484.58	c |    168171 |   33726   174453   488416 | 2147483647   167399    121 | 60.211 % |
485.42/485.47	c |    168454 |   33726   174453   488416 | 2147483647   167682    121 | 60.211 % |
486.42/486.44	c |    168764 |   33726   174453   488416 | 2147483647   167992    121 | 60.211 % |
487.32/487.41	c |    169104 |   33726   174453   488416 | 2147483647   168332    121 | 60.211 % |
488.22/488.30	c |    169476 |   33726   174453   488416 | 2147483647   168704    120 | 60.211 % |
489.42/489.46	c |    169885 |   33726   174453   488416 | 2147483647   169113    120 | 60.211 % |
491.22/491.27	c |    170334 |   33725   174453   488416 | 2147483647   169561    120 | 60.223 % |
492.82/492.89	c |    170828 |   33725   174453   488416 | 2147483647   170055    120 | 60.223 % |
495.02/495.01	c |    171370 |   33725   174453   488416 | 2147483647   170597    121 | 60.223 % |
496.92/496.98	c |    171971 |   33725   174453   488416 | 2147483647   171198    121 | 60.223 % |
499.72/499.74	c |    172627 |   33725   174453   488416 | 2147483647   171854    121 | 60.223 % |
502.72/502.75	c |    173347 |   33725   174453   488416 | 2147483647   172574    121 | 60.223 % |
505.72/505.74	c |    174140 |   33725   174453   488416 | 2147483647   173367    121 | 60.223 % |
508.92/509.00	c |    175011 |   33725   174453   488416 | 2147483647   174238    121 | 60.223 % |
512.02/512.07	c |    175971 |   33725   174453   488416 | 2147483647   175198    121 | 60.223 % |
516.22/516.24	c |    177025 |   33716   174368   488214 | 2147483647   176250    120 | 60.223 % |
520.32/520.36	c |    178184 |   33716   174368   488214 | 2147483647   177409    120 | 60.223 % |
525.32/525.37	c |    179457 |   33716   174368   488214 | 2147483647   178682    120 | 60.223 % |
529.52/529.51	c |    180857 |   33716   174368   488214 | 2147483647   180082    120 | 60.223 % |
534.42/534.42	c |    182399 |   33716   174368   488214 | 2147483647   181624    120 | 60.223 % |
540.53/540.58	c |    184093 |   33716   174368   488214 | 2147483647   183318    119 | 60.223 % |
546.23/546.23	c |    185956 |   33716   174368   488214 | 2147483647   185181    120 | 60.223 % |
546.63/546.64	c |    186056 |   33716   174368   488214 | 2147483647   185281    120 | 60.223 % |
547.03/547.07	c |    186166 |   33716   174368   488214 | 2147483647   185391    120 | 60.223 % |
547.43/547.49	c |    186287 |   33716   174368   488214 | 2147483647   185512    120 | 60.223 % |
547.93/547.99	c |    186420 |   33716   174368   488214 | 2147483647   185645    120 | 60.223 % |
548.63/548.70	c |    186566 |   33716   174368   488214 | 2147483647   185791    120 | 60.223 % |
549.23/549.29	c |    186726 |   33716   174368   488214 | 2147483647   185951    120 | 60.223 % |
549.93/549.98	c |    186902 |   33716   174368   488214 | 2147483647   186127    119 | 60.223 % |
550.73/550.75	c |    187095 |   33716   174368   488214 | 2147483647   186320    119 | 60.223 % |
551.53/551.54	c |    187307 |   33716   174368   488214 | 2147483647   186532    119 | 60.223 % |
552.53/552.61	c |    187540 |   33716   174368   488214 | 2147483647   186765    119 | 60.223 % |
553.53/553.59	c |    187796 |   33716   174368   488214 | 2147483647   187021    119 | 60.223 % |
554.83/554.87	c |    188077 |   33716   174368   488214 | 2147483647   187302    119 | 60.223 % |
556.13/556.20	c |    188387 |   33716   174368   488214 | 2147483647   187612    119 | 60.223 % |
557.33/557.34	c |    188727 |   33716   174368   488214 | 2147483647   187952    119 | 60.223 % |
558.43/558.45	c |    189103 |   33716   174368   488214 | 2147483647   188328    119 | 60.223 % |
560.03/560.02	c |    189514 |   33716   174368   488214 | 2147483647   188739    119 | 60.223 % |
561.53/561.53	c |    189964 |   33716   174368   488214 | 2147483647   189189    119 | 60.223 % |
563.63/563.64	c |    190458 |   33716   174368   488214 | 2147483647   189683    119 | 60.223 % |
565.53/565.54	c |    191002 |   33716   174368   488214 | 2147483647   190227    119 | 60.223 % |
567.53/567.60	c |    191598 |   33716   174368   488214 | 2147483647   190822    119 | 60.649 % |
569.93/569.93	c |    192254 |   33716   174368   488214 | 2147483647   191478    119 | 60.649 % |
572.43/572.45	c |    192974 |   33716   174368   488214 | 2147483647   192198    119 | 60.649 % |
575.53/575.57	c |    193766 |   33716   174368   488214 | 2147483647   192990    119 | 60.649 % |
578.93/578.97	c |    194639 |   33355   172302   482252 | 2147483647   193860    119 | 60.649 % |
582.23/582.25	c |    195597 |   33355   172302   482252 | 2147483647   194818    119 | 60.649 % |
585.63/585.71	c |    196652 |   33355   172302   482252 | 2147483647   195873    119 | 60.649 % |
590.03/590.02	c |    197812 |   33355   172302   482252 | 2147483647   197033    119 | 60.649 % |
594.63/594.70	c |    199085 |   33355   172302   482252 | 2147483647   198306    119 | 60.649 % |
600.13/600.21	c |    200488 |   33355   172302   482252 | 2147483647   199709    118 | 60.649 % |
605.63/605.68	c |    202029 |   33355   172302   482252 | 2147483647   201250    119 | 60.649 % |
611.43/611.46	c |    203725 |   33355   172302   482252 | 2147483647   202946    119 | 60.649 % |
618.73/618.76	c |    205589 |   33354   172302   482252 | 2147483647   204809    119 | 60.659 % |
625.13/625.12	c |    207638 |   33354   172302   482252 | 2147483647   206858    119 | 60.659 % |
625.43/625.49	c |    207739 |   33354   172302   482252 | 2147483647   206959    119 | 60.659 % |
625.83/625.86	c |    207852 |   33354   172302   482252 | 2147483647   207072    119 | 60.659 % |
626.33/626.35	c |    207973 |   33354   172302   482252 | 2147483647   207193    119 | 60.659 % |
626.73/626.76	c |    208106 |   33354   172302   482252 | 2147483647   207326    119 | 60.659 % |
627.43/627.51	c |    208254 |   33353   172302   482252 | 2147483647   207473    119 | 60.671 % |
628.24/628.27	c |    208417 |   33353   172302   482252 | 2147483647   207636    119 | 60.671 % |
629.13/629.12	c |    208595 |   33353   172302   482252 | 2147483647   207814    119 | 60.671 % |
629.93/629.91	c |    208790 |   33353   172302   482252 | 2147483647   208009    119 | 60.671 % |
630.63/630.66	c |    209002 |   33353   172302   482252 | 2147483647   208221    119 | 60.671 % |
631.63/631.66	c |    209240 |   33353   172302   482252 | 2147483647   208459    119 | 60.671 % |
632.43/632.45	c |    209496 |   33353   172302   482252 | 2147483647   208715    119 | 60.671 % |
633.33/633.32	c |    209777 |   33353   172302   482252 | 2147483647   208996    119 | 60.671 % |
634.53/634.51	c |    210089 |   33353   172302   482252 | 2147483647   209308    119 | 60.671 % |
635.83/635.82	c |    210430 |   33353   172302   482252 | 2147483647   209649    119 | 60.671 % |
637.33/637.31	c |    210803 |   33353   172302   482252 | 2147483647   210022    119 | 60.671 % |
638.83/638.89	c |    211212 |   33353   172302   482252 | 2147483647   210431    119 | 60.671 % |
641.03/641.07	c |    211662 |   33353   172302   482252 | 2147483647   210881    119 | 60.671 % |
642.93/642.97	c |    212155 |   33336   172134   481843 | 2147483647   211363    119 | 60.671 % |
645.23/645.25	c |    212699 |   33336   172134   481843 | 2147483647   211907    119 | 60.671 % |
646.94/646.92	c |    213295 |   33336   172134   481843 | 2147483647   212503    119 | 60.671 % |
649.43/649.48	c |    213950 |   33336   172134   481843 | 2147483647   213158    119 | 60.671 % |
652.53/652.55	c |    214671 |   33336   172134   481843 | 2147483647   213879    119 | 60.671 % |
655.43/655.47	c |    215466 |   33336   172134   481843 | 2147483647   214674    119 | 60.671 % |
658.83/658.87	c |    216337 |   33336   172134   481843 | 2147483647   215545    119 | 60.671 % |
662.54/662.56	c |    217295 |   33336   172134   481843 | 2147483647   216503    119 | 60.671 % |
666.34/666.40	c |    218348 |   33336   172134   481843 | 2147483647   217556    119 | 60.671 % |
671.04/671.08	c |    219506 |   33336   172134   481843 | 2147483647   218714    119 | 60.671 % |
676.14/676.12	c |    220780 |   33336   172134   481843 | 2147483647   219988    119 | 60.671 % |
682.24/682.31	c |    222182 |   33336   172134   481843 | 2147483647   221390    119 | 60.671 % |
689.14/689.21	c |    223722 |   33336   172134   481843 | 2147483647   222929    118 | 60.684 % |
695.34/695.39	c |    225416 |   33336   172134   481843 | 2147483647   224623    118 | 60.684 % |
701.64/701.69	c |    227279 |   33336   172134   481843 | 2147483647   226486    118 | 60.684 % |
708.94/708.99	c |    229328 |   33335   172134   481843 | 2147483647   228534    119 | 60.856 % |
717.94/717.93	c |    231583 |   33179   171120   479051 | 2147483647   230772    119 | 60.856 % |
718.44/718.51	c |    231683 |   33179   171120   479051 | 2147483647   230871    119 | 60.867 % |
719.24/719.23	c |    231793 |   33179   171120   479051 | 2147483647   230981    119 | 60.867 % |
719.84/719.88	c |    231914 |   33179   171120   479051 | 2147483647   231102    119 | 60.867 % |
720.54/720.57	c |    232047 |   33179   171120   479051 | 2147483647   231235    119 | 60.867 % |
721.24/721.30	c |    232197 |   33179   171120   479051 | 2147483647   231385    119 | 60.867 % |
721.94/722.00	c |    232363 |   33179   171120   479051 | 2147483647   231551    119 | 60.867 % |
722.74/722.77	c |    232539 |   33179   171120   479051 | 2147483647   231727    119 | 60.867 % |
723.54/723.54	c |    232733 |   33179   171120   479051 | 2147483647   231921    119 | 60.867 % |
724.44/724.48	c |    232946 |   33179   171120   479051 | 2147483647   232134    119 | 60.867 % |
725.84/725.86	c |    233179 |   33179   171120   479051 | 2147483647   232367    119 | 60.867 % |
726.94/726.92	c |    233435 |   33179   171120   479051 | 2147483647   232623    119 | 60.867 % |
728.04/728.07	c |    233716 |   33179   171120   479051 | 2147483647   232904    119 | 60.867 % |
729.94/729.97	c |    234025 |   33179   171120   479051 | 2147483647   233213    118 | 60.867 % |
731.44/731.51	c |    234366 |   33179   171120   479051 | 2147483647   233554    118 | 60.867 % |
733.04/733.04	c |    234738 |   33179   171120   479051 | 2147483647   233926    118 | 60.867 % |
735.14/735.15	c |    235150 |   33179   171120   479051 | 2147483647   234338    118 | 60.867 % |
737.44/737.44	c |    235601 |   33179   171120   479051 | 2147483647   234789    118 | 60.867 % |
739.64/739.67	c |    236098 |   33179   171120   479051 | 2147483647   235286    118 | 60.867 % |
741.94/741.92	c |    236642 |   33179   171120   479051 | 2147483647   235830    118 | 60.867 % |
744.24/744.30	c |    237238 |   33179   171120   479051 | 2147483647   236426    118 | 60.867 % |
746.64/746.69	c |    237893 |   33179   171120   479051 | 2147483647   237080    118 | 60.944 % |
750.04/750.05	c |    238615 |   33179   171120   479051 | 2147483647   237802    118 | 60.944 % |
753.65/753.65	c |    239410 |   33179   171120   479051 | 2147483647   238597    118 | 60.944 % |
756.84/756.92	c |    240283 |   33178   171120   479051 | 2147483647   239469    118 | 60.957 % |
760.04/760.08	c |    241242 |   33178   171120   479051 | 2147483647   240428    118 | 60.957 % |
764.74/764.71	c |    242297 |   33177   171120   479051 | 2147483647   241482    118 | 60.966 % |
768.74/768.80	c |    243455 |   33177   171120   479051 | 2147483647   242640    118 | 60.966 % |
773.14/773.15	c |    244729 |   33177   171120   479051 | 2147483647   243914    118 | 60.966 % |
778.34/778.36	c |    246129 |   33177   171120   479051 | 2147483647   245314    118 | 60.966 % |
784.14/784.19	c |    247669 |   33177   171120   479051 | 2147483647   246854    117 | 60.966 % |
790.45/790.45	c |    249363 |   33086   170542   477444 | 2147483647   248519    117 | 60.966 % |
797.55/797.57	c |    251228 |   33086   170542   477444 | 2147483647   250384    117 | 60.966 % |
805.75/805.74	c |    253277 |   33086   170542   477444 | 2147483647   252433    117 | 60.966 % |
814.14/814.12	c |    255531 |   33086   170542   477444 | 2147483647   254687    117 | 60.966 % |
824.84/824.86	c |    258009 |   33086   170542   477444 | 2147483647   257165    117 | 60.966 % |
825.34/825.33	c |    258111 |   33086   170542   477444 | 2147483647   257267    117 | 60.966 % |
825.74/825.74	c |    258222 |   33086   170542   477444 | 2147483647   257378    117 | 60.966 % |
826.24/826.22	c |    258343 |   33086   170542   477444 | 2147483647   257499    117 | 60.966 % |
826.64/826.71	c |    258476 |   33086   170542   477444 | 2147483647   257632    117 | 60.966 % |
827.24/827.25	c |    258623 |   33086   170542   477444 | 2147483647   257779    117 | 60.966 % |
827.94/827.95	c |    258783 |   33086   170542   477444 | 2147483647   257939    117 | 60.966 % |
829.14/829.21	c |    258959 |   33086   170542   477444 | 2147483647   258115    117 | 60.966 % |
830.04/830.02	c |    259153 |   33086   170542   477444 | 2147483647   258309    117 | 60.966 % |
831.34/831.34	c |    259365 |   33086   170542   477444 | 2147483647   258521    117 | 60.966 % |
832.64/832.65	c |    259599 |   33086   170542   477444 | 2147483647   258755    117 | 60.966 % |
833.84/833.85	c |    259855 |   33086   170542   477444 | 2147483647   259011    117 | 60.966 % |
835.34/835.35	c |    260136 |   33086   170542   477444 | 2147483647   259292    117 | 60.966 % |
836.94/837.01	c |    260446 |   33086   170542   477444 | 2147483647   259602    117 | 60.966 % |
838.04/838.06	c |    260787 |   33086   170542   477444 | 2147483647   259943    117 | 60.966 % |
839.54/839.52	c |    261159 |   33086   170542   477444 | 2147483647   260315    117 | 60.966 % |
841.44/841.48	c |    261568 |   33086   170542   477444 | 2147483647   260724    117 | 60.966 % |
843.34/843.41	c |    262018 |   33086   170542   477444 | 2147483647   261174    117 | 60.966 % |
845.74/845.80	c |    262512 |   33086   170542   477444 | 2147483647   261668    117 | 60.966 % |
848.04/848.10	c |    263054 |   33086   170542   477444 | 2147483647   262210    117 | 60.966 % |
851.14/851.16	c |    263650 |   33086   170542   477444 | 2147483647   262806    117 | 60.966 % |
854.04/854.04	c |    264305 |   33086   170542   477444 | 2147483647   263461    117 | 60.966 % |
857.24/857.24	c |    265025 |   33086   170542   477444 | 2147483647   264181    117 | 60.966 % |
860.24/860.22	c |    265817 |   33086   170542   477444 | 2147483647   264973    117 | 60.966 % |
864.54/864.56	c |    266688 |   33086   170542   477444 | 2147483647   265844    117 | 60.966 % |
869.34/869.31	c |    267649 |   33086   170542   477444 | 2147483647   266805    117 | 60.966 % |
874.24/874.25	c |    268702 |   33086   170542   477444 | 2147483647   267858    117 | 60.966 % |
879.34/879.32	c |    269860 |   33086   170542   477444 | 2147483647   269016    117 | 60.966 % |
884.94/884.98	c |    271134 |   33086   170542   477444 | 2147483647   270290    117 | 60.966 % |
891.94/891.95	c |    272534 |   33086   170542   477444 | 2147483647   271690    117 | 60.966 % |
898.94/898.93	c |    274074 |   33086   170542   477444 | 2147483647   273230    117 | 60.966 % |
906.34/906.31	c |    275769 |   33086   170542   477444 | 2147483647   274925    118 | 60.966 % |
916.35/916.35	c |    277633 |   33086   170542   477444 | 2147483647   276789    118 | 60.966 % |
926.55/926.59	c |    279682 |   33086   170542   477444 | 2147483647   278838    117 | 60.966 % |
938.85/938.88	c |    281937 |   33086   170542   477444 | 2147483647   281093    117 | 60.966 % |
949.05/949.11	c |    284415 |   33086   170542   477444 | 2147483647   283571    117 | 60.966 % |
960.45/960.47	c |    287140 |   33086   170542   477444 | 2147483647   286296    117 | 60.966 % |
960.95/960.94	c |    287240 |   33086   170542   477444 | 2147483647   286396    117 | 60.966 % |
961.45/961.45	c |    287350 |   33086   170542   477444 | 2147483647   286506    117 | 60.966 % |
961.95/961.92	c |    287471 |   33086   170542   477444 | 2147483647   286627    117 | 60.966 % |
962.35/962.35	c |    287606 |   33086   170542   477444 | 2147483647   286762    116 | 60.966 % |
962.95/962.92	c |    287752 |   33086   170542   477444 | 2147483647   286908    116 | 60.966 % |
963.55/963.57	c |    287913 |   33086   170542   477444 | 2147483647   287069    116 | 60.966 % |
964.25/964.28	c |    288091 |   33086   170542   477444 | 2147483647   287247    116 | 60.966 % |
965.25/965.22	c |    288286 |   33086   170542   477444 | 2147483647   287442    116 | 60.966 % |
966.15/966.18	c |    288498 |   33086   170542   477444 | 2147483647   287654    116 | 60.966 % |
967.85/967.83	c |    288731 |   33086   170542   477444 | 2147483647   287887    116 | 60.966 % |
968.95/969.00	c |    288987 |   33086   170542   477444 | 2147483647   288143    116 | 60.966 % |
969.95/969.94	c |    289271 |   33086   170542   477444 | 2147483647   288427    116 | 60.966 % |
971.25/971.25	c |    289581 |   33086   170542   477444 | 2147483647   288737    116 | 60.966 % |
972.65/972.67	c |    289921 |   33086   170542   477444 | 2147483647   289077    116 | 60.966 % |
974.55/974.53	c |    290295 |   33086   170542   477444 | 2147483647   289451    116 | 60.966 % |
976.25/976.24	c |    290704 |   33086   170542   477444 | 2147483647   289860    116 | 60.966 % |
977.95/977.93	c |    291157 |   33086   170542   477444 | 2147483647   290313    116 | 60.966 % |
980.45/980.48	c |    291650 |   33086   170542   477444 | 2147483647   290806    116 | 60.966 % |
982.95/982.98	c |    292192 |   33086   170542   477444 | 2147483647   291348    116 | 60.966 % |
985.75/985.71	c |    292788 |   33086   170542   477444 | 2147483647   291944    116 | 60.966 % |
988.95/988.93	c |    293444 |   33076   170477   477273 | 2147483647   292599    116 | 60.978 % |
992.36/992.34	c |    294164 |   33076   170477   477273 | 2147483647   293319    116 | 60.978 % |
996.15/996.17	c |    294957 |   33076   170477   477273 | 2147483647   294112    116 | 60.978 % |
1000.25/1000.22	c |    295828 |   33075   170477   477273 | 2147483647   294982    116 | 60.987 % |
1004.75/1004.72	c |    296786 |   33075   170477   477273 | 2147483647   295940    116 | 60.987 % |
1009.55/1009.59	c |    297839 |   33074   170477   477273 | 2147483647   296992    116 | 60.996 % |
1014.25/1014.26	c |    298997 |   33074   170477   477273 | 2147483647   298150    116 | 60.995 % |
1019.95/1019.95	c |    300270 |   33074   170477   477273 |   299153   299423    116 | 60.995 % |
1026.35/1026.31	c |    301670 |   33074   170477   477273 |   299153   300823    116 | 60.995 % |
1034.16/1034.21	c |    303211 |   33074   170477   477273 |   299153   302363    115 | 61.001 % |
1041.66/1041.63	c |    304907 |   33074   170477   477273 |   299153   304059    115 | 61.001 % |
1049.66/1049.69	c |    306771 |   33074   170477   477273 |   299153   305923    115 | 61.001 % |
1058.56/1058.55	c |    308820 |   33074   170477   477273 |   299153   307972    115 | 61.002 % |
1068.76/1068.76	c |    311074 |   33074   170477   477273 | 2147483647   310226    115 | 61.001 % |
1082.66/1082.69	c |    313554 |   33074   170477   477273 | 2147483647   312706    115 | 61.001 % |
1096.46/1096.49	c |    316281 |   33074   170477   477273 | 2147483647   315433    115 | 61.001 % |
1112.56/1112.55	c |    319278 |   33056   170284   476801 | 2147483647   318377    115 | 61.001 % |
1113.26/1113.22	c |    319378 |   33056   170284   476801 | 2147483647   318477    115 | 61.001 % |
1113.76/1113.72	c |    319489 |   33056   170284   476801 | 2147483647   318588    115 | 61.001 % |
1114.36/1114.33	c |    319610 |   33056   170284   476801 | 2147483647   318709    115 | 61.001 % |
1114.96/1115.00	c |    319743 |   33056   170284   476801 | 2147483647   318842    115 | 61.001 % |
1115.66/1115.71	c |    319889 |   33056   170284   476801 | 2147483647   318988    115 | 61.001 % |
1116.56/1116.56	c |    320050 |   33056   170284   476801 | 2147483647   319149    115 | 61.001 % |
1117.36/1117.35	c |    320226 |   33056   170284   476801 | 2147483647   319325    115 | 61.001 % |
1118.26/1118.25	c |    320419 |   33056   170284   476801 | 2147483647   319518    115 | 61.001 % |
1119.16/1119.21	c |    320632 |   33056   170284   476801 | 2147483647   319731    115 | 61.001 % |
1120.36/1120.41	c |    320865 |   33056   170284   476801 | 2147483647   319964    115 | 61.001 % |
1122.17/1122.13	c |    321123 |   33056   170284   476801 | 2147483647   320222    115 | 61.001 % |
1123.56/1123.59	c |    321404 |   33056   170284   476801 | 2147483647   320503    115 | 61.001 % |
1125.26/1125.23	c |    321715 |   33056   170284   476801 | 2147483647   320814    115 | 61.001 % |
1126.96/1126.99	c |    322058 |   33056   170284   476801 | 2147483647   321157    115 | 61.001 % |
1129.26/1129.30	c |    322430 |   33056   170284   476801 | 2147483647   321529    115 | 61.001 % |
1131.46/1131.44	c |    322840 |   33056   170284   476801 | 2147483647   321939    115 | 61.001 % |
1133.96/1133.98	c |    323289 |   33056   170284   476801 | 2147483647   322388    115 | 61.001 % |
1137.16/1137.13	c |    323783 |   33056   170284   476801 | 2147483647   322882    115 | 61.001 % |
1140.36/1140.34	c |    324327 |   33056   170284   476801 | 2147483647   323426    115 | 61.002 % |
1143.86/1143.83	c |    324923 |   33056   170284   476801 | 2147483647   324022    115 | 61.001 % |
1147.56/1147.51	c |    325579 |   33056   170284   476801 | 2147483647   324678    115 | 61.001 % |
1151.96/1151.95	c |    326301 |   33056   170284   476801 | 2147483647   325400    115 | 61.001 % |
1156.36/1156.33	c |    327094 |   33056   170284   476801 | 2147483647   326193    115 | 61.001 % |
1160.56/1160.53	c |    327968 |   33056   170284   476801 | 2147483647   327067    115 | 61.001 % |
1165.66/1165.69	c |    328926 |   33056   170284   476801 | 2147483647   328024    115 | 61.016 % |
1171.56/1171.58	c |    329982 |   33056   170284   476801 | 2147483647   329080    115 | 61.016 % |
1178.56/1178.52	c |    331140 |   33056   170284   476801 |   329098   330238    115 | 61.016 % |
1185.96/1185.92	c |    332413 |   33056   170284   476801 |   329098   331511    115 | 61.016 % |
1193.76/1193.81	c |    333819 |   33056   170284   476801 |   329098   332917    114 | 61.016 % |

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820308-1242424981/watcher-1820308-1242424981 -o /tmp/evaluation-result-1820308-1242424981/solver-1820308-1242424981 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820308-1242424981.cnf 

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


[startup+0 s]
/proc/loadavg: 1.09 1.12 1.06 2/96 24360
/proc/meminfo: memFree=1708020/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=952 CPUtime=0
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 141 0 0 0 0 0 0 0 25 0 1 0 1006996604 974848 77 4294967295 134512640 135223648 3215275408 3215274128 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24364/statm: 272 84 46 174 0 97 0

[startup+0.11106 s]
/proc/loadavg: 1.09 1.12 1.06 2/96 24360
/proc/meminfo: memFree=1708020/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=22188 CPUtime=0.11
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 4448 0 0 0 11 0 0 0 25 0 1 0 1006996604 22720512 4384 4294967295 134512640 135223648 3215275408 3215274288 134542955 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24364/statm: 5547 4386 46 174 0 5372 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 24604

[startup+0.211054 s]
/proc/loadavg: 1.09 1.12 1.06 2/96 24360
/proc/meminfo: memFree=1708020/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=42504 CPUtime=0.21
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 9191 0 0 0 20 1 0 0 25 0 1 0 1006996604 43524096 9127 4294967295 134512640 135223648 3215275408 3215273992 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24364/statm: 10626 9128 46 174 0 10451 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 44920

[startup+0.311047 s]
/proc/loadavg: 1.09 1.12 1.06 2/96 24360
/proc/meminfo: memFree=1708020/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=75776 CPUtime=0.31
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 12652 0 0 0 29 2 0 0 25 0 1 0 1006996604 77594624 12588 4294967295 134512640 135223648 3215275408 3215274360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/24364/statm: 18944 12588 46 174 0 18769 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 78192

[startup+0.711025 s]
/proc/loadavg: 1.09 1.12 1.06 2/96 24360
/proc/meminfo: memFree=1708020/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=106468 CPUtime=0.71
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 20336 0 0 0 62 9 0 0 25 0 1 0 1006996604 109023232 20272 4294967295 134512640 135223648 3215275408 3215274360 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24364/statm: 26617 20273 46 174 0 26442 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 108884

[startup+1.51098 s]
/proc/loadavg: 1.09 1.12 1.06 2/98 24365
/proc/meminfo: memFree=1591544/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=152308 CPUtime=1.51
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 32072 0 0 0 132 19 0 0 25 0 1 0 1006996604 155963392 31912 4294967295 134512640 135223648 3215275408 3215273532 134709547 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24364/statm: 38077 31912 68 174 0 37902 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 154724

[startup+3.11089 s]
/proc/loadavg: 1.09 1.12 1.06 2/98 24365
/proc/meminfo: memFree=1567736/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=175108 CPUtime=3.11
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 39440 0 0 0 287 24 0 0 25 0 1 0 1006996604 179310592 36015 4294967295 134512640 135223648 3215275408 3215273424 134586700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24364/statm: 43777 36015 73 174 0 43602 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 177524

[startup+6.31071 s]
/proc/loadavg: 1.08 1.12 1.06 2/98 24365
/proc/meminfo: memFree=1548268/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2416 CPUtime=0.01
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1006996604 2473984 276 4294967295 134512640 135169312 3220148800 3220147336 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 604 276 235 161 0 43 0
[pid=24364] ppid=24360 vsize=181496 CPUtime=6.31
/proc/24364/stat : 24364 (SatELite_releas) R 24360 24360 11066 0 -1 4202496 44159 0 0 0 604 27 0 0 25 0 1 0 1006996604 185851904 36333 4294967295 134512640 135223648 3215275408 3215273328 134575970 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24364/statm: 45374 36333 73 174 0 45199 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 183912

[startup+12.7104 s]
/proc/loadavg: 1.08 1.11 1.06 3/98 24366
/proc/meminfo: memFree=1660280/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=30580 CPUtime=3.05
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 7260 0 0 0 299 6 0 0 25 0 1 0 1006997570 31313920 7187 4294967295 134512640 135215339 3218704688 3218702960 134525090 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 7645 7187 73 172 0 7472 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 33000

[startup+25.5096 s]
/proc/loadavg: 1.06 1.11 1.06 3/98 24366
/proc/meminfo: memFree=1659260/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=31640 CPUtime=15.84
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 7524 0 0 0 1578 6 0 0 25 0 1 0 1006997570 32399360 7451 4294967295 134512640 135215339 3218704688 3218702896 134525941 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 7910 7451 73 172 0 7737 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 34060

[startup+51.1182 s]
/proc/loadavg: 1.15 1.13 1.06 2/98 24551
/proc/meminfo: memFree=1653856/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=36700 CPUtime=41.45
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 8782 0 0 0 4136 9 0 0 25 0 1 0 1006997570 37580800 8709 4294967295 134512640 135215339 3218704688 3218702976 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 9175 8709 73 172 0 9002 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 39120

[startup+102.305 s]
/proc/loadavg: 1.13 1.12 1.06 2/98 24738
/proc/meminfo: memFree=1642772/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=47608 CPUtime=92.63
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 11511 0 0 0 9253 10 0 0 25 0 1 0 1006997570 48750592 11438 4294967295 134512640 135215339 3218704688 3218702976 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 11902 11438 73 172 0 11729 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50028

[startup+162.312 s]
/proc/loadavg: 1.11 1.11 1.06 3/98 24927
/proc/meminfo: memFree=1630768/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=59736 CPUtime=152.64
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 14547 0 0 0 15253 11 0 0 25 0 1 0 1006997570 61169664 14474 4294967295 134512640 135215339 3218704688 3218702688 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 14934 14474 73 172 0 14761 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 62156

[startup+222.319 s]
/proc/loadavg: 1.26 1.14 1.07 2/98 25119
/proc/meminfo: memFree=1618416/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=72216 CPUtime=212.64
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 17655 0 0 0 21252 12 0 0 25 0 1 0 1006997570 73949184 17582 4294967295 134512640 135215339 3218704688 3218702688 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 18054 17582 73 172 0 17881 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 74636

[startup+282.315 s]
/proc/loadavg: 1.09 1.11 1.07 2/98 25307
/proc/meminfo: memFree=1607736/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=82988 CPUtime=272.64
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 20318 0 0 0 27248 16 0 0 25 0 1 0 1006997570 84979712 20245 4294967295 134512640 135215339 3218704688 3218702976 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 20747 20245 73 172 0 20574 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 85408

[startup+342.322 s]
/proc/loadavg: 1.12 1.12 1.07 2/98 25492
/proc/meminfo: memFree=1599272/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=91512 CPUtime=332.65
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 22453 0 0 0 33248 17 0 0 25 0 1 0 1006997570 93708288 22380 4294967295 134512640 135215339 3218704688 3218702976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 22878 22380 73 172 0 22705 0
Current children cumulated CPU time (s) 342.32

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

/proc/24366/statm: 31476 30921 73 172 0 31303 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 128324

[startup+642.315 s]
/proc/loadavg: 1.02 1.08 1.07 3/98 26437
/proc/meminfo: memFree=1556732/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=134556 CPUtime=632.66
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 33067 0 0 0 63232 34 0 0 25 0 1 0 1006997570 137785344 32994 4294967295 134512640 135215339 3218704688 3218702976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 33639 32994 73 172 0 33466 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 136976

[startup+702.322 s]
/proc/loadavg: 1.01 1.06 1.07 3/98 26626
/proc/meminfo: memFree=1549392/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=141816 CPUtime=692.67
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 34894 0 0 0 69231 36 0 0 25 0 1 0 1006997570 145219584 34821 4294967295 134512640 135215339 3218704688 3218702976 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 35454 34821 73 172 0 35281 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 144236

[startup+762.318 s]
/proc/loadavg: 1.00 1.05 1.06 2/98 26815
/proc/meminfo: memFree=1542704/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=148636 CPUtime=752.67
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 36572 0 0 0 75228 39 0 0 25 0 1 0 1006997570 152203264 36499 4294967295 134512640 135215339 3218704688 3218702976 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 37159 36499 73 172 0 36986 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 151056

[startup+822.315 s]
/proc/loadavg: 1.00 1.04 1.05 3/98 27003
/proc/meminfo: memFree=1535908/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=155636 CPUtime=812.67
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 38327 0 0 0 81227 40 0 0 25 0 1 0 1006997570 159371264 38254 4294967295 134512640 135215339 3218704688 3218702976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 38909 38254 73 172 0 38736 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 158056

[startup+882.322 s]
/proc/loadavg: 1.00 1.03 1.05 2/98 27194
/proc/meminfo: memFree=1529064/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=162560 CPUtime=872.68
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 40034 0 0 0 87227 41 0 0 25 0 1 0 1006997570 166461440 39961 4294967295 134512640 135215339 3218704688 3218702976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 40640 39961 73 172 0 40467 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 164980

[startup+942.318 s]
/proc/loadavg: 1.00 1.02 1.04 3/98 27379
/proc/meminfo: memFree=1523336/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=168292 CPUtime=932.68
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 41478 0 0 0 93226 42 0 0 25 0 1 0 1006997570 172331008 41405 4294967295 134512640 135215339 3218704688 3218702976 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 42073 41405 73 172 0 41900 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 170712

[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.04 3/98 27572
/proc/meminfo: memFree=1517920/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=173744 CPUtime=992.68
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 42880 0 0 0 99224 44 0 0 25 0 1 0 1006997570 177913856 42807 4294967295 134512640 135215339 3218704688 3218702976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 43436 42807 73 172 0 43263 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 176164

[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.03 3/98 27761
/proc/meminfo: memFree=1512540/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=179132 CPUtime=1052.69
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 44240 0 0 0 105225 44 0 0 25 0 1 0 1006997570 183431168 44167 4294967295 134512640 135215339 3218704688 3218702976 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 44783 44167 73 172 0 44610 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 181552

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.02 2/98 27949
/proc/meminfo: memFree=1506248/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=185668 CPUtime=1112.69
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 45724 0 0 0 111225 44 0 0 25 0 1 0 1006997570 190124032 45651 4294967295 134512640 135215339 3218704688 3218702752 134538488 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 46417 45651 73 172 0 46244 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 188088

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.02 3/98 28136
/proc/meminfo: memFree=1501132/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=190836 CPUtime=1172.69
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 46993 0 0 0 117225 44 0 0 25 0 1 0 1006997570 195416064 46920 4294967295 134512640 135215339 3218704688 3218702688 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 47709 46920 73 172 0 47536 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 193256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.02 3/98 28139
/proc/meminfo: memFree=1500160/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=191892 CPUtime=1190.39
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 47253 0 0 0 118995 44 0 0 25 0 1 0 1006997570 196497408 47180 4294967295 134512640 135215339 3218704688 3218702904 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 47973 47180 73 172 0 47800 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 194312

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

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

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.02 3/98 28139
/proc/meminfo: memFree=1500160/2074464 swapFree=1950760/1959888
[pid=24360] ppid=24358 vsize=2420 CPUtime=9.67
/proc/24360/stat : 24360 (SatELiteGTI) S 24358 24360 11066 0 -1 4194304 385 60290 0 0 0 1 927 39 20 0 1 0 1006996604 2478080 277 4294967295 134512640 135169312 3220148800 3220145016 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/24360/statm: 605 277 235 161 0 44 0
[pid=24366] ppid=24360 vsize=191892 CPUtime=1190.39
/proc/24366/stat : 24366 (minisat_static) R 24360 24360 11066 0 -1 4202496 47253 0 0 0 118995 44 0 0 25 0 1 0 1006997570 196497408 47180 4294967295 134512640 135215339 3218704688 3218702904 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24366/statm: 47973 47180 73 172 0 47800 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 194312

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24360 and gives
#  childrusage.ru_utime.tv_sec=9
#  childrusage.ru_utime.tv_usec=270000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=400000
# CPU time returned by wait4() is 9.67
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.03
CPU time (s): 1200.06
CPU user time (s): 1199.22
CPU system time (s): 0.84
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 201660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.27
system time used= 0.4
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60675
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= 13
involuntary context switches= 15

runsolver used 0.01 second user time and 0.04 second system time

The end

Launcher Data 

Begin job on tipi23 at 2009-05-16 00:03:01
IDJOB=1820308
IDBENCH=20365
IDSOLVER=657
FILE ID=tipi23/1820308-1242424981
PBS_JOBID=
Free space on /tmp= 10042 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820308-1242424981/watcher-1820308-1242424981 -o /tmp/evaluation-result-1820308-1242424981/solver-1820308-1242424981 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820308-1242424981.cnf

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED= 4792309

Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1708160 kB
Buffers:         20812 kB
Cached:         263668 kB
SwapCached:       3700 kB
Active:         239996 kB
Inactive:        56272 kB
HighTotal:     1178688 kB
HighFree:       909020 kB
LowTotal:       895776 kB
LowFree:        799140 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:           27036 kB
Writeback:           0 kB
AnonPages:       11096 kB
Mapped:           4500 kB
Slab:            61328 kB
PageTables:        608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10024 MiB
End job on tipi23 at 2009-05-16 00:23:05