Trace number 4115917

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.09 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-1.opb
MD5SUM73d09bc688f32383f27b8cfd61f2560b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T14:34:17+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-4115917-1466944456.opb"]
0.00/0.01	c use --random-gen="943556178 1073309741 1919668126 1492949323 3804748876 155580143 3501612583 2025332261 2234627538 1194402829 29021046 2897127052 2928931943 2469268864 1460055969 1416879830 688139919 1462665147 956649631 2089951629 2138004624 2577582073 1373880144 3084316260 4041785286 4287691128 906873417 2630758520 1425375593 2097404744 1810359332 3375869270 476177078 1408585099 3148844951 9951966 4183227634 2520845392 4150714202 3416628318 2775349242 1168975223 2584603201 1557763691 3982529446 470904486 864706282 3780868645 461191407 3444382732 3047882484 4043860396 2111722371 4102636877 2971047520 179938716 1354483637 3710231469 3904980641 2999050400 100534092 1908517811 1161490229 2079812134 498813589 3370362506 3517264627 711586358 3915630183 2943655178 1707073924 1389107899 1660117673 2658308780 417253716 3355857361 1460029323 199820323 3432404934 3222140074 1751313755 3659903426 3670046398 2757106439 1801761794 3595778491 1003808590 2587413347 506054797 3791981561 2478541432 817875771 1045153765 3612163535 2477975368 1464455777 3483898705 2549788892 2467277627 3906941896 1985997560 3235220751 1981940237 2109117398 4186525187 703700515 2858694490 958477906 3971446840 864352772 3704322226 1961267087 3948621924 1986563636 68400198 4105473015 537209462 1607502445 1432793036 3660133709 1512317644 642753508 970887457 437991271 3725396711 1021744938 771916408 2147879109 23297464 3265641843 2471649336 2882382514 3893741961 1347995866 2334894700 2909967412 2711507456 2145689536 24341476 1527101789 3148934119 22680907 4005086702 1371670636 4146074122 51565802 4013657136 727103486 314948513 691485812 996636390 1510213420 4149415247 763888799 3500156482 3694912288 3842104140 1885868193 2210558271 1943020886 4146082796 2030187239 1316283503 440704009 1515023933 3048254508 414724666 2810999980 3870438947 2934298290 4292658988 2687332746 3087491592 3045017971 2577851338 864680906 2459223978 3009729517 1610907018 3612795220 3720517291 3228299303 2045246107 642962263 624121379 2551244102 3768270022 190559686 2048526972 2226409050 3894816238 1632197080 239222656 4036942814 1545103021 3686582715 807622049 1195421240 1775124715 3385441028 512961147 1590792649 2187023798 1751010816 1463560988 976952952 2426805381 2694038375 2035080065 3482444506 4023496830 3896276080 1742786840 838888569 3070701061 484186065 4142543633 3449078228 1766838010 693575090 2740659428 246634830 3120881904 789969731 897710660 3612788255 2779339103 708855278 491726520 1281405663 2767148744 3114522678 346596376 993190807 2684012863 2416843334 3935916468 3622071827 878105668 2872420616 1164364808 1625280293 994031717 2297865862 2841873170 439025726 3121820333 3115151060 2362425389 5342024 99947954 1552482278 780673267 198561463 4009961054 4243337172 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      808 |        0
0.29/0.37	c  0.1s |       1 |      533 |      100 |     4565      0 |      808 |      764
0.39/0.48	c  0.2s |       2 |     1625 |      250 |     5022      0 |      808 |      764
0.59/0.60	c  0.3s |       3 |     2359 |      475 |     5525      0 |      808 |      764
0.79/0.82	c  0.5s |       4 |     4381 |      813 |     6078      0 |      809 |      764
1.29/1.37	c  1.1s |       5 |     5879 |     1320 |     6686      0 |      809 |      764
2.09/2.20	c  1.9s |       6 |     7397 |     2081 |     8091      0 |      809 |      764
3.09/3.11	c  2.8s |       7 |    12044 |     3223 |     8901      0 |      809 |      764
4.79/4.81	c  4.5s |       8 |    18012 |     4936 |     9792      0 |      810 |      764
6.79/6.83	c  6.6s |       8 |    26593 |     7236 |     9792      0 |      810 |      764
7.09/7.12	c  6.8s |       9 |    27062 |     7506 |    10772      0 |      810 |      764
9.09/9.19	c  8.9s |       9 |    31875 |     9406 |    10772      0 |      810 |      764
11.19/11.29	c 11.0s |       9 |    33335 |    10806 |    10772      0 |      810 |      764
12.19/12.22	c 11.9s |      10 |    33901 |    11361 |    11850      0 |      810 |      764
14.19/14.26	c 14.0s |      10 |    41505 |    13461 |    11850      0 |      810 |      764
16.19/16.29	c 16.0s |      10 |    43492 |    14861 |    11850      0 |      810 |      764
18.29/18.39	c 18.1s |      10 |    44942 |    15961 |    11850      1 |      810 |      764
20.49/20.54	c 20.3s |      11 |    46405 |    17144 |    13036      1 |      810 |      764
22.59/22.68	c 22.4s |      11 |    51818 |    18944 |    13036      1 |      810 |      764
24.69/24.77	c 24.5s |      11 |    53509 |    20044 |    13036      1 |      810 |      764
26.78/26.88	c 26.6s |      11 |    56867 |    21844 |    13036      1 |      810 |      764
28.98/29.08	c 28.8s |      11 |    58948 |    23344 |    13036      1 |      810 |      764
31.18/31.20	c 30.9s |      11 |    60579 |    24544 |    13036      2 |      810 |      764
33.18/33.27	c 33.0s |      11 |    62040 |    25644 |    13036      2 |      810 |      764
33.48/33.50	c 33.2s |      12 |    62280 |    25819 |    14340      2 |      810 |      764
35.58/35.66	c 35.4s |      12 |    74359 |    28419 |    14340      2 |      810 |      764
37.78/37.80	c 37.5s |      12 |    76685 |    29919 |    14340      2 |      810 |      764
39.78/39.85	c 39.6s |      12 |    80059 |    31519 |    14340      2 |      810 |      764
41.98/42.02	c 41.7s |      12 |    81390 |    32519 |    14340      2 |      810 |      764
44.08/44.15	c 43.9s |      12 |    83176 |    33619 |    14340      2 |      810 |      764
46.08/46.15	c 45.9s |      12 |    86658 |    35019 |    14340      3 |      810 |      764
48.09/48.17	c 47.9s |      12 |    93317 |    37219 |    14340      3 |      810 |      764
49.98/50.00	c 49.7s |      13 |    95557 |    38832 |    15775      3 |      810 |      764
51.98/52.09	c 51.8s |      13 |   100454 |    40432 |    15775      3 |      810 |      764
54.08/54.14	c 53.9s |      13 |   102572 |    41932 |    15775      3 |      810 |      764
56.08/56.16	c 55.9s |      13 |   104083 |    43132 |    15775      3 |      810 |      764
58.18/58.24	c 58.0s |      13 |   105278 |    44132 |    15775      3 |      810 |      764
60.38/60.45	c 60.2s |      13 |   106482 |    45132 |    15775      4 |      810 |      764
62.48/62.53	c 62.3s |      13 |   107777 |    46232 |    15775      4 |      810 |      764
64.58/64.63	c 64.4s |      13 |   108956 |    47232 |    15775      4 |      810 |      764
66.58/66.65	c 66.4s |      13 |   109985 |    48132 |    15775      4 |      810 |      764
68.78/68.85	c 68.6s |      13 |   111061 |    49032 |    15775      4 |      810 |      764
70.78/70.89	c 70.6s |      13 |   111970 |    49832 |    15775      4 |      810 |      764
72.97/73.09	c 72.8s |      13 |   112843 |    50632 |    15775      4 |      810 |      764
75.17/75.26	c 75.0s |      13 |   113896 |    51532 |    15775      4 |      810 |      764
77.37/77.44	c 77.2s |      13 |   114913 |    52432 |    15775      4 |      810 |      764
79.58/79.62	c 79.3s |      13 |   115846 |    53232 |    15775      4 |      810 |      764
81.78/81.88	c 81.6s |      13 |   116642 |    53932 |    15775      5 |      810 |      764
83.88/83.98	c 83.7s |      13 |   117521 |    54732 |    15775      5 |      810 |      764
86.08/86.17	c 85.9s |      13 |   118415 |    55532 |    15775      5 |      810 |      764
88.18/88.20	c 87.9s |      13 |   119199 |    56232 |    15775      5 |      810 |      764
90.28/90.32	c 90.0s |      13 |   119956 |    56932 |    15775      5 |      810 |      764
92.38/92.41	c 92.1s |      13 |   123290 |    58332 |    17353      5 |      810 |      764
92.38/92.44	c 92.2s |      14 |   123327 |    58352 |    17353      5 |      810 |      764
94.48/94.51	c 94.2s |      14 |   135137 |    60952 |    17353      5 |      810 |      764
96.49/96.52	c 96.2s |      14 |   138565 |    62852 |    17353      5 |      810 |      764
98.48/98.56	c 98.3s |      14 |   143366 |    64852 |    17353      5 |      810 |      764
100.58/100.65	c  100s |      14 |   144880 |    65952 |    17353      6 |      810 |      764
102.68/102.80	c  102s |      14 |   146450 |    67152 |    17353      6 |      810 |      764
104.88/104.91	c  104s |      14 |   147654 |    68152 |    17353      6 |      810 |      764
106.98/107.06	c  106s |      14 |   148580 |    68952 |    17353      6 |      810 |      764
109.18/109.23	c  108s |      14 |   149870 |    69952 |    17353      6 |      810 |      764
111.28/111.32	c  111s |      14 |   151430 |    71052 |    17353      6 |      810 |      764
113.27/113.34	c  113s |      14 |   152760 |    72052 |    17353      6 |      810 |      764
115.37/115.41	c  115s |      14 |   157901 |    73552 |    17353      6 |      810 |      764
117.38/117.47	c  117s |      14 |   160350 |    74952 |    17353      6 |      810 |      764
119.48/119.54	c  119s |      14 |   161800 |    75952 |    17353      7 |      810 |      764
121.57/121.63	c  121s |      14 |   163210 |    77052 |    17353      7 |      810 |      764
123.57/123.68	c  123s |      14 |   164909 |    78252 |    17353      7 |      810 |      764
125.77/125.86	c  125s |      14 |   166539 |    79452 |    17353      7 |      810 |      764
127.97/128.06	c  127s |      14 |   168080 |    80552 |    17353      7 |      810 |      764
130.17/130.25	c  129s |      14 |   169236 |    81452 |    17353      7 |      810 |      764
132.17/132.26	c  131s |      14 |   170210 |    82252 |    17353      7 |      810 |      764
134.37/134.48	c  134s |      14 |   171476 |    83252 |    17353      7 |      810 |      764
136.47/136.57	c  136s |      14 |   172660 |    84152 |    17353      7 |      810 |      764
138.66/138.77	c  138s |      14 |   173859 |    85052 |    17353      7 |      810 |      764
140.96/141.02	c  140s |      14 |   174737 |    85752 |    17353      8 |      810 |      764
143.06/143.10	c  142s |      14 |   175831 |    86652 |    17353      8 |      810 |      764
145.16/145.26	c  144s |      15 |   177059 |    87632 |    19089      8 |      810 |      764
147.26/147.34	c  147s |      15 |   180562 |    89032 |    19089      8 |      810 |      764
149.28/149.39	c  149s |      15 |   182052 |    90332 |    19089      8 |      810 |      764
151.48/151.53	c  151s |      15 |   183425 |    91632 |    19089      8 |      810 |      764
153.58/153.62	c  153s |      15 |   184621 |    92732 |    19089      8 |      810 |      764
155.57/155.64	c  155s |      15 |   188580 |    94532 |    19089      8 |      810 |      764
157.67/157.72	c  157s |      15 |   190715 |    95932 |    19089      8 |      810 |      764
159.67/159.77	c  159s |      15 |   192564 |    97232 |    19089      8 |      810 |      764
161.77/161.89	c  161s |      15 |   194082 |    98332 |    19089      9 |      810 |      764
163.97/164.08	c  163s |      15 |   195878 |    99632 |    19089      9 |      810 |      764
166.07/166.17	c  165s |      15 |   197228 |   100632 |    19089      9 |      810 |      764
168.27/168.38	c  168s |      15 |   198513 |   101632 |    19089      9 |      810 |      764
170.37/170.41	c  170s |      15 |   199540 |   102432 |    19089      9 |      810 |      764
172.47/172.55	c  172s |      15 |   200647 |   103332 |    19089      9 |      810 |      764
174.57/174.64	c  174s |      15 |   201659 |   104132 |    19089      9 |      810 |      764
176.57/176.68	c  176s |      15 |   202474 |   104832 |    19089      9 |      810 |      764
178.67/178.73	c  178s |      15 |   203293 |   105532 |    19089      9 |      810 |      764
180.77/180.87	c  180s |      15 |   204305 |   106332 |    19089      9 |      810 |      764
182.77/182.88	c  182s |      15 |   205137 |   107032 |    19089      9 |      810 |      764
185.07/185.11	c  184s |      15 |   205953 |   107732 |    19089      9 |      810 |      764
187.17/187.21	c  186s |      15 |   206778 |   108432 |    19089      9 |      810 |      764
189.27/189.33	c  189s |      15 |   207486 |   109032 |    19089      9 |      810 |      764
191.36/191.40	c  191s |      15 |   208155 |   109632 |    19089     10 |      810 |      764
193.36/193.40	c  193s |      15 |   208863 |   110232 |    19089     10 |      810 |      764
195.47/195.52	c  195s |      15 |   209739 |   110932 |    19089     10 |      810 |      764
197.57/197.63	c  197s |      15 |   211924 |   112132 |    19089     10 |      810 |      764
199.66/199.74	c  199s |      15 |   213339 |   113132 |    19089     10 |      810 |      764
201.66/201.78	c  201s |      15 |   215251 |   114232 |    19089     10 |      810 |      764
203.66/203.79	c  203s |      15 |   216464 |   115132 |    19089     10 |      810 |      764
205.76/205.83	c  205s |      15 |   217478 |   115932 |    19089     10 |      810 |      764
207.86/207.93	c  207s |      15 |   219207 |   117032 |    19089     10 |      810 |      764
209.96/210.06	c  209s |      15 |   220441 |   117932 |    19089     10 |      810 |      764
212.06/212.15	c  211s |      15 |   221729 |   118832 |    19089     10 |      810 |      764
214.26/214.33	c  214s |      15 |   223000 |   119732 |    19089     10 |      810 |      764
216.66/216.78	c  216s |      15 |   224046 |   120532 |    19089     11 |      810 |      764
218.66/218.79	c  218s |      15 |   225497 |   121632 |    19089     11 |      810 |      764
220.76/220.81	c  220s |      15 |   226670 |   122532 |    19089     11 |      810 |      764
222.96/223.09	c  222s |      15 |   227823 |   123432 |    19089     11 |      810 |      764
224.96/225.09	c  224s |      15 |   229005 |   124332 |    19089     11 |      810 |      764
227.05/227.13	c  226s |      15 |   229984 |   125132 |    19089     11 |      810 |      764
229.05/229.17	c  228s |      15 |   231051 |   125932 |    19089     11 |      810 |      764
231.35/231.49	c  231s |      15 |   232052 |   126732 |    19089     11 |      810 |      764
233.45/233.52	c  233s |      15 |   232943 |   127432 |    19089     11 |      810 |      764
235.45/235.57	c  235s |      15 |   233933 |   128232 |    19089     11 |      810 |      764
237.55/237.65	c  237s |      15 |   234806 |   128932 |    19089     11 |      810 |      764
239.55/239.66	c  239s |      15 |   235528 |   129532 |    19089     11 |      810 |      764
241.66/241.74	c  241s |      15 |   236391 |   130232 |    19089     11 |      810 |      764
243.86/243.99	c  243s |      15 |   237265 |   130932 |    20998     11 |      810 |      764
245.35/245.49	c  245s |      16 |   238215 |   131552 |    20998     11 |      810 |      764
247.45/247.54	c  247s |      16 |   243418 |   132952 |    20998     12 |      810 |      764
249.55/249.60	c  249s |      16 |   248954 |   134852 |    20998     12 |      810 |      764
251.65/251.76	c  251s |      16 |   250906 |   136252 |    20998     12 |      810 |      764
253.76/253.86	c  253s |      16 |   252221 |   137352 |    20998     12 |      810 |      764
255.86/255.98	c  255s |      16 |   253392 |   138352 |    20998     12 |      810 |      764
257.95/258.00	c  257s |      16 |   254487 |   139252 |    20998     12 |      810 |      764
259.95/260.06	c  259s |      16 |   255529 |   140152 |    20998     12 |      810 |      764
262.05/262.20	c  261s |      16 |   256440 |   140952 |    20998     12 |      810 |      764
264.15/264.22	c  263s |      16 |   257433 |   141752 |    20998     12 |      810 |      764
266.14/266.26	c  265s |      16 |   258750 |   142752 |    20998     12 |      810 |      764
268.24/268.39	c  268s |      16 |   259882 |   143652 |    20998     12 |      810 |      764
270.44/270.52	c  270s |      16 |   261439 |   144752 |    20998     12 |      810 |      764
272.45/272.52	c  272s |      16 |   262463 |   145552 |    20998     13 |      810 |      764
274.55/274.70	c  274s |      16 |   263562 |   146452 |    20998     13 |      810 |      764
276.64/276.74	c  276s |      16 |   264610 |   147252 |    20998     13 |      810 |      764
278.64/278.77	c  278s |      16 |   265608 |   148052 |    20998     13 |      810 |      764
280.84/280.90	c  280s |      16 |   266654 |   148852 |    20998     13 |      810 |      764
282.84/282.96	c  282s |      16 |   267723 |   149652 |    20998     13 |      810 |      764
285.04/285.19	c  284s |      16 |   268654 |   150452 |    20998     13 |      810 |      764
287.04/287.19	c  286s |      16 |   269392 |   151052 |    20998     13 |      810 |      764
289.34/289.48	c  289s |      16 |   270347 |   151852 |    20998     13 |      810 |      764
291.54/291.67	c  291s |      16 |   271266 |   152552 |    20998     13 |      810 |      764
293.65/293.78	c  293s |      16 |   272022 |   153152 |    20998     13 |      810 |      764
295.95/296.01	c  295s |      16 |   272728 |   153752 |    20998     13 |      810 |      764
298.05/298.17	c  297s |      16 |   273639 |   154452 |    20998     13 |      810 |      764
300.45/300.56	c  300s |      16 |   274524 |   155152 |    20998     13 |      810 |      764
302.45/302.57	c  302s |      16 |   275088 |   155652 |    20998     13 |      810 |      764
304.85/304.90	c  304s |      16 |   275761 |   156252 |    20998     13 |      810 |      764
307.05/307.13	c  306s |      16 |   276476 |   156852 |    20998     13 |      810 |      764
309.35/309.42	c  309s |      16 |   277083 |   157352 |    20998     14 |      810 |      764
311.64/311.70	c  311s |      16 |   277916 |   158052 |    20998     14 |      810 |      764
313.64/313.71	c  313s |      16 |   278607 |   158652 |    20998     14 |      810 |      764
315.74/315.89	c  315s |      16 |   279433 |   159352 |    20998     14 |      810 |      764
317.84/317.91	c  317s |      16 |   280120 |   159952 |    20998     14 |      810 |      764
319.94/320.01	c  319s |      16 |   280831 |   160552 |    20998     14 |      810 |      764
322.04/322.16	c  321s |      16 |   281692 |   161252 |    20998     14 |      810 |      764
324.14/324.21	c  323s |      16 |   282398 |   161852 |    20998     14 |      810 |      764
326.24/326.39	c  326s |      16 |   283085 |   162452 |    20998     14 |      810 |      764
328.34/328.46	c  328s |      16 |   283777 |   163052 |    20998     14 |      810 |      764
330.53/330.63	c  330s |      16 |   284473 |   163652 |    20998     14 |      810 |      764
332.73/332.86	c  332s |      16 |   285142 |   164252 |    20998     14 |      810 |      764
335.04/335.14	c  334s |      16 |   285812 |   164852 |    20998     14 |      810 |      764
337.43/337.51	c  337s |      16 |   286491 |   165452 |    20998     14 |      810 |      764
339.54/339.61	c  339s |      16 |   287053 |   165952 |    20998     14 |      810 |      764
341.64/341.78	c  341s |      16 |   287612 |   166452 |    20998     14 |      810 |      764
343.73/343.86	c  343s |      16 |   288166 |   166952 |    20998     14 |      810 |      764
345.73/345.86	c  345s |      16 |   288736 |   167452 |    20998     14 |      810 |      764
347.93/348.00	c  347s |      16 |   289288 |   167952 |    20998     14 |      810 |      764
349.94/350.08	c  349s |      16 |   289866 |   168452 |    20998     14 |      810 |      764
352.24/352.31	c  352s |      16 |   290443 |   168952 |    20998     14 |      810 |      764
354.24/354.32	c  354s |      16 |   290913 |   169352 |    20998     15 |      810 |      764
356.44/356.57	c  356s |      16 |   291735 |   170052 |    20998     15 |      810 |      764
358.54/358.69	c  358s |      16 |   292400 |   170652 |    20998     15 |      810 |      764
360.74/360.80	c  360s |      16 |   293278 |   171352 |    20998     15 |      810 |      764
362.84/362.99	c  362s |      16 |   294495 |   172252 |    20998     15 |      810 |      764
365.14/365.23	c  364s |      16 |   295533 |   173052 |    20998     15 |      810 |      764
367.13/367.24	c  366s |      16 |   296742 |   173952 |    20998     15 |      810 |      764
369.53/369.61	c  369s |      16 |   297639 |   174652 |    20998     15 |      810 |      764
371.73/371.87	c  371s |      16 |   298557 |   175352 |    20998     15 |      810 |      764
373.83/373.94	c  373s |      16 |   299441 |   176052 |    20998     15 |      810 |      764
375.93/376.01	c  375s |      16 |   300157 |   176652 |    20998     15 |      810 |      764
378.23/378.37	c  378s |      16 |   300851 |   177252 |    20998     15 |      810 |      764
380.33/380.46	c  380s |      16 |   301433 |   177752 |    20998     15 |      810 |      764
382.73/382.82	c  382s |      16 |   302120 |   178352 |    20998     15 |      810 |      764
384.83/384.97	c  384s |      16 |   302731 |   178852 |    20998     15 |      810 |      764
387.33/387.42	c  387s |      16 |   303463 |   179452 |    20998     15 |      810 |      764
389.33/389.47	c  389s |      16 |   304023 |   179952 |    20998     15 |      810 |      764
391.83/391.99	c  391s |      16 |   304571 |   180452 |    20998     15 |      810 |      764
394.33/394.45	c  394s |      16 |   305161 |   180952 |    20998     15 |      810 |      764
396.43/396.59	c  396s |      16 |   306212 |   181552 |    20998     16 |      810 |      764
398.53/398.67	c  398s |      16 |   307564 |   182552 |    20998     16 |      810 |      764
400.63/400.72	c  400s |      16 |   308666 |   183352 |    20998     16 |      810 |      764
402.83/402.90	c  402s |      16 |   309617 |   184152 |    20998     16 |      810 |      764
404.82/404.93	c  404s |      16 |   310441 |   184852 |    20998     16 |      810 |      764
406.92/407.09	c  406s |      16 |   311302 |   185552 |    20998     16 |      810 |      764
409.12/409.28	c  408s |      16 |   311980 |   186152 |    20998     16 |      810 |      764
411.42/411.58	c  411s |      16 |   312810 |   186852 |    20998     16 |      810 |      764
413.62/413.70	c  413s |      16 |   313705 |   187552 |    20998     16 |      810 |      764
415.72/415.88	c  415s |      16 |   314367 |   188152 |    20998     16 |      810 |      764
418.13/418.20	c  417s |      16 |   315072 |   188752 |    20998     16 |      810 |      764
420.43/420.57	c  420s |      16 |   315637 |   189252 |    20998     16 |      810 |      764
422.73/422.87	c  422s |      16 |   316176 |   189752 |    20998     16 |      810 |      764
425.03/425.10	c  424s |      16 |   316739 |   190252 |    20998     16 |      810 |      764
427.23/427.35	c  427s |      16 |   317293 |   190752 |    20998     16 |      810 |      764
429.43/429.57	c  429s |      16 |   317878 |   191252 |    20998     16 |      810 |      764
431.63/431.71	c  431s |      16 |   318497 |   191752 |    20998     16 |      810 |      764
433.63/433.71	c  433s |      16 |   318986 |   192152 |    20998     16 |      810 |      764
435.83/435.97	c  435s |      16 |   319676 |   192752 |    20998     16 |      810 |      764
438.03/438.13	c  437s |      16 |   320246 |   193252 |    20998     16 |      810 |      764
440.12/440.24	c  439s |      16 |   320697 |   193652 |    20998     17 |      810 |      764
442.12/442.25	c  441s |      16 |   321242 |   194152 |    20998     17 |      810 |      764
444.32/444.42	c  444s |      16 |   322116 |   194852 |    20998     17 |      810 |      764
446.72/446.81	c  446s |      16 |   322947 |   195552 |    20998     17 |      810 |      764
448.92/449.04	c  448s |      16 |   323756 |   196252 |    23098     17 |      810 |      764
450.92/451.07	c  450s |      16 |   324323 |   196752 |    23098     17 |      810 |      764
453.02/453.12	c  452s |      16 |   324934 |   197252 |    23098     17 |      810 |      764
453.62/453.74	c  453s |      17 |   325139 |   197432 |    23098     17 |      810 |      764
455.62/455.78	c  455s |      17 |   331280 |   199132 |    23098     17 |      810 |      764
457.72/457.87	c  457s |      17 |   333378 |   200632 |    23098     17 |      810 |      764
459.82/459.91	c  459s |      17 |   334668 |   201832 |    23098     17 |      810 |      764
461.82/461.99	c  461s |      17 |   336729 |   203232 |    23098     17 |      810 |      764
464.02/464.10	c  463s |      17 |   338177 |   204632 |    23098     17 |      810 |      764
466.02/466.15	c  465s |      17 |   339408 |   205832 |    23098     17 |      810 |      764
468.12/468.25	c  467s |      17 |   340701 |   207032 |    23098     17 |      810 |      764
470.32/470.41	c  470s |      17 |   341544 |   207832 |    23098     18 |      810 |      764
472.32/472.49	c  472s |      17 |   342613 |   208832 |    23098     18 |      810 |      764
474.41/474.51	c  474s |      17 |   343549 |   209732 |    23098     18 |      810 |      764
476.41/476.55	c  476s |      17 |   344485 |   210632 |    23098     18 |      810 |      764
478.51/478.66	c  478s |      17 |   345424 |   211532 |    23098     18 |      810 |      764
480.61/480.79	c  480s |      17 |   346381 |   212432 |    23098     18 |      810 |      764
482.71/482.87	c  482s |      17 |   347205 |   213232 |    23098     18 |      810 |      764
485.01/485.14	c  484s |      17 |   348148 |   214132 |    23098     18 |      810 |      764
487.11/487.28	c  487s |      17 |   348988 |   214932 |    23098     18 |      810 |      764
489.31/489.45	c  489s |      17 |   349811 |   215732 |    23098     18 |      810 |      764
491.32/491.45	c  491s |      17 |   350552 |   216432 |    23098     18 |      810 |      764
493.52/493.67	c  493s |      17 |   351287 |   217132 |    23098     18 |      810 |      764
495.62/495.79	c  495s |      17 |   352033 |   217832 |    23098     18 |      810 |      764
497.82/497.92	c  497s |      17 |   352658 |   218432 |    23098     18 |      810 |      764
499.81/499.99	c  499s |      17 |   353309 |   219032 |    23098     18 |      810 |      764
501.91/502.08	c  501s |      17 |   353962 |   219632 |    23098     18 |      810 |      764
504.11/504.24	c  503s |      17 |   354579 |   220232 |    23098     18 |      810 |      764
506.31/506.45	c  506s |      17 |   355092 |   220732 |    23098     19 |      810 |      764
508.51/508.60	c  508s |      17 |   355840 |   221432 |    23098     19 |      810 |      764
510.61/510.79	c  510s |      17 |   356558 |   222132 |    23098     19 |      810 |      764
512.81/512.96	c  512s |      17 |   357190 |   222732 |    23098     19 |      810 |      764
514.91/515.09	c  514s |      17 |   357913 |   223432 |    23098     19 |      810 |      764
517.21/517.38	c  517s |      17 |   358648 |   224132 |    23098     19 |      810 |      764
519.51/519.68	c  519s |      17 |   359395 |   224832 |    23098     19 |      810 |      764
521.91/522.02	c  521s |      17 |   360117 |   225532 |    23098     19 |      810 |      764
524.11/524.27	c  523s |      17 |   360858 |   226232 |    23098     19 |      810 |      764
526.21/526.37	c  526s |      17 |   361480 |   226832 |    23098     19 |      810 |      764
528.40/528.50	c  528s |      17 |   362115 |   227432 |    23098     19 |      810 |      764
530.61/530.77	c  530s |      17 |   362742 |   228032 |    23098     19 |      810 |      764
532.91/533.05	c  532s |      17 |   363353 |   228632 |    23098     19 |      810 |      764
535.11/535.20	c  534s |      17 |   363973 |   229232 |    23098     19 |      810 |      764
537.11/537.25	c  536s |      17 |   364487 |   229732 |    23098     19 |      810 |      764
539.21/539.30	c  539s |      17 |   365000 |   230232 |    23098     19 |      810 |      764
541.51/541.62	c  541s |      17 |   365600 |   230832 |    23098     19 |      810 |      764
543.71/543.85	c  543s |      17 |   366113 |   231332 |    23098     19 |      810 |      764
545.91/546.06	c  545s |      17 |   366627 |   231832 |    23098     19 |      810 |      764
548.21/548.30	c  548s |      17 |   367258 |   232432 |    23098     19 |      810 |      764
550.41/550.52	c  550s |      17 |   367789 |   232932 |    23098     19 |      810 |      764
552.51/552.69	c  552s |      17 |   368324 |   233432 |    23098     19 |      810 |      764
554.71/554.83	c  554s |      17 |   368741 |   233832 |    23098     20 |      810 |      764
556.91/557.07	c  556s |      17 |   369471 |   234532 |    23098     20 |      810 |      764
559.01/559.12	c  558s |      17 |   370200 |   235232 |    23098     20 |      810 |      764
561.21/561.37	c  561s |      17 |   370925 |   235932 |    23098     20 |      810 |      764
563.31/563.46	c  563s |      17 |   371766 |   236732 |    23098     20 |      810 |      764
565.51/565.62	c  565s |      17 |   372507 |   237432 |    23098     20 |      810 |      764
567.61/567.75	c  567s |      17 |   373126 |   238032 |    23098     20 |      810 |      764
569.61/569.79	c  569s |      17 |   373866 |   238732 |    23098     20 |      810 |      764
571.71/571.80	c  571s |      17 |   374500 |   239332 |    23098     20 |      810 |      764
574.00/574.15	c  573s |      17 |   375252 |   240032 |    23098     20 |      810 |      764
576.10/576.28	c  576s |      17 |   375884 |   240632 |    23098     20 |      810 |      764
578.30/578.42	c  578s |      17 |   376508 |   241232 |    23098     20 |      810 |      764
580.50/580.68	c  580s |      17 |   377142 |   241832 |    23098     20 |      810 |      764
582.70/582.86	c  582s |      17 |   377776 |   242432 |    23098     20 |      810 |      764
585.00/585.10	c  584s |      17 |   378392 |   243032 |    23098     20 |      810 |      764
587.20/587.33	c  587s |      17 |   378996 |   243632 |    23098     20 |      810 |      764
589.21/589.39	c  589s |      17 |   379510 |   244132 |    23098     20 |      810 |      764
591.70/591.84	c  591s |      17 |   380134 |   244732 |    23098     20 |      810 |      764
594.10/594.20	c  593s |      17 |   380652 |   245232 |    23098     20 |      810 |      764
596.40/596.56	c  596s |      17 |   381166 |   245732 |    23098     20 |      810 |      764
598.60/598.77	c  598s |      17 |   381677 |   246232 |    23098     20 |      810 |      764
600.70/600.87	c  600s |      17 |   382194 |   246732 |    23098     20 |      810 |      764
603.10/603.22	c  602s |      17 |   382702 |   247232 |    23098     21 |      810 |      764
605.20/605.31	c  605s |      17 |   383426 |   247932 |    23098     21 |      810 |      764
607.30/607.40	c  607s |      17 |   384138 |   248632 |    23098     21 |      810 |      764
609.30/609.49	c  609s |      17 |   384851 |   249332 |    23098     21 |      810 |      764
611.50/611.61	c  611s |      17 |   385559 |   250032 |    23098     21 |      810 |      764
613.70/613.84	c  613s |      17 |   386295 |   250732 |    23098     21 |      810 |      764
615.80/615.98	c  615s |      17 |   387018 |   251432 |    23098     21 |      810 |      764
617.80/617.98	c  617s |      17 |   387648 |   252032 |    23098     21 |      810 |      764
620.20/620.35	c  620s |      17 |   388372 |   252732 |    23098     21 |      810 |      764
622.50/622.70	c  622s |      17 |   388988 |   253332 |    23098     21 |      810 |      764
624.80/624.92	c  624s |      17 |   389613 |   253932 |    23098     21 |      810 |      764
627.00/627.17	c  626s |      17 |   390220 |   254532 |    23098     21 |      810 |      764
629.30/629.42	c  629s |      17 |   390845 |   255132 |    23098     21 |      810 |      764
631.60/631.74	c  631s |      17 |   391469 |   255732 |    23098     21 |      810 |      764
633.69/633.89	c  633s |      17 |   391978 |   256232 |    23098     21 |      810 |      764
635.79/635.90	c  635s |      17 |   392497 |   256732 |    23098     21 |      810 |      764
637.79/637.95	c  637s |      17 |   393023 |   257232 |    23098     21 |      810 |      764
639.89/640.09	c  639s |      17 |   393536 |   257732 |    23098     21 |      810 |      764
642.00/642.19	c  641s |      17 |   394058 |   258232 |    23098     21 |      810 |      764
644.20/644.35	c  644s |      17 |   394585 |   258732 |    23098     21 |      810 |      764
646.19/646.36	c  646s |      17 |   395095 |   259232 |    23098     21 |      810 |      764
648.50/648.61	c  648s |      17 |   395615 |   259732 |    23098     21 |      810 |      764
650.59/650.75	c  650s |      17 |   396023 |   260132 |    23098     22 |      810 |      764
652.79/652.93	c  652s |      17 |   396772 |   260832 |    23098     22 |      810 |      764
654.99/655.11	c  654s |      17 |   397504 |   261532 |    23098     22 |      810 |      764
657.09/657.21	c  656s |      17 |   398125 |   262132 |    23098     22 |      810 |      764
659.39/659.51	c  659s |      17 |   398876 |   262832 |    23098     22 |      810 |      764
661.59/661.72	c  661s |      17 |   399511 |   263432 |    23098     22 |      810 |      764
663.90/664.07	c  663s |      17 |   400241 |   264132 |    23098     22 |      810 |      764
665.99/666.13	c  665s |      17 |   400852 |   264732 |    23098     22 |      810 |      764
667.99/668.15	c  667s |      17 |   401470 |   265332 |    23098     22 |      810 |      764
670.29/670.42	c  670s |      17 |   402091 |   265932 |    23098     22 |      810 |      764
672.39/672.54	c  672s |      17 |   402728 |   266532 |    23098     22 |      810 |      764
674.49/674.62	c  674s |      17 |   403352 |   267132 |    23098     22 |      810 |      764
676.79/676.98	c  676s |      17 |   403964 |   267732 |    23098     22 |      810 |      764
679.09/679.27	c  678s |      17 |   404578 |   268332 |    23098     22 |      810 |      764
681.49/681.63	c  681s |      17 |   405193 |   268932 |    23098     22 |      810 |      764
683.59/683.75	c  683s |      17 |   405712 |   269432 |    23098     22 |      810 |      764
685.99/686.11	c  685s |      17 |   406325 |   270032 |    23098     22 |      810 |      764
688.19/688.33	c  688s |      17 |   406836 |   270532 |    23098     22 |      810 |      764
690.29/690.49	c  690s |      17 |   407350 |   271032 |    23098     22 |      810 |      764
692.49/692.62	c  692s |      17 |   407870 |   271532 |    23098     22 |      810 |      764
694.69/694.87	c  694s |      17 |   408391 |   272032 |    23098     22 |      810 |      764
697.08/697.20	c  696s |      17 |   408929 |   272532 |    23098     22 |      810 |      764
699.09/699.28	c  699s |      17 |   409456 |   273032 |    23098     22 |      810 |      764
701.18/701.37	c  701s |      17 |   409991 |   273532 |    23098     23 |      810 |      764
703.38/703.51	c  703s |      17 |   410715 |   274232 |    23098     23 |      810 |      764
705.48/705.62	c  705s |      17 |   411333 |   274832 |    23098     23 |      810 |      764
707.68/707.85	c  707s |      17 |   412059 |   275532 |    23098     23 |      810 |      764
709.88/710.07	c  709s |      17 |   412805 |   276232 |    23098     23 |      810 |      764
711.88/712.08	c  711s |      17 |   413587 |   276932 |    23098     23 |      810 |      764
713.98/714.13	c  713s |      17 |   414223 |   277532 |    23098     23 |      810 |      764
715.98/716.16	c  715s |      17 |   414864 |   278132 |    23098     23 |      810 |      764
718.08/718.22	c  717s |      17 |   415512 |   278732 |    23098     23 |      810 |      764
720.28/720.40	c  720s |      17 |   416136 |   279332 |    23098     23 |      810 |      764
722.38/722.53	c  722s |      17 |   416773 |   279932 |    23098     23 |      810 |      764
724.68/724.86	c  724s |      17 |   417414 |   280532 |    23098     23 |      810 |      764
726.69/726.86	c  726s |      17 |   417925 |   281032 |    23098     23 |      810 |      764
728.79/728.99	c  728s |      17 |   418433 |   281532 |    23098     23 |      810 |      764
730.98/731.17	c  730s |      17 |   418964 |   282032 |    23098     23 |      810 |      764
733.38/733.50	c  733s |      17 |   419585 |   282632 |    23098     23 |      810 |      764
735.38/735.57	c  735s |      17 |   420108 |   283132 |    23098     23 |      810 |      764
737.48/737.66	c  737s |      17 |   420634 |   283632 |    23098     23 |      810 |      764
739.68/739.85	c  739s |      17 |   421145 |   284132 |    23098     23 |      810 |      764
741.78/741.95	c  741s |      17 |   421655 |   284632 |    23098     23 |      810 |      764
743.88/744.07	c  743s |      17 |   422183 |   285132 |    23098     23 |      810 |      764
746.28/746.42	c  746s |      17 |   422704 |   285632 |    23098     23 |      810 |      764
748.58/748.70	c  748s |      17 |   423218 |   286132 |    23098     23 |      810 |      764
750.78/750.92	c  750s |      17 |   423737 |   286632 |    23098     24 |      810 |      764
752.98/753.13	c  752s |      17 |   424473 |   287332 |    23098     24 |      810 |      764
755.18/755.33	c  755s |      17 |   425191 |   288032 |    23098     24 |      810 |      764
757.38/757.52	c  757s |      17 |   425906 |   288732 |    23098     24 |      810 |      764
759.37/759.54	c  759s |      17 |   426542 |   289332 |    23098     24 |      810 |      764
761.47/761.65	c  761s |      17 |   427286 |   290032 |    23098     24 |      810 |      764
763.57/763.78	c  763s |      17 |   427895 |   290632 |    23098     24 |      810 |      764
765.77/765.98	c  765s |      17 |   428506 |   291232 |    23098     24 |      810 |      764
768.07/768.26	c  767s |      17 |   429125 |   291832 |    23098     24 |      810 |      764
770.27/770.49	c  770s |      17 |   429740 |   292432 |    23098     24 |      810 |      764
772.37/772.59	c  772s |      17 |   430377 |   293032 |    23098     24 |      810 |      764
774.67/774.89	c  774s |      17 |   431021 |   293632 |    23098     24 |      810 |      764
777.07/777.26	c  776s |      17 |   431647 |   294232 |    25408     24 |      810 |      764
779.57/779.71	c  779s |      17 |   432271 |   294832 |    25408     24 |      810 |      764
781.58/781.80	c  781s |      17 |   432781 |   295332 |    25408     24 |      810 |      764
783.97/784.12	c  783s |      17 |   433296 |   295832 |    25408     24 |      810 |      764
785.77/785.93	c  785s |      18 |   433756 |   296252 |    25408     24 |      810 |      764
787.77/787.99	c  787s |      18 |   442167 |   298452 |    25408     24 |      810 |      764
789.87/790.07	c  789s |      18 |   445662 |   300352 |    25408     24 |      810 |      764
792.07/792.25	c  791s |      18 |   447165 |   301552 |    25408     24 |      810 |      764
794.17/794.34	c  794s |      18 |   448709 |   302552 |    25408     25 |      810 |      764
796.17/796.36	c  796s |      18 |   449828 |   303452 |    25408     25 |      810 |      764
798.27/798.44	c  798s |      18 |   451613 |   304752 |    25408     25 |      810 |      764
800.37/800.58	c  800s |      18 |   452908 |   305752 |    25408     25 |      810 |      764
802.67/802.84	c  802s |      18 |   454323 |   306852 |    25408     25 |      810 |      764
804.67/804.90	c  804s |      18 |   455453 |   307752 |    25408     25 |      810 |      764
806.87/807.01	c  806s |      18 |   456737 |   308752 |    25408     25 |      810 |      764
809.07/809.22	c  808s |      18 |   457949 |   309652 |    25408     25 |      810 |      764
811.16/811.39	c  811s |      18 |   459049 |   310552 |    25408     25 |      810 |      764
813.26/813.43	c  813s |      18 |   459887 |   311252 |    25408     25 |      810 |      764
815.46/815.67	c  815s |      18 |   460898 |   312052 |    25408     25 |      810 |      764
817.46/817.68	c  817s |      18 |   461875 |   312852 |    25408     25 |      810 |      764
819.66/819.87	c  819s |      18 |   462826 |   313652 |    25408     25 |      810 |      764
821.76/821.95	c  821s |      18 |   463646 |   314352 |    25408     25 |      810 |      764
824.06/824.24	c  823s |      18 |   464449 |   315052 |    25408     25 |      810 |      764
826.26/826.40	c  826s |      18 |   465298 |   315752 |    25408     25 |      810 |      764
828.26/828.45	c  828s |      18 |   466084 |   316352 |    25408     26 |      810 |      764
830.37/830.60	c  830s |      18 |   466905 |   317052 |    25408     26 |      810 |      764
832.47/832.64	c  832s |      18 |   467733 |   317752 |    25408     26 |      810 |      764
834.67/834.88	c  834s |      18 |   468753 |   318552 |    25408     26 |      810 |      764
836.76/836.99	c  836s |      18 |   469567 |   319252 |    25408     26 |      810 |      764
839.06/839.28	c  839s |      18 |   470379 |   319952 |    25408     26 |      810 |      764
841.36/841.57	c  841s |      18 |   471218 |   320652 |    25408     26 |      810 |      764
843.56/843.78	c  843s |      18 |   471937 |   321252 |    25408     26 |      810 |      764
845.86/846.05	c  845s |      18 |   472711 |   321952 |    25408     26 |      810 |      764
847.86/848.07	c  847s |      18 |   473453 |   322552 |    25408     26 |      810 |      764
849.96/850.10	c  849s |      18 |   474331 |   323252 |    25408     26 |      810 |      764
851.97/852.19	c  851s |      18 |   475003 |   323852 |    25408     26 |      810 |      764
854.17/854.38	c  854s |      18 |   475682 |   324452 |    25408     26 |      810 |      764
856.26/856.48	c  856s |      18 |   476208 |   324952 |    25408     26 |      810 |      764
858.36/858.58	c  858s |      18 |   476931 |   325552 |    25408     26 |      810 |      764
860.56/860.71	c  860s |      18 |   477466 |   326052 |    25408     26 |      810 |      764
862.86/863.04	c  862s |      18 |   478020 |   326552 |    25408     26 |      810 |      764
865.17/865.35	c  865s |      18 |   478579 |   327052 |    25408     26 |      810 |      764
867.66/867.81	c  867s |      18 |   479123 |   327552 |    25408     26 |      810 |      764
869.86/870.08	c  869s |      18 |   479711 |   328052 |    25408     26 |      810 |      764
871.96/872.10	c  871s |      18 |   480289 |   328552 |    25408     26 |      810 |      764
873.97/874.14	c  873s |      18 |   480847 |   329052 |    25408     26 |      810 |      764
876.26/876.42	c  876s |      18 |   481430 |   329552 |    25408     26 |      810 |      764
878.46/878.65	c  878s |      18 |   481996 |   330052 |    25408     26 |      810 |      764
881.05/881.28	c  881s |      18 |   482607 |   330552 |    25408     27 |      810 |      764
883.05/883.28	c  883s |      18 |   483294 |   331152 |    25408     27 |      810 |      764
885.55/885.70	c  885s |      18 |   483989 |   331752 |    25408     27 |      810 |      764
887.85/888.01	c  887s |      18 |   484656 |   332352 |    25408     27 |      810 |      764
889.95/890.13	c  889s |      18 |   485426 |   332952 |    25408     27 |      810 |      764
892.15/892.36	c  892s |      18 |   486145 |   333552 |    25408     27 |      810 |      764
894.55/894.79	c  894s |      18 |   486859 |   334152 |    25408     27 |      810 |      764
896.95/897.16	c  896s |      18 |   487568 |   334752 |    25408     27 |      810 |      764
899.25/899.47	c  899s |      18 |   488263 |   335352 |    25408     27 |      810 |      764
901.74/901.94	c  901s |      18 |   488805 |   335852 |    25408     27 |      810 |      764
903.94/904.17	c  903s |      18 |   489368 |   336352 |    25408     27 |      810 |      764
906.04/906.25	c  905s |      18 |   489907 |   336852 |    25408     27 |      810 |      764
908.44/908.62	c  908s |      18 |   490428 |   337352 |    25408     27 |      810 |      764
910.84/911.03	c  910s |      18 |   490992 |   337852 |    25408     27 |      810 |      764
913.04/913.22	c  912s |      18 |   491555 |   338352 |    25408     27 |      810 |      764
915.24/915.46	c  915s |      18 |   492132 |   338852 |    25408     27 |      810 |      764
917.43/917.69	c  917s |      18 |   492677 |   339352 |    25408     27 |      810 |      764
919.83/920.07	c  919s |      18 |   493234 |   339852 |    25408     27 |      810 |      764
921.83/922.08	c  921s |      18 |   493673 |   340252 |    25408     27 |      810 |      764
923.93/924.19	c  923s |      18 |   494288 |   340752 |    25408     27 |      810 |      764
926.23/926.43	c  926s |      18 |   494864 |   341252 |    25408     27 |      810 |      764
928.32/928.55	c  928s |      18 |   495428 |   341752 |    25408     27 |      810 |      764
930.42/930.64	c  930s |      18 |   496010 |   342252 |    25408     27 |      810 |      764
932.72/932.96	c  932s |      18 |   496729 |   342852 |    25408     27 |      810 |      764
935.02/935.25	c  934s |      18 |   497306 |   343352 |    25408     27 |      810 |      764
937.22/937.40	c  937s |      18 |   497895 |   343852 |    25408     27 |      810 |      764
939.62/939.80	c  939s |      18 |   498449 |   344352 |    25408     27 |      810 |      764
941.62/941.89	c  941s |      18 |   498899 |   344752 |    25408     27 |      810 |      764
944.02/944.21	c  943s |      18 |   499368 |   345152 |    25408     28 |      810 |      764
946.32/946.50	c  946s |      18 |   500159 |   345852 |    25408     28 |      810 |      764
948.51/948.77	c  948s |      18 |   500967 |   346552 |    25408     28 |      810 |      764
950.81/951.10	c  950s |      18 |   501818 |   347252 |    25408     28 |      810 |      764
953.22/953.44	c  953s |      18 |   502499 |   347852 |    25408     28 |      810 |      764
955.42/955.69	c  955s |      18 |   503206 |   348452 |    25408     28 |      810 |      764
957.91/958.13	c  957s |      18 |   503741 |   348952 |    25408     28 |      810 |      764
960.11/960.39	c  960s |      18 |   504309 |   349452 |    25408     28 |      810 |      764
962.50/962.75	c  962s |      18 |   504862 |   349952 |    25408     28 |      810 |      764
964.60/964.86	c  964s |      18 |   505438 |   350452 |    25408     28 |      810 |      764
966.91/967.10	c  966s |      18 |   506150 |   351052 |    25408     28 |      810 |      764
969.21/969.40	c  969s |      18 |   506713 |   351552 |    25408     28 |      810 |      764
971.31/971.59	c  971s |      18 |   507278 |   352052 |    25408     28 |      810 |      764
973.71/973.97	c  973s |      18 |   507962 |   352652 |    25408     28 |      810 |      764
975.91/976.16	c  975s |      18 |   508522 |   353152 |    25408     28 |      810 |      764
978.30/978.57	c  978s |      18 |   509094 |   353652 |    25408     28 |      810 |      764
980.40/980.65	c  980s |      18 |   509566 |   354052 |    25408     28 |      810 |      764
982.60/982.86	c  982s |      18 |   510125 |   354552 |    25408     28 |      810 |      764
984.80/985.03	c  984s |      18 |   510657 |   355052 |    25408     28 |      810 |      764
987.10/987.32	c  987s |      18 |   511233 |   355552 |    25408     28 |      810 |      764
989.41/989.65	c  989s |      18 |   511783 |   356052 |    25408     28 |      810 |      764
991.50/991.78	c  991s |      18 |   512241 |   356452 |    25408     28 |      810 |      764
993.90/994.12	c  993s |      18 |   512810 |   356952 |    25408     28 |      810 |      764
996.00/996.26	c  995s |      18 |   513390 |   357452 |    25408     28 |      810 |      764
998.60/998.81	c  998s |      18 |   513949 |   357952 |    25408     28 |      810 |      764
1001.10/1001.36	c 1001s |      18 |   514513 |   358452 |    25408     28 |      810 |      764
1003.20/1003.41	c 1003s |      18 |   514969 |   358852 |    25408     28 |      810 |      764
1006.10/1006.30	c 1006s |      18 |   515406 |   359252 |    25408     29 |      810 |      764
1008.49/1008.76	c 1008s |      18 |   516063 |   359852 |    25408     29 |      810 |      764
1010.49/1010.79	c 1010s |      18 |   516501 |   360252 |    25408     29 |      810 |      764
1012.69/1012.90	c 1012s |      18 |   516939 |   360652 |    25408     29 |      810 |      764
1014.99/1015.29	c 1015s |      18 |   517485 |   361152 |    25408     29 |      810 |      764
1017.49/1017.73	c 1017s |      18 |   518025 |   361652 |    25408     29 |      810 |      764
1019.59/1019.86	c 1019s |      18 |   518576 |   362152 |    25408     29 |      810 |      764
1022.08/1022.34	c 1022s |      18 |   519102 |   362652 |    25408     29 |      810 |      764
1024.08/1024.36	c 1024s |      18 |   519539 |   363052 |    25408     29 |      810 |      764
1026.28/1026.58	c 1026s |      18 |   519999 |   363452 |    25408     29 |      810 |      764
1028.38/1028.68	c 1028s |      18 |   520424 |   363852 |    25408     29 |      810 |      764
1030.58/1030.86	c 1030s |      18 |   520865 |   364252 |    25408     29 |      810 |      764
1032.78/1033.08	c 1032s |      18 |   521409 |   364752 |    25408     29 |      810 |      764
1035.08/1035.37	c 1035s |      18 |   521946 |   365252 |    25408     29 |      810 |      764
1037.47/1037.74	c 1037s |      18 |   522493 |   365752 |    25408     29 |      810 |      764
1039.87/1040.17	c 1039s |      18 |   523035 |   366252 |    25408     29 |      810 |      764
1042.07/1042.30	c 1042s |      18 |   523505 |   366652 |    25408     29 |      810 |      764
1044.07/1044.39	c 1044s |      18 |   524247 |   367252 |    25408     29 |      810 |      764
1046.37/1046.70	c 1046s |      18 |   524962 |   367852 |    25408     29 |      810 |      764
1048.77/1049.02	c 1048s |      18 |   525656 |   368452 |    25408     29 |      810 |      764
1050.77/1051.06	c 1050s |      18 |   526238 |   368952 |    25408     29 |      810 |      764
1052.87/1053.16	c 1052s |      18 |   526809 |   369452 |    25408     29 |      810 |      764
1055.07/1055.34	c 1055s |      18 |   527403 |   369952 |    25408     29 |      810 |      764
1057.16/1057.49	c 1057s |      18 |   527975 |   370452 |    25408     29 |      810 |      764
1059.56/1059.87	c 1059s |      18 |   528436 |   370852 |    25408     29 |      810 |      764
1061.97/1062.23	c 1061s |      18 |   529027 |   371352 |    25408     29 |      810 |      764
1064.36/1064.67	c 1064s |      18 |   529586 |   371852 |    25408     29 |      810 |      764
1066.86/1067.18	c 1066s |      18 |   530174 |   372352 |    25408     29 |      810 |      764
1069.06/1069.34	c 1069s |      18 |   530621 |   372752 |    25408     29 |      810 |      764
1071.26/1071.59	c 1071s |      18 |   531081 |   373152 |    25408     29 |      810 |      764
1073.46/1073.78	c 1073s |      18 |   531563 |   373552 |    25408     29 |      810 |      764
1075.56/1075.89	c 1075s |      18 |   531912 |   373852 |    25408     30 |      810 |      764
1077.65/1077.90	c 1077s |      18 |   532402 |   374252 |    25408     30 |      810 |      764
1080.05/1080.35	c 1080s |      18 |   532962 |   374752 |    25408     30 |      810 |      764
1082.45/1082.77	c 1082s |      18 |   533517 |   375252 |    25408     30 |      810 |      764
1084.95/1085.29	c 1085s |      18 |   534074 |   375752 |    25408     30 |      810 |      764
1087.25/1087.50	c 1087s |      18 |   534505 |   376152 |    25408     30 |      810 |      764
1089.55/1089.81	c 1089s |      18 |   535070 |   376652 |    25408     30 |      810 |      764
1091.75/1092.01	c 1091s |      18 |   536044 |   377352 |    25408     30 |      810 |      764
1094.14/1094.41	c 1094s |      18 |   536892 |   378052 |    25408     30 |      810 |      764
1096.44/1096.75	c 1096s |      18 |   537598 |   378652 |    25408     30 |      810 |      764
1098.74/1099.07	c 1098s |      18 |   538352 |   379252 |    25408     30 |      810 |      764
1100.84/1101.18	c 1100s |      18 |   538792 |   379652 |    25408     30 |      810 |      764
1102.93/1103.22	c 1102s |      18 |   539382 |   380152 |    25408     30 |      810 |      764
1105.23/1105.59	c 1105s |      18 |   540201 |   380852 |    25408     30 |      810 |      764
1107.43/1107.70	c 1107s |      18 |   540781 |   381352 |    25408     30 |      810 |      764
1109.73/1110.07	c 1109s |      18 |   541349 |   381852 |    25408     30 |      810 |      764
1111.93/1112.24	c 1111s |      18 |   541940 |   382352 |    25408     30 |      810 |      764
1114.43/1114.75	c 1114s |      18 |   542631 |   382952 |    25408     30 |      810 |      764
1116.43/1116.77	c 1116s |      18 |   543182 |   383452 |    25408     30 |      810 |      764
1118.73/1119.08	c 1118s |      18 |   543736 |   383952 |    25408     30 |      810 |      764
1120.83/1121.15	c 1120s |      18 |   544327 |   384452 |    25408     30 |      810 |      764
1123.03/1123.38	c 1123s |      18 |   544900 |   384952 |    25408     30 |      810 |      764
1125.43/1125.76	c 1125s |      18 |   545462 |   385452 |    25408     30 |      810 |      764
1127.83/1128.10	c 1127s |      18 |   546013 |   385952 |    25408     30 |      810 |      764
1129.82/1130.11	c 1129s |      18 |   546452 |   386352 |    25408     30 |      810 |      764
1132.02/1132.39	c 1132s |      18 |   547017 |   386852 |    25408     30 |      810 |      764
1134.42/1134.80	c 1134s |      18 |   547592 |   387352 |    25408     30 |      810 |      764
1136.83/1137.14	c 1136s |      18 |   548169 |   387852 |    25408     30 |      810 |      764
1139.23/1139.57	c 1139s |      18 |   548619 |   388252 |    25408     31 |      810 |      764
1141.63/1141.96	c 1141s |      18 |   549272 |   388852 |    25408     31 |      810 |      764
1143.83/1144.13	c 1143s |      18 |   549825 |   389352 |    25408     31 |      810 |      764
1146.13/1146.47	c 1146s |      18 |   550383 |   389852 |    25408     31 |      810 |      764
1148.22/1148.55	c 1148s |      18 |   550840 |   390252 |    25408     31 |      810 |      764
1150.22/1150.56	c 1150s |      18 |   551408 |   390752 |    25408     31 |      810 |      764
1152.42/1152.75	c 1152s |      18 |   551986 |   391252 |    25408     31 |      810 |      764
1154.62/1154.98	c 1154s |      18 |   552550 |   391752 |    25408     31 |      810 |      764
1156.92/1157.28	c 1157s |      18 |   553113 |   392252 |    25408     31 |      810 |      764
1159.01/1159.34	c 1159s |      18 |   553544 |   392652 |    25408     31 |      810 |      764
1161.41/1161.74	c 1161s |      18 |   554088 |   393152 |    25408     31 |      810 |      764
1163.61/1163.99	c 1163s |      18 |   554641 |   393652 |    25408     31 |      810 |      764
1166.11/1166.41	c 1166s |      18 |   555188 |   394152 |    25408     31 |      810 |      764
1168.40/1168.79	c 1168s |      18 |   555739 |   394652 |    25408     31 |      810 |      764
1170.50/1170.83	c 1170s |      18 |   556317 |   395152 |    25408     31 |      810 |      764
1172.90/1173.20	c 1172s |      18 |   556877 |   395652 |    25408     31 |      810 |      764
1175.10/1175.50	c 1175s |      18 |   557447 |   396152 |    25408     31 |      810 |      764
1177.30/1177.70	c 1177s |      18 |   558013 |   396652 |    25408     31 |      810 |      764
1179.61/1179.99	c 1179s |      18 |   558568 |   397152 |    25408     31 |      810 |      764
1181.81/1182.14	c 1181s |      18 |   559118 |   397652 |    25408     31 |      810 |      764
1183.90/1184.21	c 1183s |      18 |   559569 |   398052 |    25408     31 |      810 |      764
1186.00/1186.36	c 1186s |      18 |   560167 |   398552 |    25408     31 |      810 |      764
1188.10/1188.43	c 1188s |      18 |   560744 |   399052 |    25408     31 |      810 |      764
1190.20/1190.54	c 1190s |      18 |   561290 |   399552 |    25408     31 |      810 |      764
1192.60/1192.91	c 1192s |      18 |   561843 |   400052 |    25408     31 |      810 |      764
1194.90/1195.24	c 1194s |      18 |   562287 |   400452 |    25408     31 |      810 |      764
1197.00/1197.38	c 1197s |      18 |   562716 |   400852 |    25408     31 |      810 |      764
1199.50/1199.86	c 1199s |      18 |   563280 |   401352 |    25408     31 |      810 |      764
1201.70/1202.00	c 1201s |      18 |   563727 |   401752 |    25408     31 |      810 |      764
1204.00/1204.30	c 1204s |      18 |   564167 |   402152 |    25408     31 |      810 |      764
1206.10/1206.48	c 1206s |      18 |   564496 |   402452 |    25408     32 |      810 |      764
1208.20/1208.55	c 1208s |      18 |   564936 |   402852 |    25408     32 |      810 |      764
1210.59/1210.98	c 1210s |      18 |   565489 |   403352 |    25408     32 |      810 |      764
1212.99/1213.38	c 1213s |      18 |   566033 |   403852 |    25408     32 |      810 |      764
1215.09/1215.48	c 1215s |      18 |   566480 |   404252 |    25408     32 |      810 |      764
1217.28/1217.67	c 1217s |      18 |   567024 |   404752 |    25408     32 |      810 |      764
1219.68/1220.02	c 1219s |      18 |   567577 |   405252 |    25408     32 |      810 |      764
1222.08/1222.40	c 1222s |      18 |   568144 |   405752 |    25408     32 |      810 |      764
1224.38/1224.70	c 1224s |      18 |   568682 |   406252 |    25408     32 |      810 |      764
1226.78/1227.11	c 1226s |      18 |   569368 |   406852 |    25408     32 |      810 |      764
1228.88/1229.21	c 1228s |      18 |   569940 |   407352 |    25408     32 |      810 |      764
1231.19/1231.57	c 1231s |      18 |   570628 |   407952 |    25408     32 |      810 |      764
1233.49/1233.84	c 1233s |      18 |   571184 |   408452 |    25408     32 |      810 |      764
1235.59/1235.92	c 1235s |      18 |   571718 |   408952 |    25408     32 |      810 |      764
1237.68/1238.03	c 1237s |      18 |   572166 |   409352 |    25408     32 |      810 |      764
1239.78/1240.13	c 1239s |      18 |   572858 |   409952 |    25408     32 |      810 |      764
1241.98/1242.32	c 1242s |      18 |   573419 |   410452 |    25408     32 |      810 |      764
1244.38/1244.74	c 1244s |      18 |   573975 |   410952 |    25408     32 |      810 |      764
1246.79/1247.10	c 1246s |      18 |   574503 |   411452 |    25408     32 |      810 |      764
1248.89/1249.29	c 1249s |      18 |   575065 |   411952 |    25408     32 |      810 |      764
1250.98/1251.37	c 1251s |      18 |   575657 |   412452 |    25408     32 |      810 |      764
1253.48/1253.84	c 1253s |      18 |   576224 |   412952 |    25408     32 |      810 |      764
1255.78/1256.11	c 1255s |      18 |   576821 |   413452 |    25408     32 |      810 |      764
1257.97/1258.38	c 1258s |      18 |   577392 |   413952 |    25408     32 |      810 |      764
1260.27/1260.69	c 1260s |      18 |   577820 |   414352 |    25408     32 |      810 |      764
1262.47/1262.85	c 1262s |      18 |   578253 |   414752 |    25408     32 |      810 |      764
1264.67/1265.01	c 1264s |      18 |   578695 |   415152 |    25408     32 |      810 |      764
1266.97/1267.35	c 1267s |      18 |   579239 |   415652 |    25408     32 |      810 |      764
1269.46/1269.85	c 1269s |      18 |   579680 |   416052 |    25408     32 |      810 |      764
1271.66/1272.08	c 1271s |      18 |   580123 |   416452 |    25408     32 |      810 |      764
1273.66/1274.09	c 1273s |      18 |   580338 |   416652 |    25408     33 |      810 |      764
1275.76/1276.14	c 1275s |      18 |   580765 |   417052 |    25408     33 |      810 |      764
1277.96/1278.39	c 1278s |      18 |   581384 |   417552 |    25408     33 |      810 |      764
1280.26/1280.66	c 1280s |      18 |   582103 |   418152 |    25408     33 |      810 |      764
1282.36/1282.73	c 1282s |      18 |   582801 |   418752 |    25408     33 |      810 |      764
1284.45/1284.86	c 1284s |      18 |   583493 |   419352 |    25408     33 |      810 |      764
1286.65/1287.05	c 1286s |      18 |   584185 |   419952 |    25408     33 |      810 |      764
1288.95/1289.30	c 1289s |      18 |   584748 |   420452 |    25408     33 |      810 |      764
1290.95/1291.39	c 1291s |      18 |   585315 |   420952 |    25408     33 |      810 |      764
1293.05/1293.50	c 1293s |      18 |   585897 |   421452 |    25408     33 |      810 |      764
1295.15/1295.59	c 1295s |      18 |   586459 |   421952 |    25408     33 |      810 |      764
1297.44/1297.89	c 1297s |      18 |   587008 |   422452 |    25408     33 |      810 |      764
1299.85/1300.28	c 1300s |      18 |   587708 |   423052 |    25408     33 |      810 |      764
1302.15/1302.55	c 1302s |      18 |   588282 |   423552 |    25408     33 |      810 |      764
1304.25/1304.60	c 1304s |      18 |   588712 |   423952 |    25408     33 |      810 |      764
1306.35/1306.71	c 1306s |      18 |   589150 |   424352 |    25408     33 |      810 |      764
1308.35/1308.78	c 1308s |      18 |   589597 |   424752 |    25408     33 |      810 |      764
1310.84/1311.22	c 1310s |      18 |   590019 |   425152 |    25408     33 |      810 |      764
1313.14/1313.53	c 1313s |      18 |   590453 |   425552 |    25408     33 |      810 |      764
1315.64/1316.01	c 1315s |      18 |   590896 |   425952 |    25408     33 |      810 |      764
1317.74/1318.18	c 1317s |      18 |   591326 |   426352 |    25408     33 |      810 |      764
1320.04/1320.47	c 1320s |      18 |   591775 |   426752 |    25408     33 |      810 |      764
1322.34/1322.79	c 1322s |      18 |   592192 |   427152 |    25408     33 |      810 |      764
1324.43/1324.85	c 1324s |      18 |   592639 |   427552 |    25408     33 |      810 |      764
1326.53/1326.97	c 1326s |      18 |   593079 |   427952 |    25408     33 |      810 |      764
1328.63/1329.07	c 1328s |      18 |   593510 |   428352 |    25408     33 |      810 |      764
1331.03/1331.42	c 1331s |      18 |   593923 |   428752 |    25408     33 |      810 |      764
1333.13/1333.57	c 1333s |      18 |   594360 |   429152 |    25408     33 |      810 |      764
1335.33/1335.72	c 1335s |      18 |   594801 |   429552 |    25408     33 |      810 |      764
1337.52/1337.97	c 1337s |      18 |   595226 |   429952 |    25408     33 |      810 |      764
1339.52/1339.98	c 1339s |      18 |   595669 |   430352 |    25408     33 |      810 |      764
1341.62/1342.09	c 1341s |      18 |   596130 |   430752 |    25408     33 |      810 |      764
1343.92/1344.39	c 1344s |      18 |   596441 |   431052 |    25408     34 |      810 |      764
1346.12/1346.57	c 1346s |      18 |   596974 |   431552 |    25408     34 |      810 |      764
1348.41/1348.83	c 1348s |      18 |   597508 |   432052 |    25408     34 |      810 |      764
1350.71/1351.12	c 1350s |      18 |   598058 |   432552 |    25408     34 |      810 |      764
1353.01/1353.49	c 1353s |      18 |   598595 |   433052 |    25408     34 |      810 |      764
1355.11/1355.58	c 1355s |      18 |   599239 |   433552 |    25408     34 |      810 |      764
1357.21/1357.69	c 1357s |      18 |   600003 |   434152 |    25408     34 |      810 |      764
1359.51/1359.92	c 1359s |      18 |   600695 |   434752 |    25408     34 |      810 |      764
1361.71/1362.15	c 1361s |      18 |   601404 |   435352 |    25408     34 |      810 |      764
1363.91/1364.37	c 1364s |      18 |   601958 |   435852 |    25408     34 |      810 |      764
1366.21/1366.65	c 1366s |      18 |   602541 |   436352 |    25408     34 |      810 |      764
1368.30/1368.75	c 1368s |      18 |   603128 |   436852 |    25408     34 |      810 |      764
1370.40/1370.82	c 1370s |      18 |   603897 |   437452 |    25408     34 |      810 |      764
1372.70/1373.12	c 1372s |      18 |   604484 |   437952 |    25408     34 |      810 |      764
1375.00/1375.48	c 1375s |      18 |   605068 |   438452 |    25408     34 |      810 |      764
1377.40/1377.89	c 1377s |      18 |   605637 |   438952 |    25408     34 |      810 |      764
1379.90/1380.32	c 1380s |      18 |   606233 |   439452 |    25408     34 |      810 |      764
1382.00/1382.42	c 1382s |      18 |   606672 |   439852 |    25408     34 |      810 |      764
1384.50/1384.90	c 1384s |      18 |   607269 |   440352 |    25408     34 |      810 |      764
1387.00/1387.41	c 1387s |      18 |   607835 |   440852 |    25408     34 |      810 |      764
1389.19/1389.69	c 1389s |      18 |   608259 |   441252 |    25408     34 |      810 |      764
1391.80/1392.23	c 1391s |      18 |   608813 |   441752 |    27949     34 |      810 |      764
1393.79/1394.26	c 1393s |      18 |   609256 |   442152 |    27949     34 |      810 |      764
1395.99/1396.40	c 1396s |      18 |   609706 |   442552 |    27949     34 |      810 |      764
1398.49/1398.95	c 1398s |      18 |   610140 |   442952 |    27949     34 |      810 |      764
1400.98/1401.42	c 1401s |      18 |   610694 |   443452 |    27949     34 |      810 |      764
1402.98/1403.46	c 1403s |      18 |   611178 |   443852 |    27949     34 |      810 |      764
1405.48/1405.91	c 1405s |      18 |   611781 |   444352 |    27949     34 |      810 |      764
1405.98/1406.43	c 1406s |      19 |   611925 |   444482 |    27949     34 |      810 |      764
1407.97/1408.43	c 1408s |      19 |   614850 |   445582 |    27949     34 |      810 |      764
1409.97/1410.44	c 1410s |      19 |   616491 |   446982 |    27949     34 |      810 |      764
1412.68/1413.20	c 1412s |      19 |   617989 |   448282 |    27949     35 |      810 |      764
1414.77/1415.22	c 1414s |      19 |   619650 |   449582 |    27949     35 |      810 |      764
1416.87/1417.34	c 1417s |      19 |   621313 |   450882 |    27949     35 |      810 |      764
1419.07/1419.50	c 1419s |      19 |   622945 |   452182 |    27949     35 |      810 |      764
1421.17/1421.64	c 1421s |      19 |   624265 |   453282 |    27949     35 |      810 |      764
1423.27/1423.75	c 1423s |      19 |   625340 |   454182 |    27949     35 |      810 |      764
1425.37/1425.80	c 1425s |      19 |   626402 |   455082 |    27949     35 |      810 |      764
1427.36/1427.83	c 1427s |      19 |   627342 |   455882 |    27949     35 |      810 |      764
1429.46/1429.93	c 1429s |      19 |   628449 |   456782 |    27949     35 |      810 |      764
1431.66/1432.16	c 1431s |      19 |   629575 |   457682 |    27949     35 |      810 |      764
1433.76/1434.24	c 1433s |      19 |   631378 |   458882 |    27949     35 |      810 |      764
1435.96/1436.41	c 1436s |      19 |   633289 |   460182 |    27949     35 |      810 |      764
1438.07/1438.53	c 1438s |      19 |   634744 |   461282 |    27949     35 |      810 |      764
1440.17/1440.69	c 1440s |      19 |   636533 |   462482 |    27949     35 |      810 |      764
1442.47/1442.92	c 1442s |      19 |   637814 |   463482 |    27949     35 |      810 |      764
1444.57/1445.05	c 1444s |      19 |   638560 |   464082 |    27949     36 |      810 |      764
1446.77/1447.25	c 1446s |      19 |   639692 |   464982 |    27949     36 |      810 |      764
1448.96/1449.49	c 1449s |      19 |   640602 |   465782 |    27949     36 |      810 |      764
1451.05/1451.56	c 1451s |      19 |   641558 |   466582 |    27949     36 |      810 |      764
1453.15/1453.67	c 1453s |      19 |   642552 |   467382 |    27949     36 |      810 |      764
1455.25/1455.71	c 1455s |      19 |   643362 |   468082 |    27949     36 |      810 |      764
1457.45/1457.99	c 1457s |      19 |   644172 |   468782 |    27949     36 |      810 |      764
1459.55/1460.03	c 1459s |      19 |   645021 |   469482 |    27949     36 |      810 |      764
1461.55/1462.03	c 1461s |      19 |   645738 |   470082 |    27949     36 |      810 |      764
1463.75/1464.28	c 1464s |      19 |   646522 |   470782 |    27949     36 |      810 |      764
1465.95/1466.41	c 1466s |      19 |   647570 |   471582 |    27949     36 |      810 |      764
1468.34/1468.82	c 1468s |      19 |   648323 |   472282 |    27949     36 |      810 |      764
1470.34/1470.89	c 1470s |      19 |   648862 |   472782 |    27949     36 |      810 |      764
1472.34/1472.89	c 1472s |      19 |   649515 |   473382 |    27949     36 |      810 |      764
1474.44/1474.96	c 1474s |      19 |   650181 |   473982 |    27949     36 |      810 |      764
1476.64/1477.13	c 1476s |      19 |   651828 |   474882 |    27949     36 |      810 |      764
1478.64/1479.15	c 1478s |      19 |   653469 |   475882 |    27949     36 |      810 |      764
1480.94/1481.44	c 1481s |      19 |   654505 |   476582 |    27949     36 |      810 |      764
1483.24/1483.71	c 1483s |      19 |   655560 |   477282 |    27949     36 |      810 |      764
1485.34/1485.85	c 1485s |      19 |   656303 |   477882 |    27949     36 |      810 |      764
1487.43/1488.00	c 1487s |      19 |   656916 |   478382 |    27949     36 |      810 |      764
1489.53/1490.06	c 1489s |      19 |   657553 |   478882 |    27949     36 |      810 |      764
1491.73/1492.27	c 1491s |      19 |   658342 |   479482 |    27949     36 |      810 |      764
1493.93/1494.41	c 1494s |      19 |   658915 |   479982 |    27949     37 |      810 |      764
1496.13/1496.64	c 1496s |      19 |   659723 |   480682 |    27949     37 |      810 |      764
1498.32/1498.83	c 1498s |      19 |   660792 |   481482 |    27949     37 |      810 |      764
1500.32/1500.86	c 1500s |      19 |   661527 |   482082 |    27949     37 |      810 |      764
1502.42/1502.91	c 1502s |      19 |   662375 |   482782 |    27949     37 |      810 |      764
1504.52/1505.03	c 1504s |      19 |   663159 |   483382 |    27949     37 |      810 |      764
1506.62/1507.15	c 1506s |      19 |   664001 |   484082 |    27949     37 |      810 |      764
1508.92/1509.41	c 1509s |      19 |   664839 |   484782 |    27949     37 |      810 |      764
1510.92/1511.47	c 1511s |      19 |   665704 |   485482 |    27949     37 |      810 |      764
1513.12/1513.63	c 1513s |      19 |   666532 |   486182 |    27949     37 |      810 |      764
1515.11/1515.66	c 1515s |      19 |   667236 |   486782 |    27949     37 |      810 |      764
1517.41/1517.92	c 1517s |      19 |   667914 |   487382 |    27949     37 |      810 |      764
1519.42/1519.93	c 1519s |      19 |   668461 |   487882 |    27949     37 |      810 |      764
1521.81/1522.30	c 1522s |      19 |   669114 |   488482 |    27949     37 |      810 |      764
1523.82/1524.38	c 1524s |      19 |   669657 |   488982 |    27949     37 |      810 |      764
1525.92/1526.42	c 1526s |      19 |   670382 |   489582 |    27949     37 |      810 |      764
1528.12/1528.67	c 1528s |      19 |   671087 |   490182 |    27949     37 |      810 |      764
1530.21/1530.78	c 1530s |      19 |   671677 |   490682 |    27949     37 |      810 |      764
1532.41/1532.98	c 1532s |      19 |   672268 |   491182 |    27949     37 |      810 |      764
1534.72/1535.20	c 1534s |      19 |   672823 |   491682 |    27949     37 |      810 |      764
1536.81/1537.37	c 1537s |      19 |   673381 |   492182 |    27949     37 |      810 |      764
1539.12/1539.63	c 1539s |      19 |   673960 |   492682 |    27949     37 |      810 |      764
1541.11/1541.67	c 1541s |      19 |   674558 |   493182 |    27949     37 |      810 |      764
1543.21/1543.76	c 1543s |      19 |   675133 |   493682 |    27949     37 |      810 |      764
1545.51/1546.04	c 1545s |      19 |   675819 |   494282 |    27949     37 |      810 |      764
1547.71/1548.28	c 1547s |      19 |   676385 |   494782 |    27949     37 |      810 |      764
1550.11/1550.63	c 1550s |      19 |   676930 |   495282 |    27949     37 |      810 |      764
1552.11/1552.66	c 1552s |      19 |   677383 |   495682 |    27949     38 |      810 |      764
1554.31/1554.87	c 1554s |      19 |   678198 |   496382 |    27949     38 |      810 |      764
1556.61/1557.18	c 1556s |      19 |   678845 |   496982 |    27949     38 |      810 |      764
1558.71/1559.29	c 1559s |      19 |   679545 |   497582 |    27949     38 |      810 |      764
1560.90/1561.48	c 1561s |      19 |   680220 |   498182 |    27949     38 |      810 |      764
1563.31/1563.83	c 1563s |      19 |   681004 |   498882 |    27949     38 |      810 |      764
1565.30/1565.86	c 1565s |      19 |   681552 |   499382 |    27949     38 |      810 |      764
1567.71/1568.27	c 1567s |      19 |   682220 |   499982 |    27949     38 |      810 |      764
1569.91/1570.44	c 1570s |      19 |   682787 |   500482 |    27949     38 |      810 |      764
1571.90/1572.45	c 1572s |      19 |   683346 |   500982 |    27949     38 |      810 |      764
1574.20/1574.74	c 1574s |      19 |   684009 |   501582 |    27949     38 |      810 |      764
1576.30/1576.84	c 1576s |      19 |   684548 |   502082 |    27949     38 |      810 |      764
1578.60/1579.18	c 1578s |      19 |   685082 |   502582 |    27949     38 |      810 |      764
1580.80/1581.35	c 1581s |      19 |   685624 |   503082 |    27949     38 |      810 |      764
1583.30/1583.85	c 1583s |      19 |   686150 |   503582 |    27949     38 |      810 |      764
1585.50/1586.08	c 1585s |      19 |   686976 |   504182 |    27949     38 |      810 |      764
1587.70/1588.24	c 1587s |      19 |   687672 |   504782 |    27949     38 |      810 |      764
1589.71/1590.26	c 1589s |      19 |   688237 |   505282 |    27949     38 |      810 |      764
1591.92/1592.40	c 1592s |      19 |   689074 |   505982 |    27949     38 |      810 |      764
1594.22/1594.74	c 1594s |      19 |   689795 |   506582 |    27949     38 |      810 |      764
1596.32/1596.86	c 1596s |      19 |   690382 |   507082 |    27949     38 |      810 |      764
1598.41/1598.96	c 1598s |      19 |   690964 |   507582 |    27949     38 |      810 |      764
1600.71/1601.23	c 1600s |      19 |   691675 |   508182 |    27949     38 |      810 |      764
1602.91/1603.48	c 1603s |      19 |   692235 |   508682 |    27949     38 |      810 |      764
1605.01/1605.50	c 1605s |      19 |   692828 |   509182 |    27949     38 |      810 |      764
1607.31/1607.82	c 1607s |      19 |   693418 |   509682 |    27949     38 |      810 |      764
1609.41/1609.92	c 1609s |      19 |   693841 |   510082 |    27949     38 |      810 |      764
1611.41/1611.99	c 1611s |      19 |   694291 |   510482 |    27949     38 |      810 |      764
1613.61/1614.19	c 1613s |      19 |   694727 |   510882 |    27949     38 |      810 |      764
1615.81/1616.33	c 1616s |      19 |   695171 |   511282 |    27949     39 |      810 |      764
1617.91/1618.45	c 1618s |      19 |   695843 |   511882 |    27949     39 |      810 |      764
1620.20/1620.79	c 1620s |      19 |   696499 |   512482 |    27949     39 |      810 |      764
1622.50/1623.05	c 1622s |      19 |   697172 |   513082 |    27949     39 |      810 |      764
1624.60/1625.13	c 1624s |      19 |   697715 |   513582 |    27949     39 |      810 |      764
1627.00/1627.52	c 1627s |      19 |   698380 |   514182 |    27949     39 |      810 |      764
1629.31/1629.84	c 1629s |      19 |   699051 |   514782 |    27949     39 |      810 |      764
1631.61/1632.17	c 1631s |      19 |   699702 |   515382 |    27949     39 |      810 |      764
1634.00/1634.52	c 1634s |      19 |   700351 |   515982 |    27949     39 |      810 |      764
1636.01/1636.57	c 1636s |      19 |   700896 |   516482 |    27949     39 |      810 |      764
1638.30/1638.82	c 1638s |      19 |   701598 |   517082 |    27949     39 |      810 |      764
1640.70/1641.24	c 1640s |      19 |   702269 |   517682 |    27949     39 |      810 |      764
1642.70/1643.29	c 1643s |      19 |   702824 |   518182 |    27949     39 |      810 |      764
1645.10/1645.66	c 1645s |      19 |   703359 |   518682 |    27949     39 |      810 |      764
1647.30/1647.83	c 1647s |      19 |   703905 |   519182 |    27949     39 |      810 |      764
1649.40/1649.91	c 1649s |      19 |   704325 |   519582 |    27949     39 |      810 |      764
1651.50/1652.02	c 1651s |      19 |   704865 |   520082 |    27949     39 |      810 |      764
1653.80/1654.36	c 1654s |      19 |   705418 |   520582 |    27949     39 |      810 |      764
1655.81/1656.39	c 1656s |      19 |   705842 |   520982 |    27949     39 |      810 |      764
1657.91/1658.45	c 1658s |      19 |   706415 |   521482 |    27949     39 |      810 |      764
1660.40/1660.90	c 1660s |      19 |   706963 |   521982 |    27949     39 |      810 |      764
1662.80/1663.35	c 1663s |      19 |   707543 |   522482 |    27949     39 |      810 |      764
1665.00/1665.52	c 1665s |      19 |   707993 |   522882 |    27949     39 |      810 |      764
1667.10/1667.62	c 1667s |      19 |   708447 |   523282 |    27949     39 |      810 |      764
1669.20/1669.76	c 1669s |      19 |   708887 |   523682 |    27949     39 |      810 |      764
1671.39/1671.91	c 1671s |      19 |   709329 |   524082 |    27949     39 |      810 |      764
1673.40/1673.93	c 1673s |      19 |   709765 |   524482 |    27949     39 |      810 |      764
1675.89/1676.41	c 1676s |      19 |   710325 |   524982 |    27949     39 |      810 |      764
1678.09/1678.60	c 1678s |      19 |   710764 |   525382 |    27949     39 |      810 |      764
1680.19/1680.78	c 1680s |      19 |   711197 |   525782 |    27949     39 |      810 |      764
1682.49/1683.03	c 1682s |      19 |   711647 |   526182 |    27949     39 |      810 |      764
1684.89/1685.46	c 1685s |      19 |   712072 |   526582 |    27949     39 |      810 |      764
1686.99/1687.50	c 1687s |      19 |   712405 |   526882 |    27949     40 |      810 |      764
1689.09/1689.66	c 1689s |      19 |   713066 |   527482 |    27949     40 |      810 |      764
1691.29/1691.86	c 1691s |      19 |   713593 |   527982 |    27949     40 |      810 |      764
1693.39/1693.99	c 1693s |      19 |   714131 |   528482 |    27949     40 |      810 |      764
1695.49/1696.04	c 1695s |      19 |   714669 |   528982 |    27949     40 |      810 |      764
1697.60/1698.11	c 1697s |      19 |   715238 |   529482 |    27949     40 |      810 |      764
1699.59/1700.13	c 1699s |      19 |   715789 |   529982 |    27949     40 |      810 |      764
1701.90/1702.40	c 1702s |      19 |   716332 |   530482 |    27949     40 |      810 |      764
1704.29/1704.85	c 1704s |      19 |   716856 |   530982 |    27949     40 |      810 |      764
1706.59/1707.10	c 1706s |      19 |   717273 |   531382 |    27949     40 |      810 |      764
1709.09/1709.61	c 1709s |      19 |   717802 |   531882 |    27949     40 |      810 |      764
1711.09/1711.64	c 1711s |      19 |   718227 |   532282 |    27949     40 |      810 |      764
1713.39/1713.92	c 1713s |      19 |   718773 |   532782 |    27949     40 |      810 |      764
1715.79/1716.33	c 1716s |      19 |   719315 |   533282 |    27949     40 |      810 |      764
1717.89/1718.42	c 1718s |      19 |   719741 |   533682 |    27949     40 |      810 |      764
1719.89/1720.42	c 1720s |      19 |   720184 |   534082 |    27949     40 |      810 |      764
1721.89/1722.49	c 1722s |      19 |   720624 |   534482 |    27949     40 |      810 |      764
1724.29/1724.89	c 1724s |      19 |   721157 |   534982 |    27949     40 |      810 |      764
1726.79/1727.33	c 1727s |      19 |   721717 |   535482 |    27949     40 |      810 |      764
1728.79/1729.38	c 1729s |      19 |   722149 |   535882 |    27949     40 |      810 |      764
1731.18/1731.79	c 1731s |      19 |   722578 |   536282 |    27949     40 |      810 |      764
1733.38/1733.91	c 1733s |      19 |   723020 |   536682 |    27949     40 |      810 |      764
1735.88/1736.42	c 1736s |      19 |   723578 |   537182 |    27949     40 |      810 |      764
1738.08/1738.63	c 1738s |      19 |   724027 |   537582 |    27949     40 |      810 |      764
1740.39/1740.95	c 1740s |      19 |   724451 |   537982 |    27949     40 |      810 |      764
1742.48/1743.03	c 1742s |      19 |   724900 |   538382 |    27949     40 |      810 |      764
1744.68/1745.24	c 1744s |      19 |   725325 |   538782 |    27949     40 |      810 |      764
1747.18/1747.77	c 1747s |      19 |   725878 |   539282 |    27949     40 |      810 |      764
1749.29/1749.86	c 1749s |      19 |   726322 |   539682 |    27949     40 |      810 |      764
1751.28/1751.90	c 1751s |      19 |   726757 |   540082 |    27949     40 |      810 |      764
1753.69/1754.29	c 1754s |      19 |   727180 |   540482 |    27949     40 |      810 |      764
1756.08/1756.61	c 1756s |      19 |   727612 |   540882 |    27949     40 |      810 |      764
1758.18/1758.77	c 1758s |      19 |   728068 |   541282 |    27949     40 |      810 |      764
1760.58/1761.17	c 1760s |      19 |   728620 |   541782 |    27949     40 |      810 |      764
1762.78/1763.39	c 1763s |      19 |   729178 |   542282 |    27949     40 |      810 |      764
1764.98/1765.54	c 1765s |      19 |   729503 |   542582 |    27949     41 |      810 |      764
1767.38/1767.95	c 1767s |      19 |   730133 |   543182 |    27949     41 |      810 |      764
1769.48/1770.08	c 1769s |      19 |   730654 |   543682 |    27949     41 |      810 |      764
1771.68/1772.26	c 1771s |      19 |   731183 |   544182 |    27949     41 |      810 |      764
1774.08/1774.64	c 1774s |      19 |   731857 |   544782 |    27949     41 |      810 |      764
1776.38/1776.92	c 1776s |      19 |   732542 |   545382 |    27949     41 |      810 |      764
1778.58/1779.15	c 1778s |      19 |   733241 |   545982 |    27949     41 |      810 |      764
1780.78/1781.30	c 1781s |      19 |   733781 |   546482 |    27949     41 |      810 |      764
1782.88/1783.41	c 1783s |      19 |   734327 |   546982 |    27949     41 |      810 |      764
1785.07/1785.62	c 1785s |      19 |   734875 |   547482 |    27949     41 |      810 |      764
1787.17/1787.76	c 1787s |      19 |   735424 |   547982 |    27949     41 |      810 |      764
1789.47/1790.06	c 1789s |      19 |   735980 |   548482 |    27949     41 |      810 |      764
1791.97/1792.52	c 1792s |      19 |   736519 |   548982 |    27949     41 |      810 |      764
1793.97/1794.59	c 1794s |      19 |   737162 |   549482 |    27949     41 |      810 |      764
1796.07/1796.64	c 1796s |      19 |   737755 |   549982 |    27949     41 |      810 |      764
1798.17/1798.75	c 1798s |      19 |   738327 |   550482 |    27949     41 |      810 |      764

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

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

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


[startup+0 s]
/proc/loadavg: 1.15 1.58 1.62 5/177 21110
/proc/meminfo: memFree=30758348/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 2823 0 0 0 0 0 0 0 20 0 4 0 27485341 773255168 3183 33554432000 4194304 16246674 140737322937296 140737322936720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 189295 3191 441 2943 0 186189 0
[pid=21110/tid=21111] ppid=21104 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 787935232 3239 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 794226688 3262 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27485341 798420992 3279 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 1.15 1.58 1.62 5/177 21110
/proc/meminfo: memFree=30758348/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 28471 0 0 0 5 4 0 0 20 0 4 0 27485341 1249447936 28769 33554432000 4194304 16246674 140737322937296 140737322936608 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 305041 28769 802 2943 0 301935 0
[pid=21110/tid=21111] ppid=21104 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1249447936 28769 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1249447936 28769 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1249447936 28769 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200484 s]
/proc/loadavg: 1.15 1.58 1.62 5/177 21110
/proc/meminfo: memFree=30758348/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 48678 0 0 0 12 7 0 0 20 0 4 0 27485341 1332285440 48976 33554432000 4194304 16246674 140737322937296 140737322936608 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 325265 48976 845 2943 0 322159 0
[pid=21110/tid=21111] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 48976 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 48976 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 48976 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300424 s]
/proc/loadavg: 1.15 1.58 1.62 5/177 21110
/proc/meminfo: memFree=30758348/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 54590 0 0 0 21 8 0 0 20 0 4 0 27485341 1332285440 54888 33554432000 4194304 16246674 140737322937296 140737322919168 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 325265 54893 885 2943 0 322159 0
[pid=21110/tid=21111] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 54896 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 54900 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 54903 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700375 s]
/proc/loadavg: 1.15 1.58 1.62 5/177 21110
/proc/meminfo: memFree=30758348/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 109685 0 0 0 53 16 0 0 20 0 4 0 27485341 1332285440 109983 33554432000 4194304 16246674 140737322937296 140737322919168 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 325265 109992 885 2943 0 322159 0
[pid=21110/tid=21111] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 109995 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 109998 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 110003 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50035 s]
/proc/loadavg: 1.15 1.58 1.62 5/182 21115
/proc/meminfo: memFree=29489980/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 225018 0 0 0 118 30 0 0 20 0 4 0 27485341 1332285440 225317 33554432000 4194304 16246674 140737322937296 140737322919168 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 325265 225322 885 2943 0 322159 0
[pid=21110/tid=21111] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 225332 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 225335 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1332285440 225340 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 1.30 1.61 1.63 5/182 21115
/proc/meminfo: memFree=28608456/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 269518 0 0 0 273 36 0 0 20 0 4 0 27485341 1344868352 269816 33554432000 4194304 16246674 140737322937296 140737322919168 12460480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 328337 269816 892 2943 0 325231 0
[pid=21110/tid=21111] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269816 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269816 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269816 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30737 s]
/proc/loadavg: 1.30 1.61 1.63 3/182 21115
/proc/meminfo: memFree=28607556/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1313348 CPUtime=6.3 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 269528 0 0 0 594 36 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 140737322919168 6022845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 328337 269826 892 2943 0 325231 0
[pid=21110/tid=21111] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.40 1.62 1.63 3/182 21115
/proc/meminfo: memFree=28607572/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 269528 0 0 0 1233 36 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 140737322919168 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 328337 269826 892 2943 0 325231 0
[pid=21110/tid=21111] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269826 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 1.58 1.65 1.64 3/182 21115
/proc/meminfo: memFree=28608384/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 269529 0 0 0 2513 36 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 140737322919168 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 328337 269827 893 2943 0 325231 0
[pid=21110/tid=21111] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 1.86 1.71 1.66 3/182 21115
/proc/meminfo: memFree=28608268/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 269529 0 0 0 5072 36 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 140737322919168 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 328337 269827 893 2943 0 325231 0
[pid=21110/tid=21111] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.12 1.80 1.69 4/182 21116
/proc/meminfo: memFree=28601044/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 269529 0 0 0 10191 37 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 140737322919168 6021072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 328337 269827 893 2943 0 325231 0
[pid=21110/tid=21111] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1344868352 269827 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.22 2.23 2.07 3/182 21143
/proc/meminfo: memFree=28553220/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1361.91 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275429 0 0 0 136142 49 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.27 2.24 2.09 3/182 21144
/proc/meminfo: memFree=28553868/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1421.87 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275474 0 0 0 142138 49 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 6021388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.15 2.21 2.09 3/182 21145
/proc/meminfo: memFree=28553896/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1481.84 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275512 0 0 0 148135 49 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5717664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1335876

[startup+1542.3 s]
/proc/loadavg: 2.27 2.23 2.10 3/182 21146
/proc/meminfo: memFree=28553832/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1541.81 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 154132 49 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5827838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.23 2.23 2.10 3/183 21150
/proc/meminfo: memFree=28554312/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1601.81 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 160131 50 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.13 2.20 2.10 3/183 21174
/proc/meminfo: memFree=28554404/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1661.8 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 166130 50 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5546160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1335876

[startup+1722.31 s]
/proc/loadavg: 2.26 2.22 2.11 3/182 21175
/proc/meminfo: memFree=28554288/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1721.79 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 172129 50 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.11 3/182 21176
/proc/meminfo: memFree=28553548/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1781.78 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 178128 50 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.21 2.11 3/182 21176
/proc/meminfo: memFree=28553796/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1800.07 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 179957 50 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5823094 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.6 s]
/proc/loadavg: 2.20 2.21 2.11 3/182 21176
/proc/meminfo: memFree=28553796/32872528 swapFree=1085692/1157232
[pid=21110] ppid=21104 vsize=1335876 CPUtime=1800.07 cores=1,3,5,7
/proc/21110/stat : 21110 (toysat) R 21104 21110 21062 0 -1 4202496 275531 0 0 0 179957 50 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 140737322919168 5823094 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21110/statm: 333969 275715 893 2943 0 330863 0
[pid=21110/tid=21111] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21111/stat : 21111 (toysat) S 21104 21110 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139650002824432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21110/tid=21112] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21112/stat : 21112 (toysat) S 21104 21110 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649922084080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21110/tid=21113] ppid=21104 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/21110/task/21113/stat : 21113 (toysat) S 21104 21110 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27485341 1367937024 275715 33554432000 4194304 16246674 140737322937296 139649911610544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.58
CPU system time (s): 0.506922
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.506922
maximum resident set size= 1102860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275531
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= 385
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53831 second user time and 7.08492 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 14:34:17
IDJOB=4115917
IDBENCH=109405
IDSOLVER=2542
FILE ID=node114/4115917-1466944456
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71656 MiB

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

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

MD5SUM BENCH= 73d09bc688f32383f27b8cfd61f2560b
RANDOM SEED=2140324245

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:        30764304 kB
Buffers:            3832 kB
Cached:           209120 kB
SwapCached:        38936 kB
Active:            58612 kB
Inactive:         194192 kB
Active(anon):       4648 kB
Inactive(anon):    37732 kB
Active(file):      53964 kB
Inactive(file):   156460 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061348 kB
Dirty:             33404 kB
Writeback:             0 kB
AnonPages:       1159168 kB
Mapped:             6924 kB
Shmem:                 0 kB
Slab:             565916 kB
SReclaimable:      10060 kB
SUnreclaim:       555856 kB
KernelStack:        1392 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 15:04:18