Trace number 1820626

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.09 1200.45

General information on the benchmark

Nameindustrial/narain/
clauses-8.cnf
MD5SUM74bd745b1c68e4deddfa063e58b6b54d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1176.13
Satisfiable
(Un)Satisfiability was proved
Number of variables1461771
Number of clauses5687554
Sum of the clauses size14147618
Maximum clause length601
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24325673
Number of clauses of size 3961281
Number of clauses of size 411051
Number of clauses of size 5354960
Number of clauses of size over 534588

Solver Data 

0.00/0.00	c Parsing...
5.63/5.65	c ==============================================================================
5.63/5.65	c |           |     ORIGINAL     |              LEARNT              |          |
5.63/5.65	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
5.63/5.65	c ==============================================================================
5.63/5.65	c |         0 | 5687553 14147617 | 1706265       0        0     nan |  0.000 % |
492.25/492.61	c |         0 | 2172391  7468607 |      --       0       --      -- |     --   | -2399862/-3722815
492.35/492.64	c ==============================================================================
492.35/492.64	c Result  :   #vars: 447289   #clauses: 2172391   #literals: 7468607
492.35/492.64	c CPU time:   490.01 s
492.35/492.64	c ==============================================================================
495.14/495.58	c This is MiniSat 2.0 beta
495.14/495.58	c WARNING: for repeatability, setting FPU to use double precision
495.14/495.58	c ============================[ Problem Statistics ]=============================
495.14/495.58	c |                                                                             |
495.14/495.59	c |  Number of variables:  447289                                               |
495.14/495.59	c |  Number of clauses:    2172391                                              |
496.74/497.12	c |  Parsing time:         1.33         s                                       |
496.84/497.23	c ============================[ Search Statistics ]==============================
496.84/497.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
496.84/497.23	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
496.84/497.23	c ===============================================================================
496.84/497.23	c |         0 |  447289  2172391  7468607 |   724130        0    nan |  0.000 % |
496.94/497.39	c |       100 |  447224  2172391  7468607 |   724130       98      9 |  0.030 % |
497.44/497.82	c |       200 |  447222  2172391  7468607 |   724130      197     11 |  0.030 % |
498.64/499.08	c |       301 |  447222  2172391  7468607 |   724130      295     13 |  0.031 % |
505.34/505.74	c |       414 |  423575  2015433  6943180 |   724130      351     13 |  5.302 % |
506.24/506.62	c |       514 |  423551  2015433  6943180 |   724130      446     12 | 10.578 % |
506.94/507.37	c |       628 |  423550  2015433  6943180 |   724130      559     13 | 10.578 % |
507.84/508.31	c |       749 |  423548  2015433  6943180 |   724130      679     15 | 10.585 % |
508.64/509.05	c |       849 |  423540  2015433  6943180 |   724130      775     15 | 10.606 % |
512.54/512.91	c |       959 |  399849  1867394  6465021 |   724130      863     14 | 10.606 % |
513.54/513.99	c |      1080 |  399836  1867394  6465021 |   724130      977     14 | 10.656 % |
514.34/514.81	c |      1213 |  399835  1867394  6465021 |   724130     1109     13 | 10.656 % |
515.04/515.49	c |      1313 |  399625  1866245  6462110 |   724130     1189     13 | 10.656 % |
515.44/515.84	c |      1424 |  399621  1866245  6462110 |   724130     1299     13 | 10.663 % |
516.23/516.70	c |      1545 |  399610  1866245  6462110 |   724130     1413     12 | 10.944 % |
517.73/518.11	c |      1680 |  397083  1849744  6421316 |   724130     1339     13 | 11.225 % |
519.23/519.64	c |      1826 |  397010  1849744  6421316 |   724130     1467     13 | 14.852 % |
523.34/523.73	c |      1927 |  356046  1593796  5509406 |   724130     1258     14 | 20.399 % |
523.93/524.38	c |      2037 |  356032  1593796  5509406 |   724130     1362     16 | 20.863 % |
524.73/525.15	c |      2158 |  355988  1593796  5509406 |   724130     1472     15 | 25.108 % |
526.43/526.90	c |      2293 |  334947  1494264  5186720 |   724130     1452     17 | 25.123 % |
526.73/527.19	c |      2439 |  334944  1494264  5186720 |   724130     1598     16 | 25.123 % |
527.33/527.71	c |      2599 |  334944  1494264  5186720 |   724130     1758     18 | 25.123 % |
527.83/528.24	c |      2699 |  334930  1494264  5186720 |   724130     1853     19 | 25.837 % |
528.73/529.13	c |      2809 |  334928  1494264  5186720 |   724130     1961     19 | 25.843 % |
529.33/529.77	c |      2933 |  331698  1482025  5150752 |   724130     2019     20 | 25.843 % |
530.13/530.53	c |      3068 |  331163  1482025  5150752 |   724130     2149     19 | 45.708 % |
530.83/531.24	c |      3214 |  331090  1482025  5150752 |   724130     2290     19 | 45.946 % |
531.23/531.68	c |      3374 |  330394  1482025  5150752 |   724130     2450     20 | 45.946 % |
534.43/534.84	c |      3555 |  241745   966490  3103194 |   724130     2087     20 | 46.044 % |
534.53/534.95	c |      3655 |  241713   966490  3103194 |   724130     2182     20 | 46.061 % |
534.73/535.18	c |      3768 |  241711   966490  3103194 |   724130     2295     21 | 46.061 % |
535.23/535.65	c |      3889 |  241663   966490  3103194 |   724130     2414     21 | 46.138 % |
535.73/536.16	c |      4022 |  240919   960445  3044616 |   724130     2353     22 | 46.138 % |
536.13/536.53	c |      4168 |  240886   960445  3044616 |   724130     2490     21 | 46.285 % |
536.23/536.69	c |      4328 |  240885   960445  3044616 |   724130     2648     20 | 46.285 % |
536.63/537.05	c |      4504 |  240876   960445  3044616 |   724130     2816     20 | 46.316 % |
536.83/537.24	c |      4697 |  240121   956416  3024701 |   724130     2956     20 | 46.316 % |
536.93/537.33	c |      4797 |  240120   956416  3024701 |   724130     3055     20 | 46.317 % |
537.03/537.45	c |      4907 |  240120   956416  3024701 |   724130     3165     19 | 46.317 % |
537.13/537.55	c |      5028 |  240120   956416  3024701 |   724130     3286     19 | 46.317 % |
537.23/537.68	c |      5161 |  240097   956416  3024701 |   724130     3414     19 | 46.328 % |
537.43/537.89	c |      5307 |  240097   956416  3024701 |   724130     3560     18 | 46.328 % |
537.64/538.09	c |      5467 |  240097   956416  3024701 |   724130     3720     19 | 46.328 % |
537.83/538.27	c |      5643 |  240097   956416  3024701 |   724130     3896     19 | 46.328 % |
538.53/538.92	c |      5836 |  239911   954700  3019132 |   724130     4021     19 | 46.363 % |
538.83/539.25	c |      6048 |  239910   954700  3019132 |   724130     4229     19 | 46.379 % |
539.13/539.59	c |      6149 |  239904   954700  3019132 |   724130     4329     19 | 46.380 % |
539.43/539.89	c |      6260 |  239838   954332  3018144 |   724130     4425     20 | 46.380 % |
539.63/540.08	c |      6381 |  239823   954332  3018144 |   724130     4543     21 | 47.321 % |
539.84/540.27	c |      6514 |  239752   954332  3018144 |   724130     4675     21 | 47.397 % |
540.23/540.69	c |      6661 |  239744   954332  3018144 |   724130     4817     21 | 47.596 % |
540.43/540.90	c |      6821 |  239728   954332  3018144 |   724130     4976     21 | 47.765 % |
541.13/541.53	c |      6997 |  233576   928991  2942329 |   724130     5025     23 | 47.780 % |
541.83/542.21	c |      7190 |  233562   928991  2942329 |   724130     5217     23 | 48.054 % |
542.33/542.71	c |      7403 |  233548   928991  2942329 |   724130     5429     24 | 48.324 % |
543.03/543.41	c |      7636 |  231133   919321  2910052 |   724130     5614     24 | 48.662 % |
543.23/543.61	c |      7738 |  231125   919321  2910052 |   724130     5714     25 | 48.763 % |
543.43/543.88	c |      7848 |  231125   919321  2910052 |   724130     5823     26 | 48.777 % |
543.83/544.27	c |      7969 |  229112   911238  2883830 |   724130     5829     26 | 48.778 % |
544.03/544.47	c |      8102 |  229112   911238  2883830 |   724130     5962     27 | 48.778 % |
544.73/545.17	c |      8248 |  229063   911238  2883830 |   724130     6099     27 | 49.006 % |
545.13/545.60	c |      8409 |  229063   911238  2883830 |   724130     6260     27 | 49.006 % |
545.63/546.05	c |      8588 |  228092   907169  2862644 |   724130     6407     28 | 49.006 % |
546.03/546.49	c |      8782 |  228091   907169  2862644 |   724130     6600     29 | 49.006 % |
546.44/546.87	c |      8995 |  228091   907169  2862644 |   724130     6811     30 | 49.038 % |
547.03/547.41	c |      9229 |  228086   907169  2862644 |   724130     7045     32 | 49.038 % |
547.83/548.22	c |      9485 |  227937   906556  2860287 |   724130     7278     33 | 49.052 % |
548.23/548.63	c |      9585 |  227937   906556  2860287 |   724130     7378     33 | 49.052 % |
548.43/548.86	c |      9698 |  227937   906556  2860287 |   724130     7490     33 | 49.066 % |
548.83/549.29	c |      9819 |  227821   906028  2858075 |   724130     7604     33 | 49.118 % |
549.43/549.81	c |      9954 |  227818   906028  2858075 |   724130     7738     34 | 49.136 % |
549.83/550.23	c |     10100 |  227817   906028  2858075 | 2147483647     7882     34 | 49.245 % |
550.53/550.93	c |     10266 |  227021   902781  2847203 | 2147483647     8023     35 | 49.245 % |
551.13/551.57	c |     10453 |  227021   902781  2847203 | 2147483647     8209     36 | 49.411 % |
551.83/552.29	c |     10648 |  226276   899800  2835999 | 2147483647     8366     37 | 49.412 % |
552.43/552.81	c |     10860 |  226268   899800  2835999 | 2147483647     8576     38 | 49.503 % |
553.14/553.60	c |     11093 |  226253   899800  2835999 | 2147483647     8797     38 | 49.781 % |
554.14/554.53	c |     11353 |  224612   893555  2817020 | 2147483647     9030     39 | 49.818 % |
554.84/555.29	c |     11634 |  224612   893555  2817020 | 2147483647     9311     40 | 49.818 % |
555.24/555.68	c |     11735 |  224456   892852  2814404 | 2147483647     9404     41 | 49.819 % |
555.54/555.94	c |     11845 |  224453   892852  2814404 | 2147483647     9513     41 | 49.819 % |
555.94/556.38	c |     11972 |  224451   892852  2814404 | 2147483647     9639     41 | 49.820 % |
556.64/557.04	c |     12105 |  224036   891386  2809913 | 2147483647     9768     41 | 49.912 % |
557.24/557.66	c |     12251 |  224010   891386  2809913 | 2147483647     9910     41 | 50.141 % |
557.74/558.21	c |     12413 |  223999   891386  2809913 | 2147483647    10071     43 | 50.142 % |
558.54/558.94	c |     12589 |  223007   887771  2789691 | 2147483647    10244     44 | 50.143 % |
558.94/559.38	c |     12784 |  223002   887771  2789691 | 2147483647    10437     44 | 50.184 % |
559.54/559.94	c |     12996 |  222993   887771  2789691 | 2147483647    10647     45 | 50.215 % |
559.94/560.35	c |     13230 |  222254   884713  2778683 | 2147483647    10836     45 | 50.483 % |
560.54/560.93	c |     13486 |  222254   884713  2778683 | 2147483647    11092     47 | 50.483 % |
561.34/561.72	c |     13767 |  222234   884713  2778683 | 2147483647    11367     46 | 50.588 % |
562.34/562.75	c |     14076 |  221013   879729  2761035 | 2147483647    11652     47 | 50.588 % |
562.64/563.08	c |     14176 |  221013   879729  2761035 | 2147483647    11752     47 | 50.588 % |
563.14/563.59	c |     14286 |  220942   879457  2760055 | 2147483647    11857     47 | 50.620 % |
563.44/563.91	c |     14407 |  220942   879457  2760055 | 2147483647    11978     48 | 50.620 % |
563.74/564.18	c |     14540 |  220942   879457  2760055 | 2147483647    12111     48 | 50.620 % |
563.84/564.26	c |     14686 |  220921   879457  2760055 | 2147483647    12250     47 | 50.674 % |
564.54/564.92	c |     14846 |  220838   879457  2760055 | 2147483647    12405     47 | 50.738 % |
566.34/566.75	c |     15022 |  216189   862547  2699914 | 2147483647    12370     47 | 51.667 % |
566.84/567.22	c |     15215 |  216106   862547  2699914 | 2147483647    12549     47 | 51.853 % |
567.04/567.44	c |     15427 |  216106   862547  2699914 | 2147483647    12761     46 | 51.853 % |
567.34/567.75	c |     15660 |  216069   862547  2699914 | 2147483647    12989     46 | 52.027 % |
567.54/567.99	c |     15917 |  216069   862547  2699914 | 2147483647    13246     45 | 52.027 % |
568.24/568.68	c |     16198 |  214578   850517  2640732 | 2147483647    13468     45 | 52.158 % |
568.44/568.90	c |     16507 |  214578   850517  2640732 | 2147483647    13777     46 | 52.158 % |
569.14/569.57	c |     16846 |  214575   850517  2640732 | 2147483647    14115     46 | 52.242 % |
569.34/569.76	c |     16947 |  213617   847263  2632166 | 2147483647    14205     46 | 52.242 % |
569.44/569.83	c |     17057 |  213613   847263  2632166 | 2147483647    14311     46 | 52.243 % |
569.64/570.02	c |     17179 |  213613   847263  2632166 | 2147483647    14433     46 | 52.243 % |
569.74/570.16	c |     17312 |  213613   847263  2632166 | 2147483647    14566     46 | 52.243 % |
570.04/570.41	c |     17460 |  213613   847263  2632166 | 2147483647    14714     45 | 52.243 % |
570.24/570.66	c |     17623 |  213613   847263  2632166 | 2147483647    14877     46 | 52.243 % |
570.34/570.78	c |     17800 |  213613   847263  2632166 | 2147483647    15054     46 | 52.243 % |
570.44/570.89	c |     17993 |  213613   847263  2632166 | 2147483647    15247     45 | 52.243 % |
570.74/571.16	c |     18208 |  213613   847251  2632142 | 2147483647    15452     45 | 52.243 % |
570.94/571.36	c |     18443 |  213613   847251  2632142 | 2147483647    15687     45 | 52.243 % |
571.44/571.83	c |     18700 |  213613   847251  2632142 | 2147483647    15944     45 | 52.243 % |
571.64/572.10	c |     18983 |  213613   847251  2632142 | 2147483647    16227     46 | 52.243 % |
572.34/572.73	c |     19292 |  213613   847251  2632142 | 2147483647    16536     45 | 52.243 % |
572.64/573.07	c |     19631 |  213613   847251  2632142 | 2147483647    16875     45 | 52.243 % |
573.24/573.70	c |     20004 |  213570   846965  2631413 | 2147483647    17243     45 | 52.252 % |
573.34/573.76	c |     20104 |  213570   846965  2631413 | 2147483647    17343     45 | 52.252 % |
573.44/573.88	c |     20220 |  213570   846965  2631413 | 2147483647    17459     45 | 52.252 % |
573.64/574.06	c |     20341 |  213570   846965  2631413 | 2147483647    17580     45 | 52.252 % |
573.84/574.28	c |     20477 |  213570   846965  2631413 | 2147483647    17716     45 | 52.252 % |
574.04/574.46	c |     20624 |  213570   846965  2631413 | 2147483647    17863     45 | 52.252 % |
574.34/574.80	c |     20784 |  213570   846965  2631413 | 2147483647    18023     45 | 52.252 % |
574.54/575.00	c |     20960 |  213570   846965  2631413 | 2147483647    18199     45 | 52.252 % |
574.74/575.16	c |     21153 |  213570   846965  2631413 | 2147483647    18392     45 | 52.252 % |
575.24/575.63	c |     21365 |  213570   846965  2631413 | 2147483647    18604     45 | 52.252 % |
575.44/575.87	c |     21599 |  213570   846965  2631413 | 2147483647    18838     45 | 52.252 % |
575.74/576.21	c |     21855 |  213570   846965  2631413 | 2147483647    19094     45 | 52.252 % |
576.24/576.63	c |     22136 |  212978   845140  2627142 | 2147483647    19361     46 | 52.385 % |
576.74/577.20	c |     22445 |  212978   845140  2627142 | 2147483647    19670     46 | 52.385 % |
576.94/577.39	c |     22784 |  212978   845140  2627142 | 2147483647    20009     48 | 52.385 % |
577.64/578.02	c |     23156 |  212978   845140  2627142 | 2147483647    20381     48 | 52.385 % |
578.24/578.62	c |     23565 |  212978   845140  2627142 | 2147483647    20790     48 | 52.385 % |
578.34/578.75	c |     23666 |  212978   845140  2627142 | 2147483647    20891     48 | 52.385 % |
578.54/578.91	c |     23776 |  212978   845140  2627142 | 2147483647    21001     48 | 52.385 % |
578.64/579.08	c |     23898 |  212978   845140  2627142 | 2147483647    21123     47 | 52.385 % |
578.84/579.23	c |     24033 |  212978   845140  2627142 | 2147483647    21258     47 | 52.385 % |
579.04/579.49	c |     24179 |  212978   845140  2627142 | 2147483647    21404     47 | 52.385 % |
579.24/579.62	c |     24341 |  212978   845140  2627142 | 2147483647    21566     47 | 52.385 % |
579.44/579.86	c |     24518 |  212978   845140  2627142 | 2147483647    21743     47 | 52.385 % |
579.64/580.04	c |     24712 |  212978   845140  2627142 | 2147483647    21937     48 | 52.385 % |
579.94/580.33	c |     24924 |  212978   845140  2627142 | 2147483647    22149     48 | 52.385 % |
580.34/580.79	c |     25157 |  212978   845140  2627142 | 2147483647    22382     48 | 52.385 % |
580.64/581.08	c |     25414 |  212978   845140  2627142 | 2147483647    22639     47 | 52.385 % |
580.94/581.41	c |     25696 |  212978   845140  2627142 | 2147483647    22921     48 | 52.385 % |
581.34/581.79	c |     26006 |  212978   845140  2627142 | 2147483647    23231     48 | 52.385 % |
581.94/582.38	c |     26347 |  212978   845140  2627142 | 2147483647    23572     48 | 52.385 % |
582.64/583.05	c |     26719 |  212978   845140  2627142 | 2147483647    23944     48 | 52.385 % |
583.24/583.62	c |     27130 |  212978   845140  2627142 | 2147483647    24355     48 | 52.385 % |
584.14/584.52	c |     27580 |  212978   845140  2627142 | 2147483647    24805     48 | 52.385 % |
584.24/584.69	c |     27680 |  212978   845140  2627142 | 2147483647    24905     48 | 52.385 % |
584.44/584.83	c |     27791 |  212978   845140  2627142 | 2147483647    25016     48 | 52.385 % |
584.64/585.04	c |     27912 |  212978   845140  2627142 | 2147483647    25137     48 | 52.385 % |
584.94/585.38	c |     28046 |  212978   845140  2627142 | 2147483647    25271     48 | 52.385 % |
585.14/585.56	c |     28192 |  212978   845140  2627142 | 2147483647    25417     48 | 52.385 % |
585.24/585.69	c |     28354 |  212978   845140  2627142 | 2147483647    25579     48 | 52.385 % |
585.44/585.87	c |     28530 |  212978   845140  2627142 | 2147483647    25755     48 | 52.385 % |
585.64/586.10	c |     28723 |  212978   845140  2627142 | 2147483647    25948     48 | 52.385 % |
585.94/586.35	c |     28935 |  212978   845140  2627142 | 2147483647    26160     49 | 52.385 % |
586.14/586.55	c |     29168 |  212978   845140  2627142 | 2147483647    26393     49 | 52.385 % |
586.44/586.86	c |     29425 |  212978   845140  2627142 | 2147483647    26650     48 | 52.385 % |
586.94/587.31	c |     29706 |  212978   845140  2627142 | 2147483647    26931     49 | 52.385 % |
587.24/587.66	c |     30015 |  212978   845140  2627142 | 2147483647    27240     49 | 52.385 % |
587.74/588.18	c |     30354 |  212978   845140  2627142 | 2147483647    27579     49 | 52.385 % |
588.24/588.64	c |     30729 |  212977   845137  2627136 | 2147483647    27951     50 | 52.385 % |
588.44/588.84	c |     31138 |  212977   845137  2627136 | 2147483647    28360     51 | 52.385 % |
589.04/589.45	c |     31587 |  212977   845137  2627136 | 2147483647    28809     51 | 52.385 % |
589.64/590.08	c |     32080 |  212977   845137  2627136 | 2147483647    29301     51 | 52.394 % |
589.84/590.31	c |     32180 |  212973   845137  2627136 | 2147483647    29401     51 | 52.394 % |
590.14/590.52	c |     32290 |  212935   844862  2626435 | 2147483647    29509     51 | 52.394 % |
590.34/590.73	c |     32411 |  212935   844862  2626435 | 2147483647    29630     51 | 52.394 % |
590.54/590.91	c |     32544 |  212935   844862  2626435 | 2147483647    29763     51 | 52.394 % |
590.74/591.17	c |     32691 |  212935   844862  2626435 | 2147483647    29910     52 | 52.394 % |
591.34/591.75	c |     32851 |  212935   844862  2626435 | 2147483647    30070     52 | 52.394 % |
591.44/591.88	c |     33029 |  212935   844862  2626435 | 2147483647    30248     52 | 52.394 % |
591.84/592.28	c |     33223 |  212935   844862  2626435 | 2147483647    30442     52 | 52.394 % |
592.04/592.48	c |     33435 |  212935   844862  2626435 | 2147483647    30654     53 | 52.394 % |
592.34/592.78	c |     33668 |  212935   844862  2626435 | 2147483647    30887     52 | 52.394 % |
592.84/593.30	c |     33925 |  212935   844862  2626435 | 2147483647    31144     52 | 52.394 % |
593.44/593.89	c |     34208 |  212935   844862  2626435 | 2147483647    31427     52 | 52.394 % |
593.74/594.13	c |     34518 |  212935   844862  2626435 | 2147483647    31737     53 | 52.394 % |
594.24/594.71	c |     34858 |  212935   844862  2626435 | 2147483647    32077     53 | 52.394 % |
595.24/595.65	c |     35231 |  212935   844862  2626435 | 2147483647    32450     53 | 52.394 % |
595.64/596.03	c |     35640 |  212935   844862  2626435 | 2147483647    32859     53 | 52.394 % |
596.44/596.87	c |     36090 |  212935   844862  2626435 | 2147483647    33309     53 | 52.394 % |
597.34/597.81	c |     36585 |  212935   844862  2626435 | 2147483647    33804     53 | 52.394 % |
598.04/598.44	c |     37127 |  212935   844862  2626435 | 2147483647    34346     53 | 52.394 % |
598.24/598.62	c |     37230 |  212935   844862  2626435 | 2147483647    34449     53 | 52.394 % |
598.34/598.80	c |     37340 |  212935   844862  2626435 | 2147483647    34559     53 | 52.394 % |
598.64/599.04	c |     37461 |  212935   844862  2626435 | 2147483647    34680     53 | 52.394 % |
598.84/599.25	c |     37596 |  212935   844862  2626435 | 2147483647    34815     53 | 52.394 % |
599.04/599.45	c |     37742 |  212935   844862  2626435 | 2147483647    34961     53 | 52.394 % |
599.14/599.60	c |     37904 |  212935   844862  2626435 | 2147483647    35123     53 | 52.394 % |
599.44/599.84	c |     38081 |  212935   844862  2626435 | 2147483647    35300     53 | 52.394 % |
599.64/600.10	c |     38275 |  212935   844862  2626435 | 2147483647    35494     53 | 52.394 % |
600.24/600.64	c |     38487 |  212935   844862  2626435 | 2147483647    35706     54 | 52.394 % |
600.54/600.95	c |     38720 |  212935   844862  2626435 | 2147483647    35939     54 | 52.394 % |
600.84/601.26	c |     38976 |  212935   844862  2626435 | 2147483647    36195     54 | 52.394 % |
601.14/601.54	c |     39257 |  212935   844862  2626435 | 2147483647    36476     54 | 52.394 % |
601.44/601.84	c |     39568 |  212935   844862  2626435 | 2147483647    36787     55 | 52.394 % |
602.04/602.42	c |     39907 |  212803   844141  2624673 | 2147483647    37116     55 | 52.424 % |
602.54/602.92	c |     40280 |  212803   844141  2624673 | 2147483647    37489     55 | 52.424 % |
603.04/603.41	c |     40689 |  212803   844141  2624673 | 2147483647    37898     56 | 52.424 % |
603.54/603.94	c |     41143 |  212803   844141  2624673 | 2147483647    38352     56 | 52.424 % |
604.34/604.76	c |     41636 |  212803   844141  2624673 | 2147483647    38845     57 | 52.424 % |
604.84/605.27	c |     42178 |  212803   844141  2624673 | 2147483647    39387     58 | 52.424 % |
605.84/606.21	c |     42775 |  212803   844141  2624673 | 2147483647    39984     58 | 52.424 % |
605.94/606.36	c |     42877 |  212803   844141  2624673 | 2147483647    40086     58 | 52.424 % |
606.04/606.48	c |     42987 |  212803   844141  2624673 | 2147483647    40196     59 | 52.424 % |
606.34/606.71	c |     43108 |  212803   844141  2624673 | 2147483647    40317     59 | 52.424 % |
606.44/606.81	c |     43242 |  212803   844141  2624673 | 2147483647    40451     59 | 52.424 % |
606.54/607.00	c |     43389 |  212803   844141  2624673 | 2147483647    40598     59 | 52.424 % |
606.74/607.19	c |     43549 |  212803   844141  2624673 | 2147483647    40758     59 | 52.424 % |
606.94/607.41	c |     43725 |  212803   844141  2624673 | 2147483647    40934     59 | 52.424 % |
607.24/607.66	c |     43921 |  212803   844141  2624673 | 2147483647    41130     60 | 52.424 % |
607.54/607.97	c |     44135 |  212803   844141  2624673 | 2147483647    41344     60 | 52.424 % |
607.94/608.39	c |     44369 |  212803   844141  2624673 | 2147483647    41578     60 | 52.424 % |
608.24/608.65	c |     44626 |  212803   844141  2624673 | 2147483647    41835     60 | 52.424 % |
608.64/609.01	c |     44908 |  212803   844141  2624673 | 2147483647    42117     61 | 52.424 % |
609.44/609.87	c |     45217 |  212802   844136  2624661 | 2147483647    42425     60 | 52.424 % |
610.04/610.47	c |     45557 |  212802   844136  2624661 | 2147483647    42765     61 | 52.424 % |
610.84/611.27	c |     45931 |  212802   844136  2624661 | 2147483647    43139     61 | 52.424 % |
611.64/612.11	c |     46341 |  212802   844136  2624661 | 2147483647    43549     61 | 52.424 % |
612.74/613.17	c |     46790 |  212802   844136  2624661 | 2147483647    43998     62 | 52.424 % |
613.44/613.86	c |     47284 |  212802   844136  2624661 | 2147483647    44492     62 | 52.424 % |
614.04/614.48	c |     47826 |  212802   844136  2624661 | 2147483647    45034     62 | 52.424 % |
615.14/615.60	c |     48422 |  212801   844133  2624655 | 2147483647    45629     63 | 52.424 % |
615.94/616.35	c |     49077 |  212801   844133  2624655 | 2147483647    46284     64 | 52.424 % |
616.14/616.56	c |     49177 |  212801   844133  2624655 | 2147483647    46384     64 | 52.424 % |
616.64/617.02	c |     49287 |  212801   844133  2624655 | 2147483647    46494     64 | 52.424 % |
616.74/617.18	c |     49409 |  212801   844133  2624655 | 2147483647    46616     64 | 52.424 % |
616.94/617.33	c |     49542 |  212801   844133  2624655 | 2147483647    46749     64 | 52.424 % |
617.14/617.54	c |     49688 |  212801   844133  2624655 | 2147483647    46894     64 | 52.424 % |
617.34/617.76	c |     49850 |  212801   844133  2624655 | 2147483647    47056     64 | 52.424 % |
617.64/618.02	c |     50026 |  212801   844133  2624655 | 2147483647    47232     64 | 52.424 % |
618.24/618.66	c |     50219 |  212800   844130  2624649 | 2147483647    47425     64 | 52.424 % |
618.44/618.86	c |     50433 |  212800   844130  2624649 | 2147483647    47639     64 | 52.424 % |
618.64/619.07	c |     50666 |  212800   844130  2624649 | 2147483647    47872     64 | 52.424 % |
618.94/619.33	c |     50922 |  212800   844130  2624649 | 2147483647    48128     64 | 52.425 % |
619.44/619.86	c |     51203 |  212800   844130  2624649 | 2147483647    48409     64 | 52.424 % |
619.84/620.24	c |     51512 |  212800   844130  2624649 | 2147483647    48718     64 | 52.424 % |
620.24/620.70	c |     51851 |  212800   844130  2624649 | 2147483647    49057     64 | 52.424 % |
620.94/621.32	c |     52223 |  212800   844130  2624649 | 2147483647    49429     65 | 52.424 % |
621.64/622.09	c |     52632 |  212668   843423  2622921 | 2147483647    49830     65 | 52.484 % |
622.35/622.79	c |     53082 |  212668   843423  2622921 | 2147483647    50280     65 | 52.484 % |
623.04/623.49	c |     53575 |  212660   843423  2622921 | 2147483647    50773     65 | 52.484 % |
623.84/624.29	c |     54117 |  212660   843423  2622921 | 2147483647    51315     65 | 52.484 % |
624.55/624.94	c |     54714 |  212660   843423  2622921 | 2147483647    51912     65 | 52.484 % |
625.44/625.90	c |     55372 |  212660   843423  2622921 | 2147483647    52570     64 | 52.484 % |
628.04/628.41	c |     56092 |  212536   842710  2621177 | 2147483647    53278     65 | 52.484 % |
628.24/628.64	c |     56195 |  212536   842710  2621177 | 2147483647    53381     65 | 52.484 % |
628.44/628.81	c |     56305 |  212536   842710  2621177 | 2147483647    53491     65 | 52.484 % |
628.64/629.07	c |     56427 |  212536   842710  2621177 | 2147483647    53613     65 | 52.484 % |
628.84/629.29	c |     56563 |  212536   842710  2621177 | 2147483647    53749     65 | 52.484 % |
629.24/629.61	c |     56709 |  212536   842710  2621177 | 2147483647    53895     65 | 52.484 % |
629.54/629.96	c |     56869 |  212536   842710  2621177 | 2147483647    54055     65 | 52.484 % |
629.84/630.21	c |     57045 |  212536   842710  2621177 | 2147483647    54231     65 | 52.484 % |
630.24/630.65	c |     57242 |  212536   842710  2621177 | 2147483647    54428     65 | 52.484 % |
630.54/630.97	c |     57455 |  212536   842710  2621177 | 2147483647    54641     65 | 52.484 % |
630.94/631.36	c |     57689 |  212536   842710  2621177 | 2147483647    54875     66 | 52.484 % |
631.34/631.71	c |     57945 |  212536   842710  2621177 | 2147483647    55131     66 | 52.484 % |
631.74/632.14	c |     58226 |  212536   842710  2621177 | 2147483647    55412     66 | 52.484 % |
632.25/632.63	c |     58535 |  212536   842710  2621177 | 2147483647    55721     66 | 52.484 % |
633.14/633.55	c |     58875 |  212536   842710  2621177 | 2147483647    56061     66 | 52.484 % |
634.14/634.51	c |     59248 |  212536   842710  2621177 | 2147483647    56434     66 | 52.484 % |
634.74/635.12	c |     59659 |  212536   842710  2621177 | 2147483647    56845     66 | 52.484 % |
635.55/635.92	c |     60108 |  212536   842710  2621177 | 2147483647    57294     67 | 52.484 % |
636.14/636.60	c |     60603 |  212536   842710  2621177 | 2147483647    57789     67 | 52.484 % |
637.14/637.52	c |     61145 |  212536   842710  2621177 | 2147483647    58331     68 | 52.484 % |
638.44/638.81	c |     61741 |  212471   842460  2620591 | 2147483647    58924     69 | 52.498 % |
639.34/639.79	c |     62396 |  212471   842460  2620591 | 2147483647    59579     70 | 52.498 % |
640.74/641.13	c |     63117 |  212471   842460  2620591 | 2147483647    60300     71 | 52.498 % |
641.84/642.30	c |     63911 |  212471   842460  2620591 | 2147483647    61094     72 | 52.498 % |
641.94/642.40	c |     64011 |  212471   842460  2620591 | 2147483647    61194     72 | 52.498 % |
642.44/642.85	c |     64123 |  212427   842175  2619864 | 2147483647    61287     72 | 52.508 % |
642.74/643.20	c |     64244 |  212427   842175  2619864 | 2147483647    61408     72 | 52.508 % |
643.04/643.44	c |     64382 |  212427   842175  2619864 | 2147483647    61546     72 | 52.508 % |
643.44/643.81	c |     64529 |  212427   842175  2619864 | 2147483647    61693     71 | 52.508 % |
643.64/644.08	c |     64689 |  212427   842175  2619864 | 2147483647    61853     72 | 52.508 % |
643.84/644.28	c |     64866 |  212427   842175  2619864 | 2147483647    62030     72 | 52.508 % |
643.94/644.40	c |     65061 |  212427   842175  2619864 | 2147483647    62225     72 | 52.508 % |
644.64/645.04	c |     65273 |  212424   842175  2619864 | 2147483647    62435     72 | 52.518 % |
645.14/645.61	c |     65506 |  212424   842175  2619864 | 2147483647    62668     72 | 52.518 % |
645.64/646.10	c |     65762 |  212424   842175  2619864 | 2147483647    62924     72 | 52.518 % |
646.34/646.79	c |     66043 |  212424   842175  2619864 | 2147483647    63205     72 | 52.518 % |
647.04/647.48	c |     66356 |  212383   841981  2619304 | 2147483647    63503     72 | 52.518 % |
647.54/648.01	c |     66696 |  212383   841981  2619304 | 2147483647    63843     73 | 52.518 % |
648.04/648.45	c |     67069 |  212383   841981  2619304 | 2147483647    64216     73 | 52.518 % |
648.75/649.17	c |     67478 |  212383   841981  2619304 | 2147483647    64624     73 | 52.648 % |
649.34/649.72	c |     67929 |  212383   841981  2619304 | 2147483647    65075     73 | 52.648 % |
649.74/650.22	c |     68422 |  212383   841981  2619304 | 2147483647    65568     73 | 52.648 % |
650.24/650.65	c |     68965 |  212298   841981  2619304 | 2147483647    66110     73 | 55.049 % |
651.04/651.42	c |     69562 |  212293   841981  2619304 | 2147483647    66707     73 | 55.049 % |
652.34/652.77	c |     70217 |  201061   806236  2528835 | 2147483647    67003     74 | 55.049 % |
653.24/653.67	c |     70938 |  201061   806236  2528835 | 2147483647    67724     74 | 55.049 % |
655.04/655.45	c |     71730 |  201061   806236  2528835 | 2147483647    68516     74 | 55.049 % |
656.34/656.81	c |     72602 |  201060   806233  2528829 | 2147483647    69387     74 | 55.049 % |
656.54/656.96	c |     72702 |  201060   806233  2528829 | 2147483647    69487     74 | 55.049 % |
656.74/657.19	c |     72812 |  201060   806233  2528829 | 2147483647    69597     74 | 55.049 % |
657.04/657.42	c |     72934 |  201060   806233  2528829 | 2147483647    69719     74 | 55.049 % |
657.44/657.88	c |     73067 |  201060   806233  2528829 | 2147483647    69852     74 | 55.049 % |
657.74/658.13	c |     73213 |  201060   806233  2528829 | 2147483647    69998     74 | 55.049 % |
657.94/658.36	c |     73373 |  201060   806233  2528829 | 2147483647    70158     74 | 55.049 % |
658.14/658.58	c |     73552 |  201060   806233  2528829 | 2147483647    70337     74 | 55.049 % |
658.84/659.25	c |     73745 |  201060   806233  2528829 | 2147483647    70530     74 | 55.049 % |
659.14/659.60	c |     73958 |  201060   806233  2528829 | 2147483647    70743     74 | 55.049 % |
659.44/659.90	c |     74191 |  201060   806233  2528829 | 2147483647    70976     74 | 55.049 % |
659.75/660.13	c |     74449 |  201060   806233  2528829 | 2147483647    71234     74 | 55.049 % |
659.94/660.38	c |     74732 |  201060   806233  2528829 | 2147483647    71517     75 | 55.049 % |
660.34/660.73	c |     75042 |  201060   806233  2528829 | 2147483647    71827     75 | 55.049 % |
660.74/661.22	c |     75382 |  201060   806233  2528829 | 2147483647    72167     75 | 55.049 % |
661.84/662.22	c |     75756 |  200511   804552  2524896 | 2147483647    72536     75 | 55.304 % |
662.34/662.78	c |     76169 |  200504   804552  2524896 | 2147483647    72949     75 | 55.304 % |
663.05/663.42	c |     76618 |  200504   804552  2524896 | 2147483647    73398     75 | 55.304 % |
663.74/664.19	c |     77112 |  200504   804552  2524896 | 2147483647    73892     75 | 55.304 % |
665.04/665.45	c |     77655 |  200499   804552  2524896 | 2147483647    74434     75 | 55.304 % |
666.14/666.54	c |     78254 |  200499   804552  2524896 | 2147483647    75033     75 | 55.304 % |
667.24/667.67	c |     78911 |  199920   801898  2517625 | 2147483647    75663     75 | 55.304 % |
668.35/668.77	c |     79631 |  199920   801898  2517625 | 2147483647    76382     75 | 55.394 % |
669.65/670.09	c |     80424 |  199920   801898  2517625 | 2147483647    77173     75 | 55.823 % |
671.25/671.64	c |     81295 |  199918   801898  2517625 | 2147483647    78043     75 | 55.943 % |
672.45/672.91	c |     82254 |  197063   792644  2491976 | 2147483647    78971     76 | 55.943 % |
672.55/673.01	c |     82354 |  197063   792644  2491976 | 2147483647    79071     76 | 55.943 % |
672.95/673.35	c |     82465 |  197063   792644  2491976 | 2147483647    79182     75 | 55.943 % |
673.05/673.46	c |     82586 |  197063   792644  2491976 | 2147483647    79303     76 | 55.943 % |
673.55/673.98	c |     82719 |  197063   792644  2491976 | 2147483647    79436     76 | 55.943 % |
673.75/674.22	c |     82867 |  197063   792644  2491976 | 2147483647    79584     76 | 55.943 % |
674.15/674.55	c |     83027 |  197063   792644  2491976 | 2147483647    79744     76 | 55.943 % |
674.65/675.11	c |     83203 |  197063   792644  2491976 | 2147483647    79920     76 | 55.943 % |
675.05/675.51	c |     83396 |  197063   792644  2491976 | 2147483647    80113     76 | 55.943 % |
675.45/675.91	c |     83608 |  197063   792644  2491976 | 2147483647    80325     76 | 55.943 % |
675.85/676.22	c |     83843 |  197063   792644  2491976 | 2147483647    80560     75 | 55.943 % |
676.55/677.00	c |     84100 |  197063   792644  2491976 | 2147483647    80817     75 | 55.943 % |
677.15/677.56	c |     84384 |  197063   792644  2491976 | 2147483647    81101     75 | 55.943 % |
677.85/678.25	c |     84694 |  197063   792644  2491976 | 2147483647    81411     75 | 55.943 % |
678.45/678.91	c |     85034 |  197063   792644  2491976 | 2147483647    81751     75 | 55.943 % |
679.15/679.53	c |     85406 |  197063   792644  2491976 | 2147483647    82123     75 | 55.943 % |
679.75/680.18	c |     85815 |  197063   792644  2491976 | 2147483647    82532     75 | 55.943 % |
680.65/681.02	c |     86264 |  197063   792644  2491976 | 2147483647    82981     75 | 55.943 % |
681.45/681.82	c |     86759 |  197063   792644  2491976 | 2147483647    83476     76 | 55.943 % |
682.55/682.94	c |     87302 |  197063   792644  2491976 | 2147483647    84019     76 | 55.943 % |
683.45/683.87	c |     87899 |  197063   792644  2491976 | 2147483647    84616     76 | 55.943 % |
684.45/684.90	c |     88555 |  197063   792644  2491976 | 2147483647    85272     76 | 55.943 % |
686.95/687.33	c |     89277 |  197060   792639  2491964 | 2147483647    85989     76 | 55.973 % |
688.25/688.67	c |     90071 |  197060   792639  2491964 | 2147483647    86783     76 | 55.973 % |
689.25/689.64	c |     90942 |  197060   792639  2491964 | 2147483647    87654     76 | 55.973 % |
690.45/690.84	c |     91902 |  197060   792639  2491964 | 2147483647    88614     76 | 55.973 % |
691.75/692.13	c |     92956 |  196927   791939  2490254 | 2147483647    89661     76 | 55.973 % |
691.85/692.26	c |     93056 |  196927   791939  2490254 | 2147483647    89761     76 | 55.973 % |
692.15/692.58	c |     93166 |  196926   791939  2490254 | 2147483647    89870     76 | 55.980 % |
692.45/692.82	c |     93287 |  196926   791939  2490254 | 2147483647    89991     76 | 55.980 % |
692.65/693.11	c |     93420 |  196926   791939  2490254 | 2147483647    90124     76 | 55.980 % |
692.95/693.34	c |     93566 |  196926   791939  2490254 | 2147483647    90270     76 | 55.980 % |
693.05/693.48	c |     93726 |  196926   791939  2490254 | 2147483647    90430     76 | 55.980 % |
693.15/693.59	c |     93904 |  196926   791939  2490254 | 2147483647    90608     76 | 55.980 % |
693.35/693.73	c |     94098 |  196926   791939  2490254 | 2147483647    90802     76 | 55.980 % |
693.65/694.06	c |     94311 |  196926   791939  2490254 | 2147483647    91015     76 | 55.980 % |
694.35/694.81	c |     94545 |  196926   791939  2490254 | 2147483647    91249     77 | 55.980 % |
695.15/695.53	c |     94801 |  196926   791939  2490254 | 2147483647    91505     77 | 55.980 % |
695.65/696.02	c |     95082 |  196926   791939  2490254 | 2147483647    91786     77 | 55.980 % |
695.95/696.40	c |     95391 |  196926   791939  2490254 | 2147483647    92095     77 | 55.980 % |
697.25/697.62	c |     95730 |  196926   791939  2490254 | 2147483647    92433     77 | 56.010 % |
697.95/698.38	c |     96108 |  196763   791167  2488342 | 2147483647    92793     77 | 56.010 % |
698.55/698.99	c |     96517 |  196763   791167  2488342 | 2147483647    93202     77 | 56.010 % |
699.35/699.75	c |     96969 |  196763   791167  2488342 | 2147483647    93654     77 | 56.010 % |
700.55/700.93	c |     97462 |  196763   791167  2488342 | 2147483647    94147     77 | 56.010 % |
701.55/701.97	c |     98004 |  196763   791167  2488342 | 2147483647    94689     77 | 56.010 % |
702.55/702.98	c |     98602 |  196763   791167  2488342 | 2147483647    95287     77 | 56.010 % |
704.25/704.66	c |     99258 |  196763   791167  2488342 | 2147483647    95942     78 | 56.039 % |
706.55/706.93	c |     99978 |  196632   790505  2486720 | 2147483647    96657     77 | 56.039 % |
708.15/708.57	c |    100770 |  196632   790505  2486720 | 2147483647    97449     78 | 56.039 % |
710.05/710.49	c |    101643 |  196632   790505  2486720 | 2147483647    98322     78 | 56.039 % |
710.95/711.37	c |    102601 |  196632   790505  2486720 | 2147483647    99280     78 | 56.039 % |
712.95/713.32	c |    103654 |  196632   790505  2486720 | 2147483647   100333     78 | 56.039 % |
714.15/714.54	c |    104813 |  196590   790261  2486115 | 2147483647   101488     78 | 56.049 % |
714.35/714.73	c |    104913 |  196590   790261  2486115 | 2147483647   101588     78 | 56.049 % |
714.55/714.95	c |    105023 |  196589   790261  2486115 | 2147483647   101697     78 | 56.167 % |
714.85/715.29	c |    105146 |  196589   790261  2486115 | 2147483647   101820     78 | 56.167 % |
715.25/715.66	c |    105282 |  196589   790261  2486115 | 2147483647   101956     78 | 56.167 % |
715.45/715.90	c |    105429 |  196589   790261  2486115 | 2147483647   102103     78 | 56.167 % |
716.15/716.53	c |    105593 |  196589   790261  2486115 | 2147483647   102267     78 | 56.167 % |
716.65/717.10	c |    105769 |  196576   790261  2486115 | 2147483647   102441     78 | 56.187 % |
717.15/717.60	c |    105963 |  196576   790261  2486115 | 2147483647   102635     78 | 56.187 % |
717.65/718.03	c |    106177 |  196576   790261  2486115 | 2147483647   102849     78 | 56.187 % |
717.95/718.41	c |    106413 |  196576   790261  2486115 | 2147483647   103085     78 | 56.187 % |
718.35/718.80	c |    106669 |  196576   790261  2486115 | 2147483647   103341     78 | 56.187 % |
718.75/719.20	c |    106951 |  196576   790261  2486115 | 2147483647   103623     78 | 56.187 % |
719.15/719.54	c |    107260 |  196576   790261  2486115 | 2147483647   103932     78 | 56.187 % |
719.65/720.05	c |    107600 |  196576   790261  2486115 | 2147483647   104272     78 | 56.187 % |
720.25/720.71	c |    107972 |  196576   790261  2486115 | 2147483647   104644     78 | 56.187 % |
721.15/721.56	c |    108381 |  195972   788059  2480844 | 2147483647   104509     79 | 56.187 % |
721.75/722.19	c |    108832 |  195972   788059  2480844 | 2147483647   104960     79 | 56.187 % |
722.85/723.24	c |    109325 |  195972   788059  2480844 | 2147483647   105453     79 | 56.187 % |
724.55/724.99	c |    109868 |  195972   788059  2480844 | 2147483647   105996     79 | 56.187 % |
725.55/725.95	c |    110464 |  195972   788059  2480844 | 2147483647   106592     79 | 56.187 % |
726.65/727.03	c |    111119 |  195972   788059  2480844 | 2147483647   107247     79 | 56.187 % |
727.25/727.71	c |    111841 |  195972   788059  2480844 | 2147483647   107969     79 | 56.187 % |
728.55/728.96	c |    112634 |  195972   788059  2480844 | 2147483647   108762     79 | 56.187 % |
730.15/730.61	c |    113506 |  195972   788059  2480844 | 2147483647   109634     79 | 56.187 % |
731.25/731.64	c |    114465 |  195972   788059  2480844 | 2147483647   110593     79 | 56.187 % |
733.75/734.11	c |    115518 |  195841   787388  2479198 | 2147483647   111631     80 | 56.216 % |
735.45/735.91	c |    116677 |  195841   787388  2479198 | 2147483647   112789     79 | 56.246 % |
737.65/738.06	c |    117951 |  195841   787388  2479198 | 2147483647   114063     79 | 56.246 % |
737.75/738.19	c |    118053 |  195841   787388  2479198 | 2147483647   114165     79 | 56.246 % |
737.95/738.40	c |    118164 |  195841   787388  2479198 | 2147483647   114276     79 | 56.246 % |
738.25/738.64	c |    118286 |  195841   787388  2479198 | 2147483647   114398     79 | 56.246 % |
738.55/738.92	c |    118419 |  195840   787388  2479198 | 2147483647   114531     79 | 56.246 % |
739.15/739.57	c |    118565 |  195840   787388  2479198 | 2147483647   114677     79 | 56.246 % |
739.45/739.82	c |    118728 |  195840   787388  2479198 | 2147483647   114840     79 | 56.246 % |
739.85/740.24	c |    118904 |  195840   787388  2479198 | 2147483647   115016     79 | 56.246 % |
740.15/740.55	c |    119098 |  195840   787388  2479198 | 2147483647   115210     79 | 56.246 % |
740.75/741.19	c |    119310 |  195840   787388  2479198 | 2147483647   115421     79 | 56.260 % |
741.35/741.76	c |    119546 |  195840   787388  2479198 | 2147483647   115657     79 | 56.260 % |
741.95/742.39	c |    119804 |  195840   787388  2479198 | 2147483647   115915     79 | 56.260 % |
742.65/743.10	c |    120089 |  195643   786368  2476757 | 2147483647   116192     79 | 56.260 % |
743.55/744.00	c |    120400 |  195643   786368  2476757 | 2147483647   116502     79 | 56.260 % |
744.05/744.43	c |    120740 |  195643   786368  2476757 | 2147483647   116842     79 | 56.260 % |
744.46/744.87	c |    121114 |  195643   786368  2476757 | 2147483647   117216     80 | 56.260 % |
745.45/745.84	c |    121525 |  195643   786368  2476757 | 2147483647   117627     80 | 56.260 % |
746.85/747.28	c |    121974 |  195643   786368  2476757 | 2147483647   118076     80 | 56.260 % |
747.55/747.98	c |    122467 |  195643   786368  2476757 | 2147483647   118569     80 | 56.261 % |
748.45/748.82	c |    123011 |  195643   786368  2476757 | 2147483647   119113     80 | 56.260 % |
750.15/750.60	c |    123608 |  195643   786368  2476757 | 2147483647   119710     80 | 56.260 % |
751.65/752.05	c |    124265 |  195643   786368  2476757 | 2147483647   120367     80 | 56.260 % |
753.15/753.53	c |    124986 |  195642   786365  2476723 | 2147483647   121088     81 | 56.260 % |
754.95/755.33	c |    125778 |  195642   786365  2476723 | 2147483647   121880     81 | 56.260 % |
756.25/756.62	c |    126649 |  195642   786365  2476723 | 2147483647   122751     82 | 56.261 % |
758.05/758.43	c |    127607 |  195642   786365  2476723 | 2147483647   123709     82 | 56.260 % |
760.35/760.72	c |    128662 |  195642   786365  2476723 | 2147483647   124764     82 | 56.260 % |
762.65/763.02	c |    129823 |  195642   786365  2476723 | 2147483647   125925     82 | 56.261 % |
765.15/765.58	c |    131096 |  195642   786365  2476723 | 2147483647   127198     82 | 56.261 % |
767.75/768.17	c |    132496 |  195642   786365  2476723 | 2147483647   128598     82 | 56.261 % |
768.05/768.43	c |    132597 |  195642   786365  2476723 | 2147483647   128699     82 | 56.260 % |
768.55/768.94	c |    132707 |  195642   786365  2476723 | 2147483647   128809     82 | 56.260 % |
768.75/769.14	c |    132829 |  195642   786365  2476723 | 2147483647   128931     82 | 56.261 % |
768.95/769.38	c |    132962 |  195642   786365  2476723 | 2147483647   129064     82 | 56.260 % |
769.25/769.71	c |    133108 |  195642   786365  2476723 | 2147483647   129210     82 | 56.261 % |
769.76/770.15	c |    133268 |  195642   786365  2476723 | 2147483647   129370     82 | 56.260 % |
770.05/770.45	c |    133444 |  195642   786365  2476723 | 2147483647   129546     82 | 56.261 % |
770.45/770.83	c |    133637 |  195642   786365  2476723 | 2147483647   129739     82 | 56.261 % |
771.05/771.45	c |    133849 |  195642   786365  2476723 | 2147483647   129951     82 | 56.260 % |
771.65/772.03	c |    134082 |  195641   786362  2476717 | 2147483647   130175     82 | 56.261 % |
771.96/772.39	c |    134338 |  195641   786362  2476717 | 2147483647   130431     82 | 56.261 % |
772.45/772.89	c |    134619 |  195641   786362  2476717 | 2147483647   130712     82 | 56.261 % |
773.06/773.44	c |    134929 |  195641   786362  2476717 | 2147483647   131022     82 | 56.261 % |
773.95/774.32	c |    135268 |  195641   786362  2476717 | 2147483647   131361     82 | 56.261 % |
775.35/775.75	c |    135642 |  195641   786362  2476717 | 2147483647   131735     82 | 56.261 % |
775.85/776.30	c |    136052 |  195641   786362  2476717 | 2147483647   132145     82 | 56.261 % |
777.05/777.42	c |    136501 |  195641   786362  2476717 | 2147483647   132594     82 | 56.261 % |
778.35/778.73	c |    136999 |  195641   786362  2476717 | 2147483647   133092     82 | 56.261 % |
780.25/780.65	c |    137545 |  195641   786362  2476717 | 2147483647   133638     83 | 56.261 % |
781.15/781.53	c |    138146 |  195641   786362  2476717 | 2147483647   134239     83 | 56.261 % |
782.16/782.56	c |    138801 |  195641   786362  2476717 | 2147483647   134894     83 | 56.261 % |
783.66/784.11	c |    139522 |  195641   786362  2476717 | 2147483647   135615     83 | 56.261 % |
784.86/785.28	c |    140314 |  195641   786362  2476717 | 2147483647   136407     84 | 56.261 % |
787.36/787.79	c |    141186 |  195641   786362  2476717 | 2147483647   137279     84 | 56.261 % |
788.86/789.23	c |    142146 |  195641   786362  2476717 | 2147483647   138239     84 | 56.261 % |
789.86/790.29	c |    143199 |  195641   786362  2476717 | 2147483647   139292     84 | 56.261 % |
791.86/792.30	c |    144357 |  195641   786362  2476717 | 2147483647   140450     84 | 56.261 % |
794.96/795.35	c |    145630 |  195640   786359  2476711 | 2147483647   141721     84 | 56.261 % |
798.86/799.25	c |    147030 |  195640   786359  2476711 | 2147483647   143121     84 | 56.261 % |
802.26/802.65	c |    148571 |  195640   786359  2476711 | 2147483647   144662     85 | 56.261 % |
802.56/803.02	c |    148673 |  195640   786359  2476711 | 2147483647   144764     85 | 56.261 % |
803.16/803.56	c |    148789 |  195640   786359  2476711 | 2147483647   144880     85 | 56.261 % |
803.36/803.78	c |    148910 |  195640   786359  2476711 | 2147483647   145001     85 | 56.261 % |
803.56/803.94	c |    149043 |  195640   786359  2476711 | 2147483647   145134     85 | 56.261 % |
803.96/804.36	c |    149191 |  195640   786359  2476711 | 2147483647   145282     85 | 56.261 % |
804.16/804.61	c |    149352 |  195640   786359  2476711 | 2147483647   145443     85 | 56.261 % |
804.66/805.08	c |    149528 |  195639   786356  2476705 | 2147483647   145618     85 | 56.261 % |
805.06/805.49	c |    149722 |  195639   786356  2476705 | 2147483647   145812     85 | 56.261 % |
805.36/805.81	c |    149934 |  195639   786356  2476705 | 2147483647   146024     85 | 56.261 % |
805.86/806.23	c |    150171 |  195639   786356  2476705 | 2147483647   146261     85 | 56.261 % |
806.46/806.87	c |    150428 |  195639   786356  2476705 | 2147483647   146518     85 | 56.261 % |
806.96/807.36	c |    150710 |  195639   786356  2476705 | 2147483647   146800     85 | 56.261 % |
807.46/807.90	c |    151022 |  195639   786356  2476705 | 2147483647   147112     85 | 56.261 % |
808.46/808.83	c |    151362 |  195639   786356  2476705 | 2147483647   147452     85 | 56.261 % |
809.36/809.77	c |    151734 |  195639   786356  2476705 | 2147483647   147824     85 | 56.261 % |
810.26/810.66	c |    152144 |  195639   786356  2476705 | 2147483647   148234     85 | 56.261 % |
811.76/812.18	c |    152593 |  195639   786356  2476705 | 2147483647   148683     85 | 56.261 % |
813.66/814.09	c |    153089 |  195639   786356  2476705 | 2147483647   149179     85 | 56.261 % |
814.46/814.84	c |    153631 |  195639   786356  2476705 | 2147483647   149720     85 | 56.276 % |
815.36/815.75	c |    154230 |  195638   786356  2476705 | 2147483647   150319     85 | 56.276 % |
817.66/818.09	c |    154885 |  195638   786356  2476705 | 2147483647   150974     85 | 56.276 % |
819.16/819.56	c |    155607 |  195573   786128  2476110 | 2147483647   151691     85 | 56.276 % |
820.76/821.14	c |    156399 |  195573   786128  2476110 | 2147483647   152483     85 | 56.276 % |
822.36/822.74	c |    157271 |  195573   786128  2476110 | 2147483647   153355     85 | 56.276 % |
824.36/824.77	c |    158232 |  195573   786128  2476110 | 2147483647   154316     85 | 56.276 % |
828.16/828.60	c |    159285 |  195573   786128  2476110 | 2147483647   155369     85 | 56.276 % |
831.36/831.77	c |    160443 |  192375   776074  2451852 | 2147483647   156457     85 | 56.991 % |
834.06/834.48	c |    161718 |  192375   776074  2451852 | 2147483647   157732     85 | 56.991 % |
837.46/837.90	c |    163118 |  192375   776074  2451852 | 2147483647   159131     85 | 57.069 % |
840.56/840.96	c |    164658 |  192375   776074  2451852 | 2147483647   160671     86 | 57.069 % |
844.86/845.30	c |    166352 |  192375   776074  2451852 | 2147483647   162365     86 | 57.069 % |
845.26/845.67	c |    166452 |  192024   774665  2447237 | 2147483647   162434     86 | 57.069 % |
845.46/845.90	c |    166563 |  192024   774665  2447237 | 2147483647   162545     86 | 57.069 % |
845.86/846.32	c |    166686 |  192024   774665  2447237 | 2147483647   162668     86 | 57.069 % |
846.06/846.50	c |    166820 |  192024   774665  2447237 | 2147483647   162802     86 | 57.069 % |
846.36/846.72	c |    166966 |  192024   774665  2447237 | 2147483647   162948     86 | 57.069 % |
846.46/846.90	c |    167126 |  192024   774665  2447237 | 2147483647   163108     86 | 57.069 % |
846.76/847.19	c |    167303 |  192024   774665  2447237 | 2147483647   163285     86 | 57.069 % |
847.36/847.75	c |    167498 |  192024   774665  2447237 | 2147483647   163480     86 | 57.069 % |
847.86/848.31	c |    167713 |  192024   774665  2447237 | 2147483647   163695     87 | 57.069 % |
848.36/848.78	c |    167947 |  192024   774665  2447237 | 2147483647   163929     87 | 57.069 % |
849.26/849.63	c |    168204 |  192024   774665  2447237 | 2147483647   164186     87 | 57.069 % |
849.66/850.04	c |    168485 |  192024   774665  2447237 | 2147483647   164467     87 | 57.069 % |
850.56/850.95	c |    168794 |  192024   774665  2447237 | 2147483647   164776     87 | 57.069 % |
851.06/851.52	c |    169134 |  192024   774665  2447237 | 2147483647   165116     87 | 57.069 % |
851.76/852.15	c |    169506 |  192024   774665  2447237 | 2147483647   165488     87 | 57.069 % |
852.66/853.09	c |    169918 |  192024   774665  2447237 | 2147483647   165900     87 | 57.069 % |
853.76/854.14	c |    170369 |  192024   774665  2447237 | 2147483647   166351     87 | 57.069 % |
854.96/855.39	c |    170862 |  192024   774665  2447237 | 2147483647   166844     87 | 57.069 % |
856.56/857.01	c |    171404 |  192024   774665  2447237 | 2147483647   167386     87 | 57.069 % |
858.16/858.54	c |    172001 |  192024   774665  2447237 | 2147483647   167983     87 | 57.069 % |
859.86/860.30	c |    172656 |  192024   774665  2447237 | 2147483647   168638     87 | 57.069 % |
862.66/863.10	c |    173376 |  192024   774665  2447237 | 2147483647   169358     87 | 57.069 % |
864.56/865.02	c |    174168 |  192024   774665  2447237 | 2147483647   170150     87 | 57.069 % |
866.46/866.92	c |    175039 |  192024   774665  2447237 | 2147483647   171021     87 | 57.069 % |
868.26/868.72	c |    175999 |  192024   774665  2447237 | 2147483647   171981     88 | 57.069 % |
871.36/871.75	c |    177053 |  191514   773082  2443442 | 2147483647   173033     88 | 57.334 % |
874.15/874.59	c |    178211 |  191513   773082  2443442 | 2147483647   174190     88 | 57.334 % |
879.45/879.91	c |    179484 |  191513   773082  2443442 | 2147483647   175463     88 | 57.334 % |
885.55/885.92	c |    180884 |  191513   773082  2443442 | 2147483647   176863     89 | 57.334 % |
890.85/891.30	c |    182424 |  190839   770522  2435324 | 2147483647   178386     89 | 57.334 % |
893.75/894.12	c |    184120 |  190839   770522  2435324 | 2147483647   180082     90 | 57.334 % |
896.96/897.34	c |    185983 |  190839   770522  2435324 | 2147483647   181945     91 | 57.334 % |
897.16/897.61	c |    186083 |  190839   770522  2435324 | 2147483647   182045     91 | 57.334 % |
897.56/897.97	c |    186193 |  190839   770522  2435324 | 2147483647   182155     91 | 57.334 % |
897.96/898.36	c |    186314 |  190839   770522  2435324 | 2147483647   182276     91 | 57.334 % |
898.26/898.69	c |    186449 |  190839   770522  2435324 | 2147483647   182411     91 | 57.334 % |
898.66/899.09	c |    186595 |  190839   770522  2435324 | 2147483647   182557     91 | 57.334 % |
899.16/899.53	c |    186757 |  190839   770522  2435324 | 2147483647   182719     91 | 57.334 % |
899.46/899.89	c |    186934 |  190839   770522  2435324 | 2147483647   182896     91 | 57.334 % |
899.86/900.22	c |    187127 |  190839   770522  2435324 | 2147483647   183089     91 | 57.334 % |
900.16/900.54	c |    187340 |  190839   770522  2435324 | 2147483647   183302     91 | 57.334 % |
900.76/901.13	c |    187574 |  190839   770522  2435324 | 2147483647   183536     91 | 57.334 % |
901.36/901.81	c |    187831 |  190839   770522  2435324 | 2147483647   183793     91 | 57.334 % |
901.86/902.23	c |    188112 |  190839   770522  2435324 | 2147483647   184074     91 | 57.334 % |
902.36/902.76	c |    188423 |  190839   770522  2435324 | 2147483647   184385     91 | 57.334 % |
903.16/903.53	c |    188763 |  190839   770522  2435324 | 2147483647   184725     91 | 57.334 % |
904.16/904.61	c |    189135 |  190839   770522  2435324 | 2147483647   185097     92 | 57.334 % |
904.96/905.40	c |    189544 |  190839   770522  2435324 | 2147483647   185506     92 | 57.334 % |
906.56/906.99	c |    189994 |  190839   770522  2435324 | 2147483647   185956     92 | 57.334 % |
907.45/907.84	c |    190487 |  190839   770522  2435324 | 2147483647   186449     92 | 57.334 % |
908.55/908.93	c |    191029 |  190839   770522  2435324 | 2147483647   186991     92 | 57.334 % |
911.55/911.93	c |    191626 |  190839   770522  2435324 | 2147483647   187588     92 | 57.334 % |
913.05/913.44	c |    192281 |  190839   770522  2435324 | 2147483647   188243     92 | 57.334 % |
916.05/916.45	c |    193001 |  190839   770522  2435324 | 2147483647   188963     92 | 57.334 % |
919.75/920.10	c |    193794 |  190839   770522  2435324 | 2147483647   189756     92 | 57.334 % |
921.65/922.04	c |    194667 |  190838   770518  2435314 | 2147483647   190624     92 | 57.335 % |
922.75/923.16	c |    195627 |  190838   770518  2435314 | 2147483647   191584     92 | 57.335 % |
924.55/924.94	c |    196680 |  190838   770518  2435314 | 2147483647   192637     92 | 57.335 % |
928.95/929.32	c |    197838 |  190838   770518  2435314 | 2147483647   193795     92 | 57.335 % |
930.85/931.27	c |    199114 |  190838   770518  2435314 | 2147483647   195071     92 | 57.335 % |
933.15/933.54	c |    200517 |  190838   770518  2435314 | 2147483647   196474     91 | 57.335 % |
939.55/939.98	c |    202057 |  190838   770518  2435314 | 2147483647   198014     91 | 57.335 % |
944.95/945.35	c |    203751 |  190838   770518  2435314 | 2147483647   199708     91 | 57.335 % |
948.35/948.75	c |    205615 |  190838   770518  2435314 | 2147483647   201572     93 | 57.335 % |
952.35/952.78	c |    207665 |  190838   770518  2435314 | 2147483647   203622     93 | 57.335 % |
952.65/953.08	c |    207768 |  190838   770518  2435314 | 2147483647   203725     93 | 57.335 % |
953.15/953.60	c |    207878 |  190838   770518  2435314 | 2147483647   203835     93 | 57.335 % |
953.65/954.06	c |    207999 |  190838   770518  2435314 | 2147483647   203956     93 | 57.335 % |
954.05/954.42	c |    208134 |  190838   770518  2435314 | 2147483647   204091     93 | 57.335 % |
954.55/955.00	c |    208280 |  190838   770518  2435314 | 2147483647   204237     93 | 57.335 % |
955.25/955.64	c |    208440 |  190838   770518  2435314 | 2147483647   204397     93 | 57.335 % |
955.55/956.00	c |    208616 |  190838   770518  2435314 | 2147483647   204573     93 | 57.335 % |
955.95/956.39	c |    208809 |  190838   770518  2435314 | 2147483647   204766     93 | 57.335 % |
956.75/957.12	c |    209022 |  190838   770518  2435314 | 2147483647   204979     93 | 57.335 % |
957.45/957.85	c |    209255 |  190837   770515  2435308 | 2147483647   205211     93 | 57.335 % |
958.25/958.68	c |    209511 |  190833   770515  2435308 | 2147483647   205463     93 | 57.411 % |
958.75/959.19	c |    209792 |  190826   770515  2435308 | 2147483647   205742     93 | 57.545 % |
959.75/960.11	c |    210103 |  190823   770515  2435308 | 2147483647   206051     93 | 57.546 % |
960.75/961.20	c |    210443 |  190823   770515  2435308 | 2147483647   206390     93 | 57.606 % |
961.95/962.39	c |    210815 |  190818   770515  2435308 | 2147483647   206758     93 | 57.621 % |
963.05/963.41	c |    211226 |  190815   770515  2435308 | 2147483647   207168     93 | 57.621 % |
963.75/964.16	c |    211677 |  190815   770515  2435308 | 2147483647   207619     93 | 57.621 % |
965.35/965.79	c |    212170 |  190815   770515  2435308 | 2147483647   208112     94 | 57.621 % |
966.85/967.22	c |    212715 |  190690   770515  2435308 | 2147483647   208657     94 | 57.621 % |
967.95/968.38	c |    213311 |  190680   770515  2435308 | 2147483647   209251     94 | 58.545 % |
969.75/970.15	c |    213968 |  190680   770515  2435308 | 2147483647   209908     94 | 58.545 % |
971.55/971.92	c |    214688 |  190680   770515  2435308 | 2147483647   210628     94 | 58.545 % |
972.75/973.16	c |    215485 |  190680   770515  2435308 | 2147483647   211425     94 | 58.545 % |
974.75/975.14	c |    216356 |  185424   751131  2364272 | 2147483647   212115     94 | 58.558 % |
977.35/977.73	c |    217314 |  185413   751131  2364272 | 2147483647   213069     94 | 58.624 % |
980.25/980.70	c |    218368 |  185355   751131  2364272 | 2147483647   214114     95 | 60.994 % |
984.75/985.17	c |    219526 |  185355   751131  2364272 | 2147483647   215272     96 | 60.994 % |
987.25/987.66	c |    220800 |  185346   751131  2364272 | 2147483647   216543     96 | 61.163 % |
991.35/991.72	c |    222200 |  185141   751131  2364272 | 2147483647   217943     96 | 61.163 % |
994.75/995.11	c |    223741 |  173714   713231  2245310 | 2147483647   219389     96 | 61.163 % |
998.95/999.36	c |    225436 |  173714   713231  2245310 | 2147483647   221083     96 | 61.163 % |
1002.55/1003.00	c |    227299 |  173714   713231  2245310 | 2147483647   222946     97 | 61.163 % |
1008.25/1008.68	c |    229352 |  173714   713231  2245310 | 2147483647   224999     97 | 61.163 % |
1013.16/1013.56	c |    231605 |  173714   713231  2245310 | 2147483647   227252     97 | 61.163 % |
1013.36/1013.78	c |    231705 |  173714   713231  2245310 | 2147483647   227352     97 | 61.163 % |
1013.56/1013.99	c |    231816 |  173714   713231  2245310 | 2147483647   227463     97 | 61.163 % |
1013.86/1014.28	c |    231937 |  173714   713231  2245310 | 2147483647   227584     97 | 61.163 % |
1014.16/1014.58	c |    232073 |  173714   713231  2245310 | 2147483647   227720     97 | 61.163 % |
1014.66/1015.07	c |    232222 |  173714   713231  2245310 | 2147483647   227869     97 | 61.163 % |
1015.36/1015.79	c |    232384 |  173713   713228  2245304 | 2147483647   228031     97 | 61.163 % |
1015.96/1016.34	c |    232560 |  173713   713228  2245304 | 2147483647   228207     97 | 61.163 % |
1016.96/1017.37	c |    232753 |  173713   713228  2245304 | 2147483647   228400     97 | 61.163 % |
1018.06/1018.47	c |    232965 |  173713   713228  2245304 | 2147483647   228612     97 | 61.163 % |
1018.96/1019.33	c |    233198 |  173713   713228  2245304 | 2147483647   228845     97 | 61.163 % |
1019.86/1020.29	c |    233455 |  173713   713228  2245304 | 2147483647   229102     97 | 61.163 % |
1020.86/1021.30	c |    233737 |  173713   713228  2245304 | 2147483647   229384     97 | 61.163 % |
1021.86/1022.27	c |    234046 |  173710   713228  2245304 | 2147483647   229692     97 | 61.173 % |
1022.56/1022.98	c |    234386 |  173710   713228  2245304 | 2147483647   230032     97 | 61.173 % |
1024.26/1024.63	c |    234759 |  173710   713228  2245304 | 2147483647   230405     97 | 61.173 % |
1025.06/1025.44	c |    235168 |  173698   713228  2245304 | 2147483647   230814     97 | 61.173 % |
1026.96/1027.37	c |    235617 |  173698   713228  2245304 | 2147483647   231263     97 | 61.173 % |
1028.06/1028.49	c |    236110 |  173698   713228  2245304 | 2147483647   231756     97 | 61.173 % |
1029.26/1029.66	c |    236652 |  173698   713228  2245304 | 2147483647   232298     97 | 61.173 % |
1031.46/1031.87	c |    237248 |  173698   713228  2245304 | 2147483647   232894     97 | 61.173 % |
1033.86/1034.29	c |    237903 |  173698   713228  2245304 | 2147483647   233549     97 | 61.173 % |
1036.16/1036.57	c |    238623 |  173698   713228  2245304 | 2147483647   234269     97 | 61.173 % |
1037.16/1037.55	c |    239415 |  173698   713228  2245304 | 2147483647   235061     97 | 61.173 % |
1039.96/1040.35	c |    240288 |  173698   713228  2245304 | 2147483647   235934     97 | 61.173 % |
1043.56/1043.97	c |    241246 |  173670   712941  2244573 | 2147483647   236304     98 | 61.173 % |
1045.66/1046.02	c |    242299 |  173670   712941  2244573 | 2147483647   237357     98 | 61.173 % |
1049.36/1049.72	c |    243458 |  173670   712941  2244573 | 2147483647   238516     98 | 61.173 % |
1051.46/1051.81	c |    244731 |  173670   712941  2244573 | 2147483647   239789     98 | 61.173 % |
1053.96/1054.34	c |    246131 |  173667   712941  2244573 | 2147483647   241187     98 | 61.193 % |
1058.66/1059.04	c |    247672 |  173658   712941  2244573 | 2147483647   242722     97 | 61.291 % |
1062.36/1062.79	c |    249366 |  173657   712941  2244573 | 2147483647   244415     97 | 61.302 % |
1069.16/1069.57	c |    251229 |  173093   709626  2236091 | 2147483647   245102     97 | 61.302 % |
1072.66/1073.11	c |    253278 |  173092   709626  2236091 | 2147483647   247150     97 | 61.302 % |
1081.07/1081.43	c |    255533 |  173092   709626  2236091 | 2147483647   249405     97 | 61.302 % |
1085.76/1086.17	c |    258011 |  173092   709626  2236091 | 2147483647   251883     97 | 61.302 % |
1086.06/1086.43	c |    258112 |  173092   709626  2236091 | 2147483647   251984     97 | 61.302 % |
1086.36/1086.74	c |    258224 |  173092   709626  2236091 | 2147483647   252096     97 | 61.302 % |
1086.86/1087.28	c |    258347 |  173092   709623  2236085 | 2147483647   252219     97 | 61.302 % |
1087.36/1087.72	c |    258480 |  173092   709623  2236085 | 2147483647   252352     97 | 61.302 % |
1087.56/1087.95	c |    258626 |  173092   709623  2236085 | 2147483647   252498     97 | 61.302 % |
1088.16/1088.57	c |    258787 |  173092   709623  2236085 | 2147483647   252659     97 | 61.302 % |
1088.56/1088.97	c |    258964 |  173092   709623  2236085 | 2147483647   252836     97 | 61.302 % |
1088.96/1089.35	c |    259160 |  173092   709623  2236085 | 2147483647   253032     97 | 61.302 % |
1089.96/1090.31	c |    259373 |  173092   709623  2236085 | 2147483647   253245     97 | 61.302 % |
1090.56/1090.98	c |    259606 |  173092   709623  2236085 | 2147483647   253478     97 | 61.302 % |
1090.86/1091.28	c |    259863 |  173092   709623  2236085 | 2147483647   253735     97 | 61.302 % |
1091.56/1091.93	c |    260144 |  173092   709623  2236085 | 2147483647   254016     97 | 61.302 % |
1092.26/1092.63	c |    260455 |  173092   709623  2236085 | 2147483647   254327     97 | 61.302 % |
1093.36/1093.78	c |    260795 |  173092   709623  2236085 | 2147483647   254666     97 | 61.302 % |
1094.46/1094.84	c |    261167 |  173091   709623  2236085 | 2147483647   255038     97 | 61.302 % |
1096.36/1096.80	c |    261576 |  173090   709623  2236085 | 2147483647   255445     97 | 61.314 % |
1097.86/1098.26	c |    262025 |  173090   709623  2236085 | 2147483647   255894     97 | 61.314 % |
1099.86/1100.28	c |    262518 |  173090   709623  2236085 | 2147483647   256387     97 | 61.314 % |
1101.46/1101.83	c |    263061 |  173090   709623  2236085 | 2147483647   256930     97 | 61.314 % |
1103.26/1103.68	c |    263657 |  173090   709623  2236085 | 2147483647   257526     97 | 61.314 % |
1104.36/1104.79	c |    264314 |  173090   709623  2236085 | 2147483647   258183     97 | 61.314 % |
1106.76/1107.16	c |    265036 |  173090   709623  2236085 | 2147483647   258904     97 | 61.329 % |
1110.86/1111.29	c |    265830 |  173090   709623  2236085 | 2147483647   259697     97 | 61.329 % |
1115.06/1115.48	c |    266702 |  173090   709623  2236085 | 2147483647   260569     97 | 61.329 % |
1119.26/1119.63	c |    267660 |  172972   708994  2234569 | 2147483647   261472     97 | 61.329 % |
1123.56/1123.91	c |    268714 |  172972   708994  2234569 | 2147483647   262526     97 | 61.329 % |
1126.87/1127.31	c |    269872 |  172972   708994  2234569 | 2147483647   263684     97 | 61.329 % |
1131.97/1132.34	c |    271145 |  172972   708994  2234569 | 2147483647   264957     98 | 61.329 % |
1135.27/1135.66	c |    272547 |  172972   708994  2234569 | 2147483647   266359     98 | 61.329 % |
1140.37/1140.73	c |    274088 |  172972   708994  2234569 | 2147483647   267900     98 | 61.329 % |
1144.57/1145.01	c |    275782 |  172907   708639  2233492 | 2147483647   269582     98 | 61.357 % |
1150.37/1150.75	c |    277647 |  172907   708639  2233492 | 2147483647   271447     98 | 61.357 % |
1156.17/1156.57	c |    279696 |  172907   708639  2233492 | 2147483647   273496     98 | 61.357 % |
1162.57/1162.93	c |    281949 |  172907   708639  2233492 | 2147483647   275748     98 | 61.364 % |
1168.37/1168.79	c |    284427 |  172904   708639  2233492 | 2147483647   278223     98 | 61.372 % |
1180.17/1180.56	c |    287153 |  172880   708639  2233492 | 2147483647   280947     98 | 61.406 % |
1180.77/1181.14	c |    287253 |  172625   707207  2229912 | 2147483647   280369     98 | 61.406 % |
1180.87/1181.28	c |    287364 |  172625   707207  2229912 | 2147483647   280480     98 | 61.406 % |
1181.17/1181.61	c |    287485 |  172625   707207  2229912 | 2147483647   280601     98 | 61.406 % |
1181.57/1181.91	c |    287619 |  172625   707207  2229912 | 2147483647   280735     98 | 61.406 % |
1181.97/1182.34	c |    287765 |  172625   707207  2229912 | 2147483647   280881     98 | 61.406 % |
1182.47/1182.82	c |    287925 |  172625   707207  2229912 | 2147483647   281041     98 | 61.406 % |
1182.97/1183.32	c |    288103 |  172625   707207  2229912 | 2147483647   281219     98 | 61.406 % |
1183.57/1183.97	c |    288296 |  172625   707207  2229912 | 2147483647   281412     98 | 61.406 % |
1184.37/1184.80	c |    288512 |  172625   707207  2229912 | 2147483647   281628     98 | 61.406 % |
1185.27/1185.68	c |    288747 |  172625   707207  2229912 | 2147483647   281863     98 | 61.406 % |
1185.67/1186.03	c |    289003 |  172625   707207  2229912 | 2147483647   282119     98 | 61.406 % |
1187.07/1187.50	c |    289284 |  172612   707207  2229912 | 2147483647   282399     98 | 61.429 % |
1187.87/1188.23	c |    289593 |  172612   707207  2229912 | 2147483647   282708     98 | 61.429 % |
1188.87/1189.30	c |    289934 |  172612   707207  2229912 | 2147483647   283049     98 | 61.429 % |
1189.57/1189.93	c |    290309 |  172612   707207  2229912 | 2147483647   283424     98 | 61.429 % |
1190.87/1191.31	c |    290719 |  172612   707207  2229912 | 2147483647   283834     98 | 61.429 % |
1192.57/1193.00	c |    291172 |  172612   707207  2229912 | 2147483647   284287     98 | 61.429 % |
1194.27/1194.68	c |    291665 |  172612   707207  2229912 | 2147483647   284780     98 | 61.429 % |
1195.77/1196.19	c |    292208 |  172612   707207  2229912 | 2147483647   285323     98 | 61.429 % |
1197.57/1197.96	c |    292804 |  172612   707207  2229912 | 2147483647   285919     98 | 61.429 % |
1200.07/1200.41	c |    293459 |  172612   707207  2229912 | 2147483647   286574     98 | 61.429 % |
1200.07/1200.43	HOME/SatELiteGTI: line 36:  7257 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5743
/proc/meminfo: memFree=565712/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) R 5741 5743 9090 0 -1 4194304 352 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688748 3085846388 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=0 CPUtime=0
/proc/5747/stat : 5747 (SatELiteGTI) R 5743 5743 9090 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 1 0 1010525551 0 0 4294967295 0 0 0 3218688900 3085847018 0 0 0 0 0 0 0 17 2 0 0 0
/proc/5747/statm: 0 0 0 0 0 0 0

[startup+0.103569 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5743
/proc/meminfo: memFree=565712/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=16044 CPUtime=0.1
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 3480 0 0 0 7 3 0 0 20 0 1 0 1010525551 16429056 3416 4294967295 134512640 135223648 3216057936 3216056436 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 4011 3417 46 174 0 3836 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 18460

[startup+0.223563 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5743
/proc/meminfo: memFree=565712/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=33244 CPUtime=0.22
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 7000 0 0 0 15 7 0 0 21 0 1 0 1010525551 34041856 6936 4294967295 134512640 135223648 3216057936 3216056888 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 8311 6936 46 174 0 8136 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 35660

[startup+0.323557 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5743
/proc/meminfo: memFree=565712/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=41956 CPUtime=0.32
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 10180 0 0 0 23 9 0 0 21 0 1 0 1010525551 42962944 10116 4294967295 134512640 135223648 3216057936 3216056520 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 10489 10117 46 174 0 10314 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 44372

[startup+0.723538 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 5743
/proc/meminfo: memFree=565712/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=112952 CPUtime=0.72
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 22060 0 0 0 56 16 0 0 22 0 1 0 1010525551 115662848 21996 4294967295 134512640 135223648 3216057936 3216056520 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 28238 21996 46 174 0 28063 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 115368

[startup+1.5235 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5748
/proc/meminfo: memFree=430512/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=179548 CPUtime=1.52
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 44312 0 0 0 119 33 0 0 25 0 1 0 1010525551 183857152 44248 4294967295 134512640 135223648 3216057936 3216056888 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 44887 44249 46 174 0 44712 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 181964

[startup+3.12342 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5748
/proc/meminfo: memFree=316184/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=354992 CPUtime=3.12
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 85425 0 0 0 250 62 0 0 25 0 1 0 1010525551 363511808 85361 4294967295 134512640 135223648 3216057936 3216056504 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 88748 85361 46 174 0 88573 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 357408

[startup+6.32327 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5748
/proc/meminfo: memFree=53492/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=713000 CPUtime=6.32
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 155584 0 0 0 536 96 0 0 25 0 1 0 1010525551 730112000 155432 4294967295 134512640 135223648 3216057936 3216056432 134548300 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 178250 155432 68 174 0 178075 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 715416

[startup+12.723 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5748
/proc/meminfo: memFree=55124/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=776764 CPUtime=12.72
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 180508 0 0 0 1161 111 0 0 25 0 1 0 1010525551 795406336 164882 4294967295 134512640 135223648 3216057936 3216055936 134549039 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 194191 164882 73 174 0 194016 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 779180

[startup+25.5224 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5748
/proc/meminfo: memFree=54056/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=777020 CPUtime=25.52
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 180574 0 0 0 2441 111 0 0 25 0 1 0 1010525551 795668480 164948 4294967295 134512640 135223648 3216057936 3216055936 134548217 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 194255 164948 73 174 0 194080 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 779436

[startup+51.1111 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5933
/proc/meminfo: memFree=51584/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=777020 CPUtime=51.11
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 180709 0 0 0 5000 111 0 0 25 0 1 0 1010525551 795668480 165083 4294967295 134512640 135223648 3216057936 3216055792 134578192 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 194255 165083 73 174 0 194080 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 779436

[startup+102.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 6120
/proc/meminfo: memFree=53720/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=777532 CPUtime=102.32
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 181012 0 0 0 10115 117 0 0 25 0 1 0 1010525551 796192768 165386 4294967295 134512640 135223648 3216057936 3216055936 134548334 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 194383 165386 73 174 0 194208 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 779948

[startup+162.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 6313
/proc/meminfo: memFree=52312/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=785724 CPUtime=162.31
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 181439 0 0 0 16109 122 0 0 25 0 1 0 1010525551 804581376 165813 4294967295 134512640 135223648 3216057936 3216055936 134548334 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 196431 165813 73 174 0 196256 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 788140

[startup+222.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6501
/proc/meminfo: memFree=53100/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=786748 CPUtime=222.32
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 181961 0 0 0 22107 125 0 0 25 0 1 0 1010525551 805629952 166335 4294967295 134512640 135223648 3216057936 3216055936 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5747/statm: 196687 166335 73 174 0 196512 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 789164

[startup+282.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 6687
/proc/meminfo: memFree=52732/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=792084 CPUtime=282.1
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 183831 0 0 0 28067 143 0 0 25 0 1 0 1010525551 811094016 168205 4294967295 134512640 135223648 3216057936 3216055936 134549033 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5747/statm: 198021 168205 73 174 0 197846 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 794500

[startup+342.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 6878
/proc/meminfo: memFree=51716/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2416 CPUtime=0.01
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 365 647 0 0 0 0 0 1 18 0 1 0 1010525550 2473984 276 4294967295 134512640 135169312 3218690272 3218688808 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 604 276 235 161 0 43 0
[pid=5747] ppid=5743 vsize=804860 CPUtime=342.04
/proc/5747/stat : 5747 (SatELite_releas) R 5743 5743 9090 0 -1 4202496 187089 0 0 0 34050 154 0 0 25 0 1 0 1010525551 824176640 171255 4294967295 134512640 135223648 3216057936 3216055936 134549024 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5747/statm: 201215 171255 73 174 0 201040 0
Current children cumulated CPU time (s) 342.05

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

[pid=7257] ppid=5743 vsize=129356 CPUtime=26.73
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 31186 0 0 0 2649 24 0 0 25 0 1 0 1010575109 132460544 31009 4294967295 134512640 135215339 3214120160 3214118368 134526145 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 32339 31009 73 172 0 32166 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 131776

[startup+582.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 7633
/proc/meminfo: memFree=611420/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=129356 CPUtime=86.74
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 31252 0 0 0 8649 25 0 0 25 0 1 0 1010575109 132460544 31075 4294967295 134512640 135215339 3214120160 3214118448 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 32339 31075 73 172 0 32166 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 131776

[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7822
/proc/meminfo: memFree=609768/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=131336 CPUtime=146.74
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 31744 0 0 0 14648 26 0 0 25 0 1 0 1010575109 134488064 31567 4294967295 134512640 135215339 3214120160 3214118448 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 32834 31567 73 172 0 32661 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 133756

[startup+702.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8009
/proc/meminfo: memFree=597048/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=143640 CPUtime=206.75
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 34770 0 0 0 20647 28 0 0 25 0 1 0 1010575109 147087360 34593 4294967295 134512640 135215339 3214120160 3214118448 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 35910 34593 73 172 0 35737 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 146060

[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8198
/proc/meminfo: memFree=584736/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=155932 CPUtime=266.75
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 37870 0 0 0 26646 29 0 0 25 0 1 0 1010575109 159674368 37693 4294967295 134512640 135215339 3214120160 3214118448 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 38983 37693 73 172 0 38810 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 158352

[startup+822.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8386
/proc/meminfo: memFree=573816/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=167108 CPUtime=326.76
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 40630 0 0 0 32647 29 0 0 25 0 1 0 1010575109 171118592 40453 4294967295 134512640 135215339 3214120160 3214118448 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 41777 40453 73 172 0 41604 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 169528

[startup+882.321 s]
/proc/loadavg: 1.08 1.02 1.01 2/93 8572
/proc/meminfo: memFree=562576/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=178084 CPUtime=386.76
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 43400 0 0 0 38642 34 0 0 25 0 1 0 1010575109 182358016 43223 4294967295 134512640 135215339 3214120160 3214118448 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 44521 43223 73 172 0 44348 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 180504

[startup+942.308 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 8765
/proc/meminfo: memFree=551992/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=188808 CPUtime=446.75
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 46083 0 0 0 44638 37 0 0 25 0 1 0 1010575109 193339392 45906 4294967295 134512640 135215339 3214120160 3214118448 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 47202 45906 73 172 0 47029 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 191228

[startup+1002.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 8952
/proc/meminfo: memFree=538212/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=202888 CPUtime=506.75
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 49532 0 0 0 50635 40 0 0 25 0 1 0 1010575109 207757312 49355 4294967295 134512640 135215339 3214120160 3214118432 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 50722 49355 73 172 0 50549 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 205308

[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9144
/proc/meminfo: memFree=528796/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=211896 CPUtime=566.76
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 51807 0 0 0 56635 41 0 0 25 0 1 0 1010575109 216981504 51630 4294967295 134512640 135215339 3214120160 3214118448 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 52974 51630 73 172 0 52801 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 214316

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9332
/proc/meminfo: memFree=520984/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=219528 CPUtime=626.76
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 53734 0 0 0 62633 43 0 0 25 0 1 0 1010575109 224796672 53557 4294967295 134512640 135215339 3214120160 3214118448 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 54882 53557 73 172 0 54709 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 221948

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9518
/proc/meminfo: memFree=512072/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=228700 CPUtime=686.77
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 56010 0 0 0 68633 44 0 0 25 0 1 0 1010575109 234188800 55833 4294967295 134512640 135215339 3214120160 3214118160 134532626 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 57175 55833 73 172 0 57002 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 231120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9522
/proc/meminfo: memFree=509548/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=231088 CPUtime=704.87
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 56607 0 0 0 70442 45 0 0 25 0 1 0 1010575109 236634112 56430 4294967295 134512640 135215339 3214120160 3214108900 134743406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 57772 56430 73 172 0 57599 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 233508

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

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

[startup+1200.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9522
/proc/meminfo: memFree=509548/2074464 swapFree=1953004/1959888
[pid=5743] ppid=5741 vsize=2420 CPUtime=495.2
/proc/5743/stat : 5743 (SatELiteGTI) S 5741 5743 9090 0 -1 4194304 385 366726 0 0 0 0 49269 251 18 0 1 0 1010525550 2478080 278 4294967295 134512640 135169312 3218690272 3218686488 3085844206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5743/statm: 605 278 235 161 0 44 0
[pid=7257] ppid=5743 vsize=231088 CPUtime=704.87
/proc/7257/stat : 7257 (minisat_static) R 5743 5743 9090 0 -1 4202496 56607 0 0 0 70442 45 0 0 25 0 1 0 1010575109 236634112 56430 4294967295 134512640 135215339 3214120160 3214108900 134743406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7257/statm: 57772 56430 73 172 0 57599 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 233508

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.45
CPU time (s): 1200.09
CPU user time (s): 1197.11
CPU system time (s): 2.98
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 890164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.11
system time used= 2.98
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423809
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= 34
involuntary context switches= 4451

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on tipi19 at 2009-05-16 09:50:42
IDJOB=1820626
IDBENCH=20506
IDSOLVER=657
FILE ID=tipi19/1820626-1242460242
PBS_JOBID=
Free space on /tmp= 10013 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820626-1242460242/watcher-1820626-1242460242 -o /tmp/evaluation-result-1820626-1242460242/solver-1820626-1242460242 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820626-1242460242.cnf

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 840176536

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        565984 kB
Buffers:         36916 kB
Cached:        1371248 kB
SwapCached:       3036 kB
Active:         596676 kB
Inactive:       821216 kB
HighTotal:     1178688 kB
HighFree:        81604 kB
LowTotal:       895776 kB
LowFree:        484380 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:          115756 kB
Writeback:           0 kB
AnonPages:        8872 kB
Mapped:           3096 kB
Slab:            83468 kB
PageTables:        484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9884 MiB
End job on tipi19 at 2009-05-16 10:10:55