Trace number 4080205

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.51

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMb561a61efc46169e6f19abce33721598
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark789.012
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Solver Data 

0.00/0.00	c 2016-06-07T06:05:19+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080205-1465272319.opb"]
0.00/0.01	c use --random-gen="2055234679 2034620027 3795207815 2993672907 2814805387 3151708609 2345913741 4179069262 983943541 1335706661 4151859053 1163639313 3100444140 2069279370 2342371881 4281156606 1856626289 3013830546 2784016778 1940339947 1053101665 2037509828 1620981832 2210633780 2477644855 146503994 1772934061 1381234060 4259708387 2924038627 3931813471 1419001421 495328975 431787402 2285325479 3890992939 995437991 2502740030 2248259743 3008681542 4270344566 3868099114 2449742508 2738136357 2419170604 1641370087 3567223400 2396463850 3967192111 2140364588 2030190689 3324758513 4068930388 2895050523 1109167910 2128284497 464679424 2047582045 2927199663 2949771832 2919947834 3601253860 933794245 1300576978 2594391055 2684883553 3974570992 2850563245 2878806771 1711778075 2397968134 1717114766 3141825886 3396979014 426576115 3862953464 1364117111 2875795288 944454856 1289758348 314447642 2660015090 1285077845 768206877 2204511932 614268397 2100364262 3558073801 1193170277 1690058871 746366828 1300206376 2377691324 1764731533 3470182367 1697459530 4109356724 1093448954 959273682 43774595 1407711980 3287235720 1165956660 1712075106 228069651 3618281626 3331659686 99324692 4047054538 3135881989 1190818066 2262589623 2491224395 1587165659 3218111926 3860285061 4016781926 2446741471 2211866296 104208068 2524466766 1707880616 3684039775 2602819302 1991268062 1474232918 273079064 3464695034 3582277932 3700724815 3503122722 400722392 1144021212 3339070740 2840830812 1582248057 2793916675 733883483 1529760623 3521609863 3990494460 537719770 1789316464 375007259 289143520 2524326772 1514105807 2628394877 71653399 2022950200 1385512718 2871511100 3650032982 2072576206 1592961744 3911736490 2816381019 116573663 2327474895 956159654 3516868017 1632566972 276391628 291778373 2749411633 464014191 3557911637 1550799841 433898947 1529980972 3856740011 3165558035 2515688054 3102245826 1870164154 2632160862 239985490 2210040915 3614088100 753927839 2182562568 1005354371 1893337621 2698520338 2862158477 651953782 1308396873 2515640388 1054258259 2921982918 807051173 809271032 1153405560 1295243459 1051971580 3032247902 926547280 3630318244 3801791926 1830509954 89676936 1292944649 3796072531 881322666 655349196 2023866795 1886357898 259833955 2402368898 1797467883 816879384 1361560524 3201312615 1140111075 2908453312 2703307879 2177770779 1876212691 1215078493 2850783616 2724456031 2537172625 283186899 2091508542 1779995878 595159319 1721349174 702783473 525957849 665673904 3051571159 1075847377 135803246 1298866492 27558803 2177782494 3019961199 478846758 3263862091 3349043247 108802274 4239580257 3143066944 3767183509 1219819768 426617434 1599229219 1872170429 1900701898 2854407499 964197740 3396469551 841742578 3333794359 2425371302 222112924 255 362436" option to reproduce the execution
0.00/0.03	c #vars 584
0.00/0.03	c #constraints 427
0.09/0.15	c BCD2: Hardening is enabled.
0.09/0.15	c BCD2: BiasedSearch is enabled.
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |     4648      0 |      694 |        0
0.09/0.19	c  0.0s |       1 |      143 |      100 |     4648      0 |      694 |      824
0.29/0.35	c  0.2s |       2 |      409 |      250 |     5113      0 |      694 |      824
0.49/0.50	c  0.4s |       3 |      822 |      475 |     5625      0 |      694 |      824
0.69/0.80	c  0.6s |       4 |     1238 |      813 |     6188      0 |      694 |      824
1.10/1.17	c  1.0s |       5 |     1930 |     1320 |     6807      0 |      694 |      824
1.79/1.82	c  1.7s |       6 |     3004 |     2081 |     8237      0 |      694 |      824
2.59/2.67	c  2.5s |       7 |     4607 |     3223 |     9061      0 |      694 |      824
3.59/3.66	c  3.5s |       8 |     6919 |     4936 |     9968      0 |      694 |      824
4.19/4.20	c  4.0s |       9 |     9621 |     7506 |    10965      0 |      694 |      824
5.69/5.71	c  5.6s |      10 |    14539 |    11361 |    12062      0 |      694 |      824
7.70/7.78	c  7.6s |      10 |    17986 |    14261 |    12062      1 |      694 |      824
9.79/9.86	c  9.7s |      10 |    20402 |    16161 |    12062      1 |      694 |      824
10.79/10.85	c 10.7s |      11 |    21718 |    17144 |    13269      1 |      694 |      824
12.79/12.89	c 12.7s |      11 |    25059 |    19944 |    13269      1 |      694 |      824
14.89/14.90	c 14.7s |      11 |    27765 |    22344 |    13269      2 |      694 |      824
16.50/16.52	c 16.4s |      12 |    31692 |    25819 |    14596      2 |      694 |      824
16.79/16.86	c 16.7s |      12 |    32258 |    26262 |    14596      2 |      694 |      824
16.79/16.86	c #cpu_time = 16.711s
16.79/16.86	c #wall_clock_time = 16.711s
16.79/16.86	c #decision = 32258
16.79/16.86	c #random_decision = 65
16.79/16.86	c #conflict = 26262
16.79/16.86	c #restart = 12
16.79/16.86	o 98
16.79/16.86	c BCD2: updating upper bound: 182 -> 97
16.79/16.86	c BCD2: 0 <= obj <= 97
16.79/16.86	c BCD2: #cores=0, #unrelaxed=182, #relaxed=0, #hardened=0
16.79/16.86	c BCD2: #sat=1 #unsat=1 bias=1/2
16.79/16.86	c Solving starts ...
16.79/16.86	c ============================[ Search Statistics ]============================
16.79/16.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.79/16.86	c       |         |          |          |    Limit     GC | Var      | Constra 
16.79/16.86	c =============================================================================
16.79/16.86	c  0.0s |       0 |        0 |        0 |    14596      0 |      694 |      824
16.89/16.90	c  0.0s |       0 |        8 |        0 |    14596      0 |      694 |      824
16.89/16.90	c #cpu_time = 0.033s
16.89/16.90	c #wall_clock_time = 0.033s
16.89/16.90	c #decision = 8
16.89/16.90	c #random_decision = 0
16.89/16.90	c #conflict = 0
16.89/16.90	c #restart = 0
16.89/16.90	c BCD2: found a new core of size 7: cost of the new core is >=1
16.89/16.90	c lower bound updated to 1
16.89/16.90	c BCD2: 1 <= obj <= 97
16.89/16.90	c BCD2: #cores=1, #unrelaxed=175, #relaxed=7, #hardened=0
16.89/16.90	c BCD2: #sat=1 #unsat=2 bias=2/3
16.89/16.90	c Solving starts ...
16.89/16.90	c ============================[ Search Statistics ]============================
16.89/16.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.89/16.90	c       |         |          |          |    Limit     GC | Var      | Constra 
16.89/16.90	c =============================================================================
16.89/16.90	c  0.0s |       0 |        0 |        0 |    14596      0 |      694 |      824
16.89/16.95	c  0.1s |       1 |      303 |      100 |    14596      0 |      694 |      824
16.99/17.01	c  0.1s |       2 |      666 |      250 |    14596      0 |      694 |      824
16.99/17.07	c  0.2s |       3 |     1124 |      475 |    14596      0 |      694 |      824
17.09/17.16	c  0.3s |       4 |     1662 |      813 |    14596      0 |      694 |      824
17.19/17.27	c  0.4s |       5 |     2365 |     1320 |    14596      0 |      694 |      824
17.39/17.47	c  0.6s |       6 |     3325 |     2081 |    14596      0 |      694 |      824
17.70/17.79	c  0.9s |       7 |     4667 |     3223 |    14596      0 |      694 |      824
18.39/18.44	c  1.5s |       8 |     6590 |     4936 |    14596      1 |      694 |      824
19.19/19.21	c  2.3s |       9 |     9369 |     7506 |    14596      1 |      694 |      824
20.49/20.54	c  3.6s |      10 |    13437 |    11361 |    14596      2 |      694 |      824
22.39/22.49	c  5.6s |      11 |    19442 |    17144 |    16056      2 |      694 |      824
24.49/24.50	c  7.6s |      11 |    22575 |    20044 |    16056      2 |      694 |      824
26.49/26.53	c  9.6s |      11 |    26574 |    23944 |    16056      3 |      694 |      824
27.28/27.38	c 10.5s |      12 |    28475 |    25819 |    16056      3 |      694 |      824
29.48/29.51	c 12.6s |      12 |    31603 |    28719 |    16056      4 |      694 |      824
31.68/31.78	c 14.9s |      12 |    35942 |    33019 |    17662      4 |      694 |      824
33.78/33.80	c 16.9s |      12 |    41160 |    38219 |    17662      4 |      694 |      824
34.19/34.26	c 17.4s |      13 |    41776 |    38832 |    17662      5 |      694 |      824
36.29/36.31	c 19.4s |      13 |    45431 |    42232 |    17662      5 |      694 |      824
38.78/38.80	c 21.9s |      13 |    48332 |    45032 |    17662      5 |      694 |      824
40.79/40.87	c 24.0s |      13 |    51862 |    48432 |    17662      6 |      694 |      824
42.78/42.88	c 26.0s |      13 |    55844 |    52332 |    17662      6 |      694 |      824
44.78/44.89	c 28.0s |      13 |    59031 |    55432 |    17662      6 |      694 |      824
46.59/46.67	c 29.8s |      14 |    62009 |    58352 |    17662      7 |      694 |      824
48.69/48.73	c 31.8s |      14 |    66156 |    62252 |    19429      7 |      694 |      824
50.79/50.84	c 33.9s |      14 |    69223 |    65252 |    19429      7 |      694 |      824
52.99/53.06	c 36.2s |      14 |    72467 |    68452 |    19429      8 |      694 |      824
55.18/55.26	c 38.4s |      14 |    75991 |    71952 |    19429      8 |      694 |      824
57.29/57.39	c 40.5s |      14 |    78919 |    74852 |    19429      8 |      694 |      824
59.29/59.40	c 42.5s |      14 |    81547 |    77452 |    19429      8 |      694 |      824
61.38/61.47	c 44.6s |      14 |    84779 |    80652 |    19429      9 |      694 |      824
63.38/63.49	c 46.6s |      14 |    89121 |    84952 |    19429      9 |      694 |      824
65.18/65.22	c 48.3s |      15 |    91854 |    87632 |    19429      9 |      694 |      824
67.19/67.25	c 50.4s |      15 |    94782 |    90332 |    19429     10 |      694 |      824
69.18/69.27	c 52.4s |      15 |    97943 |    93432 |    19429     10 |      694 |      824
71.18/71.28	c 54.4s |      15 |   101592 |    97032 |    19429     10 |      694 |      824
73.28/73.33	c 56.4s |      15 |   103933 |    99332 |    19429     11 |      694 |      824
75.28/75.35	c 58.5s |      15 |   107588 |   102932 |    19429     11 |      694 |      824
77.38/77.42	c 60.5s |      15 |   110843 |   106132 |    21372     11 |      694 |      824
79.38/79.46	c 62.6s |      15 |   113368 |   108632 |    21372     11 |      694 |      824
81.48/81.52	c 64.6s |      15 |   115808 |   111032 |    21372     11 |      694 |      824
84.08/84.14	c 67.2s |      15 |   117882 |   113032 |    21372     12 |      694 |      824
86.08/86.16	c 69.3s |      15 |   121065 |   116132 |    21372     12 |      694 |      824
88.09/88.19	c 71.3s |      15 |   123511 |   118532 |    21372     12 |      694 |      824
90.08/90.20	c 73.3s |      15 |   125664 |   120632 |    21372     12 |      694 |      824
92.18/92.20	c 75.3s |      15 |   127295 |   122232 |    21372     13 |      694 |      824
94.18/94.24	c 77.3s |      15 |   130574 |   125432 |    21372     13 |      694 |      824
96.28/96.35	c 79.5s |      15 |   131811 |   126632 |    21372     13 |      694 |      824
98.28/98.39	c 81.5s |      15 |   136014 |   130732 |    21372     13 |      694 |      824
98.98/99.07	c 82.2s |      16 |   136836 |   131552 |    21372     13 |      694 |      824
101.08/101.15	c 84.3s |      16 |   139059 |   133552 |    21372     14 |      694 |      824
103.08/103.19	c 86.3s |      16 |   142689 |   137152 |    21372     14 |      694 |      824
105.18/105.20	c 88.3s |      16 |   145697 |   140052 |    21372     14 |      694 |      824
107.17/107.24	c 90.3s |      16 |   148334 |   142652 |    21372     14 |      694 |      824
109.27/109.38	c 92.5s |      16 |   150230 |   144552 |    21372     15 |      694 |      824
111.37/111.41	c 94.5s |      16 |   153792 |   148052 |    21372     15 |      694 |      824
113.38/113.44	c 96.5s |      16 |   156623 |   150852 |    21372     15 |      694 |      824
115.37/115.47	c 98.6s |      16 |   159406 |   153552 |    21372     15 |      694 |      824
117.47/117.50	c  100s |      16 |   161415 |   155552 |    21372     15 |      694 |      824
119.47/119.52	c  102s |      16 |   163452 |   157552 |    21372     16 |      694 |      824
121.47/121.55	c  104s |      16 |   166194 |   160252 |    21372     16 |      694 |      824
123.57/123.61	c  106s |      16 |   169042 |   163052 |    21372     16 |      694 |      824
125.57/125.64	c  108s |      16 |   171182 |   165152 |    21372     16 |      694 |      824
127.58/127.64	c  110s |      16 |   173700 |   167652 |    21372     17 |      694 |      824
129.57/129.68	c  112s |      16 |   177033 |   170952 |    23510     17 |      694 |      824
131.67/131.71	c  114s |      16 |   179746 |   173652 |    23510     17 |      694 |      824
133.67/133.78	c  116s |      16 |   182531 |   176352 |    23510     17 |      694 |      824
135.77/135.85	c  118s |      16 |   184568 |   178352 |    23510     17 |      694 |      824
139.37/139.43	c  122s |      16 |   185885 |   179652 |    23510     17 |      694 |      824
141.37/141.48	c  124s |      16 |   188496 |   182252 |    23510     18 |      694 |      824
143.37/143.49	c  126s |      16 |   189605 |   183352 |    23510     18 |      694 |      824
145.47/145.55	c  128s |      16 |   192625 |   186352 |    23510     18 |      694 |      824
147.57/147.63	c  130s |      16 |   195137 |   188852 |    23510     18 |      694 |      824
149.57/149.64	c  132s |      16 |   197560 |   191252 |    23510     18 |      694 |      824
151.57/151.68	c  134s |      16 |   199422 |   193052 |    23510     19 |      694 |      824
153.56/153.69	c  136s |      16 |   202925 |   196452 |    23510     19 |      694 |      824
154.26/154.35	c  137s |      17 |   203924 |   197432 |    23510     19 |      694 |      824
156.27/156.37	c  139s |      17 |   205643 |   198932 |    23510     19 |      694 |      824
158.26/158.38	c  141s |      17 |   208180 |   201432 |    23510     19 |      694 |      824
160.36/160.46	c  143s |      17 |   210865 |   204032 |    23510     19 |      694 |      824
162.46/162.51	c  145s |      17 |   213217 |   206332 |    23510     20 |      694 |      824
164.46/164.52	c  147s |      17 |   216288 |   209332 |    23510     20 |      694 |      824
166.46/166.58	c  149s |      17 |   218843 |   211832 |    23510     20 |      694 |      824
168.56/168.68	c  151s |      17 |   221195 |   214132 |    23510     20 |      694 |      824
170.66/170.78	c  153s |      17 |   223244 |   216132 |    23510     20 |      694 |      824
174.07/174.11	c  157s |      17 |   224977 |   217832 |    23510     21 |      694 |      824
176.07/176.12	c  159s |      17 |   229735 |   222332 |    23510     21 |      694 |      824
178.06/178.14	c  161s |      17 |   232958 |   225432 |    23510     21 |      694 |      824
180.06/180.15	c  163s |      17 |   235689 |   228032 |    23510     21 |      694 |      824
182.16/182.20	c  165s |      17 |   237244 |   229532 |    23510     22 |      694 |      824
184.16/184.24	c  167s |      17 |   240443 |   232632 |    23510     22 |      694 |      824
186.26/186.30	c  169s |      17 |   243404 |   235432 |    23510     22 |      694 |      824
188.26/188.39	c  171s |      17 |   246012 |   237932 |    23510     22 |      694 |      824
190.37/190.45	c  173s |      17 |   247978 |   239832 |    23510     22 |      694 |      824
192.66/192.78	c  175s |      17 |   249400 |   241232 |    23510     23 |      694 |      824
196.56/196.68	c  179s |      17 |   250944 |   242732 |    23510     23 |      694 |      824
198.66/198.71	c  181s |      17 |   254704 |   246332 |    23510     23 |      694 |      824
200.66/200.74	c  183s |      17 |   257499 |   249032 |    23510     23 |      694 |      824
202.76/202.80	c  185s |      17 |   259783 |   251232 |    23510     23 |      694 |      824
204.76/204.85	c  187s |      17 |   261967 |   253332 |    23510     23 |      694 |      824
206.86/206.96	c  190s |      17 |   263825 |   255132 |    23510     24 |      694 |      824
208.96/209.01	c  192s |      17 |   266703 |   257932 |    23510     24 |      694 |      824
210.96/211.04	c  194s |      17 |   269070 |   260232 |    23510     24 |      694 |      824
212.96/213.05	c  196s |      17 |   272249 |   263332 |    23510     24 |      694 |      824
215.36/215.45	c  198s |      17 |   274630 |   265632 |    23510     25 |      694 |      824
217.36/217.47	c  200s |      17 |   278318 |   269232 |    25862     25 |      694 |      824
219.46/219.59	c  202s |      17 |   281987 |   272832 |    25862     25 |      694 |      824
221.56/221.63	c  204s |      17 |   285250 |   276032 |    25862     25 |      694 |      824
223.66/223.74	c  206s |      17 |   287906 |   278632 |    25862     25 |      694 |      824
225.66/225.78	c  208s |      17 |   289630 |   280332 |    25862     26 |      694 |      824
227.76/227.82	c  210s |      17 |   292789 |   283432 |    25862     26 |      694 |      824
229.76/229.83	c  212s |      17 |   296381 |   286932 |    25862     26 |      694 |      824
231.76/231.89	c  214s |      17 |   299240 |   289732 |    25862     26 |      694 |      824
233.86/233.98	c  217s |      17 |   302412 |   292832 |    25862     26 |      694 |      824
235.96/236.02	c  219s |      17 |   304955 |   295332 |    25862     27 |      694 |      824
236.46/236.51	c  219s |      18 |   305899 |   296252 |    25862     27 |      694 |      824
238.45/238.57	c  221s |      18 |   308740 |   298852 |    25862     27 |      694 |      824
240.75/240.83	c  223s |      18 |   310687 |   300752 |    25862     27 |      694 |      824
242.75/242.88	c  225s |      18 |   314381 |   304352 |    25862     27 |      694 |      824
244.85/244.91	c  228s |      18 |   317046 |   306952 |    25862     28 |      694 |      824
246.85/246.95	c  230s |      18 |   319889 |   309752 |    25862     28 |      694 |      824
248.85/248.98	c  232s |      18 |   322949 |   312752 |    25862     28 |      694 |      824
250.95/251.02	c  234s |      18 |   325796 |   315552 |    25862     28 |      694 |      824
252.96/253.05	c  236s |      18 |   328119 |   317852 |    25862     28 |      694 |      824
254.95/255.05	c  238s |      18 |   330365 |   320052 |    25862     28 |      694 |      824
258.75/258.81	c  241s |      18 |   332602 |   322252 |    25862     29 |      694 |      824
260.76/260.87	c  243s |      18 |   336022 |   325652 |    25862     29 |      694 |      824
262.85/262.91	c  246s |      18 |   339172 |   328752 |    25862     29 |      694 |      824
264.85/264.96	c  248s |      18 |   341800 |   331352 |    25862     29 |      694 |      824
266.95/267.02	c  250s |      18 |   344019 |   333552 |    25862     29 |      694 |      824
268.95/269.02	c  252s |      18 |   346140 |   335652 |    25862     30 |      694 |      824
270.95/271.02	c  254s |      18 |   350304 |   339752 |    25862     30 |      694 |      824
272.95/273.05	c  256s |      18 |   353800 |   343152 |    25862     30 |      694 |      824
275.06/275.14	c  258s |      18 |   356566 |   345852 |    25862     30 |      694 |      824
277.05/277.17	c  260s |      18 |   358609 |   347852 |    25862     31 |      694 |      824
279.15/279.23	c  262s |      18 |   362275 |   351452 |    25862     31 |      694 |      824
281.15/281.23	c  264s |      18 |   365320 |   354452 |    25862     31 |      694 |      824
283.15/283.23	c  266s |      18 |   367967 |   357052 |    25862     31 |      694 |      824
285.25/285.31	c  268s |      18 |   370303 |   359352 |    25862     31 |      694 |      824
287.25/287.35	c  270s |      18 |   371727 |   360752 |    25862     32 |      694 |      824
289.75/289.87	c  272s |      18 |   374373 |   363352 |    25862     32 |      694 |      824
291.85/291.94	c  275s |      18 |   377826 |   366752 |    25862     32 |      694 |      824
297.94/298.03	c  281s |      18 |   379271 |   368152 |    25862     32 |      694 |      824
300.04/300.11	c  283s |      18 |   382243 |   371052 |    25862     32 |      694 |      824
302.04/302.18	c  285s |      18 |   384585 |   373352 |    25862     32 |      694 |      824
304.05/304.19	c  287s |      18 |   386829 |   375552 |    25862     33 |      694 |      824
306.15/306.26	c  289s |      18 |   389984 |   378652 |    25862     33 |      694 |      824
308.25/308.30	c  291s |      18 |   392949 |   381552 |    25862     33 |      694 |      824
310.25/310.35	c  293s |      18 |   395494 |   384052 |    25862     33 |      694 |      824
312.25/312.35	c  295s |      18 |   398042 |   386552 |    25862     33 |      694 |      824
314.35/314.40	c  297s |      18 |   399565 |   388052 |    25862     34 |      694 |      824
316.34/316.44	c  299s |      18 |   401922 |   390352 |    25862     34 |      694 |      824
318.34/318.47	c  301s |      18 |   405170 |   393552 |    25862     34 |      694 |      824
320.54/320.68	c  303s |      18 |   406394 |   394752 |    25862     34 |      694 |      824
322.64/322.73	c  305s |      18 |   409426 |   397752 |    25862     34 |      694 |      824
324.64/324.76	c  307s |      18 |   412364 |   400552 |    25862     34 |      694 |      824
326.65/326.77	c  309s |      18 |   415776 |   403852 |    25862     35 |      694 |      824
328.74/328.82	c  311s |      18 |   418942 |   406952 |    25862     35 |      694 |      824
330.74/330.86	c  313s |      18 |   421505 |   409452 |    25862     35 |      694 |      824
332.84/332.94	c  316s |      18 |   424061 |   411952 |    25862     35 |      694 |      824
334.84/334.97	c  318s |      18 |   426188 |   414052 |    25862     35 |      694 |      824
340.95/341.02	c  324s |      18 |   427313 |   415152 |    28449     36 |      694 |      824
342.94/343.05	c  326s |      18 |   430855 |   418652 |    28449     36 |      694 |      824
345.04/345.10	c  328s |      18 |   433951 |   421652 |    28449     36 |      694 |      824
347.04/347.16	c  330s |      18 |   436610 |   424252 |    28449     36 |      694 |      824
349.04/349.19	c  332s |      18 |   438846 |   426452 |    28449     36 |      694 |      824
351.14/351.21	c  334s |      18 |   440882 |   428452 |    28449     36 |      694 |      824
353.34/353.47	c  336s |      18 |   442521 |   430052 |    28449     37 |      694 |      824
358.24/358.39	c  341s |      18 |   443117 |   430652 |    28449     37 |      694 |      824
360.24/360.40	c  343s |      18 |   446587 |   434052 |    28449     37 |      694 |      824
362.34/362.44	c  345s |      18 |   449579 |   436952 |    28449     37 |      694 |      824
364.34/364.49	c  347s |      18 |   451936 |   439252 |    28449     37 |      694 |      824
366.44/366.51	c  349s |      18 |   454078 |   441352 |    28449     37 |      694 |      824
368.55/368.62	c  351s |      18 |   456130 |   443352 |    28449     37 |      694 |      824
369.74/369.85	c  352s |      19 |   457289 |   444482 |    28449     37 |      694 |      824
372.14/372.22	c  355s |      19 |   457687 |   444682 |    28449     37 |      694 |      824
374.24/374.37	c  357s |      19 |   457790 |   444782 |    28449     38 |      694 |      824
376.24/376.38	c  359s |      19 |   461296 |   448182 |    28449     38 |      694 |      824
378.23/378.40	c  361s |      19 |   464487 |   451282 |    28449     38 |      694 |      824
380.33/380.41	c  363s |      19 |   467483 |   454182 |    28449     38 |      694 |      824
382.33/382.42	c  365s |      19 |   469862 |   456482 |    28449     38 |      694 |      824
384.33/384.46	c  367s |      19 |   471893 |   458482 |    28449     38 |      694 |      824
386.43/386.52	c  369s |      19 |   473549 |   460082 |    28449     39 |      694 |      824
388.43/388.59	c  371s |      19 |   475904 |   462382 |    28449     39 |      694 |      824
390.54/390.65	c  373s |      19 |   478063 |   464482 |    28449     39 |      694 |      824
392.64/392.71	c  375s |      19 |   479993 |   466382 |    28449     39 |      694 |      824
394.63/394.72	c  377s |      19 |   481723 |   468082 |    28449     39 |      694 |      824
396.73/396.80	c  379s |      19 |   483693 |   469982 |    28449     39 |      694 |      824
398.73/398.84	c  381s |      19 |   485433 |   471682 |    28449     39 |      694 |      824
400.83/400.92	c  384s |      19 |   486865 |   473082 |    28449     39 |      694 |      824
403.43/403.58	c  386s |      19 |   488000 |   474182 |    28449     40 |      694 |      824
405.53/405.67	c  388s |      19 |   490338 |   476482 |    28449     40 |      694 |      824
407.63/407.70	c  390s |      19 |   492576 |   478682 |    28449     40 |      694 |      824
411.63/411.73	c  394s |      19 |   493191 |   479282 |    28449     40 |      694 |      824
413.64/413.73	c  396s |      19 |   495706 |   481782 |    28449     40 |      694 |      824
415.63/415.76	c  398s |      19 |   500168 |   486182 |    28449     40 |      694 |      824
417.73/417.80	c  400s |      19 |   503450 |   489382 |    28449     41 |      694 |      824
419.73/419.87	c  402s |      19 |   507332 |   493182 |    28449     41 |      694 |      824
421.83/421.93	c  405s |      19 |   510379 |   496182 |    28449     41 |      694 |      824
423.93/424.03	c  407s |      19 |   513128 |   498882 |    28449     41 |      694 |      824
425.92/426.09	c  409s |      19 |   515458 |   501182 |    28449     41 |      694 |      824
427.93/428.09	c  411s |      19 |   517391 |   503082 |    28449     41 |      694 |      824
430.03/430.12	c  413s |      19 |   519027 |   504682 |    28449     42 |      694 |      824
432.02/432.12	c  415s |      19 |   522279 |   507882 |    28449     42 |      694 |      824
434.02/434.12	c  417s |      19 |   524907 |   510482 |    28449     42 |      694 |      824
436.02/436.17	c  419s |      19 |   527223 |   512782 |    28449     42 |      694 |      824
440.73/440.86	c  423s |      19 |   527543 |   513082 |    28449     42 |      694 |      824
442.72/442.87	c  425s |      19 |   529664 |   515182 |    28449     42 |      694 |      824
444.82/444.99	c  428s |      19 |   532092 |   517582 |    28449     42 |      694 |      824
446.92/447.08	c  430s |      19 |   533635 |   519082 |    28449     43 |      694 |      824
449.02/449.13	c  432s |      19 |   537397 |   522782 |    28449     43 |      694 |      824
451.03/451.19	c  434s |      19 |   540266 |   525582 |    28449     43 |      694 |      824
453.13/453.28	c  436s |      19 |   542909 |   528182 |    28449     43 |      694 |      824
455.22/455.35	c  438s |      19 |   545032 |   530282 |    28449     43 |      694 |      824
457.22/457.37	c  440s |      19 |   546856 |   532082 |    28449     43 |      694 |      824
459.32/459.41	c  442s |      19 |   548183 |   533382 |    28449     44 |      694 |      824
461.32/461.45	c  444s |      19 |   551129 |   536282 |    28449     44 |      694 |      824
463.32/463.46	c  446s |      19 |   553668 |   538782 |    28449     44 |      694 |      824
471.32/471.42	c  454s |      19 |   554297 |   539382 |    28449     44 |      694 |      824
473.42/473.51	c  456s |      19 |   556754 |   541782 |    28449     44 |      694 |      824
475.42/475.57	c  458s |      19 |   558905 |   543882 |    28449     44 |      694 |      824
477.52/477.67	c  460s |      19 |   560838 |   545782 |    28449     44 |      694 |      824
479.62/479.79	c  462s |      19 |   562573 |   547482 |    28449     44 |      694 |      824
481.72/481.83	c  464s |      19 |   563694 |   548582 |    28449     45 |      694 |      824
485.72/485.87	c  468s |      19 |   566256 |   551082 |    28449     45 |      694 |      824
487.81/487.92	c  471s |      19 |   569433 |   554182 |    28449     45 |      694 |      824
489.81/489.97	c  473s |      19 |   571984 |   556682 |    28449     45 |      694 |      824
491.91/492.05	c  475s |      19 |   574228 |   558882 |    28449     45 |      694 |      824
494.01/494.13	c  477s |      19 |   576366 |   560982 |    28449     45 |      694 |      824
496.21/496.36	c  479s |      19 |   577804 |   562382 |    28449     46 |      694 |      824
498.22/498.37	c  481s |      19 |   581092 |   565582 |    28449     46 |      694 |      824
500.31/500.40	c  483s |      19 |   582203 |   566682 |    28449     46 |      694 |      824
502.31/502.48	c  485s |      19 |   584656 |   569082 |    28449     46 |      694 |      824
504.31/504.48	c  487s |      19 |   586999 |   571382 |    28449     46 |      694 |      824
506.41/506.50	c  489s |      19 |   589045 |   573382 |    28449     46 |      694 |      824
508.41/508.53	c  491s |      19 |   590993 |   575282 |    28449     46 |      694 |      824
510.42/510.59	c  493s |      19 |   592645 |   576882 |    28449     46 |      694 |      824
512.52/512.63	c  495s |      19 |   593871 |   578082 |    28449     47 |      694 |      824
514.51/514.69	c  497s |      19 |   596443 |   580582 |    28449     47 |      694 |      824
517.02/517.18	c  500s |      19 |   598481 |   582582 |    28449     47 |      694 |      824
519.12/519.25	c  502s |      19 |   600314 |   584382 |    28449     47 |      694 |      824
521.12/521.28	c  504s |      19 |   602444 |   586482 |    28449     47 |      694 |      824
523.22/523.33	c  506s |      19 |   604166 |   588182 |    28449     47 |      694 |      824
525.22/525.33	c  508s |      19 |   606103 |   590082 |    28449     47 |      694 |      824
527.61/527.75	c  510s |      19 |   607629 |   591582 |    28449     48 |      694 |      824
529.61/529.75	c  512s |      19 |   609847 |   593782 |    28449     48 |      694 |      824
531.61/531.78	c  514s |      19 |   612366 |   596282 |    28449     48 |      694 |      824
535.81/535.98	c  519s |      19 |   614618 |   598482 |    28449     48 |      694 |      824
537.92/538.07	c  521s |      19 |   617175 |   600982 |    28449     48 |      694 |      824
540.02/540.16	c  523s |      19 |   619331 |   603082 |    28449     48 |      694 |      824
542.01/542.18	c  525s |      19 |   621275 |   604982 |    28449     48 |      694 |      824
544.81/544.93	c  528s |      19 |   622594 |   606282 |    28449     49 |      694 |      824
546.81/546.99	c  530s |      19 |   625539 |   609182 |    28449     49 |      694 |      824
548.91/549.06	c  532s |      19 |   628389 |   611982 |    28449     49 |      694 |      824
551.11/551.27	c  534s |      19 |   630446 |   613982 |    28449     49 |      694 |      824
553.21/553.33	c  536s |      19 |   633017 |   616482 |    28449     49 |      694 |      824
555.20/555.36	c  538s |      19 |   635200 |   618582 |    28449     49 |      694 |      824
557.61/557.74	c  540s |      19 |   637641 |   620982 |    28449     50 |      694 |      824
560.30/560.42	c  543s |      19 |   639759 |   623082 |    28449     50 |      694 |      824
562.30/562.45	c  545s |      19 |   643389 |   626682 |    28449     50 |      694 |      824
564.40/564.51	c  547s |      19 |   646102 |   629382 |    28449     50 |      694 |      824
566.41/566.58	c  549s |      19 |   648322 |   631582 |    28449     50 |      694 |      824
568.50/568.69	c  551s |      19 |   650681 |   633882 |    28449     50 |      694 |      824
571.31/571.43	c  554s |      19 |   652547 |   635682 |    28449     51 |      694 |      824
573.41/573.50	c  556s |      19 |   654867 |   637982 |    31294     51 |      694 |      824
575.41/575.58	c  558s |      19 |   656885 |   639982 |    31294     51 |      694 |      824
577.51/577.68	c  560s |      19 |   659045 |   642082 |    31294     51 |      694 |      824
579.61/579.70	c  562s |      19 |   661105 |   644082 |    31294     51 |      694 |      824
581.61/581.74	c  564s |      19 |   662865 |   645782 |    31294     51 |      694 |      824
583.71/583.89	c  566s |      19 |   664276 |   647182 |    31294     51 |      694 |      824
585.81/585.99	c  569s |      19 |   665691 |   648582 |    31294     51 |      694 |      824
588.00/588.12	c  571s |      19 |   667602 |   650482 |    31294     51 |      694 |      824
590.10/590.23	c  573s |      19 |   669207 |   652082 |    31294     51 |      694 |      824
593.00/593.12	c  576s |      19 |   670313 |   653182 |    31294     52 |      694 |      824
595.30/595.45	c  578s |      19 |   671617 |   654482 |    31294     52 |      694 |      824
597.40/597.54	c  580s |      19 |   674025 |   656882 |    31294     52 |      694 |      824
599.41/599.55	c  582s |      19 |   676534 |   659382 |    31294     52 |      694 |      824
601.50/601.66	c  584s |      19 |   677158 |   659982 |    31294     52 |      694 |      824
603.60/603.77	c  586s |      19 |   679130 |   661882 |    31294     52 |      694 |      824
605.70/605.83	c  588s |      19 |   680558 |   663282 |    31294     52 |      694 |      824
607.80/607.93	c  591s |      19 |   682213 |   664882 |    31294     52 |      694 |      824
609.90/610.00	c  593s |      19 |   683533 |   666182 |    31294     52 |      694 |      824
610.90/611.03	c  594s |      20 |   684185 |   666827 |    31294     52 |      694 |      824
613.00/613.17	c  596s |      20 |   685507 |   667927 |    31294     52 |      694 |      824
615.00/615.20	c  598s |      20 |   686848 |   669227 |    31294     52 |      694 |      824
617.10/617.20	c  600s |      20 |   687162 |   669527 |    31294     53 |      694 |      824
619.09/619.21	c  602s |      20 |   690024 |   672327 |    31294     53 |      694 |      824
621.09/621.24	c  604s |      20 |   691751 |   674027 |    31294     53 |      694 |      824
623.09/623.26	c  606s |      20 |   693783 |   676027 |    31294     53 |      694 |      824
625.19/625.37	c  608s |      20 |   696434 |   678627 |    31294     53 |      694 |      824
627.29/627.45	c  610s |      20 |   698378 |   680527 |    31294     53 |      694 |      824
629.29/629.49	c  612s |      20 |   700189 |   682327 |    31294     53 |      694 |      824
631.40/631.57	c  614s |      20 |   702159 |   684227 |    31294     53 |      694 |      824
633.50/633.61	c  616s |      20 |   703476 |   685527 |    31294     54 |      694 |      824
635.50/635.68	c  618s |      20 |   704703 |   686727 |    31294     54 |      694 |      824
637.60/637.75	c  620s |      20 |   706843 |   688827 |    31294     54 |      694 |      824
639.60/639.75	c  622s |      20 |   708771 |   690727 |    31294     54 |      694 |      824
641.70/641.86	c  624s |      20 |   710835 |   692727 |    31294     54 |      694 |      824
643.80/643.90	c  627s |      20 |   712569 |   694427 |    31294     54 |      694 |      824
646.49/646.65	c  629s |      20 |   712989 |   694827 |    31294     54 |      694 |      824
648.59/648.72	c  631s |      20 |   714300 |   696127 |    31294     54 |      694 |      824
650.69/650.85	c  633s |      20 |   716371 |   698127 |    31294     54 |      694 |      824
652.79/652.93	c  636s |      20 |   718092 |   699827 |    31294     54 |      694 |      824
655.09/655.22	c  638s |      20 |   719829 |   701527 |    31294     55 |      694 |      824
657.80/657.91	c  641s |      20 |   720863 |   702527 |    31294     55 |      694 |      824
659.79/659.97	c  643s |      20 |   724660 |   706227 |    31294     55 |      694 |      824
661.89/662.03	c  645s |      20 |   727309 |   708827 |    31294     55 |      694 |      824
663.89/664.06	c  647s |      20 |   729042 |   710527 |    31294     55 |      694 |      824
665.99/666.13	c  649s |      20 |   730661 |   712127 |    31294     55 |      694 |      824
667.99/668.13	c  651s |      20 |   732382 |   713827 |    31294     55 |      694 |      824
669.99/670.15	c  653s |      20 |   734321 |   715727 |    31294     55 |      694 |      824
672.09/672.29	c  655s |      20 |   735843 |   717227 |    31294     55 |      694 |      824
674.29/674.48	c  657s |      20 |   736971 |   718327 |    31294     56 |      694 |      824
676.59/676.70	c  659s |      20 |   739318 |   720627 |    31294     56 |      694 |      824
678.59/678.71	c  661s |      20 |   741271 |   722527 |    31294     56 |      694 |      824
680.68/680.80	c  663s |      20 |   743556 |   724727 |    31294     56 |      694 |      824
682.78/682.93	c  666s |      20 |   745185 |   726327 |    31294     56 |      694 |      824
684.88/685.01	c  668s |      20 |   746817 |   727927 |    31294     56 |      694 |      824
686.98/687.11	c  670s |      20 |   748463 |   729527 |    31294     56 |      694 |      824
689.28/689.43	c  672s |      20 |   749087 |   730127 |    31294     56 |      694 |      824
691.38/691.51	c  674s |      20 |   750733 |   731727 |    31294     56 |      694 |      824
693.38/693.52	c  676s |      20 |   752248 |   733227 |    31294     56 |      694 |      824
695.39/695.54	c  678s |      20 |   753587 |   734527 |    31294     57 |      694 |      824
697.40/697.55	c  680s |      20 |   755843 |   736727 |    31294     57 |      694 |      824
699.39/699.59	c  682s |      20 |   758435 |   739227 |    31294     57 |      694 |      824
701.39/701.59	c  684s |      20 |   760719 |   741427 |    31294     57 |      694 |      824
703.49/703.61	c  686s |      20 |   762669 |   743327 |    31294     57 |      694 |      824
705.49/705.62	c  688s |      20 |   764295 |   744927 |    31294     57 |      694 |      824
707.49/707.64	c  690s |      20 |   765839 |   746427 |    31294     57 |      694 |      824
709.59/709.73	c  692s |      20 |   767361 |   747927 |    31294     57 |      694 |      824
711.69/711.81	c  694s |      20 |   768808 |   749327 |    31294     57 |      694 |      824
713.69/713.85	c  696s |      20 |   769713 |   750227 |    31294     58 |      694 |      824
715.69/715.86	c  698s |      20 |   772085 |   752527 |    31294     58 |      694 |      824
717.79/717.91	c  701s |      20 |   774554 |   754927 |    31294     58 |      694 |      824
719.79/719.97	c  703s |      20 |   776495 |   756827 |    31294     58 |      694 |      824
730.29/730.49	c  713s |      20 |   777116 |   757427 |    31294     58 |      694 |      824
732.38/732.50	c  715s |      20 |   779636 |   759827 |    31294     58 |      694 |      824
734.38/734.55	c  717s |      20 |   781650 |   761727 |    31294     58 |      694 |      824
736.48/736.62	c  719s |      20 |   783445 |   763427 |    31294     58 |      694 |      824
738.58/738.70	c  721s |      20 |   785000 |   764927 |    31294     58 |      694 |      824
741.18/741.31	c  724s |      20 |   786012 |   765927 |    31294     59 |      694 |      824
743.18/743.35	c  726s |      20 |   788404 |   768227 |    31294     59 |      694 |      824
745.18/745.37	c  728s |      20 |   790271 |   770027 |    31294     59 |      694 |      824
747.28/747.42	c  730s |      20 |   792338 |   772027 |    31294     59 |      694 |      824
749.28/749.46	c  732s |      20 |   794232 |   773827 |    31294     59 |      694 |      824
751.38/751.53	c  734s |      20 |   795905 |   775427 |    31294     59 |      694 |      824
753.48/753.62	c  736s |      20 |   797346 |   776827 |    31294     59 |      694 |      824
755.58/755.71	c  738s |      20 |   798869 |   778327 |    31294     59 |      694 |      824
757.57/757.71	c  740s |      20 |   800461 |   779827 |    31294     59 |      694 |      824
759.57/759.78	c  742s |      20 |   801806 |   781127 |    31294     59 |      694 |      824
762.18/762.34	c  745s |      20 |   802729 |   782027 |    31294     60 |      694 |      824
764.17/764.35	c  747s |      20 |   804493 |   783727 |    31294     60 |      694 |      824
766.17/766.37	c  749s |      20 |   806543 |   785727 |    31294     60 |      694 |      824
768.27/768.43	c  751s |      20 |   808665 |   787827 |    31294     60 |      694 |      824
770.27/770.44	c  753s |      20 |   810233 |   789327 |    31294     60 |      694 |      824
772.27/772.46	c  755s |      20 |   811964 |   791027 |    31294     60 |      694 |      824
774.38/774.55	c  757s |      20 |   813605 |   792627 |    31294     60 |      694 |      824
776.48/776.63	c  759s |      20 |   815369 |   794327 |    31294     60 |      694 |      824
778.47/778.64	c  761s |      20 |   816918 |   795827 |    31294     60 |      694 |      824
780.47/780.64	c  763s |      20 |   818138 |   797027 |    31294     60 |      694 |      824
783.08/783.23	c  766s |      20 |   819260 |   798127 |    31294     61 |      694 |      824
785.17/785.32	c  768s |      20 |   821504 |   800327 |    31294     61 |      694 |      824
789.27/789.44	c  772s |      20 |   822319 |   801127 |    31294     61 |      694 |      824
791.27/791.47	c  774s |      20 |   825117 |   803827 |    31294     61 |      694 |      824
793.37/793.56	c  776s |      20 |   827256 |   805927 |    31294     61 |      694 |      824
795.47/795.64	c  778s |      20 |   829189 |   807827 |    31294     61 |      694 |      824
797.48/797.65	c  780s |      20 |   831166 |   809727 |    31294     61 |      694 |      824
799.47/799.67	c  782s |      20 |   832802 |   811327 |    31294     61 |      694 |      824
801.57/801.74	c  784s |      20 |   834240 |   812727 |    31294     61 |      694 |      824
803.57/803.77	c  786s |      20 |   835573 |   814027 |    31294     61 |      694 |      824
805.67/805.85	c  788s |      20 |   836575 |   815027 |    31294     62 |      694 |      824
807.77/807.91	c  791s |      20 |   838821 |   817227 |    31294     62 |      694 |      824
810.57/810.72	c  793s |      20 |   839855 |   818227 |    31294     62 |      694 |      824
812.57/812.72	c  795s |      20 |   842533 |   820827 |    31294     62 |      694 |      824
814.67/814.84	c  797s |      20 |   844693 |   822927 |    31294     62 |      694 |      824
816.76/816.92	c  800s |      20 |   846447 |   824627 |    31294     62 |      694 |      824
818.86/819.02	c  802s |      20 |   848178 |   826327 |    31294     62 |      694 |      824
820.96/821.12	c  804s |      20 |   849719 |   827827 |    31294     62 |      694 |      824
823.06/823.21	c  806s |      20 |   851239 |   829327 |    31294     62 |      694 |      824
825.26/825.43	c  808s |      20 |   852266 |   830327 |    31294     63 |      694 |      824
827.26/827.50	c  810s |      20 |   854920 |   832927 |    31294     63 |      694 |      824
831.06/831.29	c  814s |      20 |   856062 |   834027 |    31294     63 |      694 |      824
833.17/833.32	c  816s |      20 |   857168 |   835127 |    31294     63 |      694 |      824
835.27/835.40	c  818s |      20 |   859519 |   837427 |    31294     63 |      694 |      824
837.27/837.43	c  820s |      20 |   861792 |   839627 |    31294     63 |      694 |      824
839.27/839.45	c  822s |      20 |   863398 |   841227 |    31294     63 |      694 |      824
841.37/841.52	c  824s |      20 |   865387 |   843127 |    31294     63 |      694 |      824
843.46/843.67	c  826s |      20 |   866916 |   844627 |    31294     63 |      694 |      824
845.46/845.68	c  828s |      20 |   868224 |   845927 |    31294     63 |      694 |      824
847.46/847.68	c  830s |      20 |   869153 |   846827 |    31294     64 |      694 |      824
849.56/849.72	c  832s |      20 |   871371 |   849027 |    31294     64 |      694 |      824
851.56/851.78	c  834s |      20 |   873908 |   851527 |    31294     64 |      694 |      824
853.66/853.83	c  836s |      20 |   876046 |   853627 |    31294     64 |      694 |      824
855.67/855.84	c  838s |      20 |   877878 |   855427 |    31294     64 |      694 |      824
857.66/857.89	c  840s |      20 |   881039 |   858527 |    31294     64 |      694 |      824
859.76/859.91	c  843s |      20 |   882659 |   860127 |    31294     64 |      694 |      824
861.76/861.98	c  845s |      20 |   884185 |   861627 |    31294     64 |      694 |      824
863.96/864.12	c  847s |      20 |   885115 |   862527 |    31294     65 |      694 |      824
865.96/866.19	c  849s |      20 |   887250 |   864627 |    31294     65 |      694 |      824
867.96/868.19	c  851s |      20 |   889592 |   866927 |    31294     65 |      694 |      824
872.86/873.01	c  856s |      20 |   891030 |   868327 |    31294     65 |      694 |      824
874.86/875.04	c  858s |      20 |   893483 |   870727 |    31294     65 |      694 |      824
876.86/877.08	c  860s |      20 |   897249 |   874427 |    31294     65 |      694 |      824
878.96/879.11	c  862s |      20 |   899539 |   876627 |    31294     65 |      694 |      824
881.06/881.21	c  864s |      20 |   901386 |   878427 |    31294     65 |      694 |      824
883.05/883.22	c  866s |      20 |   903309 |   880327 |    31294     66 |      694 |      824
885.06/885.25	c  868s |      20 |   905922 |   882927 |    31294     66 |      694 |      824
887.16/887.36	c  870s |      20 |   908272 |   885227 |    31294     66 |      694 |      824
889.26/889.42	c  872s |      20 |   910010 |   886927 |    31294     66 |      694 |      824
891.26/891.44	c  874s |      20 |   911650 |   888527 |    31294     66 |      694 |      824
893.26/893.50	c  876s |      20 |   913377 |   890227 |    31294     66 |      694 |      824
895.36/895.54	c  878s |      20 |   915027 |   891827 |    31294     66 |      694 |      824
897.36/897.56	c  880s |      20 |   916343 |   893127 |    31294     66 |      694 |      824
899.46/899.65	c  882s |      20 |   917662 |   894427 |    31294     66 |      694 |      824
907.85/908.01	c  891s |      20 |   918576 |   895327 |    31294     67 |      694 |      824
909.85/910.07	c  893s |      20 |   921819 |   898527 |    31294     67 |      694 |      824
911.86/912.09	c  895s |      20 |   924815 |   901427 |    31294     67 |      694 |      824
913.96/914.11	c  897s |      20 |   927382 |   903927 |    31294     67 |      694 |      824
916.05/916.22	c  899s |      20 |   929398 |   905927 |    31294     67 |      694 |      824
918.05/918.28	c  901s |      20 |   931246 |   907727 |    31294     67 |      694 |      824
920.15/920.37	c  903s |      20 |   932773 |   909227 |    31294     67 |      694 |      824
922.25/922.49	c  905s |      20 |   934187 |   910627 |    31294     67 |      694 |      824
924.45/924.65	c  907s |      20 |   935490 |   911927 |    31294     68 |      694 |      824
926.55/926.74	c  909s |      20 |   938153 |   914527 |    31294     68 |      694 |      824
931.15/931.32	c  914s |      20 |   939683 |   916027 |    31294     68 |      694 |      824
933.15/933.34	c  916s |      20 |   942333 |   918627 |    31294     68 |      694 |      824
935.25/935.43	c  918s |      20 |   944795 |   921027 |    31294     68 |      694 |      824
937.35/937.58	c  920s |      20 |   946533 |   922727 |    31294     68 |      694 |      824
939.35/939.59	c  922s |      20 |   948157 |   924327 |    31294     68 |      694 |      824
941.45/941.62	c  924s |      20 |   949938 |   926027 |    31294     68 |      694 |      824
943.44/943.68	c  926s |      20 |   950867 |   926927 |    31294     69 |      694 |      824
945.54/945.75	c  928s |      20 |   953300 |   929327 |    31294     69 |      694 |      824
947.64/947.80	c  930s |      20 |   955425 |   931427 |    31294     69 |      694 |      824
951.75/951.90	c  935s |      20 |   955744 |   931727 |    31294     69 |      694 |      824
953.75/953.93	c  937s |      20 |   957889 |   933827 |    31294     69 |      694 |      824
955.85/956.03	c  939s |      20 |   960170 |   936027 |    31294     69 |      694 |      824
957.95/958.11	c  941s |      20 |   962002 |   937827 |    31294     69 |      694 |      824
959.95/960.14	c  943s |      20 |   963639 |   939427 |    31294     69 |      694 |      824
962.05/962.28	c  945s |      20 |   965054 |   940827 |    31294     69 |      694 |      824
964.15/964.30	c  947s |      20 |   966576 |   942327 |    31294     69 |      694 |      824
969.44/969.64	c  952s |      20 |   967821 |   943527 |    31294     70 |      694 |      824
971.44/971.66	c  954s |      20 |   970935 |   946527 |    31294     70 |      694 |      824
973.54/973.72	c  956s |      20 |   973347 |   948827 |    31294     70 |      694 |      824
975.54/975.80	c  958s |      20 |   975657 |   951027 |    31294     70 |      694 |      824
977.64/977.86	c  960s |      20 |   977738 |   953027 |    31294     70 |      694 |      824
979.74/979.94	c  963s |      20 |   979403 |   954627 |    31294     70 |      694 |      824
981.73/981.98	c  965s |      20 |   981293 |   956427 |    31294     70 |      694 |      824
983.83/984.07	c  967s |      20 |   982719 |   957827 |    31294     70 |      694 |      824
987.03/987.28	c  970s |      20 |   984189 |   959227 |    31294     71 |      694 |      824
989.23/989.45	c  972s |      20 |   986667 |   961627 |    31294     71 |      694 |      824
991.23/991.46	c  974s |      20 |   989320 |   964127 |    31294     71 |      694 |      824
993.33/993.50	c  976s |      20 |   991377 |   966127 |    31294     71 |      694 |      824
995.33/995.52	c  978s |      20 |   993477 |   968127 |    34424     71 |      694 |      824
997.43/997.60	c  980s |      20 |   994810 |   969427 |    34424     71 |      694 |      824
999.53/999.73	c  982s |      20 |   996327 |   970927 |    34424     71 |      694 |      824
1003.73/1003.91	c  987s |      20 |   997191 |   971727 |    34424     71 |      694 |      824
1005.73/1005.99	c  989s |      20 |   999558 |   973927 |    34424     71 |      694 |      824
1007.82/1008.02	c  991s |      20 |  1001256 |   975527 |    34424     71 |      694 |      824
1010.02/1010.20	c  993s |      20 |  1002842 |   977027 |    34424     71 |      694 |      824
1012.12/1012.34	c  995s |      20 |  1004189 |   978327 |    34424     71 |      694 |      824
1014.12/1014.34	c  997s |      20 |  1005242 |   979327 |    34424     72 |      694 |      824
1016.13/1016.35	c  999s |      20 |  1007585 |   981527 |    34424     72 |      694 |      824
1018.22/1018.44	c 1001s |      20 |  1009372 |   983227 |    34424     72 |      694 |      824
1020.22/1020.49	c 1003s |      20 |  1012199 |   985927 |    34424     72 |      694 |      824
1022.22/1022.49	c 1005s |      20 |  1014397 |   988027 |    34424     72 |      694 |      824
1024.32/1024.50	c 1007s |      20 |  1016627 |   990127 |    34424     72 |      694 |      824
1026.32/1026.54	c 1009s |      20 |  1018096 |   991527 |    34424     72 |      694 |      824
1028.43/1028.61	c 1011s |      20 |  1019867 |   993227 |    34424     72 |      694 |      824
1030.42/1030.67	c 1013s |      20 |  1021548 |   994827 |    34424     72 |      694 |      824
1033.22/1033.41	c 1016s |      20 |  1022909 |   996127 |    34424     73 |      694 |      824
1035.22/1035.45	c 1018s |      20 |  1024357 |   997527 |    34424     73 |      694 |      824
1037.32/1037.50	c 1020s |      20 |  1026619 |   999727 |    34424     73 |      694 |      824
1037.82/1038.10	c 1021s |      21 |  1027258 |  1000345 |    34424     73 |      694 |      824
1041.63/1041.81	c 1024s |      21 |  1027551 |  1000445 |    34424     73 |      694 |      824
1043.62/1043.86	c 1026s |      21 |  1029696 |  1002545 |    34424     73 |      694 |      824
1045.62/1045.88	c 1028s |      21 |  1031635 |  1004445 |    34424     73 |      694 |      824
1050.92/1051.17	c 1034s |      21 |  1032967 |  1005745 |    34424     73 |      694 |      824
1053.02/1053.21	c 1036s |      21 |  1035146 |  1007845 |    34424     73 |      694 |      824
1055.11/1055.32	c 1038s |      21 |  1036875 |  1009545 |    34424     73 |      694 |      824
1057.11/1057.38	c 1040s |      21 |  1038620 |  1011245 |    34424     73 |      694 |      824
1059.12/1059.39	c 1042s |      21 |  1040598 |  1013145 |    34424     73 |      694 |      824
1061.21/1061.41	c 1044s |      21 |  1041224 |  1013745 |    34424     74 |      694 |      824
1063.21/1063.48	c 1046s |      21 |  1044245 |  1016645 |    34424     74 |      694 |      824
1065.31/1065.50	c 1048s |      21 |  1046392 |  1018745 |    34424     74 |      694 |      824
1067.41/1067.60	c 1050s |      21 |  1048540 |  1020845 |    34424     74 |      694 |      824
1069.41/1069.67	c 1052s |      21 |  1050610 |  1022845 |    34424     74 |      694 |      824
1071.41/1071.68	c 1054s |      21 |  1052360 |  1024545 |    34424     74 |      694 |      824
1073.52/1073.72	c 1056s |      21 |  1053980 |  1026145 |    34424     74 |      694 |      824
1076.01/1076.23	c 1059s |      21 |  1055211 |  1027345 |    34424     74 |      694 |      824
1078.01/1078.26	c 1061s |      21 |  1056639 |  1028745 |    34424     74 |      694 |      824
1080.12/1080.36	c 1063s |      21 |  1057843 |  1029945 |    34424     74 |      694 |      824
1082.32/1082.54	c 1065s |      21 |  1059175 |  1031245 |    34424     74 |      694 |      824
1084.31/1084.57	c 1067s |      21 |  1060283 |  1032345 |    34424     75 |      694 |      824
1086.31/1086.58	c 1069s |      21 |  1062431 |  1034445 |    34424     75 |      694 |      824
1089.01/1089.23	c 1072s |      21 |  1062835 |  1034845 |    34424     75 |      694 |      824
1091.01/1091.25	c 1074s |      21 |  1065184 |  1037145 |    34424     75 |      694 |      824
1093.00/1093.26	c 1076s |      21 |  1067314 |  1039245 |    34424     75 |      694 |      824
1098.10/1098.37	c 1081s |      21 |  1069267 |  1041145 |    34424     75 |      694 |      824
1100.20/1100.44	c 1083s |      21 |  1072224 |  1043945 |    34424     75 |      694 |      824
1102.20/1102.47	c 1085s |      21 |  1074189 |  1045845 |    34424     75 |      694 |      824
1104.31/1104.52	c 1087s |      21 |  1075951 |  1047545 |    34424     75 |      694 |      824
1107.00/1107.27	c 1090s |      21 |  1077639 |  1049145 |    34424     76 |      694 |      824
1109.10/1109.34	c 1092s |      21 |  1080450 |  1051845 |    34424     76 |      694 |      824
1111.10/1111.39	c 1094s |      21 |  1082720 |  1054045 |    34424     76 |      694 |      824
1113.20/1113.46	c 1096s |      21 |  1084799 |  1056045 |    34424     76 |      694 |      824
1115.30/1115.50	c 1098s |      21 |  1087109 |  1058245 |    34424     76 |      694 |      824
1117.30/1117.54	c 1100s |      21 |  1088873 |  1059945 |    34424     76 |      694 |      824
1119.30/1119.58	c 1102s |      21 |  1090343 |  1061345 |    34424     76 |      694 |      824
1121.39/1121.69	c 1104s |      21 |  1093230 |  1064145 |    34424     76 |      694 |      824
1123.59/1123.85	c 1106s |      21 |  1095211 |  1066045 |    34424     76 |      694 |      824
1125.99/1126.25	c 1109s |      21 |  1096019 |  1066845 |    34424     77 |      694 |      824
1127.99/1128.25	c 1111s |      21 |  1097994 |  1068745 |    34424     77 |      694 |      824
1129.99/1130.27	c 1113s |      21 |  1099956 |  1070645 |    34424     77 |      694 |      824
1132.08/1132.34	c 1115s |      21 |  1102007 |  1072645 |    34424     77 |      694 |      824
1134.08/1134.36	c 1117s |      21 |  1103899 |  1074445 |    34424     77 |      694 |      824
1136.09/1136.40	c 1119s |      21 |  1105864 |  1076345 |    34424     77 |      694 |      824
1138.18/1138.41	c 1121s |      21 |  1107634 |  1078045 |    34424     77 |      694 |      824
1140.18/1140.49	c 1123s |      21 |  1109066 |  1079445 |    34424     77 |      694 |      824
1142.28/1142.52	c 1125s |      21 |  1110621 |  1080945 |    34424     77 |      694 |      824
1144.78/1145.00	c 1128s |      21 |  1111962 |  1082245 |    34424     77 |      694 |      824
1146.88/1147.15	c 1130s |      21 |  1113404 |  1083645 |    34424     77 |      694 |      824
1149.29/1149.58	c 1132s |      21 |  1114231 |  1084445 |    34424     78 |      694 |      824
1153.98/1154.27	c 1137s |      21 |  1116178 |  1086345 |    34424     78 |      694 |      824
1156.08/1156.35	c 1139s |      21 |  1118961 |  1089045 |    34424     78 |      694 |      824
1158.18/1158.46	c 1141s |      21 |  1121115 |  1091145 |    34424     78 |      694 |      824
1160.18/1160.49	c 1143s |      21 |  1123155 |  1093145 |    34424     78 |      694 |      824
1162.27/1162.54	c 1145s |      21 |  1124886 |  1094845 |    34424     78 |      694 |      824
1164.37/1164.62	c 1147s |      21 |  1126423 |  1096345 |    34424     78 |      694 |      824
1166.37/1166.68	c 1149s |      21 |  1127738 |  1097645 |    34424     78 |      694 |      824
1168.47/1168.72	c 1151s |      21 |  1129172 |  1099045 |    34424     78 |      694 |      824
1170.57/1170.80	c 1153s |      21 |  1130583 |  1100445 |    34424     78 |      694 |      824
1172.67/1172.93	c 1156s |      21 |  1132111 |  1101945 |    34424     78 |      694 |      824
1176.37/1176.64	c 1159s |      21 |  1133252 |  1103045 |    34424     79 |      694 |      824
1178.47/1178.75	c 1161s |      21 |  1135923 |  1105645 |    34424     79 |      694 |      824
1180.47/1180.78	c 1163s |      21 |  1137969 |  1107645 |    34424     79 |      694 |      824
1182.57/1182.83	c 1165s |      21 |  1139914 |  1109545 |    34424     79 |      694 |      824
1184.58/1184.85	c 1167s |      21 |  1142066 |  1111645 |    34424     79 |      694 |      824
1186.68/1186.94	c 1170s |      21 |  1143500 |  1113045 |    34424     79 |      694 |      824
1188.67/1188.98	c 1172s |      21 |  1145023 |  1114545 |    34424     79 |      694 |      824
1190.87/1191.11	c 1174s |      21 |  1146457 |  1115945 |    34424     79 |      694 |      824
1192.87/1193.14	c 1176s |      21 |  1147769 |  1117245 |    34424     79 |      694 |      824
1194.87/1195.16	c 1178s |      21 |  1149004 |  1118445 |    34424     79 |      694 |      824
1196.97/1197.27	c 1180s |      21 |  1150235 |  1119645 |    34424     79 |      694 |      824
1199.06/1199.33	c 1182s |      21 |  1151267 |  1120645 |    34424     80 |      694 |      824
1201.07/1201.33	c 1184s |      21 |  1153511 |  1122845 |    34424     80 |      694 |      824
1203.06/1203.36	c 1186s |      21 |  1155766 |  1125045 |    34424     80 |      694 |      824
1207.06/1207.30	c 1190s |      21 |  1155994 |  1125245 |    34424     80 |      694 |      824
1209.16/1209.40	c 1192s |      21 |  1158223 |  1127445 |    34424     80 |      694 |      824
1211.16/1211.42	c 1194s |      21 |  1160375 |  1129545 |    34424     80 |      694 |      824
1213.17/1213.44	c 1196s |      21 |  1162463 |  1131545 |    34424     80 |      694 |      824
1215.16/1215.46	c 1198s |      21 |  1164206 |  1133245 |    34424     80 |      694 |      824
1217.26/1217.56	c 1200s |      21 |  1166049 |  1135045 |    34424     80 |      694 |      824
1219.26/1219.58	c 1202s |      21 |  1167455 |  1136445 |    34424     80 |      694 |      824
1221.66/1221.95	c 1205s |      21 |  1168472 |  1137445 |    34424     81 |      694 |      824
1223.66/1223.99	c 1207s |      21 |  1170516 |  1139445 |    34424     81 |      694 |      824
1225.76/1226.05	c 1209s |      21 |  1172658 |  1141545 |    34424     81 |      694 |      824
1227.86/1228.16	c 1211s |      21 |  1174576 |  1143445 |    34424     81 |      694 |      824
1230.06/1230.30	c 1213s |      21 |  1176526 |  1145345 |    34424     81 |      694 |      824
1232.05/1232.39	c 1215s |      21 |  1178059 |  1146845 |    34424     81 |      694 |      824
1234.15/1234.47	c 1217s |      21 |  1179873 |  1148645 |    34424     81 |      694 |      824
1236.26/1236.57	c 1219s |      21 |  1181521 |  1150245 |    34424     81 |      694 |      824
1238.36/1238.64	c 1221s |      21 |  1182939 |  1151645 |    34424     81 |      694 |      824
1240.45/1240.80	c 1223s |      21 |  1184345 |  1153045 |    34424     81 |      694 |      824
1244.96/1245.22	c 1228s |      21 |  1184979 |  1153645 |    34424     81 |      694 |      824
1247.45/1247.75	c 1230s |      21 |  1186549 |  1155145 |    34424     82 |      694 |      824
1249.55/1249.84	c 1232s |      21 |  1189306 |  1157845 |    34424     82 |      694 |      824
1251.55/1251.85	c 1234s |      21 |  1191333 |  1159845 |    34424     82 |      694 |      824
1253.54/1253.88	c 1236s |      21 |  1193273 |  1161745 |    34424     82 |      694 |      824
1255.64/1255.91	c 1239s |      21 |  1195109 |  1163545 |    34424     82 |      694 |      824
1257.64/1257.91	c 1241s |      21 |  1196737 |  1165145 |    34424     82 |      694 |      824
1259.74/1260.00	c 1243s |      21 |  1198276 |  1166645 |    34424     82 |      694 |      824
1261.74/1262.08	c 1245s |      21 |  1199584 |  1167945 |    34424     82 |      694 |      824
1263.75/1264.08	c 1247s |      21 |  1200916 |  1169245 |    34424     82 |      694 |      824
1265.85/1266.17	c 1249s |      21 |  1202440 |  1170745 |    34424     82 |      694 |      824
1267.94/1268.27	c 1251s |      21 |  1204041 |  1172345 |    34424     82 |      694 |      824
1270.04/1270.32	c 1253s |      21 |  1204753 |  1173045 |    34424     83 |      694 |      824
1272.04/1272.38	c 1255s |      21 |  1207494 |  1175745 |    34424     83 |      694 |      824
1274.04/1274.38	c 1257s |      21 |  1209643 |  1177845 |    34424     83 |      694 |      824
1276.04/1276.39	c 1259s |      21 |  1211459 |  1179645 |    34424     83 |      694 |      824
1287.84/1288.17	c 1271s |      21 |  1212588 |  1180745 |    34424     83 |      694 |      824
1289.93/1290.22	c 1273s |      21 |  1215617 |  1183645 |    34424     83 |      694 |      824
1292.03/1292.31	c 1275s |      21 |  1217872 |  1185845 |    34424     83 |      694 |      824
1294.03/1294.34	c 1277s |      21 |  1219928 |  1187845 |    34424     83 |      694 |      824
1296.03/1296.37	c 1279s |      21 |  1221549 |  1189445 |    34424     83 |      694 |      824
1298.83/1299.14	c 1282s |      21 |  1222656 |  1190545 |    34424     84 |      694 |      824
1300.82/1301.15	c 1284s |      21 |  1225020 |  1192845 |    34424     84 |      694 |      824
1302.92/1303.24	c 1286s |      21 |  1227165 |  1194945 |    34424     84 |      694 |      824
1305.02/1305.33	c 1288s |      21 |  1229417 |  1197145 |    34424     84 |      694 |      824
1307.02/1307.34	c 1290s |      21 |  1231156 |  1198845 |    34424     84 |      694 |      824
1309.12/1309.46	c 1292s |      21 |  1232577 |  1200245 |    34424     84 |      694 |      824
1311.22/1311.57	c 1294s |      21 |  1234037 |  1201645 |    34424     84 |      694 |      824
1313.32/1313.61	c 1296s |      21 |  1235191 |  1202745 |    34424     84 |      694 |      824
1315.32/1315.62	c 1298s |      21 |  1236234 |  1203745 |    34424     84 |      694 |      824
1317.31/1317.69	c 1300s |      21 |  1237241 |  1204745 |    34424     84 |      694 |      824
1319.41/1319.76	c 1302s |      21 |  1238392 |  1205845 |    34424     84 |      694 |      824
1321.61/1321.98	c 1305s |      21 |  1239448 |  1206845 |    34424     84 |      694 |      824
1323.81/1324.19	c 1307s |      21 |  1240468 |  1207845 |    34424     84 |      694 |      824
1326.61/1326.91	c 1310s |      21 |  1240792 |  1208145 |    34424     85 |      694 |      824
1328.62/1328.94	c 1312s |      21 |  1242480 |  1209745 |    34424     85 |      694 |      824
1330.61/1330.97	c 1314s |      21 |  1244384 |  1211545 |    34424     85 |      694 |      824
1332.71/1333.01	c 1316s |      21 |  1245932 |  1213045 |    34424     85 |      694 |      824
1334.71/1335.09	c 1318s |      21 |  1247802 |  1214845 |    34424     85 |      694 |      824
1336.80/1337.13	c 1320s |      21 |  1249346 |  1216345 |    34424     85 |      694 |      824
1338.80/1339.19	c 1322s |      21 |  1250785 |  1217745 |    34424     85 |      694 |      824
1343.80/1344.17	c 1327s |      21 |  1251597 |  1218545 |    34424     85 |      694 |      824
1345.90/1346.25	c 1329s |      21 |  1253013 |  1219945 |    34424     85 |      694 |      824
1348.00/1348.38	c 1331s |      21 |  1254481 |  1221345 |    34424     85 |      694 |      824
1350.10/1350.41	c 1333s |      21 |  1255686 |  1222545 |    34424     85 |      694 |      824
1352.20/1352.51	c 1335s |      21 |  1257065 |  1223845 |    34424     85 |      694 |      824
1354.20/1354.52	c 1337s |      21 |  1258228 |  1224945 |    34424     85 |      694 |      824
1358.10/1358.50	c 1341s |      21 |  1259171 |  1225845 |    34424     86 |      694 |      824
1360.20/1360.54	c 1343s |      21 |  1260954 |  1227545 |    34424     86 |      694 |      824
1362.30/1362.60	c 1345s |      21 |  1262902 |  1229445 |    34424     86 |      694 |      824
1367.89/1368.22	c 1351s |      21 |  1264558 |  1231045 |    34424     86 |      694 |      824
1369.99/1370.36	c 1353s |      21 |  1266672 |  1233045 |    34424     86 |      694 |      824
1372.09/1372.40	c 1355s |      21 |  1268347 |  1234645 |    34424     86 |      694 |      824
1374.19/1374.52	c 1357s |      21 |  1270032 |  1236245 |    34424     86 |      694 |      824
1376.19/1376.58	c 1359s |      21 |  1271388 |  1237545 |    34424     86 |      694 |      824
1378.39/1378.75	c 1361s |      21 |  1272738 |  1238845 |    34424     86 |      694 |      824
1380.48/1380.81	c 1363s |      21 |  1273861 |  1239945 |    34424     86 |      694 |      824
1382.49/1382.84	c 1365s |      21 |  1275138 |  1241145 |    34424     86 |      694 |      824
1384.59/1384.95	c 1368s |      21 |  1276261 |  1242245 |    34424     86 |      694 |      824
1386.68/1387.00	c 1370s |      21 |  1277287 |  1243245 |    34424     86 |      694 |      824
1389.09/1389.49	c 1372s |      21 |  1277592 |  1243545 |    34424     87 |      694 |      824
1391.18/1391.51	c 1374s |      21 |  1279666 |  1245545 |    34424     87 |      694 |      824
1393.28/1393.63	c 1376s |      21 |  1281855 |  1247645 |    34424     87 |      694 |      824
1395.27/1395.69	c 1378s |      21 |  1283461 |  1249245 |    34424     87 |      694 |      824
1397.38/1397.79	c 1380s |      21 |  1284310 |  1250045 |    34424     87 |      694 |      824
1399.48/1399.81	c 1382s |      21 |  1286075 |  1251745 |    34424     87 |      694 |      824
1401.48/1401.90	c 1384s |      21 |  1287631 |  1253245 |    34424     87 |      694 |      824
1403.68/1404.02	c 1387s |      21 |  1288929 |  1254545 |    34424     87 |      694 |      824
1405.68/1406.09	c 1389s |      21 |  1290158 |  1255745 |    34424     87 |      694 |      824
1407.88/1408.22	c 1391s |      21 |  1291376 |  1256945 |    34424     87 |      694 |      824
1410.28/1410.65	c 1393s |      21 |  1292497 |  1258045 |    34424     87 |      694 |      824
1412.28/1412.69	c 1395s |      21 |  1293800 |  1259345 |    34424     87 |      694 |      824
1414.38/1414.77	c 1397s |      21 |  1295012 |  1260545 |    34424     87 |      694 |      824
1417.77/1418.12	c 1401s |      21 |  1295734 |  1261245 |    34424     88 |      694 |      824
1419.78/1420.15	c 1403s |      21 |  1298023 |  1263445 |    34424     88 |      694 |      824
1422.08/1422.49	c 1405s |      21 |  1300165 |  1265545 |    34424     88 |      694 |      824
1424.37/1424.71	c 1407s |      21 |  1301992 |  1267345 |    34424     88 |      694 |      824
1426.48/1426.82	c 1409s |      21 |  1303813 |  1269145 |    34424     88 |      694 |      824
1428.47/1428.87	c 1411s |      21 |  1304537 |  1269845 |    34424     88 |      694 |      824
1430.57/1430.91	c 1414s |      21 |  1306652 |  1271845 |    34424     88 |      694 |      824
1432.67/1433.01	c 1416s |      21 |  1308584 |  1273645 |    34424     88 |      694 |      824
1434.77/1435.13	c 1418s |      21 |  1310122 |  1275145 |    34424     88 |      694 |      824
1436.77/1437.13	c 1420s |      21 |  1311472 |  1276445 |    34424     88 |      694 |      824
1438.97/1439.30	c 1422s |      21 |  1312676 |  1277645 |    34424     88 |      694 |      824
1442.38/1442.72	c 1425s |      21 |  1313940 |  1278845 |    34424     89 |      694 |      824
1444.48/1444.80	c 1427s |      21 |  1316314 |  1281145 |    34424     89 |      694 |      824
1446.48/1446.83	c 1429s |      21 |  1318134 |  1282945 |    34424     89 |      694 |      824
1448.57/1448.93	c 1432s |      21 |  1320115 |  1284845 |    34424     89 |      694 |      824
1450.58/1450.99	c 1434s |      21 |  1321772 |  1286445 |    34424     89 |      694 |      824
1452.67/1453.01	c 1436s |      21 |  1323187 |  1287845 |    34424     89 |      694 |      824
1454.67/1455.04	c 1438s |      21 |  1324648 |  1289245 |    34424     89 |      694 |      824
1456.67/1457.09	c 1440s |      21 |  1326079 |  1290645 |    34424     89 |      694 |      824
1458.77/1459.10	c 1442s |      21 |  1327405 |  1291945 |    34424     89 |      694 |      824
1460.87/1461.24	c 1444s |      21 |  1328627 |  1293145 |    34424     89 |      694 |      824
1462.97/1463.34	c 1446s |      21 |  1329732 |  1294245 |    34424     89 |      694 |      824
1464.98/1465.36	c 1448s |      21 |  1330872 |  1295345 |    34424     89 |      694 |      824
1467.18/1467.51	c 1450s |      21 |  1331878 |  1296345 |    34424     89 |      694 |      824
1469.17/1469.56	c 1452s |      21 |  1332083 |  1296545 |    34424     90 |      694 |      824
1472.06/1472.44	c 1455s |      21 |  1332486 |  1296945 |    34424     90 |      694 |      824
1474.06/1474.45	c 1457s |      21 |  1335045 |  1299445 |    34424     90 |      694 |      824
1479.66/1480.08	c 1463s |      21 |  1336568 |  1300945 |    34424     90 |      694 |      824
1481.76/1482.13	c 1465s |      21 |  1339048 |  1303345 |    34424     90 |      694 |      824
1483.86/1484.23	c 1467s |      21 |  1340997 |  1305245 |    34424     90 |      694 |      824
1485.96/1486.30	c 1469s |      21 |  1342521 |  1306745 |    34424     90 |      694 |      824
1487.96/1488.38	c 1471s |      21 |  1344078 |  1308245 |    34424     90 |      694 |      824
1490.06/1490.42	c 1473s |      21 |  1345273 |  1309445 |    34424     90 |      694 |      824
1492.06/1492.47	c 1475s |      21 |  1346608 |  1310745 |    34424     90 |      694 |      824
1494.05/1494.48	c 1477s |      21 |  1347620 |  1311745 |    34424     90 |      694 |      824
1497.97/1498.39	c 1481s |      21 |  1348669 |  1312745 |    34424     90 |      694 |      824
1501.27/1501.67	c 1484s |      21 |  1350265 |  1314245 |    34424     91 |      694 |      824
1503.36/1503.76	c 1486s |      21 |  1353081 |  1316945 |    34424     91 |      694 |      824
1505.36/1505.79	c 1488s |      21 |  1355158 |  1318945 |    34424     91 |      694 |      824
1507.46/1507.86	c 1490s |      21 |  1357134 |  1320845 |    34424     91 |      694 |      824
1509.56/1509.96	c 1493s |      21 |  1358989 |  1322645 |    34424     91 |      694 |      824
1511.66/1512.09	c 1495s |      21 |  1360667 |  1324245 |    34424     91 |      694 |      824
1513.86/1514.24	c 1497s |      21 |  1362225 |  1325745 |    34424     91 |      694 |      824
1515.86/1516.27	c 1499s |      21 |  1363564 |  1327045 |    34424     91 |      694 |      824
1517.96/1518.39	c 1501s |      21 |  1364808 |  1328245 |    34424     91 |      694 |      824
1520.06/1520.42	c 1503s |      21 |  1365950 |  1329345 |    34424     91 |      694 |      824
1522.06/1522.48	c 1505s |      21 |  1367081 |  1330445 |    34424     91 |      694 |      824
1524.05/1524.48	c 1507s |      21 |  1368099 |  1331445 |    34424     91 |      694 |      824
1526.65/1527.02	c 1510s |      21 |  1368504 |  1331845 |    34424     92 |      694 |      824
1529.45/1529.80	c 1512s |      21 |  1370227 |  1333545 |    34424     92 |      694 |      824
1531.45/1531.81	c 1514s |      21 |  1372518 |  1335745 |    34424     92 |      694 |      824
1533.44/1533.89	c 1516s |      21 |  1374340 |  1337545 |    34424     92 |      694 |      824
1535.64/1536.02	c 1519s |      21 |  1376084 |  1339245 |    34424     92 |      694 |      824
1537.74/1538.11	c 1521s |      21 |  1377406 |  1340545 |    34424     92 |      694 |      824
1539.84/1540.23	c 1523s |      21 |  1378821 |  1341945 |    34424     92 |      694 |      824
1541.85/1542.24	c 1525s |      21 |  1380378 |  1343445 |    34424     92 |      694 |      824
1543.84/1544.29	c 1527s |      21 |  1381857 |  1344845 |    34424     92 |      694 |      824
1545.94/1546.35	c 1529s |      21 |  1383089 |  1346045 |    34424     92 |      694 |      824
1547.94/1548.36	c 1531s |      21 |  1384204 |  1347145 |    34424     92 |      694 |      824
1550.04/1550.40	c 1533s |      21 |  1385339 |  1348245 |    34424     92 |      694 |      824
1552.04/1552.47	c 1535s |      21 |  1386349 |  1349245 |    34424     92 |      694 |      824
1554.35/1554.79	c 1537s |      21 |  1386644 |  1349545 |    34424     93 |      694 |      824
1556.44/1556.85	c 1539s |      21 |  1388268 |  1351145 |    34424     93 |      694 |      824
1563.85/1564.20	c 1547s |      21 |  1388587 |  1351445 |    34424     93 |      694 |      824
1565.84/1566.25	c 1549s |      21 |  1392484 |  1355145 |    34424     93 |      694 |      824
1567.84/1568.29	c 1551s |      21 |  1395393 |  1357945 |    34424     93 |      694 |      824
1569.94/1570.33	c 1553s |      21 |  1397791 |  1360245 |    34424     93 |      694 |      824
1571.94/1572.34	c 1555s |      21 |  1402761 |  1365145 |    34424     93 |      694 |      824
1574.63/1575.04	c 1558s |      21 |  1404947 |  1367245 |    34424     94 |      694 |      824
1576.63/1577.06	c 1560s |      21 |  1408491 |  1370645 |    34424     94 |      694 |      824
1578.63/1579.06	c 1562s |      21 |  1411914 |  1373945 |    34424     94 |      694 |      824
1580.63/1581.07	c 1564s |      21 |  1414360 |  1376345 |    34424     94 |      694 |      824
1582.63/1583.08	c 1566s |      21 |  1417809 |  1379745 |    34424     94 |      694 |      824
1584.73/1585.11	c 1568s |      21 |  1421453 |  1383345 |    34424     94 |      694 |      824
1587.43/1587.85	c 1570s |      21 |  1423015 |  1384845 |    34424     95 |      694 |      824
1590.03/1590.47	c 1573s |      21 |  1424750 |  1386545 |    34424     95 |      694 |      824
1592.13/1592.50	c 1575s |      21 |  1428014 |  1389745 |    34424     95 |      694 |      824
1594.13/1594.55	c 1577s |      21 |  1431593 |  1393245 |    34424     95 |      694 |      824
1596.13/1596.57	c 1579s |      21 |  1434347 |  1395945 |    34424     95 |      694 |      824
1598.23/1598.61	c 1581s |      21 |  1436084 |  1397645 |    34424     95 |      694 |      824
1600.24/1600.67	c 1583s |      21 |  1437729 |  1399245 |    34424     95 |      694 |      824
1602.33/1602.74	c 1585s |      21 |  1439386 |  1400845 |    34424     95 |      694 |      824
1605.12/1605.54	c 1588s |      21 |  1441120 |  1402545 |    34424     96 |      694 |      824
1607.12/1607.59	c 1590s |      21 |  1442993 |  1404345 |    34424     96 |      694 |      824
1609.22/1609.65	c 1592s |      21 |  1445883 |  1407145 |    34424     96 |      694 |      824
1611.32/1611.71	c 1594s |      21 |  1448134 |  1409345 |    34424     96 |      694 |      824
1613.32/1613.74	c 1596s |      21 |  1450248 |  1411445 |    34424     96 |      694 |      824
1615.32/1615.78	c 1598s |      21 |  1452304 |  1413445 |    34424     96 |      694 |      824
1618.12/1618.55	c 1601s |      21 |  1453246 |  1414345 |    34424     96 |      694 |      824
1620.22/1620.62	c 1603s |      21 |  1455256 |  1416345 |    34424     96 |      694 |      824
1622.22/1622.69	c 1605s |      21 |  1457607 |  1418645 |    34424     96 |      694 |      824
1624.91/1625.39	c 1608s |      21 |  1459280 |  1420245 |    34424     97 |      694 |      824
1627.02/1627.40	c 1610s |      21 |  1462764 |  1423645 |    34424     97 |      694 |      824
1629.02/1629.43	c 1612s |      21 |  1465467 |  1426245 |    34424     97 |      694 |      824
1631.02/1631.47	c 1614s |      21 |  1467814 |  1428545 |    34424     97 |      694 |      824
1633.02/1633.50	c 1616s |      21 |  1470262 |  1430945 |    34424     97 |      694 |      824
1635.12/1635.58	c 1618s |      21 |  1471606 |  1432245 |    34424     97 |      694 |      824
1637.32/1637.71	c 1620s |      21 |  1473758 |  1434345 |    34424     97 |      694 |      824
1639.41/1639.80	c 1622s |      21 |  1475183 |  1435745 |    34424     97 |      694 |      824
1641.51/1641.92	c 1625s |      21 |  1476809 |  1437345 |    34424     97 |      694 |      824
1643.71/1644.13	c 1627s |      21 |  1477517 |  1438045 |    34424     98 |      694 |      824
1645.71/1646.17	c 1629s |      21 |  1479959 |  1440445 |    34424     98 |      694 |      824
1648.31/1648.70	c 1631s |      21 |  1480999 |  1441445 |    34424     98 |      694 |      824
1650.31/1650.72	c 1633s |      21 |  1483564 |  1443945 |    34424     98 |      694 |      824
1652.30/1652.75	c 1635s |      21 |  1485540 |  1445845 |    34424     98 |      694 |      824
1654.30/1654.75	c 1637s |      21 |  1487705 |  1447945 |    34424     98 |      694 |      824
1656.40/1656.85	c 1639s |      21 |  1489468 |  1449645 |    34424     98 |      694 |      824
1658.51/1658.93	c 1642s |      21 |  1490990 |  1451145 |    34424     98 |      694 |      824
1660.50/1660.99	c 1644s |      21 |  1492626 |  1452745 |    34424     98 |      694 |      824
1662.60/1663.02	c 1646s |      21 |  1494284 |  1454345 |    34424     98 |      694 |      824
1664.90/1665.34	c 1648s |      21 |  1495498 |  1455545 |    34424     99 |      694 |      824
1666.90/1667.38	c 1650s |      21 |  1499391 |  1459345 |    34424     99 |      694 |      824
1669.10/1669.51	c 1652s |      21 |  1503648 |  1463545 |    34424     99 |      694 |      824
1671.09/1671.52	c 1654s |      21 |  1506874 |  1466645 |    37867     99 |      694 |      824
1673.19/1673.60	c 1656s |      21 |  1509432 |  1469145 |    37867     99 |      694 |      824
1675.19/1675.61	c 1658s |      21 |  1512213 |  1471845 |    37867     99 |      694 |      824
1677.20/1677.66	c 1660s |      21 |  1515558 |  1475145 |    37867     99 |      694 |      824
1680.09/1680.56	c 1663s |      21 |  1517720 |  1477245 |    37867    100 |      694 |      824
1682.20/1682.62	c 1665s |      21 |  1519804 |  1479245 |    37867    100 |      694 |      824
1684.20/1684.67	c 1667s |      21 |  1522653 |  1482045 |    37867    100 |      694 |      824
1686.29/1686.71	c 1669s |      21 |  1525413 |  1484745 |    37867    100 |      694 |      824
1688.79/1689.21	c 1672s |      21 |  1527489 |  1486745 |    37867    100 |      694 |      824
1690.79/1691.28	c 1674s |      21 |  1529574 |  1488745 |    37867    100 |      694 |      824
1692.89/1693.30	c 1676s |      21 |  1531409 |  1490545 |    37867    100 |      694 |      824
1694.89/1695.38	c 1678s |      21 |  1534177 |  1493245 |    37867    100 |      694 |      824
1697.00/1697.43	c 1680s |      21 |  1536437 |  1495445 |    37867    100 |      694 |      824
1698.99/1699.45	c 1682s |      21 |  1537662 |  1496645 |    37867    101 |      694 |      824
1701.09/1701.50	c 1684s |      21 |  1540639 |  1499545 |    37867    101 |      694 |      824
1701.99/1702.43	c 1685s |      22 |  1541763 |  1500622 |    37867    101 |      694 |      824
1703.99/1704.45	c 1687s |      22 |  1542987 |  1501622 |    37867    101 |      694 |      824
1705.99/1706.49	c 1689s |      22 |  1545809 |  1504422 |    37867    101 |      694 |      824
1708.09/1708.56	c 1691s |      22 |  1548221 |  1506822 |    37867    101 |      694 |      824
1710.19/1710.65	c 1693s |      22 |  1550529 |  1509122 |    37867    101 |      694 |      824
1712.29/1712.72	c 1695s |      22 |  1552949 |  1511522 |    37867    101 |      694 |      824
1714.39/1714.80	c 1697s |      22 |  1555289 |  1513822 |    37867    101 |      694 |      824
1716.49/1716.93	c 1700s |      22 |  1557000 |  1515522 |    37867    102 |      694 |      824
1718.58/1719.00	c 1702s |      22 |  1559513 |  1518022 |    37867    102 |      694 |      824
1720.58/1721.02	c 1704s |      22 |  1561326 |  1519822 |    37867    102 |      694 |      824
1722.58/1723.05	c 1706s |      22 |  1563633 |  1522122 |    37867    102 |      694 |      824
1724.68/1725.14	c 1708s |      22 |  1566344 |  1524822 |    37867    102 |      694 |      824
1726.78/1727.23	c 1710s |      22 |  1567859 |  1526322 |    37867    102 |      694 |      824
1729.08/1729.51	c 1712s |      22 |  1569570 |  1528022 |    37867    102 |      694 |      824
1731.18/1731.67	c 1714s |      22 |  1570881 |  1529322 |    37867    102 |      694 |      824
1733.29/1733.73	c 1716s |      22 |  1571974 |  1530422 |    37867    102 |      694 |      824
1735.28/1735.76	c 1718s |      22 |  1573185 |  1531622 |    37867    102 |      694 |      824
1737.38/1737.81	c 1720s |      22 |  1574601 |  1533022 |    37867    102 |      694 |      824
1740.28/1740.74	c 1723s |      22 |  1575301 |  1533722 |    37867    102 |      694 |      824
1742.28/1742.79	c 1725s |      22 |  1576305 |  1534722 |    37867    102 |      694 |      824
1744.38/1744.85	c 1727s |      22 |  1576811 |  1535222 |    37867    103 |      694 |      824
1746.49/1746.93	c 1730s |      22 |  1578623 |  1537022 |    37867    103 |      694 |      824
1748.48/1748.97	c 1732s |      22 |  1580748 |  1539122 |    37867    103 |      694 |      824
1750.68/1751.10	c 1734s |      22 |  1582255 |  1540622 |    37867    103 |      694 |      824
1752.78/1753.25	c 1736s |      22 |  1583968 |  1542322 |    37867    103 |      694 |      824
1754.78/1755.26	c 1738s |      22 |  1585276 |  1543622 |    37867    103 |      694 |      824
1756.88/1757.32	c 1740s |      22 |  1586877 |  1545222 |    37867    103 |      694 |      824
1758.88/1759.34	c 1742s |      22 |  1588182 |  1546522 |    37867    103 |      694 |      824
1760.88/1761.37	c 1744s |      22 |  1589390 |  1547722 |    37867    103 |      694 |      824
1763.18/1763.60	c 1746s |      22 |  1590701 |  1549022 |    37867    103 |      694 |      824
1765.38/1765.80	c 1748s |      22 |  1591599 |  1549922 |    37867    103 |      694 |      824
1767.48/1767.95	c 1751s |      22 |  1592513 |  1550822 |    37867    103 |      694 |      824
1769.59/1770.03	c 1753s |      22 |  1594023 |  1552322 |    37867    103 |      694 |      824
1771.58/1772.08	c 1755s |      22 |  1594911 |  1553222 |    37867    103 |      694 |      824
1773.68/1774.15	c 1757s |      22 |  1595619 |  1553922 |    37867    103 |      694 |      824
1775.78/1776.22	c 1759s |      22 |  1596226 |  1554522 |    37867    104 |      694 |      824
1781.27/1781.79	c 1764s |      22 |  1596726 |  1555022 |    37867    104 |      694 |      824
1783.37/1783.82	c 1766s |      22 |  1598741 |  1557022 |    37867    104 |      694 |      824
1785.37/1785.85	c 1768s |      22 |  1601055 |  1559322 |    37867    104 |      694 |      824
1787.47/1787.92	c 1771s |      22 |  1602652 |  1560922 |    37867    104 |      694 |      824
1789.47/1789.99	c 1773s |      22 |  1604263 |  1562522 |    37867    104 |      694 |      824
1791.58/1792.06	c 1775s |      22 |  1606291 |  1564522 |    37867    104 |      694 |      824
1793.68/1794.18	c 1777s |      22 |  1608109 |  1566322 |    37867    104 |      694 |      824
1795.77/1796.20	c 1779s |      22 |  1609410 |  1567622 |    37867    104 |      694 |      824
1797.77/1798.28	c 1781s |      22 |  1610926 |  1569122 |    37867    104 |      694 |      824

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080205-1465272319/watcher-4080205-1465272319 -o /tmp/evaluation-result-4080205-1465272319/solver-4080205-1465272319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080205-1465272319.opb 

pid=9071
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.23 2.25 2.20 3/179 9074
/proc/meminfo: memFree=27203108/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=696900 CPUtime=0 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 2594 0 0 0 0 0 0 0 20 0 4 0 109164927 713625600 2955 33554432000 4194304 16246674 140736922696528 140736922695952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 174737 2965 442 2943 0 171631 0
[pid=9074/tid=9075] ppid=9071 vsize=714308 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 731451392 3023 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=718404 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 735645696 3041 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=722500 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109164927 739840000 3057 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100208 s]
/proc/loadavg: 2.23 2.25 2.20 3/179 9074
/proc/meminfo: memFree=27203108/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 28574 0 0 0 5 4 0 0 20 0 4 0 109164927 1247350784 28926 33554432000 4194304 16246674 140736922696528 140736922695952 6760209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 304529 28933 645 2943 0 301423 0
[pid=9074/tid=9075] ppid=9071 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1247350784 28939 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1247350784 28945 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109164927 1247350784 28952 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.23 2.25 2.20 3/179 9074
/proc/meminfo: memFree=27203108/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1227332 CPUtime=0.19 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 35031 0 0 0 14 5 0 0 20 0 4 0 109164927 1256787968 35339 33554432000 4194304 16246674 140736922696528 140736922695840 5530748 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 306833 35339 891 2943 0 303727 0
[pid=9074/tid=9075] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 35339 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 35339 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 35339 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1227332

[startup+0.30048 s]
/proc/loadavg: 2.23 2.25 2.20 3/179 9074
/proc/meminfo: memFree=27203108/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1227332 CPUtime=0.29 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 48876 0 0 0 22 7 0 0 20 0 4 0 109164927 1256787968 49184 33554432000 4194304 16246674 140736922696528 140736922695840 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 306833 49190 891 2943 0 303727 0
[pid=9074/tid=9075] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 49194 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 49198 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 49199 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1227332

[startup+0.700404 s]
/proc/loadavg: 2.23 2.25 2.20 3/179 9074
/proc/meminfo: memFree=27203108/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1227332 CPUtime=0.69 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 127345 0 0 0 51 18 0 0 20 0 4 0 109164927 1256787968 127654 33554432000 4194304 16246674 140736922696528 140736922679528 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 306833 127661 891 2943 0 303727 0
[pid=9074/tid=9075] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 127665 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 127667 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1227332 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1256787968 127670 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1227332

[startup+1.50039 s]
/proc/loadavg: 2.23 2.25 2.20 3/183 9078
/proc/meminfo: memFree=26383108/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1297988 CPUtime=1.49 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 265532 0 0 0 112 37 0 0 20 0 4 0 109164927 1329139712 265840 33554432000 4194304 16246674 140736922696528 140736922678400 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 324497 265840 894 2943 0 321391 0
[pid=9074/tid=9075] ppid=9071 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1329139712 265840 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1329139712 265840 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1329139712 265840 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1297988

[startup+3.1004 s]
/proc/loadavg: 2.23 2.25 2.20 3/183 9078
/proc/meminfo: memFree=26140928/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 267767 0 0 0 271 38 0 0 20 0 4 0 109164927 1338576896 268075 33554432000 4194304 16246674 140736922696528 140736922695192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 326801 268075 899 2943 0 323695 0
[pid=9074/tid=9075] ppid=9071 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1338576896 268075 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1338576896 268075 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1338576896 268075 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 2.30 2.26 2.20 4/183 9078
/proc/meminfo: memFree=26053700/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 268098 0 0 0 591 38 0 0 20 0 4 0 109164927 1339625472 268406 33554432000 4194304 16246674 140736922696528 140736922678400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 327057 268406 899 2943 0 323951 0
[pid=9074/tid=9075] ppid=9071 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1339625472 268406 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1339625472 268406 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1339625472 268406 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.35 2.27 2.21 3/183 9078
/proc/meminfo: memFree=25965812/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 270799 0 0 0 1231 38 0 0 20 0 4 0 109164927 1350111232 271107 33554432000 4194304 16246674 140736922696528 140736922678400 5677422 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 329617 271107 902 2943 0 326511 0
[pid=9074/tid=9075] ppid=9071 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1350111232 271107 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1350111232 271107 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1350111232 271107 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.35 2.28 2.21 3/183 9078
/proc/meminfo: memFree=25952760/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1332804 CPUtime=25.49 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 274402 0 0 0 2511 38 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140736922678400 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 333201 274710 921 2943 0 330095 0
[pid=9074/tid=9075] ppid=9071 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1332804

[startup+51.1004 s]
/proc/loadavg: 2.39 2.29 2.21 4/183 9078
/proc/meminfo: memFree=25816316/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1332804 CPUtime=51.09 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 274402 0 0 0 5070 39 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140736922695624 5677392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 333201 274710 921 2943 0 330095 0
[pid=9074/tid=9075] ppid=9071 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1364791296 274710 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1332804

[startup+102.301 s]
/proc/loadavg: 2.24 2.26 2.20 4/183 9079
/proc/meminfo: memFree=26481892/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1371716 CPUtime=102.28 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 284130 0 0 0 10187 41 0 0 20 0 4 0 109164927 1404637184 284438 33554432000 4194304 16246674 140736922696528 140736922695624 5823170 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 342929 284438 921 2943 0 339823 0
[pid=9074/tid=9075] ppid=9071 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1404637184 284438 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1404637184 284438 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1371716 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1404637184 284438 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1371716


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

/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1420868

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.18 4/183 9209
/proc/meminfo: memFree=27742984/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1362 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296590 0 0 0 136129 71 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1420868

[startup+1422.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 9210
/proc/meminfo: memFree=27743268/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1421.98 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296610 0 0 0 142126 72 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 4208632 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1420868

[startup+1482.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 9211
/proc/meminfo: memFree=27742940/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1481.96 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296619 0 0 0 148123 73 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1420868

[startup+1542.31 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 9215
/proc/meminfo: memFree=27725880/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1541.95 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296645 0 0 0 154121 74 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1420868

[startup+1602.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 9216
/proc/meminfo: memFree=27725168/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1601.93 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296670 0 0 0 160117 76 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1420868

[startup+1662.3 s]
/proc/loadavg: 2.13 2.17 2.17 4/183 9218
/proc/meminfo: memFree=27725088/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1661.9 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296701 0 0 0 166113 77 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1420868

[startup+1722.3 s]
/proc/loadavg: 2.27 2.19 2.18 4/183 9219
/proc/meminfo: memFree=27724836/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1721.88 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296708 0 0 0 172110 78 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922679528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1420868

[startup+1782.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 9220
/proc/meminfo: memFree=27696424/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1781.87 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296708 0 0 0 178107 80 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922695704 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1420868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 9220
/proc/meminfo: memFree=27696908/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1800.07 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296708 0 0 0 179927 80 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1420868

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 9220
/proc/meminfo: memFree=27696908/32872528 swapFree=16384/1696552
[pid=9074] ppid=9071 vsize=1420868 CPUtime=1800.07 cores=0,2,4,6
/proc/9074/stat : 9074 (toysat) R 9071 9074 5723 0 -1 4202496 296708 0 0 0 179927 80 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140736922678400 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9074/statm: 355217 296982 921 2943 0 352111 0
[pid=9074/tid=9075] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9075/stat : 9075 (toysat) S 9071 9074 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634361933040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9074/tid=9076] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9076/stat : 9076 (toysat) S 9071 9074 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634274901232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9074/tid=9077] ppid=9071 vsize=1420868 CPUtime=0 cores=0,2,4,6
/proc/9074/task/9077/stat : 9077 (toysat) S 9071 9074 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109164927 1454968832 296982 33554432000 4194304 16246674 140736922696528 140634264427696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1420868

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.28
CPU system time (s): 0.806877
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1420868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.806877
maximum resident set size= 1187928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296708
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= 303
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63729 second user time and 6.86796 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 06:05:19
IDJOB=4080205
IDBENCH=72483
IDSOLVER=2542
FILE ID=node125/4080205-1465272319
RUNJOBID= node125-1465259688-5739
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080205-1465272319/watcher-4080205-1465272319 -o /tmp/evaluation-result-4080205-1465272319/solver-4080205-1465272319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080205-1465272319.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=244063661

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27203744 kB
Buffers:          130476 kB
Cached:           266292 kB
SwapCached:         1984 kB
Active:          2953192 kB
Inactive:         265204 kB
Active(anon):    2822436 kB
Inactive(anon):     1436 kB
Active(file):     130756 kB
Inactive(file):   263768 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       4621384 kB
Mapped:            10912 kB
Shmem:                 0 kB
Slab:             612956 kB
SReclaimable:      56904 kB
SUnreclaim:       556052 kB
KernelStack:        1520 kB
PageTables:        13012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4658840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2146304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-07 06:35:19