Trace number 1832117

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.05 1200.41

General information on the benchmark

Nameindustrial/narain/
clauses-8.cnf
MD5SUM74bd745b1c68e4deddfa063e58b6b54d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of 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.09/5.13	c ==============================================================================
5.09/5.13	c |           |     ORIGINAL     |              LEARNT              |          |
5.09/5.13	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
5.09/5.13	c ==============================================================================
5.09/5.13	c |         0 | 5687553 14147617 | 1706265       0        0     nan |  0.000 % |
372.38/372.53	c |         0 | 2172391  7468607 |      --       0       --      -- |     --   | -2399862/-3722815
372.38/372.56	c ==============================================================================
372.38/372.56	c Result  :   #vars: 447289   #clauses: 2172391   #literals: 7468607
372.38/372.56	c CPU time:   369.47 s
372.38/372.56	c ==============================================================================
375.26/375.47	c This is MiniSat 2.0 beta
375.26/375.47	c WARNING: for repeatability, setting FPU to use double precision
375.26/375.47	c ============================[ Problem Statistics ]=============================
375.26/375.47	c |                                                                             |
375.26/375.47	c |  Number of variables:  447289                                               |
375.26/375.47	c |  Number of clauses:    2172391                                              |
376.64/376.89	c |  Parsing time:         1.24         s                                       |
376.74/376.97	c ============================[ Search Statistics ]==============================
376.74/376.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
376.74/376.97	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
376.74/376.97	c ===============================================================================
376.74/376.97	c |         0 |  447289  2172391  7468607 |   724130        0    nan |  0.000 % |
376.94/377.14	c |       100 |  447224  2172391  7468607 |   724130       98      9 |  0.030 % |
377.44/377.62	c |       200 |  447222  2172391  7468607 |   724130      197     11 |  0.030 % |
378.84/379.08	c |       301 |  447222  2172391  7468607 |   724130      295     13 |  0.031 % |
384.94/385.18	c |       414 |  423575  2015433  6943180 |   724130      351     13 |  5.302 % |
386.04/386.21	c |       514 |  423551  2015433  6943180 |   724130      446     12 | 10.578 % |
386.84/387.07	c |       628 |  423550  2015433  6943180 |   724130      559     13 | 10.578 % |
387.94/388.10	c |       749 |  423548  2015433  6943180 |   724130      679     15 | 10.585 % |
388.74/388.96	c |       849 |  423540  2015433  6943180 |   724130      775     15 | 10.606 % |
392.34/392.54	c |       959 |  399849  1867394  6465021 |   724130      863     14 | 10.606 % |
393.55/393.79	c |      1080 |  399836  1867394  6465021 |   724130      977     14 | 10.656 % |
394.54/394.74	c |      1213 |  399835  1867394  6465021 |   724130     1109     13 | 10.656 % |
395.24/395.48	c |      1313 |  399625  1866245  6462110 |   724130     1189     13 | 10.656 % |
395.64/395.88	c |      1424 |  399621  1866245  6462110 |   724130     1299     13 | 10.663 % |
396.64/396.89	c |      1545 |  399610  1866245  6462110 |   724130     1413     12 | 10.944 % |
398.24/398.44	c |      1680 |  397083  1849744  6421316 |   724130     1339     13 | 11.225 % |
400.04/400.22	c |      1826 |  397010  1849744  6421316 |   724130     1467     13 | 14.852 % |
403.84/404.05	c |      1927 |  356046  1593796  5509406 |   724130     1258     14 | 20.399 % |
404.64/404.80	c |      2037 |  356032  1593796  5509406 |   724130     1362     16 | 20.863 % |
405.44/405.69	c |      2158 |  355988  1593796  5509406 |   724130     1472     15 | 25.108 % |
407.24/407.44	c |      2293 |  334947  1494264  5186720 |   724130     1452     17 | 25.123 % |
407.54/407.76	c |      2439 |  334944  1494264  5186720 |   724130     1598     16 | 25.123 % |
408.14/408.32	c |      2599 |  334944  1494264  5186720 |   724130     1758     18 | 25.123 % |
408.74/408.95	c |      2699 |  334930  1494264  5186720 |   724130     1853     19 | 25.837 % |
409.73/409.98	c |      2809 |  334928  1494264  5186720 |   724130     1961     19 | 25.843 % |
410.43/410.66	c |      2933 |  331698  1482025  5150752 |   724130     2019     20 | 25.843 % |
411.33/411.53	c |      3068 |  331163  1482025  5150752 |   724130     2149     19 | 45.708 % |
412.13/412.33	c |      3214 |  331090  1482025  5150752 |   724130     2290     19 | 45.946 % |
412.63/412.80	c |      3374 |  330394  1482025  5150752 |   724130     2450     20 | 45.946 % |
415.64/415.86	c |      3555 |  241745   966490  3103194 |   724130     2087     20 | 46.044 % |
415.73/415.99	c |      3655 |  241713   966490  3103194 |   724130     2182     20 | 46.061 % |
416.03/416.26	c |      3768 |  241711   966490  3103194 |   724130     2295     21 | 46.061 % |
416.64/416.80	c |      3889 |  241663   966490  3103194 |   724130     2414     21 | 46.138 % |
417.13/417.36	c |      4022 |  240919   960445  3044616 |   724130     2353     22 | 46.138 % |
417.53/417.79	c |      4168 |  240886   960445  3044616 |   724130     2490     21 | 46.285 % |
417.74/417.97	c |      4328 |  240885   960445  3044616 |   724130     2648     20 | 46.285 % |
418.13/418.39	c |      4504 |  240876   960445  3044616 |   724130     2816     20 | 46.316 % |
418.33/418.58	c |      4697 |  240121   956416  3024701 |   724130     2956     20 | 46.316 % |
418.43/418.69	c |      4797 |  240120   956416  3024701 |   724130     3055     20 | 46.317 % |
418.63/418.83	c |      4907 |  240120   956416  3024701 |   724130     3165     19 | 46.317 % |
418.73/418.94	c |      5028 |  240120   956416  3024701 |   724130     3286     19 | 46.317 % |
418.84/419.10	c |      5161 |  240097   956416  3024701 |   724130     3414     19 | 46.328 % |
419.13/419.34	c |      5307 |  240097   956416  3024701 |   724130     3560     18 | 46.328 % |
419.33/419.57	c |      5467 |  240097   956416  3024701 |   724130     3720     19 | 46.328 % |
419.53/419.78	c |      5643 |  240097   956416  3024701 |   724130     3896     19 | 46.328 % |
420.33/420.51	c |      5836 |  239911   954700  3019132 |   724130     4021     19 | 46.363 % |
420.73/420.91	c |      6048 |  239910   954700  3019132 |   724130     4229     19 | 46.379 % |
421.14/421.31	c |      6149 |  239904   954700  3019132 |   724130     4329     19 | 46.380 % |
421.43/421.62	c |      6260 |  239838   954332  3018144 |   724130     4425     20 | 46.380 % |
421.63/421.85	c |      6381 |  239823   954332  3018144 |   724130     4543     21 | 47.321 % |
421.83/422.06	c |      6514 |  239752   954332  3018144 |   724130     4675     21 | 47.397 % |
422.33/422.55	c |      6661 |  239744   954332  3018144 |   724130     4817     21 | 47.596 % |
422.53/422.79	c |      6821 |  239728   954332  3018144 |   724130     4976     21 | 47.765 % |
423.24/423.49	c |      6997 |  233576   928991  2942329 |   724130     5025     23 | 47.780 % |
424.03/424.28	c |      7190 |  233562   928991  2942329 |   724130     5217     23 | 48.054 % |
424.63/424.87	c |      7403 |  233548   928991  2942329 |   724130     5429     24 | 48.324 % |
425.43/425.66	c |      7636 |  231133   919321  2910052 |   724130     5614     24 | 48.662 % |
425.63/425.89	c |      7738 |  231125   919321  2910052 |   724130     5714     25 | 48.763 % |
426.03/426.20	c |      7848 |  231125   919321  2910052 |   724130     5823     26 | 48.777 % |
426.43/426.63	c |      7969 |  229112   911238  2883830 |   724130     5829     26 | 48.778 % |
426.63/426.87	c |      8102 |  229112   911238  2883830 |   724130     5962     27 | 48.778 % |
427.43/427.67	c |      8248 |  229063   911238  2883830 |   724130     6099     27 | 49.006 % |
427.93/428.17	c |      8409 |  229063   911238  2883830 |   724130     6260     27 | 49.006 % |
428.43/428.67	c |      8588 |  228092   907169  2862644 |   724130     6407     28 | 49.006 % |
428.93/429.19	c |      8782 |  228091   907169  2862644 |   724130     6600     29 | 49.006 % |
429.43/429.62	c |      8995 |  228091   907169  2862644 |   724130     6811     30 | 49.038 % |
430.03/430.24	c |      9229 |  228086   907169  2862644 |   724130     7045     32 | 49.038 % |
430.93/431.14	c |      9485 |  227937   906556  2860287 |   724130     7278     33 | 49.052 % |
431.43/431.62	c |      9585 |  227937   906556  2860287 |   724130     7378     33 | 49.052 % |
431.63/431.89	c |      9698 |  227937   906556  2860287 |   724130     7490     33 | 49.066 % |
432.13/432.36	c |      9819 |  227821   906028  2858075 |   724130     7604     33 | 49.118 % |
432.73/432.96	c |      9954 |  227818   906028  2858075 |   724130     7738     34 | 49.136 % |
433.23/433.45	c |     10100 |  227817   906028  2858075 | 2147483647     7882     34 | 49.245 % |
434.03/434.23	c |     10266 |  227021   902781  2847203 | 2147483647     8023     35 | 49.245 % |
434.73/434.97	c |     10453 |  227021   902781  2847203 | 2147483647     8209     36 | 49.411 % |
435.53/435.78	c |     10648 |  226276   899800  2835999 | 2147483647     8366     37 | 49.412 % |
436.13/436.37	c |     10860 |  226268   899800  2835999 | 2147483647     8576     38 | 49.503 % |
437.02/437.29	c |     11093 |  226253   899800  2835999 | 2147483647     8797     38 | 49.781 % |
438.12/438.33	c |     11353 |  224612   893555  2817020 | 2147483647     9030     39 | 49.818 % |
439.03/439.22	c |     11634 |  224612   893555  2817020 | 2147483647     9311     40 | 49.818 % |
439.43/439.64	c |     11735 |  224456   892852  2814404 | 2147483647     9404     41 | 49.819 % |
439.74/439.94	c |     11845 |  224453   892852  2814404 | 2147483647     9513     41 | 49.819 % |
440.23/440.45	c |     11972 |  224451   892852  2814404 | 2147483647     9639     41 | 49.820 % |
441.03/441.20	c |     12105 |  224036   891386  2809913 | 2147483647     9768     41 | 49.912 % |
441.73/441.91	c |     12251 |  224010   891386  2809913 | 2147483647     9910     41 | 50.141 % |
442.33/442.53	c |     12413 |  223999   891386  2809913 | 2147483647    10071     43 | 50.142 % |
443.14/443.36	c |     12589 |  223007   887771  2789691 | 2147483647    10244     44 | 50.143 % |
443.63/443.89	c |     12784 |  223002   887771  2789691 | 2147483647    10437     44 | 50.184 % |
444.33/444.53	c |     12996 |  222993   887771  2789691 | 2147483647    10647     45 | 50.215 % |
444.73/444.98	c |     13230 |  222254   884713  2778683 | 2147483647    10836     45 | 50.483 % |
445.43/445.65	c |     13486 |  222254   884713  2778683 | 2147483647    11092     47 | 50.483 % |
446.34/446.57	c |     13767 |  222234   884713  2778683 | 2147483647    11367     46 | 50.588 % |
447.54/447.76	c |     14076 |  221013   879729  2761035 | 2147483647    11652     47 | 50.588 % |
447.93/448.14	c |     14176 |  221013   879729  2761035 | 2147483647    11752     47 | 50.588 % |
448.54/448.72	c |     14286 |  220942   879457  2760055 | 2147483647    11857     47 | 50.620 % |
448.83/449.08	c |     14407 |  220942   879457  2760055 | 2147483647    11978     48 | 50.620 % |
449.13/449.39	c |     14540 |  220942   879457  2760055 | 2147483647    12111     48 | 50.620 % |
449.23/449.49	c |     14686 |  220921   879457  2760055 | 2147483647    12250     47 | 50.674 % |
450.03/450.24	c |     14846 |  220838   879457  2760055 | 2147483647    12405     47 | 50.738 % |
452.03/452.22	c |     15022 |  216189   862547  2699914 | 2147483647    12370     47 | 51.667 % |
452.53/452.76	c |     15215 |  216106   862547  2699914 | 2147483647    12549     47 | 51.853 % |
452.83/453.00	c |     15427 |  216106   862547  2699914 | 2147483647    12761     46 | 51.853 % |
453.13/453.36	c |     15660 |  216069   862547  2699914 | 2147483647    12989     46 | 52.027 % |
453.43/453.61	c |     15917 |  216069   862547  2699914 | 2147483647    13246     45 | 52.027 % |
454.13/454.36	c |     16198 |  214578   850517  2640732 | 2147483647    13468     45 | 52.158 % |
454.33/454.59	c |     16507 |  214578   850517  2640732 | 2147483647    13777     46 | 52.158 % |
455.13/455.34	c |     16846 |  214575   850517  2640732 | 2147483647    14115     46 | 52.242 % |
455.33/455.53	c |     16947 |  213617   847263  2632166 | 2147483647    14205     46 | 52.242 % |
455.43/455.61	c |     17057 |  213613   847263  2632166 | 2147483647    14311     46 | 52.243 % |
455.63/455.82	c |     17179 |  213613   847263  2632166 | 2147483647    14433     46 | 52.243 % |
455.73/455.97	c |     17312 |  213613   847263  2632166 | 2147483647    14566     46 | 52.243 % |
456.03/456.25	c |     17460 |  213613   847263  2632166 | 2147483647    14714     45 | 52.243 % |
456.33/456.52	c |     17623 |  213613   847263  2632166 | 2147483647    14877     46 | 52.243 % |
456.43/456.66	c |     17800 |  213613   847263  2632166 | 2147483647    15054     46 | 52.243 % |
456.53/456.78	c |     17993 |  213613   847263  2632166 | 2147483647    15247     45 | 52.243 % |
456.83/457.05	c |     18208 |  213613   847251  2632142 | 2147483647    15452     45 | 52.243 % |
457.03/457.27	c |     18443 |  213613   847251  2632142 | 2147483647    15687     45 | 52.243 % |
457.63/457.81	c |     18700 |  213613   847251  2632142 | 2147483647    15944     45 | 52.243 % |
457.93/458.10	c |     18983 |  213613   847251  2632142 | 2147483647    16227     46 | 52.243 % |
458.63/458.81	c |     19292 |  213613   847251  2632142 | 2147483647    16536     45 | 52.243 % |
458.93/459.19	c |     19631 |  213613   847251  2632142 | 2147483647    16875     45 | 52.243 % |
459.63/459.85	c |     20004 |  213570   846965  2631413 | 2147483647    17243     45 | 52.252 % |
459.73/459.92	c |     20104 |  213570   846965  2631413 | 2147483647    17343     45 | 52.252 % |
459.83/460.04	c |     20220 |  213570   846965  2631413 | 2147483647    17459     45 | 52.252 % |
460.03/460.25	c |     20341 |  213570   846965  2631413 | 2147483647    17580     45 | 52.252 % |
460.33/460.50	c |     20477 |  213570   846965  2631413 | 2147483647    17716     45 | 52.252 % |
460.53/460.70	c |     20624 |  213570   846965  2631413 | 2147483647    17863     45 | 52.252 % |
460.83/461.09	c |     20784 |  213570   846965  2631413 | 2147483647    18023     45 | 52.252 % |
461.13/461.31	c |     20960 |  213570   846965  2631413 | 2147483647    18199     45 | 52.252 % |
461.23/461.47	c |     21153 |  213570   846965  2631413 | 2147483647    18392     45 | 52.252 % |
461.83/462.02	c |     21365 |  213570   846965  2631413 | 2147483647    18604     45 | 52.252 % |
462.03/462.26	c |     21599 |  213570   846965  2631413 | 2147483647    18838     45 | 52.252 % |
462.43/462.63	c |     21855 |  213570   846965  2631413 | 2147483647    19094     45 | 52.252 % |
462.83/463.07	c |     22136 |  212978   845140  2627142 | 2147483647    19361     46 | 52.385 % |
463.43/463.70	c |     22445 |  212978   845140  2627142 | 2147483647    19670     46 | 52.385 % |
463.73/463.90	c |     22784 |  212978   845140  2627142 | 2147483647    20009     48 | 52.385 % |
464.43/464.61	c |     23156 |  212978   845140  2627142 | 2147483647    20381     48 | 52.385 % |
465.03/465.30	c |     23565 |  212978   845140  2627142 | 2147483647    20790     48 | 52.385 % |
465.23/465.45	c |     23666 |  212978   845140  2627142 | 2147483647    20891     48 | 52.385 % |
465.42/465.62	c |     23776 |  212978   845140  2627142 | 2147483647    21001     48 | 52.385 % |
465.63/465.81	c |     23898 |  212978   845140  2627142 | 2147483647    21123     47 | 52.385 % |
465.73/465.98	c |     24033 |  212978   845140  2627142 | 2147483647    21258     47 | 52.385 % |
466.03/466.27	c |     24179 |  212978   845140  2627142 | 2147483647    21404     47 | 52.385 % |
466.23/466.40	c |     24341 |  212978   845140  2627142 | 2147483647    21566     47 | 52.385 % |
466.43/466.67	c |     24518 |  212978   845140  2627142 | 2147483647    21743     47 | 52.385 % |
466.62/466.87	c |     24712 |  212978   845140  2627142 | 2147483647    21937     48 | 52.385 % |
466.92/467.17	c |     24924 |  212978   845140  2627142 | 2147483647    22149     48 | 52.385 % |
467.52/467.70	c |     25157 |  212978   845140  2627142 | 2147483647    22382     48 | 52.385 % |
467.82/468.00	c |     25414 |  212978   845140  2627142 | 2147483647    22639     47 | 52.385 % |
468.12/468.36	c |     25696 |  212978   845140  2627142 | 2147483647    22921     48 | 52.385 % |
468.52/468.77	c |     26006 |  212978   845140  2627142 | 2147483647    23231     48 | 52.385 % |
469.22/469.44	c |     26347 |  212978   845140  2627142 | 2147483647    23572     48 | 52.385 % |
469.92/470.17	c |     26719 |  212978   845140  2627142 | 2147483647    23944     48 | 52.385 % |
470.63/470.80	c |     27130 |  212978   845140  2627142 | 2147483647    24355     48 | 52.385 % |
471.63/471.81	c |     27580 |  212978   845140  2627142 | 2147483647    24805     48 | 52.385 % |
471.82/472.00	c |     27680 |  212978   845140  2627142 | 2147483647    24905     48 | 52.385 % |
471.92/472.16	c |     27791 |  212978   845140  2627142 | 2147483647    25016     48 | 52.385 % |
472.12/472.39	c |     27912 |  212978   845140  2627142 | 2147483647    25137     48 | 52.385 % |
472.52/472.78	c |     28046 |  212978   845140  2627142 | 2147483647    25271     48 | 52.385 % |
472.73/472.98	c |     28192 |  212978   845140  2627142 | 2147483647    25417     48 | 52.385 % |
472.92/473.12	c |     28354 |  212978   845140  2627142 | 2147483647    25579     48 | 52.385 % |
473.12/473.32	c |     28530 |  212978   845140  2627142 | 2147483647    25755     48 | 52.385 % |
473.32/473.57	c |     28723 |  212978   845140  2627142 | 2147483647    25948     48 | 52.385 % |
473.62/473.84	c |     28935 |  212978   845140  2627142 | 2147483647    26160     49 | 52.385 % |
473.83/474.05	c |     29168 |  212978   845140  2627142 | 2147483647    26393     49 | 52.385 % |
474.12/474.39	c |     29425 |  212978   845140  2627142 | 2147483647    26650     48 | 52.385 % |
474.72/474.90	c |     29706 |  212978   845140  2627142 | 2147483647    26931     49 | 52.385 % |
475.03/475.29	c |     30015 |  212978   845140  2627142 | 2147483647    27240     49 | 52.385 % |
475.62/475.86	c |     30354 |  212978   845140  2627142 | 2147483647    27579     49 | 52.385 % |
476.12/476.33	c |     30729 |  212977   845137  2627136 | 2147483647    27951     50 | 52.385 % |
476.32/476.55	c |     31138 |  212977   845137  2627136 | 2147483647    28360     51 | 52.385 % |
477.02/477.24	c |     31587 |  212977   845137  2627136 | 2147483647    28809     51 | 52.385 % |
477.72/477.95	c |     32080 |  212977   845137  2627136 | 2147483647    29301     51 | 52.394 % |
478.02/478.21	c |     32180 |  212973   845137  2627136 | 2147483647    29401     51 | 52.394 % |
478.22/478.42	c |     32290 |  212935   844862  2626435 | 2147483647    29509     51 | 52.394 % |
478.42/478.65	c |     32411 |  212935   844862  2626435 | 2147483647    29630     51 | 52.394 % |
478.62/478.87	c |     32544 |  212935   844862  2626435 | 2147483647    29763     51 | 52.394 % |
478.92/479.15	c |     32691 |  212935   844862  2626435 | 2147483647    29910     52 | 52.394 % |
479.62/479.81	c |     32851 |  212935   844862  2626435 | 2147483647    30070     52 | 52.394 % |
479.72/479.95	c |     33029 |  212935   844862  2626435 | 2147483647    30248     52 | 52.394 % |
480.22/480.41	c |     33223 |  212935   844862  2626435 | 2147483647    30442     52 | 52.394 % |
480.42/480.63	c |     33435 |  212935   844862  2626435 | 2147483647    30654     53 | 52.394 % |
480.72/480.97	c |     33668 |  212935   844862  2626435 | 2147483647    30887     52 | 52.394 % |
481.32/481.56	c |     33925 |  212935   844862  2626435 | 2147483647    31144     52 | 52.394 % |
482.02/482.25	c |     34208 |  212935   844862  2626435 | 2147483647    31427     52 | 52.394 % |
482.32/482.50	c |     34518 |  212935   844862  2626435 | 2147483647    31737     53 | 52.394 % |
482.92/483.16	c |     34858 |  212935   844862  2626435 | 2147483647    32077     53 | 52.394 % |
484.02/484.22	c |     35231 |  212935   844862  2626435 | 2147483647    32450     53 | 52.394 % |
484.42/484.66	c |     35640 |  212935   844862  2626435 | 2147483647    32859     53 | 52.394 % |
485.42/485.61	c |     36090 |  212935   844862  2626435 | 2147483647    33309     53 | 52.394 % |
486.42/486.67	c |     36585 |  212935   844862  2626435 | 2147483647    33804     53 | 52.394 % |
487.12/487.36	c |     37127 |  212935   844862  2626435 | 2147483647    34346     53 | 52.394 % |
487.32/487.56	c |     37230 |  212935   844862  2626435 | 2147483647    34449     53 | 52.394 % |
487.52/487.76	c |     37340 |  212935   844862  2626435 | 2147483647    34559     53 | 52.394 % |
487.82/488.04	c |     37461 |  212935   844862  2626435 | 2147483647    34680     53 | 52.394 % |
488.02/488.28	c |     37596 |  212935   844862  2626435 | 2147483647    34815     53 | 52.394 % |
488.32/488.50	c |     37742 |  212935   844862  2626435 | 2147483647    34961     53 | 52.394 % |
488.42/488.66	c |     37904 |  212935   844862  2626435 | 2147483647    35123     53 | 52.394 % |
488.72/488.93	c |     38081 |  212935   844862  2626435 | 2147483647    35300     53 | 52.394 % |
489.02/489.24	c |     38275 |  212935   844862  2626435 | 2147483647    35494     53 | 52.394 % |
489.62/489.85	c |     38487 |  212935   844862  2626435 | 2147483647    35706     54 | 52.394 % |
489.92/490.19	c |     38720 |  212935   844862  2626435 | 2147483647    35939     54 | 52.394 % |
490.32/490.54	c |     38976 |  212935   844862  2626435 | 2147483647    36195     54 | 52.394 % |
490.62/490.83	c |     39257 |  212935   844862  2626435 | 2147483647    36476     54 | 52.394 % |
490.92/491.16	c |     39568 |  212935   844862  2626435 | 2147483647    36787     55 | 52.394 % |
491.52/491.78	c |     39907 |  212803   844141  2624673 | 2147483647    37116     55 | 52.424 % |
492.12/492.34	c |     40280 |  212803   844141  2624673 | 2147483647    37489     55 | 52.424 % |
492.62/492.89	c |     40689 |  212803   844141  2624673 | 2147483647    37898     56 | 52.424 % |
493.22/493.45	c |     41143 |  212803   844141  2624673 | 2147483647    38352     56 | 52.424 % |
494.11/494.33	c |     41636 |  212803   844141  2624673 | 2147483647    38845     57 | 52.424 % |
494.61/494.87	c |     42178 |  212803   844141  2624673 | 2147483647    39387     58 | 52.424 % |
495.71/495.96	c |     42775 |  212803   844141  2624673 | 2147483647    39984     58 | 52.424 % |
495.92/496.11	c |     42877 |  212803   844141  2624673 | 2147483647    40086     58 | 52.424 % |
496.01/496.25	c |     42987 |  212803   844141  2624673 | 2147483647    40196     59 | 52.424 % |
496.31/496.51	c |     43108 |  212803   844141  2624673 | 2147483647    40317     59 | 52.424 % |
496.41/496.62	c |     43242 |  212803   844141  2624673 | 2147483647    40451     59 | 52.424 % |
496.61/496.81	c |     43389 |  212803   844141  2624673 | 2147483647    40598     59 | 52.424 % |
496.81/497.02	c |     43549 |  212803   844141  2624673 | 2147483647    40758     59 | 52.424 % |
497.02/497.26	c |     43725 |  212803   844141  2624673 | 2147483647    40934     59 | 52.424 % |
497.31/497.53	c |     43921 |  212803   844141  2624673 | 2147483647    41130     60 | 52.424 % |
497.61/497.86	c |     44135 |  212803   844141  2624673 | 2147483647    41344     60 | 52.424 % |
498.12/498.32	c |     44369 |  212803   844141  2624673 | 2147483647    41578     60 | 52.424 % |
498.31/498.59	c |     44626 |  212803   844141  2624673 | 2147483647    41835     60 | 52.424 % |
498.71/498.97	c |     44908 |  212803   844141  2624673 | 2147483647    42117     61 | 52.424 % |
499.71/499.93	c |     45217 |  212802   844136  2624661 | 2147483647    42425     60 | 52.424 % |
500.41/500.60	c |     45557 |  212802   844136  2624661 | 2147483647    42765     61 | 52.424 % |
501.31/501.52	c |     45931 |  212802   844136  2624661 | 2147483647    43139     61 | 52.424 % |
502.21/502.48	c |     46341 |  212802   844136  2624661 | 2147483647    43549     61 | 52.424 % |
503.41/503.69	c |     46790 |  212802   844136  2624661 | 2147483647    43998     62 | 52.424 % |
504.21/504.44	c |     47284 |  212802   844136  2624661 | 2147483647    44492     62 | 52.424 % |
504.91/505.14	c |     47826 |  212802   844136  2624661 | 2147483647    45034     62 | 52.424 % |
506.11/506.34	c |     48422 |  212801   844133  2624655 | 2147483647    45629     63 | 52.424 % |
506.91/507.18	c |     49077 |  212801   844133  2624655 | 2147483647    46284     64 | 52.424 % |
507.21/507.43	c |     49177 |  212801   844133  2624655 | 2147483647    46384     64 | 52.424 % |
507.71/507.96	c |     49287 |  212801   844133  2624655 | 2147483647    46494     64 | 52.424 % |
507.91/508.14	c |     49409 |  212801   844133  2624655 | 2147483647    46616     64 | 52.424 % |
508.01/508.29	c |     49542 |  212801   844133  2624655 | 2147483647    46749     64 | 52.424 % |
508.31/508.54	c |     49688 |  212801   844133  2624655 | 2147483647    46894     64 | 52.424 % |
508.51/508.78	c |     49850 |  212801   844133  2624655 | 2147483647    47056     64 | 52.424 % |
508.81/509.08	c |     50026 |  212801   844133  2624655 | 2147483647    47232     64 | 52.424 % |
509.51/509.79	c |     50219 |  212800   844130  2624649 | 2147483647    47425     64 | 52.424 % |
509.81/510.00	c |     50433 |  212800   844130  2624649 | 2147483647    47639     64 | 52.424 % |
510.01/510.23	c |     50666 |  212800   844130  2624649 | 2147483647    47872     64 | 52.424 % |
510.31/510.52	c |     50922 |  212800   844130  2624649 | 2147483647    48128     64 | 52.425 % |
510.91/511.13	c |     51203 |  212800   844130  2624649 | 2147483647    48409     64 | 52.424 % |
511.31/511.55	c |     51512 |  212800   844130  2624649 | 2147483647    48718     64 | 52.424 % |
511.81/512.08	c |     51851 |  212800   844130  2624649 | 2147483647    49057     64 | 52.424 % |
512.51/512.75	c |     52223 |  212800   844130  2624649 | 2147483647    49429     65 | 52.424 % |
513.31/513.59	c |     52632 |  212668   843423  2622921 | 2147483647    49830     65 | 52.484 % |
514.11/514.35	c |     53082 |  212668   843423  2622921 | 2147483647    50280     65 | 52.484 % |
514.91/515.13	c |     53575 |  212660   843423  2622921 | 2147483647    50773     65 | 52.484 % |
515.81/516.06	c |     54117 |  212660   843423  2622921 | 2147483647    51315     65 | 52.484 % |
516.61/516.81	c |     54714 |  212660   843423  2622921 | 2147483647    51912     65 | 52.484 % |
517.71/517.92	c |     55372 |  212660   843423  2622921 | 2147483647    52570     64 | 52.484 % |
520.50/520.78	c |     56092 |  212536   842710  2621177 | 2147483647    53278     65 | 52.484 % |
520.80/521.04	c |     56195 |  212536   842710  2621177 | 2147483647    53381     65 | 52.484 % |
521.00/521.23	c |     56305 |  212536   842710  2621177 | 2147483647    53491     65 | 52.484 % |
521.30/521.52	c |     56427 |  212536   842710  2621177 | 2147483647    53613     65 | 52.484 % |
521.50/521.77	c |     56563 |  212536   842710  2621177 | 2147483647    53749     65 | 52.484 % |
521.90/522.13	c |     56709 |  212536   842710  2621177 | 2147483647    53895     65 | 52.484 % |
522.31/522.53	c |     56869 |  212536   842710  2621177 | 2147483647    54055     65 | 52.484 % |
522.60/522.83	c |     57045 |  212536   842710  2621177 | 2147483647    54231     65 | 52.484 % |
523.10/523.32	c |     57242 |  212536   842710  2621177 | 2147483647    54428     65 | 52.484 % |
523.41/523.68	c |     57455 |  212536   842710  2621177 | 2147483647    54641     65 | 52.484 % |
523.80/524.09	c |     57689 |  212536   842710  2621177 | 2147483647    54875     66 | 52.484 % |
524.20/524.48	c |     57945 |  212536   842710  2621177 | 2147483647    55131     66 | 52.484 % |
524.71/524.94	c |     58226 |  212536   842710  2621177 | 2147483647    55412     66 | 52.484 % |
525.21/525.49	c |     58535 |  212536   842710  2621177 | 2147483647    55721     66 | 52.484 % |
526.31/526.56	c |     58875 |  212536   842710  2621177 | 2147483647    56061     66 | 52.484 % |
527.41/527.68	c |     59248 |  212536   842710  2621177 | 2147483647    56434     66 | 52.484 % |
528.11/528.38	c |     59659 |  212536   842710  2621177 | 2147483647    56845     66 | 52.484 % |
529.01/529.28	c |     60108 |  212536   842710  2621177 | 2147483647    57294     67 | 52.484 % |
529.81/530.03	c |     60603 |  212536   842710  2621177 | 2147483647    57789     67 | 52.484 % |
530.81/531.05	c |     61145 |  212536   842710  2621177 | 2147483647    58331     68 | 52.484 % |
532.21/532.41	c |     61741 |  212471   842460  2620591 | 2147483647    58924     69 | 52.498 % |
533.21/533.49	c |     62396 |  212471   842460  2620591 | 2147483647    59579     70 | 52.498 % |
534.71/534.99	c |     63117 |  212471   842460  2620591 | 2147483647    60300     71 | 52.498 % |
536.00/536.24	c |     63911 |  212471   842460  2620591 | 2147483647    61094     72 | 52.498 % |
536.10/536.35	c |     64011 |  212471   842460  2620591 | 2147483647    61194     72 | 52.498 % |
536.61/536.83	c |     64123 |  212427   842175  2619864 | 2147483647    61287     72 | 52.508 % |
537.00/537.23	c |     64244 |  212427   842175  2619864 | 2147483647    61408     72 | 52.508 % |
537.30/537.51	c |     64382 |  212427   842175  2619864 | 2147483647    61546     72 | 52.508 % |
537.71/537.94	c |     64529 |  212427   842175  2619864 | 2147483647    61693     71 | 52.508 % |
538.00/538.25	c |     64689 |  212427   842175  2619864 | 2147483647    61853     72 | 52.508 % |
538.20/538.46	c |     64866 |  212427   842175  2619864 | 2147483647    62030     72 | 52.508 % |
538.30/538.59	c |     65061 |  212427   842175  2619864 | 2147483647    62225     72 | 52.508 % |
539.10/539.31	c |     65273 |  212424   842175  2619864 | 2147483647    62435     72 | 52.518 % |
539.70/539.96	c |     65506 |  212424   842175  2619864 | 2147483647    62668     72 | 52.518 % |
540.30/540.53	c |     65762 |  212424   842175  2619864 | 2147483647    62924     72 | 52.518 % |
541.10/541.33	c |     66043 |  212424   842175  2619864 | 2147483647    63205     72 | 52.518 % |
541.80/542.09	c |     66356 |  212383   841981  2619304 | 2147483647    63503     72 | 52.518 % |
542.41/542.65	c |     66696 |  212383   841981  2619304 | 2147483647    63843     73 | 52.518 % |
542.91/543.11	c |     67069 |  212383   841981  2619304 | 2147483647    64216     73 | 52.518 % |
543.61/543.90	c |     67478 |  212383   841981  2619304 | 2147483647    64624     73 | 52.648 % |
544.31/544.50	c |     67929 |  212383   841981  2619304 | 2147483647    65075     73 | 52.648 % |
544.80/545.03	c |     68422 |  212383   841981  2619304 | 2147483647    65568     73 | 52.648 % |
545.31/545.52	c |     68965 |  212298   841981  2619304 | 2147483647    66110     73 | 55.049 % |
546.10/546.38	c |     69562 |  212293   841981  2619304 | 2147483647    66707     73 | 55.049 % |
547.61/547.84	c |     70217 |  201061   806236  2528835 | 2147483647    67003     74 | 55.049 % |
548.61/548.83	c |     70938 |  201061   806236  2528835 | 2147483647    67724     74 | 55.049 % |
550.60/550.84	c |     71730 |  201061   806236  2528835 | 2147483647    68516     74 | 55.049 % |
552.01/552.28	c |     72602 |  201060   806233  2528829 | 2147483647    69387     74 | 55.049 % |
552.20/552.44	c |     72702 |  201060   806233  2528829 | 2147483647    69487     74 | 55.049 % |
552.40/552.69	c |     72812 |  201060   806233  2528829 | 2147483647    69597     74 | 55.049 % |
552.70/552.97	c |     72934 |  201060   806233  2528829 | 2147483647    69719     74 | 55.049 % |
553.20/553.49	c |     73067 |  201060   806233  2528829 | 2147483647    69852     74 | 55.049 % |
553.50/553.77	c |     73213 |  201060   806233  2528829 | 2147483647    69998     74 | 55.049 % |
553.80/554.04	c |     73373 |  201060   806233  2528829 | 2147483647    70158     74 | 55.049 % |
554.00/554.28	c |     73552 |  201060   806233  2528829 | 2147483647    70337     74 | 55.049 % |
554.80/555.05	c |     73745 |  201060   806233  2528829 | 2147483647    70530     74 | 55.049 % |
555.20/555.45	c |     73958 |  201060   806233  2528829 | 2147483647    70743     74 | 55.049 % |
555.50/555.76	c |     74191 |  201060   806233  2528829 | 2147483647    70976     74 | 55.049 % |
555.80/556.01	c |     74449 |  201060   806233  2528829 | 2147483647    71234     74 | 55.049 % |
556.00/556.26	c |     74732 |  201060   806233  2528829 | 2147483647    71517     75 | 55.049 % |
556.40/556.63	c |     75042 |  201060   806233  2528829 | 2147483647    71827     75 | 55.049 % |
556.90/557.15	c |     75382 |  201060   806233  2528829 | 2147483647    72167     75 | 55.049 % |
558.00/558.27	c |     75756 |  200511   804552  2524896 | 2147483647    72536     75 | 55.304 % |
558.61/558.89	c |     76169 |  200504   804552  2524896 | 2147483647    72949     75 | 55.304 % |
559.30/559.58	c |     76618 |  200504   804552  2524896 | 2147483647    73398     75 | 55.304 % |
560.20/560.46	c |     77112 |  200504   804552  2524896 | 2147483647    73892     75 | 55.304 % |
561.70/561.91	c |     77655 |  200499   804552  2524896 | 2147483647    74434     75 | 55.304 % |
562.91/563.10	c |     78254 |  200499   804552  2524896 | 2147483647    75033     75 | 55.304 % |
564.11/564.34	c |     78911 |  199920   801898  2517625 | 2147483647    75663     75 | 55.304 % |
565.40/565.61	c |     79631 |  199920   801898  2517625 | 2147483647    76382     75 | 55.394 % |
566.90/567.13	c |     80424 |  199920   801898  2517625 | 2147483647    77173     75 | 55.823 % |
568.60/568.90	c |     81295 |  199918   801898  2517625 | 2147483647    78043     75 | 55.943 % |
570.10/570.31	c |     82254 |  197063   792644  2491976 | 2147483647    78971     76 | 55.943 % |
570.20/570.43	c |     82354 |  197063   792644  2491976 | 2147483647    79071     76 | 55.943 % |
570.60/570.82	c |     82465 |  197063   792644  2491976 | 2147483647    79182     75 | 55.943 % |
570.70/570.94	c |     82586 |  197063   792644  2491976 | 2147483647    79303     76 | 55.943 % |
571.29/571.54	c |     82719 |  197063   792644  2491976 | 2147483647    79436     76 | 55.943 % |
571.49/571.80	c |     82867 |  197063   792644  2491976 | 2147483647    79584     76 | 55.943 % |
571.89/572.17	c |     83027 |  197063   792644  2491976 | 2147483647    79744     76 | 55.943 % |
572.59/572.81	c |     83203 |  197063   792644  2491976 | 2147483647    79920     76 | 55.943 % |
572.99/573.26	c |     83396 |  197063   792644  2491976 | 2147483647    80113     76 | 55.943 % |
573.49/573.72	c |     83608 |  197063   792644  2491976 | 2147483647    80325     76 | 55.943 % |
573.79/574.08	c |     83843 |  197063   792644  2491976 | 2147483647    80560     75 | 55.943 % |
574.69/574.98	c |     84100 |  197063   792644  2491976 | 2147483647    80817     75 | 55.943 % |
575.39/575.64	c |     84384 |  197063   792644  2491976 | 2147483647    81101     75 | 55.943 % |
576.20/576.42	c |     84694 |  197063   792644  2491976 | 2147483647    81411     75 | 55.943 % |
576.99/577.20	c |     85034 |  197063   792644  2491976 | 2147483647    81751     75 | 55.943 % |
577.69/577.91	c |     85406 |  197063   792644  2491976 | 2147483647    82123     75 | 55.943 % |
578.40/578.64	c |     85815 |  197063   792644  2491976 | 2147483647    82532     75 | 55.943 % |
579.29/579.59	c |     86264 |  197063   792644  2491976 | 2147483647    82981     75 | 55.943 % |
580.20/580.48	c |     86759 |  197063   792644  2491976 | 2147483647    83476     76 | 55.943 % |
581.50/581.73	c |     87302 |  197063   792644  2491976 | 2147483647    84019     76 | 55.943 % |
582.50/582.76	c |     87899 |  197063   792644  2491976 | 2147483647    84616     76 | 55.943 % |
583.70/583.92	c |     88555 |  197063   792644  2491976 | 2147483647    85272     76 | 55.943 % |
586.50/586.74	c |     89277 |  197060   792639  2491964 | 2147483647    85989     76 | 55.973 % |
587.99/588.24	c |     90071 |  197060   792639  2491964 | 2147483647    86783     76 | 55.973 % |
589.09/589.33	c |     90942 |  197060   792639  2491964 | 2147483647    87654     76 | 55.973 % |
590.40/590.68	c |     91902 |  197060   792639  2491964 | 2147483647    88614     76 | 55.973 % |
591.79/592.06	c |     92956 |  196927   791939  2490254 | 2147483647    89661     76 | 55.973 % |
591.99/592.20	c |     93056 |  196927   791939  2490254 | 2147483647    89761     76 | 55.973 % |
592.29/592.58	c |     93166 |  196926   791939  2490254 | 2147483647    89870     76 | 55.980 % |
592.59/592.85	c |     93287 |  196926   791939  2490254 | 2147483647    89991     76 | 55.980 % |
592.89/593.17	c |     93420 |  196926   791939  2490254 | 2147483647    90124     76 | 55.980 % |
593.19/593.41	c |     93566 |  196926   791939  2490254 | 2147483647    90270     76 | 55.980 % |
593.29/593.56	c |     93726 |  196926   791939  2490254 | 2147483647    90430     76 | 55.980 % |
593.39/593.69	c |     93904 |  196926   791939  2490254 | 2147483647    90608     76 | 55.980 % |
593.59/593.83	c |     94098 |  196926   791939  2490254 | 2147483647    90802     76 | 55.980 % |
593.90/594.19	c |     94311 |  196926   791939  2490254 | 2147483647    91015     76 | 55.980 % |
594.80/595.04	c |     94545 |  196926   791939  2490254 | 2147483647    91249     77 | 55.980 % |
595.59/595.86	c |     94801 |  196926   791939  2490254 | 2147483647    91505     77 | 55.980 % |
596.19/596.42	c |     95082 |  196926   791939  2490254 | 2147483647    91786     77 | 55.980 % |
596.59/596.84	c |     95391 |  196926   791939  2490254 | 2147483647    92095     77 | 55.980 % |
597.99/598.25	c |     95730 |  196926   791939  2490254 | 2147483647    92433     77 | 56.010 % |
598.79/599.05	c |     96108 |  196763   791167  2488342 | 2147483647    92793     77 | 56.010 % |
599.49/599.73	c |     96517 |  196763   791167  2488342 | 2147483647    93202     77 | 56.010 % |
600.29/600.60	c |     96969 |  196763   791167  2488342 | 2147483647    93654     77 | 56.010 % |
601.69/601.90	c |     97462 |  196763   791167  2488342 | 2147483647    94147     77 | 56.010 % |
602.79/603.05	c |     98004 |  196763   791167  2488342 | 2147483647    94689     77 | 56.010 % |
603.89/604.18	c |     98602 |  196763   791167  2488342 | 2147483647    95287     77 | 56.010 % |
605.79/606.08	c |     99258 |  196763   791167  2488342 | 2147483647    95942     78 | 56.039 % |
608.49/608.71	c |     99978 |  196632   790505  2486720 | 2147483647    96657     77 | 56.039 % |
610.39/610.61	c |    100770 |  196632   790505  2486720 | 2147483647    97449     78 | 56.039 % |
612.49/612.76	c |    101643 |  196632   790505  2486720 | 2147483647    98322     78 | 56.039 % |
613.49/613.71	c |    102601 |  196632   790505  2486720 | 2147483647    99280     78 | 56.039 % |
615.69/615.91	c |    103654 |  196632   790505  2486720 | 2147483647   100333     78 | 56.039 % |
616.99/617.23	c |    104813 |  196590   790261  2486115 | 2147483647   101488     78 | 56.049 % |
617.19/617.45	c |    104913 |  196590   790261  2486115 | 2147483647   101588     78 | 56.049 % |
617.39/617.69	c |    105023 |  196589   790261  2486115 | 2147483647   101697     78 | 56.167 % |
617.79/618.09	c |    105146 |  196589   790261  2486115 | 2147483647   101820     78 | 56.167 % |
618.29/618.50	c |    105282 |  196589   790261  2486115 | 2147483647   101956     78 | 56.167 % |
618.49/618.77	c |    105429 |  196589   790261  2486115 | 2147483647   102103     78 | 56.167 % |
619.18/619.47	c |    105593 |  196589   790261  2486115 | 2147483647   102267     78 | 56.167 % |
619.88/620.13	c |    105769 |  196576   790261  2486115 | 2147483647   102441     78 | 56.187 % |
620.48/620.71	c |    105963 |  196576   790261  2486115 | 2147483647   102635     78 | 56.187 % |
620.98/621.20	c |    106177 |  196576   790261  2486115 | 2147483647   102849     78 | 56.187 % |
621.38/621.62	c |    106413 |  196576   790261  2486115 | 2147483647   103085     78 | 56.187 % |
621.78/622.06	c |    106669 |  196576   790261  2486115 | 2147483647   103341     78 | 56.187 % |
622.29/622.51	c |    106951 |  196576   790261  2486115 | 2147483647   103623     78 | 56.187 % |
622.58/622.85	c |    107260 |  196576   790261  2486115 | 2147483647   103932     78 | 56.187 % |
623.18/623.43	c |    107600 |  196576   790261  2486115 | 2147483647   104272     78 | 56.187 % |
623.88/624.18	c |    107972 |  196576   790261  2486115 | 2147483647   104644     78 | 56.187 % |
624.88/625.11	c |    108381 |  195972   788059  2480844 | 2147483647   104509     79 | 56.187 % |
625.58/625.82	c |    108832 |  195972   788059  2480844 | 2147483647   104960     79 | 56.187 % |
626.79/627.02	c |    109325 |  195972   788059  2480844 | 2147483647   105453     79 | 56.187 % |
628.79/629.02	c |    109868 |  195972   788059  2480844 | 2147483647   105996     79 | 56.187 % |
629.78/630.07	c |    110464 |  195972   788059  2480844 | 2147483647   106592     79 | 56.187 % |
630.98/631.25	c |    111119 |  195972   788059  2480844 | 2147483647   107247     79 | 56.187 % |
631.68/631.94	c |    111841 |  195972   788059  2480844 | 2147483647   107969     79 | 56.187 % |
633.08/633.31	c |    112634 |  195972   788059  2480844 | 2147483647   108762     79 | 56.187 % |
634.78/635.09	c |    113506 |  195972   788059  2480844 | 2147483647   109634     79 | 56.187 % |
635.88/636.20	c |    114465 |  195972   788059  2480844 | 2147483647   110593     79 | 56.187 % |
638.58/638.89	c |    115518 |  195841   787388  2479198 | 2147483647   111631     80 | 56.216 % |
640.58/640.89	c |    116677 |  195841   787388  2479198 | 2147483647   112789     79 | 56.246 % |
642.98/643.28	c |    117951 |  195841   787388  2479198 | 2147483647   114063     79 | 56.246 % |
643.19/643.44	c |    118053 |  195841   787388  2479198 | 2147483647   114165     79 | 56.246 % |
643.38/643.68	c |    118164 |  195841   787388  2479198 | 2147483647   114276     79 | 56.246 % |
643.68/643.95	c |    118286 |  195841   787388  2479198 | 2147483647   114398     79 | 56.246 % |
643.98/644.26	c |    118419 |  195840   787388  2479198 | 2147483647   114531     79 | 56.246 % |
644.78/645.00	c |    118565 |  195840   787388  2479198 | 2147483647   114677     79 | 56.246 % |
644.98/645.29	c |    118728 |  195840   787388  2479198 | 2147483647   114840     79 | 56.246 % |
645.48/645.76	c |    118904 |  195840   787388  2479198 | 2147483647   115016     79 | 56.246 % |
645.88/646.11	c |    119098 |  195840   787388  2479198 | 2147483647   115210     79 | 56.246 % |
646.58/646.86	c |    119310 |  195840   787388  2479198 | 2147483647   115421     79 | 56.260 % |
647.18/647.47	c |    119546 |  195840   787388  2479198 | 2147483647   115657     79 | 56.260 % |
647.98/648.21	c |    119804 |  195840   787388  2479198 | 2147483647   115915     79 | 56.260 % |
648.68/648.97	c |    120089 |  195643   786368  2476757 | 2147483647   116192     79 | 56.260 % |
649.78/650.00	c |    120400 |  195643   786368  2476757 | 2147483647   116502     79 | 56.260 % |
650.18/650.47	c |    120740 |  195643   786368  2476757 | 2147483647   116842     79 | 56.260 % |
650.68/650.96	c |    121114 |  195643   786368  2476757 | 2147483647   117216     80 | 56.260 % |
651.78/652.02	c |    121525 |  195643   786368  2476757 | 2147483647   117627     80 | 56.260 % |
653.37/653.65	c |    121974 |  195643   786368  2476757 | 2147483647   118076     80 | 56.260 % |
654.18/654.40	c |    122467 |  195643   786368  2476757 | 2147483647   118569     80 | 56.261 % |
655.08/655.31	c |    123011 |  195643   786368  2476757 | 2147483647   119113     80 | 56.260 % |
657.08/657.34	c |    123608 |  195643   786368  2476757 | 2147483647   119710     80 | 56.260 % |
658.68/658.93	c |    124265 |  195643   786368  2476757 | 2147483647   120367     80 | 56.260 % |
660.28/660.55	c |    124986 |  195642   786365  2476723 | 2147483647   121088     81 | 56.260 % |
662.27/662.50	c |    125778 |  195642   786365  2476723 | 2147483647   121880     81 | 56.260 % |
663.67/663.97	c |    126649 |  195642   786365  2476723 | 2147483647   122751     82 | 56.261 % |
665.67/665.99	c |    127607 |  195642   786365  2476723 | 2147483647   123709     82 | 56.260 % |
668.28/668.54	c |    128662 |  195642   786365  2476723 | 2147483647   124764     82 | 56.260 % |
670.78/671.09	c |    129823 |  195642   786365  2476723 | 2147483647   125925     82 | 56.261 % |
673.67/673.94	c |    131096 |  195642   786365  2476723 | 2147483647   127198     82 | 56.261 % |
676.67/676.91	c |    132496 |  195642   786365  2476723 | 2147483647   128598     82 | 56.261 % |
676.97/677.21	c |    132597 |  195642   786365  2476723 | 2147483647   128699     82 | 56.260 % |
677.57/677.80	c |    132707 |  195642   786365  2476723 | 2147483647   128809     82 | 56.260 % |
677.77/678.00	c |    132829 |  195642   786365  2476723 | 2147483647   128931     82 | 56.261 % |
677.97/678.27	c |    132962 |  195642   786365  2476723 | 2147483647   129064     82 | 56.260 % |
678.37/678.63	c |    133108 |  195642   786365  2476723 | 2147483647   129210     82 | 56.261 % |
678.87/679.11	c |    133268 |  195642   786365  2476723 | 2147483647   129370     82 | 56.260 % |
679.17/679.44	c |    133444 |  195642   786365  2476723 | 2147483647   129546     82 | 56.261 % |
679.57/679.88	c |    133637 |  195642   786365  2476723 | 2147483647   129739     82 | 56.261 % |
680.27/680.58	c |    133849 |  195642   786365  2476723 | 2147483647   129951     82 | 56.260 % |
680.87/681.18	c |    134082 |  195641   786362  2476717 | 2147483647   130175     82 | 56.261 % |
681.27/681.59	c |    134338 |  195641   786362  2476717 | 2147483647   130431     82 | 56.261 % |
681.87/682.15	c |    134619 |  195641   786362  2476717 | 2147483647   130712     82 | 56.261 % |
682.47/682.76	c |    134929 |  195641   786362  2476717 | 2147483647   131022     82 | 56.261 % |
683.47/683.77	c |    135268 |  195641   786362  2476717 | 2147483647   131361     82 | 56.261 % |
685.16/685.45	c |    135642 |  195641   786362  2476717 | 2147483647   131735     82 | 56.261 % |
685.77/686.07	c |    136052 |  195641   786362  2476717 | 2147483647   132145     82 | 56.261 % |
687.07/687.33	c |    136501 |  195641   786362  2476717 | 2147483647   132594     82 | 56.261 % |
688.57/688.84	c |    136999 |  195641   786362  2476717 | 2147483647   133092     82 | 56.261 % |
690.77/691.06	c |    137545 |  195641   786362  2476717 | 2147483647   133638     83 | 56.261 % |
691.77/692.03	c |    138146 |  195641   786362  2476717 | 2147483647   134239     83 | 56.261 % |
692.87/693.17	c |    138801 |  195641   786362  2476717 | 2147483647   134894     83 | 56.261 % |
694.57/694.88	c |    139522 |  195641   786362  2476717 | 2147483647   135615     83 | 56.261 % |
695.87/696.15	c |    140314 |  195641   786362  2476717 | 2147483647   136407     84 | 56.261 % |
698.76/699.00	c |    141186 |  195641   786362  2476717 | 2147483647   137279     84 | 56.261 % |
700.26/700.59	c |    142146 |  195641   786362  2476717 | 2147483647   138239     84 | 56.261 % |
701.47/701.72	c |    143199 |  195641   786362  2476717 | 2147483647   139292     84 | 56.261 % |
703.77/704.02	c |    144357 |  195641   786362  2476717 | 2147483647   140450     84 | 56.261 % |
707.27/707.58	c |    145630 |  195640   786359  2476711 | 2147483647   141721     84 | 56.261 % |
711.76/712.05	c |    147030 |  195640   786359  2476711 | 2147483647   143121     84 | 56.261 % |
715.66/715.95	c |    148571 |  195640   786359  2476711 | 2147483647   144662     85 | 56.261 % |
716.06/716.37	c |    148673 |  195640   786359  2476711 | 2147483647   144764     85 | 56.261 % |
716.76/717.00	c |    148789 |  195640   786359  2476711 | 2147483647   144880     85 | 56.261 % |
716.97/717.24	c |    148910 |  195640   786359  2476711 | 2147483647   145001     85 | 56.261 % |
717.16/717.42	c |    149043 |  195640   786359  2476711 | 2147483647   145134     85 | 56.261 % |
717.56/717.89	c |    149191 |  195640   786359  2476711 | 2147483647   145282     85 | 56.261 % |
717.86/718.18	c |    149352 |  195640   786359  2476711 | 2147483647   145443     85 | 56.261 % |
718.36/718.66	c |    149528 |  195639   786356  2476705 | 2147483647   145618     85 | 56.261 % |
718.86/719.13	c |    149722 |  195639   786356  2476705 | 2147483647   145812     85 | 56.261 % |
719.17/719.47	c |    149934 |  195639   786356  2476705 | 2147483647   146024     85 | 56.261 % |
719.66/719.94	c |    150171 |  195639   786356  2476705 | 2147483647   146261     85 | 56.261 % |
720.36/720.65	c |    150428 |  195639   786356  2476705 | 2147483647   146518     85 | 56.261 % |
720.86/721.18	c |    150710 |  195639   786356  2476705 | 2147483647   146800     85 | 56.261 % |
721.46/721.76	c |    151022 |  195639   786356  2476705 | 2147483647   147112     85 | 56.261 % |
722.46/722.79	c |    151362 |  195639   786356  2476705 | 2147483647   147452     85 | 56.261 % |
723.56/723.84	c |    151734 |  195639   786356  2476705 | 2147483647   147824     85 | 56.261 % |
724.56/724.82	c |    152144 |  195639   786356  2476705 | 2147483647   148234     85 | 56.261 % |
726.26/726.59	c |    152593 |  195639   786356  2476705 | 2147483647   148683     85 | 56.261 % |
728.46/728.79	c |    153089 |  195639   786356  2476705 | 2147483647   149179     85 | 56.261 % |
729.26/729.58	c |    153631 |  195639   786356  2476705 | 2147483647   149720     85 | 56.276 % |
730.36/730.60	c |    154230 |  195638   786356  2476705 | 2147483647   150319     85 | 56.276 % |
732.95/733.26	c |    154885 |  195638   786356  2476705 | 2147483647   150974     85 | 56.276 % |
734.66/734.93	c |    155607 |  195573   786128  2476110 | 2147483647   151691     85 | 56.276 % |
736.46/736.70	c |    156399 |  195573   786128  2476110 | 2147483647   152483     85 | 56.276 % |
738.16/738.49	c |    157271 |  195573   786128  2476110 | 2147483647   153355     85 | 56.276 % |
740.46/740.75	c |    158232 |  195573   786128  2476110 | 2147483647   154316     85 | 56.276 % |
744.85/745.16	c |    159285 |  195573   786128  2476110 | 2147483647   155369     85 | 56.276 % |
748.45/748.78	c |    160443 |  192375   776074  2451852 | 2147483647   156457     85 | 56.991 % |
751.46/751.77	c |    161718 |  192375   776074  2451852 | 2147483647   157732     85 | 56.991 % |
755.36/755.61	c |    163118 |  192375   776074  2451852 | 2147483647   159131     85 | 57.069 % |
758.65/758.93	c |    164658 |  192375   776074  2451852 | 2147483647   160671     86 | 57.069 % |
763.45/763.79	c |    166352 |  192375   776074  2451852 | 2147483647   162365     86 | 57.069 % |
763.85/764.18	c |    166452 |  192024   774665  2447237 | 2147483647   162434     86 | 57.069 % |
764.15/764.45	c |    166563 |  192024   774665  2447237 | 2147483647   162545     86 | 57.069 % |
764.65/764.93	c |    166686 |  192024   774665  2447237 | 2147483647   162668     86 | 57.069 % |
764.85/765.14	c |    166820 |  192024   774665  2447237 | 2147483647   162802     86 | 57.069 % |
765.05/765.39	c |    166966 |  192024   774665  2447237 | 2147483647   162948     86 | 57.069 % |
765.26/765.58	c |    167126 |  192024   774665  2447237 | 2147483647   163108     86 | 57.069 % |
765.65/765.91	c |    167303 |  192024   774665  2447237 | 2147483647   163285     86 | 57.069 % |
766.25/766.54	c |    167498 |  192024   774665  2447237 | 2147483647   163480     86 | 57.069 % |
766.85/767.15	c |    167713 |  192024   774665  2447237 | 2147483647   163695     87 | 57.069 % |
767.35/767.69	c |    167947 |  192024   774665  2447237 | 2147483647   163929     87 | 57.069 % |
768.35/768.65	c |    168204 |  192024   774665  2447237 | 2147483647   164186     87 | 57.069 % |
768.85/769.11	c |    168485 |  192024   774665  2447237 | 2147483647   164467     87 | 57.069 % |
769.85/770.12	c |    168794 |  192024   774665  2447237 | 2147483647   164776     87 | 57.069 % |
770.45/770.72	c |    169134 |  192024   774665  2447237 | 2147483647   165116     87 | 57.069 % |
771.15/771.43	c |    169506 |  192024   774665  2447237 | 2147483647   165488     87 | 57.069 % |
772.15/772.46	c |    169918 |  192024   774665  2447237 | 2147483647   165900     87 | 57.069 % |
773.35/773.61	c |    170369 |  192024   774665  2447237 | 2147483647   166351     87 | 57.069 % |
774.65/774.98	c |    170862 |  192024   774665  2447237 | 2147483647   166844     87 | 57.069 % |
776.55/776.83	c |    171404 |  192024   774665  2447237 | 2147483647   167386     87 | 57.069 % |
778.25/778.52	c |    172001 |  192024   774665  2447237 | 2147483647   167983     87 | 57.069 % |
780.14/780.45	c |    172656 |  192024   774665  2447237 | 2147483647   168638     87 | 57.069 % |
783.34/783.67	c |    173376 |  192024   774665  2447237 | 2147483647   169358     87 | 57.069 % |
785.54/785.81	c |    174168 |  192024   774665  2447237 | 2147483647   170150     87 | 57.069 % |
787.64/787.93	c |    175039 |  192024   774665  2447237 | 2147483647   171021     87 | 57.069 % |
789.64/789.91	c |    175999 |  192024   774665  2447237 | 2147483647   171981     88 | 57.069 % |
792.85/793.12	c |    177053 |  191514   773082  2443442 | 2147483647   173033     88 | 57.334 % |
796.05/796.32	c |    178211 |  191513   773082  2443442 | 2147483647   174190     88 | 57.334 % |
801.84/802.18	c |    179484 |  191513   773082  2443442 | 2147483647   175463     88 | 57.334 % |
808.54/808.87	c |    180884 |  191513   773082  2443442 | 2147483647   176863     89 | 57.334 % |
814.44/814.75	c |    182424 |  190839   770522  2435324 | 2147483647   178386     89 | 57.334 % |
817.54/817.86	c |    184120 |  190839   770522  2435324 | 2147483647   180082     90 | 57.334 % |
820.93/821.26	c |    185983 |  190839   770522  2435324 | 2147483647   181945     91 | 57.334 % |
821.23/821.55	c |    186083 |  190839   770522  2435324 | 2147483647   182045     91 | 57.334 % |
821.63/821.97	c |    186193 |  190839   770522  2435324 | 2147483647   182155     91 | 57.334 % |
822.13/822.41	c |    186314 |  190839   770522  2435324 | 2147483647   182276     91 | 57.334 % |
822.44/822.78	c |    186449 |  190839   770522  2435324 | 2147483647   182411     91 | 57.334 % |
822.93/823.21	c |    186595 |  190839   770522  2435324 | 2147483647   182557     91 | 57.334 % |
823.43/823.71	c |    186757 |  190839   770522  2435324 | 2147483647   182719     91 | 57.334 % |
823.83/824.11	c |    186934 |  190839   770522  2435324 | 2147483647   182896     91 | 57.334 % |
824.13/824.48	c |    187127 |  190839   770522  2435324 | 2147483647   183089     91 | 57.334 % |
824.54/824.81	c |    187340 |  190839   770522  2435324 | 2147483647   183302     91 | 57.334 % |
825.14/825.47	c |    187574 |  190839   770522  2435324 | 2147483647   183536     91 | 57.334 % |
825.94/826.26	c |    187831 |  190839   770522  2435324 | 2147483647   183793     91 | 57.334 % |
826.34/826.69	c |    188112 |  190839   770522  2435324 | 2147483647   184074     91 | 57.334 % |
826.94/827.28	c |    188423 |  190839   770522  2435324 | 2147483647   184385     91 | 57.334 % |
827.84/828.13	c |    188763 |  190839   770522  2435324 | 2147483647   184725     91 | 57.334 % |
829.04/829.34	c |    189135 |  190839   770522  2435324 | 2147483647   185097     92 | 57.334 % |
829.94/830.23	c |    189544 |  190839   770522  2435324 | 2147483647   185506     92 | 57.334 % |
831.74/832.01	c |    189994 |  190839   770522  2435324 | 2147483647   185956     92 | 57.334 % |
832.64/832.95	c |    190487 |  190839   770522  2435324 | 2147483647   186449     92 | 57.334 % |
833.84/834.18	c |    191029 |  190839   770522  2435324 | 2147483647   186991     92 | 57.334 % |
837.33/837.67	c |    191626 |  190839   770522  2435324 | 2147483647   187588     92 | 57.334 % |
839.13/839.40	c |    192281 |  190839   770522  2435324 | 2147483647   188243     92 | 57.334 % |
842.53/842.90	c |    193001 |  190839   770522  2435324 | 2147483647   188963     92 | 57.334 % |
846.93/847.24	c |    193794 |  190839   770522  2435324 | 2147483647   189756     92 | 57.334 % |
849.03/849.39	c |    194667 |  190838   770518  2435314 | 2147483647   190624     92 | 57.335 % |
850.23/850.53	c |    195627 |  190838   770518  2435314 | 2147483647   191584     92 | 57.335 % |
852.14/852.49	c |    196680 |  190838   770518  2435314 | 2147483647   192637     92 | 57.335 % |
857.13/857.47	c |    197838 |  190838   770518  2435314 | 2147483647   193795     92 | 57.335 % |
859.33/859.61	c |    199114 |  190838   770518  2435314 | 2147483647   195071     92 | 57.335 % |
861.83/862.11	c |    200517 |  190838   770518  2435314 | 2147483647   196474     91 | 57.335 % |
869.12/869.42	c |    202057 |  190838   770518  2435314 | 2147483647   198014     91 | 57.335 % |
875.02/875.37	c |    203751 |  190838   770518  2435314 | 2147483647   199708     91 | 57.335 % |
878.72/879.04	c |    205615 |  190838   770518  2435314 | 2147483647   201572     93 | 57.335 % |
883.03/883.39	c |    207665 |  190838   770518  2435314 | 2147483647   203622     93 | 57.335 % |
883.42/883.74	c |    207768 |  190838   770518  2435314 | 2147483647   203725     93 | 57.335 % |
884.03/884.32	c |    207878 |  190838   770518  2435314 | 2147483647   203835     93 | 57.335 % |
884.52/884.86	c |    207999 |  190838   770518  2435314 | 2147483647   203956     93 | 57.335 % |
884.92/885.27	c |    208134 |  190838   770518  2435314 | 2147483647   204091     93 | 57.335 % |
885.62/885.91	c |    208280 |  190838   770518  2435314 | 2147483647   204237     93 | 57.335 % |
886.32/886.64	c |    208440 |  190838   770518  2435314 | 2147483647   204397     93 | 57.335 % |
886.72/887.03	c |    208616 |  190838   770518  2435314 | 2147483647   204573     93 | 57.335 % |
887.12/887.45	c |    208809 |  190838   770518  2435314 | 2147483647   204766     93 | 57.335 % |
887.92/888.28	c |    209022 |  190838   770518  2435314 | 2147483647   204979     93 | 57.335 % |
888.72/889.07	c |    209255 |  190837   770515  2435308 | 2147483647   205211     93 | 57.335 % |
889.72/890.05	c |    209511 |  190833   770515  2435308 | 2147483647   205463     93 | 57.411 % |
890.32/890.64	c |    209792 |  190826   770515  2435308 | 2147483647   205742     93 | 57.545 % |
891.42/891.71	c |    210103 |  190823   770515  2435308 | 2147483647   206051     93 | 57.546 % |
892.62/892.95	c |    210443 |  190823   770515  2435308 | 2147483647   206390     93 | 57.606 % |
894.02/894.34	c |    210815 |  190818   770515  2435308 | 2147483647   206758     93 | 57.621 % |
895.22/895.51	c |    211226 |  190815   770515  2435308 | 2147483647   207168     93 | 57.621 % |
896.02/896.39	c |    211677 |  190815   770515  2435308 | 2147483647   207619     93 | 57.621 % |
897.92/898.23	c |    212170 |  190815   770515  2435308 | 2147483647   208112     94 | 57.621 % |
899.42/899.76	c |    212715 |  190690   770515  2435308 | 2147483647   208657     94 | 57.621 % |
900.71/901.07	c |    213311 |  190680   770515  2435308 | 2147483647   209251     94 | 58.545 % |
902.82/903.13	c |    213968 |  190680   770515  2435308 | 2147483647   209908     94 | 58.545 % |
904.81/905.13	c |    214688 |  190680   770515  2435308 | 2147483647   210628     94 | 58.545 % |
906.21/906.56	c |    215485 |  190680   770515  2435308 | 2147483647   211425     94 | 58.545 % |
908.42/908.73	c |    216356 |  185424   751131  2364272 | 2147483647   212115     94 | 58.558 % |
911.42/911.72	c |    217314 |  185413   751131  2364272 | 2147483647   213069     94 | 58.624 % |
914.82/915.12	c |    218368 |  185355   751131  2364272 | 2147483647   214114     95 | 60.994 % |
919.71/920.08	c |    219526 |  185355   751131  2364272 | 2147483647   215272     96 | 60.994 % |
922.71/923.01	c |    220800 |  185346   751131  2364272 | 2147483647   216543     96 | 61.163 % |
927.02/927.35	c |    222200 |  185141   751131  2364272 | 2147483647   217943     96 | 61.163 % |
930.61/930.92	c |    223741 |  173714   713231  2245310 | 2147483647   219389     96 | 61.163 % |
935.31/935.63	c |    225436 |  173714   713231  2245310 | 2147483647   221083     96 | 61.163 % |
939.21/939.52	c |    227299 |  173714   713231  2245310 | 2147483647   222946     97 | 61.163 % |
945.30/945.63	c |    229352 |  173714   713231  2245310 | 2147483647   224999     97 | 61.163 % |
950.61/950.90	c |    231605 |  173714   713231  2245310 | 2147483647   227252     97 | 61.163 % |
950.81/951.14	c |    231705 |  173714   713231  2245310 | 2147483647   227352     97 | 61.163 % |
951.01/951.37	c |    231816 |  173714   713231  2245310 | 2147483647   227463     97 | 61.163 % |
951.31/951.69	c |    231937 |  173714   713231  2245310 | 2147483647   227584     97 | 61.163 % |
951.71/952.00	c |    232073 |  173714   713231  2245310 | 2147483647   227720     97 | 61.163 % |
952.21/952.56	c |    232222 |  173714   713231  2245310 | 2147483647   227869     97 | 61.163 % |
953.01/953.35	c |    232384 |  173713   713228  2245304 | 2147483647   228031     97 | 61.163 % |
953.61/953.98	c |    232560 |  173713   713228  2245304 | 2147483647   228207     97 | 61.163 % |
954.81/955.19	c |    232753 |  173713   713228  2245304 | 2147483647   228400     97 | 61.163 % |
956.11/956.46	c |    232965 |  173713   713228  2245304 | 2147483647   228612     97 | 61.163 % |
957.11/957.44	c |    233198 |  173713   713228  2245304 | 2147483647   228845     97 | 61.163 % |
958.21/958.51	c |    233455 |  173713   713228  2245304 | 2147483647   229102     97 | 61.163 % |
959.41/959.70	c |    233737 |  173713   713228  2245304 | 2147483647   229384     97 | 61.163 % |
960.51/960.84	c |    234046 |  173710   713228  2245304 | 2147483647   229692     97 | 61.173 % |
961.31/961.65	c |    234386 |  173710   713228  2245304 | 2147483647   230032     97 | 61.173 % |
963.21/963.53	c |    234759 |  173710   713228  2245304 | 2147483647   230405     97 | 61.173 % |
964.10/964.47	c |    235168 |  173698   713228  2245304 | 2147483647   230814     97 | 61.173 % |
966.30/966.70	c |    235617 |  173698   713228  2245304 | 2147483647   231263     97 | 61.173 % |
967.61/967.93	c |    236110 |  173698   713228  2245304 | 2147483647   231756     97 | 61.173 % |
968.80/969.20	c |    236652 |  173698   713228  2245304 | 2147483647   232298     97 | 61.173 % |
971.40/971.70	c |    237248 |  173698   713228  2245304 | 2147483647   232894     97 | 61.173 % |
974.10/974.41	c |    237903 |  173698   713228  2245304 | 2147483647   233549     97 | 61.173 % |
976.60/976.97	c |    238623 |  173698   713228  2245304 | 2147483647   234269     97 | 61.173 % |
977.70/978.00	c |    239415 |  173698   713228  2245304 | 2147483647   235061     97 | 61.173 % |
980.60/980.93	c |    240288 |  173698   713228  2245304 | 2147483647   235934     97 | 61.173 % |
984.50/984.89	c |    241246 |  173670   712941  2244573 | 2147483647   236304     98 | 61.173 % |
986.70/987.02	c |    242299 |  173670   712941  2244573 | 2147483647   237357     98 | 61.173 % |
990.59/990.98	c |    243458 |  173670   712941  2244573 | 2147483647   238516     98 | 61.173 % |
992.99/993.34	c |    244731 |  173670   712941  2244573 | 2147483647   239789     98 | 61.173 % |
995.90/996.27	c |    246131 |  173667   712941  2244573 | 2147483647   241187     98 | 61.193 % |
1001.49/1001.84	c |    247672 |  173658   712941  2244573 | 2147483647   242722     97 | 61.291 % |
1005.99/1006.36	c |    249366 |  173657   712941  2244573 | 2147483647   244415     97 | 61.302 % |
1013.49/1013.85	c |    251229 |  173093   709626  2236091 | 2147483647   245102     97 | 61.302 % |
1017.48/1017.84	c |    253278 |  173092   709626  2236091 | 2147483647   247150     97 | 61.302 % |
1026.89/1027.26	c |    255533 |  173092   709626  2236091 | 2147483647   249405     97 | 61.302 % |
1031.88/1032.28	c |    258011 |  173092   709626  2236091 | 2147483647   251883     97 | 61.302 % |
1032.18/1032.57	c |    258112 |  173092   709626  2236091 | 2147483647   251984     97 | 61.302 % |
1032.59/1032.92	c |    258224 |  173092   709626  2236091 | 2147483647   252096     97 | 61.302 % |
1033.08/1033.47	c |    258347 |  173092   709623  2236085 | 2147483647   252219     97 | 61.302 % |
1033.59/1033.99	c |    258480 |  173092   709623  2236085 | 2147483647   252352     97 | 61.302 % |
1033.88/1034.26	c |    258626 |  173092   709623  2236085 | 2147483647   252498     97 | 61.302 % |
1034.58/1034.94	c |    258787 |  173092   709623  2236085 | 2147483647   252659     97 | 61.302 % |
1034.98/1035.40	c |    258964 |  173092   709623  2236085 | 2147483647   252836     97 | 61.302 % |
1035.48/1035.85	c |    259160 |  173092   709623  2236085 | 2147483647   253032     97 | 61.302 % |
1036.68/1037.00	c |    259373 |  173092   709623  2236085 | 2147483647   253245     97 | 61.302 % |
1037.38/1037.77	c |    259606 |  173092   709623  2236085 | 2147483647   253478     97 | 61.302 % |
1037.68/1038.09	c |    259863 |  173092   709623  2236085 | 2147483647   253735     97 | 61.302 % |
1038.48/1038.81	c |    260144 |  173092   709623  2236085 | 2147483647   254016     97 | 61.302 % |
1039.19/1039.57	c |    260455 |  173092   709623  2236085 | 2147483647   254327     97 | 61.302 % |
1040.58/1040.92	c |    260795 |  173092   709623  2236085 | 2147483647   254666     97 | 61.302 % |
1041.78/1042.12	c |    261167 |  173091   709623  2236085 | 2147483647   255038     97 | 61.302 % |
1044.08/1044.42	c |    261576 |  173090   709623  2236085 | 2147483647   255445     97 | 61.314 % |
1045.68/1046.07	c |    262025 |  173090   709623  2236085 | 2147483647   255894     97 | 61.314 % |
1047.99/1048.37	c |    262518 |  173090   709623  2236085 | 2147483647   256387     97 | 61.314 % |
1049.69/1050.05	c |    263061 |  173090   709623  2236085 | 2147483647   256930     97 | 61.314 % |
1051.69/1052.03	c |    263657 |  173090   709623  2236085 | 2147483647   257526     97 | 61.314 % |
1052.89/1053.23	c |    264314 |  173090   709623  2236085 | 2147483647   258183     97 | 61.314 % |
1055.48/1055.85	c |    265036 |  173090   709623  2236085 | 2147483647   258904     97 | 61.329 % |
1060.18/1060.55	c |    265830 |  173090   709623  2236085 | 2147483647   259697     97 | 61.329 % |
1064.98/1065.30	c |    266702 |  173090   709623  2236085 | 2147483647   260569     97 | 61.329 % |
1069.48/1069.88	c |    267660 |  172972   708994  2234569 | 2147483647   261472     97 | 61.329 % |
1074.28/1074.60	c |    268714 |  172972   708994  2234569 | 2147483647   262526     97 | 61.329 % |
1077.97/1078.30	c |    269872 |  172972   708994  2234569 | 2147483647   263684     97 | 61.329 % |
1083.48/1083.85	c |    271145 |  172972   708994  2234569 | 2147483647   264957     98 | 61.329 % |
1087.17/1087.50	c |    272547 |  172972   708994  2234569 | 2147483647   266359     98 | 61.329 % |
1092.67/1093.07	c |    274088 |  172972   708994  2234569 | 2147483647   267900     98 | 61.329 % |
1097.37/1097.75	c |    275782 |  172907   708639  2233492 | 2147483647   269582     98 | 61.357 % |
1103.67/1104.03	c |    277647 |  172907   708639  2233492 | 2147483647   271447     98 | 61.357 % |
1109.77/1110.17	c |    279696 |  172907   708639  2233492 | 2147483647   273496     98 | 61.357 % |
1116.36/1116.78	c |    281949 |  172907   708639  2233492 | 2147483647   275748     98 | 61.364 % |
1122.47/1122.87	c |    284427 |  172904   708639  2233492 | 2147483647   278223     98 | 61.372 % |
1135.66/1136.06	c |    287153 |  172880   708639  2233492 | 2147483647   280947     98 | 61.406 % |
1136.26/1136.60	c |    287253 |  172625   707207  2229912 | 2147483647   280369     98 | 61.406 % |
1136.36/1136.75	c |    287364 |  172625   707207  2229912 | 2147483647   280480     98 | 61.406 % |
1136.66/1137.08	c |    287485 |  172625   707207  2229912 | 2147483647   280601     98 | 61.406 % |
1137.06/1137.41	c |    287619 |  172625   707207  2229912 | 2147483647   280735     98 | 61.406 % |
1137.46/1137.86	c |    287765 |  172625   707207  2229912 | 2147483647   280881     98 | 61.406 % |
1137.96/1138.35	c |    287925 |  172625   707207  2229912 | 2147483647   281041     98 | 61.406 % |
1138.46/1138.86	c |    288103 |  172625   707207  2229912 | 2147483647   281219     98 | 61.406 % |
1139.26/1139.62	c |    288296 |  172625   707207  2229912 | 2147483647   281412     98 | 61.406 % |
1140.16/1140.53	c |    288512 |  172625   707207  2229912 | 2147483647   281628     98 | 61.406 % |
1141.16/1141.52	c |    288747 |  172625   707207  2229912 | 2147483647   281863     98 | 61.406 % |
1141.46/1141.89	c |    289003 |  172625   707207  2229912 | 2147483647   282119     98 | 61.406 % |
1143.16/1143.59	c |    289284 |  172612   707207  2229912 | 2147483647   282399     98 | 61.429 % |
1143.96/1144.36	c |    289593 |  172612   707207  2229912 | 2147483647   282708     98 | 61.429 % |
1145.26/1145.61	c |    289934 |  172612   707207  2229912 | 2147483647   283049     98 | 61.429 % |
1145.95/1146.30	c |    290309 |  172612   707207  2229912 | 2147483647   283424     98 | 61.429 % |
1147.35/1147.79	c |    290719 |  172612   707207  2229912 | 2147483647   283834     98 | 61.429 % |
1149.25/1149.62	c |    291172 |  172612   707207  2229912 | 2147483647   284287     98 | 61.429 % |
1150.95/1151.39	c |    291665 |  172612   707207  2229912 | 2147483647   284780     98 | 61.429 % |
1152.65/1153.03	c |    292208 |  172612   707207  2229912 | 2147483647   285323     98 | 61.429 % |
1154.55/1154.95	c |    292804 |  172612   707207  2229912 | 2147483647   285919     98 | 61.429 % |
1157.25/1157.61	c |    293459 |  172612   707207  2229912 | 2147483647   286574     98 | 61.429 % |
1159.56/1159.95	c |    294179 |  172612   707207  2229912 | 2147483647   287294     98 | 61.429 % |
1161.45/1161.80	c |    294971 |  172612   707207  2229912 | 2147483647   288086     98 | 61.429 % |
1162.85/1163.26	c |    295842 |  172612   707207  2229912 | 2147483647   288957     99 | 61.429 % |
1166.65/1167.08	c |    296801 |  172612   707207  2229912 | 2147483647   289916     99 | 61.429 % |
1169.25/1169.69	c |    297854 |  172612   707207  2229912 | 2147483647   290969     99 | 61.429 % |
1172.45/1172.84	c |    299012 |  172612   707207  2229912 | 2147483647   292127     99 | 61.429 % |
1176.45/1176.82	c |    300286 |  172526   706655  2228498 | 2147483647   292990    100 | 61.429 % |
1179.35/1179.74	c |    301686 |  172526   706655  2228498 | 2147483647   294390    100 | 61.429 % |
1182.16/1182.57	c |    303226 |  172526   706655  2228498 | 2147483647   295930    100 | 61.429 % |
1186.05/1186.41	c |    304926 |  172526   706655  2228498 | 2147483647   297630    100 | 61.429 % |
1190.25/1190.69	c |    306794 |  172526   706655  2228498 | 2147483647   299498    101 | 61.429 % |
1193.64/1194.05	c |    308843 |  172526   706655  2228498 | 2147483647   301547    102 | 61.429 % |
1199.75/1200.10	c |    311096 |  172526   706655  2228498 | 2147483647   303800    102 | 61.429 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14014
/proc/meminfo: memFree=1821488/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0

[startup+0.0731841 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14014
/proc/meminfo: memFree=1821488/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101185 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14014
/proc/meminfo: memFree=1821488/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301325 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14014
/proc/meminfo: memFree=1821488/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70124 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14014
/proc/meminfo: memFree=1821488/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50131 s]
/proc/loadavg: 1.08 1.02 0.95 2/66 14019
/proc/meminfo: memFree=1689312/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=236404 CPUtime=1.49
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 47283 0 0 0 124 25 0 0 25 0 1 0 304948123 242077696 47269 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 59101 47270 49 173 0 58926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241760

[startup+3.10145 s]
/proc/loadavg: 1.08 1.02 0.95 2/66 14019
/proc/meminfo: memFree=1567520/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=372828 CPUtime=3.09
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 91718 0 0 0 255 54 0 0 25 0 1 0 304948123 381775872 91704 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 93207 91705 49 173 0 93032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 378184

[startup+6.30174 s]
/proc/loadavg: 1.08 1.02 0.95 2/66 14019
/proc/meminfo: memFree=1205664/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=713428 CPUtime=6.29
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 155824 0 0 0 538 91 0 0 25 0 1 0 304948123 730550272 155722 1992294400 134512640 135223648 4294956128 18446744073709551615 134548278 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 178357 155722 71 173 0 178182 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 718784

[startup+12.7023 s]
/proc/loadavg: 1.07 1.02 0.95 2/66 14019
/proc/meminfo: memFree=1150944/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=776680 CPUtime=12.69
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 180471 0 0 0 1160 109 0 0 25 0 1 0 304948123 795320320 164895 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 194170 164895 76 173 0 193995 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 782036

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 0.95 2/66 14019
/proc/meminfo: memFree=1149280/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=776936 CPUtime=25.48
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 180568 0 0 0 2436 112 0 0 25 0 1 0 304948123 795582464 164992 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 194234 164992 76 173 0 194059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 782292

[startup+51.1018 s]
/proc/loadavg: 1.04 1.01 0.95 2/66 14019
/proc/meminfo: memFree=1145568/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=776936 CPUtime=51.07
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 180774 0 0 0 4990 117 0 0 25 0 1 0 304948123 795582464 165198 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 194234 165198 76 173 0 194059 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 782292

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 0.95 2/66 14019
/proc/meminfo: memFree=1136672/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=777448 CPUtime=102.26
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 181251 0 0 0 10098 128 0 0 25 0 1 0 304948123 796106752 165675 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 194362 165675 76 173 0 194187 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 782804

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 14021
/proc/meminfo: memFree=1124064/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=786664 CPUtime=162.25
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 181927 0 0 0 16083 142 0 0 25 0 1 0 304948123 805543936 166351 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 196666 166351 76 173 0 196491 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 792020

[startup+222.301 s]
/proc/loadavg: 1.13 1.03 0.96 2/66 14021
/proc/meminfo: memFree=1029344/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=804480 CPUtime=222.22
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 186657 0 0 0 22030 192 0 0 25 0 1 0 304948123 823787520 171052 1992294400 134512640 135223648 4294956128 18446744073709551615 134548334 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 201120 171052 76 173 0 200945 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 809836

[startup+282.302 s]
/proc/loadavg: 1.12 1.05 0.97 2/66 14021
/proc/meminfo: memFree=1019872/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=804716 CPUtime=282.2
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 187312 0 0 0 28018 202 0 0 25 0 1 0 304948123 824029184 171378 1992294400 134512640 135223648 4294956128 18446744073709551615 134548331 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 201179 171378 76 173 0 201004 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 810072

[startup+342.302 s]
/proc/loadavg: 1.04 1.04 0.97 2/66 14021
/proc/meminfo: memFree=1012192/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=0
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304948122 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14014/statm: 1339 237 197 169 0 50 0
[pid=14018] ppid=14014 vsize=805184 CPUtime=342.19
/proc/14018/stat : 14018 (SatELite_releas) R 14014 14014 13861 0 -1 4194304 187867 0 0 0 34009 210 0 0 25 0 1 0 304948123 824508416 171665 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/14018/statm: 201296 171665 76 173 0 201121 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 810540

[startup+402.301 s]
/proc/loadavg: 1.01 1.03 0.97 2/66 14022
/proc/meminfo: memFree=1511328/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=129352 CPUtime=26.81
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 31138 0 0 0 2662 19 0 0 25 0 1 0 304985669 132456448 31013 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 32338 31013 77 171 0 32165 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 134708

[startup+462.302 s]

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

/proc/14022/statm: 32338 31079 77 171 0 32165 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 134708

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 14022
/proc/meminfo: memFree=1500768/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=139500 CPUtime=206.77
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 33715 0 0 0 20652 25 0 0 25 0 1 0 304985669 142848000 33590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 34875 33590 77 171 0 34702 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 144856

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 14022
/proc/meminfo: memFree=1489824/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=150256 CPUtime=266.75
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 36398 0 0 0 26647 28 0 0 25 0 1 0 304985669 153862144 36273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 37564 36273 77 171 0 37391 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 155612

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14022
/proc/meminfo: memFree=1478368/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=161944 CPUtime=326.74
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 39283 0 0 0 32641 33 0 0 25 0 1 0 304985669 165830656 39158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 40486 39158 77 171 0 40313 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 167300

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14022
/proc/meminfo: memFree=1468768/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=171348 CPUtime=386.72
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 41629 0 0 0 38637 35 0 0 25 0 1 0 304985669 175460352 41504 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 42837 41504 77 171 0 42664 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 176704

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14022
/proc/meminfo: memFree=1457888/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=182052 CPUtime=446.7
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 44349 0 0 0 44632 38 0 0 25 0 1 0 304985669 186421248 44224 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 45513 44224 77 171 0 45340 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 187408

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14022
/proc/meminfo: memFree=1448224/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=191456 CPUtime=506.69
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 46719 0 0 0 50628 41 0 0 25 0 1 0 304985669 196050944 46594 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 47864 46594 77 171 0 47691 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 196812

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14022
/proc/meminfo: memFree=1436448/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=203656 CPUtime=566.67
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 49685 0 0 0 56624 43 0 0 25 0 1 0 304985669 208543744 49560 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 50914 49560 77 171 0 50741 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 209012

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 14022
/proc/meminfo: memFree=1428000/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=211724 CPUtime=626.66
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 51727 0 0 0 62620 46 0 0 25 0 1 0 304985669 216805376 51602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 52931 51602 77 171 0 52758 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 217080

[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/66 14022
/proc/meminfo: memFree=1421024/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=218664 CPUtime=686.65
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 53464 0 0 0 68617 48 0 0 25 0 1 0 304985669 223911936 53339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 54666 53339 77 171 0 54493 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 224020

[startup+1122.3 s]
/proc/loadavg: 1.09 1.04 0.99 2/66 14022
/proc/meminfo: memFree=1412128/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=227292 CPUtime=746.64
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 55633 0 0 0 74613 51 0 0 25 0 1 0 304985669 232747008 55508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 56823 55508 77 171 0 56650 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 232648

[startup+1182.3 s]
/proc/loadavg: 1.03 1.03 0.99 2/66 14022
/proc/meminfo: memFree=1402784/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=236812 CPUtime=806.62
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 58018 0 0 0 80608 54 0 0 25 0 1 0 304985669 242495488 57893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 59203 57893 77 171 0 59030 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 242168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.02 1.03 0.99 2/66 14022
/proc/meminfo: memFree=1396256/2055920 swapFree=4171716/4192956
[pid=14014] ppid=14012 vsize=5356 CPUtime=375.33
/proc/14014/stat : 14014 (SatELiteGTI) S 14012 14014 13861 0 -1 4194304 336 366256 0 0 0 0 37202 331 16 0 1 0 304948122 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14014/statm: 1339 239 197 169 0 50 0
[pid=14022] ppid=14014 vsize=243024 CPUtime=824.72
/proc/14022/stat : 14022 (minisat_static) R 14014 14014 13861 0 -1 4194304 59559 0 0 0 82416 56 0 0 25 0 1 0 304985669 248856576 59434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14022/statm: 60756 59434 77 171 0 60583 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 248380

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14014 and gives
#  childrusage.ru_utime.tv_sec=372
#  childrusage.ru_utime.tv_usec=30442
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=319495
# CPU time returned by wait4() is 375.35
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1196.18
CPU system time (s): 3.87
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 892904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 372.03
system time used= 3.31949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366592
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= 21
involuntary context switches= 827

runsolver used 1.3008 second user time and 3.12453 second system time

The end

Launcher Data 

Begin job on node43 at 2009-05-19 23:40:01
IDJOB=1832117
IDBENCH=20506
IDSOLVER=671
FILE ID=node43/1832117-1242769193
PBS_JOBID= 9322257
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED=504279014

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1821904 kB
Buffers:         10848 kB
Cached:         168588 kB
SwapCached:      15316 kB
Active:         142352 kB
Inactive:        58048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821904 kB
SwapTotal:     4192956 kB
SwapFree:      4171716 kB
Dirty:          115980 kB
Writeback:           0 kB
Mapped:          13980 kB
Slab:            19588 kB
Committed_AS:  1113732 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66140 MiB
End job on node43 at 2009-05-20 00:00:03