Trace number 4116733

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-9.opb
MD5SUMe8a738cf7590f85f00990ec3208c8753
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1772.08
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T20:15:14+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-4116733-1466964914.opb"]
0.00/0.01	c use --random-gen="2829557073 2192950601 3848058892 3076502634 21622247 1928062648 3532097629 4042499508 3182391591 3724618296 25401329 4234137517 888923636 1803956332 2396447230 4060607512 1585908837 4278140541 1278522859 793031576 3697081425 4134072472 3375779715 3865974675 468002158 903397792 2868001346 2165401199 3224021860 3230276852 2415388088 2440352807 2855438785 414198718 1242537267 3636217784 3353461439 2707173065 3881785613 182577205 481327886 4074169822 3390973158 3229557411 1899562546 1434779610 13559705 2219449884 1765290533 137322155 761768589 2894749487 1856239420 20155968 275093708 3251125240 3020749847 3171435805 3654533260 136099678 2268895062 1406367784 193763341 816168690 764086631 1620758689 1254119461 3312609126 4060165216 3043058569 29801604 2600004591 1644783885 684941990 127567149 1968462813 673936736 1798026909 3212642705 1439318437 1590683033 1206471672 3183824249 1658172131 4000220647 287373696 2190634497 4215165024 1245746890 2017669331 2708769187 3748470513 569682688 2506906119 4174951116 1782884012 3672038985 399926220 103235484 152270906 1621077538 3855484660 630400566 3150635148 1264859685 124303751 358980043 4203444000 2338386703 2524944101 2656171413 1089118030 2180864227 2294664630 3489583430 2337641167 1517383905 3805374830 110903530 764247775 401353225 674173151 3595278263 2520481437 999410993 2393607371 3191176827 444332073 2915168492 516468668 3657746375 2882221001 1220342156 1597187528 879763817 3705383285 2484315058 66150156 966772138 1464886559 2256086017 3390693161 1824980381 552517287 1976477136 803290395 145592658 1689285503 3776641155 2142647788 1618531471 3621747520 1873957542 2196571294 340266674 1940420339 3328362288 818387769 2239168903 25916796 3178926356 2377942499 4006227119 1915378489 41752677 272067709 490118080 2728506806 286583096 725204792 1839034026 1603343530 2308280391 923492390 3490740365 3062283910 663757540 2292784848 1315967611 578872823 3263704643 1491711720 1794881751 729068683 3434279447 2740780602 510062729 354949481 1260342601 3813308082 1014688245 2464738426 1157978944 76835203 1261165983 1542447906 3909442428 4128786347 1567375728 464119499 2982441508 3144973770 3789998118 2534897274 3353124948 1507523362 64622138 1047612699 218684895 3150344159 3370592218 515689652 3975068774 2293839737 354851033 106166544 3288291750 3178633376 2393817454 954739583 695515134 2155634954 2210504653 2724315162 4136764597 925853441 3829551091 342784382 784053350 1954751437 4012475015 139514735 178286720 2496404114 1579729765 2502075517 3863593498 2132480222 1067107854 1149238323 935403557 1603413436 388769675 4233598607 2819744327 346034631 1423976871 2153128111 316785224 3706733432 3984305998 2565348674 1953527214 2649756896 1671994742 3461610179 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      743 |        0
0.29/0.33	c  0.1s |       1 |      478 |      100 |     4234      0 |      743 |      582
0.39/0.41	c  0.2s |       2 |     1493 |      250 |     4658      0 |      743 |      582
0.59/0.61	c  0.4s |       3 |     4165 |      475 |     5124      0 |      745 |      582
0.79/0.87	c  0.6s |       4 |     6180 |      813 |     5637      0 |      745 |      582
1.19/1.23	c  1.0s |       5 |     8980 |     1320 |     6201      0 |      745 |      582
1.99/2.03	c  1.8s |       6 |    12543 |     2081 |     7505      0 |      745 |      582
2.99/3.08	c  2.8s |       7 |    17057 |     3223 |     8256      0 |      745 |      582
4.28/4.40	c  4.1s |       8 |    24090 |     4936 |     9082      0 |      745 |      582
6.39/6.43	c  6.2s |       8 |    27944 |     6936 |     9082      0 |      745 |      582
6.99/7.05	c  6.8s |       9 |    28709 |     7506 |     9991      0 |      745 |      582
8.99/9.06	c  8.8s |       9 |    35928 |     9506 |     9991      0 |      745 |      582
10.99/11.08	c 10.8s |       9 |    37560 |    10706 |     9991      0 |      745 |      582
11.99/12.09	c 11.8s |      10 |    38499 |    11361 |    10991      0 |      745 |      582
14.08/14.15	c 13.9s |      10 |    45655 |    13761 |    10991      0 |      745 |      582
16.28/16.31	c 16.1s |      10 |    47314 |    15061 |    10991      1 |      745 |      582
18.29/18.38	c 18.1s |      10 |    50171 |    16661 |    10991      1 |      745 |      582
18.99/19.09	c 18.8s |      11 |    50857 |    17144 |    12091      1 |      745 |      582
21.09/21.15	c 20.9s |      11 |    54741 |    18744 |    12091      1 |      745 |      582
23.29/23.33	c 23.1s |      11 |    56150 |    19944 |    12091      1 |      745 |      582
25.39/25.47	c 25.2s |      11 |    57594 |    21144 |    12091      1 |      745 |      582
27.49/27.52	c 27.3s |      11 |    58854 |    22244 |    12091      1 |      745 |      582
29.49/29.54	c 29.3s |      11 |    60013 |    23244 |    12091      2 |      745 |      582
31.58/31.69	c 31.4s |      11 |    61477 |    24444 |    12091      2 |      745 |      582
33.68/33.73	c 33.5s |      11 |    63524 |    25644 |    12091      2 |      745 |      582
33.78/33.88	c 33.6s |      12 |    64607 |    25819 |    13301      2 |      745 |      582
35.88/35.93	c 35.7s |      12 |    67057 |    27119 |    13301      2 |      745 |      582
37.88/37.93	c 37.7s |      12 |    71007 |    28619 |    13301      2 |      745 |      582
39.98/40.00	c 39.7s |      12 |    76707 |    30619 |    13301      2 |      745 |      582
41.98/42.07	c 41.8s |      12 |    78355 |    31819 |    13301      3 |      745 |      582
44.18/44.25	c 44.0s |      12 |    80133 |    33219 |    13301      3 |      745 |      582
46.19/46.26	c 46.0s |      12 |    81326 |    34219 |    13301      3 |      745 |      582
48.28/48.32	c 48.1s |      12 |    82698 |    35319 |    13301      3 |      745 |      582
50.38/50.42	c 50.2s |      12 |    83720 |    36219 |    13301      3 |      745 |      582
52.58/52.61	c 52.4s |      12 |    84733 |    37119 |    13301      3 |      745 |      582
54.68/54.79	c 54.5s |      12 |    86327 |    38319 |    13301      3 |      745 |      582
55.88/55.97	c 55.7s |      13 |    86958 |    38832 |    14632      3 |      745 |      582
57.98/58.04	c 57.8s |      13 |    91568 |    40532 |    14632      4 |      745 |      582
59.98/60.04	c 59.8s |      13 |    93000 |    41732 |    14632      4 |      745 |      582
61.98/62.07	c 61.8s |      13 |    98235 |    43532 |    14632      4 |      745 |      582
64.08/64.14	c 63.9s |      13 |   102612 |    45432 |    14632      4 |      745 |      582
66.08/66.16	c 65.9s |      13 |   103880 |    46532 |    14632      4 |      745 |      582
68.18/68.24	c 68.0s |      13 |   105003 |    47532 |    14632      4 |      745 |      582
70.27/70.31	c 70.1s |      13 |   107286 |    48832 |    14632      4 |      745 |      582
72.37/72.41	c 72.2s |      13 |   109022 |    50132 |    14632      5 |      745 |      582
74.58/74.64	c 74.4s |      13 |   110886 |    51532 |    14632      5 |      745 |      582
76.77/76.81	c 76.6s |      13 |   112498 |    52832 |    14632      5 |      745 |      582
78.88/78.92	c 78.7s |      13 |   113668 |    53832 |    14632      5 |      745 |      582
80.98/81.08	c 80.8s |      13 |   114857 |    54832 |    14632      5 |      745 |      582
83.07/83.18	c 82.9s |      13 |   115967 |    55732 |    14632      5 |      745 |      582
85.38/85.43	c 85.2s |      13 |   117182 |    56732 |    14632      5 |      745 |      582
87.58/87.65	c 87.4s |      13 |   118119 |    57532 |    14632      5 |      745 |      582
89.37/89.47	c 89.2s |      14 |   119032 |    58352 |    16096      5 |      745 |      582
91.38/91.49	c 91.2s |      14 |   122285 |    59752 |    16096      6 |      745 |      582
93.48/93.57	c 93.3s |      14 |   123838 |    61052 |    16096      6 |      745 |      582
95.57/95.65	c 95.4s |      14 |   125163 |    62252 |    16096      6 |      745 |      582
97.67/97.74	c 97.5s |      14 |   126291 |    63252 |    16096      6 |      745 |      582
99.67/99.75	c 99.5s |      14 |   127414 |    64252 |    16096      6 |      745 |      582
101.67/101.78	c  101s |      14 |   128619 |    65252 |    16096      6 |      745 |      582
103.77/103.83	c  103s |      14 |   129783 |    66252 |    16096      6 |      745 |      582
105.87/105.99	c  105s |      14 |   130811 |    67152 |    16096      6 |      745 |      582
107.97/108.07	c  107s |      14 |   131925 |    68052 |    16096      6 |      745 |      582
110.27/110.30	c  110s |      14 |   132738 |    68752 |    16096      7 |      745 |      582
112.47/112.58	c  112s |      14 |   133664 |    69552 |    16096      7 |      745 |      582
114.67/114.78	c  114s |      14 |   134606 |    70352 |    16096      7 |      745 |      582
116.77/116.82	c  116s |      14 |   137441 |    71252 |    16096      7 |      745 |      582
118.78/118.88	c  118s |      14 |   140842 |    72752 |    16096      7 |      745 |      582
120.87/120.97	c  120s |      14 |   142084 |    73752 |    16096      7 |      745 |      582
122.97/123.07	c  122s |      14 |   146924 |    75452 |    16096      7 |      745 |      582
125.07/125.15	c  124s |      14 |   149615 |    76952 |    16096      7 |      745 |      582
127.27/127.30	c  127s |      14 |   151633 |    78152 |    16096      8 |      745 |      582
129.26/129.35	c  129s |      14 |   152903 |    79152 |    16096      8 |      745 |      582
131.46/131.51	c  131s |      14 |   154577 |    80352 |    16096      8 |      745 |      582
133.46/133.53	c  133s |      14 |   156100 |    81452 |    16096      8 |      745 |      582
135.46/135.57	c  135s |      14 |   158425 |    82752 |    16096      8 |      745 |      582
137.47/137.59	c  137s |      14 |   160488 |    83952 |    16096      8 |      745 |      582
139.77/139.82	c  139s |      14 |   162289 |    85152 |    16096      8 |      745 |      582
141.87/141.99	c  141s |      14 |   163607 |    86152 |    16096      8 |      745 |      582
143.96/144.06	c  143s |      14 |   164899 |    87052 |    17706      8 |      745 |      582
145.27/145.32	c  145s |      15 |   165695 |    87632 |    17706      8 |      745 |      582
147.27/147.33	c  147s |      15 |   171497 |    88932 |    17706      9 |      745 |      582
149.26/149.38	c  149s |      15 |   175488 |    90532 |    17706      9 |      745 |      582
151.46/151.50	c  151s |      15 |   176777 |    91732 |    17706      9 |      745 |      582
153.46/153.55	c  153s |      15 |   177891 |    92732 |    17706      9 |      745 |      582
155.57/155.65	c  155s |      15 |   180518 |    94132 |    17706      9 |      745 |      582
157.57/157.69	c  157s |      15 |   183711 |    95632 |    17706      9 |      745 |      582
159.67/159.76	c  159s |      15 |   184988 |    96732 |    17706      9 |      745 |      582
161.87/161.94	c  161s |      15 |   186321 |    97832 |    17706      9 |      745 |      582
163.87/163.96	c  163s |      15 |   188277 |    99132 |    17706      9 |      745 |      582
165.96/166.04	c  165s |      15 |   189504 |   100132 |    17706     10 |      745 |      582
168.16/168.21	c  167s |      15 |   190633 |   101132 |    17706     10 |      745 |      582
170.16/170.23	c  169s |      15 |   191684 |   102032 |    17706     10 |      745 |      582
172.26/172.38	c  172s |      15 |   192768 |   102932 |    17706     10 |      745 |      582
174.36/174.41	c  174s |      15 |   193927 |   103832 |    17706     10 |      745 |      582
176.36/176.46	c  176s |      15 |   195027 |   104732 |    17706     10 |      745 |      582
178.56/178.65	c  178s |      15 |   195993 |   105532 |    17706     10 |      745 |      582
180.66/180.74	c  180s |      15 |   196796 |   106232 |    17706     10 |      745 |      582
182.96/183.05	c  182s |      15 |   197774 |   107032 |    17706     10 |      745 |      582
185.16/185.26	c  185s |      15 |   198832 |   107932 |    17706     10 |      745 |      582
187.36/187.41	c  187s |      15 |   199771 |   108732 |    17706     10 |      745 |      582
189.36/189.47	c  189s |      15 |   200713 |   109532 |    17706     10 |      745 |      582
191.56/191.68	c  191s |      15 |   201646 |   110332 |    17706     11 |      745 |      582
193.67/193.73	c  193s |      15 |   202555 |   111132 |    17706     11 |      745 |      582
195.96/196.01	c  195s |      15 |   203464 |   111932 |    17706     11 |      745 |      582
197.96/198.04	c  197s |      15 |   204269 |   112632 |    17706     11 |      745 |      582
200.26/200.33	c  200s |      15 |   205172 |   113432 |    17706     11 |      745 |      582
202.56/202.60	c  202s |      15 |   205987 |   114132 |    17706     11 |      745 |      582
204.56/204.61	c  204s |      15 |   206811 |   114832 |    17706     11 |      745 |      582
206.56/206.63	c  206s |      15 |   207500 |   115432 |    17706     11 |      745 |      582
208.56/208.65	c  208s |      15 |   208181 |   116032 |    17706     11 |      745 |      582
210.65/210.79	c  210s |      15 |   208878 |   116632 |    17706     11 |      745 |      582
212.85/212.95	c  212s |      15 |   209547 |   117232 |    17706     11 |      745 |      582
215.25/215.33	c  215s |      15 |   210347 |   117932 |    17706     11 |      745 |      582
217.56/217.64	c  217s |      15 |   211010 |   118532 |    17706     11 |      745 |      582
219.76/219.86	c  219s |      15 |   211698 |   119132 |    17706     11 |      745 |      582
222.06/222.17	c  221s |      15 |   212513 |   119832 |    17706     11 |      745 |      582
224.25/224.32	c  224s |      15 |   213184 |   120432 |    17706     12 |      745 |      582
226.35/226.43	c  226s |      15 |   214071 |   121232 |    17706     12 |      745 |      582
228.45/228.55	c  228s |      15 |   215008 |   122032 |    17706     12 |      745 |      582
230.65/230.73	c  230s |      15 |   215787 |   122732 |    17706     12 |      745 |      582
232.85/232.95	c  232s |      15 |   216583 |   123432 |    17706     12 |      745 |      582
235.05/235.10	c  234s |      15 |   217401 |   124132 |    17706     12 |      745 |      582
237.15/237.29	c  237s |      15 |   218191 |   124832 |    17706     12 |      745 |      582
239.35/239.49	c  239s |      15 |   219004 |   125532 |    17706     12 |      745 |      582
241.55/241.60	c  241s |      15 |   219678 |   126132 |    17706     12 |      745 |      582
243.65/243.75	c  243s |      15 |   220357 |   126732 |    17706     12 |      745 |      582
245.85/245.95	c  245s |      15 |   221035 |   127332 |    17706     12 |      745 |      582
248.05/248.15	c  247s |      15 |   221698 |   127932 |    17706     12 |      745 |      582
250.15/250.20	c  249s |      15 |   222254 |   128432 |    17706     12 |      745 |      582
252.45/252.52	c  252s |      15 |   222923 |   129032 |    17706     12 |      745 |      582
254.45/254.57	c  254s |      15 |   223594 |   129632 |    17706     12 |      745 |      582
256.75/256.86	c  256s |      15 |   224259 |   130232 |    17706     12 |      745 |      582
258.95/259.06	c  258s |      15 |   224944 |   130832 |    19477     13 |      745 |      582
261.05/261.16	c  260s |      15 |   225746 |   131532 |    19477     13 |      745 |      582
261.15/261.22	c  260s |      16 |   225764 |   131552 |    19477     13 |      745 |      582
263.15/263.25	c  262s |      16 |   235451 |   133752 |    19477     13 |      745 |      582
265.25/265.34	c  265s |      16 |   237170 |   135252 |    19477     13 |      745 |      582
267.36/267.41	c  267s |      16 |   238628 |   136552 |    19477     13 |      745 |      582
269.35/269.43	c  269s |      16 |   239896 |   137652 |    19477     13 |      745 |      582
271.35/271.44	c  271s |      16 |   241089 |   138652 |    19477     13 |      745 |      582
273.35/273.49	c  273s |      16 |   242095 |   139552 |    19477     13 |      745 |      582
275.55/275.62	c  275s |      16 |   242968 |   140352 |    19477     13 |      745 |      582
277.54/277.69	c  277s |      16 |   243762 |   141052 |    19477     13 |      745 |      582
279.84/279.94	c  279s |      16 |   244511 |   141752 |    19477     13 |      745 |      582
281.94/282.06	c  281s |      16 |   245425 |   142552 |    19477     13 |      745 |      582
284.04/284.13	c  283s |      16 |   246100 |   143152 |    19477     14 |      745 |      582
286.05/286.19	c  285s |      16 |   246880 |   143852 |    19477     14 |      745 |      582
288.15/288.23	c  287s |      16 |   247657 |   144552 |    19477     14 |      745 |      582
290.24/290.35	c  290s |      16 |   248422 |   145252 |    19477     14 |      745 |      582
292.44/292.57	c  292s |      16 |   249180 |   145952 |    19477     14 |      745 |      582
294.75/294.83	c  294s |      16 |   249935 |   146652 |    19477     14 |      745 |      582
297.05/297.11	c  296s |      16 |   250570 |   147252 |    19477     14 |      745 |      582
299.25/299.35	c  299s |      16 |   251327 |   147952 |    19477     14 |      745 |      582
301.34/301.50	c  301s |      16 |   251967 |   148552 |    19477     14 |      745 |      582
303.55/303.69	c  303s |      16 |   252739 |   149252 |    19477     14 |      745 |      582
305.75/305.87	c  305s |      16 |   253366 |   149852 |    19477     14 |      745 |      582
308.14/308.22	c  307s |      16 |   253991 |   150452 |    19477     14 |      745 |      582
310.25/310.34	c  310s |      16 |   254615 |   151052 |    19477     14 |      745 |      582
312.45/312.51	c  312s |      16 |   255262 |   151652 |    19477     14 |      745 |      582
314.74/314.80	c  314s |      16 |   255888 |   152252 |    19477     14 |      745 |      582
317.14/317.20	c  316s |      16 |   256539 |   152852 |    19477     14 |      745 |      582
319.54/319.60	c  319s |      16 |   257198 |   153452 |    19477     14 |      745 |      582
322.04/322.13	c  321s |      16 |   257719 |   153952 |    19477     15 |      745 |      582
324.03/324.19	c  323s |      16 |   258379 |   154552 |    19477     15 |      745 |      582
326.34/326.49	c  326s |      16 |   259097 |   155252 |    19477     15 |      745 |      582
328.44/328.59	c  328s |      16 |   259758 |   155852 |    19477     15 |      745 |      582
330.94/331.00	c  330s |      16 |   260379 |   156452 |    19477     15 |      745 |      582
333.24/333.31	c  333s |      16 |   261175 |   157152 |    19477     15 |      745 |      582
335.44/335.54	c  335s |      16 |   261922 |   157852 |    19477     15 |      745 |      582
337.64/337.75	c  337s |      16 |   262612 |   158452 |    19477     15 |      745 |      582
339.85/339.91	c  339s |      16 |   263282 |   159052 |    19477     15 |      745 |      582
342.05/342.18	c  341s |      16 |   263930 |   159652 |    19477     15 |      745 |      582
344.14/344.22	c  343s |      16 |   264596 |   160252 |    19477     15 |      745 |      582
346.34/346.48	c  346s |      16 |   265217 |   160852 |    19477     15 |      745 |      582
348.54/348.68	c  348s |      16 |   265864 |   161452 |    19477     15 |      745 |      582
350.64/350.73	c  350s |      16 |   266392 |   161952 |    19477     15 |      745 |      582
352.83/352.98	c  352s |      16 |   267452 |   162652 |    19477     15 |      745 |      582
355.03/355.17	c  354s |      16 |   268470 |   163352 |    19477     15 |      745 |      582
357.23/357.31	c  357s |      16 |   269389 |   164052 |    19477     15 |      745 |      582
359.43/359.52	c  359s |      16 |   271219 |   165052 |    19477     16 |      745 |      582
361.53/361.61	c  361s |      16 |   272628 |   165952 |    19477     16 |      745 |      582
363.53/363.66	c  363s |      16 |   273776 |   166852 |    19477     16 |      745 |      582
365.83/365.93	c  365s |      16 |   274245 |   167252 |    19477     16 |      745 |      582
368.03/368.17	c  367s |      16 |   274568 |   167552 |    19477     16 |      745 |      582
370.33/370.45	c  370s |      16 |   275376 |   168252 |    19477     16 |      745 |      582
372.53/372.69	c  372s |      16 |   276022 |   168852 |    19477     16 |      745 |      582
374.93/375.01	c  374s |      16 |   276680 |   169452 |    19477     16 |      745 |      582
377.02/377.12	c  376s |      16 |   277241 |   169952 |    19477     16 |      745 |      582
379.23/379.32	c  379s |      16 |   277907 |   170552 |    19477     16 |      745 |      582
381.23/381.39	c  381s |      16 |   278437 |   171052 |    19477     16 |      745 |      582
383.43/383.58	c  383s |      16 |   279007 |   171552 |    19477     16 |      745 |      582
385.83/385.97	c  385s |      16 |   279679 |   172152 |    19477     16 |      745 |      582
387.93/388.02	c  387s |      16 |   280701 |   172852 |    19477     16 |      745 |      582
390.23/390.39	c  390s |      16 |   281438 |   173452 |    19477     16 |      745 |      582
392.43/392.54	c  392s |      16 |   281874 |   173852 |    19477     16 |      745 |      582
394.63/394.77	c  394s |      16 |   282325 |   174252 |    19477     16 |      745 |      582
396.73/396.88	c  396s |      16 |   282887 |   174752 |    19477     16 |      745 |      582
399.13/399.29	c  399s |      16 |   283459 |   175252 |    19477     16 |      745 |      582
401.23/401.38	c  401s |      16 |   283886 |   175652 |    19477     16 |      745 |      582
403.42/403.56	c  403s |      16 |   284342 |   176052 |    19477     16 |      745 |      582
405.62/405.70	c  405s |      16 |   284667 |   176352 |    19477     17 |      745 |      582
407.92/408.01	c  407s |      16 |   285226 |   176852 |    19477     17 |      745 |      582
410.02/410.19	c  409s |      16 |   285786 |   177352 |    19477     17 |      745 |      582
412.32/412.48	c  412s |      16 |   286343 |   177852 |    19477     17 |      745 |      582
414.52/414.68	c  414s |      16 |   286894 |   178352 |    19477     17 |      745 |      582
416.72/416.89	c  416s |      16 |   287440 |   178852 |    19477     17 |      745 |      582
418.82/418.95	c  418s |      16 |   288288 |   179452 |    19477     17 |      745 |      582
420.92/421.01	c  420s |      16 |   291382 |   181352 |    19477     17 |      745 |      582
423.02/423.15	c  422s |      16 |   293171 |   182952 |    19477     17 |      745 |      582
425.12/425.23	c  424s |      16 |   294750 |   184352 |    19477     17 |      745 |      582
427.22/427.34	c  427s |      16 |   296389 |   185752 |    19477     17 |      745 |      582
429.32/429.48	c  429s |      16 |   297540 |   186852 |    19477     17 |      745 |      582
431.42/431.52	c  431s |      16 |   298420 |   187652 |    19477     18 |      745 |      582
433.43/433.52	c  433s |      16 |   299496 |   188652 |    19477     18 |      745 |      582
435.63/435.75	c  435s |      16 |   300559 |   189652 |    19477     18 |      745 |      582
437.73/437.85	c  437s |      16 |   301518 |   190552 |    19477     18 |      745 |      582
439.82/439.92	c  439s |      16 |   302462 |   191452 |    19477     18 |      745 |      582
441.92/442.06	c  441s |      16 |   303289 |   192252 |    19477     18 |      745 |      582
444.12/444.22	c  443s |      16 |   304117 |   193052 |    19477     18 |      745 |      582
446.22/446.39	c  446s |      16 |   304946 |   193852 |    19477     18 |      745 |      582
448.51/448.61	c  448s |      16 |   305790 |   194652 |    19477     18 |      745 |      582
450.62/450.77	c  450s |      16 |   306517 |   195352 |    19477     18 |      745 |      582
452.92/453.08	c  452s |      16 |   307238 |   196052 |    19477     18 |      745 |      582
454.92/455.08	c  454s |      16 |   307854 |   196652 |    21425     18 |      745 |      582
457.11/457.22	c  456s |      17 |   308750 |   197432 |    21425     18 |      745 |      582
459.12/459.22	c  458s |      17 |   311709 |   198632 |    21425     18 |      745 |      582
461.22/461.33	c  461s |      17 |   313243 |   200032 |    21425     18 |      745 |      582
463.42/463.51	c  463s |      17 |   314336 |   201032 |    21425     19 |      745 |      582
465.52/465.60	c  465s |      17 |   315404 |   202032 |    21425     19 |      745 |      582
467.62/467.71	c  467s |      17 |   316482 |   203032 |    21425     19 |      745 |      582
469.72/469.81	c  469s |      17 |   317830 |   204132 |    21425     19 |      745 |      582
471.71/471.86	c  471s |      17 |   319190 |   205232 |    21425     19 |      745 |      582
473.81/473.99	c  473s |      17 |   320374 |   206232 |    21425     19 |      745 |      582
476.01/476.18	c  475s |      17 |   321409 |   207132 |    21425     19 |      745 |      582
478.11/478.27	c  478s |      17 |   322596 |   208132 |    21425     19 |      745 |      582
480.21/480.33	c  480s |      17 |   323680 |   209032 |    21425     19 |      745 |      582
482.41/482.50	c  482s |      17 |   324736 |   209932 |    21425     19 |      745 |      582
484.51/484.64	c  484s |      17 |   325699 |   210732 |    21425     19 |      745 |      582
486.61/486.73	c  486s |      17 |   326483 |   211432 |    21425     19 |      745 |      582
488.71/488.80	c  488s |      17 |   328966 |   212132 |    21425     20 |      745 |      582
490.81/490.97	c  490s |      17 |   334050 |   213432 |    21425     20 |      745 |      582
492.91/493.06	c  492s |      17 |   335199 |   214432 |    21425     20 |      745 |      582
494.91/495.07	c  494s |      17 |   336254 |   215332 |    21425     20 |      745 |      582
497.11/497.22	c  496s |      17 |   337345 |   216332 |    21425     20 |      745 |      582
499.11/499.22	c  498s |      17 |   338377 |   217232 |    21425     20 |      745 |      582
501.21/501.35	c  501s |      17 |   339385 |   218132 |    21425     20 |      745 |      582
503.31/503.44	c  503s |      17 |   340478 |   219132 |    21425     20 |      745 |      582
505.41/505.56	c  505s |      17 |   341493 |   220032 |    21425     20 |      745 |      582
507.51/507.64	c  507s |      17 |   342407 |   220832 |    21425     20 |      745 |      582
509.71/509.83	c  509s |      17 |   343303 |   221632 |    21425     20 |      745 |      582
511.71/511.87	c  511s |      17 |   344093 |   222332 |    21425     20 |      745 |      582
513.91/514.09	c  513s |      17 |   344877 |   223032 |    21425     20 |      745 |      582
516.21/516.39	c  516s |      17 |   345629 |   223732 |    21425     20 |      745 |      582
518.51/518.70	c  518s |      17 |   346376 |   224432 |    21425     20 |      745 |      582
520.61/520.75	c  520s |      17 |   346937 |   224932 |    21425     21 |      745 |      582
522.61/522.75	c  522s |      17 |   347702 |   225632 |    21425     21 |      745 |      582
524.71/524.85	c  524s |      17 |   348441 |   226332 |    21425     21 |      745 |      582
526.91/527.01	c  526s |      17 |   349222 |   227032 |    21425     21 |      745 |      582
529.11/529.27	c  529s |      17 |   350010 |   227732 |    21425     21 |      745 |      582
531.40/531.50	c  531s |      17 |   350770 |   228432 |    21425     21 |      745 |      582
533.41/533.57	c  533s |      17 |   351430 |   229032 |    21425     21 |      745 |      582
535.72/535.89	c  535s |      17 |   352070 |   229632 |    21425     21 |      745 |      582
538.01/538.17	c  537s |      17 |   352714 |   230232 |    21425     21 |      745 |      582
540.21/540.35	c  540s |      17 |   353357 |   230832 |    21425     21 |      745 |      582
542.21/542.37	c  542s |      17 |   354087 |   231432 |    21425     21 |      745 |      582
544.51/544.61	c  544s |      17 |   355218 |   232332 |    21425     21 |      745 |      582
546.51/546.67	c  546s |      17 |   356028 |   233032 |    21425     21 |      745 |      582
548.61/548.74	c  548s |      17 |   357069 |   233832 |    21425     21 |      745 |      582
550.71/550.87	c  550s |      17 |   358046 |   234632 |    21425     21 |      745 |      582
552.71/552.88	c  552s |      17 |   359042 |   235432 |    21425     21 |      745 |      582
554.90/555.03	c  554s |      17 |   359873 |   236132 |    21425     21 |      745 |      582
557.00/557.12	c  556s |      17 |   360657 |   236832 |    21425     21 |      745 |      582
559.00/559.19	c  558s |      17 |   361348 |   237432 |    21425     22 |      745 |      582
561.20/561.31	c  561s |      17 |   362453 |   238332 |    21425     22 |      745 |      582
563.30/563.48	c  563s |      17 |   363354 |   239132 |    21425     22 |      745 |      582
565.41/565.57	c  565s |      17 |   364118 |   239832 |    21425     22 |      745 |      582
567.40/567.57	c  567s |      17 |   364915 |   240532 |    21425     22 |      745 |      582
569.50/569.65	c  569s |      17 |   365586 |   241132 |    21425     22 |      745 |      582
571.70/571.83	c  571s |      17 |   366375 |   241832 |    21425     22 |      745 |      582
573.70/573.88	c  573s |      17 |   367157 |   242532 |    21425     22 |      745 |      582
575.80/575.99	c  575s |      17 |   367835 |   243132 |    21425     22 |      745 |      582
577.90/578.09	c  577s |      17 |   368619 |   243832 |    21425     22 |      745 |      582
580.30/580.46	c  580s |      17 |   369463 |   244532 |    21425     22 |      745 |      582
582.49/582.65	c  582s |      17 |   370137 |   245132 |    21425     22 |      745 |      582
584.79/584.91	c  584s |      17 |   370826 |   245732 |    21425     22 |      745 |      582
587.09/587.20	c  586s |      17 |   371504 |   246332 |    21425     22 |      745 |      582
589.19/589.39	c  589s |      17 |   372209 |   246932 |    21425     22 |      745 |      582
591.49/591.69	c  591s |      17 |   373006 |   247632 |    21425     22 |      745 |      582
593.80/593.90	c  593s |      17 |   373816 |   248332 |    21425     22 |      745 |      582
595.90/596.07	c  595s |      17 |   374500 |   248932 |    21425     22 |      745 |      582
598.20/598.32	c  598s |      17 |   375204 |   249532 |    21425     22 |      745 |      582
600.20/600.39	c  600s |      17 |   375767 |   250032 |    21425     23 |      745 |      582
602.29/602.46	c  602s |      17 |   376555 |   250732 |    21425     23 |      745 |      582
604.49/604.64	c  604s |      17 |   377327 |   251432 |    21425     23 |      745 |      582
606.49/606.68	c  606s |      17 |   377984 |   252032 |    21425     23 |      745 |      582
608.89/609.01	c  608s |      17 |   378778 |   252732 |    21425     23 |      745 |      582
610.90/611.05	c  610s |      17 |   379428 |   253332 |    21425     23 |      745 |      582
612.89/613.09	c  612s |      17 |   380110 |   253932 |    21425     23 |      745 |      582
614.99/615.18	c  614s |      17 |   380773 |   254532 |    21425     23 |      745 |      582
617.19/617.36	c  617s |      17 |   381429 |   255132 |    21425     23 |      745 |      582
619.30/619.47	c  619s |      17 |   382093 |   255732 |    21425     23 |      745 |      582
621.50/621.65	c  621s |      17 |   382759 |   256332 |    21425     23 |      745 |      582
623.79/623.99	c  623s |      17 |   383405 |   256932 |    21425     23 |      745 |      582
625.90/626.02	c  625s |      17 |   383942 |   257432 |    21425     23 |      745 |      582
628.19/628.36	c  628s |      17 |   384576 |   258032 |    21425     23 |      745 |      582
630.49/630.69	c  630s |      17 |   385244 |   258632 |    21425     23 |      745 |      582
632.69/632.86	c  632s |      17 |   385901 |   259232 |    21425     23 |      745 |      582
634.89/635.02	c  634s |      17 |   386556 |   259832 |    21425     23 |      745 |      582
637.09/637.20	c  636s |      17 |   387237 |   260432 |    21425     23 |      745 |      582
639.28/639.46	c  639s |      17 |   387896 |   261032 |    21425     23 |      745 |      582
641.78/641.98	c  641s |      17 |   388559 |   261632 |    21425     23 |      745 |      582
643.88/644.05	c  643s |      17 |   389011 |   262032 |    21425     24 |      745 |      582
645.98/646.16	c  645s |      17 |   389673 |   262632 |    21425     24 |      745 |      582
648.18/648.31	c  648s |      17 |   390455 |   263332 |    21425     24 |      745 |      582
650.18/650.39	c  650s |      17 |   391113 |   263932 |    21425     24 |      745 |      582
652.38/652.55	c  652s |      17 |   391886 |   264632 |    21425     24 |      745 |      582
654.68/654.82	c  654s |      17 |   392530 |   265232 |    21425     24 |      745 |      582
656.88/657.01	c  656s |      17 |   393198 |   265832 |    21425     24 |      745 |      582
658.89/659.09	c  658s |      17 |   393878 |   266432 |    21425     24 |      745 |      582
661.09/661.24	c  660s |      17 |   394554 |   267032 |    21425     24 |      745 |      582
663.38/663.55	c  663s |      17 |   395204 |   267632 |    21425     24 |      745 |      582
665.39/665.56	c  665s |      17 |   395746 |   268132 |    21425     24 |      745 |      582
667.59/667.80	c  667s |      17 |   396413 |   268732 |    21425     24 |      745 |      582
669.89/670.08	c  669s |      17 |   397066 |   269332 |    21425     24 |      745 |      582
671.88/672.09	c  671s |      17 |   397608 |   269832 |    21425     24 |      745 |      582
674.08/674.21	c  673s |      17 |   398151 |   270332 |    21425     24 |      745 |      582
676.39/676.53	c  676s |      17 |   398815 |   270932 |    21425     24 |      745 |      582
678.48/678.69	c  678s |      17 |   399548 |   271532 |    21425     24 |      745 |      582
680.68/680.83	c  680s |      17 |   400248 |   272132 |    21425     24 |      745 |      582
682.99/683.18	c  682s |      17 |   400901 |   272732 |    21425     24 |      745 |      582
685.08/685.24	c  684s |      17 |   401453 |   273232 |    21425     24 |      745 |      582
687.08/687.29	c  687s |      17 |   402016 |   273732 |    21425     24 |      745 |      582
689.18/689.30	c  689s |      17 |   402582 |   274232 |    21425     24 |      745 |      582
691.28/691.49	c  691s |      17 |   403118 |   274732 |    21425     25 |      745 |      582
693.38/693.59	c  693s |      17 |   403886 |   275432 |    21425     25 |      745 |      582
695.68/695.88	c  695s |      17 |   404642 |   276132 |    21425     25 |      745 |      582
697.98/698.10	c  697s |      17 |   405413 |   276832 |    21425     25 |      745 |      582
699.98/700.14	c  699s |      17 |   406087 |   277432 |    21425     25 |      745 |      582
701.98/702.15	c  701s |      17 |   406732 |   278032 |    21425     25 |      745 |      582
704.08/704.20	c  703s |      17 |   407389 |   278632 |    21425     25 |      745 |      582
706.27/706.49	c  706s |      17 |   408049 |   279232 |    21425     25 |      745 |      582
708.38/708.56	c  708s |      17 |   408702 |   279832 |    21425     25 |      745 |      582
710.58/710.75	c  710s |      17 |   409372 |   280432 |    21425     25 |      745 |      582
712.87/713.05	c  712s |      17 |   410023 |   281032 |    21425     25 |      745 |      582
714.98/715.12	c  714s |      17 |   410695 |   281632 |    21425     25 |      745 |      582
717.09/717.23	c  716s |      17 |   411237 |   282132 |    21425     25 |      745 |      582
719.18/719.39	c  719s |      17 |   411780 |   282632 |    21425     25 |      745 |      582
721.28/721.43	c  721s |      17 |   412351 |   283132 |    21425     25 |      745 |      582
723.48/723.61	c  723s |      17 |   412890 |   283632 |    21425     25 |      745 |      582
725.58/725.73	c  725s |      17 |   413432 |   284132 |    21425     25 |      745 |      582
727.58/727.76	c  727s |      17 |   413990 |   284632 |    21425     25 |      745 |      582
729.68/729.88	c  729s |      17 |   414530 |   285132 |    21425     25 |      745 |      582
731.97/732.12	c  731s |      17 |   415074 |   285632 |    21425     25 |      745 |      582
734.27/734.44	c  734s |      17 |   415603 |   286132 |    21425     25 |      745 |      582
736.27/736.48	c  736s |      17 |   416161 |   286632 |    21425     25 |      745 |      582
738.27/738.48	c  738s |      17 |   416619 |   287032 |    21425     26 |      745 |      582
740.37/740.50	c  740s |      17 |   417378 |   287732 |    21425     26 |      745 |      582
742.48/742.66	c  742s |      17 |   418047 |   288332 |    21425     26 |      745 |      582
744.58/744.76	c  744s |      17 |   418720 |   288932 |    21425     26 |      745 |      582
746.78/746.95	c  746s |      17 |   419393 |   289532 |    21425     26 |      745 |      582
748.98/749.13	c  748s |      17 |   420040 |   290132 |    21425     26 |      745 |      582
751.18/751.34	c  751s |      17 |   420699 |   290732 |    21425     26 |      745 |      582
753.17/753.39	c  753s |      17 |   421365 |   291332 |    21425     26 |      745 |      582
755.47/755.62	c  755s |      17 |   422068 |   291932 |    21425     26 |      745 |      582
757.67/757.88	c  757s |      17 |   422769 |   292532 |    21425     26 |      745 |      582
759.77/759.99	c  759s |      17 |   423457 |   293132 |    21425     26 |      745 |      582
762.18/762.36	c  762s |      17 |   424118 |   293732 |    21425     26 |      745 |      582
764.37/764.57	c  764s |      17 |   424691 |   294232 |    23568     26 |      745 |      582
766.47/766.61	c  766s |      17 |   425251 |   294732 |    23568     26 |      745 |      582
768.57/768.74	c  768s |      17 |   425932 |   295332 |    23568     26 |      745 |      582
770.66/770.82	c  770s |      17 |   426737 |   296032 |    23568     26 |      745 |      582
771.26/771.49	c  771s |      18 |   427005 |   296252 |    23568     26 |      745 |      582
773.36/773.51	c  773s |      18 |   432510 |   297952 |    23568     26 |      745 |      582
775.56/775.76	c  775s |      18 |   436587 |   299952 |    23568     27 |      745 |      582
777.67/777.88	c  777s |      18 |   445690 |   302652 |    23568     27 |      745 |      582
779.77/780.00	c  779s |      18 |   448354 |   304352 |    23568     27 |      745 |      582
781.86/782.03	c  781s |      18 |   449849 |   305452 |    23568     27 |      745 |      582
783.86/784.03	c  783s |      18 |   451129 |   306352 |    23568     27 |      745 |      582
786.26/786.41	c  786s |      18 |   452547 |   307352 |    23568     27 |      745 |      582
788.36/788.59	c  788s |      18 |   453312 |   307952 |    23568     27 |      745 |      582
790.46/790.62	c  790s |      18 |   454287 |   308652 |    23568     27 |      745 |      582
792.66/792.85	c  792s |      18 |   454775 |   309052 |    23568     27 |      745 |      582
795.27/795.44	c  795s |      18 |   455227 |   309452 |    23568     27 |      745 |      582
797.76/797.93	c  797s |      18 |   455799 |   309952 |    23568     27 |      745 |      582
799.95/800.10	c  799s |      18 |   456796 |   310652 |    23568     27 |      745 |      582
802.15/802.35	c  802s |      18 |   457500 |   311252 |    23568     27 |      745 |      582
804.26/804.43	c  804s |      18 |   457937 |   311652 |    23568     27 |      745 |      582
806.86/807.03	c  806s |      18 |   458366 |   312052 |    23568     27 |      745 |      582
809.06/809.29	c  809s |      18 |   458933 |   312552 |    23568     27 |      745 |      582
811.46/811.60	c  811s |      18 |   459538 |   313052 |    23568     27 |      745 |      582
813.76/813.92	c  813s |      18 |   460192 |   313652 |    23568     27 |      745 |      582
815.95/816.17	c  815s |      18 |   460666 |   314052 |    23568     28 |      745 |      582
818.16/818.39	c  818s |      18 |   461109 |   314452 |    23568     28 |      745 |      582
820.47/820.63	c  820s |      18 |   461711 |   314952 |    23568     28 |      745 |      582
822.46/822.66	c  822s |      18 |   462420 |   315552 |    23568     28 |      745 |      582
824.76/824.97	c  824s |      18 |   463099 |   316152 |    23568     28 |      745 |      582
826.86/827.09	c  826s |      18 |   463705 |   316652 |    23568     28 |      745 |      582
828.95/829.19	c  828s |      18 |   464133 |   317052 |    23568     28 |      745 |      582
831.25/831.45	c  831s |      18 |   464590 |   317452 |    23568     28 |      745 |      582
833.55/833.76	c  833s |      18 |   465117 |   317852 |    23568     28 |      745 |      582
835.96/836.15	c  835s |      18 |   465470 |   318152 |    23568     28 |      745 |      582
838.15/838.37	c  838s |      18 |   465833 |   318452 |    23568     28 |      745 |      582
840.25/840.46	c  840s |      18 |   467011 |   319252 |    23568     28 |      745 |      582
842.35/842.54	c  842s |      18 |   468001 |   319952 |    23568     28 |      745 |      582
844.66/844.83	c  844s |      18 |   469014 |   320752 |    23568     28 |      745 |      582
846.96/847.11	c  846s |      18 |   469763 |   321352 |    23568     28 |      745 |      582
848.95/849.14	c  848s |      18 |   471009 |   322152 |    23568     28 |      745 |      582
851.15/851.34	c  851s |      18 |   472333 |   323152 |    23568     28 |      745 |      582
853.25/853.42	c  853s |      18 |   474186 |   324152 |    23568     28 |      745 |      582
855.25/855.47	c  855s |      18 |   475483 |   325052 |    23568     28 |      745 |      582
857.35/857.59	c  857s |      18 |   476600 |   325852 |    23568     28 |      745 |      582
859.44/859.60	c  859s |      18 |   477552 |   326552 |    23568     28 |      745 |      582
861.54/861.71	c  861s |      18 |   478295 |   327152 |    23568     28 |      745 |      582
863.64/863.80	c  863s |      18 |   478782 |   327552 |    23568     29 |      745 |      582
865.65/865.85	c  865s |      18 |   479633 |   328252 |    23568     29 |      745 |      582
867.75/867.92	c  867s |      18 |   480686 |   329052 |    23568     29 |      745 |      582
869.74/869.99	c  869s |      18 |   481729 |   329852 |    23568     29 |      745 |      582
871.84/872.08	c  871s |      18 |   482764 |   330652 |    23568     29 |      745 |      582
874.14/874.30	c  874s |      18 |   483740 |   331452 |    23568     29 |      745 |      582
876.13/876.31	c  876s |      18 |   484454 |   332052 |    23568     29 |      745 |      582
878.14/878.32	c  878s |      18 |   485282 |   332652 |    23568     29 |      745 |      582
880.54/880.72	c  880s |      18 |   486479 |   333552 |    23568     29 |      745 |      582
882.73/882.96	c  882s |      18 |   487117 |   334052 |    23568     29 |      745 |      582
884.83/885.03	c  884s |      18 |   488101 |   334752 |    23568     29 |      745 |      582
886.93/887.10	c  886s |      18 |   489212 |   335552 |    23568     29 |      745 |      582
889.04/889.26	c  889s |      18 |   490378 |   336352 |    23568     29 |      745 |      582
891.23/891.45	c  891s |      18 |   491607 |   337252 |    23568     29 |      745 |      582
893.43/893.65	c  893s |      18 |   492778 |   338152 |    23568     29 |      745 |      582
895.64/895.81	c  895s |      18 |   493819 |   338952 |    23568     29 |      745 |      582
897.73/898.00	c  897s |      18 |   494711 |   339652 |    23568     29 |      745 |      582
899.93/900.10	c  899s |      18 |   495436 |   340252 |    23568     29 |      745 |      582
902.32/902.54	c  902s |      18 |   496141 |   340852 |    23568     30 |      745 |      582
904.42/904.69	c  904s |      18 |   497011 |   341552 |    23568     30 |      745 |      582
906.52/906.72	c  906s |      18 |   497883 |   342252 |    23568     30 |      745 |      582
908.53/908.72	c  908s |      18 |   498748 |   342952 |    23568     30 |      745 |      582
910.73/910.94	c  910s |      18 |   499846 |   343852 |    23568     30 |      745 |      582
912.93/913.18	c  912s |      18 |   500636 |   344552 |    23568     30 |      745 |      582
915.03/915.29	c  915s |      18 |   501451 |   345252 |    23568     30 |      745 |      582
917.33/917.58	c  917s |      18 |   502259 |   345952 |    23568     30 |      745 |      582
919.43/919.62	c  919s |      18 |   502976 |   346552 |    23568     30 |      745 |      582
921.82/922.03	c  921s |      18 |   503809 |   347252 |    23568     30 |      745 |      582
923.83/924.03	c  923s |      18 |   504585 |   347852 |    23568     30 |      745 |      582
925.92/926.16	c  925s |      18 |   505077 |   348252 |    23568     30 |      745 |      582
928.52/928.78	c  928s |      18 |   505659 |   348752 |    23568     30 |      745 |      582
930.82/931.06	c  930s |      18 |   506271 |   349252 |    23568     30 |      745 |      582
933.32/933.55	c  933s |      18 |   506760 |   349652 |    23568     30 |      745 |      582
935.41/935.68	c  935s |      18 |   507357 |   350152 |    23568     30 |      745 |      582
937.81/938.05	c  937s |      18 |   508054 |   350752 |    23568     30 |      745 |      582
939.92/940.17	c  939s |      18 |   508748 |   351352 |    23568     30 |      745 |      582
942.21/942.46	c  942s |      18 |   509438 |   351952 |    23568     30 |      745 |      582
944.51/944.78	c  944s |      18 |   510172 |   352552 |    23568     30 |      745 |      582
946.71/947.00	c  946s |      18 |   510753 |   353052 |    23568     30 |      745 |      582
948.91/949.13	c  948s |      18 |   511190 |   353452 |    23568     30 |      745 |      582
951.41/951.62	c  951s |      18 |   511783 |   353952 |    23568     30 |      745 |      582
953.61/953.87	c  953s |      18 |   512389 |   354452 |    23568     31 |      745 |      582
955.81/956.07	c  955s |      18 |   513087 |   355052 |    23568     31 |      745 |      582
958.11/958.31	c  958s |      18 |   513771 |   355652 |    23568     31 |      745 |      582
961.10/961.38	c  961s |      18 |   514505 |   356252 |    23568     31 |      745 |      582
963.40/963.63	c  963s |      18 |   515361 |   356952 |    23568     31 |      745 |      582
966.11/966.30	c  966s |      18 |   515824 |   357352 |    23568     31 |      745 |      582
968.40/968.67	c  968s |      18 |   516305 |   357752 |    23568     31 |      745 |      582
970.70/970.90	c  970s |      18 |   516885 |   358252 |    23568     31 |      745 |      582
973.00/973.22	c  972s |      18 |   517599 |   358852 |    23568     31 |      745 |      582
975.80/976.08	c  975s |      18 |   518173 |   359352 |    23568     31 |      745 |      582
978.29/978.59	c  978s |      18 |   518652 |   359752 |    23568     31 |      745 |      582
980.49/980.72	c  980s |      18 |   519256 |   360252 |    23568     31 |      745 |      582
982.99/983.20	c  982s |      18 |   519968 |   360852 |    23568     31 |      745 |      582
985.19/985.47	c  985s |      18 |   520659 |   361452 |    23568     31 |      745 |      582
987.50/987.73	c  987s |      18 |   521372 |   362052 |    23568     31 |      745 |      582
989.70/989.92	c  989s |      18 |   521919 |   362552 |    23568     31 |      745 |      582
992.00/992.29	c  992s |      18 |   522459 |   363052 |    23568     31 |      745 |      582
994.30/994.56	c  994s |      18 |   523153 |   363652 |    23568     31 |      745 |      582
996.40/996.64	c  996s |      18 |   523595 |   364052 |    23568     31 |      745 |      582
998.79/999.02	c  998s |      18 |   524152 |   364552 |    23568     31 |      745 |      582
1000.90/1001.11	c 1000s |      18 |   524604 |   364952 |    23568     31 |      745 |      582
1002.89/1003.15	c 1002s |      18 |   525088 |   365352 |    23568     31 |      745 |      582
1004.99/1005.22	c 1004s |      18 |   525536 |   365752 |    23568     31 |      745 |      582
1007.19/1007.41	c 1007s |      18 |   526001 |   366152 |    23568     31 |      745 |      582
1009.29/1009.55	c 1009s |      18 |   526442 |   366552 |    23568     31 |      745 |      582
1011.39/1011.69	c 1011s |      18 |   526877 |   366952 |    23568     31 |      745 |      582
1013.58/1013.81	c 1013s |      18 |   527342 |   367352 |    23568     31 |      745 |      582
1015.68/1015.93	c 1015s |      18 |   527814 |   367752 |    23568     32 |      745 |      582
1017.88/1018.11	c 1017s |      18 |   528640 |   368452 |    23568     32 |      745 |      582
1019.88/1020.18	c 1019s |      18 |   529346 |   369052 |    23568     32 |      745 |      582
1022.08/1022.31	c 1022s |      18 |   530031 |   369652 |    23568     32 |      745 |      582
1024.08/1024.33	c 1024s |      18 |   530707 |   370252 |    23568     32 |      745 |      582
1026.18/1026.41	c 1026s |      18 |   531390 |   370852 |    23568     32 |      745 |      582
1028.38/1028.66	c 1028s |      18 |   532073 |   371452 |    23568     32 |      745 |      582
1030.48/1030.75	c 1030s |      18 |   532770 |   372052 |    23568     32 |      745 |      582
1032.47/1032.76	c 1032s |      18 |   533322 |   372552 |    23568     32 |      745 |      582
1034.57/1034.82	c 1034s |      18 |   533891 |   373052 |    23568     32 |      745 |      582
1036.57/1036.83	c 1036s |      18 |   534452 |   373552 |    23568     32 |      745 |      582
1038.57/1038.84	c 1038s |      18 |   535042 |   374052 |    23568     32 |      745 |      582
1040.56/1040.88	c 1040s |      18 |   535589 |   374552 |    23568     32 |      745 |      582
1043.07/1043.36	c 1043s |      18 |   536272 |   375152 |    23568     32 |      745 |      582
1045.37/1045.62	c 1045s |      18 |   536829 |   375652 |    23568     32 |      745 |      582
1047.47/1047.79	c 1047s |      18 |   537405 |   376152 |    23568     32 |      745 |      582
1049.56/1049.87	c 1049s |      18 |   537980 |   376652 |    23568     32 |      745 |      582
1051.96/1052.29	c 1052s |      18 |   538675 |   377252 |    23568     32 |      745 |      582
1054.46/1054.77	c 1054s |      18 |   539342 |   377852 |    23568     32 |      745 |      582
1056.77/1057.10	c 1056s |      18 |   540022 |   378452 |    23568     32 |      745 |      582
1058.95/1059.25	c 1058s |      18 |   540584 |   378952 |    23568     32 |      745 |      582
1061.46/1061.76	c 1061s |      18 |   541144 |   379452 |    23568     32 |      745 |      582
1063.76/1064.05	c 1063s |      18 |   541721 |   379952 |    23568     32 |      745 |      582
1066.06/1066.32	c 1066s |      18 |   542324 |   380452 |    23568     32 |      745 |      582
1068.26/1068.57	c 1068s |      18 |   542954 |   380952 |    23568     33 |      745 |      582
1070.35/1070.60	c 1070s |      18 |   543840 |   381652 |    23568     33 |      745 |      582
1072.45/1072.79	c 1072s |      18 |   544714 |   382352 |    23568     33 |      745 |      582
1074.85/1075.19	c 1074s |      18 |   545560 |   383052 |    23568     33 |      745 |      582
1077.25/1077.50	c 1077s |      18 |   546195 |   383552 |    23568     33 |      745 |      582
1079.75/1080.08	c 1079s |      18 |   546850 |   384052 |    23568     33 |      745 |      582
1081.85/1082.17	c 1081s |      18 |   547469 |   384552 |    23568     33 |      745 |      582
1084.45/1084.75	c 1084s |      18 |   547699 |   384752 |    23568     33 |      745 |      582
1087.65/1087.93	c 1087s |      18 |   548049 |   385052 |    23568     33 |      745 |      582
1090.54/1090.81	c 1090s |      18 |   548317 |   385252 |    23568     33 |      745 |      582
1092.54/1092.87	c 1092s |      18 |   548795 |   385652 |    23568     33 |      745 |      582
1095.04/1095.35	c 1095s |      18 |   549384 |   386152 |    23568     33 |      745 |      582
1097.33/1097.68	c 1097s |      18 |   549977 |   386652 |    23568     33 |      745 |      582
1099.63/1099.93	c 1099s |      18 |   550821 |   387352 |    23568     33 |      745 |      582
1101.84/1102.11	c 1101s |      18 |   551549 |   387952 |    23568     33 |      745 |      582
1103.94/1104.22	c 1103s |      18 |   552178 |   388452 |    23568     33 |      745 |      582
1106.23/1106.51	c 1106s |      18 |   552646 |   388852 |    23568     33 |      745 |      582
1108.23/1108.59	c 1108s |      18 |   553231 |   389352 |    23568     33 |      745 |      582
1110.83/1111.11	c 1110s |      18 |   553669 |   389752 |    23568     33 |      745 |      582
1112.83/1113.17	c 1112s |      18 |   554012 |   390052 |    23568     33 |      745 |      582
1114.93/1115.26	c 1115s |      18 |   554466 |   390452 |    23568     33 |      745 |      582
1116.92/1117.28	c 1117s |      18 |   555061 |   390952 |    23568     33 |      745 |      582
1119.03/1119.36	c 1119s |      18 |   555653 |   391452 |    23568     33 |      745 |      582
1121.12/1121.49	c 1121s |      18 |   556110 |   391852 |    23568     33 |      745 |      582
1123.22/1123.50	c 1123s |      18 |   556331 |   392052 |    23568     33 |      745 |      582
1125.22/1125.60	c 1125s |      18 |   556691 |   392352 |    23568     33 |      745 |      582
1127.72/1128.03	c 1127s |      18 |   557022 |   392652 |    23568     33 |      745 |      582
1129.82/1130.13	c 1129s |      18 |   557492 |   393052 |    23568     33 |      745 |      582
1132.32/1132.61	c 1132s |      18 |   557720 |   393252 |    23568     33 |      745 |      582
1134.93/1135.28	c 1135s |      18 |   557939 |   393452 |    23568     33 |      745 |      582
1138.02/1138.34	c 1138s |      18 |   558408 |   393852 |    23568     34 |      745 |      582
1140.11/1140.45	c 1140s |      18 |   558757 |   394152 |    23568     34 |      745 |      582
1142.31/1142.64	c 1142s |      18 |   559103 |   394452 |    23568     34 |      745 |      582
1144.91/1145.29	c 1145s |      18 |   559438 |   394752 |    23568     34 |      745 |      582
1148.01/1148.35	c 1148s |      18 |   559544 |   394852 |    23568     34 |      745 |      582
1151.20/1151.56	c 1151s |      18 |   559771 |   395052 |    23568     34 |      745 |      582
1153.40/1153.71	c 1153s |      18 |   559890 |   395152 |    23568     34 |      745 |      582
1156.21/1156.52	c 1156s |      18 |   560109 |   395352 |    23568     34 |      745 |      582
1158.50/1158.81	c 1158s |      18 |   560236 |   395452 |    23568     34 |      745 |      582
1160.69/1161.04	c 1160s |      18 |   560853 |   395952 |    23568     34 |      745 |      582
1163.00/1163.38	c 1163s |      18 |   561176 |   396252 |    23568     34 |      745 |      582
1165.20/1165.59	c 1165s |      18 |   561851 |   396852 |    23568     34 |      745 |      582
1168.09/1168.49	c 1168s |      18 |   562443 |   397352 |    23568     34 |      745 |      582
1170.79/1171.17	c 1170s |      18 |   562654 |   397552 |    23568     34 |      745 |      582
1173.00/1173.30	c 1173s |      18 |   563230 |   398052 |    23568     34 |      745 |      582
1175.40/1175.73	c 1175s |      18 |   563700 |   398452 |    23568     34 |      745 |      582
1178.50/1178.80	c 1178s |      18 |   564054 |   398752 |    23568     34 |      745 |      582
1180.68/1181.02	c 1180s |      18 |   564732 |   399352 |    23568     34 |      745 |      582
1183.09/1183.44	c 1183s |      18 |   565292 |   399852 |    23568     34 |      745 |      582
1185.59/1185.98	c 1185s |      18 |   565627 |   400152 |    23568     34 |      745 |      582
1188.58/1188.91	c 1188s |      18 |   565981 |   400452 |    23568     34 |      745 |      582
1191.68/1192.03	c 1191s |      18 |   566232 |   400652 |    23568     34 |      745 |      582
1194.39/1194.71	c 1194s |      18 |   566452 |   400852 |    23568     34 |      745 |      582
1197.28/1197.62	c 1197s |      18 |   566782 |   401152 |    23568     34 |      745 |      582
1199.57/1199.96	c 1199s |      18 |   567003 |   401352 |    23568     34 |      745 |      582
1202.38/1202.73	c 1202s |      18 |   567225 |   401552 |    23568     34 |      745 |      582
1204.47/1204.83	c 1204s |      18 |   568097 |   402252 |    23568     34 |      745 |      582
1206.48/1206.87	c 1206s |      18 |   568824 |   402852 |    23568     34 |      745 |      582
1208.58/1208.95	c 1208s |      18 |   569711 |   403552 |    23568     34 |      745 |      582
1210.67/1211.06	c 1210s |      18 |   570426 |   404152 |    23568     34 |      745 |      582
1213.07/1213.42	c 1213s |      18 |   571251 |   404852 |    23568     34 |      745 |      582
1215.18/1215.56	c 1215s |      18 |   571929 |   405452 |    23568     34 |      745 |      582
1217.37/1217.73	c 1217s |      18 |   572648 |   406052 |    23568     34 |      745 |      582
1219.57/1220.00	c 1219s |      18 |   573204 |   406552 |    23568     34 |      745 |      582
1221.77/1222.15	c 1221s |      18 |   573796 |   407052 |    23568     34 |      745 |      582
1223.97/1224.38	c 1224s |      18 |   574528 |   407652 |    23568     35 |      745 |      582
1226.07/1226.43	c 1226s |      18 |   575325 |   408352 |    23568     35 |      745 |      582
1228.16/1228.51	c 1228s |      18 |   576133 |   409052 |    23568     35 |      745 |      582
1230.36/1230.77	c 1230s |      18 |   576939 |   409752 |    23568     35 |      745 |      582
1232.76/1233.12	c 1232s |      18 |   577731 |   410452 |    23568     35 |      745 |      582
1234.75/1235.14	c 1234s |      18 |   578409 |   411052 |    23568     35 |      745 |      582
1236.96/1237.36	c 1237s |      18 |   579241 |   411752 |    23568     35 |      745 |      582
1239.15/1239.56	c 1239s |      18 |   580054 |   412452 |    23568     35 |      745 |      582
1241.25/1241.62	c 1241s |      18 |   580740 |   413052 |    23568     35 |      745 |      582
1243.55/1243.92	c 1243s |      18 |   581405 |   413652 |    23568     35 |      745 |      582
1245.75/1246.11	c 1245s |      18 |   582072 |   414252 |    23568     35 |      745 |      582
1248.05/1248.42	c 1248s |      18 |   582764 |   414852 |    23568     35 |      745 |      582
1250.14/1250.57	c 1250s |      18 |   583462 |   415452 |    23568     35 |      745 |      582
1252.55/1252.97	c 1252s |      18 |   584117 |   416052 |    23568     35 |      745 |      582
1254.75/1255.12	c 1254s |      18 |   584655 |   416552 |    23568     35 |      745 |      582
1257.05/1257.42	c 1257s |      18 |   585354 |   417152 |    23568     35 |      745 |      582
1259.04/1259.45	c 1259s |      18 |   586503 |   417952 |    23568     35 |      745 |      582
1261.03/1261.49	c 1261s |      18 |   587618 |   418752 |    23568     35 |      745 |      582
1263.14/1263.50	c 1263s |      18 |   588671 |   419552 |    23568     35 |      745 |      582
1265.23/1265.68	c 1265s |      18 |   589653 |   420352 |    23568     35 |      745 |      582
1267.44/1267.86	c 1267s |      18 |   590505 |   421052 |    23568     36 |      745 |      582
1269.63/1270.08	c 1269s |      18 |   591877 |   421952 |    23568     36 |      745 |      582
1271.73/1272.10	c 1271s |      18 |   593277 |   422952 |    23568     36 |      745 |      582
1273.73/1274.17	c 1273s |      18 |   594449 |   423852 |    23568     36 |      745 |      582
1275.84/1276.30	c 1276s |      18 |   595654 |   424752 |    23568     36 |      745 |      582
1278.04/1278.46	c 1278s |      18 |   596874 |   425652 |    23568     36 |      745 |      582
1280.23/1280.68	c 1280s |      18 |   598253 |   426652 |    23568     36 |      745 |      582
1282.23/1282.70	c 1282s |      18 |   599380 |   427552 |    23568     36 |      745 |      582
1284.33/1284.77	c 1284s |      18 |   600382 |   428352 |    23568     36 |      745 |      582
1286.43/1286.86	c 1286s |      18 |   601198 |   429052 |    23568     36 |      745 |      582
1288.63/1289.03	c 1288s |      18 |   602018 |   429752 |    23568     36 |      745 |      582
1290.82/1291.22	c 1290s |      18 |   602945 |   430552 |    23568     36 |      745 |      582
1292.92/1293.37	c 1293s |      18 |   603745 |   431252 |    23568     36 |      745 |      582
1295.02/1295.46	c 1295s |      18 |   604543 |   431952 |    23568     36 |      745 |      582
1297.22/1297.68	c 1297s |      18 |   605373 |   432652 |    23568     36 |      745 |      582
1299.51/1299.95	c 1299s |      18 |   606191 |   433352 |    23568     36 |      745 |      582
1301.62/1302.05	c 1301s |      18 |   606753 |   433852 |    23568     37 |      745 |      582
1303.71/1304.18	c 1303s |      18 |   607674 |   434652 |    23568     37 |      745 |      582
1306.01/1306.42	c 1306s |      18 |   608817 |   435552 |    23568     37 |      745 |      582
1308.22/1308.60	c 1308s |      18 |   609774 |   436352 |    23568     37 |      745 |      582
1310.21/1310.67	c 1310s |      18 |   610627 |   437052 |    23568     37 |      745 |      582
1312.41/1312.81	c 1312s |      18 |   611450 |   437752 |    23568     37 |      745 |      582
1314.61/1315.08	c 1314s |      18 |   612252 |   438452 |    23568     37 |      745 |      582
1316.81/1317.29	c 1317s |      18 |   613046 |   439152 |    23568     37 |      745 |      582
1318.81/1319.29	c 1319s |      18 |   613703 |   439752 |    23568     37 |      745 |      582
1320.90/1321.38	c 1321s |      18 |   614404 |   440352 |    23568     37 |      745 |      582
1323.40/1323.82	c 1323s |      18 |   615144 |   440952 |    23568     37 |      745 |      582
1325.51/1325.97	c 1325s |      18 |   615939 |   441652 |    25925     37 |      745 |      582
1327.60/1328.05	c 1327s |      18 |   616659 |   442252 |    25925     37 |      745 |      582
1330.00/1330.42	c 1330s |      18 |   617227 |   442752 |    25925     37 |      745 |      582
1332.30/1332.74	c 1332s |      18 |   617813 |   443252 |    25925     37 |      745 |      582
1334.39/1334.86	c 1334s |      18 |   618498 |   443852 |    25925     37 |      745 |      582
1336.59/1337.02	c 1336s |      18 |   618955 |   444252 |    25925     37 |      745 |      582
1337.80/1338.28	c 1338s |      19 |   619255 |   444482 |    25925     37 |      745 |      582
1339.88/1340.35	c 1340s |      19 |   621675 |   445682 |    25925     37 |      745 |      582
1342.09/1342.52	c 1342s |      19 |   623607 |   447282 |    25925     37 |      745 |      582
1344.19/1344.61	c 1344s |      19 |   624928 |   448482 |    25925     37 |      745 |      582
1346.49/1346.90	c 1346s |      19 |   626072 |   449482 |    25925     38 |      745 |      582
1348.58/1349.02	c 1348s |      19 |   627304 |   450582 |    25925     38 |      745 |      582
1350.68/1351.12	c 1350s |      19 |   628424 |   451582 |    25925     38 |      745 |      582
1352.78/1353.29	c 1353s |      19 |   629407 |   452482 |    25925     38 |      745 |      582
1355.08/1355.51	c 1355s |      19 |   630383 |   453382 |    25925     38 |      745 |      582
1357.08/1357.55	c 1357s |      19 |   631251 |   454182 |    25925     38 |      745 |      582
1359.29/1359.75	c 1359s |      19 |   632251 |   455082 |    25925     38 |      745 |      582
1361.49/1361.94	c 1361s |      19 |   633245 |   455982 |    25925     38 |      745 |      582
1363.68/1364.12	c 1363s |      19 |   634198 |   456882 |    25925     38 |      745 |      582
1365.78/1366.27	c 1366s |      19 |   635192 |   457782 |    25925     38 |      745 |      582
1367.98/1368.42	c 1368s |      19 |   636031 |   458582 |    25925     38 |      745 |      582
1369.97/1370.49	c 1370s |      19 |   636764 |   459282 |    25925     38 |      745 |      582
1371.97/1372.49	c 1372s |      19 |   637538 |   459982 |    25925     38 |      745 |      582
1374.26/1374.73	c 1374s |      19 |   638384 |   460782 |    25925     38 |      745 |      582
1376.36/1376.83	c 1376s |      19 |   639140 |   461482 |    25925     38 |      745 |      582
1378.56/1379.01	c 1378s |      19 |   640033 |   462282 |    25925     38 |      745 |      582
1380.76/1381.29	c 1381s |      19 |   640817 |   462982 |    25925     38 |      745 |      582
1382.86/1383.33	c 1383s |      19 |   641470 |   463582 |    25925     38 |      745 |      582
1385.06/1385.57	c 1385s |      19 |   642147 |   464182 |    25925     39 |      745 |      582
1387.36/1387.82	c 1387s |      19 |   643048 |   464982 |    25925     39 |      745 |      582
1389.65/1390.14	c 1389s |      19 |   643827 |   465682 |    25925     39 |      745 |      582
1391.85/1392.38	c 1392s |      19 |   644468 |   466282 |    25925     39 |      745 |      582
1394.15/1394.60	c 1394s |      19 |   645163 |   466882 |    25925     39 |      745 |      582
1396.15/1396.68	c 1396s |      19 |   645813 |   467482 |    25925     39 |      745 |      582
1398.46/1398.97	c 1398s |      19 |   646544 |   468182 |    25925     39 |      745 |      582
1400.65/1401.11	c 1400s |      19 |   647195 |   468782 |    25925     39 |      745 |      582
1402.85/1403.33	c 1403s |      19 |   647832 |   469382 |    25925     39 |      745 |      582
1405.15/1405.67	c 1405s |      19 |   648455 |   469982 |    25925     39 |      745 |      582
1407.35/1407.80	c 1407s |      19 |   649083 |   470582 |    25925     39 |      745 |      582
1409.45/1409.94	c 1409s |      19 |   649759 |   471182 |    25925     39 |      745 |      582
1411.75/1412.28	c 1412s |      19 |   650642 |   471982 |    25925     39 |      745 |      582
1413.94/1414.43	c 1414s |      19 |   651591 |   472682 |    25925     39 |      745 |      582
1416.15/1416.70	c 1416s |      19 |   652385 |   473382 |    25925     39 |      745 |      582
1418.44/1418.91	c 1418s |      19 |   653190 |   474082 |    25925     39 |      745 |      582
1420.55/1421.04	c 1420s |      19 |   653876 |   474682 |    25925     39 |      745 |      582
1422.85/1423.37	c 1423s |      19 |   654514 |   475282 |    25925     39 |      745 |      582
1424.95/1425.46	c 1425s |      19 |   655063 |   475782 |    25925     39 |      745 |      582
1427.05/1427.54	c 1427s |      19 |   655763 |   476382 |    25925     39 |      745 |      582
1429.34/1429.81	c 1429s |      19 |   656455 |   476982 |    25925     39 |      745 |      582
1431.35/1431.89	c 1431s |      19 |   657042 |   477482 |    25925     39 |      745 |      582
1433.55/1434.06	c 1433s |      19 |   657578 |   477982 |    25925     39 |      745 |      582
1435.75/1436.29	c 1436s |      19 |   658130 |   478482 |    25925     39 |      745 |      582
1438.04/1438.52	c 1438s |      19 |   658564 |   478882 |    25925     40 |      745 |      582
1440.15/1440.64	c 1440s |      19 |   659204 |   479482 |    25925     40 |      745 |      582
1442.35/1442.81	c 1442s |      19 |   659957 |   480182 |    25925     40 |      745 |      582
1444.34/1444.86	c 1444s |      19 |   660623 |   480782 |    25925     40 |      745 |      582
1446.74/1447.20	c 1446s |      19 |   661271 |   481382 |    25925     40 |      745 |      582
1448.95/1449.40	c 1449s |      19 |   662038 |   482082 |    25925     40 |      745 |      582
1450.94/1451.41	c 1451s |      19 |   662677 |   482682 |    25925     40 |      745 |      582
1453.04/1453.57	c 1453s |      19 |   663301 |   483282 |    25925     40 |      745 |      582
1455.44/1455.90	c 1455s |      19 |   664095 |   483982 |    25925     40 |      745 |      582
1457.64/1458.17	c 1457s |      19 |   664859 |   484682 |    25925     40 |      745 |      582
1459.84/1460.37	c 1460s |      19 |   665498 |   485282 |    25925     40 |      745 |      582
1462.04/1462.55	c 1462s |      19 |   666180 |   485882 |    25925     40 |      745 |      582
1464.24/1464.71	c 1464s |      19 |   666810 |   486482 |    25925     40 |      745 |      582
1466.64/1467.10	c 1466s |      19 |   667465 |   487082 |    25925     40 |      745 |      582
1468.74/1469.21	c 1468s |      19 |   668027 |   487582 |    25925     40 |      745 |      582
1470.94/1471.43	c 1471s |      19 |   668668 |   488182 |    25925     40 |      745 |      582
1473.24/1473.75	c 1473s |      19 |   669321 |   488782 |    25925     40 |      745 |      582
1475.64/1476.15	c 1475s |      19 |   669879 |   489282 |    25925     40 |      745 |      582
1477.94/1478.46	c 1478s |      19 |   670402 |   489782 |    25925     40 |      745 |      582
1480.34/1480.85	c 1480s |      19 |   670940 |   490282 |    25925     40 |      745 |      582
1482.45/1482.93	c 1482s |      19 |   671468 |   490782 |    25925     40 |      745 |      582
1484.74/1485.21	c 1484s |      19 |   672152 |   491382 |    25925     40 |      745 |      582
1487.04/1487.59	c 1487s |      19 |   672808 |   491982 |    25925     40 |      745 |      582
1489.34/1489.86	c 1489s |      19 |   673369 |   492482 |    25925     40 |      745 |      582
1491.64/1492.13	c 1491s |      19 |   674017 |   493082 |    25925     40 |      745 |      582
1493.73/1494.29	c 1494s |      19 |   674550 |   493582 |    25925     41 |      745 |      582
1496.03/1496.58	c 1496s |      19 |   675200 |   494182 |    25925     41 |      745 |      582
1498.44/1498.92	c 1498s |      19 |   675985 |   494882 |    25925     41 |      745 |      582
1500.54/1501.04	c 1500s |      19 |   676638 |   495482 |    25925     41 |      745 |      582
1502.63/1503.13	c 1502s |      19 |   677175 |   495982 |    25925     41 |      745 |      582
1504.93/1505.40	c 1505s |      19 |   677694 |   496482 |    25925     41 |      745 |      582
1507.04/1507.54	c 1507s |      19 |   678371 |   497082 |    25925     41 |      745 |      582
1509.24/1509.71	c 1509s |      19 |   679063 |   497682 |    25925     41 |      745 |      582
1511.24/1511.79	c 1511s |      19 |   679718 |   498282 |    25925     41 |      745 |      582
1513.33/1513.81	c 1513s |      19 |   680258 |   498782 |    25925     41 |      745 |      582
1515.44/1515.98	c 1515s |      19 |   680788 |   499282 |    25925     41 |      745 |      582
1517.73/1518.24	c 1517s |      19 |   681327 |   499782 |    25925     41 |      745 |      582
1520.13/1520.66	c 1520s |      19 |   681875 |   500282 |    25925     41 |      745 |      582
1522.43/1522.99	c 1522s |      19 |   682427 |   500782 |    25925     41 |      745 |      582
1524.93/1525.44	c 1525s |      19 |   682974 |   501282 |    25925     41 |      745 |      582
1527.33/1527.88	c 1527s |      19 |   683516 |   501782 |    25925     41 |      745 |      582
1529.83/1530.30	c 1530s |      19 |   684062 |   502282 |    25925     41 |      745 |      582
1532.13/1532.68	c 1532s |      19 |   684648 |   502782 |    25925     41 |      745 |      582
1534.23/1534.74	c 1534s |      19 |   685090 |   503182 |    25925     41 |      745 |      582
1536.23/1536.76	c 1536s |      19 |   685505 |   503582 |    25925     41 |      745 |      582
1538.53/1539.03	c 1538s |      19 |   685928 |   503982 |    25925     41 |      745 |      582
1540.74/1541.25	c 1540s |      19 |   686358 |   504382 |    25925     41 |      745 |      582
1542.93/1543.45	c 1543s |      19 |   686800 |   504782 |    25925     41 |      745 |      582
1545.04/1545.51	c 1545s |      19 |   687240 |   505182 |    25925     41 |      745 |      582
1547.34/1547.81	c 1547s |      19 |   687780 |   505682 |    25925     41 |      745 |      582
1549.53/1550.07	c 1549s |      19 |   688318 |   506182 |    25925     41 |      745 |      582
1551.82/1552.33	c 1552s |      19 |   688866 |   506682 |    25925     41 |      745 |      582
1553.84/1554.35	c 1554s |      19 |   689309 |   507082 |    25925     41 |      745 |      582
1556.03/1556.58	c 1556s |      19 |   689854 |   507582 |    25925     41 |      745 |      582
1558.23/1558.76	c 1558s |      19 |   690446 |   508082 |    25925     42 |      745 |      582
1560.23/1560.79	c 1560s |      19 |   691004 |   508582 |    25925     42 |      745 |      582
1562.42/1562.99	c 1562s |      19 |   691658 |   509182 |    25925     42 |      745 |      582
1564.72/1565.26	c 1565s |      19 |   692190 |   509682 |    25925     42 |      745 |      582
1566.82/1567.37	c 1567s |      19 |   692739 |   510182 |    25925     42 |      745 |      582
1569.23/1569.78	c 1569s |      19 |   693270 |   510682 |    25925     42 |      745 |      582
1571.53/1572.01	c 1571s |      19 |   693813 |   511182 |    25925     42 |      745 |      582
1573.74/1574.25	c 1573s |      19 |   694502 |   511782 |    25925     42 |      745 |      582
1576.02/1576.60	c 1576s |      19 |   695308 |   512482 |    25925     42 |      745 |      582
1578.22/1578.74	c 1578s |      19 |   695976 |   513082 |    25925     42 |      745 |      582
1580.23/1580.79	c 1580s |      19 |   696520 |   513582 |    25925     42 |      745 |      582
1582.53/1583.01	c 1582s |      19 |   697174 |   514182 |    25925     42 |      745 |      582
1585.03/1585.51	c 1585s |      19 |   697797 |   514782 |    25925     42 |      745 |      582
1587.32/1587.83	c 1587s |      19 |   698448 |   515382 |    25925     42 |      745 |      582
1589.42/1589.90	c 1589s |      19 |   698974 |   515882 |    25925     42 |      745 |      582
1591.52/1592.06	c 1591s |      19 |   699655 |   516482 |    25925     42 |      745 |      582
1594.02/1594.51	c 1594s |      19 |   700308 |   517082 |    25925     42 |      745 |      582
1596.32/1596.81	c 1596s |      19 |   700964 |   517682 |    25925     42 |      745 |      582
1598.32/1598.84	c 1598s |      19 |   701488 |   518182 |    25925     42 |      745 |      582
1600.42/1600.98	c 1600s |      19 |   702026 |   518682 |    25925     42 |      745 |      582
1602.82/1603.33	c 1603s |      19 |   702570 |   519182 |    25925     42 |      745 |      582
1604.82/1605.36	c 1605s |      19 |   703008 |   519582 |    25925     42 |      745 |      582
1607.12/1607.61	c 1607s |      19 |   703446 |   519982 |    25925     42 |      745 |      582
1609.22/1609.73	c 1609s |      19 |   703880 |   520382 |    25925     42 |      745 |      582
1611.52/1612.01	c 1611s |      19 |   704315 |   520782 |    25925     42 |      745 |      582
1614.02/1614.57	c 1614s |      19 |   704868 |   521282 |    25925     42 |      745 |      582
1616.21/1616.71	c 1616s |      19 |   705307 |   521682 |    25925     42 |      745 |      582
1618.31/1618.82	c 1618s |      19 |   705903 |   522182 |    25925     42 |      745 |      582
1620.42/1620.92	c 1620s |      19 |   706329 |   522582 |    25925     43 |      745 |      582
1622.61/1623.18	c 1622s |      19 |   707076 |   523282 |    25925     43 |      745 |      582
1624.91/1625.41	c 1625s |      19 |   707838 |   523982 |    25925     43 |      745 |      582
1627.12/1627.64	c 1627s |      19 |   708473 |   524582 |    25925     43 |      745 |      582
1629.42/1629.98	c 1629s |      19 |   709132 |   525182 |    25925     43 |      745 |      582
1631.61/1632.20	c 1631s |      19 |   709774 |   525782 |    25925     43 |      745 |      582
1633.71/1634.25	c 1633s |      19 |   710406 |   526382 |    25925     43 |      745 |      582
1635.92/1636.43	c 1636s |      19 |   711028 |   526982 |    25925     43 |      745 |      582
1638.21/1638.78	c 1638s |      19 |   711672 |   527582 |    25925     43 |      745 |      582
1640.32/1640.88	c 1640s |      19 |   712233 |   528082 |    25925     43 |      745 |      582
1642.52/1643.02	c 1642s |      19 |   712899 |   528682 |    25925     43 |      745 |      582
1644.62/1645.16	c 1644s |      19 |   713466 |   529182 |    25925     43 |      745 |      582
1646.72/1647.25	c 1646s |      19 |   714008 |   529682 |    25925     43 |      745 |      582
1648.81/1649.35	c 1649s |      19 |   714548 |   530182 |    25925     43 |      745 |      582
1650.81/1651.39	c 1651s |      19 |   714967 |   530582 |    25925     43 |      745 |      582
1653.21/1653.77	c 1653s |      19 |   715547 |   531082 |    25925     43 |      745 |      582
1655.22/1655.79	c 1655s |      19 |   715999 |   531482 |    25925     43 |      745 |      582
1657.41/1657.98	c 1657s |      19 |   716565 |   531982 |    25925     43 |      745 |      582
1659.61/1660.17	c 1659s |      19 |   717125 |   532482 |    25925     43 |      745 |      582
1661.91/1662.44	c 1662s |      19 |   717652 |   532982 |    25925     43 |      745 |      582
1664.21/1664.70	c 1664s |      19 |   718196 |   533482 |    25925     43 |      745 |      582
1666.51/1667.07	c 1666s |      19 |   718730 |   533982 |    25925     43 |      745 |      582
1668.61/1669.12	c 1668s |      19 |   719248 |   534482 |    25925     43 |      745 |      582
1670.71/1671.23	c 1670s |      19 |   719674 |   534882 |    25925     43 |      745 |      582
1672.81/1673.30	c 1673s |      19 |   720108 |   535282 |    25925     43 |      745 |      582
1675.11/1675.61	c 1675s |      19 |   720666 |   535782 |    25925     43 |      745 |      582
1677.41/1677.96	c 1677s |      19 |   721195 |   536282 |    25925     43 |      745 |      582
1679.41/1679.97	c 1679s |      19 |   721622 |   536682 |    25925     43 |      745 |      582
1681.52/1682.00	c 1681s |      19 |   722082 |   537082 |    25925     44 |      745 |      582
1683.61/1684.20	c 1683s |      19 |   722752 |   537682 |    25925     44 |      745 |      582
1685.91/1686.47	c 1686s |      19 |   723391 |   538282 |    25925     44 |      745 |      582
1688.01/1688.59	c 1688s |      19 |   724048 |   538882 |    25925     44 |      745 |      582
1690.41/1690.97	c 1690s |      19 |   724714 |   539482 |    25925     44 |      745 |      582
1692.51/1693.02	c 1692s |      19 |   725256 |   539982 |    25925     44 |      745 |      582
1694.50/1695.05	c 1694s |      19 |   725812 |   540482 |    25925     44 |      745 |      582
1696.81/1697.39	c 1697s |      19 |   726469 |   541082 |    25925     44 |      745 |      582
1699.21/1699.75	c 1699s |      19 |   726996 |   541582 |    25925     44 |      745 |      582
1701.40/1701.99	c 1701s |      19 |   727534 |   542082 |    25925     44 |      745 |      582
1703.81/1704.31	c 1704s |      19 |   728065 |   542582 |    25925     44 |      745 |      582
1706.11/1706.64	c 1706s |      19 |   728588 |   543082 |    25925     44 |      745 |      582
1708.20/1708.79	c 1708s |      19 |   729012 |   543482 |    25925     44 |      745 |      582
1710.70/1711.25	c 1710s |      19 |   729546 |   543982 |    25925     44 |      745 |      582
1713.20/1713.71	c 1713s |      19 |   730081 |   544482 |    25925     44 |      745 |      582
1715.61/1716.15	c 1715s |      19 |   730631 |   544982 |    25925     44 |      745 |      582
1717.90/1718.40	c 1718s |      19 |   731161 |   545482 |    25925     44 |      745 |      582
1720.10/1720.69	c 1720s |      19 |   731697 |   545982 |    25925     44 |      745 |      582
1722.60/1723.18	c 1722s |      19 |   732236 |   546482 |    25925     44 |      745 |      582
1725.10/1725.66	c 1725s |      19 |   732760 |   546982 |    25925     44 |      745 |      582
1727.50/1728.00	c 1727s |      19 |   733291 |   547482 |    25925     44 |      745 |      582
1729.50/1730.07	c 1729s |      19 |   733715 |   547882 |    25925     44 |      745 |      582
1731.80/1732.32	c 1732s |      19 |   734269 |   548382 |    25925     44 |      745 |      582
1733.90/1734.48	c 1734s |      19 |   734819 |   548882 |    25925     44 |      745 |      582
1736.00/1736.55	c 1736s |      19 |   735267 |   549282 |    25925     44 |      745 |      582
1738.00/1738.57	c 1738s |      19 |   735694 |   549682 |    25925     44 |      745 |      582
1740.10/1740.68	c 1740s |      19 |   736141 |   550082 |    25925     44 |      745 |      582
1742.59/1743.14	c 1742s |      19 |   736667 |   550582 |    25925     44 |      745 |      582
1745.10/1745.62	c 1745s |      19 |   737222 |   551082 |    25925     44 |      745 |      582
1747.20/1747.77	c 1747s |      19 |   737554 |   551382 |    25925     45 |      745 |      582
1749.30/1749.83	c 1749s |      19 |   738184 |   551982 |    25925     45 |      745 |      582
1751.60/1752.10	c 1751s |      19 |   738851 |   552582 |    25925     45 |      745 |      582
1753.80/1754.31	c 1754s |      19 |   739395 |   553082 |    25925     45 |      745 |      582
1756.00/1756.51	c 1756s |      19 |   739940 |   553582 |    25925     45 |      745 |      582
1758.00/1758.54	c 1758s |      19 |   740375 |   553982 |    25925     45 |      745 |      582
1760.29/1760.80	c 1760s |      19 |   741051 |   554582 |    25925     45 |      745 |      582
1762.39/1762.93	c 1762s |      19 |   741600 |   555082 |    25925     45 |      745 |      582
1764.59/1765.18	c 1764s |      19 |   742142 |   555582 |    25925     45 |      745 |      582
1766.70/1767.25	c 1766s |      19 |   742671 |   556082 |    25925     45 |      745 |      582
1768.90/1769.48	c 1769s |      19 |   743218 |   556582 |    25925     45 |      745 |      582
1771.29/1771.85	c 1771s |      19 |   743777 |   557082 |    25925     45 |      745 |      582
1773.69/1774.28	c 1774s |      19 |   744321 |   557582 |    25925     45 |      745 |      582
1775.79/1776.34	c 1776s |      19 |   744851 |   558082 |    25925     45 |      745 |      582
1777.99/1778.51	c 1778s |      19 |   745392 |   558582 |    25925     45 |      745 |      582
1779.99/1780.58	c 1780s |      19 |   745795 |   558982 |    25925     45 |      745 |      582
1782.09/1782.68	c 1782s |      19 |   746211 |   559382 |    25925     45 |      745 |      582
1784.20/1784.77	c 1784s |      19 |   746650 |   559782 |    25925     45 |      745 |      582
1786.29/1786.81	c 1786s |      19 |   747092 |   560182 |    25925     45 |      745 |      582
1788.59/1789.19	c 1788s |      19 |   747648 |   560682 |    25925     45 |      745 |      582
1790.99/1791.55	c 1791s |      19 |   748158 |   561182 |    25925     45 |      745 |      582
1793.29/1793.89	c 1793s |      19 |   748692 |   561682 |    25925     45 |      745 |      582
1795.80/1796.38	c 1796s |      19 |   749222 |   562182 |    25925     45 |      745 |      582
1798.29/1798.88	c 1798s |      19 |   749776 |   562682 |    25925     45 |      745 |      582

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4116733-1466964914/watcher-4116733-1466964914 -o /tmp/evaluation-result-4116733-1466964914/solver-4116733-1466964914 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466961311-22991 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116733-1466964914.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.24 2.27 3/179 23331
/proc/meminfo: memFree=29255592/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=541116 CPUtime=0 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 1986 0 0 0 0 0 0 0 20 0 4 0 29530080 554102784 2858 33554432000 4194304 16246674 140735815173664 140735815173088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 136047 2867 441 2943 0 132941 0
[pid=23331/tid=23332] ppid=23328 vsize=557500 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 570880000 2923 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=561596 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 575074304 2939 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=566716 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 580317184 2956 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100231 s]
/proc/loadavg: 2.25 2.24 2.27 3/179 23331
/proc/meminfo: memFree=29255592/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 28274 0 0 0 5 4 0 0 20 0 4 0 29530080 1249447936 29084 33554432000 4194304 16246674 140735815173664 140735815172976 4206666 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 305041 29084 801 2943 0 301935 0
[pid=23331/tid=23332] ppid=23328 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1249447936 29084 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1249447936 29084 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1249447936 29084 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200536 s]
/proc/loadavg: 2.25 2.24 2.27 3/179 23331
/proc/meminfo: memFree=29255592/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 48481 0 0 0 12 7 0 0 20 0 4 0 29530080 1332285440 49291 33554432000 4194304 16246674 140735815173664 140735815172976 12367810 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 325265 49291 842 2943 0 322159 0
[pid=23331/tid=23332] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 49291 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 49291 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 49291 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300495 s]
/proc/loadavg: 2.25 2.24 2.27 3/179 23331
/proc/meminfo: memFree=29255592/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 50557 0 0 0 22 7 0 0 20 0 4 0 29530080 1332285440 51367 33554432000 4194304 16246674 140735815173664 140735815172976 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 325265 51374 882 2943 0 322159 0
[pid=23331/tid=23332] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 51384 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 51389 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 51393 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700394 s]
/proc/loadavg: 2.25 2.24 2.27 3/179 23331
/proc/meminfo: memFree=29255592/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 100284 0 0 0 55 14 0 0 20 0 4 0 29530080 1332285440 101094 33554432000 4194304 16246674 140735815173664 140735815172976 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 325265 101099 882 2943 0 322159 0
[pid=23331/tid=23332] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 101103 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 101106 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 101108 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.25 2.24 2.27 3/183 23335
/proc/meminfo: memFree=28652412/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 203414 0 0 0 121 28 0 0 20 0 4 0 29530080 1332285440 204224 33554432000 4194304 16246674 140735815173664 140735815155584 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 325265 204228 882 2943 0 322159 0
[pid=23331/tid=23332] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 204233 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 204238 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1332285440 204240 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.25 2.24 2.27 3/183 23335
/proc/meminfo: memFree=28304724/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 237252 0 0 0 277 32 0 0 20 0 4 0 29530080 1343819776 238062 33554432000 4194304 16246674 140735815173664 140735815155584 5532121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 328081 238062 889 2943 0 324975 0
[pid=23331/tid=23332] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 238062 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 238062 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 238062 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30038 s]
/proc/loadavg: 2.23 2.23 2.27 3/183 23335
/proc/meminfo: memFree=28176160/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 269266 0 0 0 592 37 0 0 20 0 4 0 29530080 1343819776 270076 33554432000 4194304 16246674 140735815173664 140735815155584 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 328081 270076 889 2943 0 324975 0
[pid=23331/tid=23332] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270076 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270076 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270076 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.22 2.23 2.26 3/183 23335
/proc/meminfo: memFree=28176548/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 269267 0 0 0 1232 37 0 0 20 0 4 0 29530080 1343819776 270077 33554432000 4194304 16246674 140735815173664 140735815155584 5829939 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 328081 270077 889 2943 0 324975 0
[pid=23331/tid=23332] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270077 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270077 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270077 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.25 2.23 2.27 4/183 23335
/proc/meminfo: memFree=28177004/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 269270 0 0 0 2511 38 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140735815155584 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 328081 270080 892 2943 0 324975 0
[pid=23331/tid=23332] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.16 2.21 2.26 3/183 23335
/proc/meminfo: memFree=28176164/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 269270 0 0 0 5067 41 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140735815155584 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 328081 270080 892 2943 0 324975 0
[pid=23331/tid=23332] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1343819776 270080 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.22 2.22 2.26 3/183 23336
/proc/meminfo: memFree=28172300/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 270223 0 0 0 10181 47 0 0 20 0 4 0 29530080 1348014080 271033 33554432000 4194304 16246674 140735815173664 140735815155584 5724508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 329105 271033 892 2943 0 325999 0
[pid=23331/tid=23332] ppid=23328 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1348014080 271033 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1348014080 271033 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1348014080 271033 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1359548416 273923 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 1.29 1.74 2.01 3/173 23397
/proc/meminfo: memFree=29269204/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1327684 CPUtime=1301.91 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 273408 0 0 0 129039 1152 0 0 20 0 4 0 29530080 1359548416 273923 33554432000 4194304 16246674 140735815173664 140735815155584 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 331921 273923 892 2943 0 328815 0
[pid=23331/tid=23332] ppid=23328 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1359548416 273923 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1359548416 273923 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1359548416 273923 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 1.36 1.68 1.97 2/173 23398
/proc/meminfo: memFree=29263416/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1361.88 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 274875 0 0 0 134619 1569 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140735815155584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275344 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 1.36 1.61 1.93 2/173 23399
/proc/meminfo: memFree=29263240/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1421.86 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 274899 0 0 0 140293 1893 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140735815155584 5711245 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275344 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275344 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 1.32 1.56 1.89 2/173 23401
/proc/meminfo: memFree=29262748/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1481.84 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 146126 2058 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 1.16 1.47 1.84 2/174 23405
/proc/meminfo: memFree=29262952/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1541.84 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 151932 2252 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 1.23 1.43 1.80 3/173 23406
/proc/meminfo: memFree=29262848/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1601.82 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 157836 2346 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 6020936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 1.26 1.39 1.76 2/173 23407
/proc/meminfo: memFree=29263104/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1661.81 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 163742 2439 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 1.18 1.35 1.72 2/173 23408
/proc/meminfo: memFree=29262988/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1721.8 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 169635 2545 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 1.31 1.35 1.69 2/173 23410
/proc/meminfo: memFree=29262992/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1781.79 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 175538 2641 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.29 1.34 1.68 2/173 23410
/proc/meminfo: memFree=29262880/32872528 swapFree=1541156/1696500
[pid=23331] ppid=23328 vsize=1333828 CPUtime=1800.09 cores=1,3,5,7
/proc/23331/stat : 23331 (toysat) R 23328 23331 19474 0 -1 4202496 275014 0 0 0 177314 2695 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140735815155584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23331/statm: 333457 275459 892 2943 0 330351 0
[pid=23331/tid=23332] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23332/stat : 23332 (toysat) S 23328 23331 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279898156272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=23331/tid=23333] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23333/stat : 23333 (toysat) S 23328 23331 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279887666416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=23331/tid=23334] ppid=23328 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/23331/task/23334/stat : 23334 (toysat) S 23328 23331 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29530080 1365839872 275459 33554432000 4194304 16246674 140735815173664 140279805897904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1773.15
CPU system time (s): 26.9539
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.15
system time used= 26.9539
maximum resident set size= 1101836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275014
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= 382
involuntary context switches= 2016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79227 second user time and 7.12792 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 20:15:14
IDJOB=4116733
IDBENCH=109507
IDSOLVER=2542
FILE ID=node125/4116733-1466964914
RUNJOBID= node125-1466961311-22991
PBS_JOBID= 19976354
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= e8a738cf7590f85f00990ec3208c8753
RANDOM SEED=1610390809

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29256236 kB
Buffers:           29404 kB
Cached:            93320 kB
SwapCached:         1736 kB
Active:          1168744 kB
Inactive:          47996 kB
Active(anon):    1095996 kB
Inactive(anon):      448 kB
Active(file):      72748 kB
Inactive(file):    47548 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             16684 kB
Writeback:            24 kB
AnonPages:       2789968 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             567504 kB
SReclaimable:      11132 kB
SUnreclaim:       556372 kB
KernelStack:        1456 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2933836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71724 MiB
End job on node125 at 2016-06-26 20:45:15