Trace number 4093413

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.07 1800.36

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MD5SUM6ce7da05711cce00ec3b2d5a1c7699c2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.1
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints43
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 2285
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2284
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
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-16T15:39:35+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","--wbo","--search=bcd2","HOME/instance-4093413-1466084374.wbo"]
0.00/0.01	c use --random-gen="1172990581 297180153 179661389 1925981414 3366232339 392498183 294160731 4002378261 1969331473 623590966 3590494806 3208113839 3396312564 1629169723 2727725750 1153214214 2475246616 447842977 3436577470 2701919836 2689339016 869355992 3938689267 695596486 424888343 3868711173 4217598517 3509037218 1830206906 1254635210 3940924511 3861459396 4009099526 3607336627 4182272257 1098543548 3193827928 1767753845 2411631084 1298361764 3478215960 2441737311 2474497743 2323178074 2713181103 3104701845 1629538477 1617082612 1194518691 911488440 1975358620 499165336 1086528983 3320415213 1339430390 43869903 634181396 2955225520 3712145238 669267463 1244264952 2418153621 1273541176 2326050231 1586689682 1338635210 3529411974 3448352302 2413771274 1294054963 3002027467 3892663395 3719479142 2609830243 2985402419 2052818969 1891951404 2000290185 896171291 1724893243 3252215663 1271196366 2152964241 1748566723 2620315700 2401979727 3557473671 746056181 2964549238 2934269665 1820574743 2607668131 2884221618 4118472498 3691798445 938657568 1135551453 2416263743 1520658156 2663795723 2537101986 2593607787 2420679395 1817208070 3876290587 3815263155 2730355495 866564945 4082634861 2767197232 1121169674 2207638731 1261869981 2632361317 3758224178 1855599938 2193767010 1200324489 3779033564 798694639 3569123557 3835673718 868085930 2255730414 3883814794 2511977040 1591016514 3813432478 314999682 1757514801 1727905339 1972198807 466549686 1771000431 2098144533 2325224663 196342659 3634260945 995516992 2207883095 3185057467 3769096031 1588406016 793014531 1331770067 241644681 482551864 1481686818 282396072 836811430 4031325095 307249369 2565964389 24010913 3592084841 3526854622 3144367207 1066772045 1514341149 3714803478 3565938505 3804161500 1683601541 3639662994 1408346459 55361195 1556345718 791373690 1221221691 2729466061 747132989 4018950769 577134170 909932152 4123173744 2813043894 2034364752 2844789177 3716970162 1812773102 2741901692 2958258856 1936842260 3656570392 3945287112 1542058820 471605252 2884690508 2189595371 575479834 2816242741 4040095397 2208314607 4219137969 2953705990 2872816134 2704287602 2177783749 831537478 2586976686 1799143210 2270936914 4079634474 299757688 4255776249 3044274654 2757422725 2056715580 1726801152 1811648382 118862234 1840587876 3820234720 3442279852 4009618637 2396106388 268561986 1829812174 2767213897 702689070 2838002534 3460588217 4283672632 2756109051 1930155967 589797793 3413970018 3261300385 488101287 3090214612 855268263 720324010 2176086152 154522081 2354045621 3741118123 1767972186 128187023 1624265859 2742202304 929377658 2814430973 11192930 2038552463 3900848847 2900930725 2983387891 2268698064 2723301990 3261826310 1590093042 854303465 2271114224 1462704481 1675892877 307654497 255 362436" option to reproduce the execution
0.19/0.24	c #vars 4970
0.19/0.24	c #constraints 141
0.19/0.27	c BCD2: Hardening is enabled.
0.19/0.27	c BCD2: BiasedSearch is enabled.
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     1718      0 |        0 |        0
0.29/0.34	c  0.1s |       1 |      230 |      100 |     1718      0 |        0 |        0
0.29/0.36	c  0.1s |       1 |     3312 |      101 |     1890      0 |        0 |        0
0.29/0.36	c #cpu_time = 0.097s
0.29/0.36	c #wall_clock_time = 0.097s
0.29/0.36	c #decision = 3312
0.29/0.36	c #random_decision = 12
0.29/0.36	c #conflict = 101
0.29/0.36	c #restart = 1
0.29/0.36	o 1420
0.29/0.37	c BCD2: updating upper bound: 2284 -> 1419
0.29/0.37	c BCD2: 0 <= obj <= 1419
0.29/0.37	c BCD2: #cores=0, #unrelaxed=43, #relaxed=0, #hardened=0
0.29/0.37	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.37	c Solving starts ...
0.29/0.37	c ============================[ Search Statistics ]============================
0.29/0.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.37	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.37	c =============================================================================
0.29/0.37	c  0.0s |       0 |        0 |        0 |     1890      0 |        0 |        0
0.49/0.52	c  0.2s |       1 |     1930 |      100 |     1890      0 |        0 |        0
0.79/0.82	c  0.5s |       2 |     4276 |      250 |     2079      0 |        0 |        0
1.20/1.28	c  0.9s |       3 |     7683 |      475 |     2287      0 |        0 |        0
1.79/1.82	c  1.5s |       4 |    11283 |      813 |     2516      0 |        0 |        0
2.59/2.66	c  2.3s |       5 |    14633 |     1320 |     2768      0 |        0 |        0
3.99/4.01	c  3.6s |       6 |    18005 |     2081 |     3045      0 |        0 |        0
5.99/6.02	c  5.7s |       7 |    21801 |     3223 |     3350      0 |        0 |        0
8.19/8.22	c  7.9s |       7 |    25596 |     4323 |     3350      0 |        0 |        0
10.18/10.24	c  9.9s |       7 |    27396 |     4923 |     3686      0 |        0 |        0
10.28/10.31	c  9.9s |       8 |    27524 |     4936 |     3686      0 |        0 |        0
12.28/12.32	c 12.0s |       8 |    31333 |     5836 |     3686      1 |        0 |        0
14.30/14.36	c 14.0s |       8 |    32339 |     6736 |     3686      1 |        0 |        0
16.09/16.17	c 15.8s |       9 |    33240 |     7506 |     4055      1 |        0 |        0
18.29/18.37	c 18.0s |       9 |    37139 |     8406 |     4055      2 |        0 |        0
20.49/20.54	c 20.2s |       9 |    38110 |     9006 |     4055      2 |        0 |        0
22.69/22.74	c 22.4s |       9 |    39018 |     9606 |     4055      2 |        0 |        0
24.68/24.76	c 24.4s |       9 |    39690 |    10206 |     4055      2 |        0 |        0
26.88/26.96	c 26.6s |       9 |    40444 |    10806 |     4055      2 |        0 |        0
29.19/29.20	c 28.8s |       9 |    41003 |    11306 |     4461      2 |        0 |        0
29.39/29.46	c 29.1s |      10 |    41076 |    11361 |     4461      2 |        0 |        0
31.49/31.55	c 31.2s |      10 |    48775 |    12261 |     4461      3 |        0 |        0
33.59/33.62	c 33.3s |      10 |    50007 |    13361 |     4461      3 |        0 |        0
35.69/35.73	c 35.4s |      10 |    51006 |    14261 |     4461      3 |        0 |        0
37.89/37.98	c 37.6s |      10 |    51940 |    15061 |     4461      3 |        0 |        0
40.08/40.15	c 39.8s |      10 |    52707 |    15761 |     4461      3 |        0 |        0
42.29/42.33	c 42.0s |      10 |    53486 |    16461 |     4461      3 |        0 |        0
44.48/44.50	c 44.1s |      11 |    54241 |    17144 |     4908      3 |        0 |        0
46.48/46.56	c 46.2s |      11 |    58422 |    17944 |     4908      4 |        0 |        0
48.49/48.59	c 48.2s |      11 |    59564 |    18944 |     4908      4 |        0 |        0
50.69/50.75	c 50.4s |      11 |    60443 |    19744 |     4908      4 |        0 |        0
52.69/52.75	c 52.4s |      11 |    61238 |    20444 |     4908      4 |        0 |        0
54.69/54.78	c 54.4s |      11 |    61994 |    21144 |     4908      4 |        0 |        0
56.98/57.04	c 56.7s |      11 |    62757 |    21844 |     4908      4 |        0 |        0
59.08/59.15	c 58.8s |      11 |    63422 |    22444 |     4908      4 |        0 |        0
61.28/61.35	c 61.0s |      11 |    64078 |    23044 |     4908      5 |        0 |        0
63.68/63.72	c 63.4s |      11 |    64825 |    23744 |     4908      5 |        0 |        0
65.88/65.95	c 65.6s |      11 |    65457 |    24344 |     4908      5 |        0 |        0
67.98/68.06	c 67.7s |      11 |    66087 |    24944 |     4908      5 |        0 |        0
69.98/70.08	c 69.7s |      11 |    66764 |    25544 |     4908      5 |        0 |        0
70.98/71.02	c 70.7s |      12 |    67072 |    25819 |     5399      5 |        0 |        0
73.18/73.26	c 72.9s |      12 |    70623 |    26619 |     5399      6 |        0 |        0
75.38/75.40	c 75.0s |      12 |    71503 |    27419 |     5399      6 |        0 |        0
77.48/77.51	c 77.1s |      12 |    72537 |    28319 |     5399      6 |        0 |        0
79.58/79.64	c 79.3s |      12 |    73450 |    29119 |     5399      6 |        0 |        0
81.58/81.66	c 81.3s |      12 |    74254 |    29819 |     5399      6 |        0 |        0
83.78/83.84	c 83.5s |      12 |    75051 |    30519 |     5399      6 |        0 |        0
85.98/86.07	c 85.7s |      12 |    75817 |    31219 |     5399      6 |        0 |        0
88.09/88.19	c 87.8s |      12 |    76501 |    31819 |     5399      6 |        0 |        0
90.18/90.22	c 89.9s |      12 |    77203 |    32419 |     5399      7 |        0 |        0
92.38/92.44	c 92.1s |      12 |    77989 |    33119 |     5399      7 |        0 |        0
94.48/94.50	c 94.1s |      12 |    78686 |    33719 |     5399      7 |        0 |        0
96.68/96.73	c 96.4s |      12 |    79382 |    34319 |     5399      7 |        0 |        0
98.68/98.76	c 98.4s |      12 |    80086 |    34919 |     5399      7 |        0 |        0
100.77/100.89	c  100s |      12 |    80763 |    35519 |     5399      7 |        0 |        0
102.87/102.99	c  102s |      12 |    81449 |    36119 |     5399      7 |        0 |        0
105.17/105.20	c  104s |      12 |    82129 |    36719 |     5399      7 |        0 |        0
107.58/107.65	c  107s |      12 |    82701 |    37219 |     5399      8 |        0 |        0
109.78/109.86	c  109s |      12 |    83352 |    37819 |     5399      8 |        0 |        0
112.08/112.13	c  111s |      12 |    84315 |    38619 |     5939      8 |        0 |        0
112.77/112.84	c  112s |      13 |    84552 |    38832 |     5939      8 |        0 |        0
114.98/115.06	c  114s |      13 |    87758 |    39632 |     5939      9 |        0 |        0
116.98/117.08	c  116s |      13 |    88657 |    40432 |     5939      9 |        0 |        0
119.27/119.33	c  118s |      13 |    89538 |    41232 |     5939      9 |        0 |        0
121.57/121.60	c  121s |      13 |    90445 |    42032 |     5939      9 |        0 |        0
123.67/123.74	c  123s |      13 |    91201 |    42732 |     5939      9 |        0 |        0
125.87/125.93	c  125s |      13 |    91867 |    43332 |     5939      9 |        0 |        0
127.97/128.07	c  127s |      13 |    92551 |    43932 |     5939      9 |        0 |        0
130.07/130.19	c  129s |      13 |    93208 |    44532 |     5939      9 |        0 |        0
132.27/132.33	c  131s |      13 |    93877 |    45132 |     5939      9 |        0 |        0
134.37/134.49	c  134s |      13 |    94558 |    45732 |     5939      9 |        0 |        0
136.57/136.64	c  136s |      13 |    95105 |    46232 |     5939     10 |        0 |        0
138.67/138.74	c  138s |      13 |    95645 |    46732 |     5939     10 |        0 |        0
140.66/140.78	c  140s |      13 |    96184 |    47232 |     5939     10 |        0 |        0
142.98/143.04	c  142s |      13 |    96829 |    47832 |     5939     10 |        0 |        0
145.28/145.39	c  145s |      13 |    97479 |    48432 |     5939     10 |        0 |        0
147.57/147.67	c  147s |      13 |    98125 |    49032 |     5939     10 |        0 |        0
149.87/149.93	c  149s |      13 |    98875 |    49632 |     5939     10 |        0 |        0
152.27/152.30	c  151s |      13 |    99535 |    50232 |     5939     10 |        0 |        0
154.26/154.39	c  154s |      13 |   100122 |    50732 |     5939     10 |        0 |        0
156.46/156.55	c  156s |      13 |   100670 |    51232 |     5939     10 |        0 |        0
158.67/158.72	c  158s |      13 |   101111 |    51632 |     5939     11 |        0 |        0
160.68/160.73	c  160s |      13 |   101677 |    52132 |     5939     11 |        0 |        0
162.88/162.99	c  162s |      13 |   102222 |    52632 |     5939     11 |        0 |        0
165.27/165.31	c  164s |      13 |   102909 |    53232 |     5939     11 |        0 |        0
167.56/167.62	c  167s |      13 |   103574 |    53832 |     5939     11 |        0 |        0
169.86/169.94	c  169s |      13 |   104230 |    54432 |     5939     11 |        0 |        0
172.17/172.27	c  171s |      13 |   104918 |    55032 |     5939     11 |        0 |        0
174.37/174.40	c  174s |      13 |   105493 |    55532 |     5939     11 |        0 |        0
176.37/176.48	c  176s |      13 |   106024 |    56032 |     5939     11 |        0 |        0
178.56/178.61	c  178s |      13 |   106587 |    56532 |     5939     11 |        0 |        0
181.16/181.20	c  180s |      13 |   107137 |    57032 |     5939     12 |        0 |        0
183.37/183.47	c  183s |      13 |   107692 |    57532 |     5939     12 |        0 |        0
185.47/185.54	c  185s |      13 |   108372 |    58132 |     6533     12 |        0 |        0
186.27/186.37	c  186s |      14 |   108648 |    58352 |     6533     12 |        0 |        0
188.47/188.51	c  188s |      14 |   112482 |    59752 |     6533     13 |        0 |        0
190.46/190.59	c  190s |      14 |   114100 |    61152 |     6533     13 |        0 |        0
192.57/192.67	c  192s |      14 |   115718 |    62552 |     6533     13 |        0 |        0
194.67/194.74	c  194s |      14 |   117032 |    63652 |     6533     13 |        0 |        0
196.76/196.88	c  196s |      14 |   118234 |    64652 |     6533     13 |        0 |        0
198.96/199.07	c  198s |      14 |   119361 |    65652 |     6533     13 |        0 |        0
201.06/201.16	c  200s |      14 |   120167 |    66352 |     6533     14 |        0 |        0
203.16/203.29	c  202s |      14 |   121191 |    67252 |     6533     14 |        0 |        0
205.26/205.34	c  204s |      14 |   122068 |    68052 |     6533     14 |        0 |        0
207.36/207.49	c  207s |      14 |   123070 |    68952 |     6533     14 |        0 |        0
209.56/209.60	c  209s |      14 |   123960 |    69752 |     6533     14 |        0 |        0
211.55/211.67	c  211s |      14 |   124727 |    70452 |     6533     14 |        0 |        0
213.65/213.73	c  213s |      14 |   125507 |    71152 |     6533     14 |        0 |        0
216.15/216.22	c  215s |      14 |   126439 |    71952 |     6533     15 |        0 |        0
218.25/218.33	c  217s |      14 |   127617 |    72952 |     6533     15 |        0 |        0
220.36/220.44	c  220s |      14 |   128609 |    73852 |     6533     15 |        0 |        0
222.46/222.54	c  222s |      14 |   129497 |    74652 |     6533     15 |        0 |        0
224.66/224.77	c  224s |      14 |   130409 |    75452 |     6533     15 |        0 |        0
226.85/226.95	c  226s |      14 |   131173 |    76152 |     6533     15 |        0 |        0
229.05/229.12	c  228s |      14 |   131960 |    76852 |     6533     15 |        0 |        0
231.35/231.41	c  231s |      14 |   132746 |    77552 |     6533     16 |        0 |        0
233.55/233.64	c  233s |      14 |   133504 |    78252 |     6533     16 |        0 |        0
235.75/235.84	c  235s |      14 |   134578 |    79152 |     6533     16 |        0 |        0
237.85/237.99	c  237s |      14 |   135701 |    80052 |     6533     16 |        0 |        0
240.05/240.11	c  239s |      14 |   136711 |    80852 |     6533     16 |        0 |        0
242.16/242.27	c  241s |      14 |   137633 |    81652 |     6533     16 |        0 |        0
244.36/244.41	c  244s |      14 |   138448 |    82352 |     6533     16 |        0 |        0
246.96/247.07	c  246s |      14 |   139333 |    83152 |     6533     17 |        0 |        0
249.15/249.22	c  248s |      14 |   140115 |    83852 |     6533     17 |        0 |        0
251.25/251.36	c  250s |      14 |   141009 |    84652 |     6533     17 |        0 |        0
253.25/253.39	c  253s |      14 |   141943 |    85452 |     6533     17 |        0 |        0
255.55/255.61	c  255s |      14 |   143043 |    86352 |     6533     17 |        0 |        0
257.55/257.69	c  257s |      14 |   143799 |    87052 |     7187     17 |        0 |        0
259.45/259.54	c  259s |      15 |   144442 |    87632 |     7187     17 |        0 |        0
261.45/261.54	c  261s |      15 |   147254 |    88332 |     7187     18 |        0 |        0
263.45/263.57	c  263s |      15 |   148523 |    89432 |     7187     18 |        0 |        0
265.55/265.66	c  265s |      15 |   149543 |    90332 |     7187     18 |        0 |        0
267.55/267.68	c  267s |      15 |   150412 |    91132 |     7187     18 |        0 |        0
269.75/269.82	c  269s |      15 |   151404 |    91932 |     7187     18 |        0 |        0
271.85/271.94	c  271s |      15 |   152489 |    92832 |     7187     18 |        0 |        0
273.95/274.09	c  273s |      15 |   153564 |    93632 |     7187     18 |        0 |        0
276.15/276.20	c  275s |      15 |   154309 |    94332 |     7187     18 |        0 |        0
278.25/278.33	c  277s |      15 |   155027 |    94932 |     7187     19 |        0 |        0
280.65/280.71	c  280s |      15 |   155856 |    95632 |     7187     19 |        0 |        0
282.66/282.73	c  282s |      15 |   156545 |    96232 |     7187     19 |        0 |        0
284.65/284.78	c  284s |      15 |   157258 |    96832 |     7187     19 |        0 |        0
286.85/286.99	c  286s |      15 |   157909 |    97432 |     7187     19 |        0 |        0
288.95/289.01	c  288s |      15 |   158488 |    97932 |     7187     19 |        0 |        0
291.05/291.20	c  290s |      15 |   159225 |    98532 |     7187     19 |        0 |        0
293.34/293.45	c  293s |      15 |   159797 |    99032 |     7187     19 |        0 |        0
295.74/295.88	c  295s |      15 |   160463 |    99632 |     7187     19 |        0 |        0
298.15/298.26	c  297s |      15 |   161137 |   100232 |     7187     19 |        0 |        0
300.36/300.49	c  300s |      15 |   161569 |   100632 |     7187     20 |        0 |        0
302.55/302.65	c  302s |      15 |   162258 |   101232 |     7187     20 |        0 |        0
304.65/304.79	c  304s |      15 |   163144 |   101932 |     7187     20 |        0 |        0
306.74/306.90	c  306s |      15 |   163983 |   102632 |     7187     20 |        0 |        0
308.95/309.07	c  308s |      15 |   164680 |   103232 |     7187     20 |        0 |        0
311.14/311.20	c  310s |      15 |   165343 |   103832 |     7187     20 |        0 |        0
313.24/313.34	c  312s |      15 |   166075 |   104432 |     7187     20 |        0 |        0
315.54/315.66	c  315s |      15 |   166760 |   105032 |     7187     20 |        0 |        0
317.64/317.74	c  317s |      15 |   167324 |   105532 |     7187     20 |        0 |        0
319.84/319.90	c  319s |      15 |   167888 |   106032 |     7187     20 |        0 |        0
322.55/322.66	c  322s |      15 |   168470 |   106532 |     7187     21 |        0 |        0
324.64/324.73	c  324s |      15 |   169180 |   107132 |     7187     21 |        0 |        0
326.84/326.99	c  326s |      15 |   170020 |   107832 |     7187     21 |        0 |        0
329.14/329.22	c  328s |      15 |   170843 |   108532 |     7187     21 |        0 |        0
331.24/331.35	c  330s |      15 |   171612 |   109132 |     7187     21 |        0 |        0
333.24/333.40	c  333s |      15 |   172309 |   109732 |     7187     21 |        0 |        0
335.64/335.70	c  335s |      15 |   172998 |   110332 |     7187     21 |        0 |        0
337.65/337.71	c  337s |      15 |   173685 |   110932 |     7187     21 |        0 |        0
339.85/339.91	c  339s |      15 |   174387 |   111532 |     7187     21 |        0 |        0
342.05/342.13	c  341s |      15 |   175084 |   112132 |     7187     21 |        0 |        0
344.34/344.41	c  344s |      15 |   175540 |   112532 |     7187     22 |        0 |        0
346.45/346.51	c  346s |      15 |   176215 |   113132 |     7187     22 |        0 |        0
348.54/348.63	c  348s |      15 |   176891 |   113732 |     7187     22 |        0 |        0
350.54/350.67	c  350s |      15 |   177556 |   114332 |     7187     22 |        0 |        0
352.74/352.89	c  352s |      15 |   178299 |   114932 |     7187     22 |        0 |        0
355.03/355.16	c  354s |      15 |   178964 |   115532 |     7187     22 |        0 |        0
357.23/357.33	c  356s |      15 |   179645 |   116132 |     7187     22 |        0 |        0
359.44/359.56	c  359s |      15 |   180329 |   116732 |     7187     22 |        0 |        0
361.74/361.81	c  361s |      15 |   181053 |   117332 |     7187     22 |        0 |        0
364.04/364.15	c  363s |      15 |   181740 |   117932 |     7187     22 |        0 |        0
366.03/366.17	c  365s |      15 |   182318 |   118432 |     7187     22 |        0 |        0
368.03/368.19	c  367s |      15 |   182777 |   118832 |     7187     23 |        0 |        0
370.23/370.38	c  370s |      15 |   183443 |   119432 |     7187     23 |        0 |        0
372.43/372.59	c  372s |      15 |   184122 |   120032 |     7187     23 |        0 |        0
374.73/374.86	c  374s |      15 |   184881 |   120632 |     7187     23 |        0 |        0
377.04/377.17	c  376s |      15 |   185622 |   121232 |     7187     23 |        0 |        0
379.13/379.21	c  378s |      15 |   186220 |   121732 |     7187     23 |        0 |        0
381.23/381.33	c  380s |      15 |   186823 |   122232 |     7187     23 |        0 |        0
383.33/383.45	c  383s |      15 |   187419 |   122732 |     7187     23 |        0 |        0
385.53/385.63	c  385s |      15 |   187965 |   123232 |     7187     23 |        0 |        0
387.84/387.94	c  387s |      15 |   188509 |   123732 |     7187     23 |        0 |        0
390.23/390.35	c  389s |      15 |   189084 |   124232 |     7187     23 |        0 |        0
392.43/392.54	c  392s |      15 |   189528 |   124632 |     7187     24 |        0 |        0
394.53/394.61	c  394s |      15 |   190133 |   125132 |     7187     24 |        0 |        0
396.83/396.93	c  396s |      15 |   190816 |   125732 |     7187     24 |        0 |        0
398.93/399.04	c  398s |      15 |   191479 |   126332 |     7187     24 |        0 |        0
401.13/401.25	c  400s |      15 |   192153 |   126932 |     7187     24 |        0 |        0
403.13/403.29	c  402s |      15 |   192688 |   127432 |     7187     24 |        0 |        0
405.23/405.34	c  404s |      15 |   193262 |   127932 |     7187     24 |        0 |        0
407.53/407.64	c  407s |      15 |   193936 |   128532 |     7187     24 |        0 |        0
409.83/409.90	c  409s |      15 |   194512 |   129032 |     7187     24 |        0 |        0
412.22/412.32	c  411s |      15 |   195040 |   129532 |     7187     24 |        0 |        0
414.74/414.82	c  414s |      15 |   195596 |   130032 |     7187     24 |        0 |        0
416.94/417.05	c  416s |      15 |   195952 |   130332 |     7187     25 |        0 |        0
419.04/419.19	c  418s |      15 |   196613 |   130932 |     7906     25 |        0 |        0
421.24/421.36	c  420s |      15 |   197272 |   131532 |     7906     25 |        0 |        0
421.34/421.44	c  421s |      16 |   197301 |   131552 |     7906     25 |        0 |        0
423.33/423.46	c  423s |      16 |   200073 |   132352 |     7906     25 |        0 |        0
425.42/425.52	c  425s |      16 |   201205 |   133352 |     7906     25 |        0 |        0
427.52/427.69	c  427s |      16 |   202233 |   134252 |     7906     25 |        0 |        0
429.53/429.69	c  429s |      16 |   203007 |   134952 |     7906     25 |        0 |        0
431.73/431.80	c  431s |      16 |   203906 |   135752 |     7906     25 |        0 |        0
433.93/434.09	c  433s |      16 |   204812 |   136552 |     7906     25 |        0 |        0
436.02/436.16	c  435s |      16 |   205386 |   137052 |     7906     26 |        0 |        0
438.13/438.22	c  437s |      16 |   206058 |   137652 |     7906     26 |        0 |        0
440.23/440.39	c  440s |      16 |   206873 |   138352 |     7906     26 |        0 |        0
442.53/442.60	c  442s |      16 |   207550 |   138952 |     7906     26 |        0 |        0
444.53/444.62	c  444s |      16 |   208090 |   139452 |     7906     26 |        0 |        0
446.53/446.68	c  446s |      16 |   208643 |   139952 |     7906     26 |        0 |        0
448.62/448.73	c  448s |      16 |   209193 |   140452 |     7906     26 |        0 |        0
451.03/451.16	c  450s |      16 |   209763 |   140952 |     7906     26 |        0 |        0
453.33/453.48	c  453s |      16 |   210316 |   141452 |     7906     26 |        0 |        0
455.52/455.65	c  455s |      16 |   210883 |   141952 |     7906     26 |        0 |        0
457.82/457.91	c  457s |      16 |   211430 |   142452 |     7906     26 |        0 |        0
460.22/460.36	c  459s |      16 |   211991 |   142952 |     7906     26 |        0 |        0
462.82/462.95	c  462s |      16 |   212546 |   143452 |     7906     27 |        0 |        0
465.02/465.15	c  464s |      16 |   213178 |   144052 |     7906     27 |        0 |        0
467.53/467.64	c  467s |      16 |   213844 |   144652 |     7906     27 |        0 |        0
469.52/469.68	c  469s |      16 |   214397 |   145152 |     7906     27 |        0 |        0
471.72/471.81	c  471s |      16 |   214961 |   145652 |     7906     27 |        0 |        0
474.03/474.17	c  473s |      16 |   215491 |   146152 |     7906     27 |        0 |        0
476.33/476.43	c  476s |      16 |   216040 |   146652 |     7906     27 |        0 |        0
478.72/478.84	c  478s |      16 |   216743 |   147252 |     7906     27 |        0 |        0
480.91/481.06	c  480s |      16 |   217327 |   147752 |     7906     27 |        0 |        0
483.11/483.25	c  482s |      16 |   217856 |   148252 |     7906     27 |        0 |        0
485.22/485.38	c  485s |      16 |   218438 |   148752 |     7906     27 |        0 |        0
487.61/487.72	c  487s |      16 |   218987 |   149252 |     7906     27 |        0 |        0
489.61/489.74	c  489s |      16 |   219412 |   149652 |     7906     27 |        0 |        0
491.92/492.03	c  491s |      16 |   219789 |   149952 |     7906     28 |        0 |        0
494.22/494.38	c  494s |      16 |   220604 |   150652 |     7906     28 |        0 |        0
496.52/496.65	c  496s |      16 |   221294 |   151252 |     7906     28 |        0 |        0
498.52/498.68	c  498s |      16 |   221848 |   151752 |     7906     28 |        0 |        0
500.81/500.92	c  500s |      16 |   222476 |   152252 |     7906     28 |        0 |        0
503.02/503.13	c  502s |      16 |   223052 |   152752 |     7906     28 |        0 |        0
505.11/505.27	c  504s |      16 |   223622 |   153252 |     7906     28 |        0 |        0
507.41/507.57	c  507s |      16 |   224199 |   153752 |     7906     28 |        0 |        0
509.71/509.89	c  509s |      16 |   224761 |   154252 |     7906     28 |        0 |        0
511.81/511.96	c  511s |      16 |   225195 |   154652 |     7906     28 |        0 |        0
514.11/514.28	c  513s |      16 |   225763 |   155152 |     7906     28 |        0 |        0
516.61/516.70	c  516s |      16 |   226316 |   155652 |     7906     28 |        0 |        0
518.81/518.92	c  518s |      16 |   226770 |   156052 |     7906     29 |        0 |        0
521.72/521.85	c  521s |      16 |   227229 |   156452 |     7906     29 |        0 |        0
523.81/523.96	c  523s |      16 |   227804 |   156952 |     7906     29 |        0 |        0
525.91/526.00	c  525s |      16 |   228347 |   157452 |     7906     29 |        0 |        0
528.21/528.32	c  527s |      16 |   229025 |   158052 |     7906     29 |        0 |        0
530.31/530.41	c  530s |      16 |   229581 |   158552 |     7906     29 |        0 |        0
532.32/532.50	c  532s |      16 |   230126 |   159052 |     7906     29 |        0 |        0
534.71/534.84	c  534s |      16 |   230803 |   159652 |     7906     29 |        0 |        0
537.21/537.30	c  536s |      16 |   231498 |   160252 |     7906     29 |        0 |        0
539.31/539.48	c  539s |      16 |   232043 |   160752 |     7906     29 |        0 |        0
541.71/541.85	c  541s |      16 |   232595 |   161252 |     7906     29 |        0 |        0
543.71/543.86	c  543s |      16 |   233019 |   161652 |     7906     29 |        0 |        0
545.71/545.88	c  545s |      16 |   233461 |   162052 |     7906     29 |        0 |        0
548.10/548.29	c  547s |      16 |   233882 |   162452 |     7906     30 |        0 |        0
550.51/550.62	c  550s |      16 |   234435 |   162952 |     7906     30 |        0 |        0
552.61/552.78	c  552s |      16 |   234969 |   163452 |     7906     30 |        0 |        0
554.80/554.92	c  554s |      16 |   235529 |   163952 |     7906     30 |        0 |        0
557.10/557.27	c  556s |      16 |   236195 |   164552 |     7906     30 |        0 |        0
559.31/559.45	c  559s |      16 |   236735 |   165052 |     7906     30 |        0 |        0
561.60/561.77	c  561s |      16 |   237281 |   165552 |     7906     30 |        0 |        0
563.90/564.01	c  563s |      16 |   237742 |   165952 |     7906     30 |        0 |        0
566.00/566.15	c  565s |      16 |   238302 |   166452 |     7906     30 |        0 |        0
568.21/568.34	c  567s |      16 |   238838 |   166952 |     7906     30 |        0 |        0
570.50/570.61	c  570s |      16 |   239386 |   167452 |     7906     30 |        0 |        0
572.80/572.98	c  572s |      16 |   239925 |   167952 |     7906     30 |        0 |        0
575.00/575.14	c  574s |      16 |   240373 |   168352 |     7906     30 |        0 |        0
577.51/577.61	c  577s |      16 |   240818 |   168752 |     7906     31 |        0 |        0
579.61/579.77	c  579s |      16 |   241484 |   169352 |     7906     31 |        0 |        0
581.70/581.81	c  581s |      16 |   242024 |   169852 |     7906     31 |        0 |        0
583.80/583.95	c  583s |      16 |   242564 |   170352 |     7906     31 |        0 |        0
586.21/586.34	c  585s |      16 |   243102 |   170852 |     7906     31 |        0 |        0
588.50/588.66	c  588s |      16 |   243762 |   171452 |     7906     31 |        0 |        0
590.70/590.81	c  590s |      16 |   244297 |   171952 |     7906     31 |        0 |        0
592.81/592.99	c  592s |      16 |   244858 |   172452 |     7906     31 |        0 |        0
595.01/595.11	c  594s |      16 |   245391 |   172952 |     7906     31 |        0 |        0
597.21/597.31	c  596s |      16 |   245924 |   173452 |     7906     31 |        0 |        0
599.20/599.33	c  598s |      16 |   246366 |   173852 |     7906     31 |        0 |        0
601.20/601.33	c  600s |      16 |   246795 |   174252 |     7906     31 |        0 |        0
603.20/603.39	c  603s |      16 |   247234 |   174652 |     7906     31 |        0 |        0
605.60/605.73	c  605s |      16 |   247660 |   175052 |     7906     32 |        0 |        0
607.70/607.80	c  607s |      16 |   248202 |   175552 |     7906     32 |        0 |        0
609.79/609.97	c  609s |      16 |   248753 |   176052 |     7906     32 |        0 |        0
612.20/612.37	c  612s |      16 |   249398 |   176652 |     7906     32 |        0 |        0
614.40/614.55	c  614s |      16 |   249935 |   177152 |     7906     32 |        0 |        0
616.89/617.06	c  616s |      16 |   250467 |   177652 |     7906     32 |        0 |        0
618.90/619.08	c  618s |      16 |   250904 |   178052 |     7906     32 |        0 |        0
621.30/621.48	c  621s |      16 |   251448 |   178552 |     7906     32 |        0 |        0
623.71/623.82	c  623s |      16 |   252001 |   179052 |     7906     32 |        0 |        0
625.80/625.91	c  625s |      16 |   252450 |   179452 |     7906     32 |        0 |        0
628.20/628.33	c  627s |      16 |   252984 |   179952 |     7906     32 |        0 |        0
630.30/630.46	c  630s |      16 |   253424 |   180352 |     7906     32 |        0 |        0
632.69/632.80	c  632s |      16 |   253969 |   180852 |     7906     32 |        0 |        0
635.00/635.11	c  634s |      16 |   254523 |   181352 |     7906     32 |        0 |        0
637.40/637.50	c  637s |      16 |   254943 |   181752 |     7906     33 |        0 |        0
639.39/639.55	c  639s |      16 |   255416 |   182152 |     7906     33 |        0 |        0
641.69/641.85	c  641s |      16 |   255967 |   182652 |     7906     33 |        0 |        0
643.89/644.05	c  643s |      16 |   256514 |   183152 |     7906     33 |        0 |        0
646.29/646.40	c  646s |      16 |   257072 |   183652 |     7906     33 |        0 |        0
648.69/648.90	c  648s |      16 |   257603 |   184152 |     7906     33 |        0 |        0
651.10/651.23	c  650s |      16 |   258368 |   184752 |     7906     33 |        0 |        0
653.19/653.36	c  652s |      16 |   258984 |   185252 |     7906     33 |        0 |        0
655.50/655.68	c  655s |      16 |   259564 |   185752 |     7906     33 |        0 |        0
657.80/657.91	c  657s |      16 |   260126 |   186252 |     7906     33 |        0 |        0
659.79/659.91	c  659s |      16 |   260580 |   186652 |     7906     33 |        0 |        0
661.79/661.92	c  661s |      16 |   261040 |   187052 |     7906     33 |        0 |        0
663.99/664.19	c  663s |      16 |   261592 |   187552 |     7906     33 |        0 |        0
666.28/666.41	c  666s |      16 |   262043 |   187952 |     7906     34 |        0 |        0
668.59/668.70	c  668s |      16 |   262606 |   188452 |     7906     34 |        0 |        0
670.59/670.77	c  670s |      16 |   263154 |   188952 |     7906     34 |        0 |        0
672.88/673.03	c  672s |      16 |   263713 |   189452 |     7906     34 |        0 |        0
675.08/675.29	c  674s |      16 |   264247 |   189952 |     7906     34 |        0 |        0
677.28/677.46	c  677s |      16 |   264809 |   190452 |     7906     34 |        0 |        0
679.49/679.64	c  679s |      16 |   265357 |   190952 |     7906     34 |        0 |        0
682.09/682.20	c  681s |      16 |   265925 |   191452 |     7906     34 |        0 |        0
684.28/684.46	c  684s |      16 |   266594 |   192052 |     7906     34 |        0 |        0
686.30/686.48	c  686s |      16 |   267159 |   192552 |     7906     34 |        0 |        0
688.49/688.65	c  688s |      16 |   267703 |   193052 |     7906     34 |        0 |        0
690.69/690.83	c  690s |      16 |   268272 |   193552 |     7906     34 |        0 |        0
693.58/693.75	c  693s |      16 |   268841 |   194052 |     7906     35 |        0 |        0
695.69/695.82	c  695s |      16 |   269427 |   194552 |     7906     35 |        0 |        0
697.69/697.87	c  697s |      16 |   269972 |   195052 |     7906     35 |        0 |        0
699.98/700.11	c  699s |      16 |   270551 |   195552 |     7906     35 |        0 |        0
702.08/702.25	c  701s |      16 |   271116 |   196052 |     8697     35 |        0 |        0
704.29/704.47	c  704s |      16 |   271700 |   196552 |     8697     35 |        0 |        0
706.48/706.69	c  706s |      16 |   272267 |   197052 |     8697     35 |        0 |        0
708.29/708.45	c  708s |      17 |   272702 |   197432 |     8697     35 |        0 |        0
710.39/710.57	c  710s |      17 |   275483 |   198132 |     8697     36 |        0 |        0
712.58/712.78	c  712s |      17 |   276944 |   199232 |     8697     36 |        0 |        0
714.78/714.91	c  714s |      17 |   278041 |   200132 |     8697     36 |        0 |        0
716.88/717.03	c  716s |      17 |   278979 |   200932 |     8697     36 |        0 |        0
719.08/719.23	c  718s |      17 |   280000 |   201732 |     8697     36 |        0 |        0
721.28/721.49	c  721s |      17 |   281007 |   202532 |     8697     36 |        0 |        0
723.38/723.51	c  723s |      17 |   281711 |   203132 |     8697     36 |        0 |        0
725.38/725.53	c  725s |      17 |   282547 |   203832 |     8697     36 |        0 |        0
727.78/727.92	c  727s |      17 |   283370 |   204532 |     8697     36 |        0 |        0
730.08/730.20	c  729s |      17 |   284163 |   205232 |     8697     36 |        0 |        0
732.38/732.58	c  732s |      17 |   284847 |   205832 |     8697     36 |        0 |        0
734.68/734.89	c  734s |      17 |   285430 |   206332 |     8697     37 |        0 |        0
736.98/737.17	c  736s |      17 |   286091 |   206932 |     8697     37 |        0 |        0
739.18/739.40	c  739s |      17 |   286759 |   207532 |     8697     37 |        0 |        0
741.48/741.61	c  741s |      17 |   287469 |   208132 |     8697     37 |        0 |        0
743.78/743.98	c  743s |      17 |   288181 |   208732 |     8697     37 |        0 |        0
745.98/746.15	c  745s |      17 |   288927 |   209332 |     8697     37 |        0 |        0
748.08/748.21	c  747s |      17 |   289620 |   209932 |     8697     37 |        0 |        0
750.18/750.38	c  750s |      17 |   290321 |   210532 |     8697     37 |        0 |        0
752.38/752.58	c  752s |      17 |   291010 |   211132 |     8697     37 |        0 |        0
754.58/754.70	c  754s |      17 |   291556 |   211632 |     8697     37 |        0 |        0
756.58/756.78	c  756s |      17 |   292125 |   212132 |     8697     37 |        0 |        0
758.68/758.85	c  758s |      17 |   292694 |   212632 |     8697     37 |        0 |        0
760.78/760.99	c  760s |      17 |   293036 |   212932 |     8697     38 |        0 |        0
763.07/763.27	c  762s |      17 |   293708 |   213532 |     8697     38 |        0 |        0
765.27/765.45	c  765s |      17 |   294391 |   214132 |     8697     38 |        0 |        0
767.47/767.64	c  767s |      17 |   294949 |   214632 |     8697     38 |        0 |        0
769.57/769.76	c  769s |      17 |   295506 |   215132 |     8697     38 |        0 |        0
771.67/771.81	c  771s |      17 |   296092 |   215632 |     8697     38 |        0 |        0
773.67/773.89	c  773s |      17 |   296659 |   216132 |     8697     38 |        0 |        0
776.08/776.21	c  775s |      17 |   297262 |   216632 |     8697     38 |        0 |        0
778.18/778.37	c  778s |      17 |   297967 |   217232 |     8697     38 |        0 |        0
780.38/780.52	c  780s |      17 |   298523 |   217732 |     8697     38 |        0 |        0
782.67/782.87	c  782s |      17 |   299077 |   218232 |     8697     38 |        0 |        0
784.97/785.14	c  784s |      17 |   299664 |   218732 |     8697     38 |        0 |        0
787.07/787.21	c  786s |      17 |   300211 |   219232 |     8697     38 |        0 |        0
789.27/789.48	c  789s |      17 |   300651 |   219632 |     8697     39 |        0 |        0
791.57/791.76	c  791s |      17 |   301315 |   220232 |     8697     39 |        0 |        0
793.87/794.09	c  793s |      17 |   301986 |   220832 |     8697     39 |        0 |        0
796.27/796.43	c  796s |      17 |   302654 |   221432 |     8697     39 |        0 |        0
798.37/798.51	c  798s |      17 |   303238 |   221932 |     8697     39 |        0 |        0
800.47/800.60	c  800s |      17 |   303808 |   222432 |     8697     39 |        0 |        0
802.67/802.90	c  802s |      17 |   304494 |   222932 |     8697     39 |        0 |        0
804.77/804.98	c  804s |      17 |   305069 |   223432 |     8697     39 |        0 |        0
806.87/807.01	c  806s |      17 |   305675 |   223932 |     8697     39 |        0 |        0
808.96/809.17	c  808s |      17 |   306293 |   224432 |     8697     39 |        0 |        0
811.26/811.41	c  811s |      17 |   306848 |   224932 |     8697     39 |        0 |        0
813.57/813.79	c  813s |      17 |   307689 |   225532 |     8697     39 |        0 |        0
815.67/815.87	c  815s |      17 |   308397 |   226032 |     8697     39 |        0 |        0
818.17/818.33	c  817s |      17 |   308913 |   226432 |     8697     40 |        0 |        0
820.26/820.46	c  820s |      17 |   309473 |   226932 |     8697     40 |        0 |        0
822.36/822.56	c  822s |      17 |   310101 |   227432 |     8697     40 |        0 |        0
824.57/824.72	c  824s |      17 |   310860 |   227932 |     8697     40 |        0 |        0
826.67/826.82	c  826s |      17 |   311506 |   228432 |     8697     40 |        0 |        0
828.77/828.93	c  828s |      17 |   312548 |   229032 |     8697     40 |        0 |        0
830.76/830.96	c  830s |      17 |   313329 |   229532 |     8697     40 |        0 |        0
832.86/833.09	c  832s |      17 |   313959 |   230032 |     8697     40 |        0 |        0
835.06/835.24	c  834s |      17 |   314530 |   230532 |     8697     40 |        0 |        0
837.26/837.49	c  837s |      17 |   315087 |   231032 |     8697     40 |        0 |        0
839.67/839.84	c  839s |      17 |   315774 |   231532 |     8697     40 |        0 |        0
841.67/841.89	c  841s |      17 |   316230 |   231932 |     8697     40 |        0 |        0
844.16/844.34	c  843s |      17 |   316815 |   232432 |     8697     40 |        0 |        0
846.36/846.55	c  846s |      17 |   317456 |   232932 |     8697     40 |        0 |        0
848.46/848.66	c  848s |      17 |   317906 |   233332 |     8697     41 |        0 |        0
850.66/850.86	c  850s |      17 |   318649 |   233932 |     8697     41 |        0 |        0
852.67/852.88	c  852s |      17 |   319304 |   234432 |     8697     41 |        0 |        0
854.87/855.02	c  854s |      17 |   320064 |   235032 |     8697     41 |        0 |        0
856.87/857.02	c  856s |      17 |   320617 |   235532 |     8697     41 |        0 |        0
859.07/859.21	c  858s |      17 |   321175 |   236032 |     8697     41 |        0 |        0
861.36/861.56	c  861s |      17 |   321826 |   236632 |     8697     41 |        0 |        0
863.66/863.87	c  863s |      17 |   322518 |   237232 |     8697     41 |        0 |        0
865.75/865.99	c  865s |      17 |   323097 |   237732 |     8697     41 |        0 |        0
868.05/868.21	c  867s |      17 |   323631 |   238232 |     8697     41 |        0 |        0
870.36/870.54	c  870s |      17 |   324160 |   238732 |     8697     41 |        0 |        0
872.66/872.86	c  872s |      17 |   324737 |   239232 |     8697     41 |        0 |        0
875.06/875.29	c  874s |      17 |   325293 |   239732 |     8697     41 |        0 |        0
877.46/877.65	c  877s |      17 |   325744 |   240132 |     8697     42 |        0 |        0
879.46/879.68	c  879s |      17 |   326320 |   240632 |     8697     42 |        0 |        0
881.66/881.80	c  881s |      17 |   326931 |   241132 |     8697     42 |        0 |        0
883.96/884.13	c  883s |      17 |   327725 |   241732 |     8697     42 |        0 |        0
886.06/886.22	c  885s |      17 |   328306 |   242232 |     8697     42 |        0 |        0
888.36/888.52	c  888s |      17 |   328964 |   242732 |     8697     42 |        0 |        0
890.65/890.81	c  890s |      17 |   329818 |   243332 |     8697     42 |        0 |        0
892.75/892.90	c  892s |      17 |   330514 |   243832 |     8697     42 |        0 |        0
894.85/895.06	c  894s |      17 |   331115 |   244332 |     8697     42 |        0 |        0
897.26/897.44	c  897s |      17 |   331802 |   244932 |     8697     42 |        0 |        0
899.36/899.55	c  899s |      17 |   332431 |   245432 |     8697     42 |        0 |        0
901.75/901.95	c  901s |      17 |   333009 |   245932 |     8697     42 |        0 |        0
904.16/904.37	c  904s |      17 |   333662 |   246432 |     8697     42 |        0 |        0
906.26/906.42	c  906s |      17 |   333987 |   246732 |     8697     43 |        0 |        0
908.36/908.50	c  908s |      17 |   334519 |   247232 |     8697     43 |        0 |        0
910.46/910.68	c  910s |      17 |   335077 |   247732 |     8697     43 |        0 |        0
912.86/913.10	c  912s |      17 |   335619 |   248232 |     8697     43 |        0 |        0
915.25/915.43	c  915s |      17 |   336216 |   248732 |     8697     43 |        0 |        0
917.55/917.75	c  917s |      17 |   336926 |   249332 |     8697     43 |        0 |        0
919.65/919.81	c  919s |      17 |   337508 |   249832 |     8697     43 |        0 |        0
921.85/922.04	c  921s |      17 |   338056 |   250332 |     8697     43 |        0 |        0
923.95/924.13	c  923s |      17 |   338804 |   250932 |     8697     43 |        0 |        0
926.15/926.37	c  926s |      17 |   339500 |   251532 |     8697     43 |        0 |        0
928.26/928.46	c  928s |      17 |   340266 |   252032 |     8697     43 |        0 |        0
930.46/930.61	c  930s |      17 |   340986 |   252532 |     8697     43 |        0 |        0
932.66/932.88	c  932s |      17 |   341648 |   253032 |     8697     43 |        0 |        0
935.35/935.52	c  935s |      17 |   342106 |   253432 |     8697     44 |        0 |        0
937.65/937.84	c  937s |      17 |   342733 |   253932 |     8697     44 |        0 |        0
939.95/940.17	c  939s |      17 |   343458 |   254432 |     8697     44 |        0 |        0
942.34/942.50	c  942s |      17 |   344173 |   255032 |     8697     44 |        0 |        0
944.45/944.65	c  944s |      17 |   344905 |   255632 |     8697     44 |        0 |        0
946.55/946.73	c  946s |      17 |   345486 |   256132 |     8697     44 |        0 |        0
948.85/949.05	c  948s |      17 |   346182 |   256732 |     8697     44 |        0 |        0
951.15/951.33	c  950s |      17 |   346737 |   257232 |     8697     44 |        0 |        0
953.55/953.78	c  953s |      17 |   347392 |   257732 |     8697     44 |        0 |        0
955.86/956.01	c  955s |      17 |   347835 |   258132 |     8697     44 |        0 |        0
957.95/958.20	c  957s |      17 |   348450 |   258632 |     8697     44 |        0 |        0
960.44/960.60	c  960s |      17 |   349006 |   259132 |     8697     44 |        0 |        0
962.65/962.85	c  962s |      17 |   349637 |   259632 |     8697     44 |        0 |        0
965.45/965.60	c  965s |      17 |   350434 |   260132 |     8697     45 |        0 |        0
967.44/967.65	c  967s |      17 |   351038 |   260632 |     8697     45 |        0 |        0
969.64/969.86	c  969s |      17 |   351621 |   261132 |     8697     45 |        0 |        0
971.94/972.17	c  971s |      17 |   352284 |   261632 |     8697     45 |        0 |        0
974.04/974.29	c  973s |      17 |   352871 |   262132 |     8697     45 |        0 |        0
976.24/976.40	c  976s |      17 |   353426 |   262632 |     8697     45 |        0 |        0
978.24/978.47	c  978s |      17 |   354118 |   263132 |     8697     45 |        0 |        0
980.54/980.76	c  980s |      17 |   354889 |   263632 |     8697     45 |        0 |        0
982.74/982.99	c  982s |      17 |   355473 |   264132 |     8697     45 |        0 |        0
985.04/985.28	c  984s |      17 |   356077 |   264632 |     8697     45 |        0 |        0
987.54/987.73	c  987s |      17 |   356610 |   265132 |     8697     45 |        0 |        0
989.94/990.14	c  989s |      17 |   357160 |   265632 |     8697     45 |        0 |        0
991.94/992.15	c  991s |      17 |   357603 |   266032 |     8697     45 |        0 |        0
994.04/994.25	c  993s |      17 |   358039 |   266432 |     8697     45 |        0 |        0
996.55/996.77	c  996s |      17 |   358481 |   266832 |     8697     46 |        0 |        0
998.84/999.06	c  998s |      17 |   359042 |   267332 |     8697     46 |        0 |        0
1001.14/1001.33	c 1000s |      17 |   359625 |   267832 |     8697     46 |        0 |        0
1003.34/1003.56	c 1003s |      17 |   360212 |   268332 |     8697     46 |        0 |        0
1005.74/1005.95	c 1005s |      17 |   360811 |   268832 |     8697     46 |        0 |        0
1007.83/1008.03	c 1007s |      17 |   361770 |   269432 |     8697     46 |        0 |        0
1009.84/1010.08	c 1009s |      17 |   362334 |   269932 |     8697     46 |        0 |        0
1012.24/1012.41	c 1012s |      17 |   362884 |   270432 |     8697     46 |        0 |        0
1014.54/1014.71	c 1014s |      17 |   363439 |   270932 |     8697     46 |        0 |        0
1016.63/1016.81	c 1016s |      17 |   364020 |   271432 |     8697     46 |        0 |        0
1018.63/1018.87	c 1018s |      17 |   364474 |   271832 |     8697     46 |        0 |        0
1020.65/1020.90	c 1020s |      17 |   364941 |   272232 |     8697     46 |        0 |        0
1023.04/1023.24	c 1022s |      17 |   365483 |   272732 |     8697     46 |        0 |        0
1025.24/1025.48	c 1025s |      17 |   366057 |   273232 |     8697     46 |        0 |        0
1027.24/1027.49	c 1027s |      17 |   366380 |   273532 |     8697     47 |        0 |        0
1029.54/1029.75	c 1029s |      17 |   366864 |   273932 |     8697     47 |        0 |        0
1031.64/1031.81	c 1031s |      17 |   367499 |   274432 |     8697     47 |        0 |        0
1033.73/1033.92	c 1033s |      17 |   368123 |   274932 |     8697     47 |        0 |        0
1036.04/1036.22	c 1035s |      17 |   368930 |   275532 |     8697     47 |        0 |        0
1038.44/1038.62	c 1038s |      17 |   369659 |   276132 |     8697     47 |        0 |        0
1040.63/1040.89	c 1040s |      17 |   370224 |   276632 |     8697     47 |        0 |        0
1043.03/1043.25	c 1042s |      17 |   370862 |   277132 |     8697     47 |        0 |        0
1045.23/1045.49	c 1045s |      17 |   371684 |   277632 |     8697     47 |        0 |        0
1047.53/1047.79	c 1047s |      17 |   372264 |   278132 |     8697     47 |        0 |        0
1049.93/1050.16	c 1049s |      17 |   372897 |   278632 |     8697     47 |        0 |        0
1052.23/1052.40	c 1052s |      17 |   373464 |   279132 |     8697     47 |        0 |        0
1054.63/1054.81	c 1054s |      17 |   374098 |   279632 |     8697     47 |        0 |        0
1057.23/1057.40	c 1057s |      17 |   374733 |   280132 |     8697     47 |        0 |        0
1059.33/1059.58	c 1059s |      17 |   375103 |   280432 |     8697     48 |        0 |        0
1061.63/1061.86	c 1061s |      17 |   375676 |   280932 |     8697     48 |        0 |        0
1064.03/1064.21	c 1063s |      17 |   376253 |   281432 |     8697     48 |        0 |        0
1066.13/1066.32	c 1065s |      17 |   377005 |   282032 |     8697     48 |        0 |        0
1068.42/1068.65	c 1068s |      17 |   378014 |   282632 |     8697     48 |        0 |        0
1070.52/1070.73	c 1070s |      17 |   378601 |   283132 |     8697     48 |        0 |        0
1072.93/1073.10	c 1072s |      17 |   379137 |   283632 |     8697     48 |        0 |        0
1075.03/1075.23	c 1074s |      17 |   379747 |   284132 |     8697     48 |        0 |        0
1077.03/1077.24	c 1076s |      17 |   380268 |   284532 |     8697     48 |        0 |        0
1079.33/1079.55	c 1079s |      17 |   380843 |   285032 |     8697     48 |        0 |        0
1081.72/1081.92	c 1081s |      17 |   381536 |   285532 |     8697     48 |        0 |        0
1083.72/1083.96	c 1083s |      17 |   382007 |   285932 |     8697     48 |        0 |        0
1086.02/1086.26	c 1085s |      17 |   382463 |   286332 |     8697     48 |        0 |        0
1088.32/1088.57	c 1088s |      17 |   382905 |   286732 |     8697     48 |        0 |        0
1090.73/1090.95	c 1090s |      17 |   383234 |   287032 |     8697     49 |        0 |        0
1092.93/1093.15	c 1092s |      17 |   383862 |   287532 |     8697     49 |        0 |        0
1094.93/1095.15	c 1094s |      17 |   384539 |   288032 |     8697     49 |        0 |        0
1097.43/1097.61	c 1097s |      17 |   385413 |   288632 |     8697     49 |        0 |        0
1099.72/1099.95	c 1099s |      17 |   386054 |   289132 |     8697     49 |        0 |        0
1102.13/1102.34	c 1101s |      17 |   386608 |   289632 |     8697     49 |        0 |        0
1104.23/1104.49	c 1104s |      17 |   387116 |   290032 |     8697     49 |        0 |        0
1106.32/1106.53	c 1106s |      17 |   387684 |   290432 |     8697     49 |        0 |        0
1108.82/1109.09	c 1108s |      17 |   388120 |   290832 |     8697     49 |        0 |        0
1111.02/1111.22	c 1110s |      17 |   388593 |   291232 |     8697     49 |        0 |        0
1113.22/1113.44	c 1113s |      17 |   389038 |   291632 |     8697     49 |        0 |        0
1115.72/1115.95	c 1115s |      17 |   389485 |   292032 |     8697     49 |        0 |        0
1118.12/1118.34	c 1117s |      17 |   390142 |   292532 |     8697     49 |        0 |        0
1120.42/1120.68	c 1120s |      17 |   390895 |   293032 |     8697     49 |        0 |        0
1122.82/1123.02	c 1122s |      17 |   391596 |   293532 |     8697     49 |        0 |        0
1125.13/1125.36	c 1124s |      17 |   392226 |   293932 |     8697     50 |        0 |        0
1127.12/1127.37	c 1127s |      17 |   392860 |   294432 |     9567     50 |        0 |        0
1129.42/1129.66	c 1129s |      17 |   393604 |   295032 |     9567     50 |        0 |        0
1131.62/1131.83	c 1131s |      17 |   394250 |   295532 |     9567     50 |        0 |        0
1133.82/1134.06	c 1133s |      17 |   395137 |   296132 |     9567     50 |        0 |        0
1134.31/1134.58	c 1134s |      18 |   395312 |   296252 |     9567     50 |        0 |        0
1136.41/1136.60	c 1136s |      18 |   398476 |   297252 |     9567     50 |        0 |        0
1138.33/1138.60	c 1138s |      18 |   399603 |   298252 |     9567     50 |        0 |        0
1140.63/1140.83	c 1140s |      18 |   400655 |   299152 |     9567     50 |        0 |        0
1142.62/1142.87	c 1142s |      18 |   401434 |   299852 |     9567     50 |        0 |        0
1144.82/1145.08	c 1144s |      18 |   402332 |   300652 |     9567     50 |        0 |        0
1147.61/1147.81	c 1147s |      18 |   403105 |   301352 |     9567     51 |        0 |        0
1149.81/1150.09	c 1149s |      18 |   404015 |   302152 |     9567     51 |        0 |        0
1152.21/1152.40	c 1152s |      18 |   404823 |   302852 |     9567     51 |        0 |        0
1154.41/1154.67	c 1154s |      18 |   405580 |   303552 |     9567     51 |        0 |        0
1156.72/1156.96	c 1156s |      18 |   406217 |   304152 |     9567     51 |        0 |        0
1159.11/1159.39	c 1159s |      18 |   406867 |   304752 |     9567     51 |        0 |        0
1161.52/1161.74	c 1161s |      18 |   407499 |   305352 |     9567     51 |        0 |        0
1163.72/1163.96	c 1163s |      18 |   408329 |   306052 |     9567     51 |        0 |        0
1166.11/1166.32	c 1165s |      18 |   409183 |   306752 |     9567     51 |        0 |        0
1168.31/1168.53	c 1168s |      18 |   409810 |   307252 |     9567     51 |        0 |        0
1170.41/1170.65	c 1170s |      18 |   410428 |   307752 |     9567     51 |        0 |        0
1172.61/1172.82	c 1172s |      18 |   411218 |   308252 |     9567     51 |        0 |        0
1174.61/1174.83	c 1174s |      18 |   411785 |   308652 |     9567     52 |        0 |        0
1176.71/1176.96	c 1176s |      18 |   412526 |   309252 |     9567     52 |        0 |        0
1178.91/1179.11	c 1178s |      18 |   413166 |   309852 |     9567     52 |        0 |        0
1181.11/1181.38	c 1181s |      18 |   413823 |   310452 |     9567     52 |        0 |        0
1183.11/1183.38	c 1183s |      18 |   414370 |   310952 |     9567     52 |        0 |        0
1185.31/1185.50	c 1185s |      18 |   414948 |   311452 |     9567     52 |        0 |        0
1187.41/1187.62	c 1187s |      18 |   415531 |   311952 |     9567     52 |        0 |        0
1189.41/1189.69	c 1189s |      18 |   416114 |   312452 |     9567     52 |        0 |        0
1191.51/1191.78	c 1191s |      18 |   416717 |   312952 |     9567     52 |        0 |        0
1193.71/1193.90	c 1193s |      18 |   417294 |   313452 |     9567     52 |        0 |        0
1195.80/1196.03	c 1195s |      18 |   417867 |   313952 |     9567     52 |        0 |        0
1197.91/1198.13	c 1197s |      18 |   418452 |   314452 |     9567     52 |        0 |        0
1200.21/1200.48	c 1200s |      18 |   418995 |   314952 |     9567     52 |        0 |        0
1202.41/1202.68	c 1202s |      18 |   419571 |   315452 |     9567     52 |        0 |        0
1204.71/1204.99	c 1204s |      18 |   420008 |   315852 |     9567     53 |        0 |        0
1207.01/1207.26	c 1206s |      18 |   420671 |   316452 |     9567     53 |        0 |        0
1209.81/1210.04	c 1209s |      18 |   421258 |   316952 |     9567     53 |        0 |        0
1211.91/1212.17	c 1211s |      18 |   422077 |   317652 |     9567     53 |        0 |        0
1214.11/1214.39	c 1214s |      18 |   422866 |   318352 |     9567     53 |        0 |        0
1216.42/1216.60	c 1216s |      18 |   423539 |   318952 |     9567     53 |        0 |        0
1218.61/1218.83	c 1218s |      18 |   424187 |   319552 |     9567     53 |        0 |        0
1221.00/1221.22	c 1220s |      18 |   424843 |   320152 |     9567     53 |        0 |        0
1223.20/1223.46	c 1223s |      18 |   425543 |   320752 |     9567     53 |        0 |        0
1225.41/1225.63	c 1225s |      18 |   426229 |   321352 |     9567     53 |        0 |        0
1227.41/1227.64	c 1227s |      18 |   426807 |   321852 |     9567     53 |        0 |        0
1229.51/1229.79	c 1229s |      18 |   427360 |   322352 |     9567     53 |        0 |        0
1232.20/1232.44	c 1232s |      18 |   427933 |   322852 |     9567     54 |        0 |        0
1234.40/1234.61	c 1234s |      18 |   428603 |   323452 |     9567     54 |        0 |        0
1236.61/1236.86	c 1236s |      18 |   429286 |   324052 |     9567     54 |        0 |        0
1238.90/1239.12	c 1238s |      18 |   429868 |   324552 |     9567     54 |        0 |        0
1241.10/1241.38	c 1241s |      18 |   430535 |   325152 |     9567     54 |        0 |        0
1243.50/1243.73	c 1243s |      18 |   431320 |   325852 |     9567     54 |        0 |        0
1245.70/1245.97	c 1245s |      18 |   431973 |   326452 |     9567     54 |        0 |        0
1248.10/1248.30	c 1247s |      18 |   432577 |   326952 |     9567     54 |        0 |        0
1250.10/1250.36	c 1249s |      18 |   433167 |   327452 |     9567     54 |        0 |        0
1252.40/1252.65	c 1252s |      18 |   433867 |   328052 |     9567     54 |        0 |        0
1254.80/1255.06	c 1254s |      18 |   434546 |   328652 |     9567     54 |        0 |        0
1256.90/1257.14	c 1256s |      18 |   435155 |   329152 |     9567     54 |        0 |        0
1259.10/1259.38	c 1259s |      18 |   435715 |   329652 |     9567     54 |        0 |        0
1261.20/1261.48	c 1261s |      18 |   436049 |   329952 |     9567     55 |        0 |        0
1263.29/1263.52	c 1263s |      18 |   436533 |   330352 |     9567     55 |        0 |        0
1265.50/1265.77	c 1265s |      18 |   437215 |   330952 |     9567     55 |        0 |        0
1267.50/1267.77	c 1267s |      18 |   437838 |   331452 |     9567     55 |        0 |        0
1269.60/1269.84	c 1269s |      18 |   438409 |   331952 |     9567     55 |        0 |        0
1271.69/1271.93	c 1271s |      18 |   439070 |   332452 |     9567     55 |        0 |        0
1273.79/1274.07	c 1273s |      18 |   439651 |   332952 |     9567     55 |        0 |        0
1276.20/1276.50	c 1276s |      18 |   440391 |   333552 |     9567     55 |        0 |        0
1278.60/1278.87	c 1278s |      18 |   440985 |   334052 |     9567     55 |        0 |        0
1280.70/1280.95	c 1280s |      18 |   441571 |   334552 |     9567     55 |        0 |        0
1283.10/1283.34	c 1282s |      18 |   442209 |   335052 |     9567     55 |        0 |        0
1285.40/1285.67	c 1285s |      18 |   442772 |   335552 |     9567     55 |        0 |        0
1287.70/1287.98	c 1287s |      18 |   443342 |   336052 |     9567     55 |        0 |        0
1289.80/1290.02	c 1289s |      18 |   443902 |   336552 |     9567     55 |        0 |        0
1292.19/1292.43	c 1292s |      18 |   444490 |   337052 |     9567     55 |        0 |        0
1294.39/1294.61	c 1294s |      18 |   444952 |   337452 |     9567     56 |        0 |        0
1296.40/1296.63	c 1296s |      18 |   445505 |   337952 |     9567     56 |        0 |        0
1298.70/1298.97	c 1298s |      18 |   446223 |   338552 |     9567     56 |        0 |        0
1301.10/1301.32	c 1300s |      18 |   446864 |   339152 |     9567     56 |        0 |        0
1303.40/1303.64	c 1303s |      18 |   447522 |   339752 |     9567     56 |        0 |        0
1305.50/1305.78	c 1305s |      18 |   448090 |   340252 |     9567     56 |        0 |        0
1307.49/1307.78	c 1307s |      18 |   448525 |   340652 |     9567     56 |        0 |        0
1309.59/1309.89	c 1309s |      18 |   449083 |   341152 |     9567     56 |        0 |        0
1311.69/1311.98	c 1311s |      18 |   449641 |   341652 |     9567     56 |        0 |        0
1314.09/1314.34	c 1313s |      18 |   450245 |   342152 |     9567     56 |        0 |        0
1316.50/1316.72	c 1316s |      18 |   450809 |   342652 |     9567     56 |        0 |        0
1318.79/1319.01	c 1318s |      18 |   451358 |   343152 |     9567     56 |        0 |        0
1320.90/1321.19	c 1320s |      18 |   451811 |   343552 |     9567     56 |        0 |        0
1323.29/1323.53	c 1323s |      18 |   452226 |   343952 |     9567     56 |        0 |        0
1325.79/1326.07	c 1325s |      18 |   452565 |   344252 |     9567     57 |        0 |        0
1327.99/1328.22	c 1327s |      18 |   453104 |   344752 |     9567     57 |        0 |        0
1330.19/1330.41	c 1330s |      18 |   453632 |   345252 |     9567     57 |        0 |        0
1332.49/1332.72	c 1332s |      18 |   454166 |   345752 |     9567     57 |        0 |        0
1334.59/1334.82	c 1334s |      18 |   454714 |   346252 |     9567     57 |        0 |        0
1336.89/1337.15	c 1336s |      18 |   455256 |   346752 |     9567     57 |        0 |        0
1339.08/1339.36	c 1338s |      18 |   455920 |   347352 |     9567     57 |        0 |        0
1341.39/1341.66	c 1341s |      18 |   456568 |   347952 |     9567     57 |        0 |        0
1343.48/1343.79	c 1343s |      18 |   457139 |   348452 |     9567     57 |        0 |        0
1345.89/1346.13	c 1345s |      18 |   457686 |   348952 |     9567     57 |        0 |        0
1348.29/1348.56	c 1348s |      18 |   458275 |   349452 |     9567     57 |        0 |        0
1350.78/1351.08	c 1350s |      18 |   458836 |   349952 |     9567     57 |        0 |        0
1352.89/1353.13	c 1352s |      18 |   459275 |   350352 |     9567     57 |        0 |        0
1355.10/1355.37	c 1355s |      18 |   459704 |   350752 |     9567     57 |        0 |        0
1357.59/1357.83	c 1357s |      18 |   460146 |   351152 |     9567     57 |        0 |        0
1359.69/1359.97	c 1359s |      18 |   460551 |   351452 |     9567     58 |        0 |        0
1362.08/1362.35	c 1361s |      18 |   461210 |   352052 |     9567     58 |        0 |        0
1364.18/1364.43	c 1364s |      18 |   461805 |   352552 |     9567     58 |        0 |        0
1366.18/1366.45	c 1366s |      18 |   462370 |   353052 |     9567     58 |        0 |        0
1368.58/1368.89	c 1368s |      18 |   463028 |   353652 |     9567     58 |        0 |        0
1370.68/1370.91	c 1370s |      18 |   463563 |   354152 |     9567     58 |        0 |        0
1372.89/1373.11	c 1372s |      18 |   464142 |   354652 |     9567     58 |        0 |        0
1375.09/1375.32	c 1374s |      18 |   464956 |   355352 |     9567     58 |        0 |        0
1377.18/1377.46	c 1377s |      18 |   465678 |   355952 |     9567     58 |        0 |        0
1379.48/1379.70	c 1379s |      18 |   466456 |   356552 |     9567     58 |        0 |        0
1381.68/1381.96	c 1381s |      18 |   467282 |   357152 |     9567     58 |        0 |        0
1383.98/1384.23	c 1383s |      18 |   467982 |   357752 |     9567     58 |        0 |        0
1386.38/1386.65	c 1386s |      18 |   468705 |   358352 |     9567     58 |        0 |        0
1388.68/1388.99	c 1388s |      18 |   469180 |   358752 |     9567     59 |        0 |        0
1390.78/1391.02	c 1390s |      18 |   469780 |   359252 |     9567     59 |        0 |        0
1393.08/1393.33	c 1392s |      18 |   470436 |   359852 |     9567     59 |        0 |        0
1395.28/1395.57	c 1395s |      18 |   471099 |   360452 |     9567     59 |        0 |        0
1397.68/1397.90	c 1397s |      18 |   471587 |   360852 |     9567     59 |        0 |        0
1399.67/1399.95	c 1399s |      18 |   472155 |   361352 |     9567     59 |        0 |        0
1401.88/1402.16	c 1401s |      18 |   472714 |   361852 |     9567     59 |        0 |        0
1404.08/1404.33	c 1403s |      18 |   473288 |   362352 |     9567     59 |        0 |        0
1406.37/1406.60	c 1406s |      18 |   473855 |   362852 |     9567     59 |        0 |        0
1408.58/1408.80	c 1408s |      18 |   474429 |   363352 |     9567     59 |        0 |        0
1410.68/1410.92	c 1410s |      18 |   475052 |   363852 |     9567     59 |        0 |        0
1412.88/1413.18	c 1412s |      18 |   475684 |   364352 |     9567     59 |        0 |        0
1415.07/1415.38	c 1415s |      18 |   476293 |   364852 |     9567     59 |        0 |        0
1417.47/1417.74	c 1417s |      18 |   476857 |   365352 |     9567     59 |        0 |        0
1419.88/1420.14	c 1419s |      18 |   477327 |   365752 |     9567     60 |        0 |        0
1422.08/1422.40	c 1422s |      18 |   478093 |   366352 |     9567     60 |        0 |        0
1424.28/1424.54	c 1424s |      18 |   478847 |   366952 |     9567     60 |        0 |        0
1426.38/1426.64	c 1426s |      18 |   479598 |   367552 |     9567     60 |        0 |        0
1428.68/1428.98	c 1428s |      18 |   480421 |   368152 |     9567     60 |        0 |        0
1431.07/1431.34	c 1430s |      18 |   481189 |   368752 |     9567     60 |        0 |        0
1433.37/1433.63	c 1433s |      18 |   481918 |   369352 |     9567     60 |        0 |        0
1435.47/1435.78	c 1435s |      18 |   482645 |   369952 |     9567     60 |        0 |        0
1437.87/1438.16	c 1437s |      18 |   483350 |   370552 |     9567     60 |        0 |        0
1440.08/1440.39	c 1440s |      18 |   484027 |   371052 |     9567     60 |        0 |        0
1442.27/1442.54	c 1442s |      18 |   484769 |   371552 |     9567     60 |        0 |        0
1444.38/1444.60	c 1444s |      18 |   485553 |   372052 |     9567     60 |        0 |        0
1446.48/1446.79	c 1446s |      18 |   486266 |   372552 |     9567     60 |        0 |        0
1448.77/1449.10	c 1448s |      18 |   486847 |   372952 |     9567     61 |        0 |        0
1450.87/1451.12	c 1450s |      18 |   487532 |   373452 |     9567     61 |        0 |        0
1452.88/1453.18	c 1452s |      18 |   488369 |   374052 |     9567     61 |        0 |        0
1455.27/1455.56	c 1455s |      18 |   489240 |   374652 |     9567     61 |        0 |        0
1457.57/1457.88	c 1457s |      18 |   490131 |   375152 |     9567     61 |        0 |        0
1459.87/1460.17	c 1459s |      18 |   490969 |   375652 |     9567     61 |        0 |        0
1462.17/1462.47	c 1462s |      18 |   491656 |   376152 |     9567     61 |        0 |        0
1464.47/1464.78	c 1464s |      18 |   492261 |   376652 |     9567     61 |        0 |        0
1466.67/1467.00	c 1466s |      18 |   492870 |   377152 |     9567     61 |        0 |        0
1468.97/1469.24	c 1468s |      18 |   493560 |   377752 |     9567     61 |        0 |        0
1471.07/1471.32	c 1470s |      18 |   494150 |   378252 |     9567     61 |        0 |        0
1473.27/1473.56	c 1473s |      18 |   494699 |   378752 |     9567     61 |        0 |        0
1475.57/1475.80	c 1475s |      18 |   495291 |   379252 |     9567     61 |        0 |        0
1477.57/1477.90	c 1477s |      18 |   495881 |   379752 |     9567     61 |        0 |        0
1479.86/1480.15	c 1479s |      18 |   496379 |   380152 |     9567     62 |        0 |        0
1481.96/1482.21	c 1481s |      18 |   496990 |   380652 |     9567     62 |        0 |        0
1484.27/1484.50	c 1484s |      18 |   497556 |   381152 |     9567     62 |        0 |        0
1486.36/1486.60	c 1486s |      18 |   497979 |   381552 |     9567     62 |        0 |        0
1488.37/1488.65	c 1488s |      18 |   498644 |   382052 |     9567     62 |        0 |        0
1490.67/1490.92	c 1490s |      18 |   499401 |   382652 |     9567     62 |        0 |        0
1492.76/1493.02	c 1492s |      18 |   499939 |   383152 |     9567     62 |        0 |        0
1494.86/1495.17	c 1494s |      18 |   500475 |   383652 |     9567     62 |        0 |        0
1497.06/1497.37	c 1497s |      18 |   501065 |   384152 |     9567     62 |        0 |        0
1499.47/1499.71	c 1499s |      18 |   501606 |   384652 |     9567     62 |        0 |        0
1501.56/1501.81	c 1501s |      18 |   502195 |   385152 |     9567     62 |        0 |        0
1503.86/1504.18	c 1503s |      18 |   502880 |   385752 |     9567     62 |        0 |        0
1506.07/1506.39	c 1506s |      18 |   503447 |   386252 |     9567     62 |        0 |        0
1508.36/1508.63	c 1508s |      18 |   504020 |   386752 |     9567     62 |        0 |        0
1510.76/1511.04	c 1510s |      18 |   504495 |   387152 |     9567     63 |        0 |        0
1513.16/1513.40	c 1513s |      18 |   505267 |   387752 |     9567     63 |        0 |        0
1515.26/1515.57	c 1515s |      18 |   505860 |   388252 |     9567     63 |        0 |        0
1517.46/1517.75	c 1517s |      18 |   506424 |   388752 |     9567     63 |        0 |        0
1519.76/1520.07	c 1519s |      18 |   506955 |   389252 |     9567     63 |        0 |        0
1521.86/1522.17	c 1521s |      18 |   507583 |   389752 |     9567     63 |        0 |        0
1524.16/1524.47	c 1524s |      18 |   508113 |   390252 |     9567     63 |        0 |        0
1526.56/1526.84	c 1526s |      18 |   508707 |   390752 |     9567     63 |        0 |        0
1528.87/1529.12	c 1528s |      18 |   509267 |   391252 |     9567     63 |        0 |        0
1530.97/1531.29	c 1530s |      18 |   509851 |   391752 |     9567     63 |        0 |        0
1533.46/1533.76	c 1533s |      18 |   510505 |   392252 |     9567     63 |        0 |        0
1535.46/1535.79	c 1535s |      18 |   510971 |   392652 |     9567     63 |        0 |        0
1537.56/1537.81	c 1537s |      18 |   511436 |   393052 |     9567     63 |        0 |        0
1539.65/1539.98	c 1539s |      18 |   511907 |   393452 |     9567     63 |        0 |        0
1541.96/1542.21	c 1541s |      18 |   512477 |   393952 |     9567     63 |        0 |        0
1544.26/1544.52	c 1544s |      18 |   512942 |   394352 |     9567     64 |        0 |        0
1546.37/1546.63	c 1546s |      18 |   513616 |   394952 |     9567     64 |        0 |        0
1548.66/1548.97	c 1548s |      18 |   514375 |   395552 |     9567     64 |        0 |        0
1550.76/1551.09	c 1550s |      18 |   515063 |   396152 |     9567     64 |        0 |        0
1553.07/1553.38	c 1553s |      18 |   515725 |   396752 |     9567     64 |        0 |        0
1555.46/1555.72	c 1555s |      18 |   516295 |   397252 |     9567     64 |        0 |        0
1557.85/1558.17	c 1557s |      18 |   516962 |   397752 |     9567     64 |        0 |        0
1560.15/1560.49	c 1560s |      18 |   517506 |   398252 |     9567     64 |        0 |        0
1562.66/1562.90	c 1562s |      18 |   518168 |   398852 |     9567     64 |        0 |        0
1564.66/1564.97	c 1564s |      18 |   518725 |   399352 |     9567     64 |        0 |        0
1566.75/1567.00	c 1566s |      18 |   519331 |   399852 |     9567     64 |        0 |        0
1568.75/1569.02	c 1568s |      18 |   519931 |   400352 |     9567     64 |        0 |        0
1571.15/1571.47	c 1571s |      18 |   520478 |   400852 |     9567     64 |        0 |        0
1573.66/1573.95	c 1573s |      18 |   521026 |   401352 |     9567     64 |        0 |        0
1576.06/1576.32	c 1575s |      18 |   521479 |   401752 |     9567     65 |        0 |        0
1578.26/1578.52	c 1578s |      18 |   522049 |   402252 |     9567     65 |        0 |        0
1580.35/1580.66	c 1580s |      18 |   522583 |   402752 |     9567     65 |        0 |        0
1582.35/1582.70	c 1582s |      18 |   523164 |   403252 |     9567     65 |        0 |        0
1584.45/1584.73	c 1584s |      18 |   523727 |   403752 |     9567     65 |        0 |        0
1586.55/1586.85	c 1586s |      18 |   524324 |   404252 |     9567     65 |        0 |        0
1588.95/1589.20	c 1588s |      18 |   525046 |   404752 |     9567     65 |        0 |        0
1591.25/1591.58	c 1591s |      18 |   525647 |   405252 |     9567     65 |        0 |        0
1593.65/1593.91	c 1593s |      18 |   526336 |   405752 |     9567     65 |        0 |        0
1595.86/1596.19	c 1595s |      18 |   526918 |   406252 |     9567     65 |        0 |        0
1597.95/1598.29	c 1597s |      18 |   527383 |   406652 |     9567     65 |        0 |        0
1600.05/1600.38	c 1600s |      18 |   527895 |   407052 |     9567     65 |        0 |        0
1602.35/1602.63	c 1602s |      18 |   528362 |   407452 |     9567     65 |        0 |        0
1604.35/1604.68	c 1604s |      18 |   528801 |   407852 |     9567     65 |        0 |        0
1606.45/1606.78	c 1606s |      18 |   529250 |   408252 |     9567     65 |        0 |        0
1609.15/1609.41	c 1609s |      18 |   529683 |   408652 |     9567     66 |        0 |        0
1611.26/1611.58	c 1611s |      18 |   530118 |   409052 |     9567     66 |        0 |        0
1613.35/1613.65	c 1613s |      18 |   530680 |   409552 |     9567     66 |        0 |        0
1615.34/1615.68	c 1615s |      18 |   531132 |   409952 |     9567     66 |        0 |        0
1617.74/1618.09	c 1617s |      18 |   531699 |   410452 |     9567     66 |        0 |        0
1619.95/1620.24	c 1619s |      18 |   532148 |   410852 |     9567     66 |        0 |        0
1622.15/1622.46	c 1622s |      18 |   532747 |   411352 |     9567     66 |        0 |        0
1624.34/1624.63	c 1624s |      18 |   533312 |   411852 |     9567     66 |        0 |        0
1626.44/1626.76	c 1626s |      18 |   533853 |   412352 |     9567     66 |        0 |        0
1628.75/1629.01	c 1628s |      18 |   534416 |   412852 |     9567     66 |        0 |        0
1631.05/1631.32	c 1630s |      18 |   534964 |   413352 |     9567     66 |        0 |        0
1633.14/1633.48	c 1633s |      18 |   535580 |   413852 |     9567     66 |        0 |        0
1635.55/1635.89	c 1635s |      18 |   536152 |   414352 |     9567     66 |        0 |        0
1637.75/1638.07	c 1637s |      18 |   536610 |   414752 |     9567     66 |        0 |        0
1640.05/1640.32	c 1639s |      18 |   537043 |   415152 |     9567     66 |        0 |        0
1642.05/1642.36	c 1641s |      18 |   537474 |   415552 |     9567     66 |        0 |        0
1644.35/1644.68	c 1644s |      18 |   537828 |   415852 |     9567     67 |        0 |        0
1646.45/1646.72	c 1646s |      18 |   538365 |   416352 |     9567     67 |        0 |        0
1648.44/1648.74	c 1648s |      18 |   538796 |   416752 |     9567     67 |        0 |        0
1650.74/1651.05	c 1650s |      18 |   539340 |   417252 |     9567     67 |        0 |        0
1653.04/1653.32	c 1652s |      18 |   539881 |   417752 |     9567     67 |        0 |        0
1655.24/1655.58	c 1655s |      18 |   540436 |   418252 |     9567     67 |        0 |        0
1657.34/1657.61	c 1657s |      18 |   540981 |   418752 |     9567     67 |        0 |        0
1659.54/1659.89	c 1659s |      18 |   541520 |   419252 |     9567     67 |        0 |        0
1662.04/1662.34	c 1661s |      18 |   542068 |   419752 |     9567     67 |        0 |        0
1664.54/1664.83	c 1664s |      18 |   542644 |   420252 |     9567     67 |        0 |        0
1666.84/1667.18	c 1666s |      18 |   543090 |   420652 |     9567     67 |        0 |        0
1668.93/1669.26	c 1668s |      18 |   543529 |   421052 |     9567     67 |        0 |        0
1671.34/1671.68	c 1671s |      18 |   544108 |   421552 |     9567     67 |        0 |        0
1673.64/1673.91	c 1673s |      18 |   544694 |   422052 |     9567     67 |        0 |        0
1676.03/1676.32	c 1675s |      18 |   545250 |   422552 |     9567     67 |        0 |        0
1678.63/1678.95	c 1678s |      18 |   545691 |   422952 |     9567     68 |        0 |        0
1680.84/1681.10	c 1680s |      18 |   546272 |   423452 |     9567     68 |        0 |        0
1683.04/1683.35	c 1682s |      18 |   546841 |   423952 |     9567     68 |        0 |        0
1685.44/1685.70	c 1685s |      18 |   547407 |   424452 |     9567     68 |        0 |        0
1687.64/1687.97	c 1687s |      18 |   547949 |   424952 |     9567     68 |        0 |        0
1690.04/1690.33	c 1689s |      18 |   548523 |   425452 |     9567     68 |        0 |        0
1692.23/1692.55	c 1692s |      18 |   548940 |   425852 |     9567     68 |        0 |        0
1694.23/1694.55	c 1694s |      18 |   549515 |   426352 |     9567     68 |        0 |        0
1696.53/1696.89	c 1696s |      18 |   550175 |   426952 |     9567     68 |        0 |        0
1698.73/1699.06	c 1698s |      18 |   550708 |   427452 |     9567     68 |        0 |        0
1700.94/1701.22	c 1700s |      18 |   551316 |   427952 |     9567     68 |        0 |        0
1703.03/1703.31	c 1702s |      18 |   551956 |   428452 |     9567     68 |        0 |        0
1705.03/1705.34	c 1704s |      18 |   552464 |   428852 |     9567     68 |        0 |        0
1707.14/1707.44	c 1707s |      18 |   552897 |   429252 |     9567     68 |        0 |        0
1709.24/1709.57	c 1709s |      18 |   553360 |   429652 |     9567     68 |        0 |        0
1711.34/1711.67	c 1711s |      18 |   553832 |   430052 |     9567     68 |        0 |        0
1713.43/1713.80	c 1713s |      18 |   554153 |   430352 |     9567     69 |        0 |        0
1716.03/1716.31	c 1715s |      18 |   554699 |   430852 |     9567     69 |        0 |        0
1718.73/1719.00	c 1718s |      18 |   555282 |   431352 |     9567     69 |        0 |        0
1720.83/1721.18	c 1720s |      18 |   555869 |   431852 |     9567     69 |        0 |        0
1723.33/1723.60	c 1723s |      18 |   556564 |   432452 |     9567     69 |        0 |        0
1725.43/1725.74	c 1725s |      18 |   557207 |   432952 |     9567     69 |        0 |        0
1727.43/1727.79	c 1727s |      18 |   557824 |   433452 |     9567     69 |        0 |        0
1729.72/1730.09	c 1729s |      18 |   558571 |   434052 |     9567     69 |        0 |        0
1731.82/1732.11	c 1731s |      18 |   559169 |   434552 |     9567     69 |        0 |        0
1733.92/1734.21	c 1733s |      18 |   559827 |   435052 |     9567     69 |        0 |        0
1736.12/1736.47	c 1736s |      18 |   560504 |   435552 |     9567     69 |        0 |        0
1738.52/1738.85	c 1738s |      18 |   561109 |   436052 |     9567     69 |        0 |        0
1741.03/1741.31	c 1740s |      18 |   561684 |   436552 |     9567     69 |        0 |        0
1743.23/1743.53	c 1743s |      18 |   562119 |   436952 |     9567     69 |        0 |        0
1746.02/1746.39	c 1746s |      18 |   562544 |   437352 |     9567     70 |        0 |        0
1748.42/1748.72	c 1748s |      18 |   563104 |   437852 |     9567     70 |        0 |        0
1750.42/1750.75	c 1750s |      18 |   563702 |   438352 |     9567     70 |        0 |        0
1752.72/1753.06	c 1752s |      18 |   564263 |   438852 |     9567     70 |        0 |        0
1755.02/1755.34	c 1754s |      18 |   564817 |   439352 |     9567     70 |        0 |        0
1757.42/1757.72	c 1757s |      18 |   565344 |   439852 |     9567     70 |        0 |        0
1759.91/1760.22	c 1759s |      18 |   565910 |   440352 |     9567     70 |        0 |        0
1761.92/1762.24	c 1761s |      18 |   566375 |   440752 |     9567     70 |        0 |        0
1763.92/1764.29	c 1763s |      18 |   566946 |   441252 |    10524     70 |        0 |        0
1766.51/1766.83	c 1766s |      18 |   567541 |   441752 |    10524     70 |        0 |        0
1768.52/1768.90	c 1768s |      18 |   567982 |   442152 |    10524     70 |        0 |        0
1770.62/1770.96	c 1770s |      18 |   568437 |   442552 |    10524     70 |        0 |        0
1772.71/1773.03	c 1772s |      18 |   568880 |   442952 |    10524     70 |        0 |        0
1774.81/1775.12	c 1774s |      18 |   569321 |   443352 |    10524     70 |        0 |        0
1777.21/1777.57	c 1777s |      18 |   569884 |   443852 |    10524     70 |        0 |        0
1779.41/1779.74	c 1779s |      18 |   570310 |   444252 |    10524     70 |        0 |        0
1780.62/1780.94	c 1780s |      19 |   570552 |   444482 |    10524     70 |        0 |        0
1782.71/1783.06	c 1782s |      19 |   572841 |   444882 |    10524     71 |        0 |        0
1784.91/1785.24	c 1784s |      19 |   574229 |   446082 |    10524     71 |        0 |        0
1787.01/1787.31	c 1786s |      19 |   575350 |   447082 |    10524     71 |        0 |        0
1789.01/1789.36	c 1788s |      19 |   576402 |   447982 |    10524     71 |        0 |        0
1791.10/1791.41	c 1791s |      19 |   577306 |   448782 |    10524     71 |        0 |        0
1793.20/1793.59	c 1793s |      19 |   578196 |   449582 |    10524     71 |        0 |        0
1795.50/1795.88	c 1795s |      19 |   578969 |   450282 |    10524     71 |        0 |        0
1797.60/1797.98	c 1797s |      19 |   579653 |   450882 |    10524     71 |        0 |        0
1799.80/1800.15	c 1799s |      19 |   580294 |   451482 |    10524     71 |        0 |        0

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-4093413-1466084374/watcher-4093413-1466084374 -o /tmp/evaluation-result-4093413-1466084374/solver-4093413-1466084374 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093413-1466084374.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 14420
/proc/meminfo: memFree=30446368/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 2891 0 0 0 0 0 0 0 20 0 4 0 10486384 791080960 3252 33554432000 4194304 16246674 140735641067696 140735641067120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 193903 3260 441 2943 0 190797 0
[pid=14420/tid=14421] ppid=14417 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 809955328 3324 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 815198208 3342 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=800188 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10486384 819392512 3357 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100231 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 14420
/proc/meminfo: memFree=30446368/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 27002 0 0 0 6 3 0 0 20 0 4 0 10486384 1247350784 27356 33554432000 4194304 16246674 140735641067696 140735641067120 12478070 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 304529 27364 606 2943 0 301423 0
[pid=14420/tid=14421] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 27369 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 27375 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 27382 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200518 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 14420
/proc/meminfo: memFree=30446368/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 47431 0 0 0 13 6 0 0 20 0 4 0 10486384 1247350784 47785 33554432000 4194304 16246674 140735641067696 140735641067120 13956064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 304529 47795 606 2943 0 301423 0
[pid=14420/tid=14421] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 47800 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 47807 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 47811 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 14420
/proc/meminfo: memFree=30446368/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 70434 0 0 0 19 10 0 0 20 0 4 0 10486384 1247350784 70782 33554432000 4194304 16246674 140735641067696 140735641067120 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 304529 70793 775 2943 0 301423 0
[pid=14420/tid=14421] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 70796 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 70802 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10486384 1247350784 70814 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700433 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 14420
/proc/meminfo: memFree=30446368/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 99020 0 0 0 55 14 0 0 20 0 4 0 10486384 1338576896 99345 33554432000 4194304 16246674 140735641067696 140735641050464 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 326801 99345 868 2943 0 323695 0
[pid=14420/tid=14421] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 99345 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 99345 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 99345 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50043 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 14424
/proc/meminfo: memFree=30048968/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 105669 0 0 0 134 15 0 0 20 0 4 0 10486384 1338576896 105994 33554432000 4194304 16246674 140735641067696 140735641049600 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 326801 105995 868 2943 0 323695 0
[pid=14420/tid=14421] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 105997 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 105997 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 105997 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10044 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 14424
/proc/meminfo: memFree=29928804/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 129247 0 0 0 291 18 0 0 20 0 4 0 10486384 1338576896 129572 33554432000 4194304 16246674 140735641067696 140735641049600 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 326801 129572 868 2943 0 323695 0
[pid=14420/tid=14421] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 129572 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 129572 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 129572 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 14424
/proc/meminfo: memFree=29373644/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 267916 0 0 0 595 34 0 0 20 0 4 0 10486384 1338576896 268241 33554432000 4194304 16246674 140735641067696 140735641049600 13759540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 326801 268241 868 2943 0 323695 0
[pid=14420/tid=14421] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 268241 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 268241 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1338576896 268241 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.26 2.21 2.18 4/183 14424
/proc/meminfo: memFree=29372936/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 268087 0 0 0 1234 34 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 140735641049600 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 327057 268412 874 2943 0 323951 0
[pid=14420/tid=14421] ppid=14417 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 14424
/proc/meminfo: memFree=28992524/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 268087 0 0 0 2513 35 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 140735641066872 6010629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 327057 268412 874 2943 0 323951 0
[pid=14420/tid=14421] ppid=14417 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1339625472 268412 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.23 2.21 2.18 3/184 14427
/proc/meminfo: memFree=28988852/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 268973 0 0 0 5071 37 0 0 20 0 4 0 10486384 1343819776 269298 33554432000 4194304 16246674 140735641067696 140735641049600 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 328081 269298 875 2943 0 324975 0
[pid=14420/tid=14421] ppid=14417 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1343819776 269298 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1343819776 269298 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1343819776 269298 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/183 14428
/proc/meminfo: memFree=28924372/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 269971 0 0 0 10187 41 0 0 20 0 4 0 10486384 1346965504 270296 33554432000 4194304 16246674 140735641067696 140735641066872 13907028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 328849 270296 875 2943 0 325743 0
[pid=14420/tid=14421] ppid=14417 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1346965504 270296 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1346965504 270296 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1346965504 270296 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.17 2.17 2.18 4/183 14482
/proc/meminfo: memFree=27934564/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1362.08 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275605 0 0 0 136064 144 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 140735641049600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 275930 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 14484
/proc/meminfo: memFree=27934216/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1422.08 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275605 0 0 0 142058 150 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 140735641066792 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 275930 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 14485
/proc/meminfo: memFree=27933752/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1482.07 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275605 0 0 0 148051 156 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 140735641066872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 275930 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.14 2.17 2.18 4/183 14486
/proc/meminfo: memFree=27929084/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1542.06 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275605 0 0 0 154045 161 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 140735641049600 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 275930 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 14487
/proc/meminfo: memFree=27928748/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1602.04 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275605 0 0 0 160038 166 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 140735641049600 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 275930 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.16 2.17 2.18 3/183 14488
/proc/meminfo: memFree=27929028/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1662.04 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275605 0 0 0 166032 172 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 140735641049472 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 275930 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 275930 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.15 2.17 2.18 4/183 14490
/proc/meminfo: memFree=27927184/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1722.02 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275606 0 0 0 172024 178 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 140735641066872 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 276186 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 14540
/proc/meminfo: memFree=28898424/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1782.01 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275630 0 0 0 178016 185 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 140735641049600 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 276186 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/183 14540
/proc/meminfo: memFree=28894320/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1800 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275637 0 0 0 179815 185 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 140735641066872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 276186 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 14420 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/183 14540
/proc/meminfo: memFree=28894320/32872528 swapFree=876280/941688
[pid=14420] ppid=14417 vsize=1337924 CPUtime=1800 cores=1,3,5,7
/proc/14420/stat : 14420 (toysat) R 14417 14420 7213 0 -1 4202496 275637 0 0 0 179815 185 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 140735641066872 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14420/statm: 334481 276186 877 2943 0 331375 0
[pid=14420/tid=14421] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14421/stat : 14421 (toysat) S 14417 14420 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909785431280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14420/tid=14422] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14422/stat : 14422 (toysat) S 14417 14420 7213 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909700496624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14420/tid=14423] ppid=14417 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/14420/task/14423/stat : 14423 (toysat) S 14417 14420 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10486384 1370034176 276186 33554432000 4194304 16246674 140735641067696 139909690023088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1337924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.07
CPU user time (s): 1798.16
CPU system time (s): 1.90771
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 1.90771
maximum resident set size= 1104744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275637
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= 47
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6213 second user time and 6.89995 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 15:39:35
IDJOB=4093413
IDBENCH=78727
IDSOLVER=2553
FILE ID=node113/4093413-1466084374
RUNJOBID= node113-1466075295-13239
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093413-1466084374/watcher-4093413-1466084374 -o /tmp/evaluation-result-4093413-1466084374/solver-4093413-1466084374 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093413-1466084374.wbo

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

MD5SUM BENCH= 6ce7da05711cce00ec3b2d5a1c7699c2
RANDOM SEED=1647179893

node113.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.799
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.59
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.799
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.799
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.56
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.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30447028 kB
Buffers:           35112 kB
Cached:           109292 kB
SwapCached:         2160 kB
Active:           718800 kB
Inactive:          63988 kB
Active(anon):     639040 kB
Inactive(anon):     1612 kB
Active(file):      79760 kB
Inactive(file):    62376 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1579108 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             567464 kB
SReclaimable:      11616 kB
SUnreclaim:       555848 kB
KernelStack:        1440 kB
PageTables:         7788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2159908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 71708 MiB
End job on node113 at 2016-06-16 16:09:35