Trace number 4093407

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MD5SUMd7a0ad39836c923faf2776c1a468a22d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1800.11
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints35
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 1904
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1903
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
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-16T15:07:40+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","--wbo","--search=bcd2","HOME/instance-4093407-1466082460.wbo"]
0.00/0.01	c use --random-gen="45147868 3876384463 3141478452 1620425195 1567156359 1088966616 2633653773 3759002870 3932391255 109528652 3824531269 160554586 2260517372 720538940 1279944001 1784786524 2140665730 1567928422 4073030170 1405759106 3897381909 1179538335 2217796971 1869713567 226467595 3434692185 253093978 2382628679 1345213489 3167934338 853029545 3537633877 2010457229 1311964885 4091195379 3395635945 4249122122 629146651 3984208415 3096406127 927517024 3643809039 4208685511 3753519829 556189707 175685027 3901943085 637521540 3714071887 456111697 1484986178 1630178338 2129922353 2473334954 2507352234 3217653827 2062267674 937488179 2286038779 4013154686 2554434842 40418432 3971361219 567850941 2496881742 702214430 1965506514 2656994205 3970023147 3017645756 1070342054 1444411192 3787008050 755029996 171031002 1672119718 4212167573 1194233495 1985227797 1137934131 2068402472 577261153 1178858420 3978172159 801019431 1782509188 2850214859 3611452678 947173827 2972881047 3236386466 2103532994 3810470642 3109100751 2321537590 354314582 3546020194 1644472002 1030518632 2157191457 2443550764 2200089984 1551973690 955092833 1639418696 674073646 3928036802 1441331641 2939983678 2728391491 4094425907 2114211385 1629069088 3860265954 955022689 3709927360 2369926970 1378906663 2714375023 1281625050 2277191063 1852147533 2148897499 1888134375 3740890290 394035936 2356652386 1845884905 3741387276 1972895427 2596254223 2710785313 394717158 982591854 333067850 4125703907 99840750 3214268596 1587966207 4185170510 422628405 112296365 47523843 2857588325 341292487 88428514 1308629076 2651230473 3085064999 2943835816 20238267 2733788415 156387581 3698801362 4050259909 3098385280 3830594965 455642981 738175341 1079813601 4257803232 1061765119 3540355831 1867114040 1236318050 4207477827 1987718439 3998656305 2240301330 26319753 826339686 80092345 1918586992 3579821935 365935474 2654511 4211652192 1591392926 896775770 1462785003 866567738 2375053832 2679678942 497279390 1653473038 313249619 3799661483 496624230 2627899381 3566125965 980740893 2676808748 2416651088 1927754770 2064110191 3697309318 4145188690 3862856492 1857309925 873962890 1606908286 2314422046 3869782719 3132952732 3745189352 2720695331 604874758 4254704129 1206018481 2335614437 1538934213 822291032 1276438979 1373600597 3358421054 2044960229 3248092594 3194031726 331679016 758640176 3047183208 2443455595 4236168386 632758899 1990789250 2258108680 3519626313 3223532189 1205403792 850515444 1566037272 2808654819 501017884 3873218619 3391006388 2012898303 1426232690 1684072018 2167326167 3138308392 706837288 3324050626 4285281479 3326464787 2269087291 2762015389 2669527555 2529358550 1363207281 3044097072 894919577 601207626 3537053863 1792995570 787098301 2327243301 255 362436" option to reproduce the execution
0.09/0.13	c #vars 2750
0.09/0.13	c #constraints 105
0.09/0.15	c BCD2: Hardening is enabled.
0.09/0.15	c BCD2: BiasedSearch is enabled.
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |      963      0 |        0 |        0
0.19/0.20	c  0.1s |       1 |      202 |      100 |      963      0 |        0 |        0
0.19/0.21	c  0.1s |       1 |     2000 |      101 |     1060      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.058s
0.19/0.21	c #wall_clock_time = 0.058s
0.19/0.21	c #decision = 2000
0.19/0.21	c #random_decision = 7
0.19/0.21	c #conflict = 101
0.19/0.21	c #restart = 1
0.19/0.21	o 1191
0.19/0.21	c BCD2: updating upper bound: 1903 -> 1190
0.19/0.21	c BCD2: 0 <= obj <= 1190
0.19/0.21	c BCD2: #cores=0, #unrelaxed=35, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1060      0 |        0 |        0
0.29/0.34	c  0.1s |       1 |     1161 |      100 |     1060      0 |        0 |        0
0.49/0.54	c  0.3s |       2 |     2596 |      250 |     1166      0 |        0 |        0
0.79/0.87	c  0.7s |       3 |     4215 |      475 |     1283      0 |        0 |        0
1.28/1.32	c  1.1s |       4 |     6236 |      813 |     1412      0 |        0 |        0
1.79/1.89	c  1.7s |       5 |     8088 |     1320 |     1554      0 |        0 |        0
2.69/2.71	c  2.5s |       6 |    10485 |     2081 |     1710      0 |        0 |        0
4.09/4.18	c  4.0s |       7 |    13179 |     3223 |     1882      1 |        0 |        0
6.09/6.19	c  6.0s |       7 |    16572 |     4823 |     2071      2 |        0 |        0
6.29/6.36	c  6.2s |       8 |    16707 |     4936 |     2071      2 |        0 |        0
8.38/8.40	c  8.2s |       8 |    20433 |     6736 |     2071      3 |        0 |        0
9.48/9.56	c  9.4s |       9 |    21268 |     7506 |     2279      3 |        0 |        0
11.68/11.72	c 11.5s |       9 |    24475 |     9006 |     2279      4 |        0 |        0
13.78/13.88	c 13.7s |       9 |    25906 |    10306 |     2279      4 |        0 |        0
15.78/15.86	c 15.7s |      10 |    27099 |    11361 |     2507      5 |        0 |        0
17.88/17.99	c 17.8s |      10 |    30270 |    12961 |     2507      6 |        0 |        0
19.98/20.02	c 19.8s |      10 |    31567 |    14061 |     2507      6 |        0 |        0
22.09/22.18	c 22.0s |      10 |    32695 |    15061 |     2507      7 |        0 |        0
24.29/24.36	c 24.1s |      10 |    33929 |    16161 |     2507      7 |        0 |        0
26.39/26.43	c 26.2s |      11 |    35023 |    17144 |     2758      7 |        0 |        0
28.49/28.59	c 28.4s |      11 |    38189 |    18544 |     2758      8 |        0 |        0
30.59/30.61	c 30.4s |      11 |    39416 |    19644 |     2758      8 |        0 |        0
32.59/32.63	c 32.4s |      11 |    40378 |    20544 |     2758      9 |        0 |        0
34.59/34.67	c 34.5s |      11 |    41443 |    21444 |     2758      9 |        0 |        0
36.79/36.83	c 36.6s |      11 |    42467 |    22344 |     2758      9 |        0 |        0
38.79/38.88	c 38.7s |      11 |    43358 |    23144 |     2758     10 |        0 |        0
40.98/41.08	c 40.9s |      11 |    44443 |    24144 |     2758     10 |        0 |        0
43.28/43.30	c 43.1s |      11 |    45450 |    25044 |     2758     10 |        0 |        0
45.09/45.17	c 45.0s |      12 |    46300 |    25819 |     3034     10 |        0 |        0
47.18/47.25	c 47.0s |      12 |    49335 |    26919 |     3034     11 |        0 |        0
49.38/49.42	c 49.2s |      12 |    50594 |    28019 |     3034     11 |        0 |        0
51.58/51.62	c 51.4s |      12 |    51643 |    28919 |     3034     12 |        0 |        0
53.58/53.64	c 53.4s |      12 |    52673 |    29819 |     3034     12 |        0 |        0
55.68/55.75	c 55.5s |      12 |    53717 |    30719 |     3034     12 |        0 |        0
57.88/57.92	c 57.7s |      12 |    54733 |    31619 |     3034     13 |        0 |        0
59.87/59.92	c 59.7s |      12 |    55731 |    32519 |     3034     13 |        0 |        0
61.98/62.09	c 61.9s |      12 |    56829 |    33519 |     3034     13 |        0 |        0
64.18/64.22	c 64.0s |      12 |    57827 |    34419 |     3034     13 |        0 |        0
66.18/66.29	c 66.1s |      12 |    58707 |    35219 |     3034     14 |        0 |        0
68.38/68.46	c 68.2s |      12 |    59855 |    36219 |     3034     14 |        0 |        0
70.58/70.62	c 70.4s |      12 |    60873 |    37119 |     3034     14 |        0 |        0
72.69/72.79	c 72.6s |      12 |    61792 |    37919 |     3034     15 |        0 |        0
74.98/75.02	c 74.8s |      12 |    62777 |    38819 |     3338     15 |        0 |        0
74.98/75.06	c 74.9s |      13 |    62799 |    38832 |     3338     15 |        0 |        0
76.99/77.07	c 76.9s |      13 |    65591 |    39832 |     3338     16 |        0 |        0
78.98/79.08	c 78.9s |      13 |    66588 |    40732 |     3338     16 |        0 |        0
81.17/81.25	c 81.0s |      13 |    67574 |    41632 |     3338     16 |        0 |        0
83.17/83.28	c 83.1s |      13 |    68459 |    42432 |     3338     16 |        0 |        0
85.27/85.38	c 85.2s |      13 |    69218 |    43132 |     3338     17 |        0 |        0
87.57/87.64	c 87.4s |      13 |    70274 |    44032 |     3338     17 |        0 |        0
89.88/89.93	c 89.7s |      13 |    71162 |    44832 |     3338     17 |        0 |        0
91.97/92.08	c 91.9s |      13 |    71948 |    45532 |     3338     17 |        0 |        0
94.07/94.11	c 93.9s |      13 |    72638 |    46132 |     3338     18 |        0 |        0
96.27/96.35	c 96.1s |      13 |    73650 |    47032 |     3338     18 |        0 |        0
98.37/98.43	c 98.2s |      13 |    74444 |    47732 |     3338     18 |        0 |        0
100.66/100.72	c  100s |      13 |    75373 |    48532 |     3338     18 |        0 |        0
102.66/102.75	c  102s |      13 |    76151 |    49232 |     3338     19 |        0 |        0
104.86/104.99	c  104s |      13 |    77155 |    50132 |     3338     19 |        0 |        0
106.96/107.03	c  106s |      13 |    78061 |    50932 |     3338     19 |        0 |        0
108.97/109.06	c  108s |      13 |    78834 |    51632 |     3338     20 |        0 |        0
111.17/111.28	c  111s |      13 |    80008 |    52632 |     3338     20 |        0 |        0
113.27/113.34	c  113s |      13 |    81016 |    53532 |     3338     20 |        0 |        0
115.36/115.41	c  115s |      13 |    81964 |    54332 |     3338     20 |        0 |        0
117.46/117.56	c  117s |      13 |    82882 |    55132 |     3338     21 |        0 |        0
119.66/119.78	c  119s |      13 |    83892 |    56032 |     3338     21 |        0 |        0
121.86/121.92	c  121s |      13 |    84772 |    56832 |     3338     21 |        0 |        0
124.06/124.18	c  123s |      13 |    85682 |    57632 |     3338     22 |        0 |        0
125.86/125.95	c  125s |      14 |    86499 |    58352 |     3672     22 |        0 |        0
127.95/128.00	c  127s |      14 |    89288 |    59552 |     3672     23 |        0 |        0
129.95/130.01	c  129s |      14 |    90681 |    60752 |     3672     23 |        0 |        0
131.96/132.03	c  131s |      14 |    91803 |    61752 |     3672     23 |        0 |        0
134.26/134.36	c  134s |      14 |    92928 |    62752 |     3672     24 |        0 |        0
136.36/136.50	c  136s |      14 |    94046 |    63752 |     3672     24 |        0 |        0
138.45/138.53	c  138s |      14 |    94916 |    64552 |     3672     24 |        0 |        0
140.45/140.58	c  140s |      14 |    95778 |    65352 |     3672     24 |        0 |        0
142.75/142.83	c  142s |      14 |    96539 |    66052 |     3672     25 |        0 |        0
144.95/145.02	c  144s |      14 |    97499 |    66952 |     3672     25 |        0 |        0
146.95/147.09	c  146s |      14 |    98666 |    67952 |     3672     25 |        0 |        0
149.05/149.10	c  148s |      14 |    99834 |    68852 |     3672     25 |        0 |        0
151.15/151.25	c  151s |      14 |   100995 |    69852 |     3672     26 |        0 |        0
153.15/153.26	c  153s |      14 |   102019 |    70752 |     3672     26 |        0 |        0
155.34/155.40	c  155s |      14 |   103065 |    71652 |     3672     26 |        0 |        0
157.35/157.49	c  157s |      14 |   103988 |    72452 |     3672     27 |        0 |        0
159.45/159.57	c  159s |      14 |   105166 |    73452 |     3672     27 |        0 |        0
161.55/161.65	c  161s |      14 |   106189 |    74352 |     3672     27 |        0 |        0
163.65/163.71	c  163s |      14 |   107106 |    75152 |     3672     27 |        0 |        0
165.75/165.81	c  165s |      14 |   108035 |    75952 |     3672     28 |        0 |        0
167.75/167.89	c  167s |      14 |   109057 |    76852 |     3672     28 |        0 |        0
169.84/169.92	c  169s |      14 |   109962 |    77652 |     3672     28 |        0 |        0
171.84/171.95	c  171s |      14 |   110862 |    78452 |     3672     28 |        0 |        0
173.85/173.96	c  173s |      14 |   111678 |    79152 |     3672     29 |        0 |        0
175.95/176.10	c  175s |      14 |   112790 |    80152 |     3672     29 |        0 |        0
178.24/178.34	c  178s |      14 |   113781 |    81052 |     3672     29 |        0 |        0
180.45/180.52	c  180s |      14 |   114654 |    81852 |     3672     30 |        0 |        0
182.55/182.65	c  182s |      14 |   115685 |    82752 |     3672     30 |        0 |        0
184.75/184.82	c  184s |      14 |   116742 |    83652 |     3672     30 |        0 |        0
186.95/187.04	c  186s |      14 |   117759 |    84552 |     3672     30 |        0 |        0
189.04/189.13	c  188s |      14 |   118509 |    85252 |     3672     31 |        0 |        0
191.23/191.35	c  191s |      14 |   119677 |    86252 |     3672     31 |        0 |        0
193.34/193.44	c  193s |      14 |   120737 |    87152 |     4040     31 |        0 |        0
194.54/194.63	c  194s |      15 |   121273 |    87632 |     4040     31 |        0 |        0
196.54/196.67	c  196s |      15 |   124471 |    88932 |     4040     32 |        0 |        0
198.64/198.76	c  198s |      15 |   125844 |    90132 |     4040     32 |        0 |        0
200.64/200.79	c  200s |      15 |   126941 |    91132 |     4040     32 |        0 |        0
202.83/202.94	c  202s |      15 |   127938 |    92032 |     4040     33 |        0 |        0
205.03/205.19	c  204s |      15 |   128900 |    92932 |     4040     33 |        0 |        0
207.14/207.29	c  207s |      15 |   129943 |    93832 |     4040     33 |        0 |        0
209.43/209.52	c  209s |      15 |   130839 |    94632 |     4040     34 |        0 |        0
211.53/211.68	c  211s |      15 |   131827 |    95532 |     4040     34 |        0 |        0
213.73/213.84	c  213s |      15 |   132876 |    96432 |     4040     34 |        0 |        0
215.93/216.02	c  215s |      15 |   133932 |    97332 |     4040     34 |        0 |        0
218.03/218.19	c  217s |      15 |   134694 |    98032 |     4040     35 |        0 |        0
220.13/220.25	c  220s |      15 |   135600 |    98832 |     4040     35 |        0 |        0
222.43/222.50	c  222s |      15 |   136612 |    99732 |     4040     35 |        0 |        0
224.63/224.72	c  224s |      15 |   137613 |   100632 |     4040     35 |        0 |        0
226.83/226.94	c  226s |      15 |   138401 |   101332 |     4040     36 |        0 |        0
229.13/229.20	c  228s |      15 |   139425 |   102232 |     4040     36 |        0 |        0
231.33/231.40	c  231s |      15 |   140320 |   103032 |     4040     36 |        0 |        0
233.53/233.61	c  233s |      15 |   141308 |   103932 |     4040     36 |        0 |        0
235.63/235.79	c  235s |      15 |   142087 |   104632 |     4040     37 |        0 |        0
237.93/238.02	c  237s |      15 |   143104 |   105532 |     4040     37 |        0 |        0
239.92/240.04	c  239s |      15 |   143970 |   106332 |     4040     37 |        0 |        0
242.03/242.14	c  241s |      15 |   144854 |   107132 |     4040     37 |        0 |        0
244.42/244.51	c  244s |      15 |   145738 |   107932 |     4040     38 |        0 |        0
246.44/246.52	c  246s |      15 |   146613 |   108732 |     4040     38 |        0 |        0
248.63/248.74	c  248s |      15 |   147469 |   109532 |     4040     38 |        0 |        0
250.73/250.85	c  250s |      15 |   148335 |   110332 |     4040     38 |        0 |        0
252.73/252.89	c  252s |      15 |   149230 |   111132 |     4040     38 |        0 |        0
254.93/255.07	c  254s |      15 |   150122 |   111932 |     4040     39 |        0 |        0
257.02/257.19	c  256s |      15 |   151002 |   112732 |     4040     39 |        0 |        0
259.32/259.48	c  259s |      15 |   151844 |   113532 |     4040     39 |        0 |        0
261.62/261.71	c  261s |      15 |   152717 |   114332 |     4040     39 |        0 |        0
263.82/263.90	c  263s |      15 |   153580 |   115132 |     4040     40 |        0 |        0
265.82/265.98	c  265s |      15 |   154460 |   115932 |     4040     40 |        0 |        0
267.92/268.00	c  267s |      15 |   155754 |   117032 |     4040     40 |        0 |        0
270.02/270.11	c  269s |      15 |   156627 |   117832 |     4040     40 |        0 |        0
272.22/272.38	c  272s |      15 |   157482 |   118632 |     4040     41 |        0 |        0
274.22/274.39	c  274s |      15 |   158350 |   119432 |     4040     41 |        0 |        0
276.21/276.39	c  276s |      15 |   159158 |   120132 |     4040     41 |        0 |        0
278.41/278.53	c  278s |      15 |   160078 |   120932 |     4040     41 |        0 |        0
280.61/280.70	c  280s |      15 |   160833 |   121632 |     4040     42 |        0 |        0
282.72/282.82	c  282s |      15 |   161701 |   122432 |     4040     42 |        0 |        0
284.71/284.88	c  284s |      15 |   162453 |   123132 |     4040     42 |        0 |        0
287.02/287.20	c  286s |      15 |   163336 |   123932 |     4040     42 |        0 |        0
289.51/289.67	c  289s |      15 |   164092 |   124632 |     4040     43 |        0 |        0
291.52/291.69	c  291s |      15 |   164854 |   125332 |     4040     43 |        0 |        0
293.61/293.72	c  293s |      15 |   165729 |   126132 |     4040     43 |        0 |        0
295.71/295.86	c  295s |      15 |   166515 |   126832 |     4040     43 |        0 |        0
297.81/297.96	c  297s |      15 |   167268 |   127532 |     4040     43 |        0 |        0
300.01/300.19	c  299s |      15 |   167952 |   128132 |     4040     44 |        0 |        0
302.11/302.25	c  302s |      15 |   168833 |   128932 |     4040     44 |        0 |        0
304.41/304.52	c  304s |      15 |   169681 |   129732 |     4040     44 |        0 |        0
306.51/306.63	c  306s |      15 |   170432 |   130432 |     4040     44 |        0 |        0
308.71/308.80	c  308s |      15 |   171201 |   131132 |     4444     44 |        0 |        0
309.90/310.01	c  309s |      16 |   171666 |   131552 |     4444     44 |        0 |        0
311.90/312.02	c  311s |      16 |   174847 |   132652 |     4444     45 |        0 |        0
314.00/314.14	c  313s |      16 |   176157 |   133852 |     4444     45 |        0 |        0
316.10/316.24	c  316s |      16 |   177389 |   134952 |     4444     45 |        0 |        0
318.10/318.25	c  318s |      16 |   178299 |   135752 |     4444     46 |        0 |        0
320.21/320.37	c  320s |      16 |   179314 |   136652 |     4444     46 |        0 |        0
322.41/322.51	c  322s |      16 |   180322 |   137552 |     4444     46 |        0 |        0
324.51/324.69	c  324s |      16 |   181357 |   138452 |     4444     46 |        0 |        0
326.71/326.84	c  326s |      16 |   182271 |   139252 |     4444     47 |        0 |        0
328.81/328.99	c  328s |      16 |   183257 |   140152 |     4444     47 |        0 |        0
330.80/330.99	c  330s |      16 |   184158 |   140952 |     4444     47 |        0 |        0
333.00/333.19	c  332s |      16 |   185204 |   141852 |     4444     47 |        0 |        0
335.30/335.43	c  335s |      16 |   186094 |   142652 |     4444     48 |        0 |        0
337.50/337.62	c  337s |      16 |   187024 |   143452 |     4444     48 |        0 |        0
339.60/339.72	c  339s |      16 |   187894 |   144252 |     4444     48 |        0 |        0
341.70/341.89	c  341s |      16 |   188749 |   145052 |     4444     48 |        0 |        0
343.80/343.99	c  343s |      16 |   189537 |   145752 |     4444     49 |        0 |        0
345.90/346.03	c  345s |      16 |   190434 |   146552 |     4444     49 |        0 |        0
348.10/348.25	c  348s |      16 |   191431 |   147452 |     4444     49 |        0 |        0
350.20/350.33	c  350s |      16 |   192342 |   148252 |     4444     49 |        0 |        0
352.50/352.67	c  352s |      16 |   193369 |   149152 |     4444     50 |        0 |        0
354.60/354.70	c  354s |      16 |   194386 |   150052 |     4444     50 |        0 |        0
356.80/356.91	c  356s |      16 |   195399 |   150952 |     4444     50 |        0 |        0
358.79/358.91	c  358s |      16 |   196277 |   151752 |     4444     50 |        0 |        0
360.81/360.94	c  360s |      16 |   197164 |   152552 |     4444     50 |        0 |        0
362.91/363.01	c  362s |      16 |   197920 |   153252 |     4444     51 |        0 |        0
365.11/365.24	c  365s |      16 |   198804 |   154052 |     4444     51 |        0 |        0
367.31/367.45	c  367s |      16 |   199694 |   154852 |     4444     51 |        0 |        0
369.40/369.50	c  369s |      16 |   200465 |   155552 |     4444     51 |        0 |        0
371.70/371.90	c  371s |      16 |   201232 |   156252 |     4444     52 |        0 |        0
373.79/373.94	c  373s |      16 |   202010 |   156952 |     4444     52 |        0 |        0
375.89/376.03	c  375s |      16 |   202897 |   157752 |     4444     52 |        0 |        0
377.89/378.04	c  377s |      16 |   203658 |   158452 |     4444     52 |        0 |        0
379.99/380.19	c  379s |      16 |   204315 |   159052 |     4444     52 |        0 |        0
382.18/382.32	c  382s |      16 |   205244 |   159852 |     4444     53 |        0 |        0
384.39/384.50	c  384s |      16 |   206279 |   160752 |     4444     53 |        0 |        0
386.39/386.57	c  386s |      16 |   207196 |   161552 |     4444     53 |        0 |        0
388.49/388.62	c  388s |      16 |   207973 |   162252 |     4444     53 |        0 |        0
390.68/390.82	c  390s |      16 |   208758 |   162952 |     4444     53 |        0 |        0
392.78/392.97	c  392s |      16 |   209518 |   163652 |     4444     54 |        0 |        0
394.98/395.14	c  394s |      16 |   210534 |   164552 |     4444     54 |        0 |        0
397.09/397.24	c  397s |      16 |   211413 |   165352 |     4444     54 |        0 |        0
399.38/399.54	c  399s |      16 |   212294 |   166152 |     4444     54 |        0 |        0
401.69/401.81	c  401s |      16 |   213054 |   166852 |     4444     55 |        0 |        0
403.69/403.88	c  403s |      16 |   213814 |   167552 |     4444     55 |        0 |        0
405.79/406.00	c  405s |      16 |   214921 |   168552 |     4444     55 |        0 |        0
407.88/408.04	c  407s |      16 |   215819 |   169352 |     4444     55 |        0 |        0
410.08/410.22	c  410s |      16 |   216712 |   170152 |     4444     55 |        0 |        0
412.18/412.35	c  412s |      16 |   217481 |   170852 |     4444     56 |        0 |        0
414.38/414.53	c  414s |      16 |   218358 |   171652 |     4444     56 |        0 |        0
416.38/416.55	c  416s |      16 |   219134 |   172352 |     4444     56 |        0 |        0
418.48/418.69	c  418s |      16 |   219901 |   173052 |     4444     56 |        0 |        0
420.79/420.92	c  420s |      16 |   220646 |   173752 |     4444     56 |        0 |        0
423.08/423.20	c  422s |      16 |   221395 |   174452 |     4444     57 |        0 |        0
425.18/425.35	c  425s |      16 |   222255 |   175252 |     4444     57 |        0 |        0
427.18/427.37	c  427s |      16 |   223015 |   175952 |     4444     57 |        0 |        0
429.18/429.38	c  429s |      16 |   223772 |   176652 |     4444     57 |        0 |        0
431.38/431.54	c  431s |      16 |   224626 |   177452 |     4444     58 |        0 |        0
433.57/433.77	c  433s |      16 |   225599 |   178352 |     4444     58 |        0 |        0
435.78/435.97	c  435s |      16 |   226472 |   179152 |     4444     58 |        0 |        0
437.98/438.10	c  437s |      16 |   227320 |   179952 |     4444     58 |        0 |        0
440.18/440.32	c  440s |      16 |   228224 |   180752 |     4444     58 |        0 |        0
442.27/442.49	c  442s |      16 |   228973 |   181452 |     4444     59 |        0 |        0
444.47/444.66	c  444s |      16 |   229841 |   182252 |     4444     59 |        0 |        0
446.48/446.67	c  446s |      16 |   230593 |   182952 |     4444     59 |        0 |        0
448.67/448.80	c  448s |      16 |   231494 |   183752 |     4444     59 |        0 |        0
450.67/450.85	c  450s |      16 |   232400 |   184552 |     4444     60 |        0 |        0
452.77/452.91	c  452s |      16 |   233384 |   185452 |     4444     60 |        0 |        0
454.87/455.00	c  454s |      16 |   234269 |   186252 |     4444     60 |        0 |        0
457.07/457.26	c  457s |      16 |   235144 |   187052 |     4444     60 |        0 |        0
459.16/459.30	c  459s |      16 |   235908 |   187752 |     4444     60 |        0 |        0
461.16/461.34	c  461s |      16 |   236561 |   188352 |     4444     61 |        0 |        0
463.26/463.48	c  463s |      16 |   237480 |   189152 |     4444     61 |        0 |        0
465.56/465.70	c  465s |      16 |   238370 |   189952 |     4444     61 |        0 |        0
467.55/467.76	c  467s |      16 |   239149 |   190652 |     4444     61 |        0 |        0
469.57/469.78	c  469s |      16 |   239929 |   191352 |     4444     61 |        0 |        0
471.87/472.01	c  471s |      16 |   240707 |   192052 |     4444     62 |        0 |        0
474.07/474.23	c  474s |      16 |   241603 |   192852 |     4444     62 |        0 |        0
476.16/476.36	c  476s |      16 |   242485 |   193652 |     4444     62 |        0 |        0
478.35/478.59	c  478s |      16 |   243382 |   194452 |     4444     62 |        0 |        0
480.55/480.73	c  480s |      16 |   244143 |   195152 |     4444     63 |        0 |        0
482.75/482.99	c  482s |      16 |   245122 |   196052 |     4889     63 |        0 |        0
484.84/485.06	c  484s |      16 |   245981 |   196852 |     4889     63 |        0 |        0
486.45/486.69	c  486s |      17 |   246602 |   197432 |     4889     63 |        0 |        0
488.55/488.72	c  488s |      17 |   249245 |   198532 |     4889     64 |        0 |        0
490.55/490.76	c  490s |      17 |   250536 |   199632 |     4889     64 |        0 |        0
492.75/492.92	c  492s |      17 |   251734 |   200632 |     4889     64 |        0 |        0
494.74/494.94	c  494s |      17 |   252905 |   201632 |     4889     64 |        0 |        0
496.94/497.17	c  496s |      17 |   253803 |   202432 |     4889     65 |        0 |        0
499.13/499.40	c  499s |      17 |   254687 |   203232 |     4889     65 |        0 |        0
501.34/501.60	c  501s |      17 |   255478 |   203932 |     4889     65 |        0 |        0
503.44/503.63	c  503s |      17 |   256386 |   204732 |     4889     65 |        0 |        0
505.64/505.86	c  505s |      17 |   257270 |   205532 |     4889     65 |        0 |        0
507.83/508.09	c  507s |      17 |   258066 |   206232 |     4889     66 |        0 |        0
509.83/510.09	c  509s |      17 |   258995 |   207032 |     4889     66 |        0 |        0
511.93/512.18	c  511s |      17 |   259938 |   207832 |     4889     66 |        0 |        0
514.23/514.40	c  514s |      17 |   260912 |   208632 |     4889     66 |        0 |        0
516.33/516.53	c  516s |      17 |   261681 |   209332 |     4889     66 |        0 |        0
518.42/518.66	c  518s |      17 |   262454 |   210032 |     4889     67 |        0 |        0
520.72/520.90	c  520s |      17 |   263371 |   210832 |     4889     67 |        0 |        0
522.82/523.08	c  522s |      17 |   264306 |   211632 |     4889     67 |        0 |        0
525.03/525.20	c  524s |      17 |   265088 |   212332 |     4889     67 |        0 |        0
527.23/527.43	c  527s |      17 |   265841 |   213032 |     4889     67 |        0 |        0
529.32/529.52	c  529s |      17 |   266644 |   213732 |     4889     68 |        0 |        0
531.42/531.61	c  531s |      17 |   267720 |   214632 |     4889     68 |        0 |        0
533.51/533.72	c  533s |      17 |   268669 |   215432 |     4889     68 |        0 |        0
535.53/535.75	c  535s |      17 |   269427 |   216132 |     4889     68 |        0 |        0
537.61/537.88	c  537s |      17 |   270237 |   216832 |     4889     68 |        0 |        0
539.81/540.02	c  539s |      17 |   271049 |   217532 |     4889     69 |        0 |        0
541.81/542.07	c  541s |      17 |   271837 |   218232 |     4889     69 |        0 |        0
544.11/544.35	c  544s |      17 |   272617 |   218932 |     4889     69 |        0 |        0
546.11/546.35	c  546s |      17 |   273277 |   219532 |     4889     69 |        0 |        0
548.20/548.44	c  548s |      17 |   274113 |   220232 |     4889     69 |        0 |        0
550.40/550.60	c  550s |      17 |   274809 |   220832 |     4889     70 |        0 |        0
552.50/552.72	c  552s |      17 |   275716 |   221632 |     4889     70 |        0 |        0
554.61/554.81	c  554s |      17 |   276466 |   222332 |     4889     70 |        0 |        0
556.81/557.01	c  556s |      17 |   277253 |   223032 |     4889     70 |        0 |        0
558.80/559.03	c  558s |      17 |   277951 |   223632 |     4889     70 |        0 |        0
560.91/561.19	c  560s |      17 |   278794 |   224332 |     4889     70 |        0 |        0
563.20/563.46	c  563s |      17 |   279555 |   225032 |     4889     71 |        0 |        0
565.31/565.52	c  565s |      17 |   280343 |   225732 |     4889     71 |        0 |        0
567.29/567.57	c  567s |      17 |   280993 |   226332 |     4889     71 |        0 |        0
569.60/569.84	c  569s |      17 |   281726 |   226932 |     4889     71 |        0 |        0
572.00/572.22	c  572s |      17 |   282349 |   227532 |     4889     71 |        0 |        0
574.19/574.46	c  574s |      17 |   282966 |   228032 |     4889     71 |        0 |        0
576.49/576.72	c  576s |      17 |   283544 |   228532 |     4889     72 |        0 |        0
578.59/578.85	c  578s |      17 |   284139 |   229032 |     4889     72 |        0 |        0
580.69/580.91	c  580s |      17 |   284687 |   229532 |     4889     72 |        0 |        0
582.90/583.12	c  582s |      17 |   285307 |   230032 |     4889     72 |        0 |        0
585.29/585.52	c  585s |      17 |   285868 |   230532 |     4889     72 |        0 |        0
587.29/587.59	c  587s |      17 |   286659 |   231232 |     4889     72 |        0 |        0
589.49/589.73	c  589s |      17 |   287328 |   231832 |     4889     72 |        0 |        0
591.48/591.74	c  591s |      17 |   288008 |   232432 |     4889     73 |        0 |        0
593.48/593.78	c  593s |      17 |   288912 |   233232 |     4889     73 |        0 |        0
595.68/595.91	c  595s |      17 |   289815 |   234032 |     4889     73 |        0 |        0
597.97/598.22	c  598s |      17 |   290579 |   234732 |     4889     73 |        0 |        0
600.27/600.53	c  600s |      17 |   291366 |   235432 |     4889     73 |        0 |        0
602.28/602.58	c  602s |      17 |   292073 |   236032 |     4889     74 |        0 |        0
604.28/604.59	c  604s |      17 |   292872 |   236732 |     4889     74 |        0 |        0
606.57/606.85	c  606s |      17 |   293642 |   237432 |     4889     74 |        0 |        0
608.77/609.00	c  608s |      17 |   294324 |   238032 |     4889     74 |        0 |        0
610.87/611.11	c  610s |      17 |   295103 |   238732 |     4889     74 |        0 |        0
613.16/613.49	c  613s |      17 |   295870 |   239432 |     4889     75 |        0 |        0
615.27/615.54	c  615s |      17 |   296659 |   240132 |     4889     75 |        0 |        0
617.56/617.80	c  617s |      17 |   297557 |   240932 |     4889     75 |        0 |        0
619.76/620.00	c  619s |      17 |   298307 |   241632 |     4889     75 |        0 |        0
622.06/622.31	c  622s |      17 |   299048 |   242332 |     4889     75 |        0 |        0
624.06/624.38	c  624s |      17 |   299692 |   242932 |     4889     75 |        0 |        0
626.26/626.55	c  626s |      17 |   300345 |   243532 |     4889     76 |        0 |        0
628.46/628.79	c  628s |      17 |   301258 |   244332 |     4889     76 |        0 |        0
630.55/630.82	c  630s |      17 |   301918 |   244932 |     4889     76 |        0 |        0
632.85/633.12	c  632s |      17 |   302728 |   245632 |     4889     76 |        0 |        0
634.95/635.22	c  635s |      17 |   303376 |   246232 |     4889     76 |        0 |        0
637.35/637.67	c  637s |      17 |   304028 |   246832 |     4889     77 |        0 |        0
639.45/639.78	c  639s |      17 |   304805 |   247532 |     4889     77 |        0 |        0
641.55/641.81	c  641s |      17 |   305464 |   248132 |     4889     77 |        0 |        0
643.55/643.85	c  643s |      17 |   306125 |   248732 |     4889     77 |        0 |        0
645.56/645.87	c  645s |      17 |   306811 |   249332 |     4889     77 |        0 |        0
647.65/647.95	c  647s |      17 |   307472 |   249932 |     4889     77 |        0 |        0
649.74/650.02	c  649s |      17 |   308167 |   250532 |     4889     77 |        0 |        0
651.84/652.18	c  651s |      17 |   308708 |   251032 |     4889     78 |        0 |        0
653.95/654.20	c  653s |      17 |   309374 |   251632 |     4889     78 |        0 |        0
656.15/656.49	c  656s |      17 |   310306 |   252432 |     4889     78 |        0 |        0
658.44/658.74	c  658s |      17 |   311133 |   253132 |     4889     78 |        0 |        0
660.64/660.91	c  660s |      17 |   312023 |   253932 |     4889     78 |        0 |        0
662.74/663.03	c  662s |      17 |   312791 |   254632 |     4889     79 |        0 |        0
664.74/665.06	c  664s |      17 |   313674 |   255432 |     4889     79 |        0 |        0
666.83/667.14	c  666s |      17 |   314590 |   256232 |     4889     79 |        0 |        0
668.83/669.19	c  668s |      17 |   315516 |   257032 |     4889     79 |        0 |        0
671.13/671.44	c  671s |      17 |   316408 |   257832 |     4889     79 |        0 |        0
673.33/673.67	c  673s |      17 |   317308 |   258632 |     4889     80 |        0 |        0
675.43/675.78	c  675s |      17 |   318216 |   259432 |     4889     80 |        0 |        0
677.72/678.01	c  677s |      17 |   319001 |   260132 |     4889     80 |        0 |        0
679.83/680.12	c  679s |      17 |   319806 |   260832 |     4889     80 |        0 |        0
681.83/682.17	c  681s |      17 |   320602 |   261532 |     4889     80 |        0 |        0
684.03/684.33	c  684s |      17 |   321454 |   262232 |     4889     81 |        0 |        0
686.02/686.36	c  686s |      17 |   322249 |   262932 |     4889     81 |        0 |        0
688.32/688.63	c  688s |      17 |   323189 |   263732 |     4889     81 |        0 |        0
690.63/690.91	c  690s |      17 |   323979 |   264432 |     4889     81 |        0 |        0
692.61/692.99	c  692s |      17 |   324652 |   265032 |     4889     81 |        0 |        0
694.81/695.17	c  694s |      17 |   325332 |   265632 |     4889     82 |        0 |        0
697.13/697.46	c  697s |      17 |   326111 |   266332 |     4889     82 |        0 |        0
699.32/699.68	c  699s |      17 |   326885 |   267032 |     4889     82 |        0 |        0
701.41/701.80	c  701s |      17 |   327571 |   267632 |     4889     82 |        0 |        0
703.71/704.00	c  703s |      17 |   328464 |   268432 |     4889     82 |        0 |        0
706.11/706.40	c  706s |      17 |   329385 |   269232 |     4889     83 |        0 |        0
708.21/708.59	c  708s |      17 |   330303 |   270032 |     4889     83 |        0 |        0
710.21/710.60	c  710s |      17 |   331113 |   270732 |     4889     83 |        0 |        0
712.30/712.68	c  712s |      17 |   331765 |   271332 |     4889     83 |        0 |        0
714.40/714.73	c  714s |      17 |   332450 |   271932 |     4889     83 |        0 |        0
716.50/716.81	c  716s |      17 |   333216 |   272632 |     4889     83 |        0 |        0
718.50/718.89	c  718s |      17 |   333884 |   273232 |     4889     84 |        0 |        0
720.90/721.20	c  720s |      17 |   334663 |   273932 |     4889     84 |        0 |        0
723.00/723.38	c  723s |      17 |   335600 |   274732 |     4889     84 |        0 |        0
725.19/725.55	c  725s |      17 |   336379 |   275432 |     4889     84 |        0 |        0
727.39/727.76	c  727s |      17 |   337147 |   276132 |     4889     84 |        0 |        0
729.59/729.90	c  729s |      17 |   337830 |   276732 |     4889     85 |        0 |        0
731.80/732.15	c  731s |      17 |   338836 |   277632 |     4889     85 |        0 |        0
733.99/734.34	c  734s |      17 |   339747 |   278432 |     4889     85 |        0 |        0
736.19/736.58	c  736s |      17 |   340513 |   279132 |     4889     85 |        0 |        0
738.40/738.77	c  738s |      17 |   341285 |   279832 |     4889     85 |        0 |        0
740.50/740.81	c  740s |      17 |   341959 |   280432 |     4889     85 |        0 |        0
742.69/743.00	c  742s |      17 |   342641 |   281032 |     4889     86 |        0 |        0
744.69/745.04	c  744s |      17 |   343336 |   281632 |     4889     86 |        0 |        0
746.89/747.21	c  746s |      17 |   344136 |   282332 |     4889     86 |        0 |        0
748.89/749.28	c  749s |      17 |   344798 |   282932 |     4889     86 |        0 |        0
751.19/751.52	c  751s |      17 |   345782 |   283732 |     4889     86 |        0 |        0
753.30/753.69	c  753s |      17 |   346451 |   284332 |     4889     87 |        0 |        0
755.50/755.88	c  755s |      17 |   347464 |   285232 |     4889     87 |        0 |        0
757.79/758.12	c  757s |      17 |   348414 |   286032 |     4889     87 |        0 |        0
759.89/760.29	c  760s |      17 |   349175 |   286732 |     4889     87 |        0 |        0
762.18/762.51	c  762s |      17 |   349965 |   287432 |     4889     87 |        0 |        0
764.19/764.57	c  764s |      17 |   350610 |   288032 |     4889     88 |        0 |        0
766.19/766.58	c  766s |      17 |   351259 |   288632 |     4889     88 |        0 |        0
768.29/768.63	c  768s |      17 |   351916 |   289232 |     4889     88 |        0 |        0
770.39/770.73	c  770s |      17 |   352563 |   289832 |     4889     88 |        0 |        0
772.48/772.81	c  772s |      17 |   353214 |   290432 |     4889     88 |        0 |        0
774.48/774.88	c  774s |      17 |   353879 |   291032 |     4889     88 |        0 |        0
776.68/777.03	c  776s |      17 |   354531 |   291632 |     4889     88 |        0 |        0
778.89/779.25	c  779s |      17 |   355445 |   292432 |     4889     89 |        0 |        0
780.99/781.34	c  781s |      17 |   356358 |   293232 |     4889     89 |        0 |        0
783.09/783.43	c  783s |      17 |   357270 |   294032 |     4889     89 |        0 |        0
785.09/785.44	c  785s |      17 |   358053 |   294732 |     5378     89 |        0 |        0
787.29/787.61	c  787s |      17 |   358912 |   295432 |     5378     89 |        0 |        0
789.38/789.71	c  789s |      17 |   359634 |   296032 |     5378     90 |        0 |        0
789.88/790.29	c  790s |      18 |   359899 |   296252 |     5378     90 |        0 |        0
791.98/792.36	c  792s |      18 |   362779 |   297452 |     5378     90 |        0 |        0
794.08/794.42	c  794s |      18 |   364025 |   298552 |     5378     90 |        0 |        0
796.09/796.48	c  796s |      18 |   365112 |   299552 |     5378     90 |        0 |        0
798.19/798.53	c  798s |      18 |   366126 |   300452 |     5378     91 |        0 |        0
800.29/800.62	c  800s |      18 |   367122 |   301352 |     5378     91 |        0 |        0
802.49/802.87	c  802s |      18 |   368091 |   302252 |     5378     91 |        0 |        0
804.58/804.95	c  804s |      18 |   369133 |   303152 |     5378     91 |        0 |        0
806.78/807.11	c  806s |      18 |   370017 |   303952 |     5378     92 |        0 |        0
808.78/809.16	c  808s |      18 |   370885 |   304752 |     5378     92 |        0 |        0
810.98/811.34	c  811s |      18 |   371895 |   305652 |     5378     92 |        0 |        0
813.08/813.43	c  813s |      18 |   372763 |   306452 |     5378     92 |        0 |        0
815.28/815.61	c  815s |      18 |   373773 |   307352 |     5378     92 |        0 |        0
817.48/817.84	c  817s |      18 |   374679 |   308152 |     5378     93 |        0 |        0
819.68/820.02	c  819s |      18 |   375571 |   308952 |     5378     93 |        0 |        0
821.88/822.28	c  822s |      18 |   376554 |   309852 |     5378     93 |        0 |        0
824.08/824.45	c  824s |      18 |   377428 |   310652 |     5378     93 |        0 |        0
826.28/826.66	c  826s |      18 |   378331 |   311452 |     5378     93 |        0 |        0
828.57/828.94	c  828s |      18 |   379077 |   312152 |     5378     94 |        0 |        0
830.78/831.18	c  830s |      18 |   379956 |   312952 |     5378     94 |        0 |        0
832.88/833.25	c  833s |      18 |   380856 |   313752 |     5378     94 |        0 |        0
835.18/835.51	c  835s |      18 |   381851 |   314652 |     5378     94 |        0 |        0
837.18/837.59	c  837s |      18 |   382622 |   315352 |     5378     94 |        0 |        0
839.48/839.83	c  839s |      18 |   383373 |   316052 |     5378     95 |        0 |        0
841.67/842.03	c  841s |      18 |   384270 |   316852 |     5378     95 |        0 |        0
843.87/844.21	c  844s |      18 |   385260 |   317752 |     5378     95 |        0 |        0
845.87/846.23	c  846s |      18 |   386157 |   318552 |     5378     95 |        0 |        0
848.08/848.48	c  848s |      18 |   387032 |   319352 |     5378     95 |        0 |        0
850.28/850.66	c  850s |      18 |   387810 |   320052 |     5378     96 |        0 |        0
852.38/852.73	c  852s |      18 |   388804 |   320952 |     5378     96 |        0 |        0
854.48/854.81	c  854s |      18 |   389825 |   321852 |     5378     96 |        0 |        0
856.47/856.82	c  856s |      18 |   390676 |   322652 |     5378     96 |        0 |        0
858.57/858.90	c  858s |      18 |   391556 |   323452 |     5378     96 |        0 |        0
860.57/860.98	c  860s |      18 |   392366 |   324152 |     5378     97 |        0 |        0
862.77/863.14	c  862s |      18 |   393262 |   324952 |     5378     97 |        0 |        0
864.97/865.39	c  865s |      18 |   394137 |   325752 |     5378     97 |        0 |        0
867.08/867.42	c  867s |      18 |   394959 |   326452 |     5378     97 |        0 |        0
869.18/869.55	c  869s |      18 |   395726 |   327152 |     5378     97 |        0 |        0
871.17/871.56	c  871s |      18 |   396395 |   327752 |     5378     98 |        0 |        0
873.27/873.65	c  873s |      18 |   397398 |   328652 |     5378     98 |        0 |        0
875.57/875.90	c  875s |      18 |   398415 |   329552 |     5378     98 |        0 |        0
877.67/878.00	c  877s |      18 |   399296 |   330352 |     5378     98 |        0 |        0
879.77/880.11	c  879s |      18 |   400194 |   331152 |     5378     98 |        0 |        0
881.88/882.27	c  882s |      18 |   400826 |   331752 |     5378     99 |        0 |        0
883.97/884.30	c  884s |      18 |   401566 |   332452 |     5378     99 |        0 |        0
886.17/886.53	c  886s |      18 |   402331 |   333152 |     5378     99 |        0 |        0
888.47/888.81	c  888s |      18 |   403133 |   333852 |     5378     99 |        0 |        0
890.78/891.12	c  890s |      18 |   403916 |   334552 |     5378     99 |        0 |        0
892.98/893.33	c  893s |      18 |   404596 |   335152 |     5378     99 |        0 |        0
895.37/895.77	c  895s |      18 |   405259 |   335752 |     5378    100 |        0 |        0
897.77/898.10	c  897s |      18 |   405944 |   336352 |     5378    100 |        0 |        0
899.86/900.29	c  900s |      18 |   406631 |   336952 |     5378    100 |        0 |        0
902.06/902.47	c  902s |      18 |   407313 |   337552 |     5378    100 |        0 |        0
904.47/904.88	c  904s |      18 |   408010 |   338152 |     5378    100 |        0 |        0
906.67/907.07	c  906s |      18 |   408595 |   338652 |     5378    100 |        0 |        0
908.97/909.34	c  909s |      18 |   409126 |   339152 |     5378    100 |        0 |        0
911.68/912.03	c  911s |      18 |   409683 |   339652 |     5378    101 |        0 |        0
913.77/914.16	c  913s |      18 |   410234 |   340152 |     5378    101 |        0 |        0
915.77/916.19	c  915s |      18 |   411305 |   341052 |     5378    101 |        0 |        0
917.96/918.31	c  918s |      18 |   412213 |   341852 |     5378    101 |        0 |        0
920.16/920.54	c  920s |      18 |   413298 |   342752 |     5378    101 |        0 |        0
922.37/922.77	c  922s |      18 |   414207 |   343552 |     5378    101 |        0 |        0
924.47/924.83	c  924s |      18 |   414886 |   344152 |     5378    102 |        0 |        0
926.66/927.00	c  926s |      18 |   415667 |   344852 |     5378    102 |        0 |        0
928.76/929.10	c  928s |      18 |   416671 |   345752 |     5378    102 |        0 |        0
930.76/931.12	c  930s |      18 |   417540 |   346552 |     5378    102 |        0 |        0
932.86/933.22	c  933s |      18 |   418431 |   347352 |     5378    102 |        0 |        0
934.86/935.27	c  935s |      18 |   419202 |   348052 |     5378    103 |        0 |        0
936.87/937.30	c  937s |      18 |   420082 |   348852 |     5378    103 |        0 |        0
939.17/939.51	c  939s |      18 |   420975 |   349652 |     5378    103 |        0 |        0
941.37/941.73	c  941s |      18 |   421871 |   350452 |     5378    103 |        0 |        0
943.36/943.74	c  943s |      18 |   422671 |   351152 |     5378    103 |        0 |        0
945.36/945.77	c  945s |      18 |   423359 |   351752 |     5378    104 |        0 |        0
947.46/947.87	c  947s |      18 |   424167 |   352452 |     5378    104 |        0 |        0
949.66/950.01	c  949s |      18 |   425248 |   353352 |     5378    104 |        0 |        0
951.76/952.17	c  951s |      18 |   426154 |   354152 |     5378    104 |        0 |        0
953.75/954.18	c  953s |      18 |   427096 |   354952 |     5378    104 |        0 |        0
955.86/956.25	c  956s |      18 |   427873 |   355652 |     5378    104 |        0 |        0
958.06/958.40	c  958s |      18 |   428638 |   356352 |     5378    105 |        0 |        0
960.36/960.72	c  960s |      18 |   429519 |   357152 |     5378    105 |        0 |        0
962.35/962.78	c  962s |      18 |   430297 |   357852 |     5378    105 |        0 |        0
964.65/965.01	c  964s |      18 |   431238 |   358652 |     5378    105 |        0 |        0
966.85/967.20	c  966s |      18 |   432156 |   359452 |     5378    105 |        0 |        0
968.95/969.39	c  969s |      18 |   432947 |   360152 |     5378    106 |        0 |        0
971.16/971.57	c  971s |      18 |   433840 |   360952 |     5378    106 |        0 |        0
973.27/973.62	c  973s |      18 |   434763 |   361752 |     5378    106 |        0 |        0
975.46/975.85	c  975s |      18 |   435689 |   362552 |     5378    106 |        0 |        0
977.46/977.88	c  977s |      18 |   436489 |   363252 |     5378    106 |        0 |        0
979.55/979.93	c  979s |      18 |   437179 |   363852 |     5378    107 |        0 |        0
981.85/982.23	c  982s |      18 |   438098 |   364652 |     5378    107 |        0 |        0
983.86/984.26	c  984s |      18 |   438866 |   365352 |     5378    107 |        0 |        0
985.96/986.37	c  986s |      18 |   439620 |   366052 |     5378    107 |        0 |        0
988.25/988.65	c  988s |      18 |   440528 |   366852 |     5378    107 |        0 |        0
990.45/990.85	c  990s |      18 |   441280 |   367552 |     5378    107 |        0 |        0
992.45/992.87	c  992s |      18 |   441985 |   368152 |     5378    108 |        0 |        0
994.55/994.92	c  994s |      18 |   442769 |   368852 |     5378    108 |        0 |        0
996.55/996.94	c  996s |      18 |   443586 |   369552 |     5378    108 |        0 |        0
998.75/999.12	c  998s |      18 |   444368 |   370252 |     5378    108 |        0 |        0
1000.85/1001.26	c 1001s |      18 |   445163 |   370952 |     5378    108 |        0 |        0
1003.16/1003.55	c 1003s |      18 |   446021 |   371652 |     5378    109 |        0 |        0
1005.25/1005.68	c 1005s |      18 |   446878 |   372452 |     5378    109 |        0 |        0
1007.45/1007.87	c 1007s |      18 |   447826 |   373252 |     5378    109 |        0 |        0
1009.65/1010.02	c 1009s |      18 |   448737 |   374052 |     5378    109 |        0 |        0
1011.76/1012.11	c 1011s |      18 |   449519 |   374752 |     5378    109 |        0 |        0
1013.96/1014.34	c 1014s |      18 |   450298 |   375452 |     5378    109 |        0 |        0
1016.25/1016.60	c 1016s |      18 |   451084 |   376152 |     5378    110 |        0 |        0
1018.36/1018.74	c 1018s |      18 |   451999 |   376952 |     5378    110 |        0 |        0
1020.45/1020.87	c 1020s |      18 |   452913 |   377752 |     5378    110 |        0 |        0
1022.76/1023.12	c 1022s |      18 |   453813 |   378552 |     5378    110 |        0 |        0
1024.96/1025.31	c 1025s |      18 |   454588 |   379252 |     5378    110 |        0 |        0
1026.95/1027.36	c 1027s |      18 |   455253 |   379852 |     5378    111 |        0 |        0
1029.15/1029.51	c 1029s |      18 |   456030 |   380552 |     5378    111 |        0 |        0
1031.15/1031.58	c 1031s |      18 |   456685 |   381152 |     5378    111 |        0 |        0
1033.25/1033.67	c 1033s |      18 |   457485 |   381852 |     5378    111 |        0 |        0
1035.54/1035.95	c 1035s |      18 |   458375 |   382652 |     5378    111 |        0 |        0
1037.55/1037.98	c 1037s |      18 |   459165 |   383352 |     5378    111 |        0 |        0
1039.65/1040.06	c 1039s |      18 |   459873 |   383952 |     5378    112 |        0 |        0
1041.85/1042.22	c 1042s |      18 |   460663 |   384652 |     5378    112 |        0 |        0
1044.05/1044.43	c 1044s |      18 |   461440 |   385352 |     5378    112 |        0 |        0
1046.05/1046.43	c 1046s |      18 |   462243 |   386052 |     5378    112 |        0 |        0
1048.15/1048.58	c 1048s |      18 |   463009 |   386752 |     5378    112 |        0 |        0
1050.35/1050.70	c 1050s |      18 |   463687 |   387352 |     5378    112 |        0 |        0
1052.55/1052.95	c 1052s |      18 |   464509 |   388052 |     5378    113 |        0 |        0
1054.84/1055.20	c 1054s |      18 |   465415 |   388852 |     5378    113 |        0 |        0
1056.94/1057.37	c 1057s |      18 |   466197 |   389552 |     5378    113 |        0 |        0
1059.14/1059.57	c 1059s |      18 |   466984 |   390252 |     5378    113 |        0 |        0
1061.44/1061.80	c 1061s |      18 |   467761 |   390952 |     5378    113 |        0 |        0
1063.75/1064.12	c 1063s |      18 |   468402 |   391552 |     5378    114 |        0 |        0
1065.94/1066.38	c 1066s |      18 |   469150 |   392252 |     5378    114 |        0 |        0
1068.14/1068.52	c 1068s |      18 |   469945 |   392952 |     5378    114 |        0 |        0
1070.34/1070.75	c 1070s |      18 |   470940 |   393852 |     5378    114 |        0 |        0
1072.44/1072.84	c 1072s |      18 |   471753 |   394552 |     5378    114 |        0 |        0
1074.74/1075.14	c 1074s |      18 |   472505 |   395252 |     5378    114 |        0 |        0
1076.74/1077.19	c 1076s |      18 |   473198 |   395852 |     5378    115 |        0 |        0
1079.14/1079.55	c 1079s |      18 |   474104 |   396652 |     5378    115 |        0 |        0
1081.24/1081.64	c 1081s |      18 |   474760 |   397252 |     5378    115 |        0 |        0
1083.34/1083.78	c 1083s |      18 |   475581 |   397952 |     5378    115 |        0 |        0
1085.45/1085.83	c 1085s |      18 |   476367 |   398652 |     5378    115 |        0 |        0
1087.74/1088.12	c 1087s |      18 |   477165 |   399352 |     5378    115 |        0 |        0
1089.85/1090.22	c 1090s |      18 |   477833 |   399952 |     5378    116 |        0 |        0
1091.84/1092.25	c 1092s |      18 |   478493 |   400552 |     5378    116 |        0 |        0
1094.04/1094.44	c 1094s |      18 |   479610 |   401352 |     5378    116 |        0 |        0
1096.24/1096.69	c 1096s |      18 |   480553 |   402152 |     5378    116 |        0 |        0
1098.55/1098.94	c 1098s |      18 |   481486 |   402952 |     5378    116 |        0 |        0
1100.54/1100.99	c 1100s |      18 |   482159 |   403552 |     5378    117 |        0 |        0
1102.74/1103.11	c 1102s |      18 |   483086 |   404352 |     5378    117 |        0 |        0
1104.83/1105.26	c 1105s |      18 |   483961 |   405152 |     5378    117 |        0 |        0
1106.93/1107.33	c 1107s |      18 |   484744 |   405852 |     5378    117 |        0 |        0
1109.03/1109.50	c 1109s |      18 |   485518 |   406552 |     5378    117 |        0 |        0
1111.14/1111.57	c 1111s |      18 |   486180 |   407152 |     5378    117 |        0 |        0
1113.23/1113.66	c 1113s |      18 |   486745 |   407652 |     5378    118 |        0 |        0
1115.33/1115.74	c 1115s |      18 |   487450 |   408252 |     5378    118 |        0 |        0
1117.43/1117.88	c 1117s |      18 |   488245 |   408952 |     5378    118 |        0 |        0
1119.64/1120.08	c 1119s |      18 |   489125 |   409752 |     5378    118 |        0 |        0
1121.84/1122.28	c 1122s |      18 |   490061 |   410552 |     5378    118 |        0 |        0
1124.03/1124.48	c 1124s |      18 |   490846 |   411252 |     5378    118 |        0 |        0
1126.23/1126.61	c 1126s |      18 |   491525 |   411852 |     5378    119 |        0 |        0
1128.43/1128.81	c 1128s |      18 |   492304 |   412552 |     5378    119 |        0 |        0
1130.73/1131.14	c 1130s |      18 |   493078 |   413252 |     5378    119 |        0 |        0
1132.93/1133.32	c 1133s |      18 |   493732 |   413852 |     5378    119 |        0 |        0
1135.13/1135.51	c 1135s |      18 |   494511 |   414552 |     5378    119 |        0 |        0
1137.23/1137.67	c 1137s |      18 |   495324 |   415252 |     5378    119 |        0 |        0
1139.53/1139.97	c 1139s |      18 |   496003 |   415852 |     5378    120 |        0 |        0
1141.83/1142.27	c 1142s |      18 |   496773 |   416552 |     5378    120 |        0 |        0
1144.13/1144.57	c 1144s |      18 |   497456 |   417152 |     5378    120 |        0 |        0
1146.23/1146.63	c 1146s |      18 |   498281 |   417852 |     5378    120 |        0 |        0
1148.23/1148.69	c 1148s |      18 |   499050 |   418552 |     5378    120 |        0 |        0
1150.43/1150.89	c 1150s |      18 |   499863 |   419252 |     5378    120 |        0 |        0
1152.54/1152.92	c 1152s |      18 |   500518 |   419852 |     5378    121 |        0 |        0
1154.83/1155.20	c 1154s |      18 |   501291 |   420552 |     5378    121 |        0 |        0
1156.94/1157.36	c 1157s |      18 |   502192 |   421352 |     5378    121 |        0 |        0
1158.93/1159.36	c 1159s |      18 |   502850 |   421952 |     5378    121 |        0 |        0
1161.03/1161.42	c 1161s |      18 |   503632 |   422652 |     5378    121 |        0 |        0
1163.33/1163.78	c 1163s |      18 |   504455 |   423352 |     5378    122 |        0 |        0
1165.63/1166.04	c 1165s |      18 |   505331 |   424152 |     5378    122 |        0 |        0
1167.93/1168.31	c 1168s |      18 |   506109 |   424852 |     5378    122 |        0 |        0
1170.04/1170.47	c 1170s |      18 |   506908 |   425552 |     5378    122 |        0 |        0
1172.33/1172.76	c 1172s |      18 |   507555 |   426152 |     5378    122 |        0 |        0
1174.62/1175.00	c 1174s |      18 |   508337 |   426852 |     5378    122 |        0 |        0
1176.82/1177.22	c 1177s |      18 |   508992 |   427452 |     5378    123 |        0 |        0
1179.02/1179.47	c 1179s |      18 |   510009 |   428352 |     5378    123 |        0 |        0
1181.22/1181.60	c 1181s |      18 |   510919 |   429152 |     5378    123 |        0 |        0
1183.42/1183.86	c 1183s |      18 |   511818 |   429952 |     5378    123 |        0 |        0
1185.54/1185.97	c 1185s |      18 |   512606 |   430652 |     5378    123 |        0 |        0
1188.13/1188.57	c 1188s |      18 |   513407 |   431352 |     5378    124 |        0 |        0
1190.42/1190.83	c 1190s |      18 |   514209 |   432052 |     5378    124 |        0 |        0
1192.72/1193.13	c 1192s |      18 |   514976 |   432752 |     5378    124 |        0 |        0
1194.92/1195.33	c 1195s |      18 |   515635 |   433352 |     5378    124 |        0 |        0
1196.92/1197.36	c 1197s |      18 |   516298 |   433952 |     5378    124 |        0 |        0
1199.12/1199.54	c 1199s |      18 |   516927 |   434552 |     5378    124 |        0 |        0
1201.22/1201.66	c 1201s |      18 |   517590 |   435152 |     5378    124 |        0 |        0
1203.32/1203.73	c 1203s |      18 |   518537 |   435952 |     5378    125 |        0 |        0
1205.42/1205.80	c 1205s |      18 |   519432 |   436752 |     5378    125 |        0 |        0
1207.42/1207.90	c 1207s |      18 |   520225 |   437452 |     5378    125 |        0 |        0
1209.52/1209.98	c 1209s |      18 |   521254 |   438352 |     5378    125 |        0 |        0
1211.83/1212.27	c 1212s |      18 |   522136 |   439152 |     5378    125 |        0 |        0
1213.82/1214.30	c 1214s |      18 |   522864 |   439752 |     5378    126 |        0 |        0
1216.12/1216.51	c 1216s |      18 |   523930 |   440652 |     5378    126 |        0 |        0
1218.21/1218.69	c 1218s |      18 |   524862 |   441452 |     5916    126 |        0 |        0
1220.31/1220.78	c 1220s |      18 |   525688 |   442152 |     5916    126 |        0 |        0
1222.62/1223.02	c 1222s |      18 |   526505 |   442852 |     5916    126 |        0 |        0
1224.62/1225.06	c 1224s |      18 |   527187 |   443452 |     5916    126 |        0 |        0
1226.72/1227.11	c 1226s |      18 |   527762 |   443952 |     5916    127 |        0 |        0
1228.02/1228.46	c 1228s |      19 |   528380 |   444482 |     5916    127 |        0 |        0
1230.12/1230.54	c 1230s |      19 |   531638 |   445782 |     5916    127 |        0 |        0
1232.31/1232.75	c 1232s |      19 |   533017 |   446982 |     5916    127 |        0 |        0
1234.61/1235.07	c 1234s |      19 |   534249 |   448082 |     5916    128 |        0 |        0
1236.82/1237.21	c 1237s |      19 |   535357 |   449082 |     5916    128 |        0 |        0
1238.82/1239.28	c 1239s |      19 |   536466 |   450082 |     5916    128 |        0 |        0
1241.02/1241.45	c 1241s |      19 |   537524 |   450982 |     5916    128 |        0 |        0
1243.11/1243.50	c 1243s |      19 |   538394 |   451782 |     5916    128 |        0 |        0
1245.21/1245.69	c 1245s |      19 |   539287 |   452582 |     5916    129 |        0 |        0
1247.32/1247.77	c 1247s |      19 |   540437 |   453582 |     5916    129 |        0 |        0
1249.42/1249.84	c 1249s |      19 |   541590 |   454482 |     5916    129 |        0 |        0
1251.62/1252.01	c 1251s |      19 |   542560 |   455282 |     5916    129 |        0 |        0
1253.62/1254.04	c 1253s |      19 |   543330 |   455982 |     5916    129 |        0 |        0
1255.71/1256.17	c 1255s |      19 |   544038 |   456582 |     5916    130 |        0 |        0
1257.81/1258.29	c 1258s |      19 |   544959 |   457382 |     5916    130 |        0 |        0
1259.91/1260.39	c 1260s |      19 |   545878 |   458182 |     5916    130 |        0 |        0
1262.01/1262.41	c 1262s |      19 |   546805 |   458982 |     5916    130 |        0 |        0
1264.11/1264.59	c 1264s |      19 |   547706 |   459782 |     5916    130 |        0 |        0
1266.21/1266.62	c 1266s |      19 |   548488 |   460482 |     5916    130 |        0 |        0
1268.51/1268.99	c 1268s |      19 |   549277 |   461182 |     5916    131 |        0 |        0
1270.81/1271.20	c 1270s |      19 |   550295 |   462082 |     5916    131 |        0 |        0
1273.01/1273.47	c 1273s |      19 |   551337 |   462982 |     5916    131 |        0 |        0
1275.11/1275.51	c 1275s |      19 |   552104 |   463682 |     5916    131 |        0 |        0
1277.31/1277.74	c 1277s |      19 |   552873 |   464382 |     5916    131 |        0 |        0
1279.61/1280.09	c 1279s |      19 |   553645 |   465082 |     5916    132 |        0 |        0
1281.81/1282.27	c 1282s |      19 |   554655 |   465982 |     5916    132 |        0 |        0
1284.11/1284.52	c 1284s |      19 |   555592 |   466782 |     5916    132 |        0 |        0
1286.11/1286.54	c 1286s |      19 |   556367 |   467482 |     5916    132 |        0 |        0
1288.11/1288.57	c 1288s |      19 |   557024 |   468082 |     5916    132 |        0 |        0
1290.21/1290.61	c 1290s |      19 |   557689 |   468682 |     5916    132 |        0 |        0
1292.80/1293.22	c 1293s |      19 |   558459 |   469382 |     5916    133 |        0 |        0
1294.90/1295.33	c 1295s |      19 |   559264 |   470082 |     5916    133 |        0 |        0
1297.01/1297.49	c 1297s |      19 |   560169 |   470882 |     5916    133 |        0 |        0
1299.21/1299.62	c 1299s |      19 |   561092 |   471682 |     5916    133 |        0 |        0
1301.41/1301.87	c 1301s |      19 |   562053 |   472482 |     5916    133 |        0 |        0
1303.71/1304.10	c 1303s |      19 |   562842 |   473182 |     5916    133 |        0 |        0
1305.90/1306.34	c 1306s |      19 |   563523 |   473782 |     5916    134 |        0 |        0
1307.90/1308.38	c 1308s |      19 |   564355 |   474482 |     5916    134 |        0 |        0
1310.00/1310.41	c 1310s |      19 |   565258 |   475282 |     5916    134 |        0 |        0
1312.01/1312.43	c 1312s |      19 |   566137 |   476082 |     5916    134 |        0 |        0
1314.01/1314.45	c 1314s |      19 |   567033 |   476882 |     5916    134 |        0 |        0
1316.21/1316.67	c 1316s |      19 |   567920 |   477682 |     5916    134 |        0 |        0
1318.41/1318.83	c 1318s |      19 |   568710 |   478382 |     5916    135 |        0 |        0
1320.51/1320.90	c 1320s |      19 |   569617 |   479182 |     5916    135 |        0 |        0
1322.50/1322.95	c 1322s |      19 |   570507 |   479982 |     5916    135 |        0 |        0
1324.70/1325.11	c 1324s |      19 |   571377 |   480782 |     5916    135 |        0 |        0
1326.80/1327.23	c 1327s |      19 |   572154 |   481482 |     5916    135 |        0 |        0
1328.90/1329.34	c 1329s |      19 |   572851 |   482082 |     5916    136 |        0 |        0
1330.90/1331.36	c 1331s |      19 |   573524 |   482682 |     5916    136 |        0 |        0
1333.31/1333.73	c 1333s |      19 |   574304 |   483382 |     5916    136 |        0 |        0
1335.40/1335.83	c 1335s |      19 |   575142 |   484082 |     5916    136 |        0 |        0
1337.40/1337.86	c 1337s |      19 |   575934 |   484782 |     5916    136 |        0 |        0
1339.60/1340.01	c 1339s |      19 |   576739 |   485482 |     5916    136 |        0 |        0
1341.61/1342.05	c 1341s |      19 |   577373 |   486082 |     5916    136 |        0 |        0
1343.60/1344.05	c 1343s |      19 |   577939 |   486582 |     5916    137 |        0 |        0
1345.60/1346.07	c 1345s |      19 |   578843 |   487382 |     5916    137 |        0 |        0
1347.70/1348.10	c 1347s |      19 |   579754 |   488182 |     5916    137 |        0 |        0
1349.90/1350.32	c 1350s |      19 |   580763 |   489082 |     5916    137 |        0 |        0
1352.10/1352.58	c 1352s |      19 |   581629 |   489882 |     5916    137 |        0 |        0
1354.20/1354.68	c 1354s |      19 |   582412 |   490582 |     5916    137 |        0 |        0
1356.29/1356.76	c 1356s |      19 |   583096 |   491182 |     5916    138 |        0 |        0
1358.49/1358.90	c 1358s |      19 |   583983 |   491982 |     5916    138 |        0 |        0
1360.69/1361.16	c 1360s |      19 |   584857 |   492782 |     5916    138 |        0 |        0
1362.80/1363.21	c 1363s |      19 |   585620 |   493482 |     5916    138 |        0 |        0
1364.90/1365.31	c 1365s |      19 |   586420 |   494182 |     5916    138 |        0 |        0
1367.20/1367.64	c 1367s |      19 |   587185 |   494882 |     5916    139 |        0 |        0
1369.30/1369.75	c 1369s |      19 |   588083 |   495682 |     5916    139 |        0 |        0
1371.50/1371.92	c 1371s |      19 |   588996 |   496482 |     5916    139 |        0 |        0
1373.69/1374.16	c 1373s |      19 |   589899 |   497282 |     5916    139 |        0 |        0
1375.80/1376.21	c 1376s |      19 |   590686 |   497982 |     5916    139 |        0 |        0
1377.91/1378.33	c 1378s |      19 |   591576 |   498782 |     5916    139 |        0 |        0
1380.00/1380.46	c 1380s |      19 |   592263 |   499382 |     5916    140 |        0 |        0
1382.20/1382.66	c 1382s |      19 |   593376 |   500382 |     5916    140 |        0 |        0
1384.19/1384.67	c 1384s |      19 |   594404 |   501282 |     5916    140 |        0 |        0
1386.29/1386.73	c 1386s |      19 |   595306 |   502082 |     5916    140 |        0 |        0
1388.39/1388.89	c 1388s |      19 |   596217 |   502882 |     5916    140 |        0 |        0
1390.59/1391.01	c 1390s |      19 |   596893 |   503482 |     5916    141 |        0 |        0
1392.69/1393.14	c 1392s |      19 |   597770 |   504282 |     5916    141 |        0 |        0
1394.70/1395.15	c 1394s |      19 |   598545 |   504982 |     5916    141 |        0 |        0
1396.79/1397.28	c 1397s |      19 |   599300 |   505682 |     5916    141 |        0 |        0
1398.99/1399.46	c 1399s |      19 |   600094 |   506382 |     5916    141 |        0 |        0
1401.10/1401.59	c 1401s |      19 |   601181 |   507282 |     5916    141 |        0 |        0
1403.09/1403.59	c 1403s |      19 |   602149 |   508082 |     5916    142 |        0 |        0
1405.19/1405.68	c 1405s |      19 |   603172 |   508982 |     5916    142 |        0 |        0
1407.29/1407.79	c 1407s |      19 |   604080 |   509782 |     5916    142 |        0 |        0
1409.49/1409.92	c 1409s |      19 |   605001 |   510582 |     5916    142 |        0 |        0
1411.49/1411.98	c 1411s |      19 |   605788 |   511282 |     5916    142 |        0 |        0
1413.59/1414.00	c 1413s |      19 |   606563 |   511982 |     5916    143 |        0 |        0
1415.59/1416.08	c 1415s |      19 |   607560 |   512882 |     5916    143 |        0 |        0
1417.69/1418.16	c 1417s |      19 |   608461 |   513682 |     5916    143 |        0 |        0
1419.89/1420.31	c 1420s |      19 |   609516 |   514582 |     5916    143 |        0 |        0
1421.89/1422.34	c 1422s |      19 |   610307 |   515282 |     5916    143 |        0 |        0
1423.99/1424.46	c 1424s |      19 |   611081 |   515982 |     5916    143 |        0 |        0
1426.19/1426.63	c 1426s |      19 |   611870 |   516682 |     5916    144 |        0 |        0
1428.39/1428.85	c 1428s |      19 |   612764 |   517482 |     5916    144 |        0 |        0
1430.39/1430.87	c 1430s |      19 |   613671 |   518282 |     5916    144 |        0 |        0
1432.49/1432.95	c 1432s |      19 |   614556 |   519082 |     5916    144 |        0 |        0
1434.58/1435.05	c 1434s |      19 |   615307 |   519782 |     5916    144 |        0 |        0
1436.78/1437.20	c 1436s |      19 |   615952 |   520382 |     5916    145 |        0 |        0
1438.88/1439.32	c 1439s |      19 |   616868 |   521182 |     5916    145 |        0 |        0
1441.09/1441.56	c 1441s |      19 |   617859 |   522082 |     5916    145 |        0 |        0
1443.28/1443.76	c 1443s |      19 |   618724 |   522882 |     5916    145 |        0 |        0
1445.59/1446.04	c 1445s |      19 |   619602 |   523682 |     5916    145 |        0 |        0
1447.59/1448.07	c 1447s |      19 |   620269 |   524282 |     5916    145 |        0 |        0
1449.78/1450.24	c 1450s |      19 |   620916 |   524882 |     5916    146 |        0 |        0
1451.78/1452.28	c 1452s |      19 |   621667 |   525582 |     5916    146 |        0 |        0
1454.09/1454.58	c 1454s |      19 |   622397 |   526282 |     5916    146 |        0 |        0
1456.28/1456.71	c 1456s |      19 |   623306 |   527082 |     5916    146 |        0 |        0
1458.29/1458.79	c 1458s |      19 |   624096 |   527782 |     5916    146 |        0 |        0
1460.49/1460.98	c 1460s |      19 |   624872 |   528482 |     5916    146 |        0 |        0
1462.59/1463.03	c 1462s |      19 |   625540 |   529082 |     5916    147 |        0 |        0
1464.58/1465.08	c 1464s |      19 |   626562 |   529982 |     5916    147 |        0 |        0
1466.88/1467.30	c 1467s |      19 |   627435 |   530782 |     5916    147 |        0 |        0
1468.98/1469.44	c 1469s |      19 |   628206 |   531482 |     5916    147 |        0 |        0
1470.98/1471.49	c 1471s |      19 |   629077 |   532282 |     5916    147 |        0 |        0
1473.28/1473.71	c 1473s |      19 |   629967 |   533082 |     5916    147 |        0 |        0
1475.38/1475.82	c 1475s |      19 |   630766 |   533782 |     5916    148 |        0 |        0
1477.48/1477.97	c 1477s |      19 |   631696 |   534582 |     5916    148 |        0 |        0
1479.77/1480.21	c 1480s |      19 |   632596 |   535382 |     5916    148 |        0 |        0
1481.88/1482.36	c 1482s |      19 |   633541 |   536182 |     5916    148 |        0 |        0
1483.98/1484.42	c 1484s |      19 |   634313 |   536882 |     5916    148 |        0 |        0
1486.08/1486.53	c 1486s |      19 |   634971 |   537482 |     5916    149 |        0 |        0
1488.17/1488.63	c 1488s |      19 |   635741 |   538182 |     5916    149 |        0 |        0
1490.47/1490.90	c 1490s |      19 |   636613 |   538982 |     5916    149 |        0 |        0
1492.68/1493.18	c 1492s |      19 |   637390 |   539682 |     5916    149 |        0 |        0
1494.78/1495.22	c 1495s |      19 |   638192 |   540382 |     5916    149 |        0 |        0
1496.87/1497.33	c 1497s |      19 |   638999 |   541082 |     5916    149 |        0 |        0
1498.98/1499.43	c 1499s |      19 |   639636 |   541682 |     5916    150 |        0 |        0
1500.98/1501.43	c 1501s |      19 |   640513 |   542482 |     5916    150 |        0 |        0
1502.98/1503.47	c 1503s |      19 |   641377 |   543282 |     5916    150 |        0 |        0
1505.28/1505.71	c 1505s |      19 |   642267 |   544082 |     5916    150 |        0 |        0
1507.57/1508.01	c 1507s |      19 |   643026 |   544782 |     5916    150 |        0 |        0
1509.57/1510.05	c 1509s |      19 |   643836 |   545482 |     5916    150 |        0 |        0
1511.87/1512.31	c 1512s |      19 |   644609 |   546182 |     5916    151 |        0 |        0
1513.98/1514.44	c 1514s |      19 |   645497 |   546982 |     5916    151 |        0 |        0
1516.18/1516.67	c 1516s |      19 |   646373 |   547782 |     5916    151 |        0 |        0
1518.28/1518.75	c 1518s |      19 |   647142 |   548482 |     5916    151 |        0 |        0
1520.37/1520.88	c 1520s |      19 |   647911 |   549182 |     5916    151 |        0 |        0
1522.58/1523.05	c 1522s |      19 |   648565 |   549782 |     5916    151 |        0 |        0
1524.77/1525.26	c 1525s |      19 |   649214 |   550382 |     5916    152 |        0 |        0
1526.87/1527.31	c 1527s |      19 |   649982 |   551082 |     5916    152 |        0 |        0
1529.07/1529.54	c 1529s |      19 |   650857 |   551882 |     5916    152 |        0 |        0
1531.27/1531.78	c 1531s |      19 |   651643 |   552582 |     5916    152 |        0 |        0
1533.37/1533.87	c 1533s |      19 |   652412 |   553282 |     5916    152 |        0 |        0
1535.67/1536.17	c 1535s |      19 |   653297 |   554082 |     5916    152 |        0 |        0
1537.97/1538.41	c 1538s |      19 |   654094 |   554782 |     5916    153 |        0 |        0
1540.17/1540.64	c 1540s |      19 |   655092 |   555682 |     5916    153 |        0 |        0
1542.27/1542.71	c 1542s |      19 |   655992 |   556482 |     5916    153 |        0 |        0
1544.27/1544.76	c 1544s |      19 |   656773 |   557182 |     5916    153 |        0 |        0
1546.37/1546.84	c 1546s |      19 |   657525 |   557882 |     5916    153 |        0 |        0
1548.47/1548.95	c 1548s |      19 |   658307 |   558582 |     5916    153 |        0 |        0
1550.77/1551.23	c 1551s |      19 |   659103 |   559282 |     5916    154 |        0 |        0
1552.88/1553.33	c 1553s |      19 |   659978 |   560082 |     5916    154 |        0 |        0
1555.16/1555.63	c 1555s |      19 |   660860 |   560882 |     5916    154 |        0 |        0
1557.28/1557.79	c 1557s |      19 |   661498 |   561482 |     5916    154 |        0 |        0
1559.48/1559.97	c 1559s |      19 |   662246 |   562182 |     5916    154 |        0 |        0
1561.47/1561.98	c 1561s |      19 |   662896 |   562782 |     5916    154 |        0 |        0
1563.57/1564.09	c 1563s |      19 |   663467 |   563282 |     5916    155 |        0 |        0
1565.66/1566.13	c 1565s |      19 |   664360 |   564082 |     5916    155 |        0 |        0
1567.67/1568.19	c 1567s |      19 |   665389 |   564982 |     5916    155 |        0 |        0
1569.86/1570.33	c 1570s |      19 |   666283 |   565782 |     5916    155 |        0 |        0
1571.86/1572.39	c 1572s |      19 |   667180 |   566582 |     5916    155 |        0 |        0
1574.16/1574.67	c 1574s |      19 |   667947 |   567282 |     5916    156 |        0 |        0
1576.37/1576.87	c 1576s |      19 |   668815 |   568082 |     5916    156 |        0 |        0
1578.46/1578.95	c 1578s |      19 |   669572 |   568782 |     5916    156 |        0 |        0
1580.76/1581.22	c 1581s |      19 |   670349 |   569482 |     5916    156 |        0 |        0
1582.76/1583.22	c 1583s |      19 |   671010 |   570082 |     5916    156 |        0 |        0
1584.78/1585.25	c 1585s |      19 |   671659 |   570682 |     5916    156 |        0 |        0
1586.97/1587.41	c 1587s |      19 |   672469 |   571382 |     5916    156 |        0 |        0
1588.96/1589.44	c 1589s |      19 |   673228 |   572082 |     5916    157 |        0 |        0
1591.06/1591.54	c 1591s |      19 |   674102 |   572882 |     5916    157 |        0 |        0
1593.26/1593.71	c 1593s |      19 |   674960 |   573682 |     5916    157 |        0 |        0
1595.46/1595.91	c 1595s |      19 |   675846 |   574482 |     5916    157 |        0 |        0
1597.56/1598.02	c 1597s |      19 |   676618 |   575182 |     5916    157 |        0 |        0
1599.66/1600.12	c 1599s |      19 |   677300 |   575782 |     5916    158 |        0 |        0
1601.86/1602.32	c 1602s |      19 |   678062 |   576482 |     5916    158 |        0 |        0
1604.16/1604.66	c 1604s |      19 |   678855 |   577182 |     5916    158 |        0 |        0
1606.16/1606.66	c 1606s |      19 |   679501 |   577782 |     5916    158 |        0 |        0
1608.16/1608.66	c 1608s |      19 |   680163 |   578382 |     5916    158 |        0 |        0
1610.26/1610.78	c 1610s |      19 |   680814 |   578982 |     5916    158 |        0 |        0
1612.46/1612.98	c 1612s |      19 |   681482 |   579582 |     5916    158 |        0 |        0
1614.65/1615.12	c 1614s |      19 |   682283 |   580282 |     5916    159 |        0 |        0
1616.86/1617.31	c 1617s |      19 |   683181 |   581082 |     5916    159 |        0 |        0
1618.87/1619.35	c 1619s |      19 |   683965 |   581782 |     5916    159 |        0 |        0
1620.86/1621.35	c 1621s |      19 |   684736 |   582482 |     5916    159 |        0 |        0
1623.06/1623.50	c 1623s |      19 |   685511 |   583182 |     5916    159 |        0 |        0
1625.26/1625.77	c 1625s |      19 |   686270 |   583882 |     5916    159 |        0 |        0
1627.66/1628.11	c 1627s |      19 |   686908 |   584482 |     5916    160 |        0 |        0
1629.77/1630.25	c 1630s |      19 |   687676 |   585182 |     5916    160 |        0 |        0
1632.07/1632.52	c 1632s |      19 |   688454 |   585882 |     5916    160 |        0 |        0
1634.36/1634.83	c 1634s |      19 |   689208 |   586582 |     5916    160 |        0 |        0
1636.46/1636.94	c 1636s |      19 |   689865 |   587182 |     5916    160 |        0 |        0
1638.56/1639.08	c 1638s |      19 |   690503 |   587782 |     5916    160 |        0 |        0
1640.86/1641.35	c 1641s |      19 |   691161 |   588382 |     5916    160 |        0 |        0
1643.07/1643.54	c 1643s |      19 |   691704 |   588882 |     5916    161 |        0 |        0
1645.27/1645.75	c 1645s |      19 |   692617 |   589682 |     5916    161 |        0 |        0
1647.46/1647.98	c 1647s |      19 |   693507 |   590482 |     5916    161 |        0 |        0
1649.56/1650.03	c 1649s |      19 |   694280 |   591182 |     5916    161 |        0 |        0
1651.65/1652.16	c 1651s |      19 |   695057 |   591882 |     5916    161 |        0 |        0
1653.96/1654.50	c 1654s |      19 |   695816 |   592582 |     5916    161 |        0 |        0
1656.15/1656.69	c 1656s |      19 |   696493 |   593182 |     5916    162 |        0 |        0
1658.25/1658.73	c 1658s |      19 |   697276 |   593882 |     5916    162 |        0 |        0
1660.45/1660.97	c 1660s |      19 |   698061 |   594582 |     5916    162 |        0 |        0
1662.65/1663.12	c 1662s |      19 |   698715 |   595182 |     5916    162 |        0 |        0
1664.75/1665.28	c 1665s |      19 |   699488 |   595882 |     5916    162 |        0 |        0
1666.85/1667.30	c 1667s |      19 |   700036 |   596382 |     5916    162 |        0 |        0
1668.85/1669.35	c 1669s |      19 |   700603 |   596882 |     5916    162 |        0 |        0
1671.05/1671.56	c 1671s |      19 |   701275 |   597482 |     5916    163 |        0 |        0
1673.05/1673.57	c 1673s |      19 |   702040 |   598182 |     5916    163 |        0 |        0
1675.15/1675.60	c 1675s |      19 |   702796 |   598882 |     5916    163 |        0 |        0
1677.34/1677.89	c 1677s |      19 |   703695 |   599682 |     5916    163 |        0 |        0
1679.45/1679.90	c 1679s |      19 |   704325 |   600282 |     5916    163 |        0 |        0
1681.56/1682.05	c 1681s |      19 |   705096 |   600982 |     5916    163 |        0 |        0
1683.85/1684.31	c 1684s |      19 |   705872 |   601682 |     5916    164 |        0 |        0
1685.85/1686.31	c 1686s |      19 |   706639 |   602382 |     5916    164 |        0 |        0
1687.95/1688.45	c 1688s |      19 |   707381 |   603082 |     5916    164 |        0 |        0
1689.95/1690.48	c 1690s |      19 |   708036 |   603682 |     5916    164 |        0 |        0
1692.24/1692.78	c 1692s |      19 |   708695 |   604282 |     5916    164 |        0 |        0
1694.65/1695.19	c 1694s |      19 |   709343 |   604882 |     5916    164 |        0 |        0
1696.65/1697.19	c 1696s |      19 |   709898 |   605382 |     5916    164 |        0 |        0
1698.75/1699.26	c 1699s |      19 |   710359 |   605782 |     5916    165 |        0 |        0
1701.05/1701.51	c 1701s |      19 |   711328 |   606682 |     5916    165 |        0 |        0
1703.14/1703.64	c 1703s |      19 |   712230 |   607482 |     5916    165 |        0 |        0
1705.34/1705.83	c 1705s |      19 |   712996 |   608182 |     5916    165 |        0 |        0
1707.65/1708.10	c 1707s |      19 |   713762 |   608882 |     5916    165 |        0 |        0
1709.74/1710.26	c 1710s |      19 |   714519 |   609582 |     5916    165 |        0 |        0
1711.94/1712.41	c 1712s |      19 |   715188 |   610182 |     5916    166 |        0 |        0
1714.14/1714.62	c 1714s |      19 |   716004 |   610882 |     5916    166 |        0 |        0
1716.14/1716.68	c 1716s |      19 |   716652 |   611482 |     5916    166 |        0 |        0
1718.44/1718.92	c 1718s |      19 |   717340 |   612082 |     5916    166 |        0 |        0
1720.74/1721.22	c 1721s |      19 |   718377 |   612882 |     5916    166 |        0 |        0
1722.85/1723.34	c 1723s |      19 |   719158 |   613582 |     5916    166 |        0 |        0
1725.04/1725.58	c 1725s |      19 |   719851 |   614182 |     5916    167 |        0 |        0
1727.34/1727.88	c 1727s |      19 |   720627 |   614882 |     5916    167 |        0 |        0
1729.74/1730.22	c 1730s |      19 |   721283 |   615482 |     5916    167 |        0 |        0
1731.74/1732.22	c 1732s |      19 |   721848 |   615982 |     5916    167 |        0 |        0
1733.74/1734.28	c 1734s |      19 |   722494 |   616582 |     5916    167 |        0 |        0
1735.94/1736.47	c 1736s |      19 |   723255 |   617282 |     5916    167 |        0 |        0
1737.94/1738.48	c 1738s |      19 |   723945 |   617882 |     5916    167 |        0 |        0
1740.04/1740.57	c 1740s |      19 |   724517 |   618382 |     5916    168 |        0 |        0
1742.05/1742.60	c 1742s |      19 |   725357 |   619082 |     5916    168 |        0 |        0
1744.34/1744.88	c 1744s |      19 |   726150 |   619782 |     5916    168 |        0 |        0
1746.45/1746.91	c 1746s |      19 |   726826 |   620382 |     5916    168 |        0 |        0
1748.64/1749.11	c 1748s |      19 |   727509 |   620982 |     5916    168 |        0 |        0
1750.63/1751.12	c 1750s |      19 |   728063 |   621482 |     5916    168 |        0 |        0
1752.73/1753.23	c 1753s |      19 |   728612 |   621982 |     5916    168 |        0 |        0
1755.15/1755.64	c 1755s |      19 |   729151 |   622482 |     5916    169 |        0 |        0
1757.44/1757.95	c 1757s |      19 |   729799 |   623082 |     5916    169 |        0 |        0
1759.64/1760.11	c 1759s |      19 |   730492 |   623682 |     5916    169 |        0 |        0
1761.84/1762.39	c 1762s |      19 |   731179 |   624282 |     5916    169 |        0 |        0
1764.13/1764.60	c 1764s |      19 |   731830 |   624882 |     5916    169 |        0 |        0
1766.34/1766.80	c 1766s |      19 |   732506 |   625482 |     5916    169 |        0 |        0
1768.54/1769.02	c 1768s |      19 |   733187 |   626082 |     5916    169 |        0 |        0
1770.73/1771.21	c 1770s |      19 |   733761 |   626582 |     5916    169 |        0 |        0
1772.93/1773.45	c 1773s |      19 |   734333 |   627082 |     5916    170 |        0 |        0
1775.04/1775.59	c 1775s |      19 |   735025 |   627682 |     5916    170 |        0 |        0
1777.43/1777.96	c 1777s |      19 |   735707 |   628282 |     5916    170 |        0 |        0
1779.53/1780.02	c 1779s |      19 |   736259 |   628782 |     5916    170 |        0 |        0
1781.73/1782.20	c 1781s |      19 |   736807 |   629282 |     5916    170 |        0 |        0
1783.93/1784.47	c 1784s |      19 |   737486 |   629882 |     5916    170 |        0 |        0
1786.13/1786.65	c 1786s |      19 |   738043 |   630382 |     5916    170 |        0 |        0
1788.43/1788.98	c 1788s |      19 |   738579 |   630882 |     5916    170 |        0 |        0
1790.83/1791.31	c 1791s |      19 |   739118 |   631382 |     5916    171 |        0 |        0
1792.83/1793.34	c 1793s |      19 |   739679 |   631882 |     5916    171 |        0 |        0
1795.03/1795.58	c 1795s |      19 |   740322 |   632482 |     5916    171 |        0 |        0
1797.13/1797.64	c 1797s |      19 |   740863 |   632982 |     5916    171 |        0 |        0
1799.13/1799.70	c 1799s |      19 |   741410 |   633482 |     5916    171 |        0 |        0

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-4093407-1466082460/watcher-4093407-1466082460 -o /tmp/evaluation-result-4093407-1466082460/solver-4093407-1466082460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093407-1466082460.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.23 2.20 3/181 16913
/proc/meminfo: memFree=29234696/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 2939 0 0 0 0 0 0 0 20 0 4 0 10291904 803663872 2788 33554432000 4194304 16246674 140735271322704 140735271321640 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 196719 2797 441 2943 0 193613 0
[pid=16913/tid=16914] ppid=16910 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 820441088 2857 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 825683968 2875 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10291904 829878272 2891 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.23 2.23 2.20 3/181 16913
/proc/meminfo: memFree=29234696/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 25097 0 0 0 6 3 0 0 20 0 4 0 10291904 1247350784 24939 33554432000 4194304 16246674 140735271322704 140735271321640 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 304529 24947 605 2943 0 301423 0
[pid=16913/tid=16914] ppid=16910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1247350784 24954 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1247350784 24960 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10291904 1247350784 24966 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200464 s]
/proc/loadavg: 2.23 2.23 2.20 3/181 16913
/proc/meminfo: memFree=29234696/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 48638 0 0 0 13 6 0 0 20 0 4 0 10291904 1247350784 48474 33554432000 4194304 16246674 140735271322704 140735271321640 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 304529 48480 775 2943 0 301423 0
[pid=16913/tid=16914] ppid=16910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1247350784 48484 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1247350784 48487 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10291904 1247350784 48490 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300436 s]
/proc/loadavg: 2.23 2.23 2.20 3/181 16913
/proc/meminfo: memFree=29234696/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1304132 CPUtime=0.29 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 68347 0 0 0 20 9 0 0 20 0 4 0 10291904 1335431168 68161 33554432000 4194304 16246674 140735271322704 140735271322016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 326033 68181 867 2943 0 322927 0
[pid=16913/tid=16914] ppid=16910 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1335431168 68193 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1335431168 68205 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1335431168 68218 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1304132

[startup+0.700383 s]
/proc/loadavg: 2.23 2.23 2.20 3/181 16913
/proc/meminfo: memFree=29234696/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 93012 0 0 0 57 12 0 0 20 0 4 0 10291904 1337528320 92826 33554432000 4194304 16246674 140735271322704 140735271304576 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 326545 92847 868 2943 0 323439 0
[pid=16913/tid=16914] ppid=16910 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1337528320 92860 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1337528320 92874 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1337528320 92890 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50035 s]
/proc/loadavg: 2.23 2.23 2.20 4/185 16917
/proc/meminfo: memFree=28679748/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 267822 0 0 0 114 35 0 0 20 0 4 0 10291904 1338576896 267635 33554432000 4194304 16246674 140735271322704 140735271304576 13962576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 326801 267635 868 2943 0 323695 0
[pid=16913/tid=16914] ppid=16910 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1338576896 267635 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1338576896 267635 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1338576896 267635 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.29 2.24 2.20 4/185 16917
/proc/meminfo: memFree=28163784/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 268179 0 0 0 274 35 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 140735271304576 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 327057 267992 873 2943 0 323951 0
[pid=16913/tid=16914] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30037 s]
/proc/loadavg: 2.29 2.24 2.20 4/185 16917
/proc/meminfo: memFree=28162556/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 268179 0 0 0 594 35 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 140735271304576 13780588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 327057 267992 873 2943 0 323951 0
[pid=16913/tid=16914] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267992 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.20 4/185 16917
/proc/meminfo: memFree=28162492/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 268181 0 0 0 1233 35 0 0 20 0 4 0 10291904 1339625472 267994 33554432000 4194304 16246674 140735271322704 140735271304576 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 327057 267994 875 2943 0 323951 0
[pid=16913/tid=16914] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267994 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267994 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1339625472 267994 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.20 2.23 2.20 3/185 16917
/proc/meminfo: memFree=28156104/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 269973 0 0 0 2513 35 0 0 20 0 4 0 10291904 1346965504 269786 33554432000 4194304 16246674 140735271322704 140735271304576 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 328849 269786 875 2943 0 325743 0
[pid=16913/tid=16914] ppid=16910 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1346965504 269786 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1346965504 269786 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1346965504 269786 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.34 2.25 2.21 4/185 16966
/proc/meminfo: memFree=28647960/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 270229 0 0 0 5072 36 0 0 20 0 4 0 10291904 1348014080 270042 33554432000 4194304 16246674 140735271322704 140735271304576 5589212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 329105 270042 875 2943 0 325999 0
[pid=16913/tid=16914] ppid=16910 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1348014080 270042 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1348014080 270042 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1348014080 270042 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.36 2.27 2.21 3/185 16968
/proc/meminfo: memFree=28318212/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1316420 CPUtime=102.27 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 270245 0 0 0 10189 38 0 0 20 0 4 0 10291904 1348014080 270298 33554432000 4194304 16246674 140735271322704 140735271304576 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 329105 270298 875 2943 0 325999 0
[pid=16913/tid=16914] ppid=16910 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1348014080 270298 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1348014080 270298 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1348014080 270298 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.54 2.42 2.31 3/186 17002
/proc/meminfo: memFree=27308396/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1325636 CPUtime=1361.9 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 272835 0 0 0 136065 125 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 140735271321880 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 331409 272603 875 2943 0 328303 0
[pid=16913/tid=16914] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.29 2.37 2.30 4/185 17003
/proc/meminfo: memFree=27295784/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1325636 CPUtime=1421.89 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 272835 0 0 0 142060 129 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 140735271321880 5553621 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 331409 272603 875 2943 0 328303 0
[pid=16913/tid=16914] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.36 2.38 2.30 3/185 17004
/proc/meminfo: memFree=27295696/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1325636 CPUtime=1481.88 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 272835 0 0 0 148053 135 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 140735271321880 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 331409 272603 875 2943 0 328303 0
[pid=16913/tid=16914] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.40 2.38 2.30 3/185 17005
/proc/meminfo: memFree=27292008/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1325636 CPUtime=1541.88 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 272835 0 0 0 154048 140 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 140735271321880 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 331409 272603 875 2943 0 328303 0
[pid=16913/tid=16914] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.43 2.39 2.31 3/185 17006
/proc/meminfo: memFree=27291784/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1325636 CPUtime=1601.86 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 272835 0 0 0 160040 146 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 140735271321880 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 331409 272603 875 2943 0 328303 0
[pid=16913/tid=16914] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1357451264 272603 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.33 2.37 2.30 3/185 17008
/proc/meminfo: memFree=27285364/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1332804 CPUtime=1661.85 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 274433 0 0 0 166034 151 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 140735271321800 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 333201 274201 875 2943 0 330095 0
[pid=16913/tid=16914] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.39 2.38 2.31 3/185 17009
/proc/meminfo: memFree=27213044/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1332804 CPUtime=1721.84 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 274433 0 0 0 172027 157 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 140735271321880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 333201 274201 875 2943 0 330095 0
[pid=16913/tid=16914] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.27 2.35 2.30 3/185 17010
/proc/meminfo: memFree=27031544/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1332804 CPUtime=1781.83 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 274433 0 0 0 178021 162 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 140735271321880 5523660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 333201 274201 875 2943 0 330095 0
[pid=16913/tid=16914] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.35 2.30 4/185 17010
/proc/meminfo: memFree=27003740/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1332804 CPUtime=1800.03 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 274433 0 0 0 179840 163 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 140735271321880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 333201 274201 875 2943 0 330095 0
[pid=16913/tid=16914] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.35 2.30 4/185 17010
/proc/meminfo: memFree=27003740/32872528 swapFree=1504664/1684536
[pid=16913] ppid=16910 vsize=1332804 CPUtime=1800.03 cores=0,2,4,6
/proc/16913/stat : 16913 (toysat) R 16910 16913 12407 0 -1 4202496 274433 0 0 0 179840 163 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 140735271321880 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16913/statm: 333201 274201 875 2943 0 330095 0
[pid=16913/tid=16914] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16914/stat : 16914 (toysat) S 16910 16913 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854206708976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16913/tid=16915] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16915/stat : 16915 (toysat) S 16910 16913 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854196219120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16913/tid=16916] ppid=16910 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16913/task/16916/stat : 16916 (toysat) S 16910 16913 12407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10291904 1364791296 274201 33554432000 4194304 16246674 140735271322704 139854185745584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.41
CPU system time (s): 1.63875
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.63875
maximum resident set size= 1096804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274433
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= 319
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98994 second user time and 8.12576 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-16 15:07:40
IDJOB=4093407
IDBENCH=78709
IDSOLVER=2553
FILE ID=node135/4093407-1466082460
RUNJOBID= node135-1466075236-16166
PBS_JOBID= 19904004
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093407-1466082460/watcher-4093407-1466082460 -o /tmp/evaluation-result-4093407-1466082460/solver-4093407-1466082460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093407-1466082460.wbo

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

MD5SUM BENCH= d7a0ad39836c923faf2776c1a468a22d
RANDOM SEED=1545461545

node135.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		: 2667.004
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	: 5334.00
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		: 2667.004
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		: 2667.004
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
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		: 2667.004
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29235232 kB
Buffers:           28624 kB
Cached:           105044 kB
SwapCached:         2276 kB
Active:          1194648 kB
Inactive:          55804 kB
Active(anon):    1117904 kB
Inactive(anon):     1492 kB
Active(file):      76744 kB
Inactive(file):    54312 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099236 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2800704 kB
Mapped:            10624 kB
Shmem:                 0 kB
Slab:             566720 kB
SReclaimable:      10948 kB
SUnreclaim:       555772 kB
KernelStack:        1496 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2943500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    921600 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= 71704 MiB
End job on node135 at 2016-06-16 15:37:40