Trace number 4116013

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-6.opb
MD5SUMe47660c9bcfbe80f9ef1db1b64cb3151
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
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-26T17:00:44+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-4116013-1466953244.opb"]
0.00/0.01	c use --random-gen="2662923059 2842125421 550994516 3327174768 2532637349 416379731 1636716671 3438970966 3148148677 2517117026 2905429835 1323355836 152162266 2466485757 1462466367 2959839898 1022853620 2337546053 1784497985 305447763 3487554903 735151251 1262681551 1202938645 3788839085 789541016 4015140737 3559093956 2794083748 1578291636 3668099443 3257906241 1653897034 1371750175 1415965487 1617759920 1360156234 2549617450 3605147485 3665418940 386702497 2735842106 1767910269 3226553220 213995063 2513940467 1031946481 4254830764 2486400206 2717858528 3985861491 3661256022 1972791410 3825634788 3216379357 3548441952 3616380295 1619327036 887061156 328526810 2484347390 2397620618 1863281798 3765606015 404553377 3954226089 1371683396 3561292037 2966968503 2037647731 2759604797 2793615353 1056635777 2368071920 1121357962 3840434930 1597746264 2509133281 3873727806 1652770779 3109792348 394534698 2610027077 3369506173 3479460811 3714711711 839278631 2952573497 613950045 1682996341 1228427700 841130710 591198437 2978996829 2954986384 2126214857 2429819377 299251159 3483963652 4007326655 84012957 522760168 575118627 2102186787 563808059 4034789836 2912681402 579845399 2475488435 3775543340 2388338281 2075543161 3647292624 2705628061 729562730 700002819 1659821688 3341301322 1281021933 1365390282 3313615964 3089671675 3553219280 3904643266 109117585 311079754 2109654172 987295964 3235904825 3309237405 1642894801 1951863793 1267247565 1234034183 2384999635 3759292162 1614603199 1105689311 3426014153 1117390591 3596972284 3078990401 637803206 1381373192 4162292101 2689774221 3176586399 1954021462 436372177 3749314501 2886161816 2517301182 3888146159 173663539 2041642558 1984657761 729365513 1211816809 2555065565 2454116469 283360557 3673090830 2482648171 1994123794 3004859466 2569289937 45801780 3179403532 483921123 1922861109 3517043089 2718898772 1667546475 1116452534 3747712962 262452607 542475490 581331935 153695663 452981212 2405400299 149544112 34148917 3930806604 3344503272 3911483786 3962466825 517474963 1899223183 2108305785 2383430317 1732297207 1966424710 1826141445 2595618292 3465469405 388139416 886410605 3564575696 2787183032 3171307 562271570 2247115636 960384481 212235587 1747141608 1365721191 1112503494 473496615 951808938 156095998 1347680210 183959942 2127729653 3206559335 35980426 3707999978 3793031720 1514733600 3134120427 20962978 1937117089 2449492767 1434589559 151078314 2433495714 3120336511 3263941699 921172161 3474234225 2034921236 793749231 188778706 3769552241 738955908 3786843005 1032475160 3065894120 1156876022 1665528619 1930939915 2628234342 378979407 1618078898 2952867722 52346075 2643254396 2494459644 2696778346 2862818051 567792070 2140990510 852980829 2280575318 934917021 1817116722 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      616 |        0
0.29/0.34	c  0.1s |       1 |     1023 |      100 |     4234      0 |      618 |      316
0.39/0.42	c  0.2s |       2 |     1912 |      250 |     4658      0 |      618 |      316
0.49/0.56	c  0.3s |       3 |     4147 |      475 |     5124      0 |      618 |      316
0.89/0.95	c  0.7s |       4 |     5535 |      813 |     5637      0 |      618 |      316
1.29/1.30	c  1.0s |       5 |    10574 |     1320 |     6201      0 |      618 |      316
2.09/2.20	c  1.9s |       6 |    12262 |     2081 |     7505      0 |      618 |      316
2.89/2.95	c  2.7s |       7 |    18609 |     3223 |     8256      0 |      618 |      316
4.29/4.38	c  4.1s |       8 |    26584 |     4936 |     9082      0 |      618 |      316
6.49/6.50	c  6.2s |       8 |    34745 |     7136 |     9082      0 |      618 |      316
6.89/6.90	c  6.7s |       9 |    35268 |     7506 |     9991      0 |      618 |      316
9.09/9.18	c  8.9s |       9 |    40683 |     9406 |     9991      0 |      618 |      316
11.19/11.29	c 11.0s |       9 |    42323 |    10306 |     9991      0 |      618 |      316
12.59/12.68	c 12.4s |      10 |    45654 |    11361 |    10991      0 |      618 |      316
14.79/14.83	c 14.6s |      10 |    48585 |    12861 |    10991      0 |      618 |      316
16.99/17.00	c 16.7s |      10 |    50257 |    14261 |    10991      0 |      618 |      316
19.09/19.12	c 18.9s |      10 |    51668 |    15461 |    10991      1 |      618 |      316
21.19/21.26	c 21.0s |      10 |    53182 |    16761 |    10991      1 |      618 |      316
21.89/21.91	c 21.7s |      11 |    53596 |    17144 |    12091      1 |      618 |      316
23.98/24.01	c 23.8s |      11 |    61602 |    19144 |    12091      1 |      618 |      316
25.98/26.06	c 25.8s |      11 |    62952 |    20244 |    12091      1 |      618 |      316
28.08/28.13	c 27.9s |      11 |    64233 |    21344 |    12091      1 |      618 |      316
30.08/30.18	c 29.9s |      11 |    65563 |    22444 |    12091      1 |      618 |      316
32.18/32.29	c 32.0s |      11 |    66742 |    23444 |    12091      2 |      618 |      316
34.38/34.49	c 34.2s |      11 |    67832 |    24444 |    12091      2 |      618 |      316
36.58/36.68	c 36.4s |      11 |    68843 |    25344 |    12091      2 |      618 |      316
37.68/37.70	c 37.5s |      12 |    69394 |    25819 |    13301      2 |      618 |      316
39.78/39.81	c 39.6s |      12 |    75581 |    27719 |    13301      2 |      618 |      316
41.89/41.94	c 41.7s |      12 |    83016 |    29919 |    13301      2 |      618 |      316
44.18/44.24	c 44.0s |      12 |    84645 |    31419 |    13301      3 |      618 |      316
46.29/46.34	c 46.1s |      12 |    86176 |    32819 |    13301      3 |      618 |      316
48.39/48.45	c 48.2s |      12 |    87447 |    34019 |    13301      3 |      618 |      316
50.48/50.56	c 50.3s |      12 |    88501 |    35019 |    13301      3 |      618 |      316
52.58/52.66	c 52.4s |      12 |    89568 |    36019 |    13301      3 |      618 |      316
54.78/54.84	c 54.6s |      12 |    90642 |    37019 |    13301      3 |      618 |      316
56.78/56.89	c 56.6s |      12 |    91644 |    37919 |    13301      3 |      618 |      316
58.78/58.87	c 58.6s |      13 |    92686 |    38832 |    14632      3 |      618 |      316
60.88/60.96	c 60.7s |      13 |   100204 |    40632 |    14632      4 |      618 |      316
62.88/62.99	c 62.7s |      13 |   101965 |    42032 |    14632      4 |      618 |      316
64.98/65.09	c 64.8s |      13 |   103512 |    43332 |    14632      4 |      618 |      316
67.18/67.29	c 67.0s |      13 |   104995 |    44532 |    14632      4 |      618 |      316
69.17/69.30	c 69.1s |      13 |   106265 |    45532 |    14632      4 |      618 |      316
71.48/71.53	c 71.3s |      13 |   107562 |    46632 |    14632      4 |      618 |      316
73.57/73.67	c 73.4s |      13 |   110977 |    48232 |    14632      4 |      618 |      316
75.57/75.69	c 75.4s |      13 |   112750 |    49432 |    14632      5 |      618 |      316
77.77/77.89	c 77.6s |      13 |   114138 |    50632 |    14632      5 |      618 |      316
79.87/79.95	c 79.7s |      13 |   115567 |    51832 |    14632      5 |      618 |      316
82.07/82.11	c 81.9s |      13 |   116879 |    52932 |    14632      5 |      618 |      316
84.07/84.14	c 83.9s |      13 |   117977 |    53832 |    14632      5 |      618 |      316
86.27/86.39	c 86.1s |      13 |   119164 |    54832 |    14632      5 |      618 |      316
88.47/88.52	c 88.3s |      13 |   120483 |    55832 |    14632      5 |      618 |      316
90.57/90.61	c 90.4s |      13 |   121552 |    56732 |    14632      5 |      618 |      316
92.78/92.84	c 92.6s |      13 |   122367 |    57432 |    14632      5 |      618 |      316
94.98/95.04	c 94.8s |      13 |   123049 |    58032 |    16096      6 |      618 |      316
95.98/96.05	c 95.8s |      14 |   123405 |    58352 |    16096      6 |      618 |      316
98.07/98.18	c 97.9s |      14 |   128252 |    60152 |    16096      6 |      618 |      316
100.18/100.27	c  100s |      14 |   130231 |    61552 |    16096      6 |      618 |      316
102.38/102.41	c  102s |      14 |   132062 |    63052 |    16096      6 |      618 |      316
104.48/104.54	c  104s |      14 |   133672 |    64352 |    16096      6 |      618 |      316
106.47/106.55	c  106s |      14 |   135030 |    65452 |    16096      6 |      618 |      316
108.57/108.67	c  108s |      14 |   136111 |    66352 |    16096      6 |      618 |      316
110.77/110.89	c  110s |      14 |   137181 |    67252 |    16096      6 |      618 |      316
113.27/113.40	c  113s |      14 |   138090 |    68052 |    16096      7 |      618 |      316
115.47/115.54	c  115s |      14 |   138988 |    68852 |    16096      7 |      618 |      316
117.57/117.68	c  117s |      14 |   140042 |    69752 |    16096      7 |      618 |      316
119.66/119.74	c  119s |      14 |   140974 |    70552 |    16096      7 |      618 |      316
121.66/121.75	c  121s |      14 |   141881 |    71352 |    16096      7 |      618 |      316
123.76/123.82	c  123s |      14 |   142826 |    72152 |    16096      7 |      618 |      316
125.86/125.91	c  125s |      14 |   143752 |    72952 |    16096      7 |      618 |      316
127.96/128.09	c  127s |      14 |   144728 |    73752 |    16096      7 |      618 |      316
130.26/130.30	c  130s |      14 |   145624 |    74552 |    16096      7 |      618 |      316
132.36/132.49	c  132s |      14 |   146478 |    75252 |    16096      7 |      618 |      316
134.46/134.56	c  134s |      14 |   147270 |    75952 |    16096      7 |      618 |      316
136.56/136.60	c  136s |      14 |   147929 |    76552 |    16096      7 |      618 |      316
138.56/138.65	c  138s |      14 |   148880 |    77252 |    16096      7 |      618 |      316
140.76/140.81	c  140s |      14 |   149724 |    77952 |    16096      8 |      618 |      316
142.86/142.92	c  142s |      14 |   151171 |    79052 |    16096      8 |      618 |      316
144.86/144.95	c  144s |      14 |   152198 |    79952 |    16096      8 |      618 |      316
147.16/147.21	c  146s |      14 |   153269 |    80852 |    16096      8 |      618 |      316
149.16/149.29	c  149s |      14 |   154383 |    81752 |    16096      8 |      618 |      316
151.36/151.40	c  151s |      14 |   155234 |    82452 |    16096      8 |      618 |      316
153.46/153.51	c  153s |      14 |   156160 |    83252 |    16096      8 |      618 |      316
155.65/155.73	c  155s |      14 |   157114 |    84052 |    16096      8 |      618 |      316
157.75/157.87	c  157s |      14 |   158092 |    84852 |    16096      8 |      618 |      316
159.75/159.87	c  159s |      14 |   158932 |    85552 |    16096      8 |      618 |      316
161.85/161.96	c  161s |      14 |   159590 |    86152 |    16096      8 |      618 |      316
164.05/164.15	c  163s |      14 |   160387 |    86852 |    16096      8 |      618 |      316
166.16/166.24	c  165s |      14 |   161051 |    87452 |    17706      8 |      618 |      316
166.75/166.89	c  166s |      15 |   161248 |    87632 |    17706      8 |      618 |      316
168.85/168.91	c  168s |      15 |   165164 |    89032 |    17706      9 |      618 |      316
170.95/171.00	c  170s |      15 |   167947 |    90832 |    17706      9 |      618 |      316
172.95/173.03	c  172s |      15 |   169369 |    92032 |    17706      9 |      618 |      316
174.96/175.04	c  174s |      15 |   170598 |    93132 |    17706      9 |      618 |      316
177.06/177.20	c  176s |      15 |   171851 |    94232 |    17706      9 |      618 |      316
179.15/179.28	c  179s |      15 |   173878 |    95532 |    17706      9 |      618 |      316
181.25/181.38	c  181s |      15 |   175533 |    96732 |    17706      9 |      618 |      316
183.45/183.51	c  183s |      15 |   182652 |    98732 |    17706     10 |      618 |      316
185.55/185.61	c  185s |      15 |   184445 |   100132 |    17706     10 |      618 |      316
187.65/187.77	c  187s |      15 |   186000 |   101432 |    17706     10 |      618 |      316
189.65/189.79	c  189s |      15 |   187385 |   102632 |    17706     10 |      618 |      316
191.75/191.81	c  191s |      15 |   188575 |   103632 |    17706     10 |      618 |      316
193.85/193.95	c  193s |      15 |   189789 |   104632 |    17706     10 |      618 |      316
196.05/196.13	c  195s |      15 |   190961 |   105632 |    17706     10 |      618 |      316
198.15/198.22	c  197s |      15 |   191864 |   106432 |    17706     10 |      618 |      316
200.16/200.25	c  200s |      15 |   192764 |   107232 |    17706     10 |      618 |      316
202.36/202.48	c  202s |      15 |   193664 |   108032 |    17706     10 |      618 |      316
204.45/204.52	c  204s |      15 |   194476 |   108732 |    17706     11 |      618 |      316
206.55/206.69	c  206s |      15 |   195388 |   109532 |    17706     11 |      618 |      316
208.85/208.95	c  208s |      15 |   196382 |   110432 |    17706     11 |      618 |      316
211.05/211.17	c  210s |      15 |   197383 |   111332 |    17706     11 |      618 |      316
213.35/213.43	c  213s |      15 |   198256 |   112132 |    17706     11 |      618 |      316
215.44/215.59	c  215s |      15 |   199028 |   112832 |    17706     11 |      618 |      316
217.54/217.68	c  217s |      15 |   199796 |   113532 |    17706     11 |      618 |      316
219.74/219.87	c  219s |      15 |   200557 |   114232 |    17706     11 |      618 |      316
221.94/222.02	c  221s |      15 |   201317 |   114932 |    17706     11 |      618 |      316
224.14/224.26	c  224s |      15 |   202201 |   115732 |    17706     11 |      618 |      316
226.24/226.38	c  226s |      15 |   202968 |   116432 |    17706     11 |      618 |      316
228.34/228.40	c  228s |      15 |   203715 |   117132 |    17706     11 |      618 |      316
230.44/230.52	c  230s |      15 |   204484 |   117832 |    17706     11 |      618 |      316
232.74/232.81	c  232s |      15 |   205233 |   118532 |    17706     11 |      618 |      316
234.84/234.97	c  234s |      15 |   205895 |   119132 |    17706     12 |      618 |      316
237.04/237.13	c  236s |      15 |   207048 |   120132 |    17706     12 |      618 |      316
239.14/239.25	c  239s |      15 |   208079 |   121032 |    17706     12 |      618 |      316
241.14/241.29	c  241s |      15 |   208951 |   121832 |    17706     12 |      618 |      316
243.24/243.35	c  243s |      15 |   209856 |   122632 |    17706     12 |      618 |      316
245.34/245.48	c  245s |      15 |   210759 |   123432 |    17706     12 |      618 |      316
247.63/247.71	c  247s |      15 |   211762 |   124332 |    17706     12 |      618 |      316
249.64/249.77	c  249s |      15 |   212661 |   125132 |    17706     12 |      618 |      316
251.94/252.04	c  251s |      15 |   213415 |   125832 |    17706     12 |      618 |      316
254.23/254.31	c  254s |      15 |   214174 |   126532 |    17706     12 |      618 |      316
256.24/256.36	c  256s |      15 |   214845 |   127132 |    17706     12 |      618 |      316
258.23/258.36	c  258s |      15 |   215497 |   127732 |    17706     12 |      618 |      316
260.43/260.54	c  260s |      15 |   216151 |   128332 |    17706     12 |      618 |      316
262.53/262.66	c  262s |      15 |   216804 |   128932 |    17706     12 |      618 |      316
264.74/264.83	c  264s |      15 |   217452 |   129532 |    17706     12 |      618 |      316
266.74/266.88	c  266s |      15 |   218125 |   130132 |    17706     13 |      618 |      316
268.94/269.04	c  268s |      15 |   219019 |   130932 |    19477     13 |      618 |      316
270.64/270.76	c  270s |      16 |   219681 |   131552 |    19477     13 |      618 |      316
272.74/272.86	c  272s |      16 |   230969 |   133952 |    19477     13 |      618 |      316
274.83/274.94	c  274s |      16 |   239826 |   136452 |    19477     13 |      618 |      316
276.93/277.03	c  276s |      16 |   242405 |   138252 |    19477     13 |      618 |      316
278.93/279.08	c  278s |      16 |   243858 |   139552 |    19477     13 |      618 |      316
281.03/281.13	c  280s |      16 |   245318 |   140752 |    19477     13 |      618 |      316
283.53/283.60	c  283s |      16 |   246790 |   141952 |    19477     14 |      618 |      316
285.63/285.76	c  285s |      16 |   248282 |   143152 |    19477     14 |      618 |      316
287.73/287.88	c  287s |      16 |   249607 |   144252 |    19477     14 |      618 |      316
289.83/289.91	c  289s |      16 |   251508 |   145552 |    19477     14 |      618 |      316
292.03/292.14	c  291s |      16 |   252939 |   146652 |    19477     14 |      618 |      316
294.23/294.35	c  294s |      16 |   254028 |   147552 |    19477     14 |      618 |      316
296.42/296.50	c  296s |      16 |   255255 |   148452 |    19477     14 |      618 |      316
298.42/298.51	c  298s |      16 |   256528 |   149452 |    19477     14 |      618 |      316
300.62/300.75	c  300s |      16 |   257731 |   150452 |    19477     14 |      618 |      316
302.72/302.83	c  302s |      16 |   258819 |   151352 |    19477     14 |      618 |      316
304.81/304.90	c  304s |      16 |   259988 |   152252 |    19477     14 |      618 |      316
306.82/307.00	c  306s |      16 |   261012 |   153052 |    19477     14 |      618 |      316
309.02/309.20	c  308s |      16 |   261804 |   153752 |    19477     15 |      618 |      316
311.22/311.34	c  311s |      16 |   262833 |   154652 |    19477     15 |      618 |      316
313.31/313.47	c  313s |      16 |   263737 |   155452 |    19477     15 |      618 |      316
315.41/315.51	c  315s |      16 |   264541 |   156152 |    19477     15 |      618 |      316
317.41/317.57	c  317s |      16 |   269667 |   157852 |    19477     15 |      618 |      316
319.51/319.62	c  319s |      16 |   270905 |   158852 |    19477     15 |      618 |      316
321.51/321.68	c  321s |      16 |   272520 |   160052 |    19477     15 |      618 |      316
323.71/323.85	c  323s |      16 |   273538 |   160952 |    19477     15 |      618 |      316
326.01/326.13	c  325s |      16 |   274537 |   161852 |    19477     15 |      618 |      316
328.01/328.15	c  327s |      16 |   275875 |   162652 |    19477     15 |      618 |      316
330.01/330.18	c  329s |      16 |   277847 |   163952 |    19477     15 |      618 |      316
332.21/332.31	c  332s |      16 |   279124 |   164952 |    19477     16 |      618 |      316
334.21/334.40	c  334s |      16 |   280486 |   166052 |    19477     16 |      618 |      316
336.41/336.56	c  336s |      16 |   282253 |   167352 |    19477     16 |      618 |      316
338.51/338.66	c  338s |      16 |   283432 |   168352 |    19477     16 |      618 |      316
340.61/340.72	c  340s |      16 |   284507 |   169252 |    19477     16 |      618 |      316
342.71/342.89	c  342s |      16 |   285565 |   170152 |    19477     16 |      618 |      316
344.91/345.06	c  344s |      16 |   286648 |   171052 |    19477     16 |      618 |      316
347.11/347.22	c  346s |      16 |   287723 |   171952 |    19477     16 |      618 |      316
349.20/349.34	c  349s |      16 |   288503 |   172652 |    19477     16 |      618 |      316
351.40/351.58	c  351s |      16 |   289432 |   173452 |    19477     16 |      618 |      316
353.70/353.88	c  353s |      16 |   290384 |   174252 |    19477     16 |      618 |      316
355.80/355.90	c  355s |      16 |   293127 |   175352 |    19477     16 |      618 |      316
357.80/357.98	c  357s |      16 |   294559 |   176352 |    19477     17 |      618 |      316
360.00/360.10	c  359s |      16 |   295975 |   177452 |    19477     17 |      618 |      316
362.00/362.18	c  361s |      16 |   297302 |   178452 |    19477     17 |      618 |      316
364.20/364.33	c  364s |      16 |   298691 |   179552 |    19477     17 |      618 |      316
366.30/366.48	c  366s |      16 |   299887 |   180552 |    19477     17 |      618 |      316
368.40/368.51	c  368s |      16 |   300977 |   181452 |    19477     17 |      618 |      316
370.50/370.68	c  370s |      16 |   302146 |   182452 |    19477     17 |      618 |      316
372.60/372.79	c  372s |      16 |   303132 |   183252 |    19477     17 |      618 |      316
374.89/375.02	c  374s |      16 |   304021 |   184052 |    19477     17 |      618 |      316
376.89/377.09	c  376s |      16 |   304811 |   184752 |    19477     17 |      618 |      316
379.09/379.28	c  379s |      16 |   305693 |   185552 |    19477     17 |      618 |      316
381.19/381.38	c  381s |      16 |   306497 |   186252 |    19477     17 |      618 |      316
383.39/383.56	c  383s |      16 |   307297 |   186952 |    19477     17 |      618 |      316
385.59/385.79	c  385s |      16 |   308115 |   187652 |    19477     18 |      618 |      316
387.89/388.02	c  387s |      16 |   309024 |   188452 |    19477     18 |      618 |      316
389.89/390.04	c  389s |      16 |   309886 |   189152 |    19477     18 |      618 |      316
392.09/392.24	c  391s |      16 |   310820 |   189952 |    19477     18 |      618 |      316
394.29/394.43	c  394s |      16 |   311620 |   190652 |    19477     18 |      618 |      316
396.28/396.47	c  396s |      16 |   312294 |   191252 |    19477     18 |      618 |      316
398.48/398.69	c  398s |      16 |   313102 |   191952 |    19477     18 |      618 |      316
400.78/400.92	c  400s |      16 |   314059 |   192752 |    19477     18 |      618 |      316
402.98/403.10	c  402s |      16 |   314886 |   193452 |    19477     18 |      618 |      316
405.18/405.37	c  405s |      16 |   315700 |   194152 |    19477     18 |      618 |      316
407.48/407.65	c  407s |      16 |   316510 |   194852 |    19477     18 |      618 |      316
409.78/409.99	c  409s |      16 |   317317 |   195552 |    19477     18 |      618 |      316
412.18/412.33	c  412s |      16 |   318007 |   196152 |    21425     18 |      618 |      316
414.38/414.59	c  414s |      16 |   318679 |   196752 |    21425     18 |      618 |      316
416.68/416.81	c  416s |      16 |   319371 |   197352 |    21425     18 |      618 |      316
416.98/417.15	c  416s |      17 |   319452 |   197432 |    21425     18 |      618 |      316
419.08/419.23	c  418s |      17 |   324883 |   199032 |    21425     18 |      618 |      316
421.28/421.41	c  421s |      17 |   326320 |   200332 |    21425     18 |      618 |      316
423.27/423.45	c  423s |      17 |   329857 |   201732 |    21425     19 |      618 |      316
425.27/425.47	c  425s |      17 |   332913 |   203632 |    21425     19 |      618 |      316
427.37/427.59	c  427s |      17 |   334760 |   205032 |    21425     19 |      618 |      316
429.57/429.74	c  429s |      17 |   336290 |   206232 |    21425     19 |      618 |      316
431.67/431.84	c  431s |      17 |   337473 |   207232 |    21425     19 |      618 |      316
433.67/433.86	c  433s |      17 |   338895 |   208332 |    21425     19 |      618 |      316
435.76/435.92	c  435s |      17 |   340060 |   209332 |    21425     19 |      618 |      316
437.96/438.10	c  437s |      17 |   341243 |   210332 |    21425     19 |      618 |      316
439.97/440.14	c  439s |      17 |   342156 |   211132 |    21425     19 |      618 |      316
442.17/442.38	c  442s |      17 |   343107 |   211932 |    21425     19 |      618 |      316
444.37/444.58	c  444s |      17 |   344088 |   212732 |    21425     19 |      618 |      316
446.47/446.61	c  446s |      17 |   345006 |   213432 |    21425     20 |      618 |      316
448.67/448.84	c  448s |      17 |   346138 |   214332 |    21425     20 |      618 |      316
450.76/450.98	c  450s |      17 |   346964 |   215032 |    21425     20 |      618 |      316
453.07/453.29	c  453s |      17 |   347763 |   215732 |    21425     20 |      618 |      316
455.45/455.67	c  455s |      17 |   348448 |   216332 |    21425     20 |      618 |      316
457.65/457.88	c  457s |      17 |   349268 |   217032 |    21425     20 |      618 |      316
459.95/460.14	c  459s |      17 |   350108 |   217732 |    21425     20 |      618 |      316
461.96/462.16	c  461s |      17 |   350813 |   218332 |    21425     20 |      618 |      316
464.25/464.44	c  464s |      17 |   351639 |   219032 |    21425     20 |      618 |      316
466.55/466.70	c  466s |      17 |   352450 |   219732 |    21425     20 |      618 |      316
468.55/468.74	c  468s |      17 |   353169 |   220332 |    21425     20 |      618 |      316
470.55/470.76	c  470s |      17 |   353872 |   220932 |    21425     20 |      618 |      316
472.85/473.04	c  472s |      17 |   354704 |   221632 |    21425     20 |      618 |      316
474.84/475.06	c  474s |      17 |   355426 |   222232 |    21425     20 |      618 |      316
476.84/477.06	c  476s |      17 |   356165 |   222832 |    21425     20 |      618 |      316
479.04/479.24	c  478s |      17 |   356865 |   223432 |    21425     20 |      618 |      316
481.04/481.29	c  481s |      17 |   357428 |   223932 |    21425     20 |      618 |      316
483.34/483.54	c  483s |      17 |   358271 |   224632 |    21425     20 |      618 |      316
485.63/485.81	c  485s |      17 |   358965 |   225232 |    21425     21 |      618 |      316
487.73/487.99	c  487s |      17 |   359900 |   226032 |    21425     21 |      618 |      316
490.13/490.31	c  490s |      17 |   360812 |   226832 |    21425     21 |      618 |      316
492.33/492.52	c  492s |      17 |   361654 |   227532 |    21425     21 |      618 |      316
494.43/494.62	c  494s |      17 |   362339 |   228132 |    21425     21 |      618 |      316
496.53/496.74	c  496s |      17 |   363187 |   228832 |    21425     21 |      618 |      316
498.73/498.92	c  498s |      17 |   363988 |   229532 |    21425     21 |      618 |      316
500.82/501.04	c  500s |      17 |   364656 |   230132 |    21425     21 |      618 |      316
502.92/503.11	c  502s |      17 |   365334 |   230732 |    21425     21 |      618 |      316
505.22/505.45	c  505s |      17 |   366143 |   231432 |    21425     21 |      618 |      316
507.42/507.67	c  507s |      17 |   366939 |   232132 |    21425     21 |      618 |      316
509.52/509.74	c  509s |      17 |   367593 |   232732 |    21425     21 |      618 |      316
511.82/512.04	c  511s |      17 |   368259 |   233332 |    21425     21 |      618 |      316
514.02/514.26	c  514s |      17 |   368937 |   233932 |    21425     21 |      618 |      316
516.11/516.36	c  516s |      17 |   369705 |   234532 |    21425     21 |      618 |      316
518.31/518.58	c  518s |      17 |   370738 |   235332 |    21425     21 |      618 |      316
520.71/520.96	c  520s |      17 |   371513 |   236032 |    21425     21 |      618 |      316
523.01/523.26	c  523s |      17 |   372325 |   236732 |    21425     21 |      618 |      316
525.30/525.50	c  525s |      17 |   373035 |   237332 |    21425     21 |      618 |      316
527.40/527.61	c  527s |      17 |   373584 |   237832 |    21425     22 |      618 |      316
529.50/529.74	c  529s |      17 |   374361 |   238532 |    21425     22 |      618 |      316
531.70/531.91	c  531s |      17 |   375133 |   239232 |    21425     22 |      618 |      316
533.80/534.00	c  533s |      17 |   375951 |   239932 |    21425     22 |      618 |      316
535.80/536.06	c  535s |      17 |   376840 |   240632 |    21425     22 |      618 |      316
538.00/538.20	c  537s |      17 |   378153 |   241632 |    21425     22 |      618 |      316
540.10/540.31	c  540s |      17 |   379005 |   242332 |    21425     22 |      618 |      316
542.11/542.32	c  542s |      17 |   380069 |   243132 |    21425     22 |      618 |      316
544.31/544.54	c  544s |      17 |   380738 |   243732 |    21425     22 |      618 |      316
546.60/546.80	c  546s |      17 |   381637 |   244432 |    21425     22 |      618 |      316
548.70/548.90	c  548s |      17 |   382732 |   245232 |    21425     22 |      618 |      316
550.69/550.96	c  550s |      17 |   383424 |   245832 |    21425     22 |      618 |      316
552.79/553.00	c  552s |      17 |   384188 |   246432 |    21425     22 |      618 |      316
554.79/555.01	c  554s |      17 |   384888 |   247032 |    21425     22 |      618 |      316
556.89/557.12	c  556s |      17 |   385772 |   247732 |    21425     22 |      618 |      316
559.09/559.36	c  559s |      17 |   386626 |   248432 |    21425     22 |      618 |      316
561.18/561.46	c  561s |      17 |   387298 |   249032 |    21425     22 |      618 |      316
563.38/563.63	c  563s |      17 |   387843 |   249532 |    21425     22 |      618 |      316
565.68/565.94	c  565s |      17 |   388418 |   250032 |    21425     23 |      618 |      316
567.99/568.21	c  567s |      17 |   389191 |   250732 |    21425     23 |      618 |      316
570.19/570.45	c  570s |      17 |   389988 |   251432 |    21425     23 |      618 |      316
572.29/572.55	c  572s |      17 |   390645 |   252032 |    21425     23 |      618 |      316
574.48/574.76	c  574s |      17 |   391339 |   252632 |    21425     23 |      618 |      316
576.78/577.05	c  576s |      17 |   392170 |   253332 |    21425     23 |      618 |      316
578.88/579.15	c  578s |      17 |   392849 |   253932 |    21425     23 |      618 |      316
580.98/581.23	c  580s |      17 |   393524 |   254532 |    21425     23 |      618 |      316
582.98/583.23	c  582s |      17 |   394218 |   255132 |    21425     23 |      618 |      316
585.08/585.33	c  585s |      17 |   394919 |   255732 |    21425     23 |      618 |      316
587.18/587.50	c  587s |      17 |   395467 |   256232 |    21425     23 |      618 |      316
589.38/589.69	c  589s |      17 |   396115 |   256832 |    21425     23 |      618 |      316
591.47/591.72	c  591s |      17 |   396674 |   257332 |    21425     23 |      618 |      316
593.78/594.01	c  593s |      17 |   397356 |   257932 |    21425     23 |      618 |      316
595.77/596.01	c  595s |      17 |   397917 |   258432 |    21425     23 |      618 |      316
597.87/598.15	c  597s |      17 |   398456 |   258932 |    21425     23 |      618 |      316
599.96/600.29	c  600s |      17 |   399005 |   259432 |    21425     23 |      618 |      316
602.36/602.67	c  602s |      17 |   399547 |   259932 |    21425     23 |      618 |      316
604.76/605.02	c  604s |      17 |   400098 |   260432 |    21425     23 |      618 |      316
607.06/607.34	c  607s |      17 |   400639 |   260932 |    21425     23 |      618 |      316
609.26/609.53	c  609s |      17 |   401183 |   261432 |    21425     23 |      618 |      316
611.56/611.87	c  611s |      17 |   401716 |   261932 |    21425     23 |      618 |      316
613.85/614.19	c  613s |      17 |   402275 |   262432 |    21425     24 |      618 |      316
616.25/616.51	c  616s |      17 |   402926 |   263032 |    21425     24 |      618 |      316
618.55/618.89	c  618s |      17 |   403566 |   263632 |    21425     24 |      618 |      316
620.65/620.94	c  620s |      17 |   404115 |   264132 |    21425     24 |      618 |      316
622.75/623.10	c  622s |      17 |   404652 |   264632 |    21425     24 |      618 |      316
624.84/625.19	c  624s |      17 |   405363 |   265232 |    21425     24 |      618 |      316
626.94/627.29	c  627s |      17 |   406175 |   265932 |    21425     24 |      618 |      316
629.14/629.42	c  629s |      17 |   406822 |   266532 |    21425     24 |      618 |      316
631.34/631.65	c  631s |      17 |   407481 |   267132 |    21425     24 |      618 |      316
633.64/633.97	c  633s |      17 |   408146 |   267732 |    21425     24 |      618 |      316
635.73/636.02	c  635s |      17 |   408715 |   268232 |    21425     24 |      618 |      316
637.74/638.09	c  637s |      17 |   409317 |   268732 |    21425     24 |      618 |      316
640.04/640.33	c  640s |      17 |   409896 |   269232 |    21425     24 |      618 |      316
642.14/642.49	c  642s |      17 |   410466 |   269732 |    21425     24 |      618 |      316
644.44/644.73	c  644s |      17 |   411135 |   270332 |    21425     24 |      618 |      316
646.73/647.00	c  646s |      17 |   411655 |   270832 |    21425     24 |      618 |      316
648.83/649.16	c  648s |      17 |   412192 |   271332 |    21425     24 |      618 |      316
651.23/651.55	c  651s |      17 |   412730 |   271832 |    21425     24 |      618 |      316
653.73/654.03	c  653s |      17 |   413276 |   272332 |    21425     24 |      618 |      316
656.02/656.39	c  656s |      17 |   413807 |   272832 |    21425     24 |      618 |      316
658.22/658.53	c  658s |      17 |   414345 |   273332 |    21425     24 |      618 |      316
660.62/660.92	c  660s |      17 |   414882 |   273832 |    21425     24 |      618 |      316
663.62/663.94	c  663s |      17 |   415470 |   274332 |    21425     25 |      618 |      316
665.71/666.03	c  665s |      17 |   416140 |   274932 |    21425     25 |      618 |      316
667.81/668.10	c  667s |      17 |   416953 |   275632 |    21425     25 |      618 |      316
669.91/670.26	c  670s |      17 |   417627 |   276232 |    21425     25 |      618 |      316
672.21/672.53	c  672s |      17 |   418289 |   276832 |    21425     25 |      618 |      316
674.41/674.72	c  674s |      17 |   418839 |   277332 |    21425     25 |      618 |      316
676.70/677.03	c  676s |      17 |   419532 |   277932 |    21425     25 |      618 |      316
678.70/679.08	c  678s |      17 |   420087 |   278432 |    21425     25 |      618 |      316
680.90/681.28	c  681s |      17 |   420646 |   278932 |    21425     25 |      618 |      316
683.40/683.75	c  683s |      17 |   421200 |   279432 |    21425     25 |      618 |      316
685.70/686.06	c  685s |      17 |   421757 |   279932 |    21425     25 |      618 |      316
688.10/688.43	c  688s |      17 |   422305 |   280432 |    21425     25 |      618 |      316
690.40/690.71	c  690s |      17 |   422859 |   280932 |    21425     25 |      618 |      316
692.60/692.95	c  692s |      17 |   423787 |   281532 |    21425     25 |      618 |      316
694.70/695.00	c  694s |      17 |   424712 |   282232 |    21425     25 |      618 |      316
696.90/697.23	c  696s |      17 |   425571 |   282932 |    21425     25 |      618 |      316
699.10/699.45	c  699s |      17 |   426229 |   283532 |    21425     25 |      618 |      316
701.50/701.88	c  701s |      17 |   426940 |   284132 |    21425     25 |      618 |      316
703.80/704.15	c  703s |      17 |   427661 |   284732 |    21425     25 |      618 |      316
706.00/706.33	c  706s |      17 |   428265 |   285232 |    21425     25 |      618 |      316
708.20/708.54	c  708s |      17 |   428832 |   285732 |    21425     25 |      618 |      316
710.40/710.79	c  710s |      17 |   429382 |   286232 |    21425     25 |      618 |      316
712.70/713.06	c  712s |      17 |   429830 |   286632 |    21425     26 |      618 |      316
715.10/715.42	c  715s |      17 |   430602 |   287332 |    21425     26 |      618 |      316
717.30/717.62	c  717s |      17 |   431273 |   287932 |    21425     26 |      618 |      316
719.39/719.75	c  719s |      17 |   431816 |   288432 |    21425     26 |      618 |      316
721.59/721.97	c  721s |      17 |   432475 |   289032 |    21425     26 |      618 |      316
723.80/724.14	c  723s |      17 |   433145 |   289632 |    21425     26 |      618 |      316
726.20/726.50	c  726s |      17 |   433972 |   290332 |    21425     26 |      618 |      316
728.40/728.78	c  728s |      17 |   434805 |   291032 |    21425     26 |      618 |      316
730.50/730.86	c  730s |      17 |   435452 |   291632 |    21425     26 |      618 |      316
732.60/732.91	c  732s |      17 |   436101 |   292232 |    21425     26 |      618 |      316
734.80/735.15	c  734s |      17 |   436757 |   292832 |    21425     26 |      618 |      316
736.81/737.16	c  736s |      17 |   437312 |   293332 |    21425     26 |      618 |      316
739.10/739.43	c  739s |      17 |   438240 |   294032 |    21425     26 |      618 |      316
741.11/741.43	c  741s |      17 |   438812 |   294532 |    23568     26 |      618 |      316
743.10/743.47	c  743s |      17 |   439365 |   295032 |    23568     26 |      618 |      316
745.30/745.62	c  745s |      17 |   439923 |   295532 |    23568     26 |      618 |      316
747.60/747.93	c  747s |      17 |   440480 |   296032 |    23568     26 |      618 |      316
748.50/748.87	c  748s |      18 |   440715 |   296252 |    23568     26 |      618 |      316
750.50/750.88	c  750s |      18 |   443781 |   297452 |    23568     26 |      618 |      316
752.60/752.90	c  752s |      18 |   445790 |   298952 |    23568     26 |      618 |      316
754.60/754.91	c  754s |      18 |   450358 |   300152 |    23568     27 |      618 |      316
756.60/756.99	c  756s |      18 |   461315 |   302552 |    23568     27 |      618 |      316
758.80/759.12	c  758s |      18 |   463299 |   303952 |    23568     27 |      618 |      316
761.00/761.32	c  761s |      18 |   466267 |   305452 |    23568     27 |      618 |      316
763.10/763.48	c  763s |      18 |   467618 |   306452 |    23568     27 |      618 |      316
765.19/765.52	c  765s |      18 |   469649 |   307752 |    23568     27 |      618 |      316
767.29/767.69	c  767s |      18 |   470780 |   308652 |    23568     27 |      618 |      316
769.59/769.92	c  769s |      18 |   471827 |   309452 |    23568     27 |      618 |      316
771.69/772.05	c  771s |      18 |   472987 |   310352 |    23568     27 |      618 |      316
773.79/774.18	c  773s |      18 |   473864 |   311052 |    23568     27 |      618 |      316
776.09/776.49	c  776s |      18 |   474638 |   311752 |    23568     27 |      618 |      316
778.19/778.56	c  778s |      18 |   476093 |   312652 |    23568     27 |      618 |      316
780.29/780.61	c  780s |      18 |   477259 |   313452 |    23568     27 |      618 |      316
782.29/782.66	c  782s |      18 |   478146 |   314052 |    23568     28 |      618 |      316
784.29/784.66	c  784s |      18 |   479225 |   314852 |    23568     28 |      618 |      316
786.39/786.78	c  786s |      18 |   480010 |   315452 |    23568     28 |      618 |      316
788.59/788.91	c  788s |      18 |   480904 |   316152 |    23568     28 |      618 |      316
790.69/791.04	c  790s |      18 |   481699 |   316752 |    23568     28 |      618 |      316
792.79/793.12	c  792s |      18 |   482766 |   317552 |    23568     28 |      618 |      316
794.79/795.15	c  794s |      18 |   483794 |   318352 |    23568     28 |      618 |      316
796.79/797.17	c  796s |      18 |   484642 |   319052 |    23568     28 |      618 |      316
798.89/799.22	c  798s |      18 |   485479 |   319752 |    23568     28 |      618 |      316
801.09/801.46	c  801s |      18 |   486294 |   320452 |    23568     28 |      618 |      316
803.39/803.70	c  803s |      18 |   487100 |   321152 |    23568     28 |      618 |      316
805.39/805.75	c  805s |      18 |   488013 |   321852 |    23568     28 |      618 |      316
807.49/807.84	c  807s |      18 |   488702 |   322452 |    23568     28 |      618 |      316
809.58/809.90	c  809s |      18 |   489264 |   322952 |    23568     28 |      618 |      316
811.68/812.03	c  811s |      18 |   489930 |   323552 |    23568     28 |      618 |      316
813.88/814.28	c  814s |      18 |   490638 |   324152 |    23568     28 |      618 |      316
816.28/816.64	c  816s |      18 |   491185 |   324652 |    23568     28 |      618 |      316
818.58/818.95	c  818s |      18 |   491723 |   325152 |    23568     28 |      618 |      316
820.98/821.30	c  821s |      18 |   492417 |   325752 |    23568     28 |      618 |      316
822.98/823.36	c  823s |      18 |   492956 |   326252 |    23568     28 |      618 |      316
825.08/825.43	c  825s |      18 |   493508 |   326752 |    23568     28 |      618 |      316
827.28/827.60	c  827s |      18 |   493935 |   327152 |    23568     29 |      618 |      316
829.48/829.87	c  829s |      18 |   494582 |   327752 |    23568     29 |      618 |      316
831.78/832.17	c  831s |      18 |   495230 |   328352 |    23568     29 |      618 |      316
834.18/834.59	c  834s |      18 |   495899 |   328952 |    23568     29 |      618 |      316
836.28/836.63	c  836s |      18 |   496440 |   329452 |    23568     29 |      618 |      316
838.68/839.03	c  838s |      18 |   497093 |   330052 |    23568     29 |      618 |      316
840.68/841.04	c  840s |      18 |   497634 |   330552 |    23568     29 |      618 |      316
842.78/843.14	c  842s |      18 |   498170 |   331052 |    23568     29 |      618 |      316
845.18/845.54	c  845s |      18 |   498832 |   331652 |    23568     29 |      618 |      316
847.48/847.87	c  847s |      18 |   499379 |   332152 |    23568     29 |      618 |      316
849.77/850.18	c  849s |      18 |   499907 |   332652 |    23568     29 |      618 |      316
851.87/852.23	c  851s |      18 |   500484 |   333152 |    23568     29 |      618 |      316
853.87/854.28	c  854s |      18 |   501014 |   333652 |    23568     29 |      618 |      316
856.17/856.54	c  856s |      18 |   501717 |   334252 |    23568     29 |      618 |      316
858.47/858.84	c  858s |      18 |   502259 |   334752 |    23568     29 |      618 |      316
860.57/860.98	c  860s |      18 |   502824 |   335252 |    23568     29 |      618 |      316
862.77/863.17	c  862s |      18 |   503389 |   335752 |    23568     29 |      618 |      316
864.88/865.20	c  864s |      18 |   503955 |   336252 |    23568     29 |      618 |      316
866.98/867.37	c  867s |      18 |   504500 |   336752 |    23568     29 |      618 |      316
869.28/869.69	c  869s |      18 |   505081 |   337252 |    23568     29 |      618 |      316
871.58/871.91	c  871s |      18 |   505632 |   337752 |    23568     29 |      618 |      316
873.78/874.11	c  873s |      18 |   506173 |   338252 |    23568     29 |      618 |      316
875.88/876.20	c  875s |      18 |   506632 |   338652 |    23568     29 |      618 |      316
878.18/878.57	c  878s |      18 |   507192 |   339152 |    23568     29 |      618 |      316
880.68/881.00	c  880s |      18 |   507746 |   339652 |    23568     29 |      618 |      316
882.99/883.34	c  883s |      18 |   508296 |   340152 |    23568     29 |      618 |      316
885.08/885.43	c  885s |      18 |   508741 |   340552 |    23568     29 |      618 |      316
887.68/888.06	c  887s |      18 |   509177 |   340952 |    23568     30 |      618 |      316
889.78/890.11	c  889s |      18 |   510017 |   341552 |    23568     30 |      618 |      316
891.78/892.14	c  891s |      18 |   510710 |   342152 |    23568     30 |      618 |      316
893.98/894.39	c  894s |      18 |   511393 |   342752 |    23568     30 |      618 |      316
896.38/896.75	c  896s |      18 |   512053 |   343352 |    23568     30 |      618 |      316
898.48/898.81	c  898s |      18 |   512597 |   343852 |    23568     30 |      618 |      316
900.58/900.95	c  900s |      18 |   513194 |   344352 |    23568     30 |      618 |      316
902.67/903.08	c  902s |      18 |   513741 |   344852 |    23568     30 |      618 |      316
904.98/905.33	c  905s |      18 |   514280 |   345352 |    23568     30 |      618 |      316
907.28/907.63	c  907s |      18 |   514839 |   345852 |    23568     30 |      618 |      316
909.38/909.72	c  909s |      18 |   515378 |   346352 |    23568     30 |      618 |      316
911.58/911.95	c  911s |      18 |   515920 |   346852 |    23568     30 |      618 |      316
913.97/914.39	c  914s |      18 |   516470 |   347352 |    23568     30 |      618 |      316
916.37/916.75	c  916s |      18 |   517005 |   347852 |    23568     30 |      618 |      316
918.87/919.20	c  918s |      18 |   517541 |   348352 |    23568     30 |      618 |      316
920.97/921.34	c  921s |      18 |   517997 |   348752 |    23568     30 |      618 |      316
923.47/923.84	c  923s |      18 |   518557 |   349252 |    23568     30 |      618 |      316
925.77/926.14	c  925s |      18 |   519112 |   349752 |    23568     30 |      618 |      316
927.77/928.16	c  927s |      18 |   519568 |   350152 |    23568     30 |      618 |      316
929.97/930.35	c  930s |      18 |   519998 |   350552 |    23568     30 |      618 |      316
931.97/932.37	c  932s |      18 |   520438 |   350952 |    23568     30 |      618 |      316
934.07/934.44	c  934s |      18 |   520879 |   351352 |    23568     30 |      618 |      316
936.37/936.73	c  936s |      18 |   521308 |   351752 |    23568     30 |      618 |      316
938.37/938.73	c  938s |      18 |   521781 |   352152 |    23568     30 |      618 |      316
940.47/940.86	c  940s |      18 |   522208 |   352552 |    23568     30 |      618 |      316
942.87/943.29	c  943s |      18 |   522819 |   353052 |    23568     30 |      618 |      316
945.37/945.78	c  945s |      18 |   523366 |   353552 |    23568     30 |      618 |      316
947.77/948.11	c  947s |      18 |   523819 |   353952 |    23568     31 |      618 |      316
949.87/950.20	c  949s |      18 |   524249 |   354352 |    23568     31 |      618 |      316
952.27/952.66	c  952s |      18 |   524674 |   354752 |    23568     31 |      618 |      316
954.57/954.95	c  954s |      18 |   525103 |   355152 |    23568     31 |      618 |      316
957.06/957.42	c  957s |      18 |   525542 |   355552 |    23568     31 |      618 |      316
959.16/959.52	c  959s |      18 |   525857 |   355852 |    23568     31 |      618 |      316
961.56/961.91	c  961s |      18 |   526292 |   356252 |    23568     31 |      618 |      316
963.66/964.01	c  963s |      18 |   526606 |   356552 |    23568     31 |      618 |      316
965.66/966.03	c  965s |      18 |   527052 |   356952 |    23568     31 |      618 |      316
968.16/968.56	c  968s |      18 |   527365 |   357252 |    23568     31 |      618 |      316
970.36/970.73	c  970s |      18 |   527581 |   357452 |    23568     31 |      618 |      316
972.46/972.86	c  972s |      18 |   527907 |   357752 |    23568     31 |      618 |      316
974.56/974.98	c  974s |      18 |   528351 |   358152 |    23568     31 |      618 |      316
976.66/977.09	c  976s |      18 |   528775 |   358552 |    23568     31 |      618 |      316
978.86/979.22	c  978s |      18 |   529210 |   358952 |    23568     31 |      618 |      316
981.56/981.90	c  981s |      18 |   529630 |   359352 |    23568     31 |      618 |      316
983.86/984.20	c  983s |      18 |   529971 |   359652 |    23568     31 |      618 |      316
986.36/986.74	c  986s |      18 |   530401 |   360052 |    23568     31 |      618 |      316
988.85/989.23	c  988s |      18 |   530724 |   360352 |    23568     31 |      618 |      316
991.35/991.78	c  991s |      18 |   531045 |   360652 |    23568     31 |      618 |      316
993.55/993.93	c  993s |      18 |   531509 |   361052 |    23568     31 |      618 |      316
995.75/996.12	c  995s |      18 |   532104 |   361552 |    23568     31 |      618 |      316
998.15/998.57	c  998s |      18 |   532670 |   362052 |    23568     31 |      618 |      316
1000.35/1000.74	c 1000s |      18 |   533125 |   362452 |    23568     31 |      618 |      316
1002.45/1002.86	c 1002s |      18 |   533454 |   362752 |    23568     31 |      618 |      316
1004.75/1005.19	c 1004s |      18 |   534068 |   363252 |    23568     31 |      618 |      316
1006.95/1007.33	c 1007s |      18 |   534656 |   363752 |    23568     31 |      618 |      316
1009.05/1009.43	c 1009s |      18 |   535307 |   364252 |    23568     31 |      618 |      316
1011.35/1011.78	c 1011s |      18 |   536186 |   364852 |    23568     31 |      618 |      316
1013.55/1013.97	c 1013s |      18 |   536940 |   365452 |    23568     31 |      618 |      316
1015.85/1016.27	c 1016s |      18 |   537506 |   365952 |    23568     31 |      618 |      316
1018.05/1018.41	c 1018s |      18 |   537951 |   366352 |    23568     31 |      618 |      316
1020.46/1020.83	c 1020s |      18 |   538511 |   366852 |    23568     31 |      618 |      316
1022.66/1023.08	c 1022s |      18 |   538835 |   367152 |    23568     32 |      618 |      316
1024.86/1025.28	c 1025s |      18 |   539493 |   367752 |    23568     32 |      618 |      316
1027.15/1027.52	c 1027s |      18 |   540151 |   368352 |    23568     32 |      618 |      316
1029.45/1029.87	c 1029s |      18 |   540795 |   368952 |    23568     32 |      618 |      316
1031.85/1032.22	c 1031s |      18 |   541433 |   369552 |    23568     32 |      618 |      316
1033.96/1034.30	c 1034s |      18 |   541974 |   370052 |    23568     32 |      618 |      316
1036.36/1036.71	c 1036s |      18 |   542535 |   370552 |    23568     32 |      618 |      316
1038.46/1038.86	c 1038s |      18 |   543093 |   371052 |    23568     32 |      618 |      316
1040.75/1041.13	c 1040s |      18 |   543668 |   371552 |    23568     32 |      618 |      316
1042.85/1043.24	c 1042s |      18 |   544230 |   372052 |    23568     32 |      618 |      316
1045.25/1045.60	c 1045s |      18 |   544760 |   372552 |    23568     32 |      618 |      316
1047.75/1048.10	c 1047s |      18 |   545309 |   373052 |    23568     32 |      618 |      316
1050.05/1050.42	c 1050s |      18 |   545753 |   373452 |    23568     32 |      618 |      316
1052.36/1052.77	c 1052s |      18 |   546200 |   373852 |    23568     32 |      618 |      316
1054.45/1054.89	c 1054s |      18 |   546527 |   374152 |    23568     32 |      618 |      316
1056.95/1057.38	c 1057s |      18 |   546959 |   374552 |    23568     32 |      618 |      316
1059.25/1059.60	c 1059s |      18 |   547391 |   374952 |    23568     32 |      618 |      316
1061.26/1061.65	c 1061s |      18 |   547725 |   375252 |    23568     32 |      618 |      316
1063.65/1064.09	c 1063s |      18 |   548154 |   375652 |    23568     32 |      618 |      316
1065.75/1066.11	c 1065s |      18 |   548477 |   375952 |    23568     32 |      618 |      316
1068.35/1068.78	c 1068s |      18 |   548912 |   376352 |    23568     32 |      618 |      316
1070.75/1071.11	c 1070s |      18 |   549226 |   376652 |    23568     32 |      618 |      316
1072.85/1073.20	c 1072s |      18 |   549554 |   376952 |    23568     32 |      618 |      316
1075.45/1075.83	c 1075s |      18 |   549976 |   377352 |    23568     32 |      618 |      316
1077.55/1077.99	c 1077s |      18 |   550294 |   377652 |    23568     32 |      618 |      316
1079.65/1080.08	c 1079s |      18 |   550608 |   377952 |    23568     32 |      618 |      316
1082.05/1082.46	c 1082s |      18 |   550917 |   378252 |    23568     32 |      618 |      316
1084.45/1084.81	c 1084s |      18 |   551231 |   378552 |    23568     32 |      618 |      316
1086.64/1087.07	c 1086s |      18 |   551538 |   378852 |    23568     32 |      618 |      316
1089.14/1089.53	c 1089s |      18 |   551848 |   379152 |    23568     32 |      618 |      316
1091.54/1091.98	c 1091s |      18 |   552168 |   379452 |    23568     32 |      618 |      316
1094.04/1094.40	c 1094s |      18 |   552487 |   379752 |    23568     32 |      618 |      316
1096.35/1096.71	c 1096s |      18 |   552800 |   380052 |    23568     32 |      618 |      316
1098.65/1099.08	c 1098s |      18 |   553118 |   380352 |    23568     32 |      618 |      316
1100.94/1101.34	c 1101s |      18 |   553326 |   380552 |    23568     33 |      618 |      316
1103.64/1104.05	c 1103s |      18 |   553752 |   380952 |    23568     33 |      618 |      316
1105.94/1106.35	c 1106s |      18 |   554071 |   381252 |    23568     33 |      618 |      316
1108.45/1108.84	c 1108s |      18 |   554474 |   381652 |    23568     33 |      618 |      316
1110.94/1111.31	c 1111s |      18 |   554894 |   382052 |    23568     33 |      618 |      316
1113.44/1113.83	c 1113s |      18 |   555321 |   382452 |    23568     33 |      618 |      316
1115.74/1116.19	c 1115s |      18 |   555750 |   382852 |    23568     33 |      618 |      316
1118.14/1118.57	c 1118s |      18 |   556184 |   383252 |    23568     33 |      618 |      316
1120.34/1120.73	c 1120s |      18 |   556497 |   383552 |    23568     33 |      618 |      316
1122.74/1123.17	c 1122s |      18 |   556929 |   383952 |    23568     33 |      618 |      316
1124.94/1125.35	c 1125s |      18 |   557232 |   384252 |    23568     33 |      618 |      316
1127.03/1127.42	c 1127s |      18 |   557551 |   384552 |    23568     33 |      618 |      316
1129.23/1129.60	c 1129s |      18 |   558051 |   384952 |    23568     33 |      618 |      316
1131.54/1131.97	c 1131s |      18 |   558611 |   385452 |    23568     33 |      618 |      316
1133.93/1134.33	c 1134s |      18 |   559153 |   385952 |    23568     33 |      618 |      316
1136.33/1136.73	c 1136s |      18 |   559700 |   386452 |    23568     33 |      618 |      316
1138.73/1139.14	c 1138s |      18 |   560235 |   386952 |    23568     33 |      618 |      316
1141.23/1141.62	c 1141s |      18 |   560783 |   387452 |    23568     33 |      618 |      316
1143.64/1144.07	c 1143s |      18 |   561320 |   387952 |    23568     33 |      618 |      316
1145.73/1146.20	c 1145s |      18 |   561777 |   388352 |    23568     33 |      618 |      316
1148.04/1148.43	c 1148s |      18 |   562366 |   388852 |    23568     33 |      618 |      316
1150.34/1150.77	c 1150s |      18 |   562948 |   389352 |    23568     33 |      618 |      316
1152.83/1153.27	c 1153s |      18 |   563481 |   389852 |    23568     33 |      618 |      316
1154.93/1155.36	c 1155s |      18 |   563905 |   390252 |    23568     33 |      618 |      316
1156.94/1157.40	c 1157s |      18 |   564321 |   390652 |    23568     33 |      618 |      316
1159.14/1159.51	c 1159s |      18 |   564758 |   391052 |    23568     33 |      618 |      316
1161.43/1161.86	c 1161s |      18 |   565325 |   391552 |    23568     33 |      618 |      316
1163.73/1164.16	c 1163s |      18 |   565883 |   392052 |    23568     33 |      618 |      316
1165.83/1166.29	c 1166s |      18 |   566317 |   392452 |    23568     33 |      618 |      316
1168.03/1168.48	c 1168s |      18 |   566758 |   392852 |    23568     33 |      618 |      316
1170.23/1170.62	c 1170s |      18 |   567195 |   393252 |    23568     33 |      618 |      316
1172.33/1172.71	c 1172s |      18 |   567614 |   393652 |    23568     33 |      618 |      316
1174.63/1175.09	c 1174s |      18 |   567943 |   393952 |    23568     34 |      618 |      316
1176.83/1177.27	c 1177s |      18 |   568492 |   394452 |    23568     34 |      618 |      316
1179.22/1179.63	c 1179s |      18 |   569142 |   395052 |    23568     34 |      618 |      316
1181.22/1181.64	c 1181s |      18 |   569687 |   395552 |    23568     34 |      618 |      316
1183.33/1183.78	c 1183s |      18 |   570483 |   396152 |    23568     34 |      618 |      316
1185.62/1186.01	c 1185s |      18 |   571011 |   396652 |    23568     34 |      618 |      316
1187.73/1188.12	c 1187s |      18 |   571555 |   397152 |    23568     34 |      618 |      316
1189.93/1190.38	c 1190s |      18 |   572092 |   397652 |    23568     34 |      618 |      316
1191.92/1192.40	c 1192s |      18 |   572625 |   398152 |    23568     34 |      618 |      316
1194.23/1194.68	c 1194s |      18 |   573165 |   398652 |    23568     34 |      618 |      316
1196.63/1197.05	c 1196s |      18 |   573702 |   399152 |    23568     34 |      618 |      316
1199.03/1199.44	c 1199s |      18 |   574237 |   399652 |    23568     34 |      618 |      316
1201.53/1201.91	c 1201s |      18 |   574765 |   400152 |    23568     34 |      618 |      316
1204.03/1204.44	c 1204s |      18 |   575304 |   400652 |    23568     34 |      618 |      316
1206.13/1206.53	c 1206s |      18 |   575727 |   401052 |    23568     34 |      618 |      316
1208.43/1208.88	c 1208s |      18 |   576264 |   401552 |    23568     34 |      618 |      316
1210.63/1211.08	c 1210s |      18 |   576839 |   402052 |    23568     34 |      618 |      316
1212.83/1213.28	c 1213s |      18 |   577738 |   402752 |    23568     34 |      618 |      316
1214.93/1215.38	c 1215s |      18 |   578437 |   403252 |    23568     34 |      618 |      316
1217.13/1217.55	c 1217s |      18 |   579257 |   403852 |    23568     34 |      618 |      316
1219.33/1219.71	c 1219s |      18 |   580008 |   404452 |    23568     34 |      618 |      316
1221.53/1221.96	c 1221s |      18 |   580559 |   404952 |    23568     34 |      618 |      316
1223.73/1224.11	c 1223s |      18 |   581106 |   405452 |    23568     34 |      618 |      316
1226.13/1226.56	c 1226s |      18 |   581788 |   406052 |    23568     34 |      618 |      316
1228.62/1229.04	c 1228s |      18 |   582334 |   406552 |    23568     34 |      618 |      316
1230.82/1231.25	c 1230s |      18 |   582884 |   407052 |    23568     34 |      618 |      316
1232.92/1233.37	c 1233s |      18 |   583373 |   407452 |    23568     35 |      618 |      316
1234.93/1235.40	c 1235s |      18 |   584114 |   408052 |    23568     35 |      618 |      316
1237.02/1237.44	c 1237s |      18 |   584829 |   408652 |    23568     35 |      618 |      316
1239.02/1239.44	c 1239s |      18 |   585569 |   409252 |    23568     35 |      618 |      316
1241.42/1241.80	c 1241s |      18 |   586398 |   409952 |    23568     35 |      618 |      316
1243.73/1244.17	c 1243s |      18 |   587087 |   410552 |    23568     35 |      618 |      316
1246.03/1246.46	c 1246s |      18 |   587778 |   411152 |    23568     35 |      618 |      316
1248.13/1248.57	c 1248s |      18 |   588506 |   411752 |    23568     35 |      618 |      316
1250.33/1250.78	c 1250s |      18 |   589192 |   412352 |    23568     35 |      618 |      316
1252.72/1253.12	c 1252s |      18 |   589853 |   412952 |    23568     35 |      618 |      316
1255.22/1255.60	c 1255s |      18 |   590385 |   413452 |    23568     35 |      618 |      316
1257.22/1257.64	c 1257s |      18 |   590960 |   413952 |    23568     35 |      618 |      316
1259.52/1259.91	c 1259s |      18 |   591746 |   414552 |    23568     35 |      618 |      316
1261.72/1262.13	c 1261s |      18 |   592471 |   415152 |    23568     35 |      618 |      316
1263.82/1264.24	c 1263s |      18 |   593036 |   415652 |    23568     35 |      618 |      316
1265.82/1266.25	c 1265s |      18 |   593601 |   416152 |    23568     35 |      618 |      316
1267.92/1268.31	c 1268s |      18 |   594153 |   416652 |    23568     35 |      618 |      316
1270.32/1270.73	c 1270s |      18 |   594872 |   417252 |    23568     35 |      618 |      316
1272.32/1272.75	c 1272s |      18 |   595450 |   417752 |    23568     35 |      618 |      316
1274.62/1275.07	c 1274s |      18 |   596033 |   418252 |    23568     35 |      618 |      316
1276.91/1277.31	c 1277s |      18 |   596603 |   418752 |    23568     35 |      618 |      316
1278.92/1279.38	c 1279s |      18 |   597055 |   419152 |    23568     35 |      618 |      316
1281.01/1281.41	c 1281s |      18 |   597504 |   419552 |    23568     35 |      618 |      316
1283.32/1283.77	c 1283s |      18 |   598071 |   420052 |    23568     35 |      618 |      316
1285.71/1286.11	c 1285s |      18 |   598504 |   420452 |    23568     36 |      618 |      316
1287.72/1288.16	c 1287s |      18 |   599090 |   420952 |    23568     36 |      618 |      316
1290.02/1290.47	c 1290s |      18 |   599774 |   421552 |    23568     36 |      618 |      316
1292.41/1292.80	c 1292s |      18 |   600445 |   422152 |    23568     36 |      618 |      316
1294.71/1295.16	c 1294s |      18 |   601118 |   422752 |    23568     36 |      618 |      316
1296.91/1297.32	c 1297s |      18 |   601828 |   423352 |    23568     36 |      618 |      316
1299.11/1299.56	c 1299s |      18 |   602656 |   424052 |    23568     36 |      618 |      316
1301.51/1301.90	c 1301s |      18 |   603553 |   424752 |    23568     36 |      618 |      316
1303.61/1304.02	c 1303s |      18 |   604235 |   425352 |    23568     36 |      618 |      316
1305.81/1306.26	c 1306s |      18 |   604943 |   425952 |    23568     36 |      618 |      316
1308.01/1308.42	c 1308s |      18 |   605620 |   426552 |    23568     36 |      618 |      316
1310.11/1310.59	c 1310s |      18 |   606315 |   427152 |    23568     36 |      618 |      316
1312.21/1312.62	c 1312s |      18 |   606853 |   427652 |    23568     36 |      618 |      316
1314.31/1314.70	c 1314s |      18 |   607400 |   428152 |    23568     36 |      618 |      316
1316.41/1316.87	c 1316s |      18 |   607964 |   428652 |    23568     36 |      618 |      316
1318.71/1319.13	c 1318s |      18 |   608658 |   429252 |    23568     36 |      618 |      316
1321.01/1321.44	c 1321s |      18 |   609358 |   429852 |    23568     36 |      618 |      316
1323.01/1323.46	c 1323s |      18 |   609944 |   430352 |    23568     36 |      618 |      316
1325.11/1325.57	c 1325s |      18 |   610504 |   430852 |    23568     36 |      618 |      316
1327.41/1327.85	c 1327s |      18 |   611249 |   431452 |    23568     36 |      618 |      316
1329.41/1329.88	c 1329s |      18 |   611789 |   431952 |    23568     36 |      618 |      316
1331.51/1331.97	c 1331s |      18 |   612379 |   432452 |    23568     36 |      618 |      316
1333.61/1334.02	c 1333s |      18 |   612821 |   432852 |    23568     36 |      618 |      316
1335.90/1336.37	c 1336s |      18 |   613358 |   433352 |    23568     36 |      618 |      316
1338.00/1338.49	c 1338s |      18 |   613815 |   433752 |    23568     37 |      618 |      316
1340.40/1340.82	c 1340s |      18 |   614491 |   434352 |    23568     37 |      618 |      316
1342.50/1342.95	c 1342s |      18 |   615183 |   434952 |    23568     37 |      618 |      316
1344.70/1345.12	c 1344s |      18 |   616205 |   435752 |    23568     37 |      618 |      316
1346.80/1347.27	c 1347s |      18 |   617033 |   436452 |    23568     37 |      618 |      316
1349.20/1349.63	c 1349s |      18 |   617841 |   437152 |    23568     37 |      618 |      316
1351.20/1351.65	c 1351s |      18 |   618539 |   437752 |    23568     37 |      618 |      316
1353.40/1353.82	c 1353s |      18 |   619204 |   438352 |    23568     37 |      618 |      316
1355.40/1355.83	c 1355s |      18 |   619741 |   438852 |    23568     37 |      618 |      316
1357.70/1358.12	c 1357s |      18 |   620417 |   439452 |    23568     37 |      618 |      316
1360.00/1360.47	c 1360s |      18 |   621124 |   440052 |    23568     37 |      618 |      316
1362.10/1362.57	c 1362s |      18 |   621679 |   440552 |    23568     37 |      618 |      316
1364.30/1364.73	c 1364s |      18 |   622224 |   441052 |    23568     37 |      618 |      316
1366.40/1366.89	c 1366s |      18 |   622776 |   441552 |    25925     37 |      618 |      316
1368.60/1369.05	c 1368s |      18 |   623327 |   442052 |    25925     37 |      618 |      316
1370.80/1371.26	c 1371s |      18 |   624052 |   442652 |    25925     37 |      618 |      316
1373.00/1373.42	c 1373s |      18 |   624666 |   443152 |    25925     37 |      618 |      316
1375.40/1375.81	c 1375s |      18 |   625248 |   443652 |    25925     37 |      618 |      316
1377.50/1377.96	c 1377s |      18 |   625864 |   444152 |    25925     37 |      618 |      316
1378.90/1379.32	c 1379s |      19 |   626238 |   444482 |    25925     37 |      618 |      316
1381.00/1381.43	c 1381s |      19 |   630609 |   445482 |    25925     37 |      618 |      316
1383.20/1383.60	c 1383s |      19 |   632544 |   446882 |    25925     37 |      618 |      316
1385.20/1385.60	c 1385s |      19 |   634327 |   448382 |    25925     37 |      618 |      316
1387.30/1387.79	c 1387s |      19 |   635515 |   449382 |    25925     38 |      618 |      316
1389.39/1389.87	c 1389s |      19 |   636845 |   450382 |    25925     38 |      618 |      316
1391.59/1392.05	c 1391s |      19 |   638030 |   451282 |    25925     38 |      618 |      316
1393.59/1394.07	c 1393s |      19 |   639083 |   452082 |    25925     38 |      618 |      316
1395.79/1396.28	c 1396s |      19 |   640024 |   452882 |    25925     38 |      618 |      316
1397.89/1398.32	c 1398s |      19 |   641124 |   453782 |    25925     38 |      618 |      316
1399.90/1400.39	c 1400s |      19 |   642387 |   454782 |    25925     38 |      618 |      316
1402.10/1402.60	c 1402s |      19 |   643363 |   455682 |    25925     38 |      618 |      316
1404.30/1404.76	c 1404s |      19 |   644544 |   456682 |    25925     38 |      618 |      316
1406.39/1406.86	c 1406s |      19 |   645481 |   457482 |    25925     38 |      618 |      316
1408.49/1408.90	c 1408s |      19 |   647234 |   458582 |    25925     38 |      618 |      316
1410.59/1411.07	c 1410s |      19 |   648571 |   459682 |    25925     38 |      618 |      316
1412.69/1413.18	c 1412s |      19 |   649564 |   460582 |    25925     38 |      618 |      316
1414.89/1415.38	c 1415s |      19 |   650604 |   461482 |    25925     38 |      618 |      316
1417.09/1417.55	c 1417s |      19 |   652060 |   462482 |    25925     38 |      618 |      316
1419.29/1419.79	c 1419s |      19 |   653089 |   463282 |    25925     38 |      618 |      316
1421.59/1422.04	c 1421s |      19 |   653779 |   463882 |    25925     39 |      618 |      316
1423.69/1424.15	c 1423s |      19 |   654583 |   464582 |    25925     39 |      618 |      316
1425.79/1426.28	c 1426s |      19 |   655401 |   465282 |    25925     39 |      618 |      316
1427.99/1428.48	c 1428s |      19 |   656220 |   465982 |    25925     39 |      618 |      316
1430.09/1430.58	c 1430s |      19 |   657132 |   466782 |    25925     39 |      618 |      316
1432.19/1432.64	c 1432s |      19 |   657935 |   467482 |    25925     39 |      618 |      316
1434.39/1434.80	c 1434s |      19 |   658756 |   468182 |    25925     39 |      618 |      316
1436.49/1436.96	c 1436s |      19 |   659587 |   468882 |    25925     39 |      618 |      316
1438.79/1439.21	c 1438s |      19 |   660370 |   469582 |    25925     39 |      618 |      316
1441.09/1441.54	c 1441s |      19 |   661154 |   470282 |    25925     39 |      618 |      316
1443.19/1443.60	c 1443s |      19 |   661717 |   470782 |    25925     39 |      618 |      316
1445.39/1445.81	c 1445s |      19 |   662422 |   471382 |    25925     39 |      618 |      316
1447.49/1447.98	c 1447s |      19 |   663072 |   471982 |    25925     39 |      618 |      316
1449.78/1450.24	c 1449s |      19 |   663742 |   472582 |    25925     39 |      618 |      316
1451.88/1452.37	c 1452s |      19 |   664294 |   473082 |    25925     39 |      618 |      316
1454.28/1454.70	c 1454s |      19 |   664841 |   473582 |    25925     39 |      618 |      316
1456.48/1456.95	c 1456s |      19 |   665373 |   474082 |    25925     39 |      618 |      316
1458.78/1459.21	c 1458s |      19 |   665920 |   474582 |    25925     39 |      618 |      316
1460.88/1461.34	c 1461s |      19 |   666473 |   475082 |    25925     39 |      618 |      316
1462.98/1463.41	c 1463s |      19 |   666921 |   475482 |    25925     39 |      618 |      316
1465.38/1465.84	c 1465s |      19 |   667472 |   475982 |    25925     39 |      618 |      316
1467.68/1468.10	c 1467s |      19 |   668020 |   476482 |    25925     39 |      618 |      316
1469.88/1470.35	c 1470s |      19 |   668556 |   476982 |    25925     39 |      618 |      316
1472.18/1472.68	c 1472s |      19 |   669117 |   477482 |    25925     39 |      618 |      316
1474.28/1474.78	c 1474s |      19 |   669548 |   477882 |    25925     39 |      618 |      316
1476.89/1477.35	c 1477s |      19 |   669974 |   478282 |    25925     40 |      618 |      316
1478.98/1479.45	c 1479s |      19 |   670513 |   478782 |    25925     40 |      618 |      316
1481.18/1481.61	c 1481s |      19 |   671049 |   479282 |    25925     40 |      618 |      316
1483.18/1483.68	c 1483s |      19 |   671595 |   479782 |    25925     40 |      618 |      316
1485.48/1485.95	c 1485s |      19 |   672130 |   480282 |    25925     40 |      618 |      316
1487.78/1488.25	c 1487s |      19 |   672829 |   480882 |    25925     40 |      618 |      316
1489.88/1490.35	c 1490s |      19 |   673430 |   481382 |    25925     40 |      618 |      316
1492.08/1492.51	c 1492s |      19 |   674128 |   481982 |    25925     40 |      618 |      316
1494.28/1494.78	c 1494s |      19 |   674867 |   482582 |    25925     40 |      618 |      316
1496.48/1496.93	c 1496s |      19 |   675623 |   483182 |    25925     40 |      618 |      316
1498.58/1499.04	c 1498s |      19 |   676382 |   483782 |    25925     40 |      618 |      316
1500.78/1501.29	c 1501s |      19 |   677178 |   484482 |    25925     40 |      618 |      316
1503.08/1503.57	c 1503s |      19 |   677892 |   485082 |    25925     40 |      618 |      316
1505.08/1505.59	c 1505s |      19 |   678579 |   485682 |    25925     40 |      618 |      316
1507.27/1507.75	c 1507s |      19 |   679287 |   486282 |    25925     40 |      618 |      316
1509.57/1510.04	c 1509s |      19 |   679986 |   486882 |    25925     40 |      618 |      316
1511.67/1512.12	c 1511s |      19 |   680584 |   487382 |    25925     40 |      618 |      316
1513.67/1514.18	c 1513s |      19 |   681134 |   487882 |    25925     40 |      618 |      316
1515.77/1516.26	c 1516s |      19 |   681732 |   488382 |    25925     40 |      618 |      316
1517.97/1518.49	c 1518s |      19 |   682305 |   488882 |    25925     40 |      618 |      316
1520.27/1520.77	c 1520s |      19 |   682849 |   489382 |    25925     40 |      618 |      316
1522.57/1523.02	c 1522s |      19 |   683463 |   489882 |    25925     40 |      618 |      316
1524.77/1525.21	c 1524s |      19 |   684231 |   490482 |    25925     40 |      618 |      316
1526.87/1527.37	c 1527s |      19 |   684938 |   491082 |    25925     40 |      618 |      316
1529.07/1529.56	c 1529s |      19 |   685558 |   491582 |    25925     40 |      618 |      316
1531.47/1531.91	c 1531s |      19 |   686144 |   492082 |    25925     40 |      618 |      316
1533.67/1534.19	c 1533s |      19 |   686732 |   492582 |    25925     40 |      618 |      316
1535.77/1536.24	c 1535s |      19 |   687196 |   492982 |    25925     41 |      618 |      316
1537.87/1538.36	c 1538s |      19 |   687890 |   493582 |    25925     41 |      618 |      316
1539.97/1540.42	c 1540s |      19 |   688564 |   494182 |    25925     41 |      618 |      316
1542.07/1542.51	c 1542s |      19 |   689282 |   494782 |    25925     41 |      618 |      316
1544.27/1544.73	c 1544s |      19 |   689862 |   495282 |    25925     41 |      618 |      316
1546.37/1546.89	c 1546s |      19 |   690447 |   495782 |    25925     41 |      618 |      316
1548.48/1548.92	c 1548s |      19 |   691012 |   496282 |    25925     41 |      618 |      316
1550.47/1550.98	c 1550s |      19 |   691593 |   496782 |    25925     41 |      618 |      316
1552.68/1553.17	c 1552s |      19 |   692284 |   497382 |    25925     41 |      618 |      316
1554.78/1555.26	c 1555s |      19 |   692860 |   497882 |    25925     41 |      618 |      316
1556.98/1557.47	c 1557s |      19 |   693417 |   498382 |    25925     41 |      618 |      316
1559.28/1559.78	c 1559s |      19 |   693956 |   498882 |    25925     41 |      618 |      316
1561.38/1561.80	c 1561s |      19 |   694519 |   499382 |    25925     41 |      618 |      316
1563.68/1564.17	c 1563s |      19 |   695098 |   499882 |    25925     41 |      618 |      316
1566.08/1566.52	c 1566s |      19 |   695662 |   500382 |    25925     41 |      618 |      316
1568.47/1568.90	c 1568s |      19 |   696222 |   500882 |    25925     41 |      618 |      316
1570.87/1571.39	c 1571s |      19 |   696755 |   501382 |    25925     41 |      618 |      316
1572.97/1573.47	c 1573s |      19 |   697195 |   501782 |    25925     41 |      618 |      316
1575.07/1575.50	c 1575s |      19 |   697631 |   502182 |    25925     41 |      618 |      316
1577.47/1577.99	c 1577s |      19 |   698184 |   502682 |    25925     41 |      618 |      316
1579.77/1580.21	c 1579s |      19 |   698624 |   503082 |    25925     41 |      618 |      316
1581.97/1582.45	c 1582s |      19 |   699056 |   503482 |    25925     41 |      618 |      316
1584.17/1584.62	c 1584s |      19 |   699490 |   503882 |    25925     41 |      618 |      316
1586.67/1587.16	c 1586s |      19 |   700040 |   504382 |    25925     41 |      618 |      316
1588.87/1589.35	c 1589s |      19 |   700474 |   504782 |    25925     41 |      618 |      316
1591.17/1591.69	c 1591s |      19 |   700932 |   505182 |    25925     41 |      618 |      316
1593.77/1594.27	c 1594s |      19 |   701361 |   505582 |    25925     41 |      618 |      316
1596.37/1596.82	c 1596s |      19 |   701795 |   505982 |    25925     41 |      618 |      316
1598.77/1599.26	c 1599s |      19 |   702240 |   506382 |    25925     41 |      618 |      316
1601.17/1601.61	c 1601s |      19 |   702821 |   506882 |    25925     41 |      618 |      316
1603.17/1603.69	c 1603s |      19 |   703168 |   507182 |    25925     42 |      618 |      316
1605.47/1605.97	c 1605s |      19 |   703833 |   507782 |    25925     42 |      618 |      316
1607.67/1608.11	c 1607s |      19 |   704403 |   508282 |    25925     42 |      618 |      316
1609.76/1610.24	c 1609s |      19 |   704943 |   508782 |    25925     42 |      618 |      316
1611.76/1612.25	c 1611s |      19 |   705497 |   509282 |    25925     42 |      618 |      316
1613.96/1614.49	c 1614s |      19 |   706047 |   509782 |    25925     42 |      618 |      316
1616.36/1616.88	c 1616s |      19 |   706594 |   510282 |    25925     42 |      618 |      316
1618.46/1618.96	c 1618s |      19 |   707021 |   510682 |    25925     42 |      618 |      316
1620.56/1621.09	c 1620s |      19 |   707492 |   511082 |    25925     42 |      618 |      316
1622.96/1623.40	c 1623s |      19 |   708043 |   511582 |    25925     42 |      618 |      316
1625.26/1625.72	c 1625s |      19 |   708598 |   512082 |    25925     42 |      618 |      316
1627.36/1627.88	c 1627s |      19 |   709016 |   512482 |    25925     42 |      618 |      316
1629.77/1630.24	c 1629s |      19 |   709579 |   512982 |    25925     42 |      618 |      316
1632.07/1632.54	c 1632s |      19 |   710034 |   513382 |    25925     42 |      618 |      316
1634.36/1634.82	c 1634s |      19 |   710586 |   513882 |    25925     42 |      618 |      316
1636.56/1637.08	c 1636s |      19 |   711015 |   514282 |    25925     42 |      618 |      316
1638.66/1639.13	c 1638s |      19 |   711446 |   514682 |    25925     42 |      618 |      316
1640.96/1641.40	c 1641s |      19 |   712002 |   515182 |    25925     42 |      618 |      316
1643.16/1643.61	c 1643s |      19 |   712451 |   515582 |    25925     42 |      618 |      316
1645.66/1646.17	c 1645s |      19 |   712878 |   515982 |    25925     42 |      618 |      316
1648.15/1648.66	c 1648s |      19 |   713318 |   516382 |    25925     42 |      618 |      316
1650.55/1651.06	c 1650s |      19 |   713761 |   516782 |    25925     42 |      618 |      316
1652.75/1653.29	c 1653s |      19 |   714193 |   517182 |    25925     42 |      618 |      316
1655.45/1655.91	c 1655s |      19 |   714617 |   517582 |    25925     42 |      618 |      316
1657.75/1658.24	c 1657s |      19 |   715037 |   517982 |    25925     42 |      618 |      316
1660.05/1660.56	c 1660s |      19 |   715480 |   518382 |    25925     42 |      618 |      316
1662.65/1663.16	c 1662s |      19 |   716023 |   518882 |    25925     42 |      618 |      316
1664.65/1665.19	c 1664s |      19 |   716469 |   519282 |    25925     42 |      618 |      316
1666.75/1667.28	c 1667s |      19 |   716902 |   519682 |    25925     42 |      618 |      316
1669.05/1669.50	c 1669s |      19 |   717334 |   520082 |    25925     42 |      618 |      316
1671.66/1672.19	c 1671s |      19 |   717773 |   520482 |    25925     42 |      618 |      316
1673.76/1674.22	c 1673s |      19 |   718091 |   520782 |    25925     42 |      618 |      316
1675.96/1676.44	c 1676s |      19 |   718415 |   521082 |    25925     42 |      618 |      316
1678.15/1678.70	c 1678s |      19 |   718839 |   521482 |    25925     42 |      618 |      316
1680.75/1681.26	c 1681s |      19 |   719167 |   521782 |    25925     43 |      618 |      316
1682.85/1683.33	c 1683s |      19 |   719599 |   522182 |    25925     43 |      618 |      316
1685.05/1685.53	c 1685s |      19 |   720053 |   522582 |    25925     43 |      618 |      316
1687.45/1687.95	c 1687s |      19 |   720618 |   523082 |    25925     43 |      618 |      316
1689.65/1690.13	c 1689s |      19 |   721185 |   523582 |    25925     43 |      618 |      316
1691.86/1692.33	c 1692s |      19 |   721614 |   523982 |    25925     43 |      618 |      316
1694.06/1694.50	c 1694s |      19 |   722045 |   524382 |    25925     43 |      618 |      316
1696.16/1696.60	c 1696s |      19 |   722462 |   524782 |    25925     43 |      618 |      316
1698.35/1698.84	c 1698s |      19 |   722898 |   525182 |    25925     43 |      618 |      316
1700.95/1701.44	c 1701s |      19 |   723323 |   525582 |    25925     43 |      618 |      316
1703.35/1703.86	c 1703s |      19 |   723769 |   525982 |    25925     43 |      618 |      316
1705.45/1705.90	c 1705s |      19 |   724336 |   526482 |    25925     43 |      618 |      316
1707.86/1708.30	c 1708s |      19 |   724882 |   526982 |    25925     43 |      618 |      316
1710.25/1710.74	c 1710s |      19 |   725438 |   527482 |    25925     43 |      618 |      316
1712.55/1713.02	c 1712s |      19 |   725998 |   527982 |    25925     43 |      618 |      316
1714.56/1715.07	c 1714s |      19 |   726438 |   528382 |    25925     43 |      618 |      316
1716.95/1717.42	c 1717s |      19 |   726984 |   528882 |    25925     43 |      618 |      316
1719.45/1719.92	c 1719s |      19 |   727532 |   529382 |    25925     43 |      618 |      316
1721.95/1722.43	c 1722s |      19 |   728072 |   529882 |    25925     43 |      618 |      316
1724.15/1724.67	c 1724s |      19 |   728513 |   530282 |    25925     43 |      618 |      316
1726.56/1727.01	c 1726s |      19 |   728938 |   530682 |    25925     43 |      618 |      316
1728.95/1729.41	c 1729s |      19 |   729369 |   531082 |    25925     43 |      618 |      316
1731.06/1731.53	c 1731s |      19 |   729806 |   531482 |    25925     43 |      618 |      316
1733.16/1733.60	c 1733s |      19 |   730249 |   531882 |    25925     43 |      618 |      316
1735.65/1736.17	c 1735s |      19 |   730805 |   532382 |    25925     43 |      618 |      316
1737.95/1738.49	c 1738s |      19 |   731245 |   532782 |    25925     43 |      618 |      316
1740.25/1740.79	c 1740s |      19 |   731691 |   533182 |    25925     43 |      618 |      316
1742.35/1742.85	c 1742s |      19 |   732118 |   533582 |    25925     43 |      618 |      316
1744.65/1745.18	c 1744s |      19 |   732566 |   533982 |    25925     43 |      618 |      316
1747.25/1747.70	c 1747s |      19 |   732986 |   534382 |    25925     43 |      618 |      316
1749.85/1750.33	c 1750s |      19 |   733398 |   534782 |    25925     43 |      618 |      316
1752.25/1752.79	c 1752s |      19 |   733838 |   535182 |    25925     43 |      618 |      316
1754.85/1755.31	c 1755s |      19 |   734269 |   535582 |    25925     43 |      618 |      316
1757.45/1757.92	c 1757s |      19 |   734695 |   535982 |    25925     43 |      618 |      316
1760.14/1760.68	c 1760s |      19 |   735017 |   536282 |    25925     44 |      618 |      316
1762.24/1762.74	c 1762s |      19 |   735445 |   536682 |    25925     44 |      618 |      316
1764.34/1764.83	c 1764s |      19 |   735861 |   537082 |    25925     44 |      618 |      316
1766.74/1767.23	c 1766s |      19 |   736399 |   537582 |    25925     44 |      618 |      316
1768.84/1769.31	c 1769s |      19 |   736843 |   537982 |    25925     44 |      618 |      316
1770.94/1771.48	c 1771s |      19 |   737275 |   538382 |    25925     44 |      618 |      316
1773.14/1773.60	c 1773s |      19 |   737838 |   538882 |    25925     44 |      618 |      316
1775.44/1775.90	c 1775s |      19 |   738393 |   539382 |    25925     44 |      618 |      316
1777.74/1778.21	c 1777s |      19 |   738943 |   539882 |    25925     44 |      618 |      316
1780.24/1780.71	c 1780s |      19 |   739491 |   540382 |    25925     44 |      618 |      316
1782.54/1783.08	c 1782s |      19 |   740034 |   540882 |    25925     44 |      618 |      316
1784.74/1785.22	c 1784s |      19 |   740457 |   541282 |    25925     44 |      618 |      316
1786.74/1787.28	c 1787s |      19 |   740893 |   541682 |    25925     44 |      618 |      316
1789.14/1789.66	c 1789s |      19 |   741426 |   542182 |    25925     44 |      618 |      316
1791.34/1791.86	c 1791s |      19 |   741857 |   542582 |    25925     44 |      618 |      316
1793.54/1794.01	c 1793s |      19 |   742277 |   542982 |    25925     44 |      618 |      316
1795.84/1796.34	c 1796s |      19 |   742708 |   543382 |    25925     44 |      618 |      316
1797.94/1798.45	c 1798s |      19 |   743140 |   543782 |    25925     44 |      618 |      316

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.20 2.13 3/180 22875
/proc/meminfo: memFree=29635672/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 2922 0 0 0 0 0 0 0 20 0 4 0 28364058 800518144 3283 33554432000 4194304 16246674 140736349469776 140736349469200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 195951 3294 441 2943 0 192845 0
[pid=22875/tid=22876] ppid=22872 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 817295360 3351 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 822538240 3371 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28364058 827781120 3388 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.26 2.20 2.13 3/180 22875
/proc/meminfo: memFree=29635672/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 28274 0 0 0 6 3 0 0 20 0 4 0 28364058 1249447936 28573 33554432000 4194304 16246674 140736349469776 140736349469088 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 305041 28573 801 2943 0 301935 0
[pid=22875/tid=22876] ppid=22872 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1249447936 28573 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1249447936 28573 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1249447936 28573 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200505 s]
/proc/loadavg: 2.26 2.20 2.13 3/180 22875
/proc/meminfo: memFree=29635672/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 48483 0 0 0 14 5 0 0 20 0 4 0 28364058 1332285440 48782 33554432000 4194304 16246674 140736349469776 140736349451648 5913936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 325265 48782 844 2943 0 322159 0
[pid=22875/tid=22876] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 48782 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 48782 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 48782 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300469 s]
/proc/loadavg: 2.26 2.20 2.13 3/180 22875
/proc/meminfo: memFree=29635672/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 50701 0 0 0 23 6 0 0 20 0 4 0 28364058 1332285440 51000 33554432000 4194304 16246674 140736349469776 140736349451648 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 325265 51004 884 2943 0 322159 0
[pid=22875/tid=22876] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 51007 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 51010 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 51013 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700387 s]
/proc/loadavg: 2.26 2.20 2.13 3/180 22875
/proc/meminfo: memFree=29635672/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 101201 0 0 0 55 14 0 0 20 0 4 0 28364058 1332285440 101500 33554432000 4194304 16246674 140736349469776 140736349451648 13194563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 325265 101513 884 2943 0 322159 0
[pid=22875/tid=22876] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 101520 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 101529 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 101537 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50037 s]
/proc/loadavg: 2.26 2.20 2.13 3/184 22879
/proc/meminfo: memFree=29024196/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 203205 0 0 0 122 27 0 0 20 0 4 0 28364058 1332285440 203505 33554432000 4194304 16246674 140736349469776 140736349451648 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 325265 203520 884 2943 0 322159 0
[pid=22875/tid=22876] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 203530 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 203532 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1332285440 203534 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10035 s]
/proc/loadavg: 2.24 2.20 2.13 3/184 22879
/proc/meminfo: memFree=28595768/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 260336 0 0 0 273 36 0 0 20 0 4 0 28364058 1344868352 260635 33554432000 4194304 16246674 140736349469776 140736349451648 5601494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 328337 260635 890 2943 0 325231 0
[pid=22875/tid=22876] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 260635 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 260635 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 260635 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30039 s]
/proc/loadavg: 2.24 2.20 2.13 4/184 22879
/proc/meminfo: memFree=28558692/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 269524 0 0 0 592 37 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140736349451648 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 328337 269823 891 2943 0 325231 0
[pid=22875/tid=22876] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.27 2.21 2.13 3/184 22879
/proc/meminfo: memFree=28558756/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 269524 0 0 0 1232 37 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140736349451648 5532293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 328337 269823 891 2943 0 325231 0
[pid=22875/tid=22876] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269823 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.23 2.20 2.13 3/184 22901
/proc/meminfo: memFree=28558380/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 269525 0 0 0 2511 37 0 0 20 0 4 0 28364058 1344868352 269826 33554432000 4194304 16246674 140736349469776 140736349451648 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 328337 269826 891 2943 0 325231 0
[pid=22875/tid=22876] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269826 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269826 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269826 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.22 2.20 2.13 4/184 22902
/proc/meminfo: memFree=28559488/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 269529 0 0 0 5071 37 0 0 20 0 4 0 28364058 1344868352 269827 33554432000 4194304 16246674 140736349469776 140736349451648 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 328337 269827 892 2943 0 325231 0
[pid=22875/tid=22876] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269827 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269827 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1344868352 269827 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.31 2.22 2.14 3/183 22903
/proc/meminfo: memFree=28552276/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 271338 0 0 0 10190 38 0 0 20 0 4 0 28364058 1353256960 271625 33554432000 4194304 16246674 140736349469776 140736349451648 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 330385 271625 892 2943 0 327279 0
[pid=22875/tid=22876] ppid=22872 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1353256960 271625 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1353256960 271625 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1353256960 271625 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.18 2.17 2.14 4/183 23032
/proc/meminfo: memFree=28539336/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1361.9 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 136145 45 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.12 2.15 2.14 3/183 23033
/proc/meminfo: memFree=28531664/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1421.9 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 142145 45 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.24 2.18 2.15 3/183 23034
/proc/meminfo: memFree=28531280/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1481.88 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 148143 45 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.29 2.20 2.16 3/183 23035
/proc/meminfo: memFree=28531164/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1541.88 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 154143 45 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5721922 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.28 2.21 2.16 3/183 23037
/proc/meminfo: memFree=28531052/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1601.87 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 160141 46 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.18 2.20 2.16 3/183 23038
/proc/meminfo: memFree=28531036/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1661.85 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 166139 46 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 2.16 3/183 23039
/proc/meminfo: memFree=28530668/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1721.85 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 172138 47 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.26 2.21 2.17 3/184 23043
/proc/meminfo: memFree=28529864/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1781.84 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 178137 47 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349468872 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.22 2.17 3/184 23043
/proc/meminfo: memFree=28530344/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1800.04 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 179957 47 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5712188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1337924

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.22 2.17 3/184 23043
/proc/meminfo: memFree=28530344/32872528 swapFree=1085692/1157232
[pid=22875] ppid=22872 vsize=1337924 CPUtime=1800.04 cores=0,2,4,6
/proc/22875/stat : 22875 (toysat) R 22872 22875 21062 0 -1 4202496 275991 0 0 0 179957 47 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140736349451648 5712188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22875/statm: 334481 275959 892 2943 0 331375 0
[pid=22875/tid=22876] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22876/stat : 22876 (toysat) S 22872 22875 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536212073712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22875/tid=22877] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22877/stat : 22877 (toysat) S 22872 22875 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536201583856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22875/tid=22878] ppid=22872 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/22875/task/22878/stat : 22878 (toysat) S 22872 22875 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28364058 1370034176 275959 33554432000 4194304 16246674 140736349469776 140536191110320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1337924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.58
CPU system time (s): 0.474927
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.474927
maximum resident set size= 1103836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275991
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= 348
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5883 second user time and 6.92295 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 17:00:44
IDJOB=4116013
IDBENCH=109417
IDSOLVER=2542
FILE ID=node114/4116013-1466953244
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= e47660c9bcfbe80f9ef1db1b64cb3151
RANDOM SEED=557568298

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29636200 kB
Buffers:           19276 kB
Cached:           218348 kB
SwapCached:        38932 kB
Active:          1163288 kB
Inactive:         212148 kB
Active(anon):    1102448 kB
Inactive(anon):    37756 kB
Active(file):      60840 kB
Inactive(file):   174392 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16740 kB
Writeback:             0 kB
AnonPages:       2294196 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             566564 kB
SReclaimable:      10676 kB
SUnreclaim:       555888 kB
KernelStack:        1528 kB
PageTables:         8488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2401780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 17:30:45