Trace number 4117117

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.1 1800.52

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-9.opb
MD5SUMbe6a5b387b4c75ca4920353ba749df23
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T23:48:31+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4117117-1466977711.opb"]
0.00/0.01	c use --random-gen="886406889 1675493540 2416030907 2539752673 3075477811 4286989297 2722882454 1165537189 3867574572 2950749354 2056178587 4115112406 3981806117 1375224243 3402483594 2758480436 938009002 1439673842 1489345282 1514723 3975944386 3218103936 3319223781 482833955 1940087233 1622683813 1702078087 4278104373 3335653708 3009669618 1087756875 4030494188 45194810 992860348 2614396264 3803151358 1132515538 1106291865 1777127987 1963437812 306211772 1141909655 2826922077 2875425004 1611575552 2800875149 2030633555 310562094 173372595 401751995 3840108510 3626142046 1870063010 3431804390 769005729 1391990511 2111173722 1433072232 2661815149 3454873217 2809906957 2392315029 2741229558 2769189064 223485098 3916704373 1749819849 1469669975 2623358179 2753570330 498298081 3418157913 1362838978 2210598765 262942722 1243482427 5953211 2320408526 541276980 2765653931 2167101639 1413895106 639774528 3641709902 2943127102 3669378273 1095677301 3552799910 3329865330 120253717 1807639439 2769867200 265787756 2495184922 3506242292 1876518044 2671589902 125383115 3484490072 1025637143 1725583196 734974781 1430129398 1548524010 1989750053 1367435853 1835863217 3320298299 670237473 1847612361 1713480934 3823157073 3027410705 942283030 2823230249 2914471357 2715749907 3730020905 955270853 2140110689 3346137601 3007289021 3202284402 3705189607 2842379780 1178132276 1494676742 1988774251 3830659815 65554154 3729061618 783109278 2817205922 3427997408 4262943496 252070559 2001647531 300463163 1950689156 1137202019 2809787556 2798028464 3728306054 3781789394 800365880 1241403658 3536459950 1953892595 609140591 846452435 1321422316 2979115823 4171012269 2817639415 1975014532 3850737209 1182007253 573322433 4128502136 3698052274 299918191 132824479 2013637956 2887348529 4294248998 256070208 2501774250 1552882785 1777764769 3515908041 4184296100 3640292324 1351476524 2871431616 1341104284 929175976 579463449 1552957263 3297752117 2715131091 2343293649 3759074064 560516844 535446611 2872842244 755291924 307465868 4222503170 3432572562 1001076132 666793639 3429296857 3988512274 1355269675 1663087483 3830250377 4117938800 4269026914 2406187959 240091672 3340320204 1464996338 1021589846 3191274355 1975573834 3841489188 1801277963 2998225226 1687125099 2547463844 3042086064 3723025318 2164359706 2887162062 288002041 884249426 3735958516 3701819338 1346979621 1880796849 3064308042 528964994 2346755882 259008460 1650330724 83815291 2021770706 2192693715 1090191011 344873773 2426632270 2595557867 752344772 2749779465 3344023728 3160007982 2004710230 2888766675 2652349811 1631113701 2781445784 2367533721 2377666800 3207560033 723402699 1509290208 3318028135 2292780080 1644854289 988004878 971554510 681786810 404132694 1814983712 293064660 3559685415 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      682 |        0
0.29/0.35	c  0.1s |       1 |      755 |      100 |     4565      0 |      682 |      496
0.39/0.45	c  0.2s |       2 |     2743 |      250 |     5022      0 |      682 |      496
0.79/0.81	c  0.5s |       3 |     4104 |      475 |     5525      0 |      682 |      496
0.99/1.07	c  0.8s |       4 |     6005 |      813 |     6078      0 |      682 |      496
1.79/1.82	c  1.5s |       5 |     7651 |     1320 |     6686      0 |      682 |      496
2.39/2.40	c  2.1s |       6 |    14037 |     2081 |     8091      0 |      683 |      496
3.19/3.27	c  3.0s |       7 |    19047 |     3223 |     8901      0 |      684 |      496
5.29/5.31	c  5.0s |       7 |    22170 |     4823 |     8901      0 |      684 |      496
5.50/5.51	c  5.2s |       8 |    22288 |     4936 |     9792      0 |      684 |      496
7.59/7.60	c  7.3s |       8 |    28073 |     6936 |     9792      0 |      684 |      496
8.39/8.45	c  8.2s |       9 |    28693 |     7506 |    10772      0 |      684 |      496
10.49/10.58	c 10.3s |       9 |    37433 |     9906 |    10772      0 |      684 |      496
12.39/12.49	c 12.2s |      10 |    39628 |    11361 |    11850      0 |      684 |      496
14.49/14.51	c 14.2s |      10 |    47173 |    13561 |    11850      0 |      684 |      496
16.49/16.55	c 16.3s |      10 |    49974 |    15161 |    11850      0 |      684 |      496
18.59/18.63	c 18.4s |      10 |    52142 |    16561 |    11850      1 |      684 |      496
19.89/19.96	c 19.7s |      11 |    52869 |    17144 |    13036      1 |      684 |      496
21.99/22.03	c 21.8s |      11 |    65685 |    19744 |    13036      1 |      684 |      496
23.99/24.04	c 23.8s |      11 |    71005 |    21744 |    13036      1 |      684 |      496
26.09/26.19	c 25.9s |      11 |    75652 |    23344 |    13036      2 |      684 |      496
28.18/28.25	c 28.0s |      11 |    79336 |    24944 |    13036      2 |      684 |      496
29.79/29.83	c 29.6s |      12 |    80325 |    25819 |    14340      2 |      684 |      496
31.78/31.88	c 31.6s |      12 |    89998 |    28219 |    14340      2 |      684 |      496
33.88/33.99	c 33.7s |      12 |    91482 |    29319 |    14340      2 |      684 |      496
35.98/36.02	c 35.7s |      12 |    94234 |    30919 |    14340      2 |      684 |      496
38.08/38.13	c 37.9s |      12 |    95637 |    32019 |    14340      2 |      684 |      496
40.48/40.57	c 40.3s |      12 |    96794 |    33019 |    14340      3 |      684 |      496
42.48/42.57	c 42.3s |      12 |    97706 |    33819 |    14340      3 |      684 |      496
44.58/44.67	c 44.4s |      12 |    99586 |    34919 |    14340      3 |      684 |      496
46.68/46.73	c 46.5s |      12 |   101429 |    36119 |    14340      3 |      684 |      496
48.88/48.91	c 48.6s |      12 |   102797 |    37119 |    14340      3 |      684 |      496
50.88/50.91	c 50.6s |      12 |   104145 |    38119 |    14340      3 |      684 |      496
52.58/52.64	c 52.4s |      13 |   105103 |    38832 |    15775      3 |      684 |      496
54.58/54.67	c 54.4s |      13 |   108473 |    40332 |    15775      3 |      684 |      496
56.58/56.69	c 56.4s |      13 |   110364 |    41732 |    15775      3 |      684 |      496
58.78/58.82	c 58.5s |      13 |   111865 |    43032 |    15775      3 |      684 |      496
60.79/60.87	c 60.6s |      13 |   113012 |    44032 |    15775      4 |      684 |      496
62.89/62.99	c 62.7s |      13 |   114426 |    45232 |    15775      4 |      684 |      496
65.09/65.12	c 64.8s |      13 |   115674 |    46332 |    15775      4 |      684 |      496
67.19/67.28	c 67.0s |      13 |   116941 |    47432 |    15775      4 |      684 |      496
69.18/69.30	c 69.0s |      13 |   117994 |    48332 |    15775      4 |      684 |      496
71.38/71.49	c 71.2s |      13 |   119010 |    49232 |    15775      4 |      684 |      496
73.48/73.50	c 73.2s |      13 |   119789 |    49932 |    15775      4 |      684 |      496
75.48/75.54	c 75.3s |      13 |   120873 |    50832 |    15775      4 |      684 |      496
77.48/77.59	c 77.3s |      13 |   122148 |    51832 |    15775      4 |      684 |      496
79.58/79.68	c 79.4s |      13 |   123206 |    52732 |    15775      4 |      684 |      496
81.78/81.82	c 81.5s |      13 |   124121 |    53532 |    15775      5 |      684 |      496
83.78/83.86	c 83.6s |      13 |   125169 |    54432 |    15775      5 |      684 |      496
85.89/85.94	c 85.7s |      13 |   126046 |    55232 |    15775      5 |      684 |      496
88.09/88.15	c 87.9s |      13 |   127054 |    56132 |    15775      5 |      684 |      496
90.38/90.43	c 90.1s |      13 |   127933 |    56932 |    15775      5 |      684 |      496
92.68/92.73	c 92.5s |      13 |   128936 |    57832 |    15775      5 |      684 |      496
94.18/94.27	c 94.0s |      14 |   129518 |    58352 |    17353      5 |      684 |      496
96.27/96.35	c 96.1s |      14 |   139345 |    60452 |    17353      5 |      684 |      496
98.47/98.51	c 98.2s |      14 |   142051 |    61952 |    17353      5 |      684 |      496
100.57/100.60	c  100s |      14 |   144156 |    63352 |    17353      5 |      684 |      496
102.67/102.77	c  102s |      14 |   145350 |    64352 |    17353      6 |      684 |      496
104.87/104.92	c  104s |      14 |   146371 |    65252 |    17353      6 |      684 |      496
106.97/107.08	c  106s |      14 |   147593 |    66252 |    17353      6 |      684 |      496
109.07/109.10	c  108s |      14 |   148623 |    67152 |    17353      6 |      684 |      496
111.18/111.25	c  110s |      14 |   149627 |    68052 |    17353      6 |      684 |      496
113.28/113.31	c  113s |      14 |   150567 |    68852 |    17353      6 |      684 |      496
115.37/115.42	c  115s |      14 |   151456 |    69652 |    17353      6 |      684 |      496
117.47/117.56	c  117s |      14 |   152377 |    70452 |    17353      6 |      684 |      496
119.47/119.59	c  119s |      14 |   153302 |    71252 |    17353      6 |      684 |      496
121.67/121.70	c  121s |      14 |   154206 |    72052 |    17353      6 |      684 |      496
123.77/123.81	c  123s |      14 |   154984 |    72752 |    17353      6 |      684 |      496
125.77/125.85	c  125s |      14 |   155634 |    73352 |    17353      6 |      684 |      496
127.87/127.95	c  127s |      14 |   156287 |    73952 |    17353      6 |      684 |      496
129.97/130.02	c  129s |      14 |   156948 |    74552 |    17353      6 |      684 |      496
132.27/132.33	c  132s |      14 |   157609 |    75152 |    17353      7 |      684 |      496
134.47/134.57	c  134s |      14 |   158369 |    75852 |    17353      7 |      684 |      496
136.48/136.58	c  136s |      14 |   159036 |    76452 |    17353      7 |      684 |      496
138.68/138.75	c  138s |      14 |   159825 |    77152 |    17353      7 |      684 |      496
140.78/140.83	c  140s |      14 |   160489 |    77752 |    17353      7 |      684 |      496
142.87/142.97	c  142s |      14 |   161142 |    78352 |    17353      7 |      684 |      496
145.18/145.23	c  144s |      14 |   161811 |    78952 |    17353      7 |      684 |      496
147.27/147.32	c  147s |      14 |   162475 |    79552 |    17353      7 |      684 |      496
149.37/149.44	c  149s |      14 |   163123 |    80152 |    17353      7 |      684 |      496
151.57/151.67	c  151s |      14 |   163778 |    80752 |    17353      7 |      684 |      496
153.77/153.83	c  153s |      14 |   164438 |    81352 |    17353      7 |      684 |      496
155.77/155.85	c  155s |      14 |   165114 |    81952 |    17353      7 |      684 |      496
158.07/158.18	c  157s |      14 |   165909 |    82652 |    17353      7 |      684 |      496
160.37/160.48	c  160s |      14 |   166578 |    83252 |    17353      7 |      684 |      496
162.77/162.86	c  162s |      14 |   167229 |    83852 |    17353      7 |      684 |      496
164.87/164.93	c  164s |      14 |   167768 |    84352 |    17353      7 |      684 |      496
167.57/167.60	c  167s |      14 |   168434 |    84952 |    17353      8 |      684 |      496
169.87/169.96	c  169s |      14 |   169187 |    85652 |    17353      8 |      684 |      496
172.06/172.17	c  171s |      14 |   169961 |    86352 |    17353      8 |      684 |      496
174.26/174.32	c  174s |      14 |   170620 |    86952 |    17353      8 |      684 |      496
176.36/176.48	c  176s |      14 |   171274 |    87552 |    19089      8 |      684 |      496
176.76/176.81	c  176s |      15 |   171354 |    87632 |    19089      8 |      684 |      496
178.76/178.86	c  178s |      15 |   177685 |    89632 |    19089      8 |      684 |      496
180.76/180.86	c  180s |      15 |   180525 |    91432 |    19089      8 |      684 |      496
182.96/183.01	c  182s |      15 |   182055 |    92732 |    19089      8 |      684 |      496
184.96/185.05	c  184s |      15 |   183661 |    94032 |    19089      8 |      684 |      496
186.97/187.07	c  186s |      15 |   188828 |    96032 |    19089      8 |      684 |      496
189.06/189.17	c  188s |      15 |   190215 |    97032 |    19089      9 |      684 |      496
191.06/191.17	c  190s |      15 |   192693 |    98432 |    19089      9 |      684 |      496
193.16/193.29	c  193s |      15 |   196013 |   100132 |    19089      9 |      684 |      496
195.26/195.37	c  195s |      15 |   197837 |   101332 |    19089      9 |      684 |      496
197.36/197.42	c  197s |      15 |   199212 |   102332 |    19089      9 |      684 |      496
199.56/199.65	c  199s |      15 |   201041 |   103532 |    19089      9 |      684 |      496
201.76/201.88	c  201s |      15 |   202402 |   104532 |    19089      9 |      684 |      496
204.06/204.16	c  203s |      15 |   203554 |   105432 |    19089      9 |      684 |      496
206.16/206.27	c  205s |      15 |   204362 |   106132 |    19089      9 |      684 |      496
208.36/208.43	c  208s |      15 |   205525 |   107032 |    19089      9 |      684 |      496
210.86/210.96	c  210s |      15 |   206872 |   108032 |    19089     10 |      684 |      496
212.96/213.09	c  212s |      15 |   208019 |   108932 |    19089     10 |      684 |      496
215.05/215.16	c  214s |      15 |   209094 |   109832 |    19089     10 |      684 |      496
217.15/217.20	c  216s |      15 |   210049 |   110632 |    19089     10 |      684 |      496
219.25/219.30	c  219s |      15 |   211006 |   111432 |    19089     10 |      684 |      496
221.25/221.39	c  221s |      15 |   212042 |   112232 |    19089     10 |      684 |      496
223.45/223.57	c  223s |      15 |   213004 |   113032 |    19089     10 |      684 |      496
225.56/225.61	c  225s |      15 |   213854 |   113732 |    19089     10 |      684 |      496
227.66/227.73	c  227s |      15 |   214712 |   114432 |    19089     10 |      684 |      496
229.65/229.77	c  229s |      15 |   215556 |   115132 |    19089     10 |      684 |      496
231.85/231.96	c  231s |      15 |   216431 |   115832 |    19089     10 |      684 |      496
234.05/234.17	c  233s |      15 |   217118 |   116432 |    19089     10 |      684 |      496
236.15/236.25	c  235s |      15 |   217821 |   117032 |    19089     10 |      684 |      496
238.35/238.45	c  238s |      15 |   218661 |   117732 |    19089     10 |      684 |      496
240.65/240.74	c  240s |      15 |   219483 |   118432 |    19089     10 |      684 |      496
242.75/242.82	c  242s |      15 |   220204 |   119032 |    19089     10 |      684 |      496
244.85/244.96	c  244s |      15 |   220793 |   119532 |    19089     11 |      684 |      496
246.96/247.06	c  246s |      15 |   221606 |   120232 |    19089     11 |      684 |      496
249.05/249.16	c  248s |      15 |   222293 |   120832 |    19089     11 |      684 |      496
251.05/251.16	c  250s |      15 |   222958 |   121432 |    19089     11 |      684 |      496
253.25/253.35	c  253s |      15 |   223769 |   122132 |    19089     11 |      684 |      496
255.35/255.49	c  255s |      15 |   224465 |   122732 |    19089     11 |      684 |      496
257.55/257.67	c  257s |      15 |   225159 |   123332 |    19089     11 |      684 |      496
259.66/259.74	c  259s |      15 |   225844 |   123932 |    19089     11 |      684 |      496
261.86/261.97	c  261s |      15 |   226664 |   124632 |    19089     11 |      684 |      496
264.15/264.27	c  263s |      15 |   227354 |   125232 |    19089     11 |      684 |      496
266.45/266.56	c  266s |      15 |   228029 |   125832 |    19089     11 |      684 |      496
268.85/268.91	c  268s |      15 |   228680 |   126432 |    19089     11 |      684 |      496
270.85/270.92	c  270s |      15 |   229226 |   126932 |    19089     11 |      684 |      496
273.05/273.16	c  272s |      15 |   229907 |   127532 |    19089     11 |      684 |      496
275.35/275.44	c  275s |      15 |   230577 |   128132 |    19089     11 |      684 |      496
277.54/277.61	c  277s |      15 |   231266 |   128732 |    19089     11 |      684 |      496
279.54/279.63	c  279s |      15 |   231826 |   129232 |    19089     11 |      684 |      496
281.75/281.83	c  281s |      15 |   232374 |   129732 |    19089     11 |      684 |      496
284.05/284.16	c  283s |      15 |   232954 |   130232 |    19089     11 |      684 |      496
286.25/286.37	c  286s |      15 |   233507 |   130732 |    20998     12 |      684 |      496
288.45/288.53	c  288s |      15 |   234298 |   131432 |    20998     12 |      684 |      496
288.85/288.94	c  288s |      16 |   234423 |   131552 |    20998     12 |      684 |      496
290.95/291.00	c  290s |      16 |   240611 |   133352 |    20998     12 |      684 |      496
292.95/293.03	c  292s |      16 |   245451 |   135052 |    20998     12 |      684 |      496
294.95/295.08	c  294s |      16 |   248366 |   136552 |    20998     12 |      684 |      496
297.06/297.13	c  296s |      16 |   250541 |   137752 |    20998     12 |      684 |      496
299.05/299.15	c  298s |      16 |   252403 |   138952 |    20998     12 |      684 |      496
301.15/301.27	c  300s |      16 |   254027 |   140052 |    20998     12 |      684 |      496
303.25/303.34	c  303s |      16 |   255678 |   141052 |    20998     12 |      684 |      496
305.35/305.49	c  305s |      16 |   258127 |   142352 |    20998     12 |      684 |      496
307.65/307.70	c  307s |      16 |   259455 |   143352 |    20998     13 |      684 |      496
309.65/309.71	c  309s |      16 |   260603 |   144252 |    20998     13 |      684 |      496
311.75/311.89	c  311s |      16 |   261920 |   145252 |    20998     13 |      684 |      496
313.85/313.93	c  313s |      16 |   262899 |   146052 |    20998     13 |      684 |      496
315.95/316.04	c  315s |      16 |   263780 |   146852 |    20998     13 |      684 |      496
317.95/318.08	c  317s |      16 |   264761 |   147652 |    20998     13 |      684 |      496
320.15/320.26	c  319s |      16 |   265758 |   148452 |    20998     13 |      684 |      496
322.25/322.36	c  322s |      16 |   266608 |   149152 |    20998     13 |      684 |      496
324.24/324.38	c  324s |      16 |   267552 |   149852 |    20998     13 |      684 |      496
326.34/326.43	c  326s |      16 |   268389 |   150552 |    20998     13 |      684 |      496
328.44/328.52	c  328s |      16 |   269435 |   151352 |    20998     13 |      684 |      496
330.64/330.79	c  330s |      16 |   270628 |   152252 |    20998     13 |      684 |      496
332.94/333.05	c  332s |      16 |   271477 |   152952 |    20998     13 |      684 |      496
334.94/335.05	c  334s |      16 |   272250 |   153552 |    20998     13 |      684 |      496
336.94/337.05	c  336s |      16 |   273217 |   154252 |    20998     13 |      684 |      496
339.04/339.17	c  338s |      16 |   274344 |   155052 |    20998     13 |      684 |      496
341.14/341.20	c  340s |      16 |   275055 |   155652 |    20998     14 |      684 |      496
343.14/343.29	c  343s |      16 |   275857 |   156352 |    20998     14 |      684 |      496
345.34/345.43	c  345s |      16 |   276914 |   157252 |    20998     14 |      684 |      496
347.44/347.55	c  347s |      16 |   277998 |   158152 |    20998     14 |      684 |      496
349.63/349.77	c  349s |      16 |   278951 |   158952 |    20998     14 |      684 |      496
351.83/351.97	c  351s |      16 |   279791 |   159652 |    20998     14 |      684 |      496
354.03/354.16	c  353s |      16 |   280630 |   160352 |    20998     14 |      684 |      496
356.13/356.26	c  355s |      16 |   281483 |   161052 |    20998     14 |      684 |      496
358.23/358.32	c  358s |      16 |   282308 |   161752 |    20998     14 |      684 |      496
360.23/360.37	c  360s |      16 |   283108 |   162452 |    20998     14 |      684 |      496
362.23/362.39	c  362s |      16 |   283831 |   163052 |    20998     14 |      684 |      496
364.33/364.42	c  364s |      16 |   284526 |   163652 |    20998     14 |      684 |      496
366.34/366.46	c  366s |      16 |   285215 |   164252 |    20998     14 |      684 |      496
368.33/368.46	c  368s |      16 |   285897 |   164852 |    20998     14 |      684 |      496
370.53/370.69	c  370s |      16 |   286743 |   165552 |    20998     14 |      684 |      496
372.63/372.75	c  372s |      16 |   287398 |   166152 |    20998     14 |      684 |      496
374.73/374.81	c  374s |      16 |   288065 |   166752 |    20998     14 |      684 |      496
377.03/377.16	c  376s |      16 |   288747 |   167352 |    20998     14 |      684 |      496
379.03/379.18	c  378s |      16 |   289315 |   167852 |    20998     15 |      684 |      496
381.33/381.42	c  381s |      16 |   290164 |   168552 |    20998     15 |      684 |      496
383.43/383.56	c  383s |      16 |   290969 |   169252 |    20998     15 |      684 |      496
385.63/385.72	c  385s |      16 |   291664 |   169852 |    20998     15 |      684 |      496
387.83/387.90	c  387s |      16 |   292197 |   170352 |    20998     15 |      684 |      496
390.03/390.13	c  389s |      16 |   292861 |   170952 |    20998     15 |      684 |      496
392.13/392.27	c  391s |      16 |   293397 |   171452 |    20998     15 |      684 |      496
394.53/394.64	c  394s |      16 |   294044 |   172052 |    20998     15 |      684 |      496
396.83/396.92	c  396s |      16 |   294706 |   172652 |    20998     15 |      684 |      496
399.13/399.25	c  398s |      16 |   295388 |   173252 |    20998     15 |      684 |      496
401.43/401.56	c  401s |      16 |   296065 |   173852 |    20998     15 |      684 |      496
403.73/403.84	c  403s |      16 |   296746 |   174452 |    20998     15 |      684 |      496
405.93/406.09	c  405s |      16 |   297458 |   175052 |    20998     15 |      684 |      496
408.23/408.35	c  408s |      16 |   298131 |   175652 |    20998     15 |      684 |      496
410.62/410.74	c  410s |      16 |   298841 |   176252 |    20998     15 |      684 |      496
413.02/413.12	c  412s |      16 |   299513 |   176852 |    20998     15 |      684 |      496
415.42/415.53	c  415s |      16 |   300229 |   177452 |    20998     15 |      684 |      496
417.62/417.70	c  417s |      16 |   300974 |   178052 |    20998     15 |      684 |      496
419.82/419.99	c  419s |      16 |   301655 |   178652 |    20998     15 |      684 |      496
422.22/422.32	c  422s |      16 |   302481 |   179352 |    20998     15 |      684 |      496
424.32/424.43	c  424s |      16 |   303050 |   179852 |    20998     16 |      684 |      496
426.52/426.64	c  426s |      16 |   303810 |   180552 |    20998     16 |      684 |      496
428.82/428.97	c  428s |      16 |   304699 |   181352 |    20998     16 |      684 |      496
430.92/431.03	c  430s |      16 |   305360 |   181952 |    20998     16 |      684 |      496
433.12/433.21	c  432s |      16 |   306017 |   182552 |    20998     16 |      684 |      496
435.32/435.43	c  435s |      16 |   306831 |   183252 |    20998     16 |      684 |      496
437.42/437.52	c  437s |      16 |   307494 |   183852 |    20998     16 |      684 |      496
439.52/439.63	c  439s |      16 |   308170 |   184452 |    20998     16 |      684 |      496
441.92/442.03	c  441s |      16 |   308816 |   185052 |    20998     16 |      684 |      496
444.12/444.26	c  443s |      16 |   309482 |   185652 |    20998     16 |      684 |      496
446.32/446.46	c  446s |      16 |   310025 |   186152 |    20998     16 |      684 |      496
448.62/448.80	c  448s |      16 |   310671 |   186752 |    20998     16 |      684 |      496
450.72/450.86	c  450s |      16 |   311218 |   187252 |    20998     16 |      684 |      496
452.73/452.88	c  452s |      16 |   311791 |   187752 |    20998     16 |      684 |      496
455.12/455.26	c  454s |      16 |   312337 |   188252 |    20998     16 |      684 |      496
457.42/457.54	c  457s |      16 |   313001 |   188852 |    20998     16 |      684 |      496
459.62/459.72	c  459s |      16 |   313552 |   189352 |    20998     16 |      684 |      496
461.62/461.79	c  461s |      16 |   314002 |   189752 |    20998     16 |      684 |      496
463.92/464.08	c  463s |      16 |   314567 |   190252 |    20998     16 |      684 |      496
466.33/466.42	c  466s |      16 |   315113 |   190752 |    20998     16 |      684 |      496
468.42/468.53	c  468s |      16 |   315545 |   191152 |    20998     16 |      684 |      496
470.73/470.89	c  470s |      16 |   315988 |   191552 |    20998     17 |      684 |      496
473.03/473.16	c  472s |      16 |   316650 |   192152 |    20998     17 |      684 |      496
475.23/475.38	c  475s |      16 |   317303 |   192752 |    20998     17 |      684 |      496
477.52/477.65	c  477s |      16 |   317955 |   193352 |    20998     17 |      684 |      496
479.82/479.92	c  479s |      16 |   318487 |   193852 |    20998     17 |      684 |      496
482.12/482.25	c  481s |      16 |   319124 |   194452 |    20998     17 |      684 |      496
484.12/484.28	c  484s |      16 |   319662 |   194952 |    20998     17 |      684 |      496
486.52/486.64	c  486s |      16 |   320187 |   195452 |    20998     17 |      684 |      496
488.51/488.69	c  488s |      16 |   320765 |   195952 |    20998     17 |      684 |      496
490.62/490.78	c  490s |      16 |   321428 |   196552 |    23098     17 |      684 |      496
492.72/492.85	c  492s |      16 |   322080 |   197152 |    23098     17 |      684 |      496
493.51/493.68	c  493s |      17 |   322400 |   197432 |    23098     17 |      684 |      496
495.51/495.69	c  495s |      17 |   329167 |   199132 |    23098     17 |      684 |      496
497.51/497.69	c  497s |      17 |   332401 |   201032 |    23098     17 |      684 |      496
499.71/499.87	c  499s |      17 |   334123 |   202332 |    23098     17 |      684 |      496
501.91/502.04	c  501s |      17 |   335661 |   203532 |    23098     17 |      684 |      496
503.91/504.07	c  503s |      17 |   336860 |   204532 |    23098     17 |      684 |      496
505.92/506.07	c  505s |      17 |   337952 |   205432 |    23098     17 |      684 |      496
508.12/508.22	c  507s |      17 |   338790 |   206132 |    23098     18 |      684 |      496
510.22/510.37	c  510s |      17 |   340318 |   207232 |    23098     18 |      684 |      496
512.32/512.46	c  512s |      17 |   342285 |   208432 |    23098     18 |      684 |      496
514.42/514.58	c  514s |      17 |   345449 |   209832 |    23098     18 |      684 |      496
516.52/516.63	c  516s |      17 |   346728 |   210832 |    23098     18 |      684 |      496
518.52/518.64	c  518s |      17 |   351353 |   212532 |    23098     18 |      684 |      496
520.52/520.68	c  520s |      17 |   353496 |   213632 |    23098     18 |      684 |      496
522.62/522.79	c  522s |      17 |   355003 |   214732 |    23098     18 |      684 |      496
524.82/524.90	c  524s |      17 |   357782 |   216132 |    23098     18 |      684 |      496
526.82/526.97	c  526s |      17 |   360699 |   217432 |    23098     18 |      684 |      496
528.91/529.04	c  528s |      17 |   363365 |   218432 |    23098     19 |      684 |      496
531.01/531.14	c  530s |      17 |   365638 |   219832 |    23098     19 |      684 |      496
533.11/533.23	c  532s |      17 |   367122 |   220932 |    23098     19 |      684 |      496
535.31/535.42	c  535s |      17 |   368210 |   221832 |    23098     19 |      684 |      496
537.31/537.45	c  537s |      17 |   369335 |   222732 |    23098     19 |      684 |      496
539.51/539.66	c  539s |      17 |   370480 |   223632 |    23098     19 |      684 |      496
541.81/541.95	c  541s |      17 |   371610 |   224532 |    23098     19 |      684 |      496
544.01/544.15	c  543s |      17 |   372453 |   225232 |    23098     19 |      684 |      496
546.11/546.26	c  545s |      17 |   373276 |   225932 |    23098     19 |      684 |      496
548.21/548.33	c  548s |      17 |   374126 |   226632 |    23098     19 |      684 |      496
550.41/550.51	c  550s |      17 |   375122 |   227432 |    23098     19 |      684 |      496
552.41/552.55	c  552s |      17 |   376106 |   228232 |    23098     19 |      684 |      496
554.71/554.82	c  554s |      17 |   376930 |   228932 |    23098     19 |      684 |      496
556.81/556.97	c  556s |      17 |   377791 |   229632 |    23098     19 |      684 |      496
559.11/559.29	c  559s |      17 |   378630 |   230332 |    23098     19 |      684 |      496
561.31/561.48	c  561s |      17 |   379775 |   231132 |    23098     19 |      684 |      496
563.41/563.57	c  563s |      17 |   380753 |   231832 |    23098     20 |      684 |      496
565.51/565.65	c  565s |      17 |   381881 |   232732 |    23098     20 |      684 |      496
567.51/567.65	c  567s |      17 |   383129 |   233632 |    23098     20 |      684 |      496
569.81/569.91	c  569s |      17 |   384198 |   234532 |    23098     20 |      684 |      496
572.01/572.14	c  571s |      17 |   385412 |   235432 |    23098     20 |      684 |      496
574.11/574.21	c  573s |      17 |   386517 |   236232 |    23098     20 |      684 |      496
576.20/576.36	c  576s |      17 |   387536 |   237032 |    23098     20 |      684 |      496
578.30/578.44	c  578s |      17 |   388382 |   237732 |    23098     20 |      684 |      496
580.60/580.79	c  580s |      17 |   389176 |   238432 |    23098     20 |      684 |      496
582.80/583.00	c  582s |      17 |   389865 |   239032 |    23098     20 |      684 |      496
584.90/585.00	c  584s |      17 |   390745 |   239732 |    23098     20 |      684 |      496
587.00/587.15	c  586s |      17 |   391459 |   240332 |    23098     20 |      684 |      496
589.30/589.43	c  589s |      17 |   392315 |   241032 |    23098     20 |      684 |      496
591.30/591.45	c  591s |      17 |   393072 |   241632 |    23098     20 |      684 |      496
593.60/593.75	c  593s |      17 |   393794 |   242232 |    23098     20 |      684 |      496
595.70/595.86	c  595s |      17 |   394531 |   242832 |    23098     20 |      684 |      496
597.80/597.99	c  597s |      17 |   395224 |   243432 |    23098     20 |      684 |      496
600.20/600.31	c  600s |      17 |   395918 |   244032 |    23098     20 |      684 |      496
602.40/602.54	c  602s |      17 |   396602 |   244632 |    23098     20 |      684 |      496
604.50/604.61	c  604s |      17 |   397071 |   245032 |    23098     21 |      684 |      496
606.70/606.87	c  606s |      17 |   397873 |   245732 |    23098     21 |      684 |      496
608.79/608.90	c  608s |      17 |   398562 |   246332 |    23098     21 |      684 |      496
610.99/611.17	c  610s |      17 |   399408 |   247032 |    23098     21 |      684 |      496
613.09/613.27	c  612s |      17 |   400104 |   247632 |    23098     21 |      684 |      496
615.29/615.46	c  615s |      17 |   400838 |   248232 |    23098     21 |      684 |      496
617.39/617.55	c  617s |      17 |   401545 |   248832 |    23098     21 |      684 |      496
619.69/619.86	c  619s |      17 |   402230 |   249432 |    23098     21 |      684 |      496
621.99/622.12	c  621s |      17 |   402924 |   250032 |    23098     21 |      684 |      496
624.19/624.30	c  624s |      17 |   403883 |   250732 |    23098     21 |      684 |      496
626.19/626.33	c  626s |      17 |   405050 |   251532 |    23098     21 |      684 |      496
628.49/628.62	c  628s |      17 |   406216 |   252432 |    23098     21 |      684 |      496
630.69/630.85	c  630s |      17 |   407246 |   253232 |    23098     21 |      684 |      496
632.69/632.86	c  632s |      17 |   408037 |   253832 |    23098     21 |      684 |      496
634.99/635.17	c  634s |      17 |   408916 |   254532 |    23098     21 |      684 |      496
637.29/637.40	c  637s |      17 |   409651 |   255132 |    23098     21 |      684 |      496
639.59/639.71	c  639s |      17 |   410586 |   255832 |    23098     21 |      684 |      496
641.59/641.78	c  641s |      17 |   411385 |   256432 |    23098     21 |      684 |      496
643.69/643.86	c  643s |      17 |   411966 |   256932 |    23098     21 |      684 |      496
646.09/646.20	c  645s |      17 |   412700 |   257532 |    23098     21 |      684 |      496
648.09/648.25	c  647s |      17 |   413307 |   258032 |    23098     21 |      684 |      496
650.19/650.35	c  650s |      17 |   413943 |   258532 |    23098     22 |      684 |      496
652.39/652.59	c  652s |      17 |   414795 |   259232 |    23098     22 |      684 |      496
654.49/654.61	c  654s |      17 |   415623 |   259932 |    23098     22 |      684 |      496
656.59/656.75	c  656s |      17 |   416463 |   260632 |    23098     22 |      684 |      496
658.59/658.79	c  658s |      17 |   417268 |   261332 |    23098     22 |      684 |      496
660.79/660.92	c  660s |      17 |   418145 |   262032 |    23098     22 |      684 |      496
662.99/663.13	c  662s |      17 |   419040 |   262732 |    23098     22 |      684 |      496
665.09/665.21	c  664s |      17 |   419918 |   263432 |    23098     22 |      684 |      496
667.39/667.50	c  667s |      17 |   420899 |   264232 |    23098     22 |      684 |      496
669.39/669.53	c  669s |      17 |   421591 |   264832 |    23098     22 |      684 |      496
671.59/671.75	c  671s |      17 |   422428 |   265532 |    23098     22 |      684 |      496
673.89/674.00	c  673s |      17 |   423239 |   266232 |    23098     22 |      684 |      496
676.19/676.30	c  676s |      17 |   424077 |   266932 |    23098     22 |      684 |      496
678.39/678.56	c  678s |      17 |   424770 |   267532 |    23098     22 |      684 |      496
680.39/680.58	c  680s |      17 |   425513 |   268132 |    23098     22 |      684 |      496
682.59/682.75	c  682s |      17 |   426366 |   268832 |    23098     22 |      684 |      496
684.69/684.82	c  684s |      17 |   427066 |   269432 |    23098     22 |      684 |      496
686.79/686.91	c  686s |      17 |   427792 |   270032 |    23098     22 |      684 |      496
688.79/688.95	c  688s |      17 |   428475 |   270632 |    23098     22 |      684 |      496
690.89/691.01	c  690s |      17 |   429170 |   271232 |    23098     22 |      684 |      496
693.09/693.24	c  692s |      17 |   429844 |   271832 |    23098     23 |      684 |      496
695.20/695.34	c  695s |      17 |   430645 |   272532 |    23098     23 |      684 |      496
697.40/697.51	c  697s |      17 |   431495 |   273232 |    23098     23 |      684 |      496
699.39/699.56	c  699s |      17 |   432369 |   273932 |    23098     23 |      684 |      496
701.49/701.60	c  701s |      17 |   433220 |   274632 |    23098     23 |      684 |      496
703.59/703.74	c  703s |      17 |   434063 |   275332 |    23098     23 |      684 |      496
705.79/705.98	c  705s |      17 |   434917 |   276032 |    23098     23 |      684 |      496
707.99/708.19	c  707s |      17 |   435796 |   276732 |    23098     23 |      684 |      496
710.19/710.33	c  710s |      17 |   436631 |   277432 |    23098     23 |      684 |      496
712.38/712.53	c  712s |      17 |   437477 |   278132 |    23098     23 |      684 |      496
714.68/714.81	c  714s |      17 |   438367 |   278832 |    23098     23 |      684 |      496
716.98/717.12	c  716s |      17 |   439196 |   279532 |    23098     23 |      684 |      496
719.08/719.27	c  718s |      17 |   439898 |   280132 |    23098     23 |      684 |      496
721.38/721.58	c  721s |      17 |   440579 |   280732 |    23098     23 |      684 |      496
723.38/723.59	c  723s |      17 |   441159 |   281232 |    23098     23 |      684 |      496
725.68/725.86	c  725s |      17 |   441850 |   281832 |    23098     23 |      684 |      496
728.09/728.22	c  727s |      17 |   442525 |   282432 |    23098     23 |      684 |      496
730.29/730.46	c  730s |      17 |   443222 |   283032 |    23098     23 |      684 |      496
732.38/732.58	c  732s |      17 |   443819 |   283532 |    23098     23 |      684 |      496
734.88/735.00	c  734s |      17 |   444520 |   284132 |    23098     23 |      684 |      496
737.18/737.30	c  737s |      17 |   444969 |   284532 |    23098     24 |      684 |      496
739.19/739.36	c  739s |      17 |   446165 |   285432 |    23098     24 |      684 |      496
741.18/741.39	c  741s |      17 |   447142 |   286232 |    23098     24 |      684 |      496
743.28/743.42	c  743s |      17 |   447975 |   286932 |    23098     24 |      684 |      496
745.48/745.69	c  745s |      17 |   449008 |   287732 |    23098     24 |      684 |      496
747.68/747.81	c  747s |      17 |   449854 |   288432 |    23098     24 |      684 |      496
749.88/750.03	c  749s |      17 |   450677 |   289132 |    23098     24 |      684 |      496
752.08/752.28	c  752s |      17 |   451501 |   289832 |    23098     24 |      684 |      496
754.28/754.44	c  754s |      17 |   452195 |   290432 |    23098     24 |      684 |      496
756.48/756.61	c  756s |      17 |   452886 |   291032 |    23098     24 |      684 |      496
758.68/758.87	c  758s |      17 |   453732 |   291732 |    23098     24 |      684 |      496
760.88/761.06	c  760s |      17 |   454441 |   292332 |    23098     24 |      684 |      496
763.18/763.32	c  763s |      17 |   455141 |   292932 |    23098     24 |      684 |      496
765.48/765.64	c  765s |      17 |   455823 |   293532 |    23098     24 |      684 |      496
767.78/767.99	c  767s |      17 |   456504 |   294132 |    23098     24 |      684 |      496
769.88/770.00	c  769s |      17 |   457085 |   294632 |    25408     24 |      684 |      496
772.08/772.26	c  771s |      17 |   457992 |   295332 |    25408     24 |      684 |      496
774.47/774.62	c  774s |      17 |   458860 |   296032 |    25408     24 |      684 |      496
775.27/775.48	c  775s |      18 |   459115 |   296252 |    25408     24 |      684 |      496
777.37/777.53	c  777s |      18 |   463260 |   297652 |    25408     24 |      684 |      496
779.57/779.73	c  779s |      18 |   464679 |   298852 |    25408     24 |      684 |      496
781.67/781.86	c  781s |      18 |   465880 |   299852 |    25408     24 |      684 |      496
783.77/783.98	c  783s |      18 |   467542 |   301152 |    25408     25 |      684 |      496
785.87/786.03	c  785s |      18 |   470174 |   302852 |    25408     25 |      684 |      496
788.07/788.22	c  787s |      18 |   471407 |   304052 |    25408     25 |      684 |      496
790.07/790.24	c  789s |      18 |   472889 |   305252 |    25408     25 |      684 |      496
792.17/792.39	c  792s |      18 |   474337 |   306452 |    25408     25 |      684 |      496
794.18/794.39	c  794s |      18 |   475489 |   307452 |    25408     25 |      684 |      496
796.38/796.54	c  796s |      18 |   476753 |   308552 |    25408     25 |      684 |      496
798.58/798.77	c  798s |      18 |   477919 |   309552 |    25408     25 |      684 |      496
800.78/800.99	c  800s |      18 |   478941 |   310452 |    25408     25 |      684 |      496
802.98/803.13	c  802s |      18 |   479842 |   311252 |    25408     25 |      684 |      496
805.17/805.31	c  805s |      18 |   480739 |   312052 |    25408     25 |      684 |      496
807.37/807.53	c  807s |      18 |   481609 |   312852 |    25408     25 |      684 |      496
809.57/809.71	c  809s |      18 |   483235 |   313952 |    25408     25 |      684 |      496
811.57/811.79	c  811s |      18 |   484452 |   314852 |    25408     26 |      684 |      496
813.67/813.85	c  813s |      18 |   485680 |   315852 |    25408     26 |      684 |      496
815.77/815.95	c  815s |      18 |   486753 |   316752 |    25408     26 |      684 |      496
817.97/818.11	c  817s |      18 |   487850 |   317652 |    25408     26 |      684 |      496
819.97/820.19	c  819s |      18 |   489162 |   318652 |    25408     26 |      684 |      496
822.17/822.31	c  822s |      18 |   490296 |   319552 |    25408     26 |      684 |      496
824.26/824.41	c  824s |      18 |   491370 |   320452 |    25408     26 |      684 |      496
826.36/826.50	c  826s |      18 |   492374 |   321252 |    25408     26 |      684 |      496
828.36/828.50	c  828s |      18 |   493352 |   322052 |    25408     26 |      684 |      496
830.37/830.56	c  830s |      18 |   494152 |   322752 |    25408     26 |      684 |      496
832.57/832.78	c  832s |      18 |   495064 |   323552 |    25408     26 |      684 |      496
834.66/834.86	c  834s |      18 |   495868 |   324252 |    25408     26 |      684 |      496
836.86/837.05	c  836s |      18 |   496666 |   324952 |    25408     26 |      684 |      496
839.17/839.31	c  839s |      18 |   497491 |   325652 |    25408     26 |      684 |      496
841.37/841.58	c  841s |      18 |   498342 |   326352 |    25408     26 |      684 |      496
843.57/843.74	c  843s |      18 |   499044 |   326952 |    25408     26 |      684 |      496
845.66/845.83	c  845s |      18 |   499761 |   327552 |    25408     26 |      684 |      496
847.66/847.83	c  847s |      18 |   500311 |   328052 |    25408     26 |      684 |      496
849.86/850.09	c  849s |      18 |   500991 |   328652 |    25408     26 |      684 |      496
852.06/852.27	c  851s |      18 |   501573 |   329152 |    25408     27 |      684 |      496
854.16/854.31	c  854s |      18 |   502396 |   329852 |    25408     27 |      684 |      496
856.36/856.59	c  856s |      18 |   503301 |   330652 |    25408     27 |      684 |      496
858.66/858.81	c  858s |      18 |   504215 |   331452 |    25408     27 |      684 |      496
860.86/861.08	c  860s |      18 |   504999 |   332152 |    25408     27 |      684 |      496
863.26/863.42	c  863s |      18 |   505774 |   332852 |    25408     27 |      684 |      496
865.36/865.57	c  865s |      18 |   506435 |   333452 |    25408     27 |      684 |      496
867.56/867.77	c  867s |      18 |   507232 |   334152 |    25408     27 |      684 |      496
869.66/869.81	c  869s |      18 |   507926 |   334752 |    25408     27 |      684 |      496
871.86/872.08	c  871s |      18 |   508583 |   335352 |    25408     27 |      684 |      496
874.06/874.26	c  873s |      18 |   509247 |   335952 |    25408     27 |      684 |      496
876.36/876.50	c  876s |      18 |   509929 |   336552 |    25408     27 |      684 |      496
878.65/878.82	c  878s |      18 |   510607 |   337152 |    25408     27 |      684 |      496
880.85/881.03	c  880s |      18 |   511420 |   337852 |    25408     27 |      684 |      496
882.85/883.09	c  882s |      18 |   512120 |   338452 |    25408     27 |      684 |      496
884.95/885.12	c  884s |      18 |   512714 |   338952 |    25408     27 |      684 |      496
887.25/887.48	c  887s |      18 |   513398 |   339552 |    25408     27 |      684 |      496
889.45/889.69	c  889s |      18 |   514081 |   340152 |    25408     27 |      684 |      496
891.65/891.83	c  891s |      18 |   514756 |   340752 |    25408     27 |      684 |      496
893.65/893.85	c  893s |      18 |   515342 |   341252 |    25408     27 |      684 |      496
895.75/895.92	c  895s |      18 |   515902 |   341752 |    25408     27 |      684 |      496
897.95/898.14	c  897s |      18 |   516452 |   342252 |    25408     27 |      684 |      496
900.25/900.41	c  900s |      18 |   517010 |   342752 |    25408     27 |      684 |      496
902.65/902.83	c  902s |      18 |   517558 |   343252 |    25408     27 |      684 |      496
904.85/905.02	c  904s |      18 |   517995 |   343652 |    25408     28 |      684 |      496
907.05/907.22	c  906s |      18 |   518638 |   344252 |    25408     28 |      684 |      496
909.25/909.46	c  909s |      18 |   519438 |   344952 |    25408     28 |      684 |      496
911.55/911.75	c  911s |      18 |   520224 |   345652 |    25408     28 |      684 |      496
913.75/913.99	c  913s |      18 |   520885 |   346252 |    25408     28 |      684 |      496
915.85/916.05	c  915s |      18 |   521418 |   346752 |    25408     28 |      684 |      496
917.95/918.15	c  917s |      18 |   522094 |   347352 |    25408     28 |      684 |      496
920.25/920.42	c  920s |      18 |   522880 |   348052 |    25408     28 |      684 |      496
922.35/922.50	c  922s |      18 |   523543 |   348652 |    25408     28 |      684 |      496
924.55/924.79	c  924s |      18 |   524297 |   349352 |    25408     28 |      684 |      496
926.95/927.13	c  926s |      18 |   525000 |   349952 |    25408     28 |      684 |      496
929.15/929.30	c  929s |      18 |   525554 |   350452 |    25408     28 |      684 |      496
931.35/931.57	c  931s |      18 |   526264 |   351052 |    25408     28 |      684 |      496
933.75/933.94	c  933s |      18 |   526945 |   351652 |    25408     28 |      684 |      496
935.95/936.12	c  935s |      18 |   527616 |   352252 |    25408     28 |      684 |      496
938.04/938.30	c  938s |      18 |   528307 |   352852 |    25408     28 |      684 |      496
940.35/940.58	c  940s |      18 |   529117 |   353552 |    25408     28 |      684 |      496
942.65/942.86	c  942s |      18 |   529800 |   354152 |    25408     28 |      684 |      496
944.75/944.97	c  944s |      18 |   530374 |   354652 |    25408     28 |      684 |      496
946.95/947.15	c  946s |      18 |   530923 |   355152 |    25408     28 |      684 |      496
949.04/949.21	c  948s |      18 |   531363 |   355552 |    25408     28 |      684 |      496
951.35/951.55	c  951s |      18 |   531911 |   356052 |    25408     28 |      684 |      496
953.55/953.75	c  953s |      18 |   532458 |   356552 |    25408     28 |      684 |      496
955.75/955.95	c  955s |      18 |   533023 |   357052 |    25408     28 |      684 |      496
957.95/958.18	c  957s |      18 |   533596 |   357552 |    25408     28 |      684 |      496
960.04/960.23	c  959s |      18 |   533921 |   357852 |    25408     29 |      684 |      496
962.14/962.37	c  962s |      18 |   534575 |   358452 |    25408     29 |      684 |      496
964.34/964.51	c  964s |      18 |   535370 |   359152 |    25408     29 |      684 |      496
966.64/966.83	c  966s |      18 |   536148 |   359852 |    25408     29 |      684 |      496
968.85/969.08	c  968s |      18 |   536803 |   360452 |    25408     29 |      684 |      496
971.05/971.29	c  971s |      18 |   537454 |   361052 |    25408     29 |      684 |      496
973.25/973.44	c  973s |      18 |   538125 |   361652 |    25408     29 |      684 |      496
975.45/975.60	c  975s |      18 |   538811 |   362252 |    25408     29 |      684 |      496
977.75/977.91	c  977s |      18 |   539492 |   362852 |    25408     29 |      684 |      496
980.14/980.37	c  980s |      18 |   540147 |   363452 |    25408     29 |      684 |      496
982.44/982.62	c  982s |      18 |   540690 |   363952 |    25408     29 |      684 |      496
984.54/984.77	c  984s |      18 |   541250 |   364452 |    25408     29 |      684 |      496
986.65/986.87	c  986s |      18 |   541958 |   365052 |    25408     29 |      684 |      496
988.85/989.08	c  988s |      18 |   542515 |   365552 |    25408     29 |      684 |      496
991.05/991.22	c  990s |      18 |   543169 |   366152 |    25408     29 |      684 |      496
993.15/993.36	c  993s |      18 |   543856 |   366752 |    25408     29 |      684 |      496
995.24/995.40	c  995s |      18 |   544408 |   367252 |    25408     29 |      684 |      496
997.34/997.51	c  997s |      18 |   544968 |   367752 |    25408     29 |      684 |      496
999.54/999.71	c  999s |      18 |   545516 |   368252 |    25408     29 |      684 |      496
1001.54/1001.73	c 1001s |      18 |   545939 |   368652 |    25408     29 |      684 |      496
1003.84/1004.01	c 1003s |      18 |   546462 |   369152 |    25408     29 |      684 |      496
1005.94/1006.11	c 1005s |      18 |   547012 |   369652 |    25408     29 |      684 |      496
1008.34/1008.51	c 1008s |      18 |   547547 |   370152 |    25408     29 |      684 |      496
1010.44/1010.68	c 1010s |      18 |   548097 |   370652 |    25408     29 |      684 |      496
1012.44/1012.68	c 1012s |      18 |   548527 |   371052 |    25408     29 |      684 |      496
1014.84/1015.00	c 1014s |      18 |   549070 |   371552 |    25408     29 |      684 |      496
1017.14/1017.39	c 1017s |      18 |   549617 |   372052 |    25408     29 |      684 |      496
1019.24/1019.42	c 1019s |      18 |   549945 |   372352 |    25408     30 |      684 |      496
1021.44/1021.63	c 1021s |      18 |   550593 |   372952 |    25408     30 |      684 |      496
1023.64/1023.87	c 1023s |      18 |   551242 |   373552 |    25408     30 |      684 |      496
1025.84/1026.01	c 1025s |      18 |   551796 |   374052 |    25408     30 |      684 |      496
1028.04/1028.25	c 1027s |      18 |   552435 |   374652 |    25408     30 |      684 |      496
1030.34/1030.54	c 1030s |      18 |   553080 |   375252 |    25408     30 |      684 |      496
1032.64/1032.84	c 1032s |      18 |   553725 |   375852 |    25408     30 |      684 |      496
1035.04/1035.25	c 1034s |      18 |   554366 |   376452 |    25408     30 |      684 |      496
1037.14/1037.36	c 1037s |      18 |   554921 |   376952 |    25408     30 |      684 |      496
1039.14/1039.36	c 1039s |      18 |   555471 |   377452 |    25408     30 |      684 |      496
1041.43/1041.65	c 1041s |      18 |   556017 |   377952 |    25408     30 |      684 |      496
1043.84/1044.03	c 1043s |      18 |   556656 |   378552 |    25408     30 |      684 |      496
1046.13/1046.36	c 1046s |      18 |   557282 |   379152 |    25408     30 |      684 |      496
1048.14/1048.38	c 1048s |      18 |   557839 |   379652 |    25408     30 |      684 |      496
1050.23/1050.50	c 1050s |      18 |   558373 |   380152 |    25408     30 |      684 |      496
1052.64/1052.87	c 1052s |      18 |   558899 |   380652 |    25408     30 |      684 |      496
1054.74/1054.95	c 1054s |      18 |   559462 |   381152 |    25408     30 |      684 |      496
1056.94/1057.12	c 1056s |      18 |   559997 |   381652 |    25408     30 |      684 |      496
1059.14/1059.39	c 1059s |      18 |   560532 |   382152 |    25408     30 |      684 |      496
1061.44/1061.69	c 1061s |      18 |   561264 |   382752 |    25408     30 |      684 |      496
1063.64/1063.83	c 1063s |      18 |   561832 |   383252 |    25408     30 |      684 |      496
1065.63/1065.85	c 1065s |      18 |   562412 |   383752 |    25408     30 |      684 |      496
1067.63/1067.85	c 1067s |      18 |   562994 |   384252 |    25408     30 |      684 |      496
1069.73/1069.97	c 1069s |      18 |   563571 |   384752 |    25408     30 |      684 |      496
1071.83/1072.01	c 1071s |      18 |   564138 |   385252 |    25408     30 |      684 |      496
1074.13/1074.34	c 1074s |      18 |   564726 |   385752 |    25408     30 |      684 |      496
1076.43/1076.64	c 1076s |      18 |   565301 |   386252 |    25408     30 |      684 |      496
1078.83/1079.00	c 1078s |      18 |   565756 |   386652 |    25408     31 |      684 |      496
1080.82/1081.01	c 1080s |      18 |   566441 |   387252 |    25408     31 |      684 |      496
1083.22/1083.42	c 1083s |      18 |   567095 |   387852 |    25408     31 |      684 |      496
1085.22/1085.45	c 1085s |      18 |   567638 |   388352 |    25408     31 |      684 |      496
1087.32/1087.55	c 1087s |      18 |   568331 |   388952 |    25408     31 |      684 |      496
1089.52/1089.74	c 1089s |      18 |   569002 |   389552 |    25408     31 |      684 |      496
1091.72/1091.99	c 1091s |      18 |   569654 |   390152 |    25408     31 |      684 |      496
1094.12/1094.34	c 1094s |      18 |   570293 |   390752 |    25408     31 |      684 |      496
1096.22/1096.40	c 1096s |      18 |   570836 |   391252 |    25408     31 |      684 |      496
1098.52/1098.79	c 1098s |      18 |   571487 |   391852 |    25408     31 |      684 |      496
1100.82/1101.01	c 1100s |      18 |   572032 |   392352 |    25408     31 |      684 |      496
1102.82/1103.04	c 1102s |      18 |   572584 |   392852 |    25408     31 |      684 |      496
1105.02/1105.26	c 1104s |      18 |   573286 |   393452 |    25408     31 |      684 |      496
1107.42/1107.60	c 1107s |      18 |   574105 |   394152 |    25408     31 |      684 |      496
1109.52/1109.70	c 1109s |      18 |   574783 |   394752 |    25408     31 |      684 |      496
1111.72/1111.94	c 1111s |      18 |   575422 |   395352 |    25408     31 |      684 |      496
1113.82/1114.03	c 1113s |      18 |   576152 |   395952 |    25408     31 |      684 |      496
1115.82/1116.08	c 1115s |      18 |   576858 |   396552 |    25408     31 |      684 |      496
1117.92/1118.12	c 1117s |      18 |   577522 |   397052 |    25408     31 |      684 |      496
1119.92/1120.12	c 1119s |      18 |   578076 |   397552 |    25408     31 |      684 |      496
1122.02/1122.27	c 1121s |      18 |   578614 |   398052 |    25408     31 |      684 |      496
1124.13/1124.34	c 1124s |      18 |   579155 |   398552 |    25408     31 |      684 |      496
1126.12/1126.40	c 1126s |      18 |   579709 |   399052 |    25408     31 |      684 |      496
1128.43/1128.62	c 1128s |      18 |   580252 |   399552 |    25408     31 |      684 |      496
1130.63/1130.88	c 1130s |      18 |   580815 |   400052 |    25408     31 |      684 |      496
1132.72/1132.97	c 1132s |      18 |   581387 |   400552 |    25408     31 |      684 |      496
1135.52/1135.72	c 1135s |      18 |   581941 |   401052 |    25408     32 |      684 |      496
1137.52/1137.74	c 1137s |      18 |   582723 |   401752 |    25408     32 |      684 |      496
1139.62/1139.82	c 1139s |      18 |   583527 |   402452 |    25408     32 |      684 |      496
1141.73/1141.98	c 1141s |      18 |   584306 |   403152 |    25408     32 |      684 |      496
1144.02/1144.27	c 1143s |      18 |   585090 |   403852 |    25408     32 |      684 |      496
1146.03/1146.29	c 1146s |      18 |   585770 |   404452 |    25408     32 |      684 |      496
1148.23/1148.42	c 1148s |      18 |   587290 |   405352 |    25408     32 |      684 |      496
1150.43/1150.62	c 1150s |      18 |   588682 |   406352 |    25408     32 |      684 |      496
1152.63/1152.83	c 1152s |      18 |   590046 |   407352 |    25408     32 |      684 |      496
1154.83/1155.03	c 1154s |      18 |   591271 |   408252 |    25408     32 |      684 |      496
1156.92/1157.11	c 1156s |      18 |   592337 |   409052 |    25408     32 |      684 |      496
1158.92/1159.16	c 1158s |      18 |   593436 |   409852 |    25408     32 |      684 |      496
1161.12/1161.36	c 1161s |      18 |   594436 |   410652 |    25408     32 |      684 |      496
1163.32/1163.51	c 1163s |      18 |   595405 |   411452 |    25408     32 |      684 |      496
1165.32/1165.55	c 1165s |      18 |   596379 |   412252 |    25408     32 |      684 |      496
1167.52/1167.77	c 1167s |      18 |   597396 |   413052 |    25408     32 |      684 |      496
1169.82/1170.10	c 1169s |      18 |   598378 |   413852 |    25408     32 |      684 |      496
1171.92/1172.13	c 1171s |      18 |   599339 |   414552 |    25408     32 |      684 |      496
1174.42/1174.64	c 1174s |      18 |   600064 |   415152 |    25408     33 |      684 |      496
1176.52/1176.71	c 1176s |      18 |   601188 |   416052 |    25408     33 |      684 |      496
1178.61/1178.87	c 1178s |      18 |   602115 |   416852 |    25408     33 |      684 |      496
1180.81/1181.05	c 1180s |      18 |   603067 |   417652 |    25408     33 |      684 |      496
1182.91/1183.15	c 1182s |      18 |   603872 |   418352 |    25408     33 |      684 |      496
1185.11/1185.31	c 1185s |      18 |   604678 |   419052 |    25408     33 |      684 |      496
1187.11/1187.39	c 1187s |      18 |   605553 |   419752 |    25408     33 |      684 |      496
1189.21/1189.48	c 1189s |      18 |   606531 |   420552 |    25408     33 |      684 |      496
1191.51/1191.76	c 1191s |      18 |   607468 |   421352 |    25408     33 |      684 |      496
1193.71/1193.98	c 1193s |      18 |   608351 |   422052 |    25408     33 |      684 |      496
1196.01/1196.23	c 1195s |      18 |   609073 |   422652 |    25408     33 |      684 |      496
1198.31/1198.53	c 1198s |      18 |   609897 |   423352 |    25408     33 |      684 |      496
1200.51/1200.75	c 1200s |      18 |   610601 |   423952 |    25408     33 |      684 |      496
1202.71/1202.91	c 1202s |      18 |   611177 |   424452 |    25408     33 |      684 |      496
1204.81/1205.08	c 1204s |      18 |   611730 |   424952 |    25408     33 |      684 |      496
1207.41/1207.62	c 1207s |      18 |   612279 |   425452 |    25408     33 |      684 |      496
1209.61/1209.82	c 1209s |      18 |   612994 |   426052 |    25408     33 |      684 |      496
1211.91/1212.12	c 1211s |      18 |   613692 |   426652 |    25408     33 |      684 |      496
1214.21/1214.41	c 1214s |      18 |   614404 |   427252 |    25408     33 |      684 |      496
1216.31/1216.54	c 1216s |      18 |   614974 |   427752 |    25408     33 |      684 |      496
1218.51/1218.72	c 1218s |      18 |   615680 |   428352 |    25408     33 |      684 |      496
1220.51/1220.78	c 1220s |      18 |   616527 |   429052 |    25408     33 |      684 |      496
1222.81/1223.02	c 1222s |      18 |   617267 |   429652 |    25408     34 |      684 |      496
1224.91/1225.13	c 1224s |      18 |   618188 |   430452 |    25408     34 |      684 |      496
1227.01/1227.28	c 1227s |      18 |   618972 |   431152 |    25408     34 |      684 |      496
1229.21/1229.47	c 1229s |      18 |   619810 |   431852 |    25408     34 |      684 |      496
1231.40/1231.66	c 1231s |      18 |   620612 |   432552 |    25408     34 |      684 |      496
1233.60/1233.80	c 1233s |      18 |   621279 |   433152 |    25408     34 |      684 |      496
1235.70/1235.94	c 1235s |      18 |   621943 |   433752 |    25408     34 |      684 |      496
1237.80/1238.09	c 1237s |      18 |   622750 |   434452 |    25408     34 |      684 |      496
1240.00/1240.24	c 1239s |      18 |   623643 |   435152 |    25408     34 |      684 |      496
1242.10/1242.38	c 1242s |      18 |   624482 |   435852 |    25408     34 |      684 |      496
1244.20/1244.49	c 1244s |      18 |   625418 |   436652 |    25408     34 |      684 |      496
1246.40/1246.67	c 1246s |      18 |   626276 |   437352 |    25408     34 |      684 |      496
1248.70/1248.93	c 1248s |      18 |   627125 |   438052 |    25408     34 |      684 |      496
1251.00/1251.25	c 1250s |      18 |   627957 |   438752 |    25408     34 |      684 |      496
1253.10/1253.33	c 1253s |      18 |   628634 |   439352 |    25408     34 |      684 |      496
1255.40/1255.66	c 1255s |      18 |   629335 |   439952 |    25408     34 |      684 |      496
1257.50/1257.79	c 1257s |      18 |   630006 |   440552 |    25408     34 |      684 |      496
1259.80/1260.09	c 1259s |      18 |   630731 |   441152 |    25408     34 |      684 |      496
1262.10/1262.31	c 1262s |      18 |   631447 |   441752 |    27949     34 |      684 |      496
1264.30/1264.57	c 1264s |      18 |   632037 |   442252 |    27949     34 |      684 |      496
1266.50/1266.79	c 1266s |      18 |   632752 |   442852 |    27949     34 |      684 |      496
1268.80/1269.06	c 1268s |      18 |   633459 |   443452 |    27949     34 |      684 |      496
1270.80/1271.07	c 1270s |      18 |   634032 |   443952 |    27949     34 |      684 |      496
1272.80/1273.06	c 1272s |      19 |   634647 |   444482 |    27949     34 |      684 |      496
1274.81/1275.06	c 1274s |      19 |   640004 |   445282 |    27949     35 |      684 |      496
1276.90/1277.19	c 1276s |      19 |   644259 |   447182 |    27949     35 |      684 |      496
1279.00/1279.25	c 1278s |      19 |   646528 |   448682 |    27949     35 |      684 |      496
1281.10/1281.32	c 1281s |      19 |   647999 |   449982 |    27949     35 |      684 |      496
1283.20/1283.46	c 1283s |      19 |   649514 |   451282 |    27949     35 |      684 |      496
1285.20/1285.49	c 1285s |      19 |   650750 |   452382 |    27949     35 |      684 |      496
1287.20/1287.49	c 1287s |      19 |   651855 |   453382 |    27949     35 |      684 |      496
1289.50/1289.71	c 1289s |      19 |   652965 |   454382 |    27949     35 |      684 |      496
1291.49/1291.75	c 1291s |      19 |   653837 |   455182 |    27949     35 |      684 |      496
1293.69/1293.99	c 1293s |      19 |   654805 |   456082 |    27949     35 |      684 |      496
1295.89/1296.13	c 1295s |      19 |   655674 |   456882 |    27949     35 |      684 |      496
1298.09/1298.36	c 1298s |      19 |   656683 |   457782 |    27949     35 |      684 |      496
1300.39/1300.69	c 1300s |      19 |   657568 |   458582 |    27949     35 |      684 |      496
1302.49/1302.71	c 1302s |      19 |   658390 |   459282 |    27949     35 |      684 |      496
1304.50/1304.78	c 1304s |      19 |   663398 |   460682 |    27949     36 |      684 |      496
1306.60/1306.90	c 1306s |      19 |   665730 |   462082 |    27949     36 |      684 |      496
1308.69/1308.94	c 1308s |      19 |   668247 |   463382 |    27949     36 |      684 |      496
1310.79/1311.07	c 1310s |      19 |   669868 |   464482 |    27949     36 |      684 |      496
1313.09/1313.40	c 1313s |      19 |   671067 |   465382 |    27949     36 |      684 |      496
1315.19/1315.48	c 1315s |      19 |   671956 |   466082 |    27949     36 |      684 |      496
1317.28/1317.57	c 1317s |      19 |   672785 |   466782 |    27949     36 |      684 |      496
1319.28/1319.58	c 1319s |      19 |   673515 |   467382 |    27949     36 |      684 |      496
1321.38/1321.67	c 1321s |      19 |   674323 |   468082 |    27949     36 |      684 |      496
1323.58/1323.84	c 1323s |      19 |   675002 |   468682 |    27949     36 |      684 |      496
1325.78/1326.02	c 1325s |      19 |   675626 |   469182 |    27949     36 |      684 |      496
1327.88/1328.18	c 1327s |      19 |   676833 |   470082 |    27949     36 |      684 |      496
1330.08/1330.38	c 1330s |      19 |   677972 |   470982 |    27949     36 |      684 |      496
1332.18/1332.41	c 1332s |      19 |   678890 |   471682 |    27949     36 |      684 |      496
1334.38/1334.61	c 1334s |      19 |   679793 |   472382 |    27949     36 |      684 |      496
1336.58/1336.80	c 1336s |      19 |   680648 |   473082 |    27949     36 |      684 |      496
1338.58/1338.86	c 1338s |      19 |   681371 |   473682 |    27949     36 |      684 |      496
1340.98/1341.26	c 1340s |      19 |   682085 |   474282 |    27949     36 |      684 |      496
1343.18/1343.47	c 1343s |      19 |   682775 |   474882 |    27949     36 |      684 |      496
1345.48/1345.72	c 1345s |      19 |   683504 |   475482 |    27949     36 |      684 |      496
1347.58/1347.81	c 1347s |      19 |   684079 |   475982 |    27949     36 |      684 |      496
1349.58/1349.88	c 1349s |      19 |   684681 |   476482 |    27949     37 |      684 |      496
1352.07/1352.31	c 1352s |      19 |   685499 |   477182 |    27949     37 |      684 |      496
1354.18/1354.44	c 1354s |      19 |   686343 |   477882 |    27949     37 |      684 |      496
1356.48/1356.71	c 1356s |      19 |   687212 |   478582 |    27949     37 |      684 |      496
1358.68/1358.95	c 1358s |      19 |   688083 |   479282 |    27949     37 |      684 |      496
1360.98/1361.28	c 1360s |      19 |   688900 |   479982 |    27949     37 |      684 |      496
1363.28/1363.59	c 1363s |      19 |   689618 |   480582 |    27949     37 |      684 |      496
1365.38/1365.64	c 1365s |      19 |   690584 |   481282 |    27949     37 |      684 |      496
1367.68/1367.94	c 1367s |      19 |   691857 |   482182 |    27949     37 |      684 |      496
1369.78/1370.07	c 1369s |      19 |   692730 |   482882 |    27949     37 |      684 |      496
1372.18/1372.40	c 1372s |      19 |   693630 |   483582 |    27949     37 |      684 |      496
1374.18/1374.49	c 1374s |      19 |   694408 |   484182 |    27949     37 |      684 |      496
1376.27/1376.58	c 1376s |      19 |   695273 |   484882 |    27949     37 |      684 |      496
1378.47/1378.78	c 1378s |      19 |   696240 |   485582 |    27949     37 |      684 |      496
1380.67/1380.95	c 1380s |      19 |   697294 |   486382 |    27949     37 |      684 |      496
1382.77/1383.06	c 1382s |      19 |   698226 |   487082 |    27949     37 |      684 |      496
1384.87/1385.16	c 1384s |      19 |   699086 |   487782 |    27949     37 |      684 |      496
1386.98/1387.22	c 1386s |      19 |   699951 |   488482 |    27949     37 |      684 |      496
1389.18/1389.44	c 1389s |      19 |   700819 |   489182 |    27949     37 |      684 |      496
1391.28/1391.58	c 1391s |      19 |   701525 |   489782 |    27949     37 |      684 |      496
1393.77/1394.01	c 1393s |      19 |   702336 |   490482 |    27949     37 |      684 |      496
1395.78/1396.03	c 1395s |      19 |   703024 |   491082 |    27949     37 |      684 |      496
1397.98/1398.24	c 1397s |      19 |   703704 |   491682 |    27949     37 |      684 |      496
1400.27/1400.55	c 1400s |      19 |   704163 |   492082 |    27949     38 |      684 |      496
1402.37/1402.66	c 1402s |      19 |   704827 |   492682 |    27949     38 |      684 |      496
1404.67/1404.96	c 1404s |      19 |   705626 |   493382 |    27949     38 |      684 |      496
1406.67/1406.97	c 1406s |      19 |   706305 |   493982 |    27949     38 |      684 |      496
1408.97/1409.24	c 1408s |      19 |   707198 |   494782 |    27949     38 |      684 |      496
1411.07/1411.37	c 1411s |      19 |   707965 |   495482 |    27949     38 |      684 |      496
1413.27/1413.58	c 1413s |      19 |   708853 |   496182 |    27949     38 |      684 |      496
1415.36/1415.64	c 1415s |      19 |   709736 |   496882 |    27949     38 |      684 |      496
1417.37/1417.68	c 1417s |      19 |   710621 |   497582 |    27949     38 |      684 |      496
1419.47/1419.75	c 1419s |      19 |   711344 |   498182 |    27949     38 |      684 |      496
1421.57/1421.88	c 1421s |      19 |   712125 |   498782 |    27949     38 |      684 |      496
1423.77/1424.06	c 1423s |      19 |   712835 |   499382 |    27949     38 |      684 |      496
1426.07/1426.39	c 1426s |      19 |   713695 |   500082 |    27949     38 |      684 |      496
1428.27/1428.59	c 1428s |      19 |   714388 |   500682 |    27949     38 |      684 |      496
1430.37/1430.68	c 1430s |      19 |   715141 |   501282 |    27949     38 |      684 |      496
1432.57/1432.82	c 1432s |      19 |   715703 |   501782 |    27949     38 |      684 |      496
1434.57/1434.82	c 1434s |      19 |   716291 |   502282 |    27949     38 |      684 |      496
1436.57/1436.86	c 1436s |      19 |   716864 |   502782 |    27949     38 |      684 |      496
1438.77/1439.04	c 1438s |      19 |   717482 |   503282 |    27949     38 |      684 |      496
1441.17/1441.44	c 1441s |      19 |   718038 |   503782 |    27949     38 |      684 |      496
1443.27/1443.58	c 1443s |      19 |   718622 |   504282 |    27949     38 |      684 |      496
1445.57/1445.89	c 1445s |      19 |   719176 |   504782 |    27949     38 |      684 |      496
1447.96/1448.25	c 1447s |      19 |   719755 |   505282 |    27949     38 |      684 |      496
1450.16/1450.49	c 1450s |      19 |   720333 |   505782 |    27949     38 |      684 |      496
1452.46/1452.72	c 1452s |      19 |   720879 |   506282 |    27949     38 |      684 |      496
1454.56/1454.86	c 1454s |      19 |   721306 |   506682 |    27949     38 |      684 |      496
1456.66/1456.92	c 1456s |      19 |   721762 |   507082 |    27949     38 |      684 |      496
1459.57/1459.88	c 1459s |      19 |   722340 |   507582 |    27949     39 |      684 |      496
1461.86/1462.14	c 1461s |      19 |   722996 |   508182 |    27949     39 |      684 |      496
1464.16/1464.40	c 1464s |      19 |   723676 |   508782 |    27949     39 |      684 |      496
1466.16/1466.48	c 1466s |      19 |   724451 |   509382 |    27949     39 |      684 |      496
1468.16/1468.49	c 1468s |      19 |   725394 |   510082 |    27949     39 |      684 |      496
1470.26/1470.53	c 1470s |      19 |   725958 |   510582 |    27949     39 |      684 |      496
1472.56/1472.84	c 1472s |      19 |   726813 |   511282 |    27949     39 |      684 |      496
1474.66/1474.93	c 1474s |      19 |   727522 |   511882 |    27949     39 |      684 |      496
1476.85/1477.17	c 1476s |      19 |   728366 |   512582 |    27949     39 |      684 |      496
1479.15/1479.46	c 1479s |      19 |   729169 |   513282 |    27949     39 |      684 |      496
1481.25/1481.50	c 1481s |      19 |   729867 |   513882 |    27949     39 |      684 |      496
1483.55/1483.81	c 1483s |      19 |   730684 |   514582 |    27949     39 |      684 |      496
1485.86/1486.14	c 1485s |      19 |   731375 |   515182 |    27949     39 |      684 |      496
1488.16/1488.42	c 1488s |      19 |   732202 |   515882 |    27949     39 |      684 |      496
1490.55/1490.85	c 1490s |      19 |   732891 |   516482 |    27949     39 |      684 |      496
1492.56/1492.87	c 1492s |      19 |   733612 |   517082 |    27949     39 |      684 |      496
1494.66/1494.97	c 1494s |      19 |   734479 |   517782 |    27949     39 |      684 |      496
1496.96/1497.21	c 1496s |      19 |   735321 |   518482 |    27949     39 |      684 |      496
1499.06/1499.37	c 1499s |      19 |   736146 |   519182 |    27949     39 |      684 |      496
1501.15/1501.50	c 1501s |      19 |   736881 |   519782 |    27949     39 |      684 |      496
1503.46/1503.77	c 1503s |      19 |   737704 |   520482 |    27949     39 |      684 |      496
1505.55/1505.88	c 1505s |      19 |   738421 |   521082 |    27949     39 |      684 |      496
1507.65/1507.91	c 1507s |      19 |   739127 |   521682 |    27949     39 |      684 |      496
1509.95/1510.22	c 1509s |      19 |   739827 |   522282 |    27949     39 |      684 |      496
1512.26/1512.55	c 1512s |      19 |   740535 |   522882 |    27949     39 |      684 |      496
1514.46/1514.75	c 1514s |      19 |   741009 |   523282 |    27949     40 |      684 |      496
1516.55/1516.88	c 1516s |      19 |   741871 |   523982 |    27949     40 |      684 |      496
1518.65/1518.95	c 1518s |      19 |   742765 |   524682 |    27949     40 |      684 |      496
1520.75/1521.07	c 1520s |      19 |   743463 |   525282 |    27949     40 |      684 |      496
1522.85/1523.17	c 1522s |      19 |   744302 |   525982 |    27949     40 |      684 |      496
1525.15/1525.43	c 1525s |      19 |   745117 |   526682 |    27949     40 |      684 |      496
1527.15/1527.45	c 1527s |      19 |   745834 |   527282 |    27949     40 |      684 |      496
1529.24/1529.57	c 1529s |      19 |   746546 |   527882 |    27949     40 |      684 |      496
1531.44/1531.75	c 1531s |      19 |   747243 |   528482 |    27949     40 |      684 |      496
1533.54/1533.80	c 1533s |      19 |   747820 |   528982 |    27949     40 |      684 |      496
1535.74/1536.06	c 1535s |      19 |   748526 |   529582 |    27949     40 |      684 |      496
1537.94/1538.20	c 1537s |      19 |   749217 |   530182 |    27949     40 |      684 |      496
1539.93/1540.28	c 1540s |      19 |   749815 |   530682 |    27949     40 |      684 |      496
1542.04/1542.32	c 1542s |      19 |   750268 |   531082 |    27949     40 |      684 |      496
1544.14/1544.50	c 1544s |      19 |   750855 |   531582 |    27949     40 |      684 |      496
1546.53/1546.81	c 1546s |      19 |   751546 |   532182 |    27949     40 |      684 |      496
1548.54/1548.83	c 1548s |      19 |   752106 |   532682 |    27949     40 |      684 |      496
1550.63/1550.95	c 1550s |      19 |   752728 |   533182 |    27949     40 |      684 |      496
1552.83/1553.16	c 1552s |      19 |   753303 |   533682 |    27949     40 |      684 |      496
1555.14/1555.46	c 1555s |      19 |   753842 |   534182 |    27949     40 |      684 |      496
1557.44/1557.72	c 1557s |      19 |   754418 |   534682 |    27949     40 |      684 |      496
1559.73/1560.05	c 1559s |      19 |   754981 |   535182 |    27949     40 |      684 |      496
1562.03/1562.30	c 1562s |      19 |   755556 |   535682 |    27949     40 |      684 |      496
1564.33/1564.61	c 1564s |      19 |   756132 |   536182 |    27949     40 |      684 |      496
1566.43/1566.79	c 1566s |      19 |   756700 |   536682 |    27949     40 |      684 |      496
1568.62/1568.97	c 1568s |      19 |   757262 |   537182 |    27949     40 |      684 |      496
1570.92/1571.28	c 1570s |      19 |   757818 |   537682 |    27949     40 |      684 |      496
1573.12/1573.45	c 1573s |      19 |   758371 |   538182 |    27949     40 |      684 |      496
1575.52/1575.83	c 1575s |      19 |   758924 |   538682 |    27949     40 |      684 |      496
1577.62/1577.93	c 1577s |      19 |   759253 |   538982 |    27949     41 |      684 |      496
1579.62/1579.97	c 1579s |      19 |   759929 |   539582 |    27949     41 |      684 |      496
1581.92/1582.27	c 1581s |      19 |   760578 |   540182 |    27949     41 |      684 |      496
1584.02/1584.39	c 1584s |      19 |   761287 |   540782 |    27949     41 |      684 |      496
1586.22/1586.56	c 1586s |      19 |   761974 |   541382 |    27949     41 |      684 |      496
1588.62/1588.90	c 1588s |      19 |   762819 |   542082 |    27949     41 |      684 |      496
1590.61/1590.98	c 1590s |      19 |   763413 |   542582 |    27949     41 |      684 |      496
1592.91/1593.25	c 1592s |      19 |   764106 |   543182 |    27949     41 |      684 |      496
1595.11/1595.40	c 1595s |      19 |   764664 |   543682 |    27949     41 |      684 |      496
1597.31/1597.64	c 1597s |      19 |   765319 |   544282 |    27949     41 |      684 |      496
1599.41/1599.79	c 1599s |      19 |   765886 |   544782 |    27949     41 |      684 |      496
1601.61/1601.91	c 1601s |      19 |   766423 |   545282 |    27949     41 |      684 |      496
1603.91/1604.28	c 1603s |      19 |   766961 |   545782 |    27949     41 |      684 |      496
1606.11/1606.40	c 1606s |      19 |   767533 |   546282 |    27949     41 |      684 |      496
1608.31/1608.65	c 1608s |      19 |   768083 |   546782 |    27949     41 |      684 |      496
1610.60/1610.90	c 1610s |      19 |   768640 |   547282 |    27949     41 |      684 |      496
1612.80/1613.16	c 1612s |      19 |   769199 |   547782 |    27949     41 |      684 |      496
1615.10/1615.40	c 1615s |      19 |   769745 |   548282 |    27949     41 |      684 |      496
1617.40/1617.79	c 1617s |      19 |   770295 |   548782 |    27949     41 |      684 |      496
1619.59/1619.97	c 1619s |      19 |   770734 |   549182 |    27949     41 |      684 |      496
1622.09/1622.48	c 1622s |      19 |   771291 |   549682 |    27949     41 |      684 |      496
1624.09/1624.48	c 1624s |      19 |   771731 |   550082 |    27949     41 |      684 |      496
1626.39/1626.71	c 1626s |      19 |   772170 |   550482 |    27949     41 |      684 |      496
1628.80/1629.19	c 1628s |      19 |   772729 |   550982 |    27949     41 |      684 |      496
1631.29/1631.67	c 1631s |      19 |   773297 |   551482 |    27949     41 |      684 |      496
1633.49/1633.89	c 1633s |      19 |   773727 |   551882 |    27949     41 |      684 |      496
1635.59/1635.98	c 1635s |      19 |   774169 |   552282 |    27949     41 |      684 |      496
1637.69/1638.07	c 1637s |      19 |   774588 |   552682 |    27949     41 |      684 |      496
1639.99/1640.35	c 1640s |      19 |   775040 |   553082 |    27949     41 |      684 |      496
1642.29/1642.63	c 1642s |      19 |   775595 |   553582 |    27949     41 |      684 |      496
1644.39/1644.79	c 1644s |      19 |   776174 |   554082 |    27949     41 |      684 |      496
1646.59/1646.96	c 1646s |      19 |   776500 |   554382 |    27949     42 |      684 |      496
1648.60/1648.99	c 1648s |      19 |   777088 |   554882 |    27949     42 |      684 |      496
1650.99/1651.35	c 1651s |      19 |   777636 |   555382 |    27949     42 |      684 |      496
1653.38/1653.71	c 1653s |      19 |   778567 |   556082 |    27949     42 |      684 |      496
1655.48/1655.85	c 1655s |      19 |   779364 |   556782 |    27949     42 |      684 |      496
1657.78/1658.14	c 1657s |      19 |   780205 |   557482 |    27949     42 |      684 |      496
1659.88/1660.29	c 1660s |      19 |   780938 |   558082 |    27949     42 |      684 |      496
1662.08/1662.49	c 1662s |      19 |   781640 |   558682 |    27949     42 |      684 |      496
1664.38/1664.70	c 1664s |      19 |   782357 |   559282 |    27949     42 |      684 |      496
1666.47/1666.86	c 1666s |      19 |   783158 |   559882 |    27949     42 |      684 |      496
1668.48/1668.89	c 1668s |      19 |   783902 |   560482 |    27949     42 |      684 |      496
1670.77/1671.11	c 1670s |      19 |   784590 |   561082 |    27949     42 |      684 |      496
1672.77/1673.16	c 1672s |      19 |   785315 |   561682 |    27949     42 |      684 |      496
1674.87/1675.25	c 1674s |      19 |   785914 |   562182 |    27949     42 |      684 |      496
1677.27/1677.61	c 1677s |      19 |   786635 |   562782 |    27949     42 |      684 |      496
1679.56/1679.93	c 1679s |      19 |   787221 |   563282 |    27949     42 |      684 |      496
1681.86/1682.27	c 1681s |      19 |   787761 |   563782 |    27949     42 |      684 |      496
1684.06/1684.41	c 1684s |      19 |   788317 |   564282 |    27949     42 |      684 |      496
1686.16/1686.54	c 1686s |      19 |   788872 |   564782 |    27949     42 |      684 |      496
1688.36/1688.73	c 1688s |      19 |   789430 |   565282 |    27949     42 |      684 |      496
1690.65/1691.02	c 1690s |      19 |   790017 |   565782 |    27949     42 |      684 |      496
1692.85/1693.23	c 1692s |      19 |   790591 |   566282 |    27949     42 |      684 |      496
1695.35/1695.70	c 1695s |      19 |   791153 |   566782 |    27949     42 |      684 |      496
1697.35/1697.79	c 1697s |      19 |   791604 |   567182 |    27949     42 |      684 |      496
1699.44/1699.87	c 1699s |      19 |   792256 |   567682 |    27949     42 |      684 |      496
1701.64/1702.00	c 1701s |      19 |   793080 |   568282 |    27949     42 |      684 |      496
1703.94/1704.39	c 1704s |      19 |   793821 |   568882 |    27949     42 |      684 |      496
1706.05/1706.41	c 1706s |      19 |   794456 |   569382 |    27949     42 |      684 |      496
1708.65/1709.07	c 1708s |      19 |   795081 |   569882 |    27949     43 |      684 |      496
1710.94/1711.35	c 1711s |      19 |   796031 |   570682 |    27949     43 |      684 |      496
1713.04/1713.40	c 1713s |      19 |   796740 |   571282 |    27949     43 |      684 |      496
1715.14/1715.58	c 1715s |      19 |   797701 |   572082 |    27949     43 |      684 |      496
1717.44/1717.84	c 1717s |      19 |   798556 |   572782 |    27949     43 |      684 |      496
1719.54/1719.96	c 1719s |      19 |   799252 |   573382 |    27949     43 |      684 |      496
1721.74/1722.13	c 1721s |      19 |   799962 |   573982 |    27949     43 |      684 |      496
1723.83/1724.27	c 1723s |      19 |   800662 |   574582 |    27949     43 |      684 |      496
1726.13/1726.51	c 1726s |      19 |   801371 |   575182 |    27949     43 |      684 |      496
1728.33/1728.77	c 1728s |      19 |   802066 |   575782 |    27949     43 |      684 |      496
1730.53/1730.94	c 1730s |      19 |   802621 |   576282 |    27949     43 |      684 |      496
1732.53/1732.95	c 1732s |      19 |   803187 |   576782 |    27949     43 |      684 |      496
1734.83/1735.20	c 1734s |      19 |   803756 |   577282 |    27949     43 |      684 |      496
1737.02/1737.48	c 1737s |      19 |   804296 |   577782 |    27949     43 |      684 |      496
1739.22/1739.62	c 1739s |      19 |   804854 |   578282 |    27949     43 |      684 |      496
1741.32/1741.75	c 1741s |      19 |   805587 |   578882 |    27949     43 |      684 |      496
1743.52/1743.97	c 1743s |      19 |   806333 |   579482 |    27949     43 |      684 |      496
1745.82/1746.23	c 1745s |      19 |   806912 |   579982 |    27949     43 |      684 |      496
1747.92/1748.37	c 1748s |      19 |   807487 |   580482 |    27949     43 |      684 |      496
1750.21/1750.66	c 1750s |      19 |   808071 |   580982 |    27949     43 |      684 |      496
1752.51/1752.97	c 1752s |      19 |   808660 |   581482 |    27949     43 |      684 |      496
1754.71/1755.19	c 1754s |      19 |   809229 |   581982 |    27949     43 |      684 |      496
1757.01/1757.45	c 1757s |      19 |   809807 |   582482 |    27949     43 |      684 |      496
1759.40/1759.81	c 1759s |      19 |   810370 |   582982 |    27949     43 |      684 |      496
1761.40/1761.82	c 1761s |      19 |   810829 |   583382 |    27949     43 |      684 |      496
1763.50/1763.91	c 1763s |      19 |   811284 |   583782 |    27949     43 |      684 |      496
1765.50/1765.99	c 1765s |      19 |   811602 |   584082 |    27949     43 |      684 |      496
1768.10/1768.50	c 1768s |      19 |   812036 |   584482 |    27949     43 |      684 |      496
1770.10/1770.55	c 1770s |      19 |   812474 |   584882 |    27949     43 |      684 |      496
1772.50/1772.95	c 1772s |      19 |   812919 |   585282 |    27949     43 |      684 |      496
1774.70/1775.14	c 1774s |      19 |   813265 |   585582 |    27949     44 |      684 |      496
1776.90/1777.34	c 1777s |      19 |   813818 |   586082 |    27949     44 |      684 |      496
1779.09/1779.58	c 1779s |      19 |   814365 |   586582 |    27949     44 |      684 |      496
1781.49/1781.94	c 1781s |      19 |   815044 |   587182 |    27949     44 |      684 |      496
1783.69/1784.18	c 1783s |      19 |   815710 |   587782 |    27949     44 |      684 |      496
1785.89/1786.39	c 1786s |      19 |   816407 |   588382 |    27949     44 |      684 |      496
1788.39/1788.82	c 1788s |      19 |   817085 |   588982 |    27949     44 |      684 |      496
1790.69/1791.14	c 1790s |      19 |   817638 |   589482 |    27949     44 |      684 |      496
1792.99/1793.45	c 1793s |      19 |   818203 |   589982 |    27949     44 |      684 |      496
1795.39/1795.83	c 1795s |      19 |   818791 |   590482 |    27949     44 |      684 |      496
1797.39/1797.84	c 1797s |      19 |   819428 |   590982 |    27949     44 |      684 |      496
1799.58/1800.07	c 1799s |      19 |   820259 |   591582 |    27949     44 |      684 |      496

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 25054
/proc/meminfo: memFree=29611232/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 2601 0 0 0 0 0 0 0 20 0 4 0 30810712 714534912 2962 33554432000 4194304 16246674 140733970908880 140733970908304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 175215 2971 441 2943 0 172109 0
[pid=25054/tid=25055] ppid=25051 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 731312128 3025 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 735506432 3042 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 740749312 3058 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 25054
/proc/meminfo: memFree=29611232/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 28470 0 0 0 5 4 0 0 20 0 4 0 30810712 1249447936 28769 33554432000 4194304 16246674 140733970908880 140733970908192 4220940 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 305041 28769 801 2943 0 301935 0
[pid=25054/tid=25055] ppid=25051 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1249447936 28769 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1249447936 28769 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1249447936 28769 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200554 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 25054
/proc/meminfo: memFree=29611232/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 48675 0 0 0 13 6 0 0 20 0 4 0 30810712 1332285440 48974 33554432000 4194304 16246674 140733970908880 140733970908192 5932549 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 325265 48974 842 2943 0 322159 0
[pid=25054/tid=25055] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 48974 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 48974 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 48974 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300501 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 25054
/proc/meminfo: memFree=29611232/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 54361 0 0 0 22 7 0 0 20 0 4 0 30810712 1332285440 54660 33554432000 4194304 16246674 140733970908880 140733970908192 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 325265 54666 882 2943 0 322159 0
[pid=25054/tid=25055] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 54670 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 54674 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 54677 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700418 s]
/proc/loadavg: 2.15 2.16 2.17 3/179 25054
/proc/meminfo: memFree=29611232/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 105199 0 0 0 54 15 0 0 20 0 4 0 30810712 1332285440 105498 33554432000 4194304 16246674 140733970908880 140733970890752 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 325265 105504 882 2943 0 322159 0
[pid=25054/tid=25055] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 105510 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 105516 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1332285440 105524 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 25058
/proc/meminfo: memFree=28978380/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 211626 0 0 0 117 32 0 0 20 0 4 0 30810712 1333334016 211925 33554432000 4194304 16246674 140733970908880 140733970890752 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 325521 211931 882 2943 0 322415 0
[pid=25054/tid=25055] ppid=25051 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1333334016 211934 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1333334016 211937 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1333334016 211940 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10038 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 25058
/proc/meminfo: memFree=28533452/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 269324 0 0 0 268 41 0 0 20 0 4 0 30810712 1344868352 269623 33554432000 4194304 16246674 140733970908880 140733970890752 5823234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 328337 269623 888 2943 0 325231 0
[pid=25054/tid=25055] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269623 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269623 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269623 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.22 2.18 2.17 4/183 25058
/proc/meminfo: memFree=28532732/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 269524 0 0 0 588 41 0 0 20 0 4 0 30810712 1344868352 269823 33554432000 4194304 16246674 140733970908880 140733970890752 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 328337 269823 888 2943 0 325231 0
[pid=25054/tid=25055] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269823 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269823 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269823 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.20 2.17 2.17 4/183 25058
/proc/meminfo: memFree=28532856/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 269526 0 0 0 1228 41 0 0 20 0 4 0 30810712 1344868352 269825 33554432000 4194304 16246674 140733970908880 140733970890752 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 328337 269825 890 2943 0 325231 0
[pid=25054/tid=25055] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269825 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269825 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269825 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 25058
/proc/meminfo: memFree=28533460/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 269527 0 0 0 2508 41 0 0 20 0 4 0 30810712 1344868352 269826 33554432000 4194304 16246674 140733970908880 140733970890752 13923754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 328337 269826 891 2943 0 325231 0
[pid=25054/tid=25055] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269826 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269826 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269826 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.26 2.18 2.17 4/183 25058
/proc/meminfo: memFree=28533336/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 269528 0 0 0 5067 41 0 0 20 0 4 0 30810712 1344868352 269827 33554432000 4194304 16246674 140733970908880 140733970890752 12477787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 328337 269827 892 2943 0 325231 0
[pid=25054/tid=25055] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269827 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269827 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1344868352 269827 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.25 2.19 2.18 3/184 25062
/proc/meminfo: memFree=28513196/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 271370 0 0 0 10186 42 0 0 20 0 4 0 30810712 1353256960 271669 33554432000 4194304 16246674 140733970908880 140733970890752 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 330385 271669 892 2943 0 327279 0
[pid=25054/tid=25055] ppid=25051 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1353256960 271669 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1353256960 271669 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1353256960 271669 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.14 2.11 2.10 3/183 25126
/proc/meminfo: memFree=28478704/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1362.08 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276716 0 0 0 136157 51 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970908056 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.18 2.12 2.10 3/183 25127
/proc/meminfo: memFree=28478848/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1422.08 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276717 0 0 0 142156 52 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 12477709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.18 2.12 2.10 3/183 25128
/proc/meminfo: memFree=28478828/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1482.05 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276720 0 0 0 148153 52 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.21 2.14 2.11 3/183 25130
/proc/meminfo: memFree=28478980/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1542.04 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276734 0 0 0 154152 52 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 12483370 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.19 2.16 2.11 3/183 25131
/proc/meminfo: memFree=28478920/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1602.01 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276766 0 0 0 160148 53 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.10 2.14 2.10 3/183 25132
/proc/meminfo: memFree=28478884/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1661.98 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276811 0 0 0 166144 54 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.17 2.14 2.10 4/183 25133
/proc/meminfo: memFree=28478440/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1721.94 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276857 0 0 0 172139 55 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 1.85 2.08 2.08 2/173 25165
/proc/meminfo: memFree=29592684/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1781.89 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276904 0 0 0 178134 55 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.73 2.04 2.07 2/173 25165
/proc/meminfo: memFree=29593172/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1800.08 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276919 0 0 0 179952 56 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1342020

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

[startup+1800.5 s]
/proc/loadavg: 1.73 2.04 2.07 2/173 25165
/proc/meminfo: memFree=29593172/32872528 swapFree=1085692/1157232
[pid=25054] ppid=25051 vsize=1342020 CPUtime=1800.08 cores=1,3,5,7
/proc/25054/stat : 25054 (toysat) R 25051 25054 21062 0 -1 4202496 276919 0 0 0 179952 56 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140733970890752 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25054/statm: 335505 277251 892 2943 0 332399 0
[pid=25054/tid=25055] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25055/stat : 25055 (toysat) S 25051 25054 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452364791024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25054/tid=25056] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25056/stat : 25056 (toysat) S 25051 25054 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452354301168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25054/tid=25057] ppid=25051 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25054/task/25057/stat : 25057 (toysat) S 25051 25054 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30810712 1374228480 277251 33554432000 4194304 16246674 140733970908880 140452275678384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1342020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.1
CPU user time (s): 1799.53
CPU system time (s): 0.571913
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.571913
maximum resident set size= 1109004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276919
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= 238
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51731 second user time and 7.00693 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 23:48:31
IDJOB=4117117
IDBENCH=109555
IDSOLVER=2542
FILE ID=node114/4117117-1466977711
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117117-1466977711/watcher-4117117-1466977711 -o /tmp/evaluation-result-4117117-1466977711/solver-4117117-1466977711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21079 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117117-1466977711.opb

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

MD5SUM BENCH= be6a5b387b4c75ca4920353ba749df23
RANDOM SEED=1748929071

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29612024 kB
Buffers:           57384 kB
Cached:           227796 kB
SwapCached:        38928 kB
Active:          1144968 kB
Inactive:         255744 kB
Active(anon):    1080140 kB
Inactive(anon):    37760 kB
Active(file):      64828 kB
Inactive(file):   217984 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:       2235080 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             568452 kB
SReclaimable:      12624 kB
SUnreclaim:       555828 kB
KernelStack:        1488 kB
PageTables:         8632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2381300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71640 MiB
End job on node114 at 2016-06-27 00:18:32