Trace number 1832011

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.08 1200.71

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...
0.99/1.06	c ==============================================================================
0.99/1.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.99/1.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.99/1.06	c ==============================================================================
0.99/1.06	c |         0 | 1346401  3139386 |  403920       0        0     nan |  0.000 % |
9.77/9.81	c |         0 |  534198  1400252 |      --       0       --      -- |     --   | -504732/-1043370
9.77/9.82	c ==============================================================================
9.77/9.82	c Result  :   #vars: 84762   #clauses: 534198   #literals: 1400252
9.77/9.82	c CPU time:   9.47756 s
9.77/9.82	c ==============================================================================
10.26/10.37	c This is MiniSat 2.0 beta
10.26/10.37	c WARNING: for repeatability, setting FPU to use double precision
10.26/10.37	c ============================[ Problem Statistics ]=============================
10.26/10.37	c |                                                                             |
10.26/10.37	c |  Number of variables:  84762                                                |
10.26/10.37	c |  Number of clauses:    534198                                               |
10.34/10.70	c |  Parsing time:         0.29         s                                       |
10.34/10.72	c ============================[ Search Statistics ]==============================
10.34/10.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.34/10.72	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.34/10.72	c ===============================================================================
10.34/10.72	c |         0 |   84762   534198  1400252 |   178066        0    nan |  0.000 % |
11.06/11.11	c |       100 |   84586   534198  1400252 |   178066       84     21 |  5.657 % |
11.46/11.53	c |       203 |   84544   534198  1400252 |   178066      184     41 |  6.256 % |
12.06/12.16	c |       303 |   78916   496692  1311024 |   178066      261     44 | 10.507 % |
12.46/12.58	c |       415 |   78908   496692  1311024 |   178066      370     45 | 10.677 % |
12.76/12.85	c |       517 |   75632   475223  1260668 |   178066      467     53 | 11.692 % |
13.16/13.22	c |       627 |   75630   475223  1260668 |   178066      574     59 | 11.805 % |
13.66/13.79	c |       748 |   74066   464131  1234110 |   178066      687     69 | 12.619 % |
13.96/14.07	c |       848 |   74065   464131  1234110 |   178066      786     71 | 12.631 % |
14.56/14.65	c |       958 |   73415   460214  1224659 |   178066      882     66 | 13.445 % |
15.06/15.14	c |      1080 |   73412   460214  1224659 |   178066      999     72 | 13.516 % |
15.46/15.53	c |      1213 |   73412   460214  1224659 |   178066     1132     72 | 13.515 % |
15.96/16.05	c |      1314 |   73306   459266  1222192 |   178066     1230     75 | 13.515 % |
16.36/16.40	c |      1424 |   73306   459266  1222192 |   178066     1340     84 | 13.516 % |
16.86/16.90	c |      1545 |   73306   459266  1222192 |   178066     1461     93 | 13.516 % |
17.26/17.31	c |      1678 |   65821   408891  1098566 |   178066     1568     89 | 26.288 % |
17.36/17.49	c |      1824 |   65821   408891  1098566 |   178066     1714     88 | 26.288 % |
17.96/18.09	c |      1924 |   62108   380659  1027944 |   178066     1749     87 | 26.727 % |
18.46/18.60	c |      2034 |   62106   380659  1027944 |   178066     1856     85 | 26.769 % |
18.86/18.92	c |      2157 |   62106   380659  1027944 |   178066     1979     90 | 26.769 % |
19.46/19.52	c |      2290 |   62106   380659  1027944 |   178066     2112    107 | 26.769 % |
20.05/20.14	c |      2436 |   62072   380401  1027274 |   178066     2248    113 | 26.769 % |
20.76/20.87	c |      2597 |   60275   364857   985336 |   178066     2375    115 | 28.899 % |
21.06/21.16	c |      2697 |   60275   364857   985336 |   178066     2475    115 | 28.899 % |
21.46/21.50	c |      2807 |   60275   364857   985336 |   178066     2585    116 | 28.899 % |
21.76/21.81	c |      2928 |   60188   364857   985336 |   178066     2702    115 | 29.313 % |
22.05/22.18	c |      3061 |   59916   362402   979041 |   178066     2795    116 | 29.313 % |
22.65/22.79	c |      3208 |   59915   362402   979041 |   178066     2941    119 | 29.326 % |
23.06/23.18	c |      3369 |   59915   362402   979041 |   178066     3102    118 | 29.326 % |
23.85/23.99	c |      3546 |   59905   362303   978792 |   178066     3277    120 | 29.326 % |
24.25/24.31	c |      3647 |   59843   362303   978792 |   178066     3373    120 | 39.355 % |
24.45/24.58	c |      3760 |   51404   294878   802768 |   178066     3431    119 | 39.355 % |
24.85/24.92	c |      3882 |   51358   294878   802768 |   178066     3552    121 | 43.338 % |
25.15/25.29	c |      4018 |   51357   294878   802768 |   178066     3687    120 | 43.429 % |
25.75/25.84	c |      4166 |   51357   294878   802768 |   178066     3835    118 | 43.429 % |
26.25/26.33	c |      4328 |   47951   273884   745852 |   178066     3971    121 | 43.429 % |
26.45/26.58	c |      4505 |   47951   273884   745852 |   178066     4148    121 | 43.429 % |
26.75/26.87	c |      4699 |   47905   273884   745852 |   178066     4341    120 | 44.223 % |
27.05/27.19	c |      4799 |   47278   269055   734783 |   178066     4441    119 | 44.223 % |
27.45/27.57	c |      4909 |   47278   269055   734783 |   178066     4550    118 | 44.237 % |
27.85/27.91	c |      5030 |   47278   269055   734783 |   178066     4671    117 | 44.237 % |
28.15/28.21	c |      5164 |   47266   268964   734543 |   178066     4803    117 | 44.237 % |
28.45/28.57	c |      5310 |   47266   268964   734543 |   178066     4949    121 | 44.237 % |
28.75/28.85	c |      5470 |   47266   268964   734543 |   178066     5109    121 | 44.237 % |
29.25/29.37	c |      5648 |   47266   268964   734543 |   178066     5287    120 | 44.237 % |
29.75/29.83	c |      5841 |   47266   268964   734543 |   178066     5480    122 | 44.237 % |
30.15/30.22	c |      6058 |   47266   268964   734543 |   178066     5697    121 | 44.237 % |
30.45/30.52	c |      6158 |   47266   268964   734543 |   178066     5797    122 | 44.237 % |
30.65/30.77	c |      6268 |   47266   268964   734543 |   178066     5907    121 | 44.237 % |
31.15/31.24	c |      6391 |   47258   268892   734379 |   178066     6026    121 | 44.246 % |
31.55/31.63	c |      6525 |   47257   268892   734379 |   178066     6159    120 | 44.256 % |
31.75/31.81	c |      6671 |   47257   268892   734379 |   178066     6305    119 | 44.256 % |
32.25/32.32	c |      6831 |   47257   268892   734379 |   178066     6465    118 | 44.256 % |
32.74/32.88	c |      7008 |   47250   268822   734218 |   178066     6642    116 | 44.256 % |
33.14/33.26	c |      7201 |   47250   268822   734218 |   178066     6835    117 | 44.256 % |
33.74/33.82	c |      7413 |   47247   268822   734218 |   178066     7045    116 | 45.221 % |
34.44/34.53	c |      7646 |   46432   263170   720768 |   178066     7278    115 | 45.221 % |
34.75/34.89	c |      7747 |   46432   263170   720768 |   178066     7379    120 | 45.221 % |
35.06/35.17	c |      7857 |   46432   263170   720768 |   178066     7489    123 | 45.221 % |
35.35/35.47	c |      7978 |   46432   263170   720768 |   178066     7610    126 | 45.221 % |
35.65/35.78	c |      8111 |   46432   263170   720768 |   178066     7743    127 | 45.221 % |
36.16/36.27	c |      8258 |   46432   263170   720768 |   178066     7890    128 | 45.221 % |
36.75/36.81	c |      8418 |   46432   263170   720768 |   178066     8050    128 | 45.221 % |
37.15/37.29	c |      8594 |   46432   263170   720768 |   178066     8226    129 | 45.221 % |
37.75/37.89	c |      8788 |   46432   263170   720768 |   178066     8420    131 | 45.221 % |
38.55/38.68	c |      9000 |   46432   263170   720768 |   178066     8632    132 | 45.221 % |
39.15/39.25	c |      9233 |   46432   263170   720768 |   178066     8865    131 | 45.221 % |
40.25/40.31	c |      9489 |   46432   263170   720768 |   178066     9121    130 | 45.221 % |
40.55/40.69	c |      9591 |   46432   263170   720768 |   178066     9223    129 | 45.221 % |
40.75/40.86	c |      9701 |   46432   263170   720768 |   178066     9333    129 | 45.221 % |
41.05/41.18	c |      9822 |   46432   263170   720768 |   178066     9454    129 | 45.221 % |
41.55/41.67	c |      9955 |   46421   263075   720527 |   178066     9586    130 | 45.234 % |
41.85/41.96	c |     10103 |   46418   263075   720527 | 2147483647     9733    130 | 45.251 % |
42.55/42.64	c |     10263 |   46418   263075   720527 | 2147483647     9893    130 | 45.251 % |
42.85/42.94	c |     10440 |   46418   263075   720527 | 2147483647    10070    130 | 45.251 % |
43.55/43.69	c |     10634 |   46396   262908   720085 | 2147483647    10263    130 | 45.263 % |
44.25/44.30	c |     10846 |   46396   262908   720085 | 2147483647    10475    131 | 45.263 % |
44.65/44.72	c |     11079 |   46396   262908   720085 | 2147483647    10708    131 | 45.263 % |
45.14/45.22	c |     11336 |   46396   262908   720085 | 2147483647    10965    132 | 45.263 % |
45.74/45.85	c |     11617 |   46396   262908   720085 | 2147483647    11246    132 | 45.263 % |
46.05/46.16	c |     11717 |   46396   262908   720085 | 2147483647    11346    134 | 45.263 % |
46.34/46.46	c |     11827 |   46396   262908   720085 | 2147483647    11456    134 | 45.263 % |
46.64/46.72	c |     11949 |   46396   262908   720085 | 2147483647    11578    134 | 45.263 % |
46.94/47.10	c |     12084 |   46396   262908   720085 | 2147483647    11713    136 | 45.263 % |
47.54/47.61	c |     12230 |   46361   262655   719455 | 2147483647    11856    136 | 45.304 % |
47.84/47.98	c |     12390 |   46361   262655   719455 | 2147483647    12016    135 | 45.304 % |
48.24/48.39	c |     12566 |   46361   262655   719455 | 2147483647    12192    134 | 45.304 % |
48.64/48.76	c |     12761 |   46361   262655   719455 | 2147483647    12387    135 | 45.304 % |
49.34/49.48	c |     12976 |   46360   262655   719455 | 2147483647    12601    135 | 45.329 % |
49.84/49.91	c |     13209 |   46340   262490   719051 | 2147483647    12833    134 | 45.329 % |
50.63/50.71	c |     13465 |   46340   262490   719051 | 2147483647    13089    134 | 45.329 % |
51.23/51.35	c |     13749 |   46340   262490   719051 | 2147483647    13373    133 | 45.329 % |
51.93/52.05	c |     14058 |   46340   262490   719051 | 2147483647    13682    132 | 45.329 % |
52.13/52.25	c |     14158 |   46340   262490   719051 | 2147483647    13782    132 | 45.329 % |
52.53/52.60	c |     14268 |   46340   262490   719051 | 2147483647    13892    132 | 45.329 % |
52.83/52.90	c |     14393 |   46340   262490   719051 | 2147483647    14017    133 | 45.329 % |
53.03/53.16	c |     14528 |   46340   262490   719051 | 2147483647    14152    133 | 45.329 % |
53.43/53.51	c |     14676 |   46340   262490   719051 | 2147483647    14300    133 | 45.329 % |
53.74/53.80	c |     14836 |   46340   262490   719051 | 2147483647    14460    134 | 45.329 % |
53.94/54.09	c |     15014 |   46340   262490   719051 | 2147483647    14638    133 | 45.329 % |
54.64/54.70	c |     15209 |   46340   262490   719051 | 2147483647    14833    133 | 45.329 % |
55.24/55.33	c |     15424 |   46182   261381   716308 | 2147483647    15047    132 | 45.516 % |
55.84/55.94	c |     15658 |   46182   261381   716308 | 2147483647    15280    132 | 45.529 % |
56.44/56.58	c |     15914 |   46182   261381   716308 | 2147483647    15536    132 | 45.529 % |
57.04/57.14	c |     16196 |   46182   261381   716308 | 2147483647    15818    131 | 45.529 % |
57.64/57.73	c |     16506 |   46182   261381   716308 | 2147483647    16128    131 | 45.529 % |
58.34/58.43	c |     16845 |   46171   261295   716070 | 2147483647    16467    132 | 45.529 % |
58.54/58.63	c |     16947 |   46171   261295   716070 | 2147483647    16569    132 | 45.529 % |
58.74/58.88	c |     17058 |   46171   261295   716070 | 2147483647    16680    132 | 45.529 % |
59.14/59.25	c |     17179 |   46171   261295   716070 | 2147483647    16801    132 | 45.529 % |
59.54/59.64	c |     17312 |   46171   261295   716070 | 2147483647    16934    132 | 45.529 % |
60.03/60.13	c |     17460 |   46171   261295   716070 | 2147483647    17082    132 | 45.529 % |
60.63/60.76	c |     17621 |   46171   261295   716070 | 2147483647    17243    132 | 45.529 % |
61.03/61.12	c |     17798 |   46171   261295   716070 | 2147483647    17420    132 | 45.529 % |
61.44/61.58	c |     17992 |   46171   261295   716070 | 2147483647    17614    132 | 45.529 % |
62.13/62.24	c |     18204 |   46171   261295   716070 | 2147483647    17826    132 | 45.529 % |
62.64/62.79	c |     18438 |   46171   261295   716070 | 2147483647    18060    133 | 45.529 % |
63.33/63.41	c |     18694 |   46171   261295   716070 | 2147483647    18316    133 | 45.529 % |
63.93/64.07	c |     18975 |   46171   261295   716070 | 2147483647    18597    133 | 45.529 % |
64.63/64.74	c |     19284 |   46171   261295   716070 | 2147483647    18906    134 | 45.529 % |
65.43/65.54	c |     19623 |   46100   260884   714977 | 2147483647    19242    133 | 45.642 % |
66.33/66.46	c |     19996 |   46100   260884   714977 | 2147483647    19615    135 | 45.642 % |
66.53/66.69	c |     20096 |   46100   260884   714977 | 2147483647    19715    135 | 45.642 % |
66.93/67.02	c |     20207 |   46100   260884   714977 | 2147483647    19826    135 | 45.642 % |
67.43/67.57	c |     20328 |   46100   260884   714977 | 2147483647    19946    135 | 45.654 % |
67.83/67.93	c |     20461 |   46100   260884   714977 | 2147483647    20079    135 | 45.654 % |
68.13/68.25	c |     20607 |   46098   260884   714977 | 2147483647    20224    135 | 45.668 % |
68.63/68.78	c |     20767 |   46098   260884   714977 | 2147483647    20384    135 | 45.668 % |
69.13/69.29	c |     20944 |   46053   260499   714000 | 2147483647    20560    135 | 45.668 % |
69.62/69.70	c |     21137 |   46053   260499   714000 | 2147483647    20753    134 | 45.668 % |
70.42/70.50	c |     21350 |   46053   260499   714000 | 2147483647    20965    135 | 45.681 % |
70.92/71.03	c |     21583 |   46053   260499   714000 | 2147483647    21198    135 | 45.681 % |
71.52/71.69	c |     21841 |   46053   260499   714000 | 2147483647    21456    136 | 45.681 % |
72.32/72.41	c |     22122 |   46053   260499   714000 | 2147483647    21736    136 | 45.693 % |
73.23/73.30	c |     22433 |   46053   260499   714000 | 2147483647    22047    135 | 45.693 % |
74.33/74.43	c |     22773 |   46032   260350   713642 | 2147483647    22385    135 | 45.693 % |
75.63/75.71	c |     23146 |   46032   260350   713642 | 2147483647    22758    135 | 45.693 % |
76.72/76.87	c |     23556 |   46032   260350   713642 | 2147483647    23168    134 | 45.693 % |
77.02/77.12	c |     23656 |   46032   260350   713642 | 2147483647    23268    134 | 45.693 % |
77.42/77.59	c |     23766 |   46032   260350   713642 | 2147483647    23378    134 | 45.693 % |
78.03/78.14	c |     23887 |   45821   258927   710164 | 2147483647    23498    135 | 45.942 % |
78.52/78.61	c |     24020 |   45821   258927   710164 | 2147483647    23631    135 | 45.942 % |
78.72/78.89	c |     24166 |   45821   258927   710164 | 2147483647    23777    135 | 45.942 % |
79.13/79.26	c |     24326 |   45821   258927   710164 | 2147483647    23937    135 | 45.942 % |
79.52/79.64	c |     24502 |   45821   258927   710164 | 2147483647    24113    135 | 45.942 % |
80.02/80.14	c |     24695 |   45821   258927   710164 | 2147483647    24306    135 | 45.942 % |
80.62/80.70	c |     24910 |   45821   258927   710164 | 2147483647    24521    135 | 45.942 % |
81.12/81.25	c |     25143 |   45821   258927   710164 | 2147483647    24754    135 | 45.942 % |
82.02/82.18	c |     25401 |   45821   258927   710164 | 2147483647    25012    135 | 45.942 % |
82.72/82.85	c |     25682 |   45821   258927   710164 | 2147483647    25293    135 | 45.942 % |
83.42/83.56	c |     25991 |   45821   258927   710164 | 2147483647    25602    134 | 45.942 % |
84.32/84.44	c |     26332 |   45821   258927   710164 | 2147483647    25943    134 | 45.942 % |
85.22/85.39	c |     26704 |   45810   258852   709977 | 2147483647    26313    134 | 45.955 % |
86.82/86.95	c |     27116 |   45809   258852   709977 | 2147483647    26724    133 | 45.971 % |
87.92/88.01	c |     27565 |   45809   258852   709977 | 2147483647    27173    133 | 45.971 % |
88.11/88.27	c |     27665 |   45809   258852   709977 | 2147483647    27273    133 | 45.971 % |
88.61/88.72	c |     27776 |   45809   258852   709977 | 2147483647    27384    133 | 45.971 % |
89.02/89.12	c |     27897 |   45809   258852   709977 | 2147483647    27505    133 | 45.971 % |
89.22/89.39	c |     28030 |   45805   258852   709977 | 2147483647    27637    133 | 46.071 % |
89.61/89.72	c |     28177 |   45805   258852   709977 | 2147483647    27783    133 | 46.424 % |
90.21/90.39	c |     28337 |   45805   258852   709977 | 2147483647    27943    133 | 46.424 % |
90.91/91.09	c |     28513 |   45412   256327   703469 | 2147483647    28116    133 | 46.424 % |
91.52/91.62	c |     28707 |   45412   256327   703469 | 2147483647    28310    133 | 46.424 % |
92.41/92.56	c |     28921 |   45412   256327   703469 | 2147483647    28524    132 | 46.424 % |
93.11/93.24	c |     29154 |   45412   256327   703469 | 2147483647    28757    133 | 46.424 % |
93.91/94.00	c |     29410 |   45412   256327   703469 | 2147483647    29013    133 | 46.424 % |
94.52/94.66	c |     29693 |   45412   256327   703469 | 2147483647    29296    133 | 46.424 % |
95.71/95.85	c |     30003 |   45412   256327   703469 | 2147483647    29606    134 | 46.424 % |
96.21/96.32	c |     30342 |   45412   256327   703469 | 2147483647    29945    134 | 46.424 % |
97.11/97.21	c |     30714 |   45412   256327   703469 | 2147483647    30317    134 | 46.424 % |
98.31/98.48	c |     31124 |   45412   256327   703469 | 2147483647    30727    134 | 46.424 % |
99.31/99.48	c |     31573 |   45412   256327   703469 | 2147483647    31176    134 | 46.424 % |
101.01/101.14	c |     32066 |   45402   256262   703305 | 2147483647    31667    133 | 46.897 % |
101.31/101.48	c |     32170 |   45402   256262   703305 | 2147483647    31771    134 | 46.897 % |
101.71/101.89	c |     32281 |   45402   256262   703305 | 2147483647    31882    134 | 46.897 % |
102.31/102.45	c |     32402 |   45402   256262   703305 | 2147483647    32003    134 | 46.897 % |
103.11/103.28	c |     32538 |   45401   256262   703305 | 2147483647    32138    134 | 46.911 % |
103.31/103.48	c |     32684 |   45401   256262   703305 | 2147483647    32284    133 | 46.911 % |
103.81/103.94	c |     32844 |   45401   256262   703305 | 2147483647    32444    134 | 46.911 % |
104.20/104.36	c |     33021 |   45401   256262   703305 | 2147483647    32621    134 | 46.911 % |
104.60/104.78	c |     33215 |   45401   256262   703305 | 2147483647    32815    134 | 46.911 % |
105.10/105.26	c |     33429 |   45401   256262   703305 | 2147483647    33029    134 | 46.911 % |
105.51/105.70	c |     33663 |   45401   256262   703305 | 2147483647    33263    135 | 46.911 % |
106.10/106.25	c |     33919 |   44999   253881   697244 | 2147483647    33511    135 | 46.911 % |
106.60/106.79	c |     34200 |   44999   253881   697244 | 2147483647    33792    135 | 46.911 % |
107.30/107.40	c |     34509 |   44999   253881   697244 | 2147483647    34101    135 | 46.911 % |
108.00/108.14	c |     34848 |   44997   253881   697244 | 2147483647    34439    135 | 46.923 % |
109.00/109.20	c |     35221 |   44997   253881   697244 | 2147483647    34812    134 | 46.923 % |
110.39/110.50	c |     35632 |   44997   253881   697244 | 2147483647    35223    134 | 46.923 % |
111.60/111.71	c |     36082 |   44997   253881   697244 | 2147483647    35673    134 | 46.923 % |
112.60/112.73	c |     36576 |   44997   253881   697244 | 2147483647    36167    135 | 46.923 % |
113.80/113.94	c |     37118 |   44983   253796   697040 | 2147483647    36706    136 | 47.301 % |
114.20/114.40	c |     37219 |   44983   253796   697040 | 2147483647    36807    136 | 47.301 % |
114.60/114.77	c |     37329 |   44983   253796   697040 | 2147483647    36917    136 | 47.301 % |
115.00/115.19	c |     37451 |   44983   253796   697040 | 2147483647    37039    136 | 47.301 % |
115.50/115.62	c |     37584 |   44983   253796   697040 | 2147483647    37172    136 | 47.301 % |
115.90/116.03	c |     37730 |   44983   253796   697040 | 2147483647    37318    136 | 47.301 % |
116.29/116.43	c |     37892 |   44983   253796   697040 | 2147483647    37480    136 | 47.301 % |
116.69/116.86	c |     38068 |   44983   253796   697040 | 2147483647    37656    135 | 47.301 % |
117.19/117.30	c |     38262 |   44983   253796   697040 | 2147483647    37850    136 | 47.301 % |
117.60/117.77	c |     38474 |   44983   253796   697040 | 2147483647    38062    136 | 47.301 % |
118.29/118.42	c |     38708 |   44983   253796   697040 | 2147483647    38296    136 | 47.301 % |
118.99/119.14	c |     38965 |   44983   253796   697040 | 2147483647    38553    135 | 47.301 % |
119.59/119.75	c |     39247 |   44983   253796   697040 | 2147483647    38835    135 | 47.301 % |
120.29/120.45	c |     39556 |   44983   253796   697040 | 2147483647    39144    135 | 47.301 % |
121.19/121.37	c |     39896 |   44669   251731   691902 | 2147483647    39479    135 | 47.301 % |
122.49/122.69	c |     40268 |   44669   251731   691902 | 2147483647    39850    135 | 47.312 % |
123.49/123.67	c |     40677 |   44669   251731   691902 | 2147483647    40259    135 | 47.312 % |
124.90/125.01	c |     41130 |   44669   251731   691902 | 2147483647    40712    135 | 47.312 % |
126.30/126.49	c |     41623 |   44666   251731   691902 | 2147483647    41204    135 | 47.347 % |
127.50/127.62	c |     42166 |   44666   251731   691902 | 2147483647    41747    135 | 47.347 % |
128.50/128.68	c |     42763 |   44666   251731   691902 | 2147483647    42344    134 | 47.347 % |
128.90/129.00	c |     42865 |   44666   251731   691902 | 2147483647    42446    133 | 47.347 % |
129.10/129.26	c |     42976 |   44666   251731   691902 | 2147483647    42557    134 | 47.347 % |
129.49/129.69	c |     43106 |   44630   251409   691122 | 2147483647    42675    134 | 47.360 % |
129.79/129.97	c |     43240 |   44630   251409   691122 | 2147483647    42809    134 | 47.360 % |
130.19/130.38	c |     43386 |   44630   251409   691122 | 2147483647    42955    134 | 47.360 % |
130.59/130.77	c |     43547 |   44630   251409   691122 | 2147483647    43116    134 | 47.360 % |
131.19/131.35	c |     43724 |   44629   251409   691122 | 2147483647    43292    134 | 47.361 % |
132.00/132.17	c |     43921 |   44629   251409   691122 | 2147483647    43489    134 | 47.361 % |
132.49/132.68	c |     44134 |   44629   251409   691122 | 2147483647    43702    134 | 47.361 % |
133.00/133.18	c |     44368 |   44629   251409   691122 | 2147483647    43935    135 | 47.362 % |
133.69/133.81	c |     44624 |   44629   251409   691122 | 2147483647    44191    135 | 47.362 % |
134.39/134.51	c |     44909 |   44629   251409   691122 | 2147483647    44476    135 | 47.362 % |
135.09/135.30	c |     45218 |   44629   251409   691122 | 2147483647    44785    135 | 47.362 % |
135.99/136.15	c |     45558 |   44629   251409   691122 | 2147483647    45125    136 | 47.362 % |
137.19/137.37	c |     45930 |   44628   251409   691122 | 2147483647    45495    136 | 47.463 % |
138.18/138.38	c |     46341 |   44627   251409   691122 | 2147483647    45904    137 | 47.488 % |
139.38/139.59	c |     46790 |   44510   250627   689113 | 2147483647    46352    136 | 47.488 % |
140.48/140.60	c |     47284 |   44510   250627   689113 | 2147483647    46846    136 | 47.488 % |
141.68/141.85	c |     47826 |   44510   250627   689113 | 2147483647    47388    135 | 47.488 % |
142.98/143.13	c |     48423 |   44510   250627   689113 | 2147483647    47985    135 | 47.488 % |
144.38/144.55	c |     49079 |   44510   250627   689113 | 2147483647    48641    134 | 47.488 % |
144.68/144.88	c |     49179 |   44510   250627   689113 | 2147483647    48741    134 | 47.488 % |
145.28/145.45	c |     49289 |   44510   250627   689113 | 2147483647    48851    134 | 47.488 % |
145.58/145.75	c |     49410 |   44510   250627   689113 | 2147483647    48972    134 | 47.488 % |
145.87/146.10	c |     49543 |   44510   250627   689113 | 2147483647    49105    134 | 47.488 % |
146.27/146.49	c |     49689 |   44510   250627   689113 | 2147483647    49251    135 | 47.488 % |
146.58/146.78	c |     49852 |   44510   250627   689113 | 2147483647    49414    135 | 47.488 % |
147.19/147.31	c |     50030 |   44509   250627   689113 | 2147483647    49591    134 | 47.492 % |
147.68/147.89	c |     50223 |   44455   250627   689113 | 2147483647    49782    134 | 56.832 % |
148.39/148.53	c |     50435 |   44455   250627   689113 | 2147483647    49994    134 | 56.832 % |
149.18/149.39	c |     50668 |   44455   250627   689113 | 2147483647    50227    134 | 56.832 % |
149.98/150.13	c |     50927 |   36590   194091   540026 | 2147483647    50296    135 | 56.832 % |
150.68/150.81	c |     51209 |   36590   194091   540026 | 2147483647    50577    135 | 57.140 % |
151.58/151.70	c |     51518 |   36590   194091   540026 | 2147483647    50886    134 | 57.140 % |
152.48/152.64	c |     51858 |   36590   194091   540026 | 2147483647    51226    134 | 57.140 % |
153.37/153.53	c |     52230 |   36590   194091   540026 | 2147483647    51598    135 | 57.140 % |
154.47/154.69	c |     52640 |   36590   194091   540026 | 2147483647    52008    135 | 57.140 % |
155.47/155.66	c |     53090 |   36590   194091   540026 | 2147483647    52458    135 | 57.140 % |
156.77/156.94	c |     53583 |   36589   194091   540026 | 2147483647    52950    135 | 57.414 % |
157.87/158.10	c |     54125 |   36589   194091   540026 | 2147483647    53491    135 | 57.457 % |
159.68/159.81	c |     54721 |   36589   194091   540026 | 2147483647    54087    135 | 57.457 % |
161.38/161.59	c |     55377 |   36589   194091   540026 | 2147483647    54743    135 | 57.457 % |
163.07/163.24	c |     56098 |   36060   188376   523875 | 2147483647    55444    134 | 57.457 % |
163.37/163.51	c |     56201 |   36060   188376   523875 | 2147483647    55547    134 | 57.457 % |
163.78/163.91	c |     56313 |   36060   188376   523875 | 2147483647    55658    134 | 57.470 % |
164.07/164.20	c |     56434 |   36060   188376   523875 | 2147483647    55779    134 | 57.470 % |
164.47/164.66	c |     56567 |   36060   188376   523875 | 2147483647    55912    134 | 57.470 % |
164.88/165.03	c |     56713 |   36060   188376   523875 | 2147483647    56058    134 | 57.470 % |
165.27/165.41	c |     56875 |   36060   188376   523875 | 2147483647    56220    134 | 57.470 % |
165.77/165.93	c |     57056 |   36060   188376   523875 | 2147483647    56401    134 | 57.470 % |
166.07/166.30	c |     57249 |   36060   188376   523875 | 2147483647    56594    134 | 57.470 % |
166.57/166.79	c |     57462 |   36060   188376   523875 | 2147483647    56807    134 | 57.470 % |
167.37/167.55	c |     57696 |   36060   188376   523875 | 2147483647    57041    134 | 57.470 % |
167.97/168.20	c |     57953 |   36060   188376   523875 | 2147483647    57298    133 | 57.470 % |
168.67/168.83	c |     58234 |   36060   188376   523875 | 2147483647    57579    133 | 57.470 % |
169.27/169.49	c |     58545 |   36060   188376   523875 | 2147483647    57890    133 | 57.470 % |
170.27/170.48	c |     58885 |   36060   188376   523875 | 2147483647    58230    132 | 57.470 % |
171.27/171.45	c |     59258 |   36060   188376   523875 | 2147483647    58603    132 | 57.470 % |
172.17/172.32	c |     59668 |   36060   188376   523875 | 2147483647    59013    132 | 57.470 % |
173.07/173.28	c |     60117 |   36049   188307   523694 | 2147483647    59461    133 | 57.470 % |
174.07/174.28	c |     60611 |   36049   188307   523694 | 2147483647    59955    133 | 57.470 % |
175.17/175.38	c |     61154 |   36049   188307   523694 | 2147483647    60498    133 | 57.470 % |
176.77/176.95	c |     61755 |   36049   188307   523694 | 2147483647    61098    133 | 57.555 % |
178.16/178.39	c |     62410 |   36049   188307   523694 | 2147483647    61753    133 | 57.555 % |
179.46/179.68	c |     63130 |   36048   188307   523694 | 2147483647    62472    133 | 57.567 % |
181.16/181.31	c |     63922 |   36048   188307   523694 | 2147483647    63264    132 | 57.567 % |
181.37/181.56	c |     64022 |   36048   188307   523694 | 2147483647    63364    132 | 57.567 % |
181.66/181.88	c |     64132 |   36048   188307   523694 | 2147483647    63474    132 | 57.567 % |
182.16/182.37	c |     64256 |   36048   188307   523694 | 2147483647    63598    132 | 57.567 % |
182.56/182.75	c |     64389 |   36048   188307   523694 | 2147483647    63731    132 | 57.567 % |
182.96/183.14	c |     64535 |   36048   188307   523694 | 2147483647    63877    132 | 57.567 % |
183.36/183.54	c |     64695 |   36048   188307   523694 | 2147483647    64037    132 | 57.567 % |
183.86/184.08	c |     64871 |   36048   188307   523694 | 2147483647    64213    132 | 57.567 % |
184.45/184.70	c |     65066 |   35967   187651   522087 | 2147483647    64393    132 | 57.567 % |
185.06/185.30	c |     65279 |   35966   187651   522087 | 2147483647    64605    132 | 57.572 % |
185.86/186.01	c |     65513 |   35966   187651   522087 | 2147483647    64839    132 | 57.572 % |
186.36/186.56	c |     65770 |   35966   187651   522087 | 2147483647    65096    132 | 57.572 % |
187.16/187.30	c |     66051 |   35966   187651   522087 | 2147483647    65377    132 | 57.572 % |
188.16/188.32	c |     66360 |   35966   187651   522087 | 2147483647    65686    132 | 57.572 % |
189.06/189.24	c |     66699 |   35966   187651   522087 | 2147483647    66024    132 | 57.595 % |
189.86/190.01	c |     67071 |   35966   187651   522087 | 2147483647    66396    132 | 57.595 % |
190.86/191.08	c |     67481 |   35966   187651   522087 | 2147483647    66806    132 | 57.595 % |
192.26/192.43	c |     67930 |   35966   187651   522087 | 2147483647    67255    132 | 57.595 % |
193.65/193.83	c |     68423 |   35966   187651   522087 | 2147483647    67747    133 | 57.771 % |
194.85/195.10	c |     68966 |   35966   187651   522087 | 2147483647    68290    134 | 57.771 % |
196.85/197.03	c |     69563 |   35966   187651   522087 | 2147483647    68887    134 | 57.771 % |
198.55/198.70	c |     70220 |   35794   186782   519552 | 2147483647    69535    134 | 57.771 % |
200.66/200.87	c |     70940 |   35794   186782   519552 | 2147483647    70255    134 | 57.771 % |
202.75/202.96	c |     71732 |   35794   186782   519552 | 2147483647    71047    133 | 57.771 % |
204.75/204.98	c |     72604 |   35794   186782   519552 | 2147483647    71919    132 | 57.771 % |
205.05/205.25	c |     72705 |   35794   186782   519552 | 2147483647    72020    132 | 57.771 % |
205.35/205.55	c |     72820 |   35794   186782   519552 | 2147483647    72135    132 | 57.771 % |
205.65/205.87	c |     72941 |   35794   186782   519552 | 2147483647    72256    132 | 57.771 % |
206.05/206.23	c |     73076 |   35794   186782   519552 | 2147483647    72391    132 | 57.771 % |
206.56/206.71	c |     73223 |   35794   186782   519552 | 2147483647    72538    132 | 57.771 % |
206.95/207.12	c |     73384 |   35794   186782   519552 | 2147483647    72699    132 | 57.771 % |
207.35/207.51	c |     73560 |   35794   186782   519552 | 2147483647    72875    132 | 57.771 % |
207.85/208.07	c |     73754 |   35794   186782   519552 | 2147483647    73069    132 | 57.771 % |
208.35/208.54	c |     73966 |   35794   186782   519552 | 2147483647    73281    132 | 57.771 % |
208.95/209.13	c |     74200 |   35794   186782   519552 | 2147483647    73515    132 | 57.771 % |
209.75/209.91	c |     74457 |   35794   186782   519552 | 2147483647    73772    131 | 57.771 % |
210.25/210.47	c |     74738 |   35794   186782   519552 | 2147483647    74053    131 | 57.771 % |
210.85/211.07	c |     75048 |   35794   186782   519552 | 2147483647    74363    131 | 57.771 % |
211.75/211.92	c |     75388 |   35794   186782   519552 | 2147483647    74703    131 | 57.771 % |
212.94/213.12	c |     75761 |   35794   186782   519552 | 2147483647    75076    131 | 57.771 % |
214.04/214.23	c |     76170 |   35794   186782   519552 | 2147483647    75485    130 | 57.771 % |
215.35/215.53	c |     76622 |   35794   186782   519552 | 2147483647    75937    130 | 57.771 % |
216.45/216.66	c |     77115 |   35794   186782   519552 | 2147483647    76430    131 | 57.771 % |
218.25/218.44	c |     77657 |   35794   186782   519552 | 2147483647    76972    131 | 57.771 % |
220.15/220.33	c |     78253 |   35794   186782   519552 | 2147483647    77568    131 | 57.771 % |
221.75/221.93	c |     78908 |   35794   186782   519552 | 2147483647    78223    131 | 57.771 % |
223.65/223.81	c |     79628 |   35794   186782   519552 | 2147483647    78943    130 | 57.771 % |
225.44/225.64	c |     80420 |   35794   186782   519552 | 2147483647    79735    130 | 57.771 % |
227.63/227.89	c |     81291 |   35794   186782   519552 | 2147483647    80606    129 | 57.771 % |
230.13/230.38	c |     82249 |   35793   186777   519537 | 2147483647    81563    130 | 57.772 % |
230.53/230.70	c |     82350 |   35793   186777   519537 | 2147483647    81664    130 | 57.772 % |
230.83/231.07	c |     82460 |   35793   186777   519537 | 2147483647    81774    130 | 57.772 % |
231.23/231.43	c |     82581 |   35793   186777   519537 | 2147483647    81895    130 | 57.772 % |
231.53/231.77	c |     82714 |   35793   186777   519537 | 2147483647    82028    130 | 57.772 % |
232.03/232.27	c |     82864 |   35793   186777   519537 | 2147483647    82178    130 | 57.772 % |
232.63/232.87	c |     83024 |   35793   186777   519537 | 2147483647    82338    130 | 57.772 % |
233.03/233.27	c |     83200 |   35793   186777   519537 | 2147483647    82514    130 | 57.772 % |
233.63/233.83	c |     83395 |   35793   186777   519537 | 2147483647    82709    130 | 57.772 % |
234.33/234.53	c |     83607 |   35793   186777   519537 | 2147483647    82921    129 | 57.772 % |
234.93/235.15	c |     83842 |   35793   186777   519537 | 2147483647    83156    129 | 57.772 % |
235.53/235.75	c |     84100 |   35793   186777   519537 | 2147483647    83414    129 | 57.772 % |
236.24/236.40	c |     84382 |   35793   186777   519537 | 2147483647    83696    129 | 57.772 % |
236.73/236.98	c |     84693 |   35793   186777   519537 | 2147483647    84007    129 | 57.772 % |
237.63/237.89	c |     85036 |   35793   186777   519537 | 2147483647    84350    129 | 57.772 % |
238.73/238.90	c |     85408 |   35793   186777   519537 | 2147483647    84722    129 | 57.772 % |
240.13/240.39	c |     85817 |   35793   186777   519537 | 2147483647    85131    129 | 57.772 % |
241.63/241.80	c |     86266 |   35793   186777   519537 | 2147483647    85580    129 | 57.772 % |
243.13/243.32	c |     86759 |   35793   186777   519537 | 2147483647    86073    129 | 57.772 % |
244.33/244.56	c |     87303 |   35793   186777   519537 | 2147483647    86617    129 | 57.772 % |
246.53/246.73	c |     87899 |   35793   186777   519537 | 2147483647    87213    129 | 57.772 % |
248.52/248.78	c |     88555 |   35793   186777   519537 | 2147483647    87869    129 | 57.772 % |
251.42/251.68	c |     89280 |   35793   186777   519537 | 2147483647    88594    129 | 57.772 % |
254.02/254.28	c |     90072 |   35793   186777   519537 | 2147483647    89386    129 | 57.772 % |
256.03/256.28	c |     90943 |   35793   186777   519537 | 2147483647    90257    129 | 57.772 % |
258.33/258.51	c |     91901 |   35793   186777   519537 | 2147483647    91215    129 | 57.772 % |
260.72/260.96	c |     92954 |   35793   186777   519537 | 2147483647    92268    129 | 57.772 % |
261.02/261.25	c |     93055 |   35793   186777   519537 | 2147483647    92369    129 | 57.772 % |
261.32/261.57	c |     93167 |   35793   186777   519537 | 2147483647    92481    129 | 57.772 % |
261.72/261.93	c |     93288 |   35793   186777   519537 | 2147483647    92602    129 | 57.772 % |
262.22/262.46	c |     93422 |   35793   186777   519537 | 2147483647    92736    129 | 57.772 % |
262.82/263.06	c |     93572 |   35793   186777   519537 | 2147483647    92886    129 | 57.772 % |
263.42/263.66	c |     93733 |   35793   186777   519537 | 2147483647    93047    129 | 57.772 % |
263.92/264.20	c |     93909 |   35793   186777   519537 | 2147483647    93223    128 | 57.772 % |
264.52/264.77	c |     94103 |   35793   186777   519537 | 2147483647    93417    128 | 57.772 % |
265.11/265.37	c |     94315 |   35793   186777   519537 | 2147483647    93629    128 | 57.772 % |
265.81/266.10	c |     94548 |   35793   186777   519537 | 2147483647    93862    128 | 57.772 % |
266.61/266.82	c |     94805 |   35793   186777   519537 | 2147483647    94119    128 | 57.772 % |
267.41/267.65	c |     95087 |   35793   186777   519537 | 2147483647    94401    128 | 57.772 % |
268.71/268.94	c |     95396 |   35698   186117   517944 | 2147483647    94708    128 | 57.884 % |
269.81/270.02	c |     95740 |   35698   186117   517944 | 2147483647    95052    128 | 57.884 % |
270.81/271.06	c |     96115 |   35698   186117   517944 | 2147483647    95427    128 | 57.884 % |
272.11/272.35	c |     96524 |   35698   186117   517944 | 2147483647    95836    128 | 57.884 % |
273.21/273.48	c |     96975 |   35698   186117   517944 | 2147483647    96287    128 | 57.884 % |
274.91/275.18	c |     97468 |   35698   186117   517944 | 2147483647    96780    128 | 57.884 % |
276.41/276.62	c |     98011 |   35698   186117   517944 | 2147483647    97323    128 | 57.884 % |
278.02/278.29	c |     98607 |   35698   186117   517944 | 2147483647    97919    128 | 57.884 % |
280.01/280.26	c |     99264 |   35697   186117   517944 | 2147483647    98575    128 | 57.901 % |
282.11/282.38	c |     99984 |   35697   186117   517944 | 2147483647    99295    128 | 57.901 % |
284.51/284.77	c |    100777 |   35697   186117   517944 | 2147483647   100088    127 | 57.901 % |
287.30/287.55	c |    101648 |   35697   186117   517944 | 2147483647   100959    127 | 57.901 % |
289.90/290.18	c |    102607 |   35697   186117   517944 | 2147483647   101918    127 | 57.901 % |
292.20/292.41	c |    103660 |   35684   186034   517711 | 2147483647   102969    127 | 57.901 % |
295.10/295.30	c |    104818 |   35684   186034   517711 | 2147483647   104127    127 | 57.901 % |
295.30/295.58	c |    104920 |   35684   186034   517711 | 2147483647   104229    127 | 57.901 % |
295.60/295.85	c |    105031 |   35684   186034   517711 | 2147483647   104340    127 | 57.901 % |
295.90/296.14	c |    105153 |   35684   186034   517711 | 2147483647   104462    127 | 57.901 % |
296.40/296.66	c |    105286 |   35684   186034   517711 | 2147483647   104594    127 | 58.024 % |
296.80/297.07	c |    105435 |   35684   186034   517711 | 2147483647   104743    127 | 58.024 % |
297.40/297.61	c |    105595 |   35684   186034   517711 | 2147483647   104903    126 | 58.024 % |
297.90/298.10	c |    105774 |   35684   186034   517711 | 2147483647   105082    126 | 58.024 % |
298.70/298.97	c |    105969 |   35684   186034   517711 | 2147483647   105277    126 | 58.024 % |
299.41/299.63	c |    106182 |   35684   186034   517711 | 2147483647   105490    126 | 58.024 % |
300.01/300.26	c |    106415 |   35684   186034   517711 | 2147483647   105723    126 | 58.024 % |
300.61/300.81	c |    106672 |   35684   186034   517711 | 2147483647   105980    126 | 58.024 % |
301.21/301.47	c |    106955 |   35684   186034   517711 | 2147483647   106263    126 | 58.024 % |
302.00/302.28	c |    107266 |   35684   186034   517711 | 2147483647   106574    126 | 58.024 % |
302.90/303.11	c |    107605 |   35684   186034   517711 | 2147483647   106913    126 | 58.024 % |
303.70/303.96	c |    107978 |   35684   186034   517711 | 2147483647   107286    125 | 58.024 % |
305.20/305.45	c |    108389 |   35684   186034   517711 | 2147483647   107697    125 | 58.024 % |
306.50/306.70	c |    108839 |   35684   186034   517711 | 2147483647   108147    125 | 58.024 % |
307.80/308.07	c |    109332 |   35684   186034   517711 | 2147483647   108640    125 | 58.024 % |
309.30/309.51	c |    109875 |   35684   186034   517711 | 2147483647   109183    125 | 58.024 % |
310.70/310.90	c |    110471 |   35684   186034   517711 | 2147483647   109779    125 | 58.024 % |
312.10/312.34	c |    111126 |   35684   186034   517711 | 2147483647   110434    124 | 58.024 % |
313.90/314.10	c |    111848 |   35684   186034   517711 | 2147483647   111156    124 | 58.024 % |
316.20/316.48	c |    112643 |   35684   186034   517711 | 2147483647   111951    124 | 58.024 % |
319.09/319.38	c |    113515 |   35580   185375   516017 | 2147483647   112822    124 | 58.043 % |
321.88/322.10	c |    114475 |   35580   185375   516017 | 2147483647   113782    124 | 58.043 % |
326.89/327.13	c |    115529 |   35579   185375   516017 | 2147483647   114835    123 | 58.048 % |
330.39/330.66	c |    116688 |   35579   185375   516017 | 2147483647   115993    123 | 58.061 % |
334.58/334.84	c |    117961 |   35579   185375   516017 | 2147483647   117265    123 | 58.071 % |
334.98/335.27	c |    118061 |   35579   185375   516017 | 2147483647   117365    123 | 58.071 % |
335.38/335.68	c |    118172 |   35579   185375   516017 | 2147483647   117476    123 | 58.071 % |
335.78/336.03	c |    118293 |   35579   185375   516017 | 2147483647   117597    123 | 58.071 % |
336.18/336.43	c |    118426 |   35579   185375   516017 | 2147483647   117730    123 | 58.071 % |
336.78/337.09	c |    118572 |   35579   185375   516017 | 2147483647   117876    123 | 58.071 % |
337.39/337.63	c |    118732 |   35579   185375   516017 | 2147483647   118036    123 | 58.071 % |
338.38/338.61	c |    118909 |   35579   185375   516017 | 2147483647   118213    123 | 58.071 % |
338.88/339.17	c |    119103 |   35579   185375   516017 | 2147483647   118407    123 | 58.071 % |
339.58/339.80	c |    119315 |   35579   185375   516017 | 2147483647   118619    123 | 58.071 % |
340.18/340.41	c |    119549 |   35579   185375   516017 | 2147483647   118853    123 | 58.071 % |
340.98/341.25	c |    119805 |   35579   185375   516017 | 2147483647   119109    123 | 58.071 % |
341.88/342.14	c |    120087 |   35579   185375   516017 | 2147483647   119391    123 | 58.071 % |
342.88/343.12	c |    120400 |   35579   185375   516017 | 2147483647   119704    123 | 58.071 % |
343.88/344.13	c |    120740 |   35579   185375   516017 | 2147483647   120044    123 | 58.071 % |
344.98/345.28	c |    121112 |   35579   185375   516017 | 2147483647   120415    123 | 58.301 % |
346.28/346.55	c |    121522 |   35345   184216   512711 | 2147483647   120821    122 | 58.301 % |
347.57/347.89	c |    121971 |   35345   184216   512711 | 2147483647   121270    122 | 58.301 % |
349.37/349.66	c |    122464 |   35345   184216   512711 | 2147483647   121763    122 | 58.301 % |
351.17/351.50	c |    123007 |   35345   184216   512711 | 2147483647   122306    122 | 58.301 % |
352.88/353.13	c |    123605 |   35345   184216   512711 | 2147483647   122904    122 | 58.301 % |
354.68/354.92	c |    124260 |   35344   184216   512711 | 2147483647   123558    122 | 58.313 % |
357.68/357.94	c |    124981 |   35344   184216   512711 | 2147483647   124279    122 | 58.313 % |
360.37/360.65	c |    125775 |   35344   184216   512711 | 2147483647   125073    122 | 58.313 % |
362.96/363.22	c |    126646 |   35344   184216   512711 | 2147483647   125944    122 | 58.313 % |
365.66/365.94	c |    127604 |   35344   184216   512711 | 2147483647   126902    122 | 58.313 % |
368.46/368.70	c |    128657 |   35344   184216   512711 | 2147483647   127955    122 | 58.313 % |
372.96/373.20	c |    129816 |   35344   184216   512711 | 2147483647   129114    122 | 58.313 % |
376.86/377.18	c |    131089 |   35335   184135   512513 | 2147483647   130381    123 | 58.313 % |
381.76/382.05	c |    132490 |   35335   184135   512513 | 2147483647   131780    123 | 58.323 % |
382.26/382.52	c |    132590 |   35335   184135   512513 | 2147483647   131880    123 | 58.323 % |
382.56/382.86	c |    132700 |   35335   184135   512513 | 2147483647   131990    123 | 58.323 % |
382.96/383.29	c |    132822 |   35335   184135   512513 | 2147483647   132112    123 | 58.323 % |
383.46/383.72	c |    132955 |   35335   184135   512513 | 2147483647   132245    123 | 58.323 % |
383.96/384.28	c |    133102 |   35335   184135   512513 | 2147483647   132392    123 | 58.323 % |
384.55/384.87	c |    133263 |   35335   184135   512513 | 2147483647   132553    123 | 58.323 % |
385.65/385.92	c |    133440 |   35335   184135   512513 | 2147483647   132730    123 | 58.323 % |
386.35/386.60	c |    133635 |   35335   184135   512513 | 2147483647   132925    123 | 58.323 % |
387.05/387.37	c |    133847 |   35334   184135   512513 | 2147483647   133136    123 | 58.365 % |
387.86/388.17	c |    134080 |   35334   184135   512513 | 2147483647   133369    123 | 58.365 % |
388.76/389.09	c |    134337 |   35334   184135   512513 | 2147483647   133626    123 | 58.365 % |
389.86/390.11	c |    134618 |   35334   184135   512513 | 2147483647   133907    123 | 58.365 % |
390.76/391.05	c |    134928 |   35334   184135   512513 | 2147483647   134217    123 | 58.365 % |
392.05/392.30	c |    135267 |   35334   184135   512513 | 2147483647   134555    123 | 58.381 % |
393.65/393.92	c |    135639 |   35334   184135   512513 | 2147483647   134927    123 | 58.381 % |
395.15/395.42	c |    136048 |   35334   184135   512513 | 2147483647   135336    124 | 58.381 % |
396.45/396.76	c |    136497 |   35334   184135   512513 | 2147483647   135785    124 | 58.381 % |
398.05/398.35	c |    136992 |   35334   184135   512513 | 2147483647   136280    124 | 58.381 % |
399.95/400.28	c |    137535 |   35334   184135   512513 | 2147483647   136823    124 | 58.381 % |
401.65/401.96	c |    138132 |   35334   184135   512513 | 2147483647   137420    124 | 58.381 % |
404.34/404.65	c |    138787 |   35334   184135   512513 | 2147483647   138075    124 | 58.381 % |
406.65/406.91	c |    139507 |   35334   184135   512513 | 2147483647   138795    124 | 58.381 % |
409.23/409.51	c |    140301 |   35277   183652   511312 | 2147483647   139579    124 | 58.381 % |
411.94/412.21	c |    141172 |   35277   183652   511312 | 2147483647   140450    125 | 58.381 % |
414.64/414.96	c |    142131 |   35277   183652   511312 | 2147483647   141408    125 | 58.382 % |
418.04/418.39	c |    143184 |   35277   183652   511312 | 2147483647   142461    125 | 58.382 % |
421.44/421.73	c |    144342 |   35277   183652   511312 | 2147483647   143619    124 | 58.382 % |
426.23/426.51	c |    145615 |   35277   183652   511312 | 2147483647   144892    124 | 58.382 % |
431.23/431.56	c |    147015 |   35271   183652   511312 | 2147483647   146291    124 | 58.459 % |
436.63/436.93	c |    148557 |   35271   183652   511312 | 2147483647   147833    124 | 58.459 % |
436.93/437.29	c |    148658 |   35271   183652   511312 | 2147483647   147934    124 | 58.459 % |
437.63/437.93	c |    148768 |   35271   183652   511312 | 2147483647   148044    124 | 58.459 % |
438.03/438.31	c |    148891 |   35271   183652   511312 | 2147483647   148167    124 | 58.459 % |
438.43/438.73	c |    149025 |   35271   183652   511312 | 2147483647   148301    124 | 58.459 % |
439.03/439.36	c |    149171 |   35271   183652   511312 | 2147483647   148447    124 | 58.459 % |
440.23/440.53	c |    149332 |   35271   183652   511312 | 2147483647   148608    123 | 58.459 % |
440.73/441.05	c |    149509 |   35271   183652   511312 | 2147483647   148785    124 | 58.459 % |
441.43/441.73	c |    149702 |   35271   183652   511312 | 2147483647   148978    124 | 58.459 % |
442.42/442.72	c |    149914 |   35271   183652   511312 | 2147483647   149190    124 | 58.459 % |
443.42/443.77	c |    150148 |   35271   183652   511312 | 2147483647   149424    124 | 58.459 % |
444.52/444.87	c |    150404 |   35271   183652   511312 | 2147483647   149680    124 | 58.459 % |
445.42/445.77	c |    150685 |   35271   183652   511312 | 2147483647   149961    124 | 58.459 % |
446.52/446.80	c |    150994 |   35271   183652   511312 | 2147483647   150270    124 | 58.459 % |
447.72/448.08	c |    151333 |   35271   183652   511312 | 2147483647   150609    123 | 58.459 % |
448.92/449.28	c |    151705 |   35271   183652   511312 | 2147483647   150981    123 | 58.459 % |
450.12/450.50	c |    152114 |   35211   183129   510057 | 2147483647   151356    123 | 58.459 % |
451.72/452.01	c |    152564 |   35211   183129   510057 | 2147483647   151806    123 | 58.459 % |
453.41/453.79	c |    153058 |   35211   183129   510057 | 2147483647   152300    123 | 58.459 % |
455.41/455.73	c |    153600 |   35182   183129   510057 | 2147483647   152841    123 | 60.185 % |
457.52/457.88	c |    154196 |   35182   183129   510057 | 2147483647   153437    123 | 60.185 % |
459.52/459.89	c |    154851 |   35182   183129   510057 | 2147483647   154092    123 | 60.185 % |
461.71/462.04	c |    155572 |   35182   183129   510057 | 2147483647   154812    123 | 60.196 % |
464.51/464.88	c |    156366 |   35182   183129   510057 | 2147483647   155606    123 | 60.196 % |
467.41/467.77	c |    157238 |   35182   183129   510057 | 2147483647   156477    123 | 60.205 % |
470.11/470.41	c |    158197 |   35182   183129   510057 | 2147483647   157436    122 | 60.205 % |
472.90/473.22	c |    159250 |   35182   183129   510057 | 2147483647   158489    122 | 60.205 % |
477.30/477.63	c |    160408 |   35182   183129   510057 | 2147483647   159646    122 | 60.211 % |
481.31/481.69	c |    161682 |   35182   183129   510057 | 2147483647   160920    122 | 60.211 % |
486.31/486.61	c |    163083 |   35182   183129   510057 | 2147483647   162321    122 | 60.211 % |
491.71/492.10	c |    164624 |   35182   183129   510057 | 2147483647   163862    122 | 60.211 % |
497.60/497.94	c |    166319 |   33726   174453   488416 | 2147483647   165547    121 | 60.211 % |
498.00/498.32	c |    166419 |   33726   174453   488416 | 2147483647   165647    121 | 60.211 % |
498.30/498.68	c |    166532 |   33726   174453   488416 | 2147483647   165760    121 | 60.211 % |
498.80/499.10	c |    166654 |   33726   174453   488416 | 2147483647   165882    121 | 60.211 % |
499.20/499.52	c |    166787 |   33726   174453   488416 | 2147483647   166015    121 | 60.211 % |
499.60/499.98	c |    166934 |   33726   174453   488416 | 2147483647   166162    121 | 60.211 % |
500.60/500.93	c |    167095 |   33726   174453   488416 | 2147483647   166323    121 | 60.211 % |
501.20/501.56	c |    167272 |   33726   174453   488416 | 2147483647   166500    121 | 60.211 % |
502.30/502.70	c |    167465 |   33726   174453   488416 | 2147483647   166693    121 | 60.211 % |
503.40/503.79	c |    167678 |   33726   174453   488416 | 2147483647   166906    121 | 60.211 % |
504.29/504.63	c |    167911 |   33726   174453   488416 | 2147483647   167139    121 | 60.211 % |
505.09/505.48	c |    168171 |   33726   174453   488416 | 2147483647   167399    121 | 60.211 % |
505.99/506.39	c |    168454 |   33726   174453   488416 | 2147483647   167682    121 | 60.211 % |
506.99/507.38	c |    168764 |   33726   174453   488416 | 2147483647   167992    121 | 60.211 % |
507.99/508.37	c |    169104 |   33726   174453   488416 | 2147483647   168332    121 | 60.211 % |
508.90/509.30	c |    169476 |   33726   174453   488416 | 2147483647   168704    120 | 60.211 % |
510.10/510.48	c |    169885 |   33726   174453   488416 | 2147483647   169113    120 | 60.211 % |
511.99/512.34	c |    170334 |   33725   174453   488416 | 2147483647   169561    120 | 60.223 % |
513.59/513.99	c |    170828 |   33725   174453   488416 | 2147483647   170055    120 | 60.223 % |
515.79/516.18	c |    171370 |   33725   174453   488416 | 2147483647   170597    121 | 60.223 % |
517.79/518.18	c |    171971 |   33725   174453   488416 | 2147483647   171198    121 | 60.223 % |
520.69/521.04	c |    172627 |   33725   174453   488416 | 2147483647   171854    121 | 60.223 % |
523.69/524.06	c |    173347 |   33725   174453   488416 | 2147483647   172574    121 | 60.223 % |
526.79/527.12	c |    174140 |   33725   174453   488416 | 2147483647   173367    121 | 60.223 % |
530.09/530.45	c |    175011 |   33725   174453   488416 | 2147483647   174238    121 | 60.223 % |
533.19/533.53	c |    175971 |   33725   174453   488416 | 2147483647   175198    121 | 60.223 % |
537.49/537.84	c |    177025 |   33716   174368   488214 | 2147483647   176250    120 | 60.223 % |
541.78/542.11	c |    178184 |   33716   174368   488214 | 2147483647   177409    120 | 60.223 % |
546.77/547.14	c |    179457 |   33716   174368   488214 | 2147483647   178682    120 | 60.223 % |
550.87/551.25	c |    180857 |   33716   174368   488214 | 2147483647   180082    120 | 60.223 % |
555.77/556.16	c |    182399 |   33716   174368   488214 | 2147483647   181624    120 | 60.223 % |
561.97/562.38	c |    184093 |   33716   174368   488214 | 2147483647   183318    119 | 60.223 % |
567.77/568.10	c |    185956 |   33716   174368   488214 | 2147483647   185181    120 | 60.223 % |
568.17/568.52	c |    186056 |   33716   174368   488214 | 2147483647   185281    120 | 60.223 % |
568.57/568.97	c |    186166 |   33716   174368   488214 | 2147483647   185391    120 | 60.223 % |
569.07/569.41	c |    186287 |   33716   174368   488214 | 2147483647   185512    120 | 60.223 % |
569.57/569.94	c |    186420 |   33716   174368   488214 | 2147483647   185645    120 | 60.223 % |
570.27/570.68	c |    186566 |   33716   174368   488214 | 2147483647   185791    120 | 60.223 % |
570.87/571.29	c |    186726 |   33716   174368   488214 | 2147483647   185951    120 | 60.223 % |
571.67/572.01	c |    186902 |   33716   174368   488214 | 2147483647   186127    119 | 60.223 % |
572.47/572.80	c |    187095 |   33716   174368   488214 | 2147483647   186320    119 | 60.223 % |
573.26/573.62	c |    187307 |   33716   174368   488214 | 2147483647   186532    119 | 60.223 % |
574.36/574.71	c |    187540 |   33716   174368   488214 | 2147483647   186765    119 | 60.223 % |
575.36/575.72	c |    187796 |   33716   174368   488214 | 2147483647   187021    119 | 60.223 % |
576.66/577.06	c |    188077 |   33716   174368   488214 | 2147483647   187302    119 | 60.223 % |
578.06/578.44	c |    188387 |   33716   174368   488214 | 2147483647   187612    119 | 60.223 % |
579.16/579.59	c |    188727 |   33716   174368   488214 | 2147483647   187952    119 | 60.223 % |
580.26/580.70	c |    189103 |   33716   174368   488214 | 2147483647   188328    119 | 60.223 % |
581.86/582.26	c |    189514 |   33716   174368   488214 | 2147483647   188739    119 | 60.223 % |
583.36/583.79	c |    189964 |   33716   174368   488214 | 2147483647   189189    119 | 60.223 % |
585.56/585.93	c |    190458 |   33716   174368   488214 | 2147483647   189683    119 | 60.223 % |
587.45/587.81	c |    191002 |   33716   174368   488214 | 2147483647   190227    119 | 60.223 % |
589.45/589.83	c |    191598 |   33716   174368   488214 | 2147483647   190822    119 | 60.649 % |
591.75/592.13	c |    192254 |   33716   174368   488214 | 2147483647   191478    119 | 60.649 % |
594.25/594.67	c |    192974 |   33716   174368   488214 | 2147483647   192198    119 | 60.649 % |
597.45/597.80	c |    193766 |   33716   174368   488214 | 2147483647   192990    119 | 60.649 % |
600.75/601.19	c |    194639 |   33355   172302   482252 | 2147483647   193860    119 | 60.649 % |
604.04/604.50	c |    195597 |   33355   172302   482252 | 2147483647   194818    119 | 60.649 % |
607.54/607.98	c |    196652 |   33355   172302   482252 | 2147483647   195873    119 | 60.649 % |
611.94/612.35	c |    197812 |   33355   172302   482252 | 2147483647   197033    119 | 60.649 % |
616.65/617.03	c |    199085 |   33355   172302   482252 | 2147483647   198306    119 | 60.649 % |
622.15/622.52	c |    200488 |   33355   172302   482252 | 2147483647   199709    118 | 60.649 % |
627.54/627.95	c |    202029 |   33355   172302   482252 | 2147483647   201250    119 | 60.649 % |
633.33/633.73	c |    203725 |   33355   172302   482252 | 2147483647   202946    119 | 60.649 % |
640.53/640.97	c |    205589 |   33354   172302   482252 | 2147483647   204809    119 | 60.659 % |
646.82/647.26	c |    207638 |   33354   172302   482252 | 2147483647   206858    119 | 60.659 % |
647.22/647.63	c |    207739 |   33354   172302   482252 | 2147483647   206959    119 | 60.659 % |
647.62/648.00	c |    207852 |   33354   172302   482252 | 2147483647   207072    119 | 60.659 % |
648.12/648.50	c |    207973 |   33354   172302   482252 | 2147483647   207193    119 | 60.659 % |
648.52/648.91	c |    208106 |   33354   172302   482252 | 2147483647   207326    119 | 60.659 % |
649.32/649.71	c |    208254 |   33353   172302   482252 | 2147483647   207473    119 | 60.671 % |
650.02/650.47	c |    208417 |   33353   172302   482252 | 2147483647   207636    119 | 60.671 % |
650.93/651.32	c |    208595 |   33353   172302   482252 | 2147483647   207814    119 | 60.671 % |
651.72/652.12	c |    208790 |   33353   172302   482252 | 2147483647   208009    119 | 60.671 % |
652.42/652.88	c |    209002 |   33353   172302   482252 | 2147483647   208221    119 | 60.671 % |
653.42/653.90	c |    209240 |   33353   172302   482252 | 2147483647   208459    119 | 60.671 % |
654.22/654.68	c |    209496 |   33353   172302   482252 | 2147483647   208715    119 | 60.671 % |
655.13/655.53	c |    209777 |   33353   172302   482252 | 2147483647   208996    119 | 60.671 % |
656.33/656.76	c |    210089 |   33353   172302   482252 | 2147483647   209308    119 | 60.671 % |
657.72/658.10	c |    210430 |   33353   172302   482252 | 2147483647   209649    119 | 60.671 % |
659.12/659.52	c |    210803 |   33353   172302   482252 | 2147483647   210022    119 | 60.671 % |
660.62/661.02	c |    211212 |   33353   172302   482252 | 2147483647   210431    119 | 60.671 % |
662.82/663.27	c |    211662 |   33353   172302   482252 | 2147483647   210881    119 | 60.671 % |
664.72/665.17	c |    212155 |   33336   172134   481843 | 2147483647   211363    119 | 60.671 % |
667.02/667.40	c |    212699 |   33336   172134   481843 | 2147483647   211907    119 | 60.671 % |
668.62/669.04	c |    213295 |   33336   172134   481843 | 2147483647   212503    119 | 60.671 % |
671.22/671.62	c |    213950 |   33336   172134   481843 | 2147483647   213158    119 | 60.671 % |
674.31/674.70	c |    214671 |   33336   172134   481843 | 2147483647   213879    119 | 60.671 % |
677.30/677.71	c |    215466 |   33336   172134   481843 | 2147483647   214674    119 | 60.671 % |
680.60/681.00	c |    216337 |   33336   172134   481843 | 2147483647   215545    119 | 60.671 % |
684.31/684.74	c |    217295 |   33336   172134   481843 | 2147483647   216503    119 | 60.671 % |
688.21/688.63	c |    218348 |   33336   172134   481843 | 2147483647   217556    119 | 60.671 % |
693.01/693.47	c |    219506 |   33336   172134   481843 | 2147483647   218714    119 | 60.671 % |
698.01/698.44	c |    220780 |   33336   172134   481843 | 2147483647   219988    119 | 60.671 % |
704.30/704.72	c |    222182 |   33336   172134   481843 | 2147483647   221390    119 | 60.671 % |
711.20/711.68	c |    223722 |   33336   172134   481843 | 2147483647   222929    118 | 60.684 % |
717.29/717.77	c |    225416 |   33336   172134   481843 | 2147483647   224623    118 | 60.684 % |
723.69/724.11	c |    227279 |   33336   172134   481843 | 2147483647   226486    118 | 60.684 % |
731.19/731.65	c |    229328 |   33335   172134   481843 | 2147483647   228534    119 | 60.856 % |
740.08/740.57	c |    231583 |   33179   171120   479051 | 2147483647   230772    119 | 60.856 % |
740.68/741.17	c |    231683 |   33179   171120   479051 | 2147483647   230871    119 | 60.867 % |
741.48/741.91	c |    231793 |   33179   171120   479051 | 2147483647   230981    119 | 60.867 % |
742.08/742.56	c |    231914 |   33179   171120   479051 | 2147483647   231102    119 | 60.867 % |
742.78/743.24	c |    232047 |   33179   171120   479051 | 2147483647   231235    119 | 60.867 % |
743.48/743.97	c |    232197 |   33179   171120   479051 | 2147483647   231385    119 | 60.867 % |
744.18/744.66	c |    232363 |   33179   171120   479051 | 2147483647   231551    119 | 60.867 % |
744.98/745.41	c |    232539 |   33179   171120   479051 | 2147483647   231727    119 | 60.867 % |
745.78/746.20	c |    232733 |   33179   171120   479051 | 2147483647   231921    119 | 60.867 % |
746.68/747.15	c |    232946 |   33179   171120   479051 | 2147483647   232134    119 | 60.867 % |
748.18/748.61	c |    233179 |   33179   171120   479051 | 2147483647   232367    119 | 60.867 % |
749.18/749.68	c |    233435 |   33179   171120   479051 | 2147483647   232623    119 | 60.867 % |
750.38/750.84	c |    233716 |   33179   171120   479051 | 2147483647   232904    119 | 60.867 % |
752.38/752.88	c |    234025 |   33179   171120   479051 | 2147483647   233213    118 | 60.867 % |
753.98/754.47	c |    234366 |   33179   171120   479051 | 2147483647   233554    118 | 60.867 % |
755.57/756.04	c |    234738 |   33179   171120   479051 | 2147483647   233926    118 | 60.867 % |
757.67/758.14	c |    235150 |   33179   171120   479051 | 2147483647   234338    118 | 60.867 % |
759.97/760.43	c |    235601 |   33179   171120   479051 | 2147483647   234789    118 | 60.867 % |
762.07/762.58	c |    236098 |   33179   171120   479051 | 2147483647   235286    118 | 60.867 % |
764.27/764.76	c |    236642 |   33179   171120   479051 | 2147483647   235830    118 | 60.867 % |
766.57/767.10	c |    237238 |   33179   171120   479051 | 2147483647   236426    118 | 60.867 % |
768.96/769.44	c |    237893 |   33179   171120   479051 | 2147483647   237080    118 | 60.944 % |
772.36/772.84	c |    238615 |   33179   171120   479051 | 2147483647   237802    118 | 60.944 % |
775.96/776.41	c |    239410 |   33179   171120   479051 | 2147483647   238597    118 | 60.944 % |
779.16/779.67	c |    240283 |   33178   171120   479051 | 2147483647   239469    118 | 60.957 % |
782.26/782.80	c |    241242 |   33178   171120   479051 | 2147483647   240428    118 | 60.957 % |
786.95/787.44	c |    242297 |   33177   171120   479051 | 2147483647   241482    118 | 60.966 % |
791.05/791.51	c |    243455 |   33177   171120   479051 | 2147483647   242640    118 | 60.966 % |
795.35/795.81	c |    244729 |   33177   171120   479051 | 2147483647   243914    118 | 60.966 % |
800.45/800.99	c |    246129 |   33177   171120   479051 | 2147483647   245314    118 | 60.966 % |
806.35/806.80	c |    247669 |   33177   171120   479051 | 2147483647   246854    117 | 60.966 % |
812.54/813.02	c |    249363 |   33086   170542   477444 | 2147483647   248519    117 | 60.966 % |
819.54/820.08	c |    251228 |   33086   170542   477444 | 2147483647   250384    117 | 60.966 % |
827.74/828.20	c |    253277 |   33086   170542   477444 | 2147483647   252433    117 | 60.966 % |
835.93/836.45	c |    255531 |   33086   170542   477444 | 2147483647   254687    117 | 60.966 % |
846.33/846.87	c |    258009 |   33086   170542   477444 | 2147483647   257165    117 | 60.966 % |
846.83/847.36	c |    258111 |   33086   170542   477444 | 2147483647   257267    117 | 60.966 % |
847.23/847.76	c |    258222 |   33086   170542   477444 | 2147483647   257378    117 | 60.966 % |
847.73/848.25	c |    258343 |   33086   170542   477444 | 2147483647   257499    117 | 60.966 % |
848.23/848.73	c |    258476 |   33086   170542   477444 | 2147483647   257632    117 | 60.966 % |
848.74/849.25	c |    258623 |   33086   170542   477444 | 2147483647   257779    117 | 60.966 % |
849.43/849.95	c |    258783 |   33086   170542   477444 | 2147483647   257939    117 | 60.966 % |
850.84/851.34	c |    258959 |   33086   170542   477444 | 2147483647   258115    117 | 60.966 % |
851.63/852.15	c |    259153 |   33086   170542   477444 | 2147483647   258309    117 | 60.966 % |
853.04/853.50	c |    259365 |   33086   170542   477444 | 2147483647   258521    117 | 60.966 % |
854.33/854.81	c |    259599 |   33086   170542   477444 | 2147483647   258755    117 | 60.966 % |
855.53/856.02	c |    259855 |   33086   170542   477444 | 2147483647   259011    117 | 60.966 % |
857.03/857.53	c |    260136 |   33086   170542   477444 | 2147483647   259292    117 | 60.966 % |
858.63/859.17	c |    260446 |   33086   170542   477444 | 2147483647   259602    117 | 60.966 % |
859.63/860.19	c |    260787 |   33086   170542   477444 | 2147483647   259943    117 | 60.966 % |
861.12/861.61	c |    261159 |   33086   170542   477444 | 2147483647   260315    117 | 60.966 % |
863.02/863.51	c |    261568 |   33086   170542   477444 | 2147483647   260724    117 | 60.966 % |
864.92/865.43	c |    262018 |   33086   170542   477444 | 2147483647   261174    117 | 60.966 % |
867.21/867.74	c |    262512 |   33086   170542   477444 | 2147483647   261668    117 | 60.966 % |
869.41/869.99	c |    263054 |   33086   170542   477444 | 2147483647   262210    117 | 60.966 % |
872.51/873.07	c |    263650 |   33086   170542   477444 | 2147483647   262806    117 | 60.966 % |
875.31/875.86	c |    264305 |   33086   170542   477444 | 2147483647   263461    117 | 60.966 % |
878.51/879.05	c |    265025 |   33086   170542   477444 | 2147483647   264181    117 | 60.966 % |
881.31/881.87	c |    265817 |   33086   170542   477444 | 2147483647   264973    117 | 60.966 % |
885.61/886.10	c |    266688 |   33086   170542   477444 | 2147483647   265844    117 | 60.966 % |
890.31/890.84	c |    267649 |   33086   170542   477444 | 2147483647   266805    117 | 60.966 % |
895.31/895.83	c |    268702 |   33086   170542   477444 | 2147483647   267858    117 | 60.966 % |
900.31/900.89	c |    269860 |   33086   170542   477444 | 2147483647   269016    117 | 60.966 % |
906.09/906.62	c |    271134 |   33086   170542   477444 | 2147483647   270290    117 | 60.966 % |
913.09/913.60	c |    272534 |   33086   170542   477444 | 2147483647   271690    117 | 60.966 % |
919.90/920.45	c |    274074 |   33086   170542   477444 | 2147483647   273230    117 | 60.966 % |
926.99/927.54	c |    275769 |   33086   170542   477444 | 2147483647   274925    118 | 60.966 % |
936.79/937.32	c |    277633 |   33086   170542   477444 | 2147483647   276789    118 | 60.966 % |
946.68/947.28	c |    279682 |   33086   170542   477444 | 2147483647   278838    117 | 60.966 % |
958.68/959.24	c |    281937 |   33086   170542   477444 | 2147483647   281093    117 | 60.966 % |
968.68/969.22	c |    284415 |   33086   170542   477444 | 2147483647   283571    117 | 60.966 % |
979.67/980.23	c |    287140 |   33086   170542   477444 | 2147483647   286296    117 | 60.966 % |
980.07/980.67	c |    287240 |   33086   170542   477444 | 2147483647   286396    117 | 60.966 % |
980.58/981.17	c |    287350 |   33086   170542   477444 | 2147483647   286506    117 | 60.966 % |
981.07/981.63	c |    287471 |   33086   170542   477444 | 2147483647   286627    117 | 60.966 % |
981.47/982.03	c |    287606 |   33086   170542   477444 | 2147483647   286762    116 | 60.966 % |
981.97/982.57	c |    287752 |   33086   170542   477444 | 2147483647   286908    116 | 60.966 % |
982.67/983.22	c |    287913 |   33086   170542   477444 | 2147483647   287069    116 | 60.966 % |
983.37/983.91	c |    288091 |   33086   170542   477444 | 2147483647   287247    116 | 60.966 % |
984.27/984.83	c |    288286 |   33086   170542   477444 | 2147483647   287442    116 | 60.966 % |
985.17/985.77	c |    288498 |   33086   170542   477444 | 2147483647   287654    116 | 60.966 % |
986.87/987.49	c |    288731 |   33086   170542   477444 | 2147483647   287887    116 | 60.966 % |
988.07/988.61	c |    288987 |   33086   170542   477444 | 2147483647   288143    116 | 60.966 % |
988.87/989.48	c |    289271 |   33086   170542   477444 | 2147483647   288427    116 | 60.966 % |
990.17/990.72	c |    289581 |   33086   170542   477444 | 2147483647   288737    116 | 60.966 % |
991.47/992.08	c |    289921 |   33086   170542   477444 | 2147483647   289077    116 | 60.966 % |
993.36/993.90	c |    290295 |   33086   170542   477444 | 2147483647   289451    116 | 60.966 % |
994.96/995.56	c |    290704 |   33086   170542   477444 | 2147483647   289860    116 | 60.966 % |
996.57/997.19	c |    291157 |   33086   170542   477444 | 2147483647   290313    116 | 60.966 % |
999.16/999.70	c |    291650 |   33086   170542   477444 | 2147483647   290806    116 | 60.966 % |
1001.47/1002.08	c |    292192 |   33086   170542   477444 | 2147483647   291348    116 | 60.966 % |
1004.16/1004.73	c |    292788 |   33086   170542   477444 | 2147483647   291944    116 | 60.966 % |
1007.26/1007.83	c |    293444 |   33076   170477   477273 | 2147483647   292599    116 | 60.978 % |
1010.56/1011.17	c |    294164 |   33076   170477   477273 | 2147483647   293319    116 | 60.978 % |
1014.26/1014.81	c |    294957 |   33076   170477   477273 | 2147483647   294112    116 | 60.978 % |
1018.15/1018.77	c |    295828 |   33075   170477   477273 | 2147483647   294982    116 | 60.987 % |
1022.46/1023.05	c |    296786 |   33075   170477   477273 | 2147483647   295940    116 | 60.987 % |
1027.25/1027.85	c |    297839 |   33074   170477   477273 | 2147483647   296992    116 | 60.996 % |
1031.75/1032.39	c |    298997 |   33074   170477   477273 | 2147483647   298150    116 | 60.995 % |
1037.24/1037.88	c |    300270 |   33074   170477   477273 |   299153   299423    116 | 60.995 % |
1043.44/1044.05	c |    301670 |   33074   170477   477273 |   299153   300823    116 | 60.995 % |
1051.33/1051.93	c |    303211 |   33074   170477   477273 |   299153   302363    115 | 61.001 % |
1058.44/1059.02	c |    304907 |   33074   170477   477273 |   299153   304059    115 | 61.001 % |
1066.23/1066.86	c |    306771 |   33074   170477   477273 |   299153   305923    115 | 61.001 % |
1074.93/1075.56	c |    308820 |   33074   170477   477273 |   299153   307972    115 | 61.002 % |
1084.82/1085.47	c |    311074 |   33074   170477   477273 | 2147483647   310226    115 | 61.001 % |
1098.21/1098.82	c |    313554 |   33074   170477   477273 | 2147483647   312706    115 | 61.001 % |
1111.81/1112.40	c |    316281 |   33074   170477   477273 | 2147483647   315433    115 | 61.001 % |
1127.20/1127.84	c |    319278 |   33056   170284   476801 | 2147483647   318377    115 | 61.001 % |
1127.90/1128.50	c |    319378 |   33056   170284   476801 | 2147483647   318477    115 | 61.001 % |
1128.30/1128.99	c |    319489 |   33056   170284   476801 | 2147483647   318588    115 | 61.001 % |
1128.90/1129.57	c |    319610 |   33056   170284   476801 | 2147483647   318709    115 | 61.001 % |
1129.60/1130.21	c |    319743 |   33056   170284   476801 | 2147483647   318842    115 | 61.001 % |
1130.30/1130.90	c |    319889 |   33056   170284   476801 | 2147483647   318988    115 | 61.001 % |
1131.10/1131.72	c |    320050 |   33056   170284   476801 | 2147483647   319149    115 | 61.001 % |
1131.90/1132.50	c |    320226 |   33056   170284   476801 | 2147483647   319325    115 | 61.001 % |
1132.70/1133.34	c |    320419 |   33056   170284   476801 | 2147483647   319518    115 | 61.001 % |
1133.60/1134.23	c |    320632 |   33056   170284   476801 | 2147483647   319731    115 | 61.001 % |
1134.70/1135.39	c |    320865 |   33056   170284   476801 | 2147483647   319964    115 | 61.001 % |
1136.39/1137.07	c |    321123 |   33056   170284   476801 | 2147483647   320222    115 | 61.001 % |
1137.80/1138.50	c |    321404 |   33056   170284   476801 | 2147483647   320503    115 | 61.001 % |
1139.39/1140.09	c |    321715 |   33056   170284   476801 | 2147483647   320814    115 | 61.001 % |
1141.10/1141.77	c |    322058 |   33056   170284   476801 | 2147483647   321157    115 | 61.001 % |
1143.40/1144.04	c |    322430 |   33056   170284   476801 | 2147483647   321529    115 | 61.001 % |
1145.49/1146.12	c |    322840 |   33056   170284   476801 | 2147483647   321939    115 | 61.001 % |
1147.80/1148.45	c |    323289 |   33056   170284   476801 | 2147483647   322388    115 | 61.001 % |
1150.80/1151.40	c |    323783 |   33056   170284   476801 | 2147483647   322882    115 | 61.001 % |
1153.70/1154.37	c |    324327 |   33056   170284   476801 | 2147483647   323426    115 | 61.002 % |
1156.99/1157.61	c |    324923 |   33056   170284   476801 | 2147483647   324022    115 | 61.001 % |
1160.59/1161.21	c |    325579 |   33056   170284   476801 | 2147483647   324678    115 | 61.001 % |
1164.89/1165.55	c |    326301 |   33056   170284   476801 | 2147483647   325400    115 | 61.001 % |
1169.19/1169.84	c |    327094 |   33056   170284   476801 | 2147483647   326193    115 | 61.001 % |
1173.09/1173.79	c |    327968 |   33056   170284   476801 | 2147483647   327067    115 | 61.001 % |
1178.08/1178.76	c |    328926 |   33056   170284   476801 | 2147483647   328024    115 | 61.016 % |
1183.68/1184.33	c |    329982 |   33056   170284   476801 | 2147483647   329080    115 | 61.016 % |
1190.17/1190.84	c |    331140 |   33056   170284   476801 |   329098   330238    115 | 61.016 % |
1197.28/1197.91	c |    332413 |   33056   170284   476801 |   329098   331511    115 | 61.016 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 32739
/proc/meminfo: memFree=1838648/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 304640384 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/32739/statm: 1339 235 195 169 0 50 0
[pid=32740] ppid=32739 vsize=5356 CPUtime=0
/proc/32740/stat : 32740 (SatELiteGTI) S 32739 32739 32578 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 304640385 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/32740/statm: 1339 238 198 169 0 50 0
[pid=32742] ppid=32740 vsize=2608 CPUtime=0
/proc/32742/stat : 32742 (sed) R 32740 32739 32578 0 -1 4194304 154 0 0 0 0 0 0 0 23 0 1 0 304640385 2670592 127 1992294400 4194304 4240196 548682069056 18446744073709551615 269807667094 0 0 4096 0 0 0 0 17 0 0 0
/proc/32742/statm: 652 132 105 11 0 56 0

[startup+0.025906 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 32739
/proc/meminfo: memFree=1838648/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101916 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 32739
/proc/meminfo: memFree=1838648/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301939 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 32739
/proc/meminfo: memFree=1838648/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70198 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 32739
/proc/meminfo: memFree=1838648/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 32744
/proc/meminfo: memFree=1718440/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
[pid=32744] ppid=32739 vsize=157992 CPUtime=1.48
/proc/32744/stat : 32744 (SatELite_releas) R 32739 32739 32578 0 -1 4194304 35390 0 0 0 129 19 0 0 25 0 1 0 304640385 161783808 32589 1992294400 134512640 135223648 4294956128 18446744073709551615 134577137 0 0 4096 3 0 0 0 17 0 0 0
/proc/32744/statm: 39498 32589 75 173 0 39323 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 163348

[startup+3.10224 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 32744
/proc/meminfo: memFree=1699688/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
[pid=32744] ppid=32739 vsize=174236 CPUtime=3.07
/proc/32744/stat : 32744 (SatELite_releas) R 32739 32739 32578 0 -1 4194304 39204 0 0 0 286 21 0 0 25 0 1 0 304640385 178417664 35829 1992294400 134512640 135223648 4294956128 18446744073709551615 134669896 0 0 4096 3 0 0 0 17 1 0 0
/proc/32744/statm: 43559 35829 76 173 0 43384 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 179592

[startup+6.30157 s]
/proc/loadavg: 1.08 1.02 0.95 2/67 32744
/proc/meminfo: memFree=1680488/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=0
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304640384 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32739/statm: 1339 237 197 169 0 50 0
[pid=32744] ppid=32739 vsize=196356 CPUtime=6.27
/proc/32744/stat : 32744 (SatELite_releas) R 32739 32739 32578 0 -1 4194304 43487 0 0 0 604 23 0 0 25 0 1 0 304640385 201068544 39363 1992294400 134512640 135223648 4294956128 18446744073709551615 134549412 0 0 4096 3 0 0 0 17 0 0 0
/proc/32744/statm: 49089 39363 76 173 0 48914 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 201712

[startup+12.7023 s]
/proc/loadavg: 1.07 1.02 0.95 2/67 32745
/proc/meminfo: memFree=1792424/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=30568 CPUtime=2.32
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 7208 0 0 0 229 3 0 0 25 0 1 0 304641422 31301632 7186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 7642 7186 77 171 0 7469 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35924

[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 0.95 2/67 32745
/proc/meminfo: memFree=1791720/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=31496 CPUtime=15.11
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 7448 0 0 0 1508 3 0 0 25 0 1 0 304641422 32251904 7426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 7874 7426 77 171 0 7701 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 36852

[startup+51.1013 s]
/proc/loadavg: 1.16 1.04 0.96 2/67 32745
/proc/meminfo: memFree=1787432/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=36020 CPUtime=40.69
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 8566 0 0 0 4065 4 0 0 25 0 1 0 304641422 36884480 8544 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 9005 8544 77 171 0 8832 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 41376

[startup+102.306 s]
/proc/loadavg: 1.07 1.03 0.96 2/67 32745
/proc/meminfo: memFree=1777128/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=46132 CPUtime=91.87
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 11085 0 0 0 9180 7 0 0 25 0 1 0 304641422 47239168 11063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 11533 11063 77 171 0 11360 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 51488

[startup+162.301 s]
/proc/loadavg: 1.02 1.03 0.96 2/67 32745
/proc/meminfo: memFree=1764712/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=58520 CPUtime=151.84
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 14188 0 0 0 15173 11 0 0 25 0 1 0 304641422 59924480 14166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 14630 14166 77 171 0 14457 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 63876

[startup+222.302 s]
/proc/loadavg: 1.01 1.02 0.96 2/67 32745
/proc/meminfo: memFree=1752936/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=70212 CPUtime=211.81
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 17084 0 0 0 21167 14 0 0 25 0 1 0 304641422 71897088 17062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 17553 17062 77 171 0 17380 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 75568

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 32745
/proc/meminfo: memFree=1742568/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=80576 CPUtime=271.77
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 19668 0 0 0 27160 17 0 0 25 0 1 0 304641422 82509824 19646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 20144 19646 77 171 0 19971 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 85932

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 32745
/proc/meminfo: memFree=1733864/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=89120 CPUtime=331.74
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 21797 0 0 0 33155 19 0 0 25 0 1 0 304641422 91258880 21775 1992294400 134512640 135215339 4294956240 18446744073709551615 134532796 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 22280 21775 77 171 0 22107 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 94476

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32745
/proc/meminfo: memFree=1723496/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=99408 CPUtime=391.71

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

/proc/32745/statm: 30700 30147 77 171 0 30527 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 128156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32745
/proc/meminfo: memFree=1691496/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=131052 CPUtime=631.59
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 32228 0 0 0 63129 30 0 0 25 0 1 0 304641422 134197248 32206 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 32763 32206 77 171 0 32590 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 136408

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32745
/proc/meminfo: memFree=1683752/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=139104 CPUtime=691.56
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 34167 0 0 0 69124 32 0 0 25 0 1 0 304641422 142442496 34145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 34776 34145 77 171 0 34603 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 144460

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1676312/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=145992 CPUtime=751.53
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 35898 0 0 0 75120 33 0 0 25 0 1 0 304641422 149495808 35876 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 36498 35876 77 171 0 36325 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 151348

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1669792/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=152856 CPUtime=811.5
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 37584 0 0 0 81115 35 0 0 25 0 1 0 304641422 156524544 37562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 38214 37562 77 171 0 38041 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 158212

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1662624/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=159964 CPUtime=871.47
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 39367 0 0 0 87110 37 0 0 25 0 1 0 304641422 163803136 39345 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 39991 39345 77 171 0 39818 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 165320

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1655776/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=166796 CPUtime=931.45
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 41058 0 0 0 93107 38 0 0 25 0 1 0 304641422 170799104 41036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 41699 41036 77 171 0 41526 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 172152

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1650464/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=171884 CPUtime=991.42
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 42350 0 0 0 99102 40 0 0 25 0 1 0 304641422 176009216 42328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 42971 42328 77 171 0 42798 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 177240

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1644648/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=177592 CPUtime=1051.39
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 43813 0 0 0 105098 41 0 0 25 0 1 0 304641422 181854208 43791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 44398 43791 77 171 0 44225 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 182948

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1638376/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=184436 CPUtime=1111.37
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 45349 0 0 0 111094 43 0 0 25 0 1 0 304641422 188862464 45327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 46109 45327 77 171 0 45936 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 189792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1632872/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=189904 CPUtime=1171.34
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 46707 0 0 0 117089 45 0 0 25 0 1 0 304641422 194461696 46685 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 47476 46685 77 171 0 47303 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 195260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1631336/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=191224 CPUtime=1189.74
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 47050 0 0 0 118929 45 0 0 25 0 1 0 304641422 195813376 47028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 47806 47028 77 171 0 47633 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 196580

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

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 32751
/proc/meminfo: memFree=1631336/2055920 swapFree=4179364/4192956
[pid=32739] ppid=32737 vsize=5356 CPUtime=10.34
/proc/32739/stat : 32739 (SatELiteGTI) S 32737 32739 32578 0 -1 4194304 336 59847 0 0 0 0 995 39 16 0 1 0 304640384 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32739/statm: 1339 239 197 169 0 50 0
[pid=32745] ppid=32739 vsize=191224 CPUtime=1189.74
/proc/32745/stat : 32745 (minisat_static) R 32739 32739 32578 0 -1 4194304 47050 0 0 0 118929 45 0 0 25 0 1 0 304641422 195813376 47028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32745/statm: 47806 47028 77 171 0 47633 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 196580

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1199.24
CPU system time (s): 0.84
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 204520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.95549
system time used= 0.39194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60183
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= 16
involuntary context switches= 63

runsolver used 1.07784 second user time and 3.37349 second system time

The end

Launcher Data 

Begin job on node81 at 2009-05-19 22:48:25
IDJOB=1832011
IDBENCH=20365
IDSOLVER=671
FILE ID=node81/1832011-1242766103
PBS_JOBID= 9322222
Free space on /tmp= 126548 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832011-1242766103/watcher-1832011-1242766103 -o /tmp/evaluation-result-1832011-1242766103/solver-1832011-1242766103 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832011-1242766103.cnf

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=2111252046

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1839320 kB
Buffers:         11244 kB
Cached:         167172 kB
SwapCached:       7020 kB
Active:          89432 kB
Inactive:        97528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839320 kB
SwapTotal:     4192956 kB
SwapFree:      4179364 kB
Dirty:           26576 kB
Writeback:           0 kB
Mapped:          13660 kB
Slab:            15536 kB
Committed_AS:   929288 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126528 MiB
End job on node81 at 2009-05-19 23:08:28