Trace number 4116093

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-7.opb
MD5SUM1f2f356ca8bb85193bb403eac8ee557f
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 variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
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-26T19:47:42+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-4116093-1466963262.opb"]
0.00/0.01	c use --random-gen="1651518107 3543382603 292262664 1595418935 1358957135 2516850127 4028421608 3469493545 4143424818 1941598902 1055572050 1312583812 1669282596 520072465 3645926526 3295975209 129587578 669680991 2300473986 2657220335 305960476 1445103786 4092476817 4002126729 3992861191 2722467578 3234514692 2667808414 2633652560 81913669 604080037 2776920783 650482991 651933150 536604022 993531953 2009594254 3359022739 2930845895 3976405421 3350440606 3000960175 3174650896 3398390391 4219736387 2460162991 2444633075 3882723938 2313571747 1467467667 2189019397 2953483053 3329422559 3160380208 3640923118 4012830803 4265882142 2889746496 4265998421 4151371698 2101829787 3067358134 2182482440 3447351780 183008185 3303996152 2787260909 462762062 3011385200 3413124787 963672876 1168382687 3772505845 1514683311 1717104079 54818299 1339652004 4085642503 16155979 3609210141 2045028122 2546325757 1367539438 463478564 2700574327 3492857225 3398271833 546835210 3725191437 1898219427 721722031 2734246860 397483397 2599316919 985989754 846721419 500951235 1320924978 1363178240 968053285 1418118226 1917613095 75759660 4105025092 2358143866 1336057352 1498535743 2299225911 360544923 279862477 1815459771 1829934450 2575618696 981854142 508874355 1059511218 1680421899 1421903432 1161533177 3825147145 3864771031 648508383 2863176255 3627230023 2715035187 2591353508 2754943514 173263216 1768143994 3358255602 44773314 1329915948 992906053 3213714821 2033179975 1125662574 3782291558 556662882 3233024446 3891946951 1536752488 756628295 269565782 4009544702 920618652 1057954630 2072010427 369240815 151910112 2795651200 242069050 3888519335 390581512 1778446017 892501547 2760273615 2663592498 1526665687 229460211 928666290 1722777144 3568265340 3358239847 3630117235 1391227633 1310119731 65693749 2593821756 2369388396 3812689312 3091254908 1402515811 1773248706 1227817957 1265616930 346791398 4138558788 3810332571 3789515331 4015310447 3313473200 1413798246 1422862632 538404467 394661416 1691308144 1241589996 3511082630 2457918456 3071304758 3675717953 1731022040 4210560803 3319334999 2350891333 3874792773 3966094245 242379651 2613414147 868306193 1233484515 2037862170 2166047494 3113497719 287795915 714475763 1026659421 886727766 867894220 2141548851 678470871 3591829269 4247251766 4134284174 237313634 2513581005 1858572126 507444270 2669425771 2207354926 4039451723 3009092584 2688500650 3183132780 122742147 3022532697 164846597 331312336 154595100 1756198822 3414331005 3676959202 3901629669 756670368 1287012273 2290874191 2456786715 1431243496 2941251173 244884122 1800847185 587986392 476945641 839972784 1937810089 1938815457 3086997813 3247962110 672243817 2039702255 1105491440 427829539 4270822301 3160066397 1649549717 445856128 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/0.11	c #constraints 8704
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      746 |        0
0.28/0.32	c  0.1s |       1 |      570 |      100 |     4234      0 |      747 |      582
0.38/0.44	c  0.2s |       2 |     2865 |      250 |     4658      0 |      748 |      582
0.58/0.67	c  0.4s |       3 |     4393 |      475 |     5124      0 |      748 |      582
0.78/0.89	c  0.6s |       4 |     8077 |      813 |     5637      0 |      748 |      582
1.29/1.34	c  1.1s |       5 |    10998 |     1320 |     6201      0 |      748 |      582
2.09/2.10	c  1.8s |       6 |    15183 |     2081 |     7505      0 |      748 |      582
3.19/3.25	c  3.0s |       7 |    18904 |     3223 |     8256      0 |      748 |      582
4.19/4.27	c  4.0s |       8 |    27947 |     4936 |     9082      0 |      748 |      582
6.29/6.32	c  6.1s |       8 |    31390 |     6836 |     9082      0 |      748 |      582
6.89/6.98	c  6.7s |       9 |    32308 |     7506 |     9991      0 |      748 |      582
8.99/9.04	c  8.8s |       9 |    41214 |     9906 |     9991      0 |      748 |      582
10.39/10.42	c 10.2s |      10 |    44701 |    11361 |    10991      0 |      748 |      582
12.39/12.47	c 12.2s |      10 |    52789 |    13661 |    10991      0 |      748 |      582
14.49/14.53	c 14.3s |      10 |    56688 |    15561 |    10991      1 |      748 |      582
16.49/16.52	c 16.3s |      11 |    59359 |    17144 |    12091      1 |      748 |      582
18.59/18.68	c 18.4s |      11 |    63446 |    18844 |    12091      1 |      748 |      582
20.58/20.68	c 20.4s |      11 |    65895 |    20444 |    12091      1 |      748 |      582
22.68/22.78	c 22.5s |      11 |    67423 |    21744 |    12091      1 |      748 |      582
24.88/24.91	c 24.7s |      11 |    70479 |    23244 |    12091      2 |      748 |      582
26.88/26.99	c 26.7s |      11 |    72670 |    24544 |    12091      2 |      748 |      582
28.59/28.68	c 28.4s |      12 |    75083 |    25819 |    13301      2 |      748 |      582
30.58/30.69	c 30.4s |      12 |    84039 |    27919 |    13301      2 |      748 |      582
32.78/32.83	c 32.6s |      12 |    85885 |    29219 |    13301      2 |      748 |      582
34.88/34.97	c 34.7s |      12 |    87130 |    30319 |    13301      2 |      748 |      582
37.18/37.27	c 37.0s |      12 |    88172 |    31219 |    13301      3 |      748 |      582
39.38/39.46	c 39.2s |      12 |    89754 |    32419 |    13301      3 |      748 |      582
41.58/41.62	c 41.4s |      12 |    90899 |    33419 |    13301      3 |      748 |      582
43.68/43.79	c 43.5s |      12 |    92053 |    34419 |    13301      3 |      748 |      582
45.78/45.84	c 45.6s |      12 |    93140 |    35319 |    13301      3 |      748 |      582
47.78/47.86	c 47.6s |      12 |    94051 |    36119 |    13301      3 |      748 |      582
49.88/49.94	c 49.7s |      12 |    95001 |    36919 |    13301      3 |      748 |      582
52.08/52.11	c 51.9s |      12 |    96049 |    37819 |    13301      3 |      748 |      582
54.08/54.13	c 53.9s |      12 |    96953 |    38619 |    14632      3 |      748 |      582
54.58/54.69	c 54.4s |      13 |    97209 |    38832 |    14632      3 |      748 |      582
56.68/56.76	c 56.5s |      13 |   102070 |    40632 |    14632      4 |      748 |      582
58.68/58.76	c 58.5s |      13 |   104551 |    42232 |    14632      4 |      748 |      582
60.68/60.77	c 60.5s |      13 |   106325 |    43432 |    14632      4 |      748 |      582
62.78/62.82	c 62.6s |      13 |   108411 |    44532 |    14632      4 |      748 |      582
64.78/64.87	c 64.6s |      13 |   113279 |    46532 |    14632      4 |      748 |      582
66.97/67.03	c 66.8s |      13 |   115661 |    48132 |    14632      4 |      748 |      582
69.07/69.13	c 68.9s |      13 |   117593 |    49432 |    14632      5 |      748 |      582
71.07/71.17	c 70.9s |      13 |   119187 |    50632 |    14632      5 |      748 |      582
73.17/73.25	c 73.0s |      13 |   120771 |    51832 |    14632      5 |      748 |      582
75.27/75.35	c 75.1s |      13 |   122355 |    53032 |    14632      5 |      748 |      582
77.47/77.55	c 77.3s |      13 |   123588 |    54032 |    14632      5 |      748 |      582
79.47/79.59	c 79.3s |      13 |   125519 |    55232 |    14632      5 |      748 |      582
81.67/81.79	c 81.5s |      13 |   127045 |    56332 |    14632      5 |      748 |      582
83.77/83.83	c 83.6s |      13 |   128229 |    57232 |    14632      5 |      748 |      582
85.57/85.68	c 85.4s |      14 |   130228 |    58352 |    16096      6 |      748 |      582
87.67/87.76	c 87.5s |      14 |   134952 |    60052 |    16096      6 |      748 |      582
89.77/89.88	c 89.6s |      14 |   136887 |    61552 |    16096      6 |      748 |      582
91.97/92.01	c 91.8s |      14 |   139370 |    63052 |    16096      6 |      748 |      582
94.07/94.16	c 93.9s |      14 |   140927 |    64452 |    16096      6 |      748 |      582
96.27/96.30	c 96.0s |      14 |   142488 |    65752 |    16096      6 |      748 |      582
98.47/98.52	c 98.3s |      14 |   144227 |    67052 |    16096      6 |      748 |      582
100.87/100.93	c  100s |      14 |   145511 |    68152 |    16096      7 |      748 |      582
102.97/103.06	c  102s |      14 |   146672 |    69152 |    16096      7 |      748 |      582
105.07/105.18	c  104s |      14 |   147830 |    70152 |    16096      7 |      748 |      582
107.17/107.29	c  107s |      14 |   148861 |    71052 |    16096      7 |      748 |      582
109.27/109.39	c  109s |      14 |   149788 |    71852 |    16096      7 |      748 |      582
111.47/111.52	c  111s |      14 |   150691 |    72652 |    16096      7 |      748 |      582
113.57/113.62	c  113s |      14 |   151491 |    73352 |    16096      7 |      748 |      582
115.77/115.88	c  115s |      14 |   152256 |    74052 |    16096      7 |      748 |      582
117.97/118.02	c  117s |      14 |   153030 |    74752 |    16096      7 |      748 |      582
120.17/120.26	c  120s |      14 |   153809 |    75452 |    16096      7 |      748 |      582
122.37/122.43	c  122s |      14 |   154586 |    76152 |    16096      7 |      748 |      582
124.57/124.63	c  124s |      14 |   155691 |    77052 |    16096      7 |      748 |      582
126.86/126.92	c  126s |      14 |   156578 |    77852 |    16096      7 |      748 |      582
128.86/128.93	c  128s |      14 |   157336 |    78552 |    16096      8 |      748 |      582
130.97/131.07	c  130s |      14 |   158480 |    79552 |    16096      8 |      748 |      582
133.06/133.16	c  132s |      14 |   159367 |    80352 |    16096      8 |      748 |      582
135.06/135.19	c  134s |      14 |   160136 |    81052 |    16096      8 |      748 |      582
137.26/137.32	c  137s |      14 |   160890 |    81752 |    16096      8 |      748 |      582
139.26/139.39	c  139s |      14 |   161648 |    82452 |    16096      8 |      748 |      582
141.45/141.54	c  141s |      14 |   162408 |    83152 |    16096      8 |      748 |      582
143.55/143.61	c  143s |      14 |   163044 |    83752 |    16096      8 |      748 |      582
145.55/145.63	c  145s |      14 |   163695 |    84352 |    16096      8 |      748 |      582
147.75/147.89	c  147s |      14 |   164446 |    85052 |    16096      8 |      748 |      582
149.95/150.07	c  149s |      14 |   165102 |    85652 |    16096      8 |      748 |      582
151.95/152.10	c  151s |      14 |   165770 |    86252 |    16096      8 |      748 |      582
154.35/154.43	c  154s |      14 |   166513 |    86952 |    16096      8 |      748 |      582
156.35/156.49	c  156s |      14 |   167037 |    87452 |    17706      8 |      748 |      582
157.15/157.25	c  156s |      15 |   167232 |    87632 |    17706      8 |      748 |      582
159.25/159.31	c  159s |      15 |   170596 |    89032 |    17706      9 |      748 |      582
161.25/161.36	c  161s |      15 |   172108 |    90232 |    17706      9 |      748 |      582
163.35/163.40	c  163s |      15 |   178685 |    91932 |    17706      9 |      748 |      582
165.35/165.46	c  165s |      15 |   180076 |    93132 |    17706      9 |      748 |      582
167.45/167.50	c  167s |      15 |   182110 |    94332 |    17706      9 |      748 |      582
169.46/169.52	c  169s |      15 |   187826 |    96132 |    17706      9 |      748 |      582
171.45/171.54	c  171s |      15 |   189458 |    97232 |    17706      9 |      748 |      582
173.45/173.60	c  173s |      15 |   191534 |    98432 |    17706      9 |      748 |      582
175.65/175.72	c  175s |      15 |   192877 |    99332 |    17706     10 |      748 |      582
177.75/177.81	c  177s |      15 |   194904 |   100532 |    17706     10 |      748 |      582
179.75/179.86	c  179s |      15 |   196931 |   101732 |    17706     10 |      748 |      582
181.95/182.00	c  181s |      15 |   198321 |   102632 |    17706     10 |      748 |      582
184.15/184.25	c  183s |      15 |   199385 |   103532 |    17706     10 |      748 |      582
186.25/186.31	c  186s |      15 |   200802 |   104532 |    17706     10 |      748 |      582
188.35/188.44	c  188s |      15 |   202091 |   105432 |    17706     10 |      748 |      582
190.44/190.52	c  190s |      15 |   203626 |   106432 |    17706     10 |      748 |      582
192.45/192.60	c  192s |      15 |   205010 |   107432 |    17706     10 |      748 |      582
194.65/194.80	c  194s |      15 |   206064 |   108232 |    17706     10 |      748 |      582
196.95/197.07	c  196s |      15 |   207437 |   109132 |    17706     11 |      748 |      582
199.05/199.14	c  198s |      15 |   208762 |   110132 |    17706     11 |      748 |      582
201.35/201.46	c  201s |      15 |   209655 |   110932 |    17706     11 |      748 |      582
203.55/203.68	c  203s |      15 |   210723 |   111732 |    17706     11 |      748 |      582
205.75/205.82	c  205s |      15 |   211860 |   112632 |    17706     11 |      748 |      582
207.74/207.90	c  207s |      15 |   212618 |   113332 |    17706     11 |      748 |      582
209.94/210.07	c  209s |      15 |   213385 |   114032 |    17706     11 |      748 |      582
212.04/212.17	c  211s |      15 |   214065 |   114632 |    17706     11 |      748 |      582
214.24/214.34	c  214s |      15 |   214880 |   115332 |    17706     11 |      748 |      582
216.44/216.51	c  216s |      15 |   215580 |   115932 |    17706     11 |      748 |      582
218.44/218.52	c  218s |      15 |   216293 |   116532 |    17706     11 |      748 |      582
220.64/220.78	c  220s |      15 |   216950 |   117132 |    17706     11 |      748 |      582
223.03/223.11	c  222s |      15 |   217633 |   117732 |    17706     11 |      748 |      582
225.23/225.35	c  225s |      15 |   218762 |   118532 |    17706     11 |      748 |      582
227.33/227.41	c  227s |      15 |   219644 |   119232 |    17706     11 |      748 |      582
229.33/229.49	c  229s |      15 |   220573 |   119932 |    17706     12 |      748 |      582
231.43/231.55	c  231s |      15 |   221798 |   120932 |    17706     12 |      748 |      582
233.63/233.71	c  233s |      15 |   222921 |   121932 |    17706     12 |      748 |      582
235.63/235.77	c  235s |      15 |   223812 |   122732 |    17706     12 |      748 |      582
237.83/237.92	c  237s |      15 |   224590 |   123432 |    17706     12 |      748 |      582
240.13/240.20	c  239s |      15 |   225372 |   124132 |    17706     12 |      748 |      582
242.13/242.24	c  241s |      15 |   226197 |   124832 |    17706     12 |      748 |      582
244.13/244.30	c  244s |      15 |   226899 |   125432 |    17706     12 |      748 |      582
246.33/246.46	c  246s |      15 |   227737 |   126132 |    17706     12 |      748 |      582
248.43/248.53	c  248s |      15 |   228764 |   126932 |    17706     12 |      748 |      582
250.62/250.78	c  250s |      15 |   230001 |   127732 |    17706     12 |      748 |      582
253.12/253.21	c  252s |      15 |   230857 |   128432 |    17706     12 |      748 |      582
255.32/255.42	c  255s |      15 |   231599 |   129032 |    17706     12 |      748 |      582
257.33/257.48	c  257s |      15 |   232362 |   129632 |    17706     12 |      748 |      582
259.53/259.68	c  259s |      15 |   233080 |   130232 |    17706     13 |      748 |      582
261.92/262.01	c  261s |      15 |   233926 |   130932 |    19477     13 |      748 |      582
264.32/264.47	c  264s |      15 |   234537 |   131432 |    19477     13 |      748 |      582
265.13/265.22	c  264s |      16 |   234680 |   131552 |    19477     13 |      748 |      582
267.13/267.23	c  266s |      16 |   240234 |   133452 |    19477     13 |      748 |      582
269.13/269.28	c  269s |      16 |   242043 |   134852 |    19477     13 |      748 |      582
271.22/271.35	c  271s |      16 |   243348 |   135952 |    19477     13 |      748 |      582
273.32/273.46	c  273s |      16 |   245716 |   137552 |    19477     13 |      748 |      582
275.42/275.51	c  275s |      16 |   247596 |   138852 |    19477     13 |      748 |      582
277.52/277.62	c  277s |      16 |   249208 |   140152 |    19477     13 |      748 |      582
279.62/279.72	c  279s |      16 |   250348 |   141152 |    19477     13 |      748 |      582
281.63/281.74	c  281s |      16 |   251373 |   142052 |    19477     13 |      748 |      582
283.73/283.86	c  283s |      16 |   252190 |   142752 |    19477     14 |      748 |      582
285.72/285.86	c  285s |      16 |   253277 |   143652 |    19477     14 |      748 |      582
287.92/288.06	c  287s |      16 |   254453 |   144652 |    19477     14 |      748 |      582
290.12/290.26	c  290s |      16 |   255474 |   145552 |    19477     14 |      748 |      582
292.12/292.28	c  292s |      16 |   256407 |   146352 |    19477     14 |      748 |      582
294.22/294.39	c  294s |      16 |   257315 |   147152 |    19477     14 |      748 |      582
296.52/296.61	c  296s |      16 |   258217 |   147952 |    19477     14 |      748 |      582
298.82/298.90	c  298s |      16 |   259183 |   148752 |    19477     14 |      748 |      582
300.82/300.91	c  300s |      16 |   259985 |   149452 |    19477     14 |      748 |      582
303.01/303.19	c  302s |      16 |   260905 |   150252 |    19477     14 |      748 |      582
305.31/305.41	c  305s |      16 |   261730 |   150952 |    19477     14 |      748 |      582
307.51/307.62	c  307s |      16 |   262542 |   151652 |    19477     14 |      748 |      582
309.51/309.65	c  309s |      16 |   263232 |   152252 |    19477     14 |      748 |      582
311.81/311.91	c  311s |      16 |   263905 |   152852 |    19477     14 |      748 |      582
313.91/314.05	c  313s |      16 |   264625 |   153452 |    19477     14 |      748 |      582
316.31/316.43	c  316s |      16 |   265174 |   153952 |    19477     15 |      748 |      582
318.51/318.67	c  318s |      16 |   266140 |   154752 |    19477     15 |      748 |      582
320.71/320.84	c  320s |      16 |   267171 |   155652 |    19477     15 |      748 |      582
322.80/322.95	c  322s |      16 |   268317 |   156552 |    19477     15 |      748 |      582
324.90/325.05	c  324s |      16 |   269381 |   157452 |    19477     15 |      748 |      582
327.00/327.15	c  326s |      16 |   270337 |   158252 |    19477     15 |      748 |      582
329.30/329.41	c  329s |      16 |   271238 |   159052 |    19477     15 |      748 |      582
331.50/331.62	c  331s |      16 |   272022 |   159752 |    19477     15 |      748 |      582
333.70/333.81	c  333s |      16 |   272846 |   160452 |    19477     15 |      748 |      582
335.90/336.08	c  335s |      16 |   273639 |   161152 |    19477     15 |      748 |      582
338.00/338.17	c  337s |      16 |   274301 |   161752 |    19477     15 |      748 |      582
340.20/340.38	c  340s |      16 |   275077 |   162452 |    19477     15 |      748 |      582
342.40/342.51	c  342s |      16 |   275887 |   163152 |    19477     15 |      748 |      582
344.50/344.64	c  344s |      16 |   276555 |   163752 |    19477     15 |      748 |      582
346.60/346.74	c  346s |      16 |   277118 |   164252 |    19477     15 |      748 |      582
348.60/348.78	c  348s |      16 |   277667 |   164752 |    19477     15 |      748 |      582
350.80/350.94	c  350s |      16 |   278193 |   165252 |    19477     16 |      748 |      582
353.10/353.20	c  352s |      16 |   278952 |   165952 |    19477     16 |      748 |      582
355.20/355.39	c  355s |      16 |   279748 |   166652 |    19477     16 |      748 |      582
357.29/357.46	c  357s |      16 |   280501 |   167352 |    19477     16 |      748 |      582
359.60/359.72	c  359s |      16 |   281254 |   168052 |    19477     16 |      748 |      582
361.69/361.90	c  361s |      16 |   282023 |   168752 |    19477     16 |      748 |      582
363.78/363.94	c  363s |      16 |   282813 |   169452 |    19477     16 |      748 |      582
366.08/366.20	c  365s |      16 |   283586 |   170152 |    19477     16 |      748 |      582
368.08/368.21	c  367s |      16 |   284367 |   170852 |    19477     16 |      748 |      582
370.28/370.43	c  370s |      16 |   285175 |   171552 |    19477     16 |      748 |      582
372.48/372.63	c  372s |      16 |   286065 |   172352 |    19477     16 |      748 |      582
374.78/374.93	c  374s |      16 |   286844 |   173052 |    19477     16 |      748 |      582
376.98/377.18	c  376s |      16 |   287489 |   173652 |    19477     16 |      748 |      582
379.28/379.40	c  379s |      16 |   288133 |   174252 |    19477     16 |      748 |      582
381.58/381.78	c  381s |      16 |   288796 |   174852 |    19477     16 |      748 |      582
383.97/384.16	c  383s |      16 |   289438 |   175452 |    19477     16 |      748 |      582
386.08/386.28	c  386s |      16 |   289972 |   175952 |    19477     16 |      748 |      582
388.18/388.33	c  388s |      16 |   290398 |   176352 |    19477     17 |      748 |      582
390.38/390.53	c  390s |      16 |   291195 |   177052 |    19477     17 |      748 |      582
392.37/392.57	c  392s |      16 |   292103 |   177852 |    19477     17 |      748 |      582
394.47/394.69	c  394s |      16 |   292976 |   178652 |    19477     17 |      748 |      582
396.57/396.77	c  396s |      16 |   293762 |   179352 |    19477     17 |      748 |      582
398.78/398.91	c  398s |      16 |   294697 |   180152 |    19477     17 |      748 |      582
400.88/401.04	c  400s |      16 |   295477 |   180852 |    19477     17 |      748 |      582
403.08/403.23	c  402s |      16 |   296274 |   181552 |    19477     17 |      748 |      582
405.38/405.50	c  405s |      16 |   297059 |   182252 |    19477     17 |      748 |      582
407.48/407.62	c  407s |      16 |   297701 |   182852 |    19477     17 |      748 |      582
409.78/409.95	c  409s |      16 |   298493 |   183552 |    19477     17 |      748 |      582
412.18/412.32	c  412s |      16 |   299282 |   184252 |    19477     17 |      748 |      582
414.38/414.57	c  414s |      16 |   299926 |   184852 |    19477     17 |      748 |      582
416.58/416.77	c  416s |      16 |   300626 |   185452 |    19477     17 |      748 |      582
418.68/418.80	c  418s |      16 |   301169 |   185952 |    19477     17 |      748 |      582
420.88/421.01	c  420s |      16 |   301696 |   186452 |    19477     17 |      748 |      582
423.28/423.43	c  423s |      16 |   302370 |   187052 |    19477     17 |      748 |      582
425.88/426.06	c  425s |      16 |   302943 |   187552 |    19477     18 |      748 |      582
428.18/428.32	c  428s |      16 |   303953 |   188452 |    19477     18 |      748 |      582
430.38/430.55	c  430s |      16 |   304977 |   189352 |    19477     18 |      748 |      582
432.57/432.77	c  432s |      16 |   305897 |   190152 |    19477     18 |      748 |      582
434.87/435.06	c  434s |      16 |   306800 |   190952 |    19477     18 |      748 |      582
437.17/437.30	c  437s |      16 |   307687 |   191752 |    19477     18 |      748 |      582
439.17/439.33	c  439s |      16 |   308464 |   192452 |    19477     18 |      748 |      582
441.46/441.69	c  441s |      16 |   309341 |   193252 |    19477     18 |      748 |      582
443.66/443.83	c  443s |      16 |   310129 |   193952 |    19477     18 |      748 |      582
445.66/445.86	c  445s |      16 |   310779 |   194552 |    19477     18 |      748 |      582
447.86/448.09	c  447s |      16 |   311583 |   195252 |    19477     18 |      748 |      582
450.16/450.35	c  450s |      16 |   312334 |   195952 |    19477     18 |      748 |      582
452.36/452.59	c  452s |      16 |   312986 |   196552 |    21425     18 |      748 |      582
454.66/454.83	c  454s |      16 |   313632 |   197152 |    21425     18 |      748 |      582
455.66/455.82	c  455s |      17 |   313943 |   197432 |    21425     18 |      748 |      582
457.75/457.93	c  457s |      17 |   317091 |   198732 |    21425     18 |      748 |      582
459.76/459.93	c  459s |      17 |   319200 |   200532 |    21425     18 |      748 |      582
461.75/461.97	c  461s |      17 |   320541 |   201832 |    21425     19 |      748 |      582
463.85/464.03	c  463s |      17 |   322458 |   203632 |    21425     19 |      748 |      582
465.85/466.05	c  465s |      17 |   324038 |   205132 |    21425     19 |      748 |      582
467.85/468.07	c  467s |      17 |   325570 |   206532 |    21425     19 |      748 |      582
469.95/470.12	c  469s |      17 |   326931 |   207832 |    21425     19 |      748 |      582
472.04/472.21	c  471s |      17 |   328189 |   209032 |    21425     19 |      748 |      582
474.14/474.36	c  474s |      17 |   329659 |   210332 |    21425     19 |      748 |      582
476.15/476.40	c  476s |      17 |   331068 |   211532 |    21425     19 |      748 |      582
478.35/478.55	c  478s |      17 |   332365 |   212732 |    21425     19 |      748 |      582
480.55/480.72	c  480s |      17 |   333473 |   213732 |    21425     20 |      748 |      582
482.64/482.85	c  482s |      17 |   334668 |   214832 |    21425     20 |      748 |      582
484.84/485.02	c  484s |      17 |   335713 |   215832 |    21425     20 |      748 |      582
486.84/487.02	c  486s |      17 |   336541 |   216632 |    21425     20 |      748 |      582
488.84/489.03	c  488s |      17 |   337488 |   217532 |    21425     20 |      748 |      582
490.84/491.08	c  490s |      17 |   338314 |   218332 |    21425     20 |      748 |      582
493.03/493.20	c  492s |      17 |   339143 |   219132 |    21425     20 |      748 |      582
495.03/495.22	c  494s |      17 |   339870 |   219832 |    21425     20 |      748 |      582
497.04/497.30	c  497s |      17 |   340723 |   220632 |    21425     20 |      748 |      582
499.13/499.33	c  499s |      17 |   341569 |   221432 |    21425     20 |      748 |      582
501.32/501.59	c  501s |      17 |   342406 |   222232 |    21425     20 |      748 |      582
503.63/503.84	c  503s |      17 |   343242 |   223032 |    21425     20 |      748 |      582
505.72/505.90	c  505s |      17 |   343968 |   223732 |    21425     20 |      748 |      582
507.82/508.05	c  507s |      17 |   344703 |   224432 |    21425     20 |      748 |      582
510.02/510.20	c  509s |      17 |   345429 |   225132 |    21425     20 |      748 |      582
512.02/512.21	c  511s |      17 |   346168 |   225832 |    21425     21 |      748 |      582
514.02/514.23	c  513s |      17 |   347111 |   226732 |    21425     21 |      748 |      582
516.12/516.39	c  516s |      17 |   348056 |   227632 |    21425     21 |      748 |      582
518.42/518.62	c  518s |      17 |   349001 |   228532 |    21425     21 |      748 |      582
520.62/520.87	c  520s |      17 |   349843 |   229332 |    21425     21 |      748 |      582
522.72/522.98	c  522s |      17 |   350698 |   230132 |    21425     21 |      748 |      582
524.92/525.19	c  524s |      17 |   351531 |   230932 |    21425     21 |      748 |      582
527.12/527.39	c  527s |      17 |   352366 |   231732 |    21425     21 |      748 |      582
529.22/529.48	c  529s |      17 |   353099 |   232432 |    21425     21 |      748 |      582
531.31/531.59	c  531s |      17 |   353835 |   233132 |    21425     21 |      748 |      582
533.42/533.68	c  533s |      17 |   354549 |   233832 |    21425     21 |      748 |      582
535.41/535.70	c  535s |      17 |   355168 |   234432 |    21425     21 |      748 |      582
537.61/537.83	c  537s |      17 |   355793 |   235032 |    21425     21 |      748 |      582
539.81/540.07	c  539s |      17 |   356520 |   235732 |    21425     21 |      748 |      582
541.80/542.09	c  541s |      17 |   357277 |   236432 |    21425     21 |      748 |      582
543.90/544.13	c  543s |      17 |   358021 |   237132 |    21425     21 |      748 |      582
546.00/546.22	c  545s |      17 |   358653 |   237732 |    21425     22 |      748 |      582
548.10/548.35	c  548s |      17 |   359721 |   238732 |    21425     22 |      748 |      582
550.20/550.40	c  550s |      17 |   360791 |   239732 |    21425     22 |      748 |      582
552.30/552.55	c  552s |      17 |   361736 |   240632 |    21425     22 |      748 |      582
554.40/554.68	c  554s |      17 |   362677 |   241532 |    21425     22 |      748 |      582
556.60/556.85	c  556s |      17 |   363610 |   242432 |    21425     22 |      748 |      582
558.90/559.10	c  558s |      17 |   364551 |   243332 |    21425     22 |      748 |      582
561.09/561.34	c  561s |      17 |   365385 |   244132 |    21425     22 |      748 |      582
563.19/563.47	c  563s |      17 |   366224 |   244932 |    21425     22 |      748 |      582
565.39/565.69	c  565s |      17 |   367060 |   245732 |    21425     22 |      748 |      582
567.69/567.96	c  567s |      17 |   367886 |   246532 |    21425     22 |      748 |      582
569.89/570.18	c  569s |      17 |   368734 |   247332 |    21425     22 |      748 |      582
572.18/572.45	c  572s |      17 |   369472 |   248032 |    21425     22 |      748 |      582
574.28/574.53	c  574s |      17 |   370192 |   248732 |    21425     22 |      748 |      582
576.48/576.71	c  576s |      17 |   370914 |   249432 |    21425     22 |      748 |      582
578.58/578.83	c  578s |      17 |   371532 |   250032 |    21425     23 |      748 |      582
580.88/581.11	c  580s |      17 |   372474 |   250932 |    21425     23 |      748 |      582
583.08/583.32	c  583s |      17 |   373397 |   251832 |    21425     23 |      748 |      582
585.18/585.40	c  585s |      17 |   374412 |   252732 |    21425     23 |      748 |      582
587.38/587.61	c  587s |      17 |   375501 |   253732 |    21425     23 |      748 |      582
589.48/589.70	c  589s |      17 |   376484 |   254632 |    21425     23 |      748 |      582
591.68/591.93	c  591s |      17 |   377413 |   255532 |    21425     23 |      748 |      582
593.78/594.01	c  593s |      17 |   378251 |   256332 |    21425     23 |      748 |      582
595.87/596.12	c  595s |      17 |   379092 |   257132 |    21425     23 |      748 |      582
597.97/598.24	c  597s |      17 |   379818 |   257832 |    21425     23 |      748 |      582
600.17/600.40	c  600s |      17 |   380567 |   258532 |    21425     23 |      748 |      582
602.16/602.47	c  602s |      17 |   381296 |   259232 |    21425     23 |      748 |      582
604.46/604.78	c  604s |      17 |   382133 |   260032 |    21425     23 |      748 |      582
606.66/606.98	c  606s |      17 |   382852 |   260732 |    21425     23 |      748 |      582
608.86/609.19	c  608s |      17 |   383582 |   261432 |    21425     23 |      748 |      582
610.96/611.24	c  610s |      17 |   384193 |   262032 |    21425     23 |      748 |      582
612.95/613.27	c  613s |      17 |   384922 |   262732 |    21425     24 |      748 |      582
615.05/615.33	c  615s |      17 |   385868 |   263632 |    21425     24 |      748 |      582
617.05/617.39	c  617s |      17 |   386809 |   264532 |    21425     24 |      748 |      582
619.16/619.46	c  619s |      17 |   387640 |   265332 |    21425     24 |      748 |      582
621.15/621.50	c  621s |      17 |   388492 |   266132 |    21425     24 |      748 |      582
623.45/623.78	c  623s |      17 |   389312 |   266932 |    21425     24 |      748 |      582
625.65/625.97	c  625s |      17 |   390148 |   267732 |    21425     24 |      748 |      582
627.85/628.11	c  627s |      17 |   390992 |   268532 |    21425     24 |      748 |      582
629.95/630.29	c  630s |      17 |   391723 |   269232 |    21425     24 |      748 |      582
632.04/632.31	c  632s |      17 |   392340 |   269832 |    21425     24 |      748 |      582
634.24/634.53	c  634s |      17 |   393070 |   270532 |    21425     24 |      748 |      582
636.44/636.70	c  636s |      17 |   393790 |   271232 |    21425     24 |      748 |      582
638.64/638.90	c  638s |      17 |   394496 |   271932 |    21425     24 |      748 |      582
640.64/640.93	c  640s |      17 |   395110 |   272532 |    21425     24 |      748 |      582
642.63/642.96	c  642s |      17 |   395738 |   273132 |    21425     24 |      748 |      582
644.83/645.19	c  644s |      17 |   396464 |   273832 |    21425     24 |      748 |      582
647.33/647.64	c  647s |      17 |   397074 |   274432 |    21425     25 |      748 |      582
649.53/649.86	c  649s |      17 |   397991 |   275332 |    21425     25 |      748 |      582
651.63/651.94	c  651s |      17 |   398809 |   276132 |    21425     25 |      748 |      582
653.63/653.95	c  653s |      17 |   399632 |   276932 |    21425     25 |      748 |      582
655.73/656.07	c  655s |      17 |   400444 |   277732 |    21425     25 |      748 |      582
657.93/658.29	c  658s |      17 |   401276 |   278532 |    21425     25 |      748 |      582
660.23/660.51	c  660s |      17 |   402097 |   279332 |    21425     25 |      748 |      582
662.22/662.58	c  662s |      17 |   402818 |   280032 |    21425     25 |      748 |      582
664.23/664.59	c  664s |      17 |   403574 |   280732 |    21425     25 |      748 |      582
666.33/666.67	c  666s |      17 |   404294 |   281432 |    21425     25 |      748 |      582
668.42/668.74	c  668s |      17 |   405007 |   282132 |    21425     25 |      748 |      582
670.42/670.75	c  670s |      17 |   405757 |   282832 |    21425     25 |      748 |      582
672.62/672.98	c  672s |      17 |   406725 |   283732 |    21425     25 |      748 |      582
674.82/675.16	c  674s |      17 |   407584 |   284532 |    21425     25 |      748 |      582
677.02/677.32	c  677s |      17 |   408432 |   285332 |    21425     25 |      748 |      582
679.12/679.49	c  679s |      17 |   409284 |   286132 |    21425     25 |      748 |      582
681.22/681.59	c  681s |      17 |   409912 |   286732 |    21425     26 |      748 |      582
683.32/683.67	c  683s |      17 |   410969 |   287732 |    21425     26 |      748 |      582
685.52/685.85	c  685s |      17 |   412018 |   288732 |    21425     26 |      748 |      582
687.82/688.10	c  687s |      17 |   413064 |   289732 |    21425     26 |      748 |      582
689.82/690.15	c  689s |      17 |   414022 |   290632 |    21425     26 |      748 |      582
692.01/692.39	c  692s |      17 |   414963 |   291532 |    21425     26 |      748 |      582
694.31/694.63	c  694s |      17 |   415893 |   292432 |    21425     26 |      748 |      582
696.41/696.71	c  696s |      17 |   416744 |   293232 |    21425     26 |      748 |      582
698.41/698.75	c  698s |      17 |   417569 |   294032 |    21425     26 |      748 |      582
700.71/701.02	c  700s |      17 |   418399 |   294832 |    23568     26 |      748 |      582
703.00/703.33	c  703s |      17 |   419230 |   295632 |    23568     26 |      748 |      582
704.70/705.02	c  704s |      18 |   419909 |   296252 |    23568     26 |      748 |      582
706.70/707.09	c  706s |      18 |   422186 |   297852 |    23568     26 |      748 |      582
708.80/709.15	c  708s |      18 |   423749 |   299352 |    23568     26 |      748 |      582
710.90/711.22	c  710s |      18 |   430304 |   300852 |    23568     27 |      748 |      582
712.90/713.25	c  712s |      18 |   434748 |   302752 |    23568     27 |      748 |      582
715.00/715.38	c  715s |      18 |   437466 |   304352 |    23568     27 |      748 |      582
717.10/717.44	c  717s |      18 |   439267 |   305652 |    23568     27 |      748 |      582
719.10/719.46	c  719s |      18 |   440746 |   306752 |    23568     27 |      748 |      582
721.40/721.70	c  721s |      18 |   442114 |   307852 |    23568     27 |      748 |      582
723.40/723.75	c  723s |      18 |   443205 |   308752 |    23568     27 |      748 |      582
725.49/725.81	c  725s |      18 |   444511 |   309752 |    23568     27 |      748 |      582
727.49/727.86	c  727s |      18 |   445747 |   310752 |    23568     27 |      748 |      582
729.59/729.90	c  729s |      18 |   446689 |   311552 |    23568     27 |      748 |      582
731.69/732.06	c  731s |      18 |   447625 |   312352 |    23568     27 |      748 |      582
733.79/734.10	c  733s |      18 |   448578 |   313152 |    23568     27 |      748 |      582
735.99/736.35	c  736s |      18 |   449673 |   314052 |    23568     27 |      748 |      582
737.99/738.35	c  738s |      18 |   450535 |   314752 |    23568     28 |      748 |      582
740.19/740.58	c  740s |      18 |   451603 |   315652 |    23568     28 |      748 |      582
742.30/742.62	c  742s |      18 |   452729 |   316552 |    23568     28 |      748 |      582
744.50/744.84	c  744s |      18 |   453749 |   317352 |    23568     28 |      748 |      582
746.79/747.11	c  746s |      18 |   454933 |   318252 |    23568     28 |      748 |      582
748.90/749.26	c  749s |      18 |   455887 |   319052 |    23568     28 |      748 |      582
751.19/751.54	c  751s |      18 |   456674 |   319752 |    23568     28 |      748 |      582
753.20/753.55	c  753s |      18 |   457482 |   320452 |    23568     28 |      748 |      582
755.29/755.63	c  755s |      18 |   458206 |   321052 |    23568     28 |      748 |      582
757.59/757.93	c  757s |      18 |   459092 |   321752 |    23568     28 |      748 |      582
759.79/760.14	c  759s |      18 |   459653 |   322252 |    23568     28 |      748 |      582
761.89/762.28	c  762s |      18 |   460816 |   323052 |    23568     28 |      748 |      582
763.99/764.34	c  764s |      18 |   461958 |   323952 |    23568     28 |      748 |      582
766.09/766.45	c  766s |      18 |   462993 |   324752 |    23568     28 |      748 |      582
768.09/768.47	c  768s |      18 |   463832 |   325452 |    23568     28 |      748 |      582
770.39/770.72	c  770s |      18 |   464815 |   326252 |    23568     28 |      748 |      582
772.59/772.93	c  772s |      18 |   465786 |   327052 |    23568     28 |      748 |      582
774.69/775.06	c  774s |      18 |   466519 |   327652 |    23568     29 |      748 |      582
776.78/777.12	c  776s |      18 |   467622 |   328552 |    23568     29 |      748 |      582
778.88/779.27	c  779s |      18 |   468735 |   329452 |    23568     29 |      748 |      582
780.98/781.31	c  781s |      18 |   469824 |   330352 |    23568     29 |      748 |      582
782.99/783.36	c  783s |      18 |   470790 |   331152 |    23568     29 |      748 |      582
785.29/785.60	c  785s |      18 |   471740 |   331952 |    23568     29 |      748 |      582
787.40/787.73	c  787s |      18 |   472552 |   332652 |    23568     29 |      748 |      582
789.50/789.90	c  789s |      18 |   473362 |   333352 |    23568     29 |      748 |      582
791.80/792.15	c  791s |      18 |   474249 |   334052 |    23568     29 |      748 |      582
794.00/794.39	c  794s |      18 |   475005 |   334752 |    23568     29 |      748 |      582
796.39/796.76	c  796s |      18 |   475686 |   335352 |    23568     29 |      748 |      582
798.69/799.01	c  798s |      18 |   476572 |   336052 |    23568     29 |      748 |      582
800.79/801.14	c  800s |      18 |   477145 |   336552 |    23568     29 |      748 |      582
802.80/803.19	c  802s |      18 |   477867 |   337152 |    23568     29 |      748 |      582
805.00/805.39	c  805s |      18 |   478647 |   337852 |    23568     29 |      748 |      582
807.09/807.44	c  807s |      18 |   479384 |   338452 |    23568     29 |      748 |      582
809.29/809.66	c  809s |      18 |   480255 |   339152 |    23568     29 |      748 |      582
811.39/811.72	c  811s |      18 |   481025 |   339752 |    23568     29 |      748 |      582
813.59/813.99	c  813s |      18 |   481760 |   340352 |    23568     29 |      748 |      582
815.69/816.02	c  815s |      18 |   482368 |   340852 |    23568     29 |      748 |      582
817.99/818.30	c  818s |      18 |   483113 |   341452 |    23568     30 |      748 |      582
820.19/820.54	c  820s |      18 |   484071 |   342252 |    23568     30 |      748 |      582
822.29/822.65	c  822s |      18 |   484915 |   342952 |    23568     30 |      748 |      582
824.39/824.74	c  824s |      18 |   485764 |   343652 |    23568     30 |      748 |      582
826.38/826.78	c  826s |      18 |   486617 |   344352 |    23568     30 |      748 |      582
828.38/828.78	c  828s |      18 |   487274 |   344952 |    23568     30 |      748 |      582
830.58/830.95	c  830s |      18 |   488093 |   345652 |    23568     30 |      748 |      582
832.78/833.10	c  832s |      18 |   488768 |   346252 |    23568     30 |      748 |      582
834.98/835.39	c  835s |      18 |   489329 |   346752 |    23568     30 |      748 |      582
837.08/837.40	c  837s |      18 |   489776 |   347152 |    23568     30 |      748 |      582
839.18/839.52	c  839s |      18 |   490389 |   347652 |    23568     30 |      748 |      582
841.29/841.63	c  841s |      18 |   492616 |   348652 |    23568     30 |      748 |      582
843.28/843.66	c  843s |      18 |   493548 |   349452 |    23568     30 |      748 |      582
845.38/845.78	c  845s |      18 |   494624 |   350352 |    23568     30 |      748 |      582
847.58/847.92	c  847s |      18 |   495672 |   351252 |    23568     30 |      748 |      582
849.78/850.13	c  849s |      18 |   496578 |   352052 |    23568     30 |      748 |      582
851.88/852.22	c  851s |      18 |   497488 |   352852 |    23568     30 |      748 |      582
853.98/854.34	c  854s |      18 |   498405 |   353652 |    23568     30 |      748 |      582
856.28/856.60	c  856s |      18 |   499217 |   354352 |    23568     31 |      748 |      582
858.28/858.69	c  858s |      18 |   500366 |   355352 |    23568     31 |      748 |      582
860.58/860.95	c  860s |      18 |   501472 |   356352 |    23568     31 |      748 |      582
862.78/863.11	c  862s |      18 |   502360 |   357152 |    23568     31 |      748 |      582
864.78/865.13	c  864s |      18 |   503268 |   357952 |    23568     31 |      748 |      582
866.78/867.13	c  866s |      18 |   504295 |   358852 |    23568     31 |      748 |      582
868.88/869.21	c  868s |      18 |   505198 |   359652 |    23568     31 |      748 |      582
871.08/871.45	c  871s |      18 |   506265 |   360552 |    23568     31 |      748 |      582
873.18/873.57	c  873s |      18 |   507197 |   361352 |    23568     31 |      748 |      582
875.28/875.69	c  875s |      18 |   508117 |   362152 |    23568     31 |      748 |      582
877.48/877.84	c  877s |      18 |   508904 |   362852 |    23568     31 |      748 |      582
879.47/879.90	c  879s |      18 |   509688 |   363552 |    23568     31 |      748 |      582
881.67/882.08	c  881s |      18 |   510466 |   364252 |    23568     31 |      748 |      582
884.08/884.44	c  884s |      18 |   511233 |   364952 |    23568     31 |      748 |      582
886.17/886.55	c  886s |      18 |   512206 |   365752 |    23568     31 |      748 |      582
888.37/888.77	c  888s |      18 |   513155 |   366552 |    23568     31 |      748 |      582
890.47/890.81	c  890s |      18 |   513999 |   367252 |    23568     31 |      748 |      582
892.57/892.98	c  892s |      18 |   514826 |   367952 |    23568     32 |      748 |      582
894.67/895.06	c  894s |      18 |   515889 |   368852 |    23568     32 |      748 |      582
896.77/897.17	c  896s |      18 |   516798 |   369652 |    23568     32 |      748 |      582
898.87/899.29	c  899s |      18 |   517867 |   370552 |    23568     32 |      748 |      582
901.07/901.44	c  901s |      18 |   518805 |   371352 |    23568     32 |      748 |      582
903.17/903.55	c  903s |      18 |   519579 |   372052 |    23568     32 |      748 |      582
905.47/905.85	c  905s |      18 |   520484 |   372852 |    23568     32 |      748 |      582
907.47/907.86	c  907s |      18 |   521449 |   373652 |    23568     32 |      748 |      582
909.77/910.17	c  909s |      18 |   522495 |   374552 |    23568     32 |      748 |      582
911.87/912.24	c  911s |      18 |   523268 |   375252 |    23568     32 |      748 |      582
914.17/914.51	c  914s |      18 |   524171 |   376052 |    23568     32 |      748 |      582
916.27/916.60	c  916s |      18 |   524963 |   376752 |    23568     32 |      748 |      582
918.27/918.63	c  918s |      18 |   525796 |   377452 |    23568     32 |      748 |      582
920.37/920.70	c  920s |      18 |   526584 |   378152 |    23568     32 |      748 |      582
922.67/923.03	c  922s |      18 |   527534 |   378952 |    23568     32 |      748 |      582
924.87/925.27	c  925s |      18 |   528484 |   379752 |    23568     32 |      748 |      582
927.17/927.52	c  927s |      18 |   529440 |   380552 |    23568     32 |      748 |      582
929.27/929.66	c  929s |      18 |   529965 |   381052 |    23568     32 |      748 |      582
931.26/931.66	c  931s |      18 |   530526 |   381552 |    23568     33 |      748 |      582
933.57/933.92	c  933s |      18 |   531377 |   382352 |    23568     33 |      748 |      582
935.66/936.01	c  935s |      18 |   532157 |   383052 |    23568     33 |      748 |      582
937.66/938.07	c  937s |      18 |   532928 |   383752 |    23568     33 |      748 |      582
939.96/940.31	c  940s |      18 |   533830 |   384552 |    23568     33 |      748 |      582
942.06/942.44	c  942s |      18 |   534593 |   385252 |    23568     33 |      748 |      582
944.06/944.47	c  944s |      18 |   535416 |   385952 |    23568     33 |      748 |      582
946.36/946.71	c  946s |      18 |   536178 |   386652 |    23568     33 |      748 |      582
948.46/948.89	c  948s |      18 |   536953 |   387352 |    23568     33 |      748 |      582
950.66/951.07	c  950s |      18 |   537866 |   388152 |    23568     33 |      748 |      582
952.76/953.16	c  952s |      18 |   538633 |   388852 |    23568     33 |      748 |      582
954.96/955.33	c  955s |      18 |   539394 |   389552 |    23568     33 |      748 |      582
957.06/957.48	c  957s |      18 |   540224 |   390252 |    23568     33 |      748 |      582
959.36/959.78	c  959s |      18 |   541024 |   390952 |    23568     33 |      748 |      582
961.66/962.07	c  961s |      18 |   541833 |   391652 |    23568     33 |      748 |      582
963.76/964.13	c  963s |      18 |   542535 |   392252 |    23568     33 |      748 |      582
965.96/966.38	c  966s |      18 |   543344 |   392952 |    23568     33 |      748 |      582
967.96/968.38	c  968s |      18 |   544015 |   393552 |    23568     33 |      748 |      582
969.96/970.39	c  970s |      18 |   544705 |   394152 |    23568     33 |      748 |      582
972.56/972.97	c  972s |      18 |   545379 |   394752 |    23568     34 |      748 |      582
974.76/975.11	c  974s |      18 |   546295 |   395552 |    23568     34 |      748 |      582
976.96/977.38	c  977s |      18 |   547291 |   396452 |    23568     34 |      748 |      582
979.26/979.67	c  979s |      18 |   548300 |   397352 |    23568     34 |      748 |      582
981.36/981.75	c  981s |      18 |   549218 |   398152 |    23568     34 |      748 |      582
983.36/983.75	c  983s |      18 |   550166 |   398952 |    23568     34 |      748 |      582
985.46/985.80	c  985s |      18 |   551073 |   399752 |    23568     34 |      748 |      582
987.65/988.02	c  987s |      18 |   551973 |   400552 |    23568     34 |      748 |      582
989.85/990.24	c  989s |      18 |   552912 |   401352 |    23568     34 |      748 |      582
991.96/992.38	c  992s |      18 |   553680 |   402052 |    23568     34 |      748 |      582
994.06/994.46	c  994s |      18 |   554346 |   402652 |    23568     34 |      748 |      582
996.15/996.57	c  996s |      18 |   555132 |   403352 |    23568     34 |      748 |      582
998.35/998.80	c  998s |      18 |   555929 |   404052 |    23568     34 |      748 |      582
1000.66/1001.03	c 1000s |      18 |   556700 |   404752 |    23568     34 |      748 |      582
1002.75/1003.17	c 1002s |      18 |   557504 |   405452 |    23568     34 |      748 |      582
1004.95/1005.30	c 1005s |      18 |   558181 |   406052 |    23568     34 |      748 |      582
1007.26/1007.62	c 1007s |      18 |   558967 |   406752 |    23568     34 |      748 |      582
1009.35/1009.74	c 1009s |      18 |   559634 |   407352 |    23568     34 |      748 |      582
1011.55/1011.94	c 1011s |      18 |   560301 |   407952 |    23568     34 |      748 |      582
1013.55/1013.95	c 1013s |      18 |   560868 |   408452 |    23568     35 |      748 |      582
1015.65/1016.06	c 1015s |      18 |   561629 |   409152 |    23568     35 |      748 |      582
1017.66/1018.06	c 1017s |      18 |   562423 |   409852 |    23568     35 |      748 |      582
1019.86/1020.26	c 1020s |      18 |   563316 |   410652 |    23568     35 |      748 |      582
1021.96/1022.35	c 1022s |      18 |   564071 |   411352 |    23568     35 |      748 |      582
1024.16/1024.58	c 1024s |      18 |   565024 |   412152 |    23568     35 |      748 |      582
1026.26/1026.63	c 1026s |      18 |   565796 |   412852 |    23568     35 |      748 |      582
1028.26/1028.64	c 1028s |      18 |   566587 |   413552 |    23568     35 |      748 |      582
1030.25/1030.70	c 1030s |      18 |   567360 |   414252 |    23568     35 |      748 |      582
1032.45/1032.87	c 1032s |      18 |   568320 |   415052 |    23568     35 |      748 |      582
1034.76/1035.13	c 1034s |      18 |   569103 |   415752 |    23568     35 |      748 |      582
1036.96/1037.37	c 1037s |      18 |   570055 |   416552 |    23568     35 |      748 |      582
1039.26/1039.63	c 1039s |      18 |   570884 |   417252 |    23568     35 |      748 |      582
1041.25/1041.63	c 1041s |      18 |   571698 |   417952 |    23568     35 |      748 |      582
1043.35/1043.70	c 1043s |      18 |   572367 |   418552 |    23568     35 |      748 |      582
1045.45/1045.80	c 1045s |      18 |   573054 |   419152 |    23568     35 |      748 |      582
1047.55/1047.93	c 1047s |      18 |   573739 |   419752 |    23568     35 |      748 |      582
1049.75/1050.19	c 1049s |      18 |   574429 |   420352 |    23568     35 |      748 |      582
1051.95/1052.32	c 1052s |      18 |   575251 |   421052 |    23568     35 |      748 |      582
1054.05/1054.46	c 1054s |      18 |   575817 |   421552 |    23568     36 |      748 |      582
1056.25/1056.62	c 1056s |      18 |   576736 |   422352 |    23568     36 |      748 |      582
1058.35/1058.78	c 1058s |      18 |   577645 |   423152 |    23568     36 |      748 |      582
1060.45/1060.87	c 1060s |      18 |   578431 |   423852 |    23568     36 |      748 |      582
1062.65/1063.03	c 1062s |      18 |   579323 |   424652 |    23568     36 |      748 |      582
1064.65/1065.09	c 1064s |      18 |   580103 |   425352 |    23568     36 |      748 |      582
1066.95/1067.35	c 1067s |      18 |   581001 |   426152 |    23568     36 |      748 |      582
1069.15/1069.55	c 1069s |      18 |   581776 |   426852 |    23568     36 |      748 |      582
1071.35/1071.73	c 1071s |      18 |   582571 |   427552 |    23568     36 |      748 |      582
1073.65/1074.04	c 1073s |      18 |   583506 |   428352 |    23568     36 |      748 |      582
1075.65/1076.09	c 1075s |      18 |   584291 |   429052 |    23568     36 |      748 |      582
1077.95/1078.33	c 1078s |      18 |   585277 |   429852 |    23568     36 |      748 |      582
1080.05/1080.41	c 1080s |      18 |   586267 |   430652 |    23568     36 |      748 |      582
1082.15/1082.56	c 1082s |      18 |   587300 |   431552 |    23568     36 |      748 |      582
1084.35/1084.74	c 1084s |      18 |   588110 |   432252 |    23568     36 |      748 |      582
1086.64/1087.02	c 1086s |      18 |   588903 |   432952 |    23568     36 |      748 |      582
1088.84/1089.24	c 1088s |      18 |   589714 |   433652 |    23568     36 |      748 |      582
1091.04/1091.47	c 1091s |      18 |   590523 |   434352 |    23568     36 |      748 |      582
1093.05/1093.49	c 1093s |      18 |   591102 |   434852 |    23568     37 |      748 |      582
1095.25/1095.69	c 1095s |      18 |   592146 |   435752 |    23568     37 |      748 |      582
1097.34/1097.78	c 1097s |      18 |   593078 |   436552 |    23568     37 |      748 |      582
1099.54/1099.95	c 1099s |      18 |   593968 |   437352 |    23568     37 |      748 |      582
1101.74/1102.16	c 1101s |      18 |   594871 |   438152 |    23568     37 |      748 |      582
1103.84/1104.25	c 1103s |      18 |   596467 |   438952 |    23568     37 |      748 |      582
1106.04/1106.41	c 1106s |      18 |   597445 |   439852 |    23568     37 |      748 |      582
1108.04/1108.48	c 1108s |      18 |   599063 |   440852 |    23568     37 |      748 |      582
1110.24/1110.64	c 1110s |      18 |   602916 |   442152 |    25925     37 |      748 |      582
1112.34/1112.79	c 1112s |      18 |   604381 |   443252 |    25925     37 |      748 |      582
1114.64/1115.06	c 1114s |      18 |   605246 |   444052 |    25925     37 |      748 |      582
1115.64/1116.09	c 1115s |      19 |   605783 |   444482 |    25925     37 |      748 |      582
1117.74/1118.14	c 1117s |      19 |   609895 |   445382 |    25925     37 |      748 |      582
1119.74/1120.16	c 1119s |      19 |   619634 |   447882 |    25925     37 |      748 |      582
1122.24/1122.61	c 1122s |      19 |   623798 |   450082 |    25925     38 |      748 |      582
1124.24/1124.63	c 1124s |      19 |   633026 |   452482 |    25925     38 |      748 |      582
1126.24/1126.68	c 1126s |      19 |   636695 |   454282 |    25925     38 |      748 |      582
1128.34/1128.79	c 1128s |      19 |   638313 |   455682 |    25925     38 |      748 |      582
1130.44/1130.86	c 1130s |      19 |   639743 |   456882 |    25925     38 |      748 |      582
1132.53/1133.00	c 1132s |      19 |   641340 |   458082 |    25925     38 |      748 |      582
1134.63/1135.02	c 1134s |      19 |   642606 |   459082 |    25925     38 |      748 |      582
1136.73/1137.20	c 1136s |      19 |   643687 |   459982 |    25925     38 |      748 |      582
1138.83/1139.27	c 1139s |      19 |   644792 |   460882 |    25925     38 |      748 |      582
1140.83/1141.28	c 1141s |      19 |   646145 |   461882 |    25925     38 |      748 |      582
1142.93/1143.36	c 1143s |      19 |   647549 |   462882 |    25925     38 |      748 |      582
1145.03/1145.40	c 1145s |      19 |   648766 |   463782 |    25925     38 |      748 |      582
1147.53/1147.90	c 1147s |      19 |   650014 |   464682 |    25925     39 |      748 |      582
1149.63/1150.00	c 1149s |      19 |   651380 |   465682 |    25925     39 |      748 |      582
1151.63/1152.05	c 1151s |      19 |   652838 |   466682 |    25925     39 |      748 |      582
1153.64/1154.06	c 1153s |      19 |   654093 |   467582 |    25925     39 |      748 |      582
1155.63/1156.07	c 1155s |      19 |   655428 |   468482 |    25925     39 |      748 |      582
1157.73/1158.13	c 1157s |      19 |   656710 |   469482 |    25925     39 |      748 |      582
1159.93/1160.37	c 1160s |      19 |   657777 |   470382 |    25925     39 |      748 |      582
1162.23/1162.63	c 1162s |      19 |   658709 |   471182 |    25925     39 |      748 |      582
1164.23/1164.63	c 1164s |      19 |   659414 |   471782 |    25925     39 |      748 |      582
1166.33/1166.76	c 1166s |      19 |   660341 |   472582 |    25925     39 |      748 |      582
1168.63/1169.05	c 1168s |      19 |   661226 |   473382 |    25925     39 |      748 |      582
1170.73/1171.19	c 1170s |      19 |   662158 |   474182 |    25925     39 |      748 |      582
1172.93/1173.36	c 1173s |      19 |   663161 |   475082 |    25925     39 |      748 |      582
1175.03/1175.41	c 1175s |      19 |   664120 |   475882 |    25925     39 |      748 |      582
1177.03/1177.46	c 1177s |      19 |   664910 |   476582 |    25925     39 |      748 |      582
1179.13/1179.56	c 1179s |      19 |   665884 |   477382 |    25925     39 |      748 |      582
1181.33/1181.77	c 1181s |      19 |   666819 |   478182 |    25925     39 |      748 |      582
1183.43/1183.87	c 1183s |      19 |   667651 |   478882 |    25925     39 |      748 |      582
1185.62/1186.09	c 1185s |      19 |   668464 |   479582 |    25925     40 |      748 |      582
1187.82/1188.23	c 1187s |      19 |   669529 |   480482 |    25925     40 |      748 |      582
1190.02/1190.46	c 1190s |      19 |   670586 |   481382 |    25925     40 |      748 |      582
1192.22/1192.64	c 1192s |      19 |   671530 |   482182 |    25925     40 |      748 |      582
1194.33/1194.71	c 1194s |      19 |   672339 |   482882 |    25925     40 |      748 |      582
1196.32/1196.76	c 1196s |      19 |   673151 |   483582 |    25925     40 |      748 |      582
1198.42/1198.81	c 1198s |      19 |   674035 |   484282 |    25925     40 |      748 |      582
1200.42/1200.89	c 1200s |      19 |   674874 |   484982 |    25925     40 |      748 |      582
1202.62/1203.03	c 1202s |      19 |   675681 |   485682 |    25925     40 |      748 |      582
1204.62/1205.03	c 1204s |      19 |   676369 |   486282 |    25925     40 |      748 |      582
1206.83/1207.25	c 1206s |      19 |   677054 |   486882 |    25925     40 |      748 |      582
1209.03/1209.44	c 1209s |      19 |   677876 |   487582 |    25925     40 |      748 |      582
1211.33/1211.78	c 1211s |      19 |   678682 |   488282 |    25925     40 |      748 |      582
1213.63/1214.00	c 1213s |      19 |   679483 |   488982 |    25925     40 |      748 |      582
1215.63/1216.09	c 1215s |      19 |   680161 |   489582 |    25925     40 |      748 |      582
1217.73/1218.11	c 1217s |      19 |   680863 |   490182 |    25925     40 |      748 |      582
1219.72/1220.14	c 1219s |      19 |   681684 |   490882 |    25925     40 |      748 |      582
1222.02/1222.41	c 1222s |      19 |   682481 |   491582 |    25925     40 |      748 |      582
1224.12/1224.57	c 1224s |      19 |   683366 |   492282 |    25925     40 |      748 |      582
1226.32/1226.71	c 1226s |      19 |   684037 |   492882 |    25925     40 |      748 |      582
1228.43/1228.81	c 1228s |      19 |   684739 |   493482 |    25925     40 |      748 |      582
1230.92/1231.38	c 1231s |      19 |   685488 |   494082 |    25925     41 |      748 |      582
1232.92/1233.39	c 1233s |      19 |   686304 |   494782 |    25925     41 |      748 |      582
1235.03/1235.47	c 1235s |      19 |   687076 |   495482 |    25925     41 |      748 |      582
1237.12/1237.53	c 1237s |      19 |   687936 |   496182 |    25925     41 |      748 |      582
1239.22/1239.67	c 1239s |      19 |   688715 |   496882 |    25925     41 |      748 |      582
1241.42/1241.81	c 1241s |      19 |   689559 |   497582 |    25925     41 |      748 |      582
1243.62/1244.03	c 1243s |      19 |   690413 |   498282 |    25925     41 |      748 |      582
1245.62/1246.04	c 1245s |      19 |   691092 |   498882 |    25925     41 |      748 |      582
1247.92/1248.36	c 1248s |      19 |   691875 |   499582 |    25925     41 |      748 |      582
1250.12/1250.53	c 1250s |      19 |   692672 |   500282 |    25925     41 |      748 |      582
1252.32/1252.72	c 1252s |      19 |   693521 |   500982 |    25925     41 |      748 |      582
1254.62/1255.02	c 1254s |      19 |   694418 |   501782 |    25925     41 |      748 |      582
1256.61/1257.07	c 1256s |      19 |   695251 |   502482 |    25925     41 |      748 |      582
1258.81/1259.23	c 1258s |      19 |   696075 |   503182 |    25925     41 |      748 |      582
1260.81/1261.25	c 1260s |      19 |   696939 |   503882 |    25925     41 |      748 |      582
1263.01/1263.44	c 1263s |      19 |   697727 |   504582 |    25925     41 |      748 |      582
1265.11/1265.51	c 1265s |      19 |   698396 |   505182 |    25925     41 |      748 |      582
1267.41/1267.81	c 1267s |      19 |   699241 |   505882 |    25925     41 |      748 |      582
1269.61/1270.07	c 1269s |      19 |   700069 |   506582 |    25925     41 |      748 |      582
1271.71/1272.19	c 1271s |      19 |   700750 |   507182 |    25925     41 |      748 |      582
1273.91/1274.39	c 1274s |      19 |   701637 |   507882 |    25925     41 |      748 |      582
1276.01/1276.48	c 1276s |      19 |   702315 |   508482 |    25925     41 |      748 |      582
1278.21/1278.68	c 1278s |      19 |   703003 |   509082 |    25925     42 |      748 |      582
1280.31/1280.75	c 1280s |      19 |   703796 |   509782 |    25925     42 |      748 |      582
1282.51/1282.97	c 1282s |      19 |   704750 |   510582 |    25925     42 |      748 |      582
1284.71/1285.16	c 1284s |      19 |   705684 |   511382 |    25925     42 |      748 |      582
1286.91/1287.34	c 1287s |      19 |   706489 |   512082 |    25925     42 |      748 |      582
1289.01/1289.49	c 1289s |      19 |   707435 |   512882 |    25925     42 |      748 |      582
1291.31/1291.72	c 1291s |      19 |   708400 |   513682 |    25925     42 |      748 |      582
1293.41/1293.87	c 1293s |      19 |   709374 |   514482 |    25925     42 |      748 |      582
1295.61/1296.09	c 1295s |      19 |   710318 |   515282 |    25925     42 |      748 |      582
1297.61/1298.09	c 1297s |      19 |   711153 |   515982 |    25925     42 |      748 |      582
1300.01/1300.41	c 1300s |      19 |   712104 |   516782 |    25925     42 |      748 |      582
1302.31/1302.73	c 1302s |      19 |   713096 |   517582 |    25925     42 |      748 |      582
1304.31/1304.79	c 1304s |      19 |   713813 |   518182 |    25925     42 |      748 |      582
1306.41/1306.88	c 1306s |      19 |   714545 |   518782 |    25925     42 |      748 |      582
1308.61/1309.09	c 1308s |      19 |   715252 |   519382 |    25925     42 |      748 |      582
1310.81/1311.28	c 1311s |      19 |   716116 |   520082 |    25925     42 |      748 |      582
1313.01/1313.47	c 1313s |      19 |   716819 |   520682 |    25925     42 |      748 |      582
1315.40/1315.80	c 1315s |      19 |   717580 |   521282 |    25925     42 |      748 |      582
1317.70/1318.10	c 1317s |      19 |   718453 |   521982 |    25925     42 |      748 |      582
1319.71/1320.15	c 1319s |      19 |   719148 |   522582 |    25925     42 |      748 |      582
1321.91/1322.39	c 1322s |      19 |   719722 |   523082 |    25925     43 |      748 |      582
1324.11/1324.58	c 1324s |      19 |   720627 |   523882 |    25925     43 |      748 |      582
1326.10/1326.60	c 1326s |      19 |   721622 |   524682 |    25925     43 |      748 |      582
1328.30/1328.78	c 1328s |      19 |   722667 |   525482 |    25925     43 |      748 |      582
1330.50/1330.99	c 1330s |      19 |   723650 |   526282 |    25925     43 |      748 |      582
1332.60/1333.07	c 1332s |      19 |   724695 |   527082 |    25925     43 |      748 |      582
1334.80/1335.23	c 1334s |      19 |   725628 |   527882 |    25925     43 |      748 |      582
1336.80/1337.28	c 1337s |      19 |   726797 |   528682 |    25925     43 |      748 |      582
1338.90/1339.35	c 1339s |      19 |   728088 |   529582 |    25925     43 |      748 |      582
1341.00/1341.46	c 1341s |      19 |   729330 |   530482 |    25925     43 |      748 |      582
1343.10/1343.53	c 1343s |      19 |   730377 |   531282 |    25925     43 |      748 |      582
1345.31/1345.77	c 1345s |      19 |   731494 |   532182 |    25925     43 |      748 |      582
1347.31/1347.79	c 1347s |      19 |   732303 |   532882 |    25925     43 |      748 |      582
1349.61/1350.06	c 1349s |      19 |   733288 |   533682 |    25925     43 |      748 |      582
1351.71/1352.20	c 1351s |      19 |   734109 |   534382 |    25925     43 |      748 |      582
1353.81/1354.28	c 1354s |      19 |   734935 |   535082 |    25925     43 |      748 |      582
1355.80/1356.29	c 1356s |      19 |   735635 |   535682 |    25925     43 |      748 |      582
1358.11/1358.59	c 1358s |      19 |   736306 |   536282 |    25925     43 |      748 |      582
1360.41/1360.80	c 1360s |      19 |   737005 |   536882 |    25925     43 |      748 |      582
1362.70/1363.12	c 1362s |      19 |   737678 |   537482 |    25925     43 |      748 |      582
1364.71/1365.18	c 1364s |      19 |   738638 |   538182 |    25925     44 |      748 |      582
1366.91/1367.32	c 1367s |      19 |   739911 |   539182 |    25925     44 |      748 |      582
1368.90/1369.39	c 1369s |      19 |   740836 |   539982 |    25925     44 |      748 |      582
1371.10/1371.50	c 1371s |      19 |   741772 |   540782 |    25925     44 |      748 |      582
1373.30/1373.71	c 1373s |      19 |   742673 |   541582 |    25925     44 |      748 |      582
1375.30/1375.79	c 1375s |      19 |   743587 |   542382 |    25925     44 |      748 |      582
1377.40/1377.83	c 1377s |      19 |   744399 |   543082 |    25925     44 |      748 |      582
1379.40/1379.87	c 1379s |      19 |   745227 |   543782 |    25925     44 |      748 |      582
1381.70/1382.11	c 1381s |      19 |   746214 |   544582 |    25925     44 |      748 |      582
1383.80/1384.22	c 1383s |      19 |   747071 |   545282 |    25925     44 |      748 |      582
1385.90/1386.31	c 1386s |      19 |   747927 |   545982 |    25925     44 |      748 |      582
1388.10/1388.55	c 1388s |      19 |   748740 |   546682 |    25925     44 |      748 |      582
1390.30/1390.76	c 1390s |      19 |   749411 |   547282 |    25925     44 |      748 |      582
1392.50/1392.93	c 1392s |      19 |   750102 |   547882 |    25925     44 |      748 |      582
1394.80/1395.22	c 1394s |      19 |   750928 |   548582 |    25925     44 |      748 |      582
1396.80/1397.22	c 1396s |      19 |   751615 |   549182 |    25925     44 |      748 |      582
1399.10/1399.57	c 1399s |      19 |   752481 |   549882 |    25925     44 |      748 |      582
1401.20/1401.63	c 1401s |      19 |   753329 |   550582 |    25925     44 |      748 |      582
1403.20/1403.64	c 1403s |      19 |   754010 |   551182 |    25925     44 |      748 |      582
1405.19/1405.65	c 1405s |      19 |   754686 |   551782 |    25925     44 |      748 |      582
1407.39/1407.80	c 1407s |      19 |   755266 |   552282 |    25925     45 |      748 |      582
1409.59/1410.07	c 1409s |      19 |   756325 |   553182 |    25925     45 |      748 |      582
1411.59/1412.07	c 1411s |      19 |   757109 |   553882 |    25925     45 |      748 |      582
1413.89/1414.33	c 1414s |      19 |   758010 |   554682 |    25925     45 |      748 |      582
1415.99/1416.45	c 1416s |      19 |   758772 |   555382 |    25925     45 |      748 |      582
1418.19/1418.69	c 1418s |      19 |   759547 |   556082 |    25925     45 |      748 |      582
1420.29/1420.77	c 1420s |      19 |   760340 |   556782 |    25925     45 |      748 |      582
1422.39/1422.80	c 1422s |      19 |   761135 |   557482 |    25925     45 |      748 |      582
1424.59/1425.06	c 1424s |      19 |   761945 |   558182 |    25925     45 |      748 |      582
1426.69/1427.16	c 1426s |      19 |   762747 |   558882 |    25925     45 |      748 |      582
1428.89/1429.34	c 1429s |      19 |   763403 |   559482 |    25925     45 |      748 |      582
1431.29/1431.78	c 1431s |      19 |   764053 |   560082 |    25925     45 |      748 |      582
1433.59/1434.06	c 1433s |      19 |   764714 |   560682 |    25925     45 |      748 |      582
1435.89/1436.37	c 1436s |      19 |   765526 |   561382 |    25925     45 |      748 |      582
1438.29/1438.70	c 1438s |      19 |   766167 |   561982 |    25925     45 |      748 |      582
1440.49/1440.95	c 1440s |      19 |   766874 |   562582 |    25925     45 |      748 |      582
1442.59/1443.08	c 1442s |      19 |   767581 |   563182 |    25925     45 |      748 |      582
1444.79/1445.24	c 1444s |      19 |   768284 |   563782 |    25925     45 |      748 |      582
1446.99/1447.49	c 1447s |      19 |   768927 |   564382 |    25925     45 |      748 |      582
1449.39/1449.82	c 1449s |      19 |   769621 |   564982 |    25925     45 |      748 |      582
1451.49/1451.93	c 1451s |      19 |   770181 |   565482 |    25925     45 |      748 |      582
1453.59/1454.02	c 1453s |      19 |   770757 |   565982 |    25925     45 |      748 |      582
1455.69/1456.10	c 1455s |      19 |   771301 |   566482 |    25925     45 |      748 |      582
1457.69/1458.16	c 1457s |      19 |   771752 |   566882 |    25925     46 |      748 |      582
1459.79/1460.26	c 1460s |      19 |   772399 |   567482 |    25925     46 |      748 |      582
1461.78/1462.27	c 1462s |      19 |   773071 |   568082 |    25925     46 |      748 |      582
1464.08/1464.52	c 1464s |      19 |   773731 |   568682 |    25925     46 |      748 |      582
1466.18/1466.62	c 1466s |      19 |   774265 |   569182 |    25925     46 |      748 |      582
1468.28/1468.78	c 1468s |      19 |   774929 |   569782 |    25925     46 |      748 |      582
1470.48/1470.95	c 1470s |      19 |   775602 |   570382 |    25925     46 |      748 |      582
1472.88/1473.30	c 1473s |      19 |   776249 |   570982 |    25925     46 |      748 |      582
1474.88/1475.36	c 1475s |      19 |   776913 |   571582 |    25925     46 |      748 |      582
1477.08/1477.57	c 1477s |      19 |   777592 |   572182 |    25925     46 |      748 |      582
1479.28/1479.77	c 1479s |      19 |   778280 |   572782 |    25925     46 |      748 |      582
1481.39/1481.80	c 1481s |      19 |   778972 |   573382 |    25925     46 |      748 |      582
1483.59/1484.03	c 1483s |      19 |   779632 |   573982 |    25925     46 |      748 |      582
1485.88/1486.36	c 1486s |      19 |   780297 |   574582 |    25925     46 |      748 |      582
1488.08/1488.52	c 1488s |      19 |   780835 |   575082 |    25925     46 |      748 |      582
1490.18/1490.64	c 1490s |      19 |   781522 |   575682 |    25925     46 |      748 |      582
1492.38/1492.83	c 1492s |      19 |   782201 |   576282 |    25925     46 |      748 |      582
1494.48/1494.95	c 1494s |      19 |   782910 |   576882 |    25925     46 |      748 |      582
1496.88/1497.32	c 1497s |      19 |   783582 |   577482 |    25925     46 |      748 |      582
1498.88/1499.37	c 1499s |      19 |   784159 |   577982 |    25925     46 |      748 |      582
1501.08/1501.59	c 1501s |      19 |   784732 |   578482 |    25925     46 |      748 |      582
1503.28/1503.73	c 1503s |      19 |   785269 |   578982 |    25925     46 |      748 |      582
1505.38/1505.81	c 1505s |      19 |   785804 |   579482 |    25925     46 |      748 |      582
1507.78/1508.21	c 1507s |      19 |   786506 |   580082 |    25925     46 |      748 |      582
1509.77/1510.30	c 1510s |      19 |   787057 |   580582 |    25925     46 |      748 |      582
1511.97/1512.43	c 1512s |      19 |   787722 |   581182 |    25925     46 |      748 |      582
1513.97/1514.45	c 1514s |      19 |   788169 |   581582 |    25925     47 |      748 |      582
1516.17/1516.64	c 1516s |      19 |   789002 |   582282 |    25925     47 |      748 |      582
1518.27/1518.76	c 1518s |      19 |   789823 |   582982 |    25925     47 |      748 |      582
1520.37/1520.82	c 1520s |      19 |   790484 |   583582 |    25925     47 |      748 |      582
1522.57/1523.01	c 1522s |      19 |   791406 |   584382 |    25925     47 |      748 |      582
1524.57/1525.08	c 1524s |      19 |   792236 |   585082 |    25925     47 |      748 |      582
1526.67/1527.14	c 1526s |      19 |   792927 |   585682 |    25925     47 |      748 |      582
1528.87/1529.39	c 1529s |      19 |   793614 |   586282 |    25925     47 |      748 |      582
1530.97/1531.44	c 1531s |      19 |   794182 |   586782 |    25925     47 |      748 |      582
1533.18/1533.62	c 1533s |      19 |   794857 |   587382 |    25925     47 |      748 |      582
1535.18/1535.67	c 1535s |      19 |   795573 |   587982 |    25925     47 |      748 |      582
1537.38/1537.82	c 1537s |      19 |   796266 |   588582 |    25925     47 |      748 |      582
1539.69/1540.19	c 1539s |      19 |   796886 |   589182 |    25925     47 |      748 |      582
1541.78/1542.25	c 1541s |      19 |   797429 |   589682 |    25925     47 |      748 |      582
1543.98/1544.47	c 1544s |      19 |   798118 |   590282 |    25925     47 |      748 |      582
1546.37/1546.80	c 1546s |      19 |   798795 |   590882 |    25925     47 |      748 |      582
1548.48/1548.93	c 1548s |      19 |   799378 |   591382 |    25925     47 |      748 |      582
1550.77/1551.24	c 1550s |      19 |   800071 |   591982 |    25925     47 |      748 |      582
1553.07/1553.52	c 1553s |      19 |   800779 |   592582 |    25925     47 |      748 |      582
1555.37/1555.82	c 1555s |      19 |   801465 |   593182 |    25925     47 |      748 |      582
1557.37/1557.84	c 1557s |      19 |   802057 |   593682 |    25925     47 |      748 |      582
1559.67/1560.13	c 1559s |      19 |   802603 |   594182 |    25925     47 |      748 |      582
1561.77/1562.25	c 1561s |      19 |   803169 |   594682 |    25925     47 |      748 |      582
1563.88/1564.31	c 1564s |      19 |   803728 |   595182 |    25925     47 |      748 |      582
1565.98/1566.43	c 1566s |      19 |   804275 |   595682 |    25925     47 |      748 |      582
1568.18/1568.70	c 1568s |      19 |   804714 |   596082 |    25925     48 |      748 |      582
1570.27/1570.75	c 1570s |      19 |   805395 |   596682 |    25925     48 |      748 |      582
1572.37/1572.87	c 1572s |      19 |   806059 |   597282 |    25925     48 |      748 |      582
1574.67/1575.10	c 1574s |      19 |   806866 |   597982 |    25925     48 |      748 |      582
1576.77/1577.29	c 1577s |      19 |   807649 |   598682 |    25925     48 |      748 |      582
1578.97/1579.43	c 1579s |      19 |   808297 |   599282 |    25925     48 |      748 |      582
1581.27/1581.74	c 1581s |      19 |   808937 |   599882 |    25925     48 |      748 |      582
1583.57/1584.07	c 1583s |      19 |   809593 |   600482 |    25925     48 |      748 |      582
1586.06/1586.54	c 1586s |      19 |   810243 |   601082 |    25925     48 |      748 |      582
1588.36/1588.88	c 1588s |      19 |   810898 |   601682 |    25925     48 |      748 |      582
1590.66/1591.16	c 1590s |      19 |   811585 |   602282 |    25925     48 |      748 |      582
1592.96/1593.45	c 1593s |      19 |   812253 |   602882 |    25925     48 |      748 |      582
1595.16/1595.64	c 1595s |      19 |   812795 |   603382 |    25925     48 |      748 |      582
1597.36/1597.86	c 1597s |      19 |   813331 |   603882 |    25925     48 |      748 |      582
1599.46/1599.91	c 1599s |      19 |   813904 |   604382 |    25925     48 |      748 |      582
1601.76/1602.25	c 1601s |      19 |   814577 |   604982 |    25925     48 |      748 |      582
1603.86/1604.35	c 1604s |      19 |   815133 |   605482 |    25925     48 |      748 |      582
1606.06/1606.54	c 1606s |      19 |   815674 |   605982 |    25925     48 |      748 |      582
1608.16/1608.64	c 1608s |      19 |   816262 |   606482 |    25925     48 |      748 |      582
1610.26/1610.70	c 1610s |      19 |   816825 |   606982 |    25925     48 |      748 |      582
1612.46/1612.97	c 1612s |      19 |   817372 |   607482 |    25925     48 |      748 |      582
1614.77/1615.24	c 1614s |      19 |   817926 |   607982 |    25925     48 |      748 |      582
1617.07/1617.54	c 1617s |      19 |   818473 |   608482 |    25925     48 |      748 |      582
1619.07/1619.59	c 1619s |      19 |   819047 |   608982 |    25925     48 |      748 |      582
1621.27/1621.70	c 1621s |      19 |   819620 |   609482 |    25925     48 |      748 |      582
1623.47/1623.96	c 1623s |      19 |   820174 |   609982 |    25925     48 |      748 |      582
1625.76/1626.27	c 1626s |      19 |   820740 |   610482 |    25925     48 |      748 |      582
1627.86/1628.39	c 1628s |      19 |   821188 |   610882 |    25925     49 |      748 |      582
1630.16/1630.67	c 1630s |      19 |   821847 |   611482 |    25925     49 |      748 |      582
1632.16/1632.69	c 1632s |      19 |   822532 |   612082 |    25925     49 |      748 |      582
1634.36/1634.89	c 1634s |      19 |   823332 |   612782 |    25925     49 |      748 |      582
1636.56/1637.07	c 1636s |      19 |   823998 |   613382 |    25925     49 |      748 |      582
1638.76/1639.20	c 1638s |      19 |   824662 |   613982 |    25925     49 |      748 |      582
1640.77/1641.27	c 1641s |      19 |   825328 |   614582 |    25925     49 |      748 |      582
1642.97/1643.47	c 1643s |      19 |   825998 |   615182 |    25925     49 |      748 |      582
1645.17/1645.66	c 1645s |      19 |   826697 |   615782 |    25925     49 |      748 |      582
1647.37/1647.82	c 1647s |      19 |   827364 |   616382 |    25925     49 |      748 |      582
1649.36/1649.89	c 1649s |      19 |   828078 |   616982 |    25925     49 |      748 |      582
1651.66/1652.10	c 1651s |      19 |   828745 |   617582 |    25925     49 |      748 |      582
1653.76/1654.25	c 1653s |      19 |   829447 |   618182 |    25925     49 |      748 |      582
1655.96/1656.40	c 1656s |      19 |   830170 |   618782 |    25925     49 |      748 |      582
1658.26/1658.70	c 1658s |      19 |   830842 |   619382 |    25925     49 |      748 |      582
1660.56/1661.05	c 1660s |      19 |   831515 |   619982 |    25925     49 |      748 |      582
1662.66/1663.11	c 1662s |      19 |   832071 |   620482 |    25925     49 |      748 |      582
1664.66/1665.18	c 1664s |      19 |   832623 |   620982 |    25925     49 |      748 |      582
1666.86/1667.38	c 1667s |      19 |   833189 |   621482 |    25925     49 |      748 |      582
1668.96/1669.45	c 1669s |      19 |   833784 |   621982 |    25925     49 |      748 |      582
1671.06/1671.53	c 1671s |      19 |   834504 |   622582 |    25925     49 |      748 |      582
1673.36/1673.81	c 1673s |      19 |   835222 |   623182 |    25925     49 |      748 |      582
1675.76/1676.20	c 1675s |      19 |   835907 |   623782 |    25925     49 |      748 |      582
1677.76/1678.23	c 1677s |      19 |   836483 |   624282 |    25925     49 |      748 |      582
1679.96/1680.48	c 1680s |      19 |   837201 |   624882 |    25925     49 |      748 |      582
1682.25/1682.71	c 1682s |      19 |   837774 |   625382 |    25925     50 |      748 |      582
1684.35/1684.88	c 1684s |      19 |   838577 |   626082 |    25925     50 |      748 |      582
1686.65/1687.17	c 1686s |      19 |   839547 |   626882 |    25925     50 |      748 |      582
1688.95/1689.41	c 1689s |      19 |   840351 |   627582 |    25925     50 |      748 |      582
1690.95/1691.45	c 1691s |      19 |   841062 |   628182 |    25925     50 |      748 |      582
1692.95/1693.47	c 1693s |      19 |   841749 |   628782 |    25925     50 |      748 |      582
1695.35/1695.81	c 1695s |      19 |   842555 |   629482 |    25925     50 |      748 |      582
1697.45/1697.91	c 1697s |      19 |   843243 |   630082 |    25925     50 |      748 |      582
1699.75/1700.26	c 1700s |      19 |   844030 |   630782 |    25925     50 |      748 |      582
1701.95/1702.40	c 1702s |      19 |   844695 |   631382 |    25925     50 |      748 |      582
1704.15/1704.68	c 1704s |      19 |   845390 |   631982 |    25925     50 |      748 |      582
1706.45/1706.92	c 1706s |      19 |   846081 |   632582 |    25925     50 |      748 |      582
1708.45/1708.95	c 1708s |      19 |   846853 |   633182 |    25925     50 |      748 |      582
1710.75/1711.24	c 1710s |      19 |   847547 |   633782 |    25925     50 |      748 |      582
1712.95/1713.43	c 1713s |      19 |   848262 |   634382 |    25925     50 |      748 |      582
1715.25/1715.72	c 1715s |      19 |   849172 |   635182 |    25925     50 |      748 |      582
1717.25/1717.78	c 1717s |      19 |   850005 |   635882 |    25925     50 |      748 |      582
1719.54/1720.08	c 1719s |      19 |   850824 |   636582 |    25925     50 |      748 |      582
1721.74/1722.27	c 1722s |      19 |   851560 |   637182 |    25925     50 |      748 |      582
1723.94/1724.43	c 1724s |      19 |   852111 |   637682 |    25925     50 |      748 |      582
1726.04/1726.56	c 1726s |      19 |   852665 |   638182 |    25925     50 |      748 |      582
1728.35/1728.87	c 1728s |      19 |   853210 |   638682 |    25925     50 |      748 |      582
1730.55/1731.00	c 1730s |      19 |   853804 |   639182 |    25925     50 |      748 |      582
1733.15/1733.65	c 1733s |      19 |   854386 |   639682 |    25925     51 |      748 |      582
1735.35/1735.90	c 1735s |      19 |   855200 |   640382 |    25925     51 |      748 |      582
1737.65/1738.12	c 1737s |      19 |   855889 |   640982 |    25925     51 |      748 |      582
1739.65/1740.17	c 1739s |      19 |   856582 |   641582 |    25925     51 |      748 |      582
1741.85/1742.31	c 1742s |      19 |   857285 |   642182 |    25925     51 |      748 |      582
1744.15/1744.65	c 1744s |      19 |   857986 |   642782 |    25925     51 |      748 |      582
1746.45/1746.92	c 1746s |      19 |   858828 |   643482 |    25925     51 |      748 |      582
1748.65/1749.14	c 1748s |      19 |   859606 |   644182 |    25925     51 |      748 |      582
1751.04/1751.50	c 1751s |      19 |   860435 |   644882 |    25925     51 |      748 |      582
1753.24/1753.77	c 1753s |      19 |   861129 |   645482 |    25925     51 |      748 |      582
1755.34/1755.86	c 1755s |      19 |   861691 |   645982 |    25925     51 |      748 |      582
1757.64/1758.18	c 1757s |      19 |   862339 |   646582 |    25925     51 |      748 |      582
1759.74/1760.27	c 1760s |      19 |   863031 |   647182 |    25925     51 |      748 |      582
1761.85/1762.38	c 1762s |      19 |   863742 |   647782 |    25925     51 |      748 |      582
1764.14/1764.64	c 1764s |      19 |   864405 |   648382 |    25925     51 |      748 |      582
1766.44/1766.98	c 1766s |      19 |   865125 |   648982 |    25925     51 |      748 |      582
1768.94/1769.44	c 1769s |      19 |   865813 |   649582 |    25925     51 |      748 |      582
1770.94/1771.46	c 1771s |      19 |   866382 |   650082 |    25925     51 |      748 |      582
1773.24/1773.76	c 1773s |      19 |   867077 |   650682 |    25925     51 |      748 |      582
1775.44/1775.98	c 1775s |      19 |   867767 |   651282 |    25925     51 |      748 |      582
1777.94/1778.40	c 1778s |      19 |   868465 |   651882 |    25925     51 |      748 |      582
1780.34/1780.80	c 1780s |      19 |   869053 |   652382 |    25925     51 |      748 |      582
1782.44/1782.90	c 1782s |      19 |   869633 |   652882 |    25925     51 |      748 |      582
1784.64/1785.16	c 1784s |      19 |   870374 |   653482 |    25925     51 |      748 |      582
1786.94/1787.45	c 1787s |      19 |   870986 |   653982 |    25925     51 |      748 |      582
1789.24/1789.76	c 1789s |      19 |   871453 |   654382 |    25925     52 |      748 |      582
1791.23/1791.77	c 1791s |      19 |   872143 |   654982 |    25925     52 |      748 |      582
1793.43/1793.90	c 1793s |      19 |   872829 |   655582 |    25925     52 |      748 |      582
1795.53/1796.04	c 1795s |      19 |   873511 |   656182 |    25925     52 |      748 |      582
1797.93/1798.47	c 1798s |      19 |   874319 |   656882 |    25925     52 |      748 |      582

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

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 23774
/proc/meminfo: memFree=29603192/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=533948 CPUtime=0 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 1960 0 0 0 0 0 0 0 20 0 4 0 29365846 546762752 2320 33554432000 4194304 16246674 140734693028080 140734693027504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 134255 2329 441 2943 0 131149 0
[pid=23774/tid=23775] ppid=23771 vsize=551356 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 564588544 2388 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=556476 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 569831424 2405 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=560572 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29365846 574025728 2420 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 23774
/proc/meminfo: memFree=29603192/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 28278 0 0 0 5 3 0 0 20 0 4 0 29365846 1249447936 28576 33554432000 4194304 16246674 140734693028080 140734693027392 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 305041 28576 802 2943 0 301935 0
[pid=23774/tid=23775] ppid=23771 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1249447936 28576 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1249447936 28576 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1249447936 28576 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200515 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 23774
/proc/meminfo: memFree=29603192/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1301060 CPUtime=0.18 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 48486 0 0 0 12 6 0 0 20 0 4 0 29365846 1332285440 48784 33554432000 4194304 16246674 140734693028080 140734693027392 6155984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 325265 48784 843 2943 0 322159 0
[pid=23774/tid=23775] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 48784 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 48784 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 48784 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300466 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 23774
/proc/meminfo: memFree=29603192/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 50774 0 0 0 22 6 0 0 20 0 4 0 29365846 1332285440 51072 33554432000 4194304 16246674 140734693028080 140734693009984 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 325265 51079 883 2943 0 322159 0
[pid=23774/tid=23775] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 51084 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 51091 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 51095 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700357 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 23774
/proc/meminfo: memFree=29603192/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 103407 0 0 0 55 13 0 0 20 0 4 0 29365846 1332285440 103705 33554432000 4194304 16246674 140734693028080 140734693009984 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 325265 103710 883 2943 0 322159 0
[pid=23774/tid=23775] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 103713 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 103716 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 103718 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50035 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 23778
/proc/meminfo: memFree=29000784/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 200940 0 0 0 121 27 0 0 20 0 4 0 29365846 1332285440 201238 33554432000 4194304 16246674 140734693028080 140734693009984 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 325265 201243 883 2943 0 322159 0
[pid=23774/tid=23775] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 201248 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 201251 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1332285440 201255 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.26 2.26 2.19 3/183 23778
/proc/meminfo: memFree=28526236/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 269264 0 0 0 270 39 0 0 20 0 4 0 29365846 1343819776 269562 33554432000 4194304 16246674 140734693028080 140734693009984 5523139 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 328081 269562 889 2943 0 324975 0
[pid=23774/tid=23775] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269562 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269562 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269562 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 23778
/proc/meminfo: memFree=28525356/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 269270 0 0 0 590 39 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 140734693009984 6024725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 328081 269568 889 2943 0 324975 0
[pid=23774/tid=23775] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.30 2.27 2.19 3/183 23778
/proc/meminfo: memFree=28525124/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 269270 0 0 0 1230 39 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 140734693009984 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 328081 269568 889 2943 0 324975 0
[pid=23774/tid=23775] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269568 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 23778
/proc/meminfo: memFree=28526692/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 269273 0 0 0 2509 39 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 140734693011080 5827632 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 328081 269571 892 2943 0 324975 0
[pid=23774/tid=23775] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 23827
/proc/meminfo: memFree=28557052/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 269273 0 0 0 5069 39 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 140734693009984 12478682 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 328081 269571 892 2943 0 324975 0
[pid=23774/tid=23775] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269571 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 23829
/proc/meminfo: memFree=28559332/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 269283 0 0 0 10188 40 0 0 20 0 4 0 29365846 1343819776 269575 33554432000 4194304 16246674 140734693028080 140734693009984 5602038 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 328081 269575 893 2943 0 324975 0
[pid=23774/tid=23775] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269575 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269575 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1343819776 269575 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.14 2.12 2.12 3/184 23886
/proc/meminfo: memFree=28503328/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1361.9 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 136143 47 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.08 2.11 2.11 4/183 23887
/proc/meminfo: memFree=28503360/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1421.9 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 142143 47 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.16 2.12 2.11 3/183 23888
/proc/meminfo: memFree=28503488/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1481.88 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 148141 47 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.13 2.11 2.11 3/183 23889
/proc/meminfo: memFree=28503736/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1541.88 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 154140 48 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693027256 13927434 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.12 2.10 2.10 3/183 23889
/proc/meminfo: memFree=28504108/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1601.86 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 160138 48 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 23892
/proc/meminfo: memFree=28503980/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1661.86 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 166137 49 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693027176 6010408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.20 2.12 2.10 3/183 23892
/proc/meminfo: memFree=28503976/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1721.84 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 172135 49 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 5516226 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 23894
/proc/meminfo: memFree=28503244/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1781.84 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 178134 50 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.12 2.10 3/183 23894
/proc/meminfo: memFree=28503492/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1800.03 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 179953 50 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 5721633 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1336900

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.12 2.10 3/183 23894
/proc/meminfo: memFree=28503492/32872528 swapFree=1085692/1157232
[pid=23774] ppid=23771 vsize=1336900 CPUtime=1800.03 cores=0,2,4,6
/proc/23774/stat : 23774 (toysat) R 23771 23774 21062 0 -1 4202496 275719 0 0 0 179953 50 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 140734693009984 5721633 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23774/statm: 334225 275720 893 2943 0 331119 0
[pid=23774/tid=23775] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23775/stat : 23775 (toysat) S 23771 23774 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800218676464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23774/tid=23776] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23776/stat : 23776 (toysat) S 23771 23774 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800208186608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23774/tid=23777] ppid=23771 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/23774/task/23777/stat : 23777 (toysat) S 23771 23774 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29365846 1368985600 275720 33554432000 4194304 16246674 140734693028080 139800197713072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.54
CPU system time (s): 0.505923
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.505923
maximum resident set size= 1102880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275719
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= 317
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40133 second user time and 7.11792 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 19:47:42
IDJOB=4116093
IDBENCH=109427
IDSOLVER=2542
FILE ID=node114/4116093-1466963262
RUNJOBID= node114-1466944456-21078
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-size128-round22-7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116093-1466963262/watcher-4116093-1466963262 -o /tmp/evaluation-result-4116093-1466963262/solver-4116093-1466963262 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21078 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116093-1466963262.opb

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

MD5SUM BENCH= 1f2f356ca8bb85193bb403eac8ee557f
RANDOM SEED=2110090112

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:        29602820 kB
Buffers:           34996 kB
Cached:           221952 kB
SwapCached:        38928 kB
Active:          1178100 kB
Inactive:         229792 kB
Active(anon):    1115964 kB
Inactive(anon):    37760 kB
Active(file):      62136 kB
Inactive(file):   192032 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2367328 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             567400 kB
SReclaimable:      11584 kB
SUnreclaim:       555816 kB
KernelStack:        1520 kB
PageTables:         8528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2414068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    819200 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= 71624 MiB
End job on node114 at 2016-06-26 20:17:43