Trace number 4101729

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.07 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb
MD5SUM8006e55bdcce383dfc4a8ab750094e2c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.51462
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8268
Total number of constraints1451
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints1430
Minimum length of a constraint3
Maximum length of a constraint8249
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529994
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T07:02:21+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-4101729-1466226141.opb"]
0.00/0.01	c use --random-gen="4255132535 1482049126 2315272852 1229667853 3175194846 3072894032 3290331312 2495303335 3101658843 325125018 507257023 1180989908 3030284575 1381771396 3238381818 898750660 581485800 3696988911 2252562541 3183284346 891956198 1271130682 2373058003 2641379168 809600844 1346540525 2668146304 648160956 2314329314 3815461979 606447839 2890900618 38526236 2987267919 4051111727 1811114285 4131950689 3771530084 2771343671 1369225527 3839315305 2767394293 3765672667 1342350521 2461326923 3427422492 1568637016 597183139 2412428161 2149746131 2465237032 4115049460 810698905 90173516 898995382 1175439988 1698130290 696136228 3786664086 1497370538 3456958494 395738493 3589004754 2778483660 1623512062 823229168 69412942 676604467 2613773732 2718066448 2951867484 2819026137 2679514062 4201721161 694658809 3694265871 769628593 1201738666 1774043626 247125637 1503272530 2128668372 3501068426 51343947 1060293682 2987002571 2819249226 2208143059 2464314810 3556672524 784321555 1850304972 13790094 3084158955 2098729100 2396665721 1714405101 1071670029 3893701508 454988645 2293584064 2430676247 3552124169 266857452 197106771 2702277427 2214129935 2755121803 2125415081 2127526466 2106878648 1326783892 3833019960 3081114186 319671032 1779247583 754947303 606553845 1360810235 4242089916 1074194919 2028608744 3988936697 3784263924 1187504498 804769179 1037535961 1529050396 2817813502 1940265434 2041842448 3709709690 2668770064 1048759030 2960806382 1943579075 246082093 536852067 3752470826 3099254268 1670381328 51859316 1659618429 1070375120 2513007633 2524552465 1969371069 3354088601 1047946351 171835963 1565262356 2801209804 2905568274 3405237670 1177774096 3854642775 2498429206 2449502662 1000175882 2934820008 1084647486 2104441168 103877506 1428907342 2770432690 4175716533 2837275280 2361739867 2762999421 996154235 1163212452 1275880528 2401804529 920696770 2211902661 4037825989 2526852178 3869160323 842706012 4111716551 3607002308 894739517 3586171927 297386378 2605056121 2130563531 2028049632 2142909694 1947172338 3606383581 1504246777 648583388 541709768 507090047 643647860 1423641448 1652983804 749962853 2825753084 1301522727 3330664283 1979482032 1755524940 3119593524 2802811237 2941573862 534178488 311480276 1995700232 3043667786 2109938200 1424094777 592510680 474594465 3252001532 1178525315 1822445525 310503311 638229409 3067185502 1850362959 3387238252 603287988 354549818 837446408 2593742436 178502794 181600253 746790058 3083157857 3977627692 1758685618 1179007118 2148164546 1194062747 976188043 3220828651 735134480 3477033195 1650386087 3115626718 2519020517 4208328670 276787730 532885448 561111917 3707380921 2068775073 4141599757 3077852321 3925212086 3142943746 902338651 3962163261 4088308295 3832335195 255 362436" option to reproduce the execution
0.19/0.22	c #vars 8268
0.19/0.22	c #constraints 1451
1.19/1.26	c BCD2: Hardening is enabled.
1.19/1.26	c BCD2: BiasedSearch is enabled.
1.19/1.26	c Solving starts ...
1.19/1.26	c ============================[ Search Statistics ]============================
1.19/1.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.26	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.26	c =============================================================================
1.19/1.26	c  0.0s |       0 |        0 |        0 |     3243      0 |      394 |        0
1.59/1.68	c  0.4s |       1 |      414 |      100 |     3243      0 |      394 |       64
2.09/2.10	c  0.8s |       2 |      711 |      250 |     3568      0 |      394 |       64
2.59/2.60	c  1.3s |       3 |     1085 |      475 |     3925      0 |      394 |       64
3.29/3.35	c  2.1s |       4 |     1640 |      813 |     4318      0 |      394 |       64
4.19/4.27	c  3.0s |       5 |     2705 |     1320 |     4750      0 |      394 |       64
5.29/5.39	c  4.1s |       6 |     4878 |     2081 |     5748      0 |      394 |       64
7.29/7.35	c  6.1s |       7 |     7787 |     3223 |     6323      0 |      394 |       64
9.39/9.43	c  8.2s |       7 |    11004 |     4523 |     6323      0 |      394 |       64
10.09/10.19	c  8.9s |       8 |    12055 |     4936 |     6956      0 |      394 |       64
12.29/12.33	c 11.1s |       8 |    15226 |     6236 |     6956      0 |      394 |       64
14.29/14.37	c 13.1s |       8 |    17617 |     7336 |     6956      0 |      394 |       64
14.59/14.67	c 13.4s |       9 |    17922 |     7506 |     7652      0 |      394 |       64
16.69/16.70	c 15.4s |       9 |    20764 |     8606 |     7652      1 |      394 |       64
18.59/18.70	c 17.4s |       9 |    22866 |     9806 |     7652      1 |      394 |       64
20.68/20.78	c 19.5s |       9 |    25291 |    10906 |     7652      1 |      394 |       64
21.58/21.62	c 20.4s |      10 |    26178 |    11361 |     8418      1 |      394 |       64
23.68/23.78	c 22.5s |      10 |    28698 |    12561 |     8418      1 |      394 |       64
25.88/25.95	c 24.7s |      10 |    30669 |    13761 |     8418      2 |      394 |       64
27.98/28.02	c 26.8s |      10 |    33370 |    15061 |     8418      2 |      394 |       64
29.98/30.07	c 28.8s |      10 |    35845 |    16161 |     8418      2 |      394 |       64
31.78/31.85	c 30.6s |      11 |    37744 |    17144 |     9260      2 |      394 |       64
33.78/33.89	c 32.6s |      11 |    39488 |    18144 |     9260      2 |      394 |       64
35.88/35.91	c 34.7s |      11 |    41970 |    19244 |     9260      3 |      394 |       64
37.98/38.00	c 36.7s |      11 |    43860 |    20344 |     9260      3 |      394 |       64
39.98/40.01	c 38.8s |      11 |    45919 |    21444 |     9260      3 |      394 |       64
41.98/42.08	c 40.8s |      11 |    47842 |    22544 |     9260      3 |      394 |       64
44.09/44.16	c 42.9s |      11 |    49855 |    23544 |     9260      4 |      394 |       64
46.29/46.33	c 45.1s |      11 |    52298 |    24744 |     9260      4 |      394 |       64
48.08/48.18	c 46.9s |      12 |    54726 |    25819 |    10186      4 |      394 |       64
50.28/50.30	c 49.0s |      12 |    57353 |    26919 |    10186      4 |      394 |       64
52.48/52.56	c 51.3s |      12 |    60523 |    28119 |    10186      4 |      394 |       64
54.68/54.70	c 53.4s |      12 |    63274 |    29319 |    10186      5 |      394 |       64
56.68/56.74	c 55.5s |      12 |    66618 |    30519 |    10186      5 |      394 |       64
58.88/58.94	c 57.7s |      12 |    69961 |    31819 |    10186      5 |      394 |       64
60.98/61.05	c 59.8s |      12 |    72817 |    33019 |    10186      5 |      394 |       64
63.18/63.23	c 62.0s |      12 |    75883 |    34219 |    10186      5 |      394 |       64
65.28/65.33	c 64.1s |      12 |    78591 |    35419 |    10186      6 |      394 |       64
67.28/67.36	c 66.1s |      12 |    81238 |    36619 |    10186      6 |      394 |       64
69.38/69.48	c 68.2s |      12 |    83631 |    37719 |    10186      6 |      394 |       64
71.38/71.49	c 70.2s |      12 |    85900 |    38719 |    11205      6 |      394 |       64
71.68/71.73	c 70.5s |      13 |    86114 |    38832 |    11205      6 |      394 |       64
73.78/73.88	c 72.6s |      13 |    88143 |    39932 |    11205      6 |      394 |       64
75.88/75.99	c 74.7s |      13 |    90445 |    41032 |    11205      7 |      394 |       64
77.97/78.06	c 76.8s |      13 |    92312 |    42132 |    11205      7 |      394 |       64
79.97/80.07	c 78.8s |      13 |    94899 |    43232 |    11205      7 |      394 |       64
81.97/82.08	c 80.8s |      13 |    97338 |    44432 |    11205      7 |      394 |       64
84.07/84.11	c 82.8s |      13 |    99677 |    45432 |    11205      7 |      394 |       64
86.17/86.28	c 85.0s |      13 |   101914 |    46532 |    11205      7 |      394 |       64
88.37/88.44	c 87.2s |      13 |   103840 |    47632 |    11205      8 |      394 |       64
90.37/90.47	c 89.2s |      13 |   105578 |    48732 |    11205      8 |      394 |       64
92.48/92.54	c 91.3s |      13 |   107643 |    49932 |    11205      8 |      394 |       64
94.68/94.77	c 93.5s |      13 |   109029 |    50832 |    11205      8 |      394 |       64
96.78/96.81	c 95.6s |      13 |   111150 |    51732 |    11205      8 |      394 |       64
98.87/98.91	c 97.6s |      13 |   113424 |    52732 |    11205      9 |      394 |       64
100.97/101.09	c 99.8s |      13 |   116170 |    53832 |    11205      9 |      394 |       64
103.07/103.15	c  101s |      13 |   118027 |    54832 |    11205      9 |      394 |       64
105.07/105.19	c  103s |      13 |   120490 |    55932 |    11205      9 |      394 |       64
107.17/107.27	c  106s |      13 |   122356 |    56932 |    11205      9 |      394 |       64
109.37/109.40	c  108s |      13 |   124126 |    58032 |    12326      9 |      394 |       64
109.98/110.02	c  108s |      14 |   124603 |    58352 |    12326      9 |      394 |       64
111.97/112.03	c  110s |      14 |   126581 |    59452 |    12326      9 |      394 |       64
113.97/114.09	c  112s |      14 |   128622 |    60652 |    12326     10 |      394 |       64
116.17/116.26	c  115s |      14 |   130834 |    61852 |    12326     10 |      394 |       64
118.27/118.39	c  117s |      14 |   132630 |    62852 |    12326     10 |      394 |       64
120.37/120.45	c  119s |      14 |   135522 |    64152 |    12326     10 |      394 |       64
122.37/122.46	c  121s |      14 |   138051 |    65452 |    12326     10 |      394 |       64
124.47/124.57	c  123s |      14 |   140361 |    66652 |    12326     11 |      394 |       64
126.47/126.60	c  125s |      14 |   142963 |    67852 |    12326     11 |      394 |       64
128.67/128.74	c  127s |      14 |   145423 |    69052 |    12326     11 |      394 |       64
130.67/130.75	c  129s |      14 |   147865 |    70252 |    12326     11 |      394 |       64
132.67/132.78	c  131s |      14 |   150649 |    71552 |    12326     11 |      394 |       64
134.77/134.89	c  133s |      14 |   153195 |    72552 |    12326     12 |      394 |       64
136.97/137.08	c  135s |      14 |   155850 |    73752 |    12326     12 |      394 |       64
139.16/139.20	c  137s |      14 |   158973 |    75052 |    12326     12 |      394 |       64
141.16/141.27	c  140s |      14 |   162523 |    76452 |    12326     12 |      394 |       64
143.16/143.30	c  142s |      14 |   165529 |    77752 |    12326     12 |      394 |       64
145.36/145.42	c  144s |      14 |   168181 |    78852 |    12326     12 |      394 |       64
147.47/147.57	c  146s |      14 |   170728 |    79952 |    12326     13 |      394 |       64
149.67/149.72	c  148s |      14 |   173190 |    81152 |    12326     13 |      394 |       64
151.77/151.81	c  150s |      14 |   175184 |    82252 |    12326     13 |      394 |       64
153.86/153.91	c  152s |      14 |   177662 |    83352 |    12326     13 |      394 |       64
155.86/155.94	c  154s |      14 |   180288 |    84552 |    12326     13 |      394 |       64
157.96/158.09	c  156s |      14 |   182775 |    85652 |    12326     14 |      394 |       64
160.06/160.15	c  158s |      14 |   184605 |    86552 |    12326     14 |      394 |       64
162.06/162.11	c  160s |      15 |   187323 |    87632 |    13559     14 |      394 |       64
164.06/164.17	c  162s |      15 |   189828 |    88732 |    13559     14 |      394 |       64
166.26/166.34	c  165s |      15 |   192402 |    89932 |    13559     14 |      394 |       64
168.27/168.39	c  167s |      15 |   194828 |    91032 |    13559     14 |      394 |       64
170.47/170.54	c  169s |      15 |   196932 |    92132 |    13559     14 |      394 |       64
172.56/172.63	c  171s |      15 |   199062 |    93232 |    13559     15 |      394 |       64
174.56/174.66	c  173s |      15 |   201071 |    94332 |    13559     15 |      394 |       64
176.76/176.80	c  175s |      15 |   204083 |    95532 |    13559     15 |      394 |       64
178.76/178.84	c  177s |      15 |   206785 |    96732 |    13559     15 |      394 |       64
180.86/180.92	c  179s |      15 |   209657 |    98132 |    13559     15 |      394 |       64
182.96/183.04	c  181s |      15 |   211906 |    99332 |    13559     15 |      394 |       64
184.96/185.06	c  183s |      15 |   214073 |   100432 |    13559     16 |      394 |       64
187.06/187.18	c  185s |      15 |   216532 |   101632 |    13559     16 |      394 |       64
189.26/189.34	c  188s |      15 |   218381 |   102832 |    13559     16 |      394 |       64
191.26/191.35	c  190s |      15 |   220725 |   103932 |    13559     16 |      394 |       64
193.36/193.41	c  192s |      15 |   223729 |   105132 |    13559     16 |      394 |       64
195.46/195.54	c  194s |      15 |   225956 |   106332 |    13559     16 |      394 |       64
197.56/197.62	c  196s |      15 |   227785 |   107432 |    13559     17 |      394 |       64
199.66/199.70	c  198s |      15 |   229327 |   108532 |    13559     17 |      394 |       64
201.76/201.84	c  200s |      15 |   230994 |   109532 |    13559     17 |      394 |       64
203.76/203.88	c  202s |      15 |   232738 |   110532 |    13559     17 |      394 |       64
205.96/206.01	c  204s |      15 |   235001 |   111732 |    13559     17 |      394 |       64
207.97/208.03	c  206s |      15 |   236602 |   112732 |    13559     17 |      394 |       64
210.07/210.19	c  208s |      15 |   238941 |   113932 |    13559     17 |      394 |       64
212.27/212.31	c  211s |      15 |   240631 |   115032 |    13559     18 |      394 |       64
214.36/214.41	c  213s |      15 |   242722 |   116132 |    13559     18 |      394 |       64
216.36/216.48	c  215s |      15 |   244737 |   117332 |    13559     18 |      394 |       64
218.56/218.62	c  217s |      15 |   247168 |   118632 |    13559     18 |      394 |       64
220.56/220.69	c  219s |      15 |   249817 |   119932 |    13559     18 |      394 |       64
222.66/222.76	c  221s |      15 |   252357 |   121132 |    13559     18 |      394 |       64
224.86/224.90	c  223s |      15 |   255015 |   122332 |    13559     19 |      394 |       64
226.86/226.97	c  225s |      15 |   257002 |   123432 |    13559     19 |      394 |       64
228.96/229.08	c  227s |      15 |   258783 |   124332 |    13559     19 |      394 |       64
230.96/231.09	c  229s |      15 |   261152 |   125432 |    13559     19 |      394 |       64
233.16/233.27	c  232s |      15 |   263450 |   126632 |    13559     19 |      394 |       64
235.26/235.38	c  234s |      15 |   265703 |   127832 |    13559     19 |      394 |       64
237.36/237.47	c  236s |      15 |   268401 |   129032 |    13559     20 |      394 |       64
239.46/239.50	c  238s |      15 |   270879 |   130332 |    13559     20 |      394 |       64
241.46/241.59	c  240s |      15 |   272783 |   131532 |    14915     20 |      394 |       64
241.56/241.64	c  240s |      16 |   272807 |   131552 |    14915     20 |      394 |       64
243.66/243.70	c  242s |      16 |   274503 |   132352 |    14915     20 |      394 |       64
245.66/245.74	c  244s |      16 |   276501 |   133352 |    14915     20 |      394 |       64
247.66/247.80	c  246s |      16 |   278915 |   134452 |    14915     20 |      394 |       64
249.76/249.88	c  248s |      16 |   281380 |   135652 |    14915     20 |      394 |       64
251.75/251.89	c  250s |      16 |   283171 |   136952 |    14915     21 |      394 |       64
253.95/254.05	c  252s |      16 |   284937 |   138052 |    14915     21 |      394 |       64
256.05/256.19	c  254s |      16 |   287283 |   139252 |    14915     21 |      394 |       64
258.15/258.26	c  257s |      16 |   289163 |   140352 |    14915     21 |      394 |       64
260.25/260.38	c  259s |      16 |   291647 |   141652 |    14915     21 |      394 |       64
262.35/262.45	c  261s |      16 |   294398 |   142852 |    14915     21 |      394 |       64
264.45/264.55	c  263s |      16 |   297184 |   144152 |    14915     21 |      394 |       64
266.65/266.70	c  265s |      16 |   300006 |   145552 |    14915     22 |      394 |       64
268.65/268.76	c  267s |      16 |   302714 |   146852 |    14915     22 |      394 |       64
270.75/270.90	c  269s |      16 |   304668 |   148052 |    14915     22 |      394 |       64
272.86/272.98	c  271s |      16 |   306292 |   149252 |    14915     22 |      394 |       64
274.96/275.08	c  273s |      16 |   307869 |   150452 |    14915     22 |      394 |       64
277.05/277.14	c  275s |      16 |   309343 |   151552 |    14915     22 |      394 |       64
279.15/279.27	c  278s |      16 |   311554 |   152752 |    14915     23 |      394 |       64
281.25/281.31	c  280s |      16 |   314702 |   154052 |    14915     23 |      394 |       64
283.35/283.41	c  282s |      16 |   316965 |   155052 |    14915     23 |      394 |       64
285.35/285.44	c  284s |      16 |   320319 |   156352 |    14915     23 |      394 |       64
287.45/287.55	c  286s |      16 |   323631 |   157752 |    14915     23 |      394 |       64
289.45/289.55	c  288s |      16 |   326444 |   159052 |    14915     23 |      394 |       64
291.55/291.65	c  290s |      16 |   328928 |   160252 |    14915     24 |      394 |       64
293.65/293.73	c  292s |      16 |   331411 |   161552 |    14915     24 |      394 |       64
295.75/295.87	c  294s |      16 |   334040 |   162952 |    14915     24 |      394 |       64
297.74/297.88	c  296s |      16 |   336760 |   164152 |    14915     24 |      394 |       64
299.74/299.88	c  298s |      16 |   339677 |   165452 |    14915     24 |      394 |       64
301.85/301.90	c  300s |      16 |   342510 |   166752 |    14915     24 |      394 |       64
303.84/303.90	c  302s |      16 |   345075 |   168052 |    14915     25 |      394 |       64
305.94/306.02	c  304s |      16 |   347516 |   169252 |    14915     25 |      394 |       64
307.95/308.10	c  306s |      16 |   349541 |   170352 |    14915     25 |      394 |       64
310.04/310.16	c  308s |      16 |   351632 |   171452 |    14915     25 |      394 |       64
312.14/312.20	c  310s |      16 |   353479 |   172652 |    14915     25 |      394 |       64
314.24/314.36	c  313s |      16 |   355372 |   173852 |    14915     25 |      394 |       64
316.34/316.49	c  315s |      16 |   357228 |   175052 |    14915     25 |      394 |       64
318.54/318.63	c  317s |      16 |   358945 |   176252 |    14915     26 |      394 |       64
320.54/320.65	c  319s |      16 |   360899 |   177352 |    14915     26 |      394 |       64
322.64/322.74	c  321s |      16 |   362593 |   178452 |    14915     26 |      394 |       64
324.74/324.81	c  323s |      16 |   364556 |   179552 |    14915     26 |      394 |       64
326.84/326.93	c  325s |      16 |   367242 |   180752 |    14915     26 |      394 |       64
328.85/329.00	c  327s |      16 |   369209 |   181952 |    14915     26 |      394 |       64
331.05/331.15	c  329s |      16 |   371187 |   183252 |    14915     27 |      394 |       64
333.04/333.18	c  331s |      16 |   373144 |   184552 |    14915     27 |      394 |       64
335.55/335.69	c  334s |      16 |   375299 |   185852 |    14915     27 |      394 |       64
337.74/337.80	c  336s |      16 |   378536 |   187152 |    14915     27 |      394 |       64
339.74/339.88	c  338s |      16 |   381160 |   188452 |    14915     27 |      394 |       64
341.84/341.98	c  340s |      16 |   383365 |   189552 |    14915     27 |      394 |       64
343.94/344.08	c  342s |      16 |   385983 |   190852 |    14915     28 |      394 |       64
346.04/346.19	c  344s |      16 |   388882 |   192052 |    14915     28 |      394 |       64
348.24/348.30	c  347s |      16 |   391278 |   193252 |    14915     28 |      394 |       64
350.33/350.40	c  349s |      16 |   393878 |   194452 |    14915     28 |      394 |       64
352.33/352.46	c  351s |      16 |   395885 |   195552 |    14915     28 |      394 |       64
354.43/354.56	c  353s |      16 |   398370 |   196752 |    16407     28 |      394 |       64
355.63/355.71	c  354s |      17 |   400069 |   197432 |    16407     28 |      394 |       64
357.63/357.75	c  356s |      17 |   402415 |   198532 |    16407     28 |      394 |       64
359.74/359.81	c  358s |      17 |   404261 |   199532 |    16407     28 |      394 |       64
361.84/361.94	c  360s |      17 |   407848 |   200932 |    16407     29 |      394 |       64
363.93/364.01	c  362s |      17 |   409390 |   201932 |    16407     29 |      394 |       64
365.93/366.05	c  364s |      17 |   410969 |   202732 |    16407     29 |      394 |       64
368.03/368.14	c  366s |      17 |   413689 |   203932 |    16407     29 |      394 |       64
370.13/370.29	c  369s |      17 |   416174 |   205132 |    16407     29 |      394 |       64
372.23/372.34	c  371s |      17 |   419528 |   206432 |    16407     29 |      394 |       64
374.43/374.50	c  373s |      17 |   422157 |   207632 |    16407     29 |      394 |       64
376.43/376.52	c  375s |      17 |   424866 |   208832 |    16407     30 |      394 |       64
378.44/378.56	c  377s |      17 |   427632 |   210032 |    16407     30 |      394 |       64
380.54/380.67	c  379s |      17 |   430159 |   211232 |    16407     30 |      394 |       64
382.63/382.79	c  381s |      17 |   433202 |   212632 |    16407     30 |      394 |       64
384.73/384.84	c  383s |      17 |   435685 |   213932 |    16407     30 |      394 |       64
386.83/386.90	c  385s |      17 |   438605 |   215332 |    16407     30 |      394 |       64
388.93/389.04	c  387s |      17 |   441598 |   216732 |    16407     30 |      394 |       64
390.93/391.05	c  389s |      17 |   444537 |   218032 |    16407     31 |      394 |       64
392.93/393.09	c  391s |      17 |   446895 |   219332 |    16407     31 |      394 |       64
395.43/395.50	c  394s |      17 |   449769 |   220732 |    16407     31 |      394 |       64
397.53/397.62	c  396s |      17 |   451681 |   221932 |    16407     31 |      394 |       64
399.63/399.78	c  398s |      17 |   453569 |   222932 |    16407     31 |      394 |       64
401.73/401.88	c  400s |      17 |   455669 |   224132 |    16407     31 |      394 |       64
403.83/403.98	c  402s |      17 |   457875 |   225332 |    16407     31 |      394 |       64
405.83/406.00	c  404s |      17 |   459686 |   226332 |    16407     32 |      394 |       64
408.03/408.15	c  406s |      17 |   461368 |   227332 |    16407     32 |      394 |       64
410.12/410.25	c  408s |      17 |   463218 |   228432 |    16407     32 |      394 |       64
412.22/412.30	c  411s |      17 |   464672 |   229432 |    16407     32 |      394 |       64
414.22/414.38	c  413s |      17 |   466747 |   230532 |    16407     32 |      394 |       64
416.42/416.55	c  415s |      17 |   468624 |   231632 |    16407     32 |      394 |       64
418.52/418.67	c  417s |      17 |   470384 |   232732 |    16407     32 |      394 |       64
420.62/420.74	c  419s |      17 |   472838 |   233832 |    16407     32 |      394 |       64
422.72/422.84	c  421s |      17 |   476121 |   235232 |    16407     33 |      394 |       64
424.82/424.99	c  423s |      17 |   478673 |   236532 |    16407     33 |      394 |       64
426.92/427.02	c  425s |      17 |   481074 |   237732 |    16407     33 |      394 |       64
428.93/429.03	c  427s |      17 |   484261 |   239032 |    16407     33 |      394 |       64
431.03/431.12	c  429s |      17 |   487024 |   240432 |    16407     33 |      394 |       64
433.03/433.12	c  431s |      17 |   488748 |   241332 |    16407     33 |      394 |       64
435.13/435.26	c  434s |      17 |   490203 |   242332 |    16407     33 |      394 |       64
437.23/437.36	c  436s |      17 |   491835 |   243332 |    16407     34 |      394 |       64
439.43/439.52	c  438s |      17 |   494545 |   244532 |    16407     34 |      394 |       64
441.52/441.67	c  440s |      17 |   497168 |   245732 |    16407     34 |      394 |       64
443.72/443.85	c  442s |      17 |   500338 |   247032 |    16407     34 |      394 |       64
445.72/445.89	c  444s |      17 |   503084 |   248232 |    16407     34 |      394 |       64
447.92/448.03	c  446s |      17 |   504852 |   249332 |    16407     34 |      394 |       64
450.02/450.11	c  448s |      17 |   507075 |   250432 |    16407     34 |      394 |       64
452.13/452.21	c  450s |      17 |   509917 |   251732 |    16407     35 |      394 |       64
454.23/454.35	c  453s |      17 |   511774 |   252932 |    16407     35 |      394 |       64
456.32/456.40	c  455s |      17 |   513760 |   254032 |    16407     35 |      394 |       64
458.32/458.45	c  457s |      17 |   516201 |   255232 |    16407     35 |      394 |       64
460.52/460.61	c  459s |      17 |   517640 |   256332 |    16407     35 |      394 |       64
462.62/462.75	c  461s |      17 |   519236 |   257432 |    16407     35 |      394 |       64
465.62/465.73	c  464s |      17 |   520761 |   258532 |    16407     35 |      394 |       64
467.82/467.93	c  466s |      17 |   522556 |   259532 |    16407     36 |      394 |       64
469.82/469.98	c  468s |      17 |   525555 |   260832 |    16407     36 |      394 |       64
471.93/472.07	c  470s |      17 |   527763 |   262032 |    16407     36 |      394 |       64
474.02/474.11	c  472s |      17 |   529813 |   263232 |    16407     36 |      394 |       64
476.02/476.15	c  474s |      17 |   532385 |   264432 |    16407     36 |      394 |       64
478.12/478.23	c  476s |      17 |   535301 |   265732 |    16407     36 |      394 |       64
480.12/480.24	c  478s |      17 |   538088 |   266932 |    16407     36 |      394 |       64
482.32/482.45	c  481s |      17 |   539952 |   268032 |    16407     37 |      394 |       64
484.52/484.61	c  483s |      17 |   542240 |   269332 |    16407     37 |      394 |       64
486.62/486.77	c  485s |      17 |   544614 |   270532 |    16407     37 |      394 |       64
488.72/488.85	c  487s |      17 |   546358 |   271732 |    16407     37 |      394 |       64
490.82/490.96	c  489s |      17 |   548971 |   273032 |    16407     37 |      394 |       64
493.02/493.15	c  491s |      17 |   550551 |   274232 |    16407     37 |      394 |       64
495.02/495.18	c  493s |      17 |   552255 |   275332 |    16407     37 |      394 |       64
497.12/497.22	c  495s |      17 |   554239 |   276632 |    16407     38 |      394 |       64
499.21/499.36	c  498s |      17 |   556330 |   277932 |    16407     38 |      394 |       64
501.31/501.44	c  500s |      17 |   558532 |   279032 |    16407     38 |      394 |       64
503.41/503.57	c  502s |      17 |   561197 |   280232 |    16407     38 |      394 |       64
505.51/505.66	c  504s |      17 |   563397 |   281332 |    16407     38 |      394 |       64
507.71/507.80	c  506s |      17 |   566191 |   282532 |    16407     38 |      394 |       64
509.71/509.82	c  508s |      17 |   569641 |   283832 |    16407     38 |      394 |       64
511.81/511.91	c  510s |      17 |   572332 |   285032 |    16407     39 |      394 |       64
513.91/514.07	c  512s |      17 |   575686 |   286332 |    16407     39 |      394 |       64
516.01/516.17	c  514s |      17 |   579019 |   287632 |    16407     39 |      394 |       64
518.21/518.30	c  517s |      17 |   581973 |   288932 |    16407     39 |      394 |       64
520.32/520.46	c  519s |      17 |   584498 |   290132 |    16407     39 |      394 |       64
522.42/522.51	c  521s |      17 |   587255 |   291232 |    16407     39 |      394 |       64
524.51/524.67	c  523s |      17 |   590669 |   292532 |    16407     39 |      394 |       64
526.61/526.72	c  525s |      17 |   593536 |   293732 |    16407     40 |      394 |       64
528.61/528.78	c  527s |      17 |   597133 |   295032 |    18048     40 |      394 |       64
530.41/530.52	c  529s |      18 |   600709 |   296252 |    18048     40 |      394 |       64
532.41/532.56	c  531s |      18 |   604176 |   297552 |    18048     40 |      394 |       64
534.61/534.71	c  533s |      18 |   606335 |   298752 |    18048     40 |      394 |       64
536.71/536.87	c  535s |      18 |   608037 |   299952 |    18048     40 |      394 |       64
539.01/539.13	c  537s |      18 |   609468 |   301052 |    18048     40 |      394 |       64
541.11/541.21	c  539s |      18 |   611882 |   302352 |    18048     40 |      394 |       64
543.10/543.28	c  542s |      18 |   614175 |   303452 |    18048     41 |      394 |       64
545.30/545.40	c  544s |      18 |   617259 |   304852 |    18048     41 |      394 |       64
547.30/547.49	c  546s |      18 |   619471 |   305952 |    18048     41 |      394 |       64
549.40/549.59	c  548s |      18 |   621763 |   307152 |    18048     41 |      394 |       64
551.60/551.73	c  550s |      18 |   624757 |   308352 |    18048     41 |      394 |       64
553.80/553.92	c  552s |      18 |   626869 |   309452 |    18048     41 |      394 |       64
555.90/556.01	c  554s |      18 |   629475 |   310652 |    18048     41 |      394 |       64
558.00/558.10	c  556s |      18 |   631107 |   311752 |    18048     41 |      394 |       64
560.20/560.30	c  559s |      18 |   632630 |   312752 |    18048     42 |      394 |       64
562.30/562.44	c  561s |      18 |   634340 |   313852 |    18048     42 |      394 |       64
564.50/564.67	c  563s |      18 |   636680 |   314952 |    18048     42 |      394 |       64
566.60/566.74	c  565s |      18 |   638619 |   316052 |    18048     42 |      394 |       64
568.71/568.86	c  567s |      18 |   640287 |   317152 |    18048     42 |      394 |       64
570.81/570.92	c  569s |      18 |   642101 |   318252 |    18048     42 |      394 |       64
572.80/572.97	c  571s |      18 |   644587 |   319452 |    18048     42 |      394 |       64
574.90/575.03	c  573s |      18 |   646872 |   320652 |    18048     42 |      394 |       64
577.01/577.13	c  575s |      18 |   648763 |   321752 |    18048     42 |      394 |       64
579.01/579.17	c  577s |      18 |   650596 |   322852 |    18048     43 |      394 |       64
581.10/581.21	c  579s |      18 |   652046 |   323852 |    18048     43 |      394 |       64
583.10/583.28	c  582s |      18 |   653651 |   324952 |    18048     43 |      394 |       64
585.21/585.39	c  584s |      18 |   655821 |   326152 |    18048     43 |      394 |       64
587.31/587.42	c  586s |      18 |   657410 |   327252 |    18048     43 |      394 |       64
589.40/589.58	c  588s |      18 |   660031 |   328452 |    18048     43 |      394 |       64
591.60/591.74	c  590s |      18 |   662113 |   329652 |    18048     43 |      394 |       64
593.70/593.88	c  592s |      18 |   663574 |   330752 |    18048     43 |      394 |       64
595.90/596.00	c  594s |      18 |   665832 |   331852 |    18048     44 |      394 |       64
597.90/598.01	c  596s |      18 |   668403 |   333052 |    18048     44 |      394 |       64
600.00/600.10	c  598s |      18 |   670831 |   334452 |    18048     44 |      394 |       64
602.00/602.13	c  600s |      18 |   673014 |   335552 |    18048     44 |      394 |       64
604.09/604.22	c  602s |      18 |   675675 |   336852 |    18048     44 |      394 |       64
606.10/606.29	c  605s |      18 |   677984 |   338052 |    18048     44 |      394 |       64
608.30/608.46	c  607s |      18 |   680074 |   339152 |    18048     44 |      394 |       64
610.40/610.59	c  609s |      18 |   682882 |   340352 |    18048     44 |      394 |       64
612.49/612.67	c  611s |      18 |   686177 |   341552 |    18048     45 |      394 |       64
614.59/614.75	c  613s |      18 |   688210 |   342752 |    18048     45 |      394 |       64
616.59/616.79	c  615s |      18 |   689969 |   343952 |    18048     45 |      394 |       64
618.79/618.93	c  617s |      18 |   691579 |   345152 |    18048     45 |      394 |       64
620.89/621.08	c  619s |      18 |   693283 |   346352 |    18048     45 |      394 |       64
623.09/623.25	c  621s |      18 |   694761 |   347552 |    18048     45 |      394 |       64
625.19/625.31	c  624s |      18 |   696250 |   348752 |    18048     45 |      394 |       64
628.50/628.60	c  627s |      18 |   698274 |   349952 |    18048     46 |      394 |       64
630.50/630.62	c  629s |      18 |   701114 |   351252 |    18048     46 |      394 |       64
632.50/632.66	c  631s |      18 |   704056 |   352652 |    18048     46 |      394 |       64
634.50/634.70	c  633s |      18 |   707420 |   354152 |    18048     46 |      394 |       64
636.60/636.73	c  635s |      18 |   709558 |   355352 |    18048     46 |      394 |       64
638.69/638.86	c  637s |      18 |   712544 |   356752 |    18048     46 |      394 |       64
640.79/640.93	c  639s |      18 |   715571 |   358152 |    18048     46 |      394 |       64
642.89/643.08	c  641s |      18 |   718718 |   359552 |    18048     47 |      394 |       64
645.09/645.22	c  643s |      18 |   721957 |   360752 |    18048     47 |      394 |       64
647.09/647.29	c  646s |      18 |   723958 |   361952 |    18048     47 |      394 |       64
649.19/649.32	c  648s |      18 |   726708 |   363152 |    18048     47 |      394 |       64
651.29/651.40	c  650s |      18 |   728529 |   364352 |    18048     47 |      394 |       64
653.30/653.47	c  652s |      18 |   729451 |   365052 |    18048     47 |      394 |       64
655.50/655.64	c  654s |      18 |   731591 |   366152 |    18048     47 |      394 |       64
657.49/657.65	c  656s |      18 |   734167 |   367252 |    18048     47 |      394 |       64
659.69/659.88	c  658s |      18 |   736828 |   368452 |    18048     48 |      394 |       64
661.89/662.01	c  660s |      18 |   738178 |   369352 |    18048     48 |      394 |       64
663.99/664.12	c  662s |      18 |   739983 |   370452 |    18048     48 |      394 |       64
665.99/666.18	c  664s |      18 |   741776 |   371552 |    18048     48 |      394 |       64
668.09/668.22	c  666s |      18 |   743797 |   372452 |    18048     48 |      394 |       64
670.09/670.27	c  669s |      18 |   747009 |   373752 |    18048     48 |      394 |       64
672.39/672.53	c  671s |      18 |   750027 |   375152 |    18048     48 |      394 |       64
674.39/674.58	c  673s |      18 |   753384 |   376452 |    18048     48 |      394 |       64
676.49/676.65	c  675s |      18 |   756093 |   377652 |    18048     49 |      394 |       64
678.48/678.67	c  677s |      18 |   758994 |   378952 |    18048     49 |      394 |       64
680.58/680.79	c  679s |      18 |   761918 |   380252 |    18048     49 |      394 |       64
682.68/682.85	c  681s |      18 |   764615 |   381552 |    18048     49 |      394 |       64
684.68/684.89	c  683s |      18 |   767491 |   382852 |    18048     49 |      394 |       64
686.78/686.91	c  685s |      18 |   770678 |   384252 |    18048     49 |      394 |       64
688.88/689.04	c  687s |      18 |   773341 |   385552 |    18048     49 |      394 |       64
690.98/691.16	c  689s |      18 |   776642 |   386952 |    18048     49 |      394 |       64
693.18/693.31	c  692s |      18 |   779063 |   388152 |    18048     50 |      394 |       64
695.28/695.40	c  694s |      18 |   781784 |   389552 |    18048     50 |      394 |       64
697.29/697.41	c  696s |      18 |   783979 |   390752 |    18048     50 |      394 |       64
699.38/699.55	c  698s |      18 |   786687 |   392052 |    18048     50 |      394 |       64
701.58/701.72	c  700s |      18 |   788523 |   393152 |    18048     50 |      394 |       64
703.68/703.89	c  702s |      18 |   790332 |   394352 |    18048     50 |      394 |       64
705.78/705.99	c  704s |      18 |   792590 |   395552 |    18048     50 |      394 |       64
707.88/708.00	c  706s |      18 |   794775 |   396652 |    18048     51 |      394 |       64
709.88/710.02	c  708s |      18 |   797029 |   397852 |    18048     51 |      394 |       64
711.88/712.07	c  710s |      18 |   799261 |   399052 |    18048     51 |      394 |       64
713.98/714.17	c  712s |      18 |   800891 |   400152 |    18048     51 |      394 |       64
716.18/716.30	c  715s |      18 |   802949 |   401252 |    18048     51 |      394 |       64
718.28/718.46	c  717s |      18 |   804930 |   402452 |    18048     51 |      394 |       64
720.27/720.49	c  719s |      18 |   806385 |   403452 |    18048     51 |      394 |       64
722.47/722.66	c  721s |      18 |   808731 |   404652 |    18048     51 |      394 |       64
724.47/724.66	c  723s |      18 |   811303 |   405852 |    18048     52 |      394 |       64
726.47/726.68	c  725s |      18 |   814125 |   407152 |    18048     52 |      394 |       64
728.57/728.70	c  727s |      18 |   816468 |   408352 |    18048     52 |      394 |       64
730.57/730.78	c  729s |      18 |   818836 |   409552 |    18048     52 |      394 |       64
732.76/732.94	c  731s |      18 |   821881 |   410952 |    18048     52 |      394 |       64
734.86/735.05	c  733s |      18 |   824291 |   412152 |    18048     52 |      394 |       64
736.97/737.17	c  735s |      18 |   826495 |   413352 |    18048     52 |      394 |       64
739.17/739.31	c  738s |      18 |   828299 |   414452 |    18048     52 |      394 |       64
741.16/741.38	c  740s |      18 |   829774 |   415452 |    18048     53 |      394 |       64
743.36/743.58	c  742s |      18 |   831427 |   416552 |    18048     53 |      394 |       64
745.96/746.10	c  744s |      18 |   832246 |   417052 |    18048     53 |      394 |       64
748.06/748.22	c  746s |      18 |   833248 |   417652 |    18048     53 |      394 |       64
750.17/750.36	c  749s |      18 |   835373 |   418852 |    18048     53 |      394 |       64
752.37/752.52	c  751s |      18 |   838120 |   420152 |    18048     53 |      394 |       64
754.36/754.55	c  753s |      18 |   840733 |   421352 |    18048     53 |      394 |       64
756.46/756.60	c  755s |      18 |   843662 |   422652 |    18048     53 |      394 |       64
758.46/758.66	c  757s |      18 |   846654 |   423952 |    18048     53 |      394 |       64
760.56/760.75	c  759s |      18 |   849412 |   425252 |    18048     54 |      394 |       64
762.76/762.93	c  761s |      18 |   852052 |   426652 |    18048     54 |      394 |       64
764.86/765.09	c  763s |      18 |   854717 |   427952 |    18048     54 |      394 |       64
767.06/767.21	c  765s |      18 |   857128 |   429152 |    18048     54 |      394 |       64
769.06/769.22	c  767s |      18 |   859471 |   430252 |    18048     54 |      394 |       64
771.06/771.28	c  770s |      18 |   861748 |   431452 |    18048     54 |      394 |       64
773.05/773.28	c  772s |      18 |   863788 |   432552 |    18048     54 |      394 |       64
776.15/776.34	c  775s |      18 |   865724 |   433452 |    18048     55 |      394 |       64
778.25/778.44	c  777s |      18 |   867997 |   434452 |    18048     55 |      394 |       64
780.35/780.59	c  779s |      18 |   870729 |   435752 |    18048     55 |      394 |       64
782.45/782.64	c  781s |      18 |   873176 |   436952 |    18048     55 |      394 |       64
784.55/784.77	c  783s |      18 |   875662 |   438252 |    18048     55 |      394 |       64
786.75/786.91	c  785s |      18 |   878056 |   439452 |    18048     55 |      394 |       64
788.75/788.94	c  787s |      18 |   880182 |   440552 |    18048     55 |      394 |       64
790.95/791.13	c  789s |      18 |   882334 |   441752 |    19853     55 |      394 |       64
792.95/793.17	c  791s |      18 |   884222 |   442852 |    19853     55 |      394 |       64
795.15/795.35	c  794s |      18 |   886480 |   444052 |    19853     55 |      394 |       64
796.04/796.20	c  794s |      19 |   887396 |   444482 |    19853     55 |      394 |       64
798.94/799.15	c  797s |      19 |   887882 |   444682 |    19853     56 |      394 |       64
800.94/801.18	c  799s |      19 |   891482 |   446182 |    19853     56 |      394 |       64
802.95/803.19	c  801s |      19 |   894668 |   447582 |    19853     56 |      394 |       64
805.15/805.31	c  804s |      19 |   898212 |   449082 |    19853     56 |      394 |       64
807.14/807.35	c  806s |      19 |   900884 |   450482 |    19853     56 |      394 |       64
809.14/809.38	c  808s |      19 |   903680 |   451882 |    19853     56 |      394 |       64
811.34/811.52	c  810s |      19 |   906564 |   453282 |    19853     56 |      394 |       64
813.44/813.65	c  812s |      19 |   909389 |   454782 |    19853     57 |      394 |       64
815.54/815.75	c  814s |      19 |   910858 |   455682 |    19853     57 |      394 |       64
817.64/817.89	c  816s |      19 |   913108 |   456982 |    19853     57 |      394 |       64
819.74/819.97	c  818s |      19 |   915093 |   458282 |    19853     57 |      394 |       64
821.94/822.13	c  820s |      19 |   917627 |   459582 |    19853     57 |      394 |       64
823.94/824.15	c  822s |      19 |   920147 |   460782 |    19853     57 |      394 |       64
826.14/826.30	c  825s |      19 |   922725 |   462082 |    19853     57 |      394 |       64
828.14/828.33	c  827s |      19 |   925493 |   463382 |    19853     57 |      394 |       64
830.23/830.49	c  829s |      19 |   928283 |   464682 |    19853     57 |      394 |       64
832.33/832.56	c  831s |      19 |   930887 |   465982 |    19853     58 |      394 |       64
834.43/834.66	c  833s |      19 |   933133 |   467182 |    19853     58 |      394 |       64
836.53/836.75	c  835s |      19 |   934863 |   468282 |    19853     58 |      394 |       64
838.73/838.90	c  837s |      19 |   936870 |   469382 |    19853     58 |      394 |       64
840.73/840.96	c  839s |      19 |   938872 |   470482 |    19853     58 |      394 |       64
842.93/843.13	c  841s |      19 |   941294 |   471682 |    19853     58 |      394 |       64
845.03/845.21	c  843s |      19 |   943122 |   472682 |    19853     58 |      394 |       64
847.13/847.37	c  846s |      19 |   945407 |   473982 |    19853     58 |      394 |       64
849.23/849.43	c  848s |      19 |   947816 |   475282 |    19853     59 |      394 |       64
851.43/851.60	c  850s |      19 |   949792 |   476482 |    19853     59 |      394 |       64
853.43/853.70	c  852s |      19 |   951659 |   477582 |    19853     59 |      394 |       64
855.63/855.82	c  854s |      19 |   953945 |   478782 |    19853     59 |      394 |       64
857.62/857.82	c  856s |      19 |   955466 |   479882 |    19853     59 |      394 |       64
859.72/859.97	c  858s |      19 |   957180 |   480982 |    19853     59 |      394 |       64
861.92/862.11	c  860s |      19 |   958906 |   482082 |    19853     59 |      394 |       64
864.02/864.25	c  862s |      19 |   960549 |   483282 |    19853     59 |      394 |       64
866.12/866.34	c  865s |      19 |   962341 |   484382 |    19853     59 |      394 |       64
868.22/868.41	c  867s |      19 |   964334 |   485482 |    19853     60 |      394 |       64
870.32/870.52	c  869s |      19 |   967557 |   486882 |    19853     60 |      394 |       64
872.32/872.57	c  871s |      19 |   970548 |   488182 |    19853     60 |      394 |       64
874.52/874.71	c  873s |      19 |   973294 |   489482 |    19853     60 |      394 |       64
876.62/876.86	c  875s |      19 |   975714 |   490782 |    19853     60 |      394 |       64
878.62/878.89	c  877s |      19 |   978102 |   492082 |    19853     60 |      394 |       64
880.82/881.02	c  879s |      19 |   980607 |   493382 |    19853     60 |      394 |       64
882.91/883.11	c  881s |      19 |   983310 |   494682 |    19853     60 |      394 |       64
885.01/885.23	c  883s |      19 |   985246 |   495782 |    19853     61 |      394 |       64
887.01/887.25	c  885s |      19 |   987217 |   496982 |    19853     61 |      394 |       64
889.11/889.38	c  888s |      19 |   989051 |   498182 |    19853     61 |      394 |       64
891.11/891.39	c  890s |      19 |   991734 |   499382 |    19853     61 |      394 |       64
893.31/893.51	c  892s |      19 |   994786 |   500782 |    19853     61 |      394 |       64
895.31/895.55	c  894s |      19 |   997335 |   501982 |    19853     61 |      394 |       64
897.41/897.64	c  896s |      19 |  1000540 |   503282 |    19853     61 |      394 |       64
899.72/899.99	c  898s |      19 |  1002024 |   504282 |    19853     61 |      394 |       64
901.81/902.09	c  900s |      19 |  1003623 |   505382 |    19853     61 |      394 |       64
903.91/904.13	c  902s |      19 |  1004787 |   506282 |    19853     62 |      394 |       64
906.01/906.25	c  904s |      19 |  1006459 |   507482 |    19853     62 |      394 |       64
908.21/908.48	c  907s |      19 |  1008088 |   508582 |    19853     62 |      394 |       64
910.41/910.62	c  909s |      19 |  1010175 |   509782 |    19853     62 |      394 |       64
912.60/912.80	c  911s |      19 |  1011828 |   510982 |    19853     62 |      394 |       64
914.70/914.96	c  913s |      19 |  1013306 |   511982 |    19853     62 |      394 |       64
916.80/917.06	c  915s |      19 |  1014794 |   512982 |    19853     62 |      394 |       64
918.90/919.17	c  917s |      19 |  1016926 |   514182 |    19853     62 |      394 |       64
921.91/922.19	c  920s |      19 |  1018917 |   515282 |    19853     62 |      394 |       64
924.01/924.24	c  922s |      19 |  1021642 |   516582 |    19853     63 |      394 |       64
926.12/926.34	c  925s |      19 |  1024850 |   518082 |    19853     63 |      394 |       64
928.91/929.10	c  927s |      19 |  1025470 |   518382 |    19853     63 |      394 |       64
930.91/931.12	c  929s |      19 |  1027287 |   519582 |    19853     63 |      394 |       64
933.00/933.25	c  931s |      19 |  1029544 |   520882 |    19853     63 |      394 |       64
935.10/935.38	c  934s |      19 |  1031855 |   522182 |    19853     63 |      394 |       64
937.20/937.48	c  936s |      19 |  1033804 |   523282 |    19853     63 |      394 |       64
939.40/939.63	c  938s |      19 |  1035756 |   524482 |    19853     63 |      394 |       64
941.40/941.67	c  940s |      19 |  1037965 |   525682 |    19853     63 |      394 |       64
943.60/943.81	c  942s |      19 |  1039768 |   526682 |    19853     64 |      394 |       64
945.69/945.98	c  944s |      19 |  1041736 |   527882 |    19853     64 |      394 |       64
947.79/948.05	c  946s |      19 |  1043661 |   529082 |    19853     64 |      394 |       64
949.79/950.06	c  948s |      19 |  1045432 |   530182 |    19853     64 |      394 |       64
951.89/952.13	c  950s |      19 |  1047070 |   531282 |    19853     64 |      394 |       64
953.99/954.27	c  953s |      19 |  1049389 |   532482 |    19853     64 |      394 |       64
956.19/956.40	c  955s |      19 |  1051962 |   533782 |    19853     64 |      394 |       64
958.19/958.46	c  957s |      19 |  1053667 |   534782 |    19853     64 |      394 |       64
960.29/960.59	c  959s |      19 |  1055915 |   535982 |    19853     64 |      394 |       64
962.39/962.69	c  961s |      19 |  1058043 |   536982 |    19853     65 |      394 |       64
964.49/964.78	c  963s |      19 |  1060681 |   538282 |    19853     65 |      394 |       64
966.69/966.91	c  965s |      19 |  1063627 |   539682 |    19853     65 |      394 |       64
968.78/969.00	c  967s |      19 |  1066269 |   540982 |    19853     65 |      394 |       64
970.78/971.09	c  969s |      19 |  1068446 |   542182 |    19853     65 |      394 |       64
972.98/973.21	c  971s |      19 |  1071320 |   543482 |    19853     65 |      394 |       64
974.98/975.22	c  973s |      19 |  1073541 |   544682 |    19853     65 |      394 |       64
976.98/977.22	c  975s |      19 |  1075034 |   545582 |    19853     65 |      394 |       64
979.17/979.47	c  978s |      19 |  1076792 |   546582 |    19853     66 |      394 |       64
981.17/981.48	c  980s |      19 |  1078987 |   547682 |    19853     66 |      394 |       64
983.47/983.71	c  982s |      19 |  1081141 |   548882 |    19853     66 |      394 |       64
985.48/985.76	c  984s |      19 |  1083083 |   549882 |    19853     66 |      394 |       64
987.47/987.78	c  986s |      19 |  1085235 |   551082 |    19853     66 |      394 |       64
989.57/989.82	c  988s |      19 |  1087808 |   552482 |    19853     66 |      394 |       64
991.67/991.92	c  990s |      19 |  1090295 |   553782 |    19853     66 |      394 |       64
993.77/994.07	c  992s |      19 |  1092557 |   554982 |    19853     66 |      394 |       64
995.87/996.16	c  994s |      19 |  1094710 |   556082 |    19853     66 |      394 |       64
997.97/998.24	c  996s |      19 |  1097733 |   557282 |    19853     67 |      394 |       64
999.97/1000.27	c  999s |      19 |  1100465 |   558482 |    19853     67 |      394 |       64
1002.16/1002.41	c 1001s |      19 |  1102743 |   559682 |    19853     67 |      394 |       64
1004.26/1004.50	c 1003s |      19 |  1105624 |   560982 |    19853     67 |      394 |       64
1006.36/1006.61	c 1005s |      19 |  1108124 |   562182 |    19853     67 |      394 |       64
1008.35/1008.68	c 1007s |      19 |  1110945 |   563382 |    19853     67 |      394 |       64
1010.55/1010.82	c 1009s |      19 |  1113680 |   564682 |    19853     67 |      394 |       64
1012.65/1012.94	c 1011s |      19 |  1116078 |   565882 |    19853     67 |      394 |       64
1014.85/1015.16	c 1013s |      19 |  1118352 |   566982 |    19853     68 |      394 |       64
1016.95/1017.26	c 1016s |      19 |  1120724 |   568182 |    19853     68 |      394 |       64
1018.95/1019.29	c 1018s |      19 |  1122818 |   569382 |    19853     68 |      394 |       64
1021.05/1021.33	c 1020s |      19 |  1124887 |   570582 |    19853     68 |      394 |       64
1023.14/1023.46	c 1022s |      19 |  1127003 |   571882 |    19853     68 |      394 |       64
1025.34/1025.61	c 1024s |      19 |  1128629 |   572882 |    19853     68 |      394 |       64
1027.34/1027.69	c 1026s |      19 |  1130517 |   573982 |    19853     68 |      394 |       64
1029.54/1029.86	c 1028s |      19 |  1132506 |   575082 |    19853     68 |      394 |       64
1031.55/1031.86	c 1030s |      19 |  1134850 |   576182 |    19853     68 |      394 |       64
1033.64/1033.97	c 1032s |      19 |  1137283 |   577382 |    19853     69 |      394 |       64
1038.44/1038.78	c 1037s |      19 |  1138513 |   577982 |    19853     69 |      394 |       64
1041.14/1041.49	c 1040s |      19 |  1141239 |   579282 |    19853     69 |      394 |       64
1043.24/1043.53	c 1042s |      19 |  1143683 |   580482 |    19853     69 |      394 |       64
1045.34/1045.67	c 1044s |      19 |  1145709 |   581582 |    19853     69 |      394 |       64
1047.44/1047.79	c 1046s |      19 |  1147245 |   582582 |    19853     69 |      394 |       64
1049.54/1049.89	c 1048s |      19 |  1149117 |   583682 |    19853     69 |      394 |       64
1051.74/1052.02	c 1050s |      19 |  1151801 |   584982 |    19853     69 |      394 |       64
1053.84/1054.11	c 1052s |      19 |  1154539 |   586282 |    19853     69 |      394 |       64
1055.94/1056.20	c 1054s |      19 |  1156584 |   587482 |    19853     70 |      394 |       64
1057.95/1058.24	c 1056s |      19 |  1158357 |   588582 |    19853     70 |      394 |       64
1060.15/1060.40	c 1059s |      19 |  1160740 |   589782 |    19853     70 |      394 |       64
1062.24/1062.54	c 1061s |      19 |  1163458 |   591082 |    19853     70 |      394 |       64
1064.24/1064.57	c 1063s |      19 |  1166263 |   592382 |    19853     70 |      394 |       64
1066.33/1066.61	c 1065s |      19 |  1168683 |   593582 |    19853     70 |      394 |       64
1068.33/1068.63	c 1067s |      19 |  1170954 |   594782 |    19853     70 |      394 |       64
1070.43/1070.75	c 1069s |      19 |  1172800 |   596082 |    19853     70 |      394 |       64
1072.53/1072.86	c 1071s |      19 |  1175056 |   597482 |    19853     70 |      394 |       64
1074.54/1074.88	c 1073s |      19 |  1177149 |   598582 |    19853     71 |      394 |       64
1076.53/1076.89	c 1075s |      19 |  1179374 |   599782 |    19853     71 |      394 |       64
1078.63/1078.97	c 1077s |      19 |  1181552 |   600982 |    19853     71 |      394 |       64
1080.83/1081.16	c 1079s |      19 |  1183465 |   602182 |    19853     71 |      394 |       64
1083.13/1083.49	c 1082s |      19 |  1185147 |   603282 |    19853     71 |      394 |       64
1085.23/1085.54	c 1084s |      19 |  1186924 |   604382 |    19853     71 |      394 |       64
1087.33/1087.64	c 1086s |      19 |  1188685 |   605382 |    19853     71 |      394 |       64
1089.43/1089.78	c 1088s |      19 |  1190572 |   606482 |    19853     71 |      394 |       64
1091.53/1091.82	c 1090s |      19 |  1192664 |   607582 |    19853     71 |      394 |       64
1093.73/1094.03	c 1092s |      19 |  1195148 |   608682 |    19853     72 |      394 |       64
1095.73/1096.06	c 1094s |      19 |  1198484 |   610082 |    19853     72 |      394 |       64
1097.93/1098.21	c 1096s |      19 |  1201240 |   611482 |    19853     72 |      394 |       64
1099.93/1100.28	c 1099s |      19 |  1203357 |   612682 |    19853     72 |      394 |       64
1101.93/1102.29	c 1101s |      19 |  1205669 |   613882 |    19853     72 |      394 |       64
1104.03/1104.35	c 1103s |      19 |  1208109 |   615082 |    19853     72 |      394 |       64
1106.13/1106.42	c 1105s |      19 |  1209850 |   616182 |    19853     72 |      394 |       64
1108.33/1108.64	c 1107s |      19 |  1211514 |   617282 |    19853     72 |      394 |       64
1110.53/1110.81	c 1109s |      19 |  1213712 |   618382 |    19853     73 |      394 |       64
1112.62/1112.97	c 1111s |      19 |  1215981 |   619582 |    19853     73 |      394 |       64
1114.82/1115.16	c 1113s |      19 |  1218338 |   620882 |    19853     73 |      394 |       64
1116.92/1117.29	c 1116s |      19 |  1220213 |   622082 |    19853     73 |      394 |       64
1119.12/1119.49	c 1118s |      19 |  1222191 |   623182 |    19853     73 |      394 |       64
1121.22/1121.54	c 1120s |      19 |  1224150 |   624282 |    19853     73 |      394 |       64
1123.42/1123.70	c 1122s |      19 |  1227035 |   625682 |    19853     73 |      394 |       64
1125.42/1125.70	c 1124s |      19 |  1228971 |   626782 |    19853     73 |      394 |       64
1127.52/1127.85	c 1126s |      19 |  1230910 |   627982 |    19853     73 |      394 |       64
1129.53/1129.88	c 1128s |      19 |  1232800 |   629082 |    19853     74 |      394 |       64
1131.72/1132.03	c 1130s |      19 |  1234481 |   630082 |    19853     74 |      394 |       64
1133.82/1134.20	c 1132s |      19 |  1236180 |   631182 |    19853     74 |      394 |       64
1135.91/1136.28	c 1135s |      19 |  1237866 |   632282 |    19853     74 |      394 |       64
1138.22/1138.51	c 1137s |      19 |  1239014 |   632982 |    19853     74 |      394 |       64
1140.21/1140.58	c 1139s |      19 |  1241469 |   634182 |    19853     74 |      394 |       64
1142.31/1142.68	c 1141s |      19 |  1244056 |   635382 |    19853     74 |      394 |       64
1144.51/1144.83	c 1143s |      19 |  1246898 |   636582 |    19853     74 |      394 |       64
1146.61/1146.91	c 1145s |      19 |  1248516 |   637582 |    19853     74 |      394 |       64
1148.71/1149.00	c 1147s |      19 |  1250254 |   638582 |    19853     75 |      394 |       64
1150.81/1151.12	c 1149s |      19 |  1252199 |   639682 |    19853     75 |      394 |       64
1152.80/1153.12	c 1151s |      19 |  1254433 |   640782 |    19853     75 |      394 |       64
1154.90/1155.24	c 1153s |      19 |  1256520 |   641982 |    19853     75 |      394 |       64
1157.21/1157.50	c 1156s |      19 |  1258263 |   642982 |    19853     75 |      394 |       64
1159.22/1159.54	c 1158s |      19 |  1259331 |   643582 |    19853     75 |      394 |       64
1161.41/1161.71	c 1160s |      19 |  1261392 |   644682 |    19853     75 |      394 |       64
1163.40/1163.80	c 1162s |      19 |  1263227 |   645782 |    19853     75 |      394 |       64
1165.60/1165.90	c 1164s |      19 |  1265509 |   646982 |    19853     75 |      394 |       64
1167.60/1167.96	c 1166s |      19 |  1267930 |   648182 |    19853     75 |      394 |       64
1169.70/1170.01	c 1168s |      19 |  1270022 |   649282 |    19853     76 |      394 |       64
1171.90/1172.27	c 1171s |      19 |  1272051 |   650382 |    19853     76 |      394 |       64
1174.00/1174.38	c 1173s |      19 |  1273996 |   651582 |    19853     76 |      394 |       64
1176.10/1176.49	c 1175s |      19 |  1276379 |   652882 |    19853     76 |      394 |       64
1178.20/1178.57	c 1177s |      19 |  1278413 |   654082 |    19853     76 |      394 |       64
1180.30/1180.65	c 1179s |      19 |  1280273 |   655182 |    19853     76 |      394 |       64
1182.49/1182.81	c 1181s |      19 |  1282756 |   656482 |    19853     76 |      394 |       64
1184.50/1184.88	c 1183s |      19 |  1285419 |   657782 |    19853     76 |      394 |       64
1186.70/1187.01	c 1185s |      19 |  1288320 |   659082 |    19853     77 |      394 |       64
1188.69/1189.05	c 1187s |      19 |  1290391 |   660182 |    19853     77 |      394 |       64
1190.79/1191.14	c 1189s |      19 |  1292200 |   661282 |    19853     77 |      394 |       64
1192.88/1193.27	c 1192s |      19 |  1294775 |   662482 |    21839     77 |      394 |       64
1195.08/1195.41	c 1194s |      19 |  1297555 |   663782 |    21839     77 |      394 |       64
1197.08/1197.42	c 1196s |      19 |  1299552 |   664882 |    21839     77 |      394 |       64
1199.08/1199.47	c 1198s |      19 |  1302341 |   666182 |    21839     77 |      394 |       64
1200.18/1200.54	c 1199s |      20 |  1303635 |   666827 |    21839     77 |      394 |       64
1202.38/1202.75	c 1201s |      20 |  1306210 |   668027 |    21839     77 |      394 |       64
1204.48/1204.81	c 1203s |      20 |  1308472 |   669227 |    21839     77 |      394 |       64
1206.49/1206.83	c 1205s |      20 |  1310899 |   670427 |    21839     77 |      394 |       64
1208.69/1209.01	c 1207s |      20 |  1312807 |   671427 |    21839     78 |      394 |       64
1210.79/1211.15	c 1209s |      20 |  1314893 |   672527 |    21839     78 |      394 |       64
1212.78/1213.16	c 1211s |      20 |  1317411 |   673727 |    21839     78 |      394 |       64
1214.88/1215.22	c 1213s |      20 |  1319976 |   674827 |    21839     78 |      394 |       64
1216.88/1217.25	c 1215s |      20 |  1322268 |   675927 |    21839     78 |      394 |       64
1218.97/1219.33	c 1218s |      20 |  1324770 |   677027 |    21839     78 |      394 |       64
1221.07/1221.45	c 1220s |      20 |  1326840 |   678127 |    21839     78 |      394 |       64
1223.17/1223.50	c 1222s |      20 |  1328836 |   679227 |    21839     78 |      394 |       64
1225.18/1225.53	c 1224s |      20 |  1330772 |   680327 |    21839     78 |      394 |       64
1227.28/1227.64	c 1226s |      20 |  1332833 |   681427 |    21839     78 |      394 |       64
1229.37/1229.77	c 1228s |      20 |  1334843 |   682527 |    21839     79 |      394 |       64
1231.37/1231.79	c 1230s |      20 |  1336172 |   683327 |    21839     79 |      394 |       64
1233.47/1233.86	c 1232s |      20 |  1338432 |   684427 |    21839     79 |      394 |       64
1235.67/1236.02	c 1234s |      20 |  1340196 |   685527 |    21839     79 |      394 |       64
1237.77/1238.13	c 1236s |      20 |  1342331 |   686727 |    21839     79 |      394 |       64
1239.87/1240.22	c 1238s |      20 |  1344167 |   687827 |    21839     79 |      394 |       64
1241.96/1242.34	c 1241s |      20 |  1345827 |   688827 |    21839     79 |      394 |       64
1244.06/1244.44	c 1243s |      20 |  1347510 |   689827 |    21839     79 |      394 |       64
1246.26/1246.61	c 1245s |      20 |  1349265 |   690927 |    21839     79 |      394 |       64
1248.36/1248.71	c 1247s |      20 |  1350834 |   691927 |    21839     79 |      394 |       64
1250.37/1250.73	c 1249s |      20 |  1352545 |   692927 |    21839     79 |      394 |       64
1252.45/1252.81	c 1251s |      20 |  1354254 |   693927 |    21839     80 |      394 |       64
1254.45/1254.83	c 1253s |      20 |  1356216 |   695027 |    21839     80 |      394 |       64
1256.45/1256.85	c 1255s |      20 |  1357946 |   696127 |    21839     80 |      394 |       64
1258.55/1258.93	c 1257s |      20 |  1360190 |   697327 |    21839     80 |      394 |       64
1260.65/1261.07	c 1259s |      20 |  1362311 |   698427 |    21839     80 |      394 |       64
1262.75/1263.18	c 1261s |      20 |  1364321 |   699527 |    21839     80 |      394 |       64
1264.85/1265.20	c 1263s |      20 |  1366010 |   700627 |    21839     80 |      394 |       64
1267.05/1267.41	c 1266s |      20 |  1368161 |   701827 |    21839     80 |      394 |       64
1269.06/1269.48	c 1268s |      20 |  1369722 |   702827 |    21839     80 |      394 |       64
1271.15/1271.60	c 1270s |      20 |  1371696 |   703927 |    21839     80 |      394 |       64
1273.25/1273.66	c 1272s |      20 |  1373395 |   704927 |    21839     81 |      394 |       64
1275.35/1275.76	c 1274s |      20 |  1375134 |   706027 |    21839     81 |      394 |       64
1277.44/1277.83	c 1276s |      20 |  1376753 |   707127 |    21839     81 |      394 |       64
1279.44/1279.84	c 1278s |      20 |  1378705 |   708227 |    21839     81 |      394 |       64
1281.44/1281.87	c 1280s |      20 |  1380441 |   709327 |    21839     81 |      394 |       64
1283.64/1284.03	c 1282s |      20 |  1382284 |   710427 |    21839     81 |      394 |       64
1285.65/1286.06	c 1284s |      20 |  1384308 |   711527 |    21839     81 |      394 |       64
1287.75/1288.15	c 1286s |      20 |  1385964 |   712527 |    21839     81 |      394 |       64
1289.74/1290.19	c 1288s |      20 |  1388146 |   713627 |    21839     81 |      394 |       64
1291.84/1292.23	c 1290s |      20 |  1389949 |   714627 |    21839     81 |      394 |       64
1294.45/1294.83	c 1293s |      20 |  1391067 |   715327 |    21839     81 |      394 |       64
1296.55/1296.95	c 1295s |      20 |  1392564 |   716327 |    21839     82 |      394 |       64
1298.64/1299.09	c 1297s |      20 |  1393796 |   717227 |    21839     82 |      394 |       64
1300.84/1301.22	c 1299s |      20 |  1395534 |   718527 |    21839     82 |      394 |       64
1302.93/1303.33	c 1302s |      20 |  1397081 |   719727 |    21839     82 |      394 |       64
1305.03/1305.43	c 1304s |      20 |  1398657 |   720927 |    21839     82 |      394 |       64
1307.03/1307.50	c 1306s |      20 |  1400392 |   722027 |    21839     82 |      394 |       64
1309.23/1309.66	c 1308s |      20 |  1402008 |   723227 |    21839     82 |      394 |       64
1311.33/1311.75	c 1310s |      20 |  1403614 |   724327 |    21839     82 |      394 |       64
1313.43/1313.89	c 1312s |      20 |  1405077 |   725427 |    21839     82 |      394 |       64
1315.63/1316.04	c 1314s |      20 |  1405999 |   725927 |    21839     82 |      394 |       64
1317.63/1318.07	c 1316s |      20 |  1408461 |   727127 |    21839     83 |      394 |       64
1319.73/1320.19	c 1318s |      20 |  1411581 |   728627 |    21839     83 |      394 |       64
1321.83/1322.28	c 1321s |      20 |  1414551 |   730027 |    21839     83 |      394 |       64
1323.92/1324.37	c 1323s |      20 |  1417114 |   731327 |    21839     83 |      394 |       64
1326.12/1326.51	c 1325s |      20 |  1419151 |   732527 |    21839     83 |      394 |       64
1328.22/1328.61	c 1327s |      20 |  1421586 |   733727 |    21839     83 |      394 |       64
1330.32/1330.71	c 1329s |      20 |  1424081 |   734927 |    21839     83 |      394 |       64
1332.42/1332.86	c 1331s |      20 |  1426082 |   736127 |    21839     83 |      394 |       64
1334.52/1334.92	c 1333s |      20 |  1427970 |   737227 |    21839     83 |      394 |       64
1336.52/1336.92	c 1335s |      20 |  1429668 |   738227 |    21839     84 |      394 |       64
1338.52/1338.94	c 1337s |      20 |  1431901 |   739327 |    21839     84 |      394 |       64
1340.63/1341.01	c 1339s |      20 |  1434171 |   740527 |    21839     84 |      394 |       64
1342.62/1343.06	c 1341s |      20 |  1436421 |   741727 |    21839     84 |      394 |       64
1344.62/1345.08	c 1343s |      20 |  1438584 |   742927 |    21839     84 |      394 |       64
1346.72/1347.18	c 1345s |      20 |  1440721 |   744127 |    21839     84 |      394 |       64
1348.92/1349.32	c 1348s |      20 |  1442197 |   745127 |    21839     84 |      394 |       64
1350.92/1351.33	c 1350s |      20 |  1443508 |   746127 |    21839     84 |      394 |       64
1353.02/1353.48	c 1352s |      20 |  1444774 |   747127 |    21839     84 |      394 |       64
1355.12/1355.54	c 1354s |      20 |  1446116 |   748127 |    21839     84 |      394 |       64
1357.13/1357.55	c 1356s |      20 |  1447501 |   749127 |    21839     84 |      394 |       64
1359.22/1359.67	c 1358s |      20 |  1448633 |   750127 |    21839     85 |      394 |       64
1361.73/1362.17	c 1360s |      20 |  1449356 |   750727 |    21839     85 |      394 |       64
1363.82/1364.22	c 1362s |      20 |  1451048 |   752027 |    21839     85 |      394 |       64
1365.93/1366.32	c 1365s |      20 |  1453027 |   753027 |    21839     85 |      394 |       64
1368.03/1368.49	c 1367s |      20 |  1455235 |   754227 |    21839     85 |      394 |       64
1370.12/1370.59	c 1369s |      20 |  1457733 |   755527 |    21839     85 |      394 |       64
1372.22/1372.66	c 1371s |      20 |  1459747 |   756627 |    21839     85 |      394 |       64
1374.32/1374.73	c 1373s |      20 |  1461662 |   757727 |    21839     85 |      394 |       64
1376.32/1376.76	c 1375s |      20 |  1463789 |   758827 |    21839     85 |      394 |       64
1378.52/1378.90	c 1377s |      20 |  1466114 |   760027 |    21839     85 |      394 |       64
1380.52/1380.96	c 1379s |      20 |  1468342 |   761127 |    21839     86 |      394 |       64
1382.72/1383.18	c 1381s |      20 |  1470566 |   762327 |    21839     86 |      394 |       64
1384.82/1385.20	c 1383s |      20 |  1473068 |   763527 |    21839     86 |      394 |       64
1386.83/1387.22	c 1385s |      20 |  1475115 |   764627 |    21839     86 |      394 |       64
1388.92/1389.38	c 1388s |      20 |  1476721 |   765527 |    21839     86 |      394 |       64
1391.02/1391.48	c 1390s |      20 |  1478618 |   766627 |    21839     86 |      394 |       64
1393.12/1393.51	c 1392s |      20 |  1480613 |   767727 |    21839     86 |      394 |       64
1395.32/1395.73	c 1394s |      20 |  1482304 |   768727 |    21839     86 |      394 |       64
1397.42/1397.80	c 1396s |      20 |  1483561 |   769727 |    21839     86 |      394 |       64
1399.42/1399.83	c 1398s |      20 |  1484821 |   770727 |    21839     86 |      394 |       64
1401.42/1401.86	c 1400s |      20 |  1486276 |   771927 |    21839     87 |      394 |       64
1403.52/1403.98	c 1402s |      20 |  1487758 |   773127 |    21839     87 |      394 |       64
1405.61/1406.05	c 1404s |      20 |  1489130 |   774227 |    21839     87 |      394 |       64
1407.72/1408.13	c 1406s |      20 |  1490497 |   775327 |    21839     87 |      394 |       64
1409.71/1410.15	c 1408s |      20 |  1492962 |   776427 |    21839     87 |      394 |       64
1411.81/1412.21	c 1410s |      20 |  1496048 |   777727 |    21839     87 |      394 |       64
1413.91/1414.39	c 1413s |      20 |  1499152 |   779127 |    21839     87 |      394 |       64
1416.01/1416.43	c 1415s |      20 |  1502201 |   780627 |    21839     87 |      394 |       64
1418.01/1418.46	c 1417s |      20 |  1505575 |   782027 |    21839     87 |      394 |       64
1420.21/1420.60	c 1419s |      20 |  1508360 |   783427 |    21839     88 |      394 |       64
1422.31/1422.72	c 1421s |      20 |  1511813 |   785027 |    21839     88 |      394 |       64
1424.31/1424.73	c 1423s |      20 |  1513950 |   786127 |    21839     88 |      394 |       64
1426.42/1426.88	c 1425s |      20 |  1516473 |   787427 |    21839     88 |      394 |       64
1428.51/1428.96	c 1427s |      20 |  1519283 |   788727 |    21839     88 |      394 |       64
1430.61/1431.07	c 1429s |      20 |  1521929 |   790027 |    21839     88 |      394 |       64
1432.71/1433.13	c 1431s |      20 |  1524484 |   791327 |    21839     88 |      394 |       64
1434.81/1435.28	c 1434s |      20 |  1526696 |   792427 |    21839     88 |      394 |       64
1437.01/1437.40	c 1436s |      20 |  1528338 |   793627 |    21839     88 |      394 |       64
1439.11/1439.50	c 1438s |      20 |  1529768 |   794727 |    21839     89 |      394 |       64
1441.11/1441.52	c 1440s |      20 |  1531277 |   795927 |    21839     89 |      394 |       64
1443.21/1443.67	c 1442s |      20 |  1532730 |   797127 |    21839     89 |      394 |       64
1445.21/1445.69	c 1444s |      20 |  1534215 |   798327 |    21839     89 |      394 |       64
1447.31/1447.73	c 1446s |      20 |  1535876 |   799527 |    21839     89 |      394 |       64
1449.30/1449.80	c 1448s |      20 |  1538051 |   800627 |    21839     89 |      394 |       64
1451.50/1451.98	c 1450s |      20 |  1539917 |   801827 |    21839     89 |      394 |       64
1453.50/1453.99	c 1452s |      20 |  1541626 |   802827 |    21839     89 |      394 |       64
1455.60/1456.03	c 1454s |      20 |  1543812 |   803927 |    21839     89 |      394 |       64
1457.70/1458.15	c 1456s |      20 |  1546495 |   805227 |    21839     89 |      394 |       64
1459.80/1460.21	c 1458s |      20 |  1548516 |   806327 |    21839     90 |      394 |       64
1461.90/1462.34	c 1461s |      20 |  1550040 |   807527 |    21839     90 |      394 |       64
1464.30/1464.76	c 1463s |      20 |  1551334 |   808527 |    21839     90 |      394 |       64
1466.51/1466.94	c 1465s |      20 |  1552302 |   809027 |    21839     90 |      394 |       64
1468.61/1469.02	c 1467s |      20 |  1554227 |   809927 |    21839     90 |      394 |       64
1470.61/1471.04	c 1469s |      20 |  1557010 |   811227 |    21839     90 |      394 |       64
1472.71/1473.14	c 1471s |      20 |  1559392 |   812527 |    21839     90 |      394 |       64
1474.71/1475.20	c 1473s |      20 |  1561796 |   813827 |    21839     90 |      394 |       64
1476.81/1477.23	c 1475s |      20 |  1563798 |   815027 |    21839     90 |      394 |       64
1478.91/1479.34	c 1478s |      20 |  1565589 |   816127 |    21839     90 |      394 |       64
1481.00/1481.47	c 1480s |      20 |  1567068 |   817027 |    21839     91 |      394 |       64
1483.10/1483.58	c 1482s |      20 |  1569409 |   818327 |    21839     91 |      394 |       64
1485.20/1485.61	c 1484s |      20 |  1572018 |   819627 |    21839     91 |      394 |       64
1487.40/1487.81	c 1486s |      20 |  1574710 |   820927 |    21839     91 |      394 |       64
1489.50/1489.92	c 1488s |      20 |  1576562 |   822027 |    21839     91 |      394 |       64
1491.70/1492.13	c 1490s |      20 |  1578176 |   823127 |    21839     91 |      394 |       64
1493.70/1494.17	c 1492s |      20 |  1579415 |   824027 |    21839     91 |      394 |       64
1495.80/1496.24	c 1494s |      20 |  1581034 |   825027 |    21839     91 |      394 |       64
1497.91/1498.39	c 1497s |      20 |  1583035 |   826127 |    21839     91 |      394 |       64
1500.11/1500.58	c 1499s |      20 |  1585231 |   827227 |    21839     91 |      394 |       64
1502.21/1502.69	c 1501s |      20 |  1587262 |   828227 |    21839     92 |      394 |       64
1504.41/1504.80	c 1503s |      20 |  1589380 |   829327 |    21839     92 |      394 |       64
1506.50/1506.98	c 1505s |      20 |  1591762 |   830527 |    21839     92 |      394 |       64
1508.60/1509.02	c 1507s |      20 |  1593299 |   831627 |    21839     92 |      394 |       64
1510.70/1511.11	c 1509s |      20 |  1594619 |   832727 |    21839     92 |      394 |       64
1512.80/1513.22	c 1511s |      20 |  1596078 |   833427 |    21839     92 |      394 |       64
1514.80/1515.24	c 1513s |      20 |  1598457 |   834627 |    21839     92 |      394 |       64
1516.90/1517.39	c 1516s |      20 |  1601428 |   835927 |    21839     92 |      394 |       64
1519.10/1519.57	c 1518s |      20 |  1603724 |   837027 |    21839     92 |      394 |       64
1521.30/1521.73	c 1520s |      20 |  1606604 |   838227 |    21839     92 |      394 |       64
1523.40/1523.81	c 1522s |      20 |  1609434 |   839427 |    21839     93 |      394 |       64
1525.40/1525.84	c 1524s |      20 |  1611442 |   840527 |    21839     93 |      394 |       64
1527.39/1527.89	c 1526s |      20 |  1612497 |   841127 |    21839     93 |      394 |       64
1529.49/1529.99	c 1528s |      20 |  1614360 |   842327 |    21839     93 |      394 |       64
1531.59/1532.09	c 1530s |      20 |  1616639 |   843527 |    21839     93 |      394 |       64
1533.79/1534.23	c 1532s |      20 |  1618089 |   844727 |    21839     93 |      394 |       64
1535.79/1536.25	c 1534s |      20 |  1620158 |   845827 |    21839     93 |      394 |       64
1537.89/1538.33	c 1537s |      20 |  1622570 |   847027 |    21839     93 |      394 |       64
1539.89/1540.34	c 1539s |      20 |  1625000 |   848227 |    21839     93 |      394 |       64
1542.09/1542.52	c 1541s |      20 |  1627157 |   849427 |    21839     93 |      394 |       64
1544.10/1544.52	c 1543s |      20 |  1628376 |   850327 |    21839     94 |      394 |       64
1546.20/1546.66	c 1545s |      20 |  1629856 |   851327 |    21839     94 |      394 |       64
1548.19/1548.66	c 1547s |      20 |  1631213 |   852427 |    21839     94 |      394 |       64
1550.29/1550.76	c 1549s |      20 |  1633481 |   853627 |    21839     94 |      394 |       64
1552.39/1552.90	c 1551s |      20 |  1636136 |   854927 |    21839     94 |      394 |       64
1554.49/1554.98	c 1553s |      20 |  1638603 |   856227 |    21839     94 |      394 |       64
1556.59/1557.06	c 1555s |      20 |  1640999 |   857427 |    21839     94 |      394 |       64
1558.69/1559.18	c 1557s |      20 |  1643177 |   858627 |    21839     94 |      394 |       64
1560.79/1561.23	c 1559s |      20 |  1645158 |   859627 |    21839     94 |      394 |       64
1562.80/1563.25	c 1561s |      20 |  1647179 |   860727 |    21839     94 |      394 |       64
1564.79/1565.30	c 1564s |      20 |  1648885 |   861727 |    21839     95 |      394 |       64
1566.99/1567.46	c 1566s |      20 |  1650526 |   863027 |    21839     95 |      394 |       64
1569.89/1570.31	c 1569s |      20 |  1651884 |   864127 |    21839     95 |      394 |       64
1572.09/1572.50	c 1571s |      20 |  1654031 |   865427 |    21839     95 |      394 |       64
1574.09/1574.54	c 1573s |      20 |  1656350 |   866627 |    21839     95 |      394 |       64
1576.09/1576.58	c 1575s |      20 |  1658661 |   867927 |    21839     95 |      394 |       64
1578.29/1578.72	c 1577s |      20 |  1660917 |   869127 |    21839     95 |      394 |       64
1580.39/1580.87	c 1579s |      20 |  1662524 |   870327 |    21839     95 |      394 |       64
1582.49/1582.99	c 1581s |      20 |  1664246 |   871527 |    21839     95 |      394 |       64
1584.58/1585.03	c 1583s |      20 |  1666331 |   872627 |    21839     96 |      394 |       64
1586.68/1587.14	c 1585s |      20 |  1668281 |   873727 |    21839     96 |      394 |       64
1588.78/1589.23	c 1587s |      20 |  1670254 |   874827 |    21839     96 |      394 |       64
1590.78/1591.28	c 1590s |      20 |  1672263 |   875927 |    21839     96 |      394 |       64
1592.88/1593.35	c 1592s |      20 |  1674381 |   877027 |    21839     96 |      394 |       64
1597.09/1597.53	c 1596s |      20 |  1676152 |   878027 |    21839     96 |      394 |       64
1599.09/1599.58	c 1598s |      20 |  1677218 |   878727 |    21839     96 |      394 |       64
1601.19/1601.64	c 1600s |      20 |  1680657 |   880127 |    21839     96 |      394 |       64
1603.29/1603.79	c 1602s |      20 |  1684128 |   881627 |    21839     96 |      394 |       64
1605.39/1605.89	c 1604s |      20 |  1685983 |   882727 |    21839     96 |      394 |       64
1607.59/1608.04	c 1606s |      20 |  1687919 |   883827 |    21839     97 |      394 |       64
1609.79/1610.21	c 1608s |      20 |  1690572 |   885127 |    21839     97 |      394 |       64
1611.79/1612.27	c 1611s |      20 |  1693092 |   886427 |    21839     97 |      394 |       64
1613.98/1614.43	c 1613s |      20 |  1694992 |   887627 |    21839     97 |      394 |       64
1615.98/1616.49	c 1615s |      20 |  1697098 |   888827 |    21839     97 |      394 |       64
1618.18/1618.63	c 1617s |      20 |  1699338 |   890027 |    21839     97 |      394 |       64
1620.38/1620.84	c 1619s |      20 |  1701338 |   891227 |    21839     97 |      394 |       64
1622.48/1622.96	c 1621s |      20 |  1703394 |   892427 |    21839     97 |      394 |       64
1624.58/1625.01	c 1623s |      20 |  1705644 |   893627 |    21839     97 |      394 |       64
1626.68/1627.10	c 1625s |      20 |  1707757 |   894827 |    21839     97 |      394 |       64
1628.69/1629.12	c 1627s |      20 |  1709749 |   896027 |    21839     98 |      394 |       64
1630.68/1631.19	c 1629s |      20 |  1711775 |   897127 |    21839     98 |      394 |       64
1632.78/1633.25	c 1631s |      20 |  1713859 |   898227 |    21839     98 |      394 |       64
1634.88/1635.30	c 1634s |      20 |  1716017 |   899427 |    21839     98 |      394 |       64
1636.88/1637.36	c 1636s |      20 |  1717409 |   900327 |    21839     98 |      394 |       64
1639.18/1639.66	c 1638s |      20 |  1719414 |   901427 |    21839     98 |      394 |       64
1641.28/1641.72	c 1640s |      20 |  1721338 |   902427 |    21839     98 |      394 |       64
1643.38/1643.82	c 1642s |      20 |  1723434 |   903627 |    21839     98 |      394 |       64
1645.38/1645.86	c 1644s |      20 |  1725334 |   904727 |    21839     98 |      394 |       64
1647.39/1647.89	c 1646s |      20 |  1727694 |   905927 |    21839     98 |      394 |       64
1649.88/1650.31	c 1649s |      20 |  1729962 |   907227 |    21839     99 |      394 |       64
1651.98/1652.46	c 1651s |      20 |  1731871 |   908427 |    21839     99 |      394 |       64
1653.98/1654.48	c 1653s |      20 |  1734220 |   909627 |    21839     99 |      394 |       64
1656.08/1656.52	c 1655s |      20 |  1736379 |   910727 |    21839     99 |      394 |       64
1658.18/1658.64	c 1657s |      20 |  1737959 |   911627 |    21839     99 |      394 |       64
1660.18/1660.65	c 1659s |      20 |  1740467 |   912927 |    21839     99 |      394 |       64
1662.28/1662.77	c 1661s |      20 |  1742670 |   914227 |    21839     99 |      394 |       64
1664.48/1664.92	c 1663s |      20 |  1744691 |   915527 |    21839     99 |      394 |       64
1666.57/1667.05	c 1665s |      20 |  1746884 |   916827 |    21839     99 |      394 |       64
1668.77/1669.22	c 1667s |      20 |  1748567 |   917827 |    21839    100 |      394 |       64
1670.77/1671.27	c 1670s |      20 |  1750234 |   918827 |    21839    100 |      394 |       64
1672.97/1673.46	c 1672s |      20 |  1752101 |   919927 |    21839    100 |      394 |       64
1675.07/1675.59	c 1674s |      20 |  1753706 |   920927 |    21839    100 |      394 |       64
1677.18/1677.63	c 1676s |      20 |  1755207 |   921927 |    21839    100 |      394 |       64
1679.17/1679.63	c 1678s |      20 |  1757281 |   923027 |    21839    100 |      394 |       64
1681.27/1681.71	c 1680s |      20 |  1759197 |   924127 |    21839    100 |      394 |       64
1683.27/1683.73	c 1682s |      20 |  1761093 |   925127 |    21839    100 |      394 |       64
1685.47/1685.91	c 1684s |      20 |  1763412 |   926327 |    21839    100 |      394 |       64
1687.57/1688.02	c 1686s |      20 |  1765345 |   927427 |    21839    100 |      394 |       64
1689.67/1690.19	c 1688s |      20 |  1767370 |   928527 |    21839    101 |      394 |       64
1691.87/1692.36	c 1691s |      20 |  1769729 |   929827 |    21839    101 |      394 |       64
1693.97/1694.47	c 1693s |      20 |  1772210 |   931127 |    21839    101 |      394 |       64
1696.07/1696.54	c 1695s |      20 |  1774349 |   932327 |    21839    101 |      394 |       64
1698.08/1698.59	c 1697s |      20 |  1776667 |   933527 |    21839    101 |      394 |       64
1700.18/1700.65	c 1699s |      20 |  1779083 |   934727 |    21839    101 |      394 |       64
1702.27/1702.72	c 1701s |      20 |  1781214 |   935827 |    21839    101 |      394 |       64
1704.37/1704.87	c 1703s |      20 |  1783081 |   936927 |    21839    101 |      394 |       64
1706.47/1706.97	c 1705s |      20 |  1785073 |   938027 |    21839    101 |      394 |       64
1708.57/1709.03	c 1707s |      20 |  1786947 |   939127 |    21839    101 |      394 |       64
1710.67/1711.10	c 1709s |      20 |  1788822 |   940227 |    21839    102 |      394 |       64
1712.67/1713.12	c 1711s |      20 |  1790813 |   941327 |    21839    102 |      394 |       64
1714.77/1715.21	c 1713s |      20 |  1792766 |   942427 |    21839    102 |      394 |       64
1716.78/1717.23	c 1715s |      20 |  1794945 |   943527 |    21839    102 |      394 |       64
1718.77/1719.29	c 1718s |      20 |  1796305 |   944427 |    21839    102 |      394 |       64
1720.87/1721.31	c 1720s |      20 |  1797879 |   945427 |    21839    102 |      394 |       64
1722.87/1723.37	c 1722s |      20 |  1799191 |   946327 |    21839    102 |      394 |       64
1724.86/1725.38	c 1724s |      20 |  1800736 |   947327 |    21839    102 |      394 |       64
1727.07/1727.57	c 1726s |      20 |  1802614 |   948627 |    21839    102 |      394 |       64
1729.26/1729.75	c 1728s |      20 |  1804224 |   949727 |    21839    102 |      394 |       64
1731.36/1731.84	c 1730s |      20 |  1805914 |   950727 |    21839    102 |      394 |       64
1733.36/1733.87	c 1732s |      20 |  1807403 |   951627 |    21839    103 |      394 |       64
1735.47/1735.93	c 1734s |      20 |  1809052 |   952627 |    21839    103 |      394 |       64
1737.57/1738.06	c 1736s |      20 |  1811035 |   953727 |    21839    103 |      394 |       64
1739.66/1740.14	c 1738s |      20 |  1812851 |   954727 |    21839    103 |      394 |       64
1741.86/1742.38	c 1741s |      20 |  1815463 |   955927 |    21839    103 |      394 |       64
1743.96/1744.45	c 1743s |      20 |  1817529 |   956827 |    21839    103 |      394 |       64
1746.06/1746.57	c 1745s |      20 |  1819535 |   958027 |    21839    103 |      394 |       64
1748.16/1748.69	c 1747s |      20 |  1821933 |   959227 |    21839    103 |      394 |       64
1750.26/1750.71	c 1749s |      20 |  1824410 |   960327 |    21839    103 |      394 |       64
1752.36/1752.87	c 1751s |      20 |  1826309 |   961427 |    21839    103 |      394 |       64
1754.56/1755.03	c 1753s |      20 |  1827961 |   962327 |    21839    104 |      394 |       64
1756.66/1757.11	c 1755s |      20 |  1829964 |   963527 |    21839    104 |      394 |       64
1758.66/1759.15	c 1757s |      20 |  1832094 |   964827 |    21839    104 |      394 |       64
1760.66/1761.16	c 1759s |      20 |  1834043 |   966027 |    21839    104 |      394 |       64
1762.76/1763.29	c 1762s |      20 |  1836110 |   967227 |    21839    104 |      394 |       64
1764.86/1765.31	c 1764s |      20 |  1838381 |   968427 |    21839    104 |      394 |       64
1766.86/1767.35	c 1766s |      20 |  1840100 |   969427 |    21839    104 |      394 |       64
1768.86/1769.35	c 1768s |      20 |  1842020 |   970527 |    21839    104 |      394 |       64
1770.85/1771.37	c 1770s |      20 |  1843841 |   971627 |    21839    104 |      394 |       64
1773.05/1773.51	c 1772s |      20 |  1846072 |   972827 |    21839    104 |      394 |       64
1775.06/1775.56	c 1774s |      20 |  1847723 |   973727 |    21839    105 |      394 |       64
1777.26/1777.71	c 1776s |      20 |  1850298 |   975127 |    21839    105 |      394 |       64
1779.36/1779.84	c 1778s |      20 |  1852546 |   976327 |    21839    105 |      394 |       64
1781.45/1781.93	c 1780s |      20 |  1854964 |   977527 |    21839    105 |      394 |       64
1783.55/1784.02	c 1782s |      20 |  1856676 |   978727 |    21839    105 |      394 |       64
1785.65/1786.12	c 1784s |      20 |  1858260 |   979827 |    21839    105 |      394 |       64
1787.75/1788.21	c 1786s |      20 |  1860340 |   981027 |    21839    105 |      394 |       64
1790.56/1791.05	c 1789s |      20 |  1860982 |   981327 |    21839    105 |      394 |       64
1792.66/1793.19	c 1791s |      20 |  1863487 |   982427 |    21839    105 |      394 |       64
1794.76/1795.26	c 1794s |      20 |  1866088 |   983627 |    21839    105 |      394 |       64
1796.85/1797.33	c 1796s |      20 |  1868461 |   984827 |    21839    106 |      394 |       64
1798.95/1799.40	c 1798s |      20 |  1871075 |   986127 |    21839    106 |      394 |       64

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-4101729-1466226141/watcher-4101729-1466226141 -o /tmp/evaluation-result-4101729-1466226141/solver-4101729-1466226141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101729-1466226141.opb 

pid=4163
running on 4 cores: 1,3,5,7

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.13 2.10 2.09 3/179 4166
/proc/meminfo: memFree=29981372/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 2939 0 0 0 0 0 0 0 20 0 4 0 24663324 803663872 3299 33554432000 4194304 16246674 140733673422368 140733673421792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 196719 3308 441 2943 0 193613 0
[pid=4166/tid=4167] ppid=4163 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 821489664 3365 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 825683968 3383 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24663324 829878272 3400 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 4166
/proc/meminfo: memFree=29981372/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 29688 0 0 0 5 4 0 0 20 0 4 0 24663324 1333334016 29987 33554432000 4194304 16246674 140733673422368 140733673421680 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 325521 30003 801 2943 0 322415 0
[pid=4166/tid=4167] ppid=4163 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1333334016 30013 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1333334016 30025 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1333334016 30036 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200611 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 4166
/proc/meminfo: memFree=29981372/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 46307 0 0 0 13 6 0 0 20 0 4 0 24663324 1344868352 47116 33554432000 4194304 16246674 140733673422368 140733673421680 12752368 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 328337 47116 801 2943 0 325231 0
[pid=4166/tid=4167] ppid=4163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1344868352 47116 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1344868352 47116 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1344868352 47116 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300561 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 4166
/proc/meminfo: memFree=29981372/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 47296 0 0 0 23 6 0 0 20 0 4 0 24663324 1344868352 48106 33554432000 4194304 16246674 140733673422368 140733673421680 12653060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 328337 48121 832 2943 0 325231 0
[pid=4166/tid=4167] ppid=4163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1344868352 48129 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1344868352 48138 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1344868352 48150 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700426 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 4166
/proc/meminfo: memFree=29981372/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1316420 CPUtime=0.68 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 141865 0 0 0 51 17 0 0 20 0 4 0 24663324 1348014080 142674 33554432000 4194304 16246674 140733673422368 140733673421680 13774087 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 329105 142674 843 2943 0 325999 0
[pid=4166/tid=4167] ppid=4163 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1348014080 142674 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1348014080 142674 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1348014080 142674 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1316420

[startup+1.50042 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 4170
/proc/meminfo: memFree=29259120/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=1.49 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 171691 0 0 0 128 21 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 140733673404288 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 172500 897 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.10043 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 4170
/proc/meminfo: memFree=29046212/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=3.09 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 171691 0 0 0 288 21 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 140733673404288 5711369 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 172500 897 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 172500 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1322564

[startup+6.30042 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 4170
/proc/meminfo: memFree=29045508/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=6.29 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 217826 0 0 0 600 29 0 0 20 0 4 0 24663324 1354305536 218635 33554432000 4194304 16246674 140733673422368 140733673404288 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 218640 897 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 218644 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 218647 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 218650 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1322564

[startup+12.7004 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 4170
/proc/meminfo: memFree=28647540/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=12.69 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 271326 0 0 0 1233 36 0 0 20 0 4 0 24663324 1354305536 272135 33554432000 4194304 16246674 140733673422368 140733673404288 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 272135 897 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272135 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272135 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272135 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1322564

[startup+25.5005 s]
/proc/loadavg: 2.30 2.14 2.10 3/183 4170
/proc/meminfo: memFree=28647600/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=25.49 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 271333 0 0 0 2513 36 0 0 20 0 4 0 24663324 1354305536 272142 33554432000 4194304 16246674 140733673422368 140733673404288 12483187 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 272142 904 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272142 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272142 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272142 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564

[startup+51.1006 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 4170
/proc/meminfo: memFree=28647568/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 271334 0 0 0 5072 36 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 140733673404288 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 272143 905 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

[startup+102.301 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 4172
/proc/meminfo: memFree=28647340/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 271334 0 0 0 10192 36 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 140733673404288 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 330641 272143 905 2943 0 327535 0
[pid=4166/tid=4167] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1354305536 272143 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1385762816 279826 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/183 4252
/proc/meminfo: memFree=28933072/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1353284 CPUtime=1361.93 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 279267 0 0 0 136147 46 0 0 20 0 4 0 24663324 1385762816 279826 33554432000 4194304 16246674 140733673422368 140733673420160 6022238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 338321 279826 905 2943 0 335215 0
[pid=4166/tid=4167] ppid=4163 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1385762816 279826 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1385762816 279826 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1385762816 279826 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/183 4253
/proc/meminfo: memFree=28904564/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1421.92 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286280 0 0 0 142145 47 0 0 20 0 4 0 24663324 1415122944 286839 33554432000 4194304 16246674 140733673422368 140733673404288 5661902 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286839 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286839 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286839 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286839 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1381956

[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 4254
/proc/meminfo: memFree=28903856/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1481.9 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 148142 48 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673404288 12415785 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1381956

[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 4255
/proc/meminfo: memFree=28904116/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1541.9 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 154142 48 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673420160 12415831 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1381956

[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 2.05 4/183 4256
/proc/meminfo: memFree=28904264/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1601.89 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 160140 49 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673404288 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1381956

[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/184 4261
/proc/meminfo: memFree=28903136/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1661.88 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 166139 49 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673404288 6837038 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1381956

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/183 4262
/proc/meminfo: memFree=28904280/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1721.87 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 172138 49 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673404288 5825219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1381956

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 4263
/proc/meminfo: memFree=28903544/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1781.85 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 178136 49 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673420160 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1381956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 4263
/proc/meminfo: memFree=28903280/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1800.05 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 179955 50 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673404288 5711968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1381956

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 4166 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.02 2.05 2.04 3/183 4263
/proc/meminfo: memFree=28903280/32872528 swapFree=681964/737152
[pid=4166] ppid=4163 vsize=1381956 CPUtime=1800.05 cores=1,3,5,7
/proc/4166/stat : 4166 (toysat) R 4163 4166 1377 0 -1 4202496 286435 0 0 0 179955 50 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 140733673404288 5711968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4166/statm: 345489 286994 905 2943 0 342383 0
[pid=4166/tid=4167] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4167/stat : 4167 (toysat) S 4163 4166 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636439493872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4166/tid=4168] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4168/stat : 4168 (toysat) S 4163 4166 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636429004016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4166/tid=4169] ppid=4163 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/4166/task/4169/stat : 4169 (toysat) S 4163 4166 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24663324 1415122944 286994 33554432000 4194304 16246674 140733673422368 139636418530480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1381956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.56
CPU system time (s): 0.504923
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1381956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.504923
maximum resident set size= 1147976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286435
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= 268
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8592 second user time and 17.4204 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 07:02:21
IDJOB=4101729
IDBENCH=1787
IDSOLVER=2542
FILE ID=node112/4101729-1466226141
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101729-1466226141/watcher-4101729-1466226141 -o /tmp/evaluation-result-4101729-1466226141/solver-4101729-1466226141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101729-1466226141.opb

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

MD5SUM BENCH= 8006e55bdcce383dfc4a8ab750094e2c
RANDOM SEED=1318872530

node112.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.734
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	: 5333.46
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.734
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.55
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29981652 kB
Buffers:          105304 kB
Cached:           155416 kB
SwapCached:         1916 kB
Active:          1282880 kB
Inactive:         135500 kB
Active(anon):    1158072 kB
Inactive(anon):     1576 kB
Active(file):     124808 kB
Inactive(file):   133924 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             17508 kB
Writeback:             0 kB
AnonPages:       1897484 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             601936 kB
SReclaimable:      45832 kB
SUnreclaim:       556104 kB
KernelStack:        1520 kB
PageTables:         7428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2035544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71680 MiB
End job on node112 at 2016-06-18 07:32:22