Trace number 4096512

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-02UNSAT 1343.75 1344.13

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_25.opb
MD5SUMf50c91cca57102576950fc35dbf6e618
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark70.2493
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables930
Total number of constraints4385
Number of constraints which are clauses4380
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 55
Number of bits of the biggest sum of numbers6
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-17T00:04:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096512-1466114658.opb"]
0.00/0.01	c use --random-gen="4146107637 3509322187 350022580 3360486026 276411138 3508667702 865515581 1201541241 747718380 2082146948 683257438 3813951960 2732955448 908087129 269531547 2661655670 799618100 3274045706 2202536152 1337565567 1494207942 298729860 3352492248 2139629601 3220317713 1356645499 1814737309 1076883362 1376032696 1985476687 258223605 3376937546 1048853224 594824376 3477496614 428299929 2577016324 1342875691 2346011824 3575719535 1862246781 3009189037 3011514340 3956351313 4091901393 901451488 2156815799 422378107 3417766023 681496013 1912214219 4271539931 324063717 209774711 1812244561 2226065072 3363103225 244285097 1193431140 431174745 3646770389 2814363765 3434672152 424332047 84607722 1720367927 1640218610 1689297157 2626080216 3616274456 130457279 3010492149 3947320800 4179814453 254359442 2880517460 2296494056 1231868373 3361034579 1094096499 2315761641 383866530 3945575948 2050368053 1645653100 3001099003 1079011259 2811308756 4134088645 3618255892 3433402747 3839053851 1346081489 3820496908 1997598661 1860494339 2381331008 871029035 933095667 1807869647 1894448267 3474020351 1311680021 943916683 3854635048 1164382170 2431858755 281285044 2554327042 194839093 4159754124 3909386221 2291451378 2559042401 708121574 3645874044 1312079476 2429544437 543929508 2638628137 3669812597 3607969109 865257466 3738410156 17121844 3796905690 3051466379 3927932404 173842264 2733360153 3199336726 2844490285 2557206350 1622094575 3662570730 3309911493 2733564293 3139520180 4208366601 2334062973 3270405947 3856512451 793517552 780295611 2741107077 2596966245 1482465848 1109018942 250215043 1880592865 3659967948 958804804 2910844392 2786045395 2462087408 2375409911 1575261004 360630180 4005764299 2823984913 1514137806 1338637859 2095880445 162540481 117634659 208576188 743219900 1181159751 3828363945 1052893590 344505608 981784006 1408153530 3457802161 720892859 1688161837 1439683247 1051367540 87165725 2339097338 1104393382 3880924109 865309892 1015440639 1691239027 3868408581 3547642299 1996495365 3784021931 3772503542 3943428968 3021519381 2886187016 420557971 2244550281 123373130 373715458 2717798828 4261280126 1109956002 3522217144 2876330071 2245291109 87659945 1621850836 3123952889 3702808870 32068676 1241559425 766620240 3648601609 2780302231 480273361 1204507797 341178756 2660943389 2307339767 3320467923 461874439 2191179099 1265930136 509118721 1933117483 3172122062 2369105143 1589486165 947457523 3796606034 2532237441 2025320386 590349276 3896079860 834757670 3650118644 4254057910 299004927 1172922748 2708836424 2657742283 2012956813 2519618894 499729422 1716119057 3785532477 2141095556 2477749237 2341633865 357893415 4128162852 890365395 144130409 2869875664 932281306 2835584044 1559728683 1834062316 255 362436" option to reproduce the execution
0.00/0.06	c #vars 930
0.00/0.06	c #constraints 4385
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     1770      0 |        5 |        0
0.09/0.13	c  0.0s |       1 |      137 |      100 |     1770      0 |        5 |      238
0.09/0.18	c  0.1s |       2 |      327 |      250 |     1948      0 |        5 |      238
0.19/0.27	c  0.2s |       3 |      603 |      475 |     2143      0 |        5 |      238
0.39/0.41	c  0.3s |       4 |     1010 |      813 |     2358      0 |        5 |      238
0.58/0.65	c  0.5s |       5 |     1602 |     1320 |     2594      0 |        5 |      238
0.99/1.04	c  0.9s |       6 |     2471 |     2081 |     3140      0 |        5 |      238
1.39/1.46	c  1.4s |       7 |     3849 |     3223 |     3455      0 |        5 |      238
1.99/2.04	c  1.9s |       8 |     5968 |     4936 |     3801      1 |        5 |      238
2.89/2.94	c  2.8s |       9 |     9029 |     7506 |     4182      2 |        5 |      238
4.19/4.25	c  4.2s |      10 |    13526 |    11361 |     4601      4 |        5 |      238
6.18/6.26	c  6.2s |      10 |    19563 |    16661 |     4601      6 |        5 |      238
6.38/6.44	c  6.3s |      11 |    20105 |    17144 |     5062      6 |        5 |      238
8.38/8.47	c  8.4s |      11 |    26346 |    22444 |     5062      8 |        5 |      238
9.78/9.84	c  9.7s |      12 |    30169 |    25819 |     5569      9 |        5 |      238
11.78/11.86	c 11.8s |      12 |    36390 |    31219 |     5569     11 |        5 |      238
13.78/13.87	c 13.8s |      12 |    42032 |    36119 |     5569     13 |        5 |      238
14.88/14.98	c 14.9s |      13 |    45088 |    38832 |     6126     14 |        5 |      238
16.98/17.02	c 16.9s |      13 |    50479 |    43632 |     6126     15 |        5 |      238
18.98/19.05	c 19.0s |      13 |    55923 |    48432 |     6126     17 |        5 |      238
20.99/21.07	c 21.0s |      13 |    60931 |    52932 |     6126     18 |        5 |      238
22.98/23.08	c 23.0s |      13 |    66692 |    58032 |     6739     20 |        5 |      238
23.19/23.21	c 23.1s |      14 |    67053 |    58352 |     6739     20 |        5 |      238
25.18/25.24	c 25.1s |      14 |    72522 |    63052 |     6739     21 |        5 |      238
27.19/27.26	c 27.2s |      14 |    77752 |    67652 |     6739     23 |        5 |      238
29.29/29.30	c 29.2s |      14 |    83204 |    72352 |     6739     24 |        5 |      238
31.28/31.34	c 31.2s |      14 |    88706 |    77152 |     6739     25 |        5 |      238
33.28/33.37	c 33.3s |      14 |    94013 |    81852 |     6739     27 |        5 |      238
35.29/35.37	c 35.3s |      14 |    99456 |    86752 |     6739     28 |        5 |      238
35.68/35.75	c 35.7s |      15 |   100406 |    87632 |     7413     28 |        5 |      238
37.68/37.79	c 37.7s |      15 |   104996 |    91732 |     7413     29 |        5 |      238
39.69/39.79	c 39.7s |      15 |   109578 |    95932 |     7413     30 |        5 |      238
41.79/41.86	c 41.8s |      15 |   114465 |   100132 |     7413     32 |        5 |      238
43.78/43.87	c 43.8s |      15 |   119467 |   104532 |     7413     33 |        5 |      238
45.78/45.89	c 45.8s |      15 |   124669 |   109132 |     7413     34 |        5 |      238
47.88/47.93	c 47.8s |      15 |   129460 |   113432 |     7413     35 |        5 |      238
49.88/49.95	c 49.8s |      15 |   133482 |   117132 |     7413     36 |        5 |      238
51.88/51.98	c 51.9s |      15 |   138217 |   121432 |     7413     37 |        5 |      238
53.98/54.03	c 53.9s |      15 |   142706 |   125532 |     7413     38 |        5 |      238
55.97/56.07	c 56.0s |      15 |   146849 |   129332 |     7413     39 |        5 |      238
57.07/57.12	c 57.0s |      16 |   149315 |   131552 |     8155     40 |        5 |      238
59.07/59.14	c 59.0s |      16 |   154156 |   135652 |     8155     41 |        5 |      238
61.07/61.16	c 61.1s |      16 |   159964 |   140652 |     8155     42 |        5 |      238
63.16/63.21	c 63.1s |      16 |   165279 |   145352 |     8155     43 |        5 |      238
65.16/65.21	c 65.1s |      16 |   170053 |   149552 |     8155     44 |        5 |      238
67.18/67.22	c 67.1s |      16 |   173917 |   152952 |     8155     45 |        5 |      238
69.17/69.25	c 69.1s |      16 |   179211 |   157552 |     8155     46 |        5 |      238
71.17/71.26	c 71.2s |      16 |   184501 |   162152 |     8155     47 |        5 |      238
73.17/73.27	c 73.2s |      16 |   189390 |   166452 |     8155     48 |        5 |      238
75.27/75.30	c 75.2s |      16 |   194324 |   170952 |     8155     49 |        5 |      238
77.27/77.31	c 77.2s |      16 |   198150 |   174452 |     8155     50 |        5 |      238
79.27/79.31	c 79.2s |      16 |   203260 |   178952 |     8155     51 |        5 |      238
81.27/81.32	c 81.2s |      16 |   207815 |   183152 |     8155     52 |        5 |      238
83.26/83.34	c 83.2s |      16 |   212361 |   187252 |     8155     53 |        5 |      238
85.26/85.36	c 85.3s |      16 |   216921 |   191352 |     8155     54 |        5 |      238
87.26/87.38	c 87.3s |      16 |   221591 |   195652 |     8155     55 |        5 |      238
88.26/88.30	c 88.2s |      17 |   223526 |   197432 |     8971     55 |        5 |      238
90.27/90.33	c 90.2s |      17 |   227372 |   200832 |     8971     56 |        5 |      238
92.26/92.34	c 92.2s |      17 |   232065 |   205032 |     8971     57 |        5 |      238
94.26/94.38	c 94.3s |      17 |   236325 |   208932 |     8971     58 |        5 |      238
96.26/96.39	c 96.3s |      17 |   240050 |   212332 |     8971     59 |        5 |      238
98.36/98.43	c 98.3s |      17 |   244432 |   216332 |     8971     59 |        5 |      238
100.36/100.44	c  100s |      17 |   248864 |   220232 |     8971     60 |        5 |      238
102.37/102.48	c  102s |      17 |   253068 |   224132 |     8971     61 |        5 |      238
104.36/104.49	c  104s |      17 |   257241 |   227932 |     8971     62 |        5 |      238
106.46/106.51	c  106s |      17 |   261237 |   231532 |     8971     63 |        5 |      238
108.46/108.52	c  108s |      17 |   265092 |   235032 |     8971     64 |        5 |      238
110.46/110.53	c  110s |      17 |   269265 |   238832 |     8971     64 |        5 |      238
112.45/112.57	c  112s |      17 |   273245 |   242532 |     8971     65 |        5 |      238
114.55/114.61	c  114s |      17 |   276443 |   245432 |     8971     66 |        5 |      238
116.56/116.62	c  116s |      17 |   281204 |   249632 |     8971     67 |        5 |      238
118.55/118.62	c  118s |      17 |   285731 |   253632 |     8971     68 |        5 |      238
120.55/120.66	c  120s |      17 |   289830 |   257432 |     8971     68 |        5 |      238
122.55/122.68	c  122s |      17 |   293971 |   261232 |     8971     69 |        5 |      238
124.65/124.73	c  124s |      17 |   298082 |   265032 |     8971     70 |        5 |      238
126.65/126.76	c  126s |      17 |   301913 |   268632 |     8971     71 |        5 |      238
128.66/128.78	c  128s |      17 |   305796 |   272132 |     8971     72 |        5 |      238
130.75/130.80	c  130s |      17 |   309739 |   275732 |     8971     72 |        5 |      238
132.75/132.83	c  132s |      17 |   314274 |   279832 |     8971     73 |        5 |      238
134.75/134.86	c  134s |      17 |   318827 |   283932 |     8971     74 |        5 |      238
136.75/136.89	c  136s |      17 |   322709 |   287532 |     8971     75 |        5 |      238
138.84/138.93	c  138s |      17 |   326808 |   291332 |     8971     76 |        5 |      238
140.94/141.01	c  140s |      17 |   330566 |   294832 |     9869     77 |        5 |      238
141.64/141.72	c  141s |      18 |   332121 |   296252 |     9869     77 |        5 |      238
143.64/143.73	c  143s |      18 |   336162 |   299652 |     9869     78 |        5 |      238
145.64/145.77	c  145s |      18 |   341195 |   304052 |     9869     78 |        5 |      238
147.74/147.82	c  147s |      18 |   345638 |   307952 |     9869     79 |        5 |      238
149.74/149.82	c  149s |      18 |   350073 |   311852 |     9869     80 |        5 |      238
151.75/151.82	c  151s |      18 |   354193 |   315552 |     9869     81 |        5 |      238
153.73/153.84	c  153s |      18 |   358553 |   319452 |     9869     81 |        5 |      238
155.73/155.87	c  155s |      18 |   362780 |   323252 |     9869     82 |        5 |      238
157.73/157.88	c  157s |      18 |   366727 |   326752 |     9869     83 |        5 |      238
160.24/160.36	c  160s |      18 |   370878 |   330452 |     9869     84 |        5 |      238
162.34/162.40	c  162s |      18 |   375521 |   334552 |     9869     85 |        5 |      238
164.34/164.45	c  164s |      18 |   380170 |   338652 |     9869     85 |        5 |      238
166.34/166.46	c  166s |      18 |   384479 |   342552 |     9869     86 |        5 |      238
168.34/168.47	c  168s |      18 |   388290 |   346052 |     9869     87 |        5 |      238
170.44/170.50	c  170s |      18 |   392377 |   349752 |     9869     88 |        5 |      238
172.43/172.59	c  172s |      18 |   396717 |   353752 |     9869     88 |        5 |      238
174.53/174.63	c  174s |      18 |   400822 |   357452 |     9869     89 |        5 |      238
176.53/176.64	c  176s |      18 |   404865 |   361152 |     9869     90 |        5 |      238
178.53/178.65	c  178s |      18 |   408540 |   364352 |     9869     90 |        5 |      238
180.63/180.70	c  180s |      18 |   412884 |   368152 |     9869     91 |        5 |      238
182.63/182.72	c  182s |      18 |   416991 |   371852 |     9869     92 |        5 |      238
184.62/184.75	c  184s |      18 |   421216 |   375652 |     9869     93 |        5 |      238
186.62/186.77	c  186s |      18 |   425570 |   379452 |     9869     93 |        5 |      238
188.62/188.78	c  188s |      18 |   429302 |   382752 |     9869     94 |        5 |      238
190.73/190.81	c  190s |      18 |   434449 |   387252 |     9869     95 |        5 |      238
192.73/192.88	c  192s |      18 |   439044 |   391252 |     9869     96 |        5 |      238
194.83/194.94	c  194s |      18 |   443619 |   395352 |     9869     97 |        5 |      238
196.83/196.94	c  196s |      18 |   448125 |   399452 |     9869     97 |        5 |      238
198.82/198.98	c  198s |      18 |   452570 |   403452 |     9869     98 |        5 |      238
201.23/201.32	c  201s |      18 |   456011 |   406652 |     9869     99 |        5 |      238
203.22/203.36	c  203s |      18 |   460717 |   410852 |     9869    100 |        5 |      238
205.22/205.36	c  205s |      18 |   465160 |   414752 |     9869    101 |        5 |      238
207.22/207.39	c  207s |      18 |   469512 |   418752 |     9869    101 |        5 |      238
209.32/209.40	c  209s |      18 |   473546 |   422452 |     9869    102 |        5 |      238
211.32/211.45	c  211s |      18 |   477757 |   426352 |     9869    103 |        5 |      238
213.32/213.48	c  213s |      18 |   481554 |   429852 |     9869    104 |        5 |      238
215.41/215.54	c  215s |      18 |   485538 |   433552 |     9869    104 |        5 |      238
217.41/217.55	c  217s |      18 |   488864 |   436552 |     9869    105 |        5 |      238
219.41/219.55	c  219s |      18 |   492949 |   440252 |     9869    106 |        5 |      238
221.71/221.84	c  221s |      18 |   497058 |   444052 |    10856    106 |        5 |      238
222.01/222.10	c  222s |      19 |   497543 |   444482 |    10856    106 |        5 |      238
224.01/224.19	c  224s |      19 |   501846 |   448282 |    10856    107 |        5 |      238
226.11/226.22	c  226s |      19 |   506035 |   451982 |    10856    108 |        5 |      238
228.11/228.25	c  228s |      19 |   509884 |   455482 |    10856    108 |        5 |      238
230.11/230.27	c  230s |      19 |   513494 |   458782 |    10856    109 |        5 |      238
232.21/232.31	c  232s |      19 |   516991 |   461982 |    10856    109 |        5 |      238
234.21/234.35	c  234s |      19 |   520758 |   465482 |    10856    110 |        5 |      238
236.20/236.36	c  236s |      19 |   524113 |   468482 |    10856    111 |        5 |      238
238.30/238.41	c  238s |      19 |   527877 |   471982 |    10856    111 |        5 |      238
240.30/240.45	c  240s |      19 |   531661 |   475482 |    10856    112 |        5 |      238
242.30/242.46	c  242s |      19 |   534805 |   478482 |    10856    112 |        5 |      238
244.40/244.50	c  244s |      19 |   536855 |   480382 |    10856    113 |        5 |      238
246.31/246.50	c  246s |      19 |   541428 |   484282 |    10856    113 |        5 |      238
248.40/248.53	c  248s |      19 |   545704 |   488082 |    10856    114 |        5 |      238
250.40/250.56	c  250s |      19 |   549598 |   491482 |    10856    115 |        5 |      238
252.40/252.59	c  252s |      19 |   553427 |   494982 |    10856    115 |        5 |      238
254.50/254.60	c  254s |      19 |   557459 |   498582 |    10856    116 |        5 |      238
256.50/256.65	c  256s |      19 |   561306 |   502082 |    10856    117 |        5 |      238
258.50/258.68	c  258s |      19 |   564757 |   505182 |    10856    117 |        5 |      238
260.60/260.80	c  260s |      19 |   568781 |   508782 |    10856    118 |        5 |      238
262.69/262.82	c  262s |      19 |   572510 |   512182 |    10856    119 |        5 |      238
264.69/264.85	c  264s |      19 |   576214 |   515582 |    10856    119 |        5 |      238
266.79/266.90	c  266s |      19 |   579674 |   518782 |    10856    120 |        5 |      238
268.79/268.99	c  268s |      19 |   583296 |   522182 |    10856    120 |        5 |      238
270.79/270.99	c  270s |      19 |   586826 |   525482 |    10856    121 |        5 |      238
272.99/273.12	c  273s |      19 |   589531 |   527982 |    10856    121 |        5 |      238
274.99/275.14	c  275s |      19 |   593501 |   531482 |    10856    122 |        5 |      238
276.99/277.17	c  277s |      19 |   597209 |   534882 |    10856    123 |        5 |      238
279.09/279.23	c  279s |      19 |   601213 |   538482 |    10856    123 |        5 |      238
281.09/281.23	c  281s |      19 |   604364 |   541282 |    10856    124 |        5 |      238
283.08/283.29	c  283s |      19 |   608601 |   545082 |    10856    125 |        5 |      238
285.18/285.33	c  285s |      19 |   612855 |   548982 |    10856    125 |        5 |      238
287.18/287.35	c  287s |      19 |   616575 |   552382 |    10856    126 |        5 |      238
289.20/289.35	c  289s |      19 |   620105 |   555682 |    10856    126 |        5 |      238
291.19/291.38	c  291s |      19 |   623831 |   559182 |    10856    127 |        5 |      238
293.28/293.40	c  293s |      19 |   626856 |   561882 |    10856    128 |        5 |      238
295.28/295.45	c  295s |      19 |   631319 |   565782 |    10856    128 |        5 |      238
297.28/297.45	c  297s |      19 |   635400 |   569382 |    10856    129 |        5 |      238
299.38/299.53	c  299s |      19 |   638939 |   572582 |    10856    130 |        5 |      238
301.39/301.56	c  301s |      19 |   643262 |   576482 |    10856    130 |        5 |      238
303.38/303.58	c  303s |      19 |   647051 |   579982 |    10856    131 |        5 |      238
305.48/305.62	c  305s |      19 |   650662 |   583282 |    10856    131 |        5 |      238
307.48/307.66	c  307s |      19 |   654363 |   586682 |    10856    132 |        5 |      238
309.58/309.72	c  309s |      19 |   657518 |   589682 |    10856    133 |        5 |      238
311.58/311.75	c  311s |      19 |   661074 |   592982 |    10856    133 |        5 |      238
313.77/313.97	c  313s |      19 |   664287 |   595982 |    10856    134 |        5 |      238
315.77/315.99	c  315s |      19 |   667776 |   599182 |    10856    134 |        5 |      238
317.78/318.00	c  317s |      19 |   671467 |   602582 |    10856    135 |        5 |      238
319.87/320.04	c  319s |      19 |   674782 |   605682 |    10856    136 |        5 |      238
321.97/322.16	c  322s |      19 |   678235 |   608882 |    10856    136 |        5 |      238
324.06/324.21	c  324s |      19 |   681761 |   612082 |    10856    137 |        5 |      238
326.06/326.26	c  326s |      19 |   685445 |   615482 |    10856    137 |        5 |      238
328.06/328.27	c  328s |      19 |   688869 |   618682 |    10856    138 |        5 |      238
330.16/330.31	c  330s |      19 |   692023 |   621682 |    10856    138 |        5 |      238
332.17/332.37	c  332s |      19 |   694676 |   624182 |    10856    139 |        5 |      238
334.27/334.43	c  334s |      19 |   698600 |   627682 |    10856    140 |        5 |      238
336.26/336.49	c  336s |      19 |   702739 |   631482 |    10856    140 |        5 |      238
338.26/338.49	c  338s |      19 |   706298 |   634782 |    10856    141 |        5 |      238
340.36/340.55	c  340s |      19 |   709685 |   637882 |    10856    141 |        5 |      238
342.36/342.58	c  342s |      19 |   713475 |   641282 |    10856    142 |        5 |      238
344.46/344.62	c  344s |      19 |   717057 |   644482 |    10856    143 |        5 |      238
346.46/346.63	c  346s |      19 |   721202 |   648282 |    10856    143 |        5 |      238
348.45/348.67	c  348s |      19 |   724853 |   651682 |    10856    144 |        5 |      238
350.55/350.73	c  350s |      19 |   728332 |   654982 |    10856    144 |        5 |      238
352.55/352.76	c  352s |      19 |   731476 |   657882 |    10856    145 |        5 |      238
354.55/354.80	c  354s |      19 |   734652 |   660882 |    10856    146 |        5 |      238
356.65/356.85	c  356s |      19 |   738315 |   664282 |    11942    146 |        5 |      238
358.55/358.75	c  358s |      20 |   741021 |   666827 |    11942    146 |        5 |      238
360.55/360.79	c  360s |      20 |   744235 |   669627 |    11942    147 |        5 |      238
362.65/362.81	c  362s |      20 |   748178 |   673127 |    11942    147 |        5 |      238
364.64/364.82	c  364s |      20 |   752201 |   676627 |    11942    148 |        5 |      238
366.64/366.85	c  366s |      20 |   756239 |   680227 |    11942    149 |        5 |      238
368.64/368.85	c  368s |      20 |   760347 |   683927 |    11942    149 |        5 |      238
370.74/370.90	c  370s |      20 |   763273 |   686627 |    11942    150 |        5 |      238
372.75/372.94	c  372s |      20 |   766778 |   689727 |    11942    150 |        5 |      238
374.74/374.97	c  374s |      20 |   770666 |   693227 |    11942    151 |        5 |      238
376.84/377.02	c  376s |      20 |   774406 |   696727 |    11942    151 |        5 |      238
378.84/379.06	c  378s |      20 |   778060 |   700027 |    11942    152 |        5 |      238
380.94/381.10	c  381s |      20 |   781507 |   703227 |    11942    152 |        5 |      238
382.93/383.13	c  383s |      20 |   784812 |   706227 |    11942    153 |        5 |      238
384.94/385.18	c  385s |      20 |   787822 |   709027 |    11942    153 |        5 |      238
387.04/387.20	c  387s |      20 |   791266 |   712127 |    11942    154 |        5 |      238
389.03/389.23	c  389s |      20 |   794467 |   715127 |    11942    154 |        5 |      238
391.03/391.26	c  391s |      20 |   797677 |   717927 |    11942    155 |        5 |      238
393.03/393.29	c  393s |      20 |   801572 |   721427 |    11942    155 |        5 |      238
395.12/395.32	c  395s |      20 |   805368 |   724827 |    11942    156 |        5 |      238
397.12/397.33	c  397s |      20 |   808757 |   727927 |    11942    157 |        5 |      238
399.13/399.38	c  399s |      20 |   812124 |   731027 |    11942    157 |        5 |      238
401.22/401.44	c  401s |      20 |   815406 |   734027 |    11942    158 |        5 |      238
403.22/403.47	c  403s |      20 |   819037 |   737327 |    11942    158 |        5 |      238
405.22/405.47	c  405s |      20 |   822322 |   740327 |    11942    159 |        5 |      238
407.23/407.49	c  407s |      20 |   825780 |   743527 |    11942    159 |        5 |      238
409.33/409.52	c  409s |      20 |   829005 |   746527 |    11942    160 |        5 |      238
411.33/411.52	c  411s |      20 |   832267 |   749527 |    11942    160 |        5 |      238
413.32/413.55	c  413s |      20 |   835429 |   752427 |    11942    161 |        5 |      238
415.32/415.59	c  415s |      20 |   839470 |   756127 |    11942    161 |        5 |      238
417.32/417.60	c  417s |      20 |   842707 |   759127 |    11942    162 |        5 |      238
419.42/419.65	c  419s |      20 |   846662 |   762727 |    11942    162 |        5 |      238
421.42/421.68	c  421s |      20 |   850435 |   766227 |    11942    163 |        5 |      238
423.52/423.73	c  423s |      20 |   852675 |   768327 |    11942    163 |        5 |      238
425.53/425.74	c  425s |      20 |   856372 |   771627 |    11942    164 |        5 |      238
427.52/427.75	c  427s |      20 |   860195 |   775127 |    11942    164 |        5 |      238
429.52/429.75	c  429s |      20 |   863819 |   778427 |    11942    165 |        5 |      238
431.52/431.78	c  431s |      20 |   867234 |   781627 |    11942    165 |        5 |      238
433.61/433.80	c  433s |      20 |   870723 |   784827 |    11942    166 |        5 |      238
435.61/435.84	c  435s |      20 |   874043 |   787827 |    11942    166 |        5 |      238
437.62/437.85	c  437s |      20 |   877535 |   791027 |    11942    167 |        5 |      238
439.61/439.87	c  439s |      20 |   880898 |   794127 |    11942    167 |        5 |      238
441.71/441.92	c  441s |      20 |   884624 |   797627 |    11942    168 |        5 |      238
443.81/444.02	c  443s |      20 |   888149 |   800627 |    11942    169 |        5 |      238
445.81/446.03	c  445s |      20 |   890959 |   803227 |    11942    169 |        5 |      238
447.80/448.07	c  447s |      20 |   893787 |   805927 |    11942    169 |        5 |      238
449.81/450.09	c  449s |      20 |   896876 |   808827 |    11942    170 |        5 |      238
451.91/452.13	c  452s |      20 |   900078 |   811827 |    11942    170 |        5 |      238
453.90/454.17	c  454s |      20 |   903430 |   814927 |    11942    171 |        5 |      238
456.00/456.20	c  456s |      20 |   906457 |   817527 |    11942    171 |        5 |      238
458.00/458.22	c  458s |      20 |   910817 |   821227 |    11942    172 |        5 |      238
460.00/460.23	c  460s |      20 |   914778 |   824727 |    11942    172 |        5 |      238
462.00/462.24	c  462s |      20 |   918776 |   828327 |    11942    173 |        5 |      238
464.01/464.28	c  464s |      20 |   922898 |   831927 |    11942    174 |        5 |      238
466.10/466.31	c  466s |      20 |   927041 |   835627 |    11942    174 |        5 |      238
468.10/468.39	c  468s |      20 |   931055 |   839327 |    11942    175 |        5 |      238
470.20/470.44	c  470s |      20 |   934881 |   842827 |    11942    175 |        5 |      238
472.20/472.45	c  472s |      20 |   938458 |   846027 |    11942    176 |        5 |      238
474.19/474.48	c  474s |      20 |   941938 |   849227 |    11942    177 |        5 |      238
476.30/476.50	c  476s |      20 |   943628 |   850727 |    11942    177 |        5 |      238
478.31/478.55	c  478s |      20 |   947800 |   854527 |    11942    177 |        5 |      238
480.30/480.57	c  480s |      20 |   951740 |   858127 |    11942    178 |        5 |      238
482.30/482.58	c  482s |      20 |   955310 |   861227 |    11942    179 |        5 |      238
484.40/484.64	c  484s |      20 |   959293 |   864727 |    11942    179 |        5 |      238
486.40/486.68	c  486s |      20 |   963069 |   868027 |    11942    180 |        5 |      238
488.50/488.73	c  488s |      20 |   967096 |   871627 |    11942    180 |        5 |      238
490.51/490.74	c  490s |      20 |   970654 |   874827 |    11942    181 |        5 |      238
492.50/492.76	c  492s |      20 |   974356 |   878227 |    11942    181 |        5 |      238
494.69/494.91	c  494s |      20 |   978300 |   881827 |    11942    182 |        5 |      238
496.69/496.97	c  496s |      20 |   981769 |   885027 |    11942    182 |        5 |      238
498.69/498.99	c  498s |      20 |   985262 |   888227 |    11942    183 |        5 |      238
500.79/501.02	c  500s |      20 |   988520 |   891227 |    11942    183 |        5 |      238
502.79/503.04	c  502s |      20 |   992046 |   894527 |    11942    184 |        5 |      238
504.79/505.09	c  504s |      20 |   994880 |   896927 |    11942    184 |        5 |      238
506.89/507.15	c  507s |      20 |   998926 |   900627 |    11942    185 |        5 |      238
508.89/509.17	c  509s |      20 |  1002542 |   903927 |    11942    186 |        5 |      238
510.99/511.20	c  511s |      20 |  1006389 |   907427 |    11942    186 |        5 |      238
512.98/513.24	c  513s |      20 |  1008646 |   909427 |    11942    187 |        5 |      238
514.98/515.25	c  515s |      20 |  1012727 |   912927 |    11942    187 |        5 |      238
516.98/517.25	c  517s |      20 |  1016962 |   916727 |    11942    188 |        5 |      238
518.99/519.27	c  519s |      20 |  1020918 |   920127 |    11942    188 |        5 |      238
521.08/521.32	c  521s |      20 |  1024987 |   923727 |    11942    189 |        5 |      238
523.08/523.34	c  523s |      20 |  1028932 |   927327 |    11942    189 |        5 |      238
525.98/526.23	c  526s |      20 |  1032860 |   930927 |    11942    190 |        5 |      238
527.98/528.24	c  528s |      20 |  1036583 |   934227 |    11942    191 |        5 |      238
529.98/530.29	c  530s |      20 |  1040466 |   937727 |    11942    191 |        5 |      238
532.08/532.33	c  532s |      20 |  1044038 |   941027 |    11942    192 |        5 |      238
534.07/534.36	c  534s |      20 |  1047663 |   944327 |    11942    192 |        5 |      238
536.17/536.40	c  536s |      20 |  1051412 |   947627 |    11942    193 |        5 |      238
538.17/538.40	c  538s |      20 |  1054997 |   950927 |    11942    193 |        5 |      238
540.17/540.41	c  540s |      20 |  1058835 |   954427 |    11942    194 |        5 |      238
542.18/542.45	c  542s |      20 |  1062002 |   957327 |    11942    194 |        5 |      238
544.17/544.47	c  544s |      20 |  1065828 |   960827 |    11942    195 |        5 |      238
546.27/546.50	c  546s |      20 |  1069277 |   964027 |    11942    196 |        5 |      238
548.57/548.80	c  548s |      20 |  1071981 |   966527 |    11942    196 |        5 |      238
550.57/550.82	c  550s |      20 |  1075541 |   969727 |    11942    196 |        5 |      238
552.57/552.87	c  552s |      20 |  1079358 |   973227 |    11942    197 |        5 |      238
554.66/554.93	c  554s |      20 |  1082296 |   976027 |    11942    198 |        5 |      238
556.66/556.95	c  556s |      20 |  1085622 |   979127 |    11942    198 |        5 |      238
558.67/558.95	c  558s |      20 |  1088474 |   981827 |    11942    198 |        5 |      238
560.66/560.99	c  560s |      20 |  1091946 |   985027 |    11942    199 |        5 |      238
562.76/563.01	c  562s |      20 |  1094783 |   987727 |    11942    199 |        5 |      238
564.77/565.04	c  564s |      20 |  1097755 |   990427 |    11942    200 |        5 |      238
566.77/567.06	c  566s |      20 |  1101455 |   993827 |    13137    200 |        5 |      238
568.86/569.10	c  569s |      20 |  1104762 |   996827 |    13137    201 |        5 |      238
570.86/571.13	c  571s |      20 |  1108195 |   999927 |    13137    201 |        5 |      238
571.16/571.42	c  571s |      21 |  1108626 |  1000345 |    13137    201 |        5 |      238
573.16/573.47	c  573s |      21 |  1111785 |  1003045 |    13137    202 |        5 |      238
575.26/575.51	c  575s |      21 |  1115926 |  1006745 |    13137    202 |        5 |      238
577.27/577.55	c  577s |      21 |  1119397 |  1009845 |    13137    203 |        5 |      238
579.36/579.61	c  579s |      21 |  1123113 |  1013245 |    13137    203 |        5 |      238
581.66/581.94	c  581s |      21 |  1125596 |  1015545 |    13137    204 |        5 |      238
583.65/583.97	c  583s |      21 |  1129926 |  1019345 |    13137    204 |        5 |      238
585.65/585.99	c  585s |      21 |  1133144 |  1022245 |    13137    205 |        5 |      238
587.75/588.02	c  587s |      21 |  1136765 |  1025545 |    13137    205 |        5 |      238
589.85/590.11	c  590s |      21 |  1140059 |  1028545 |    13137    206 |        5 |      238
591.85/592.13	c  592s |      21 |  1143567 |  1031845 |    13137    206 |        5 |      238
593.86/594.14	c  594s |      21 |  1146801 |  1034845 |    13137    206 |        5 |      238
595.85/596.15	c  596s |      21 |  1150058 |  1037745 |    13137    207 |        5 |      238
597.95/598.21	c  598s |      21 |  1153412 |  1040845 |    13137    207 |        5 |      238
599.95/600.22	c  600s |      21 |  1156051 |  1043245 |    13137    208 |        5 |      238
601.95/602.26	c  602s |      21 |  1160116 |  1046845 |    13137    208 |        5 |      238
604.04/604.31	c  604s |      21 |  1163585 |  1049945 |    13137    209 |        5 |      238
606.04/606.32	c  606s |      21 |  1167096 |  1053145 |    13137    209 |        5 |      238
608.05/608.37	c  608s |      21 |  1170175 |  1056045 |    13137    210 |        5 |      238
610.45/610.80	c  610s |      21 |  1173529 |  1059145 |    13137    210 |        5 |      238
612.45/612.80	c  612s |      21 |  1176723 |  1062045 |    13137    211 |        5 |      238
614.54/614.85	c  614s |      21 |  1180287 |  1065345 |    13137    211 |        5 |      238
616.54/616.87	c  616s |      21 |  1183295 |  1068145 |    13137    211 |        5 |      238
618.64/618.93	c  618s |      21 |  1186631 |  1071245 |    13137    212 |        5 |      238
620.64/621.00	c  620s |      21 |  1189427 |  1073845 |    13137    212 |        5 |      238
622.74/623.00	c  622s |      21 |  1192295 |  1076545 |    13137    213 |        5 |      238
624.74/625.04	c  624s |      21 |  1195259 |  1079345 |    13137    213 |        5 |      238
626.74/627.10	c  626s |      21 |  1198070 |  1081945 |    13137    214 |        5 |      238
628.84/629.12	c  629s |      21 |  1201253 |  1084945 |    13137    214 |        5 |      238
630.84/631.15	c  631s |      21 |  1203908 |  1087345 |    13137    214 |        5 |      238
632.93/633.20	c  633s |      21 |  1206978 |  1090145 |    13137    215 |        5 |      238
634.93/635.25	c  635s |      21 |  1210310 |  1093145 |    13137    215 |        5 |      238
636.93/637.29	c  637s |      21 |  1213623 |  1096145 |    13137    216 |        5 |      238
639.03/639.33	c  639s |      21 |  1217259 |  1099445 |    13137    216 |        5 |      238
641.04/641.38	c  641s |      21 |  1220248 |  1102245 |    13137    217 |        5 |      238
643.34/643.65	c  643s |      21 |  1222938 |  1104745 |    13137    217 |        5 |      238
645.33/645.65	c  645s |      21 |  1226443 |  1107945 |    13137    217 |        5 |      238
647.43/647.71	c  647s |      21 |  1229871 |  1111145 |    13137    218 |        5 |      238
649.43/649.76	c  649s |      21 |  1232811 |  1113945 |    13137    218 |        5 |      238
651.53/651.80	c  651s |      21 |  1235612 |  1116545 |    13137    219 |        5 |      238
653.52/653.81	c  653s |      21 |  1238723 |  1119445 |    13137    219 |        5 |      238
655.52/655.86	c  655s |      21 |  1241200 |  1121745 |    13137    220 |        5 |      238
657.63/657.90	c  657s |      21 |  1244461 |  1124845 |    13137    220 |        5 |      238
659.62/659.98	c  659s |      21 |  1247188 |  1127445 |    13137    220 |        5 |      238
661.72/662.01	c  661s |      21 |  1249646 |  1129745 |    13137    221 |        5 |      238
663.72/664.06	c  663s |      21 |  1252660 |  1132545 |    13137    221 |        5 |      238
665.72/666.09	c  665s |      21 |  1255196 |  1134945 |    13137    221 |        5 |      238
667.82/668.12	c  668s |      21 |  1257817 |  1137445 |    13137    222 |        5 |      238
669.82/670.15	c  670s |      21 |  1260449 |  1139945 |    13137    222 |        5 |      238
671.83/672.20	c  672s |      21 |  1262915 |  1142245 |    13137    223 |        5 |      238
673.92/674.27	c  674s |      21 |  1265762 |  1144945 |    13137    223 |        5 |      238
675.92/676.29	c  676s |      21 |  1268319 |  1147345 |    13137    223 |        5 |      238
678.02/678.32	c  678s |      21 |  1271140 |  1150045 |    13137    224 |        5 |      238
680.02/680.36	c  680s |      21 |  1273865 |  1152545 |    13137    224 |        5 |      238
682.12/682.40	c  682s |      21 |  1276890 |  1155345 |    13137    225 |        5 |      238
684.11/684.41	c  684s |      21 |  1280200 |  1158345 |    13137    225 |        5 |      238
686.12/686.45	c  686s |      21 |  1283192 |  1161145 |    13137    225 |        5 |      238
688.11/688.45	c  688s |      21 |  1286243 |  1163945 |    13137    226 |        5 |      238
690.12/690.46	c  690s |      21 |  1288950 |  1166445 |    13137    226 |        5 |      238
692.22/692.50	c  692s |      21 |  1291969 |  1169245 |    13137    227 |        5 |      238
694.22/694.52	c  694s |      21 |  1295353 |  1172345 |    13137    227 |        5 |      238
696.32/696.62	c  696s |      21 |  1298125 |  1174945 |    13137    228 |        5 |      238
698.32/698.63	c  698s |      21 |  1301251 |  1177745 |    13137    228 |        5 |      238
700.31/700.68	c  700s |      21 |  1304216 |  1180545 |    13137    228 |        5 |      238
702.41/702.74	c  702s |      21 |  1307209 |  1183345 |    13137    229 |        5 |      238
704.41/704.79	c  704s |      21 |  1310182 |  1186145 |    13137    229 |        5 |      238
706.51/706.85	c  706s |      21 |  1312088 |  1187945 |    13137    229 |        5 |      238
708.51/708.89	c  708s |      21 |  1315621 |  1191045 |    13137    230 |        5 |      238
710.61/710.92	c  710s |      21 |  1319094 |  1194145 |    13137    230 |        5 |      238
712.61/712.93	c  712s |      21 |  1322680 |  1197445 |    13137    231 |        5 |      238
714.61/714.94	c  714s |      21 |  1325799 |  1200345 |    13137    231 |        5 |      238
716.61/716.96	c  716s |      21 |  1328915 |  1203245 |    13137    232 |        5 |      238
718.71/719.00	c  718s |      21 |  1331996 |  1206045 |    13137    232 |        5 |      238
720.71/721.02	c  720s |      21 |  1334930 |  1208745 |    13137    233 |        5 |      238
722.71/723.05	c  722s |      21 |  1338357 |  1211945 |    13137    233 |        5 |      238
724.80/725.13	c  725s |      21 |  1341142 |  1214545 |    13137    233 |        5 |      238
726.91/727.20	c  727s |      21 |  1344237 |  1217445 |    13137    234 |        5 |      238
728.90/729.22	c  729s |      21 |  1346190 |  1219245 |    13137    234 |        5 |      238
730.90/731.25	c  731s |      21 |  1349551 |  1222245 |    13137    235 |        5 |      238
732.90/733.26	c  733s |      21 |  1352974 |  1225445 |    13137    235 |        5 |      238
735.00/735.32	c  735s |      21 |  1355906 |  1228145 |    13137    235 |        5 |      238
737.00/737.38	c  737s |      21 |  1359381 |  1231345 |    13137    236 |        5 |      238
739.01/739.39	c  739s |      21 |  1362251 |  1234045 |    13137    236 |        5 |      238
741.40/741.72	c  741s |      21 |  1365255 |  1236845 |    13137    237 |        5 |      238
743.41/743.75	c  743s |      21 |  1368705 |  1240045 |    13137    237 |        5 |      238
745.40/745.79	c  745s |      21 |  1371901 |  1243045 |    13137    238 |        5 |      238
747.50/747.85	c  747s |      21 |  1374901 |  1245845 |    13137    238 |        5 |      238
749.50/749.87	c  749s |      21 |  1377440 |  1248245 |    13137    239 |        5 |      238
751.80/752.13	c  752s |      21 |  1380089 |  1250745 |    13137    239 |        5 |      238
753.80/754.17	c  754s |      21 |  1383189 |  1253545 |    13137    239 |        5 |      238
755.80/756.18	c  756s |      21 |  1386171 |  1256345 |    13137    240 |        5 |      238
757.80/758.19	c  758s |      21 |  1389181 |  1259145 |    13137    240 |        5 |      238
759.81/760.19	c  760s |      21 |  1390993 |  1260745 |    13137    240 |        5 |      238
761.90/762.22	c  762s |      21 |  1394919 |  1264045 |    13137    241 |        5 |      238
763.90/764.28	c  764s |      21 |  1398987 |  1267545 |    13137    241 |        5 |      238
766.00/766.30	c  766s |      21 |  1402792 |  1270945 |    13137    242 |        5 |      238
768.00/768.31	c  768s |      21 |  1406651 |  1274445 |    13137    242 |        5 |      238
770.00/770.32	c  770s |      21 |  1410678 |  1277945 |    13137    243 |        5 |      238
772.01/772.39	c  772s |      21 |  1414138 |  1281045 |    13137    243 |        5 |      238
774.11/774.45	c  774s |      21 |  1417802 |  1284345 |    13137    244 |        5 |      238
776.10/776.49	c  776s |      21 |  1421185 |  1287345 |    13137    244 |        5 |      238
778.20/778.52	c  778s |      21 |  1424118 |  1289845 |    13137    245 |        5 |      238
780.20/780.53	c  780s |      21 |  1427945 |  1293245 |    13137    245 |        5 |      238
782.20/782.59	c  782s |      21 |  1431794 |  1296645 |    13137    246 |        5 |      238
784.30/784.61	c  784s |      21 |  1435401 |  1299845 |    13137    246 |        5 |      238
786.30/786.63	c  786s |      21 |  1438831 |  1302945 |    13137    247 |        5 |      238
788.30/788.64	c  788s |      21 |  1442558 |  1306345 |    13137    247 |        5 |      238
790.39/790.75	c  790s |      21 |  1444153 |  1307845 |    13137    248 |        5 |      238
792.49/792.80	c  792s |      21 |  1447919 |  1311345 |    13137    248 |        5 |      238
794.49/794.80	c  794s |      21 |  1450963 |  1314145 |    13137    248 |        5 |      238
796.49/796.84	c  796s |      21 |  1454370 |  1317245 |    13137    249 |        5 |      238
798.49/798.84	c  798s |      21 |  1457511 |  1320145 |    13137    249 |        5 |      238
800.50/800.89	c  800s |      21 |  1460689 |  1323045 |    13137    250 |        5 |      238
802.59/802.91	c  802s |      21 |  1464100 |  1326045 |    13137    250 |        5 |      238
804.59/804.92	c  804s |      21 |  1467456 |  1329045 |    13137    251 |        5 |      238
806.79/807.14	c  807s |      21 |  1470771 |  1332045 |    13137    251 |        5 |      238
808.89/809.26	c  809s |      21 |  1473507 |  1334445 |    13137    252 |        5 |      238
810.89/811.28	c  811s |      21 |  1477767 |  1338245 |    13137    252 |        5 |      238
812.89/813.28	c  813s |      21 |  1481492 |  1341445 |    13137    253 |        5 |      238
814.99/815.30	c  815s |      21 |  1485647 |  1345145 |    13137    253 |        5 |      238
817.00/817.33	c  817s |      21 |  1489101 |  1348345 |    13137    254 |        5 |      238
819.09/819.49	c  819s |      21 |  1491629 |  1350645 |    13137    254 |        5 |      238
821.19/821.53	c  821s |      21 |  1495528 |  1354145 |    13137    254 |        5 |      238
823.19/823.57	c  823s |      21 |  1499422 |  1357645 |    13137    255 |        5 |      238
825.29/825.61	c  825s |      21 |  1502919 |  1360845 |    13137    255 |        5 |      238
827.29/827.66	c  827s |      21 |  1506096 |  1363845 |    13137    256 |        5 |      238
829.39/829.72	c  829s |      21 |  1509567 |  1367045 |    13137    256 |        5 |      238
831.40/831.76	c  831s |      21 |  1512810 |  1370045 |    13137    257 |        5 |      238
833.50/833.80	c  833s |      21 |  1515897 |  1372945 |    13137    257 |        5 |      238
835.49/835.85	c  835s |      21 |  1518989 |  1375745 |    13137    258 |        5 |      238
837.49/837.86	c  837s |      21 |  1522245 |  1378745 |    13137    258 |        5 |      238
839.89/840.22	c  840s |      21 |  1524711 |  1381045 |    13137    259 |        5 |      238
841.89/842.24	c  842s |      21 |  1527816 |  1383745 |    13137    259 |        5 |      238
843.89/844.28	c  844s |      21 |  1531327 |  1386845 |    13137    259 |        5 |      238
845.99/846.32	c  846s |      21 |  1535315 |  1390445 |    13137    260 |        5 |      238
847.99/848.38	c  848s |      21 |  1538819 |  1393645 |    13137    260 |        5 |      238
850.09/850.43	c  850s |      21 |  1542321 |  1396845 |    13137    261 |        5 |      238
852.09/852.48	c  852s |      21 |  1545548 |  1399845 |    13137    261 |        5 |      238
854.09/854.49	c  854s |      21 |  1548710 |  1402745 |    13137    262 |        5 |      238
856.18/856.50	c  856s |      21 |  1551776 |  1405645 |    13137    262 |        5 |      238
858.79/859.14	c  859s |      21 |  1554191 |  1407845 |    13137    263 |        5 |      238
860.78/861.16	c  861s |      21 |  1557690 |  1411045 |    13137    263 |        5 |      238
862.88/863.20	c  863s |      21 |  1560702 |  1413845 |    13137    263 |        5 |      238
864.88/865.22	c  865s |      21 |  1563672 |  1416645 |    13137    264 |        5 |      238
866.88/867.25	c  867s |      21 |  1566547 |  1419345 |    13137    264 |        5 |      238
868.98/869.30	c  869s |      21 |  1569182 |  1421845 |    13137    265 |        5 |      238
870.98/871.35	c  871s |      21 |  1572138 |  1424645 |    13137    265 |        5 |      238
872.98/873.37	c  873s |      21 |  1574920 |  1427245 |    13137    265 |        5 |      238
875.18/875.56	c  875s |      21 |  1577481 |  1429645 |    13137    266 |        5 |      238
877.28/877.63	c  877s |      21 |  1580919 |  1432745 |    13137    266 |        5 |      238
879.28/879.65	c  879s |      21 |  1583935 |  1435545 |    13137    267 |        5 |      238
881.28/881.67	c  881s |      21 |  1587175 |  1438545 |    13137    267 |        5 |      238
883.28/883.69	c  883s |      21 |  1590144 |  1441345 |    13137    268 |        5 |      238
885.37/885.75	c  885s |      21 |  1593415 |  1444345 |    13137    268 |        5 |      238
887.87/888.25	c  888s |      21 |  1595194 |  1445945 |    13137    268 |        8 |      299
889.87/890.27	c  890s |      21 |  1600351 |  1450445 |    13137    268 |        8 |      299
891.88/892.28	c  892s |      21 |  1604518 |  1454145 |    13137    268 |        8 |      299
893.98/894.36	c  894s |      21 |  1607930 |  1457245 |    13137    268 |        8 |      299
895.97/896.36	c  896s |      21 |  1611791 |  1460645 |    13137    269 |        8 |      299
898.07/898.41	c  898s |      21 |  1614842 |  1463345 |    13137    269 |        8 |      299
900.07/900.47	c  900s |      21 |  1618382 |  1466545 |    13137    270 |        8 |      299
902.07/902.48	c  902s |      21 |  1621977 |  1469845 |    13137    270 |        8 |      299
904.17/904.53	c  904s |      21 |  1625453 |  1473045 |    13137    271 |        8 |      299
906.19/906.55	c  906s |      21 |  1628796 |  1476045 |    13137    271 |        8 |      299
908.29/908.61	c  908s |      21 |  1632117 |  1479045 |    13137    272 |        8 |      299
910.28/910.64	c  910s |      21 |  1636033 |  1482645 |    13137    272 |        8 |      299
912.28/912.69	c  912s |      21 |  1639370 |  1485745 |    13137    273 |        8 |      299
914.38/914.74	c  914s |      21 |  1642589 |  1488745 |    13137    273 |        8 |      299
916.38/916.79	c  916s |      21 |  1645622 |  1491545 |    14451    273 |        8 |      299
919.08/919.41	c  919s |      21 |  1647483 |  1493245 |    14451    274 |        8 |      299
921.08/921.47	c  921s |      21 |  1651466 |  1496845 |    14451    274 |        8 |      299
923.18/923.55	c  923s |      21 |  1654403 |  1499545 |    14451    275 |        8 |      299
923.88/924.20	c  924s |      22 |  1655536 |  1500622 |    14451    275 |        8 |      299
925.88/926.25	c  926s |      22 |  1658811 |  1503522 |    14451    275 |        8 |      299
927.98/928.31	c  928s |      22 |  1661985 |  1506422 |    14451    275 |        8 |      299
929.98/930.37	c  930s |      22 |  1665394 |  1509522 |    14451    276 |        8 |      299
931.98/932.39	c  932s |      22 |  1668390 |  1512222 |    14451    276 |        8 |      299
933.98/934.40	c  934s |      22 |  1671632 |  1515122 |    14451    277 |        8 |      299
936.08/936.43	c  936s |      22 |  1675411 |  1518522 |    14451    277 |        8 |      299
938.08/938.44	c  938s |      22 |  1678117 |  1521022 |    14451    277 |        8 |      299
940.08/940.47	c  940s |      22 |  1681189 |  1523822 |    14451    278 |        8 |      299
942.07/942.49	c  942s |      22 |  1684569 |  1526922 |    14451    278 |        8 |      299
944.17/944.54	c  944s |      22 |  1687443 |  1529622 |    14451    279 |        8 |      299
946.17/946.56	c  946s |      22 |  1690649 |  1532622 |    14451    279 |        8 |      299
948.17/948.57	c  948s |      22 |  1691912 |  1533722 |    14451    279 |        8 |      299
950.27/950.68	c  950s |      22 |  1694880 |  1536422 |    14451    280 |        8 |      299
952.38/952.74	c  952s |      22 |  1698345 |  1539622 |    14451    280 |        8 |      299
954.48/954.82	c  954s |      22 |  1701584 |  1542622 |    14451    280 |        8 |      299
956.47/956.84	c  956s |      22 |  1705009 |  1545822 |    14451    281 |        8 |      299
958.57/958.91	c  958s |      22 |  1707627 |  1548222 |    14451    281 |        8 |      299
960.67/961.06	c  960s |      22 |  1710605 |  1551022 |    14451    282 |        8 |      299
962.67/963.08	c  962s |      22 |  1713842 |  1554022 |    14451    282 |        8 |      299
964.77/965.12	c  965s |      22 |  1716401 |  1556422 |    14451    282 |        8 |      299
966.77/967.18	c  967s |      22 |  1718993 |  1558822 |    14451    283 |        8 |      299
968.78/969.18	c  969s |      22 |  1721532 |  1561122 |    14451    283 |        8 |      299
970.77/971.19	c  971s |      22 |  1724500 |  1563822 |    14451    283 |        8 |      299
972.87/973.23	c  973s |      22 |  1727280 |  1566422 |    14451    284 |        8 |      299
974.87/975.24	c  975s |      22 |  1730409 |  1569322 |    14451    284 |        8 |      299
976.87/977.25	c  977s |      22 |  1731970 |  1570722 |    14451    284 |        8 |      299
978.87/979.25	c  979s |      22 |  1734558 |  1573022 |    14451    285 |        8 |      299
980.97/981.31	c  981s |      22 |  1738405 |  1576522 |    14451    285 |        8 |      299
982.97/983.36	c  983s |      22 |  1741338 |  1579222 |    14451    285 |        8 |      299
985.07/985.43	c  985s |      22 |  1744368 |  1582022 |    14451    286 |        8 |      299
987.07/987.48	c  987s |      22 |  1747377 |  1584822 |    14451    286 |        8 |      299
989.06/989.49	c  989s |      22 |  1750085 |  1587322 |    14451    287 |        8 |      299
991.16/991.56	c  991s |      22 |  1752299 |  1589322 |    14451    287 |        8 |      299
993.16/993.58	c  993s |      22 |  1755472 |  1592022 |    14451    287 |        8 |      299
995.27/995.62	c  995s |      22 |  1758018 |  1594422 |    14451    287 |        8 |      299
997.26/997.66	c  997s |      22 |  1761128 |  1597322 |    14451    288 |        8 |      299
999.26/999.69	c  999s |      22 |  1764145 |  1600022 |    14451    288 |        8 |      299
1001.56/1001.93	c 1001s |      22 |  1766638 |  1602322 |    14451    289 |        8 |      299
1003.56/1003.95	c 1003s |      22 |  1770350 |  1605722 |    14451    289 |        8 |      299
1005.66/1006.03	c 1005s |      22 |  1773442 |  1608622 |    14451    289 |        8 |      299
1007.76/1008.18	c 1008s |      22 |  1776282 |  1611322 |    14451    290 |        8 |      299
1009.86/1010.20	c 1010s |      22 |  1779273 |  1614122 |    14451    290 |        8 |      299
1011.86/1012.25	c 1012s |      22 |  1781694 |  1616422 |    14451    291 |        8 |      299
1014.36/1014.73	c 1014s |      22 |  1782961 |  1617622 |    14451    291 |        8 |      299
1016.36/1016.75	c 1016s |      22 |  1786621 |  1621022 |    14451    291 |        8 |      299
1018.46/1018.81	c 1018s |      22 |  1789493 |  1623722 |    14451    292 |        8 |      299
1020.46/1020.86	c 1020s |      22 |  1792699 |  1626722 |    14451    292 |        8 |      299
1022.56/1022.93	c 1022s |      22 |  1795437 |  1629322 |    14451    292 |        8 |      299
1024.56/1024.98	c 1024s |      22 |  1797960 |  1631722 |    14451    293 |        8 |      299
1026.65/1027.03	c 1026s |      22 |  1800317 |  1633922 |    14451    293 |        8 |      299
1028.65/1029.08	c 1028s |      22 |  1803061 |  1636522 |    14451    293 |        8 |      299
1030.65/1031.09	c 1030s |      22 |  1805161 |  1638522 |    14451    294 |        8 |      299
1032.76/1033.10	c 1033s |      22 |  1807906 |  1641122 |    14451    294 |        8 |      299
1034.77/1035.14	c 1035s |      22 |  1810449 |  1643522 |    14451    294 |        8 |      299
1036.86/1037.27	c 1037s |      22 |  1812684 |  1645622 |    14451    295 |        8 |      299
1038.96/1039.32	c 1039s |      22 |  1814622 |  1647422 |    14451    295 |        8 |      299
1040.96/1041.34	c 1041s |      22 |  1817888 |  1650422 |    14451    295 |        8 |      299
1043.06/1043.42	c 1043s |      22 |  1820601 |  1652922 |    14451    296 |        8 |      299
1045.06/1045.43	c 1045s |      22 |  1823941 |  1656022 |    14451    296 |        8 |      299
1047.06/1047.49	c 1047s |      22 |  1826923 |  1658822 |    14451    296 |        8 |      299
1049.16/1049.51	c 1049s |      22 |  1829186 |  1660922 |    14451    297 |        8 |      299
1051.16/1051.52	c 1051s |      22 |  1832500 |  1664022 |    14451    297 |        8 |      299
1053.16/1053.59	c 1053s |      22 |  1835275 |  1666622 |    14451    297 |        8 |      299
1055.26/1055.61	c 1055s |      22 |  1838022 |  1669222 |    14451    298 |        8 |      299
1057.26/1057.63	c 1057s |      22 |  1841111 |  1672122 |    14451    298 |        8 |      299
1059.85/1060.22	c 1060s |      22 |  1841756 |  1672722 |    14451    298 |       13 |      364
1061.85/1062.24	c 1062s |      22 |  1846874 |  1677322 |    14451    298 |       13 |      364
1063.85/1064.26	c 1064s |      22 |  1850669 |  1680822 |    14451    298 |       13 |      364
1065.95/1066.31	c 1066s |      22 |  1853900 |  1683822 |    14451    298 |       13 |      364
1067.95/1068.33	c 1068s |      22 |  1856939 |  1686622 |    14451    299 |       13 |      364
1070.25/1070.69	c 1070s |      22 |  1859938 |  1689422 |    14451    299 |       13 |      364
1072.35/1072.73	c 1072s |      22 |  1862904 |  1692122 |    14451    299 |       13 |      364
1074.36/1074.77	c 1074s |      22 |  1866080 |  1695022 |    14451    300 |       13 |      364
1076.45/1076.83	c 1076s |      22 |  1868978 |  1697722 |    14451    300 |       13 |      364
1078.45/1078.85	c 1078s |      22 |  1871722 |  1700322 |    14451    301 |       13 |      364
1080.45/1080.88	c 1080s |      22 |  1874756 |  1703222 |    14451    301 |       13 |      364
1082.45/1082.89	c 1082s |      22 |  1877230 |  1705522 |    14451    301 |       13 |      364
1084.55/1084.90	c 1084s |      22 |  1879808 |  1707922 |    14451    302 |       13 |      364
1086.56/1086.92	c 1086s |      22 |  1882701 |  1710622 |    14451    302 |       13 |      364
1088.55/1088.93	c 1088s |      22 |  1885440 |  1713122 |    14451    302 |       13 |      364
1090.55/1090.96	c 1090s |      22 |  1887724 |  1715222 |    14451    303 |       13 |      364
1092.65/1093.02	c 1092s |      22 |  1891561 |  1718622 |    14451    303 |       13 |      364
1094.65/1095.04	c 1094s |      22 |  1894687 |  1721422 |    14451    303 |       13 |      364
1096.65/1097.07	c 1096s |      22 |  1898357 |  1724722 |    14451    304 |       13 |      364
1098.65/1099.09	c 1098s |      22 |  1901595 |  1727722 |    14451    304 |       13 |      364
1100.75/1101.15	c 1101s |      22 |  1904565 |  1730322 |    14451    305 |       13 |      364
1102.75/1103.19	c 1103s |      22 |  1907824 |  1733322 |    14451    305 |       13 |      364
1104.85/1105.22	c 1105s |      22 |  1911067 |  1736222 |    14451    305 |       13 |      364
1106.84/1107.25	c 1107s |      22 |  1914446 |  1739322 |    14451    306 |       13 |      364
1108.84/1109.28	c 1109s |      22 |  1917738 |  1742322 |    14451    306 |       13 |      364
1110.94/1111.33	c 1111s |      22 |  1920762 |  1745122 |    14451    307 |       13 |      364
1113.14/1113.51	c 1113s |      22 |  1922616 |  1746822 |    14451    307 |       13 |      364
1115.15/1115.52	c 1115s |      22 |  1926175 |  1750022 |    14451    307 |       13 |      364
1117.14/1117.58	c 1117s |      22 |  1929290 |  1752922 |    14451    308 |       13 |      364
1119.24/1119.62	c 1119s |      22 |  1932261 |  1755722 |    14451    308 |       13 |      364
1121.34/1121.75	c 1121s |      22 |  1935095 |  1758322 |    14451    309 |       13 |      364
1123.34/1123.77	c 1123s |      22 |  1937579 |  1760622 |    14451    309 |       13 |      364
1125.34/1125.79	c 1125s |      22 |  1940617 |  1763422 |    14451    309 |       13 |      364
1127.44/1127.80	c 1127s |      22 |  1943064 |  1765722 |    14451    310 |       13 |      364
1129.45/1129.85	c 1129s |      22 |  1946214 |  1768622 |    14451    310 |       13 |      364
1131.44/1131.87	c 1131s |      22 |  1948865 |  1771122 |    14451    310 |       13 |      364
1133.54/1133.94	c 1133s |      22 |  1951167 |  1773322 |    14451    311 |       13 |      364
1135.64/1136.00	c 1135s |      22 |  1953098 |  1775122 |    14451    311 |       13 |      364
1137.64/1138.05	c 1137s |      22 |  1956254 |  1778022 |    14451    311 |       13 |      364
1139.64/1140.06	c 1139s |      22 |  1958832 |  1780422 |    14451    312 |       13 |      364
1141.64/1142.10	c 1141s |      22 |  1961795 |  1783222 |    14451    312 |       13 |      364
1143.64/1144.10	c 1144s |      22 |  1964451 |  1785722 |    14451    312 |       13 |      364
1145.84/1146.29	c 1146s |      22 |  1966359 |  1787522 |    14451    313 |       13 |      364
1147.94/1148.36	c 1148s |      22 |  1969423 |  1790422 |    14451    313 |       13 |      364
1150.03/1150.44	c 1150s |      22 |  1972324 |  1793122 |    14451    313 |       13 |      364
1152.03/1152.49	c 1152s |      22 |  1974624 |  1795322 |    14451    314 |       13 |      364
1154.13/1154.53	c 1154s |      22 |  1977461 |  1798022 |    14451    314 |       13 |      364
1156.64/1157.05	c 1156s |      22 |  1979668 |  1800122 |    14451    314 |       13 |      364
1158.64/1159.06	c 1158s |      22 |  1982072 |  1802322 |    14451    315 |       13 |      364
1160.74/1161.10	c 1161s |      22 |  1985644 |  1805622 |    14451    315 |       13 |      364
1162.74/1163.10	c 1163s |      22 |  1988529 |  1808322 |    14451    315 |       13 |      364
1164.74/1165.16	c 1165s |      22 |  1991276 |  1810922 |    14451    316 |       13 |      364
1166.75/1167.16	c 1167s |      22 |  1994177 |  1813622 |    14451    316 |       13 |      364
1168.84/1169.25	c 1169s |      22 |  1996598 |  1815822 |    14451    316 |       13 |      364
1170.84/1171.26	c 1171s |      22 |  1999470 |  1818422 |    14451    317 |       13 |      364
1172.94/1173.31	c 1173s |      22 |  2002846 |  1821522 |    14451    317 |       13 |      364
1175.04/1175.44	c 1175s |      22 |  2005666 |  1824122 |    14451    318 |       13 |      364
1177.14/1177.50	c 1177s |      22 |  2009025 |  1827222 |    14451    318 |       13 |      364
1179.14/1179.51	c 1179s |      22 |  2011901 |  1829922 |    14451    318 |       13 |      364
1181.14/1181.55	c 1181s |      22 |  2014469 |  1832322 |    14451    319 |       13 |      364
1183.14/1183.56	c 1183s |      22 |  2017672 |  1835322 |    14451    319 |       13 |      364
1185.23/1185.60	c 1185s |      22 |  2020344 |  1837822 |    14451    319 |       13 |      364
1187.23/1187.62	c 1187s |      22 |  2022773 |  1840122 |    14451    320 |       13 |      364
1189.23/1189.65	c 1189s |      22 |  2025850 |  1843022 |    14451    320 |       13 |      364
1191.23/1191.66	c 1191s |      22 |  2028441 |  1845422 |    14451    320 |       13 |      364
1193.73/1194.18	c 1194s |      22 |  2030130 |  1847022 |    14451    321 |       20 |      433
1195.73/1196.19	c 1196s |      22 |  2034789 |  1851322 |    14451    321 |       20 |      433
1197.83/1198.20	c 1198s |      22 |  2038544 |  1854822 |    14451    321 |       20 |      433
1199.84/1200.21	c 1200s |      22 |  2041552 |  1857622 |    14451    321 |       20 |      433
1201.83/1202.25	c 1202s |      22 |  2044196 |  1860122 |    14451    321 |       20 |      433
1203.83/1204.26	c 1204s |      22 |  2047171 |  1862922 |    14451    322 |       20 |      433
1205.83/1206.28	c 1206s |      22 |  2049894 |  1865422 |    14451    322 |       20 |      433
1207.93/1208.30	c 1208s |      22 |  2052337 |  1867722 |    14451    323 |       20 |      433
1209.93/1210.32	c 1210s |      22 |  2054732 |  1869922 |    14451    323 |       20 |      433
1211.94/1212.38	c 1212s |      22 |  2057591 |  1872622 |    14451    323 |       20 |      433
1214.04/1214.43	c 1214s |      22 |  2060015 |  1874922 |    14451    323 |       20 |      433
1216.03/1216.47	c 1216s |      22 |  2063169 |  1877822 |    14451    324 |       20 |      433
1218.13/1218.52	c 1218s |      22 |  2065943 |  1880422 |    14451    324 |       20 |      433
1220.13/1220.56	c 1220s |      22 |  2068368 |  1882722 |    14451    325 |       20 |      433
1222.13/1222.57	c 1222s |      22 |  2071354 |  1885522 |    14451    325 |       20 |      433
1224.23/1224.66	c 1224s |      22 |  2073873 |  1887922 |    14451    325 |       20 |      433
1226.33/1226.72	c 1226s |      22 |  2076299 |  1890222 |    14451    326 |       20 |      433
1228.33/1228.76	c 1228s |      22 |  2079125 |  1892922 |    14451    326 |       20 |      433
1230.53/1230.92	c 1230s |      22 |  2081019 |  1894722 |    14451    326 |       20 |      433
1232.52/1232.92	c 1232s |      22 |  2083803 |  1897222 |    14451    327 |       20 |      433
1234.52/1234.95	c 1234s |      22 |  2087342 |  1900422 |    14451    327 |       20 |      433
1236.62/1237.03	c 1236s |      22 |  2090481 |  1903322 |    14451    327 |       20 |      433
1238.62/1239.08	c 1238s |      22 |  2093596 |  1906122 |    14451    328 |       20 |      433
1240.72/1241.13	c 1241s |      22 |  2096850 |  1909122 |    14451    328 |       20 |      433
1242.73/1243.13	c 1243s |      22 |  2099595 |  1911722 |    14451    329 |       20 |      433
1244.72/1245.14	c 1245s |      22 |  2101557 |  1913522 |    14451    329 |       20 |      433
1246.82/1247.21	c 1247s |      22 |  2105021 |  1916722 |    14451    329 |       20 |      433
1248.82/1249.25	c 1249s |      22 |  2107949 |  1919422 |    14451    330 |       20 |      433
1250.82/1251.27	c 1251s |      22 |  2111296 |  1922522 |    14451    330 |       20 |      433
1252.82/1253.28	c 1253s |      22 |  2114206 |  1925222 |    14451    330 |       20 |      433
1254.92/1255.30	c 1255s |      22 |  2117245 |  1928022 |    14451    331 |       20 |      433
1256.92/1257.35	c 1257s |      22 |  2120327 |  1930922 |    14451    331 |       20 |      433
1258.92/1259.39	c 1259s |      22 |  2123162 |  1933622 |    14451    332 |       20 |      433
1261.03/1261.43	c 1261s |      22 |  2126153 |  1936422 |    14451    332 |       20 |      433
1263.03/1263.46	c 1263s |      22 |  2128959 |  1939022 |    14451    332 |       20 |      433
1267.02/1267.45	c 1267s |      22 |  2130951 |  1940922 |    14451    333 |       29 |      506
1269.03/1269.46	c 1269s |      22 |  2135053 |  1944822 |    14451    333 |       29 |      506
1271.02/1271.47	c 1271s |      22 |  2138437 |  1948022 |    14451    333 |       29 |      506
1273.12/1273.51	c 1273s |      22 |  2141145 |  1950622 |    14451    333 |       29 |      506
1275.12/1275.54	c 1275s |      22 |  2143438 |  1952822 |    14451    333 |       29 |      506
1277.12/1277.56	c 1277s |      22 |  2145845 |  1955022 |    14451    334 |       29 |      506
1279.12/1279.57	c 1279s |      22 |  2148106 |  1957122 |    14451    334 |       29 |      506
1281.22/1281.62	c 1281s |      22 |  2150622 |  1959522 |    14451    334 |       29 |      506
1283.32/1283.72	c 1283s |      22 |  2152963 |  1961722 |    14451    335 |       29 |      506
1285.32/1285.76	c 1285s |      22 |  2155736 |  1964322 |    14451    335 |       29 |      506
1287.32/1287.79	c 1287s |      22 |  2158280 |  1966722 |    14451    335 |       29 |      506
1289.52/1289.94	c 1289s |      22 |  2160572 |  1968922 |    14451    336 |       29 |      506
1291.51/1291.96	c 1291s |      22 |  2162706 |  1970922 |    14451    336 |       29 |      506
1293.61/1294.00	c 1293s |      22 |  2165562 |  1973622 |    14451    336 |       29 |      506
1295.61/1296.08	c 1295s |      22 |  2167881 |  1975822 |    14451    336 |       29 |      506
1297.62/1298.08	c 1297s |      22 |  2170530 |  1978322 |    14451    337 |       29 |      506
1299.61/1300.09	c 1299s |      22 |  2173032 |  1980722 |    14451    337 |       29 |      506
1301.61/1302.09	c 1301s |      22 |  2175392 |  1982922 |    14451    337 |       29 |      506
1304.01/1304.43	c 1304s |      22 |  2178053 |  1985422 |    14451    338 |       29 |      506
1306.02/1306.47	c 1306s |      22 |  2181187 |  1988322 |    14451    338 |       29 |      506
1308.12/1308.52	c 1308s |      22 |  2183753 |  1990722 |    14451    338 |       29 |      506
1310.12/1310.57	c 1310s |      22 |  2186949 |  1993622 |    14451    339 |       29 |      506
1312.12/1312.59	c 1312s |      22 |  2189946 |  1996422 |    14451    339 |       29 |      506
1314.22/1314.62	c 1314s |      22 |  2193189 |  1999322 |    14451    339 |       33 |      623
1316.22/1316.65	c 1316s |      22 |  2196423 |  2002322 |    14451    339 |       33 |      623
1318.32/1318.72	c 1318s |      22 |  2199256 |  2004922 |    14451    339 |       33 |      623
1320.31/1320.76	c 1320s |      22 |  2202305 |  2007722 |    14451    340 |       33 |      623
1322.31/1322.79	c 1322s |      22 |  2205494 |  2010722 |    14451    340 |       33 |      623
1324.41/1324.80	c 1324s |      22 |  2208490 |  2013522 |    14451    341 |       33 |      623
1327.42/1327.81	c 1327s |      22 |  2210958 |  2015822 |    14451    341 |       44 |      700
1329.41/1329.85	c 1329s |      22 |  2215390 |  2020022 |    14451    341 |       44 |      700
1331.41/1331.89	c 1331s |      22 |  2218966 |  2023422 |    14451    341 |       44 |      700
1333.51/1333.94	c 1333s |      22 |  2221878 |  2026222 |    14451    341 |       44 |      700
1335.51/1335.98	c 1335s |      22 |  2224367 |  2028622 |    14451    341 |       44 |      700
1337.61/1338.01	c 1337s |      22 |  2227032 |  2031122 |    14451    342 |       50 |      817
1339.61/1340.03	c 1339s |      22 |  2230938 |  2034722 |    14451    342 |       63 |      898
1341.62/1342.06	c 1341s |      22 |  2234837 |  2038422 |    14451    342 |       63 |      898
1343.61/1344.06	c 1343s |      22 |  2238546 |  2041922 |    14451    342 |      125 |     1423
1343.71/1344.12	c 1344s |      22 |  2238634 |  2042007 |    14451    342 |      427 |     2515
1343.71/1344.12	c #cpu_time = 1340.365s
1343.71/1344.12	c #wall_clock_time = 1344.026s
1343.71/1344.12	c #decision = 2238634
1343.71/1344.12	c #random_decision = 8160
1343.71/1344.12	c #conflict = 2042007
1343.71/1344.12	c #restart = 22
1343.71/1344.12	s UNSATISFIABLE
1343.71/1344.12	c total CPU time = 1340.464s
1343.71/1344.12	c total wall clock time = 1344.126s

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.02 2.00 4/179 20322
/proc/meminfo: memFree=30458188/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=564668 CPUtime=0 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 2079 0 0 0 0 0 0 0 20 0 4 0 13512450 578220032 2441 33554432000 4194304 16246674 140737466840096 140737466839520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 141935 2451 441 2943 0 138829 0
[pid=20322/tid=20323] ppid=20319 vsize=583100 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 597094400 2513 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=587196 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 601288704 2529 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=591292 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13512450 605483008 2545 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 1.97 2.02 2.00 4/179 20322
/proc/meminfo: memFree=30458188/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 20259 0 0 0 6 3 0 0 20 0 4 0 13512450 1249447936 20558 33554432000 4194304 16246674 140737466840096 140737466839408 13955776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 305041 20558 835 2943 0 301935 0
[pid=20322/tid=20323] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 20558 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 20558 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 20558 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20049 s]
/proc/loadavg: 1.97 2.02 2.00 4/179 20322
/proc/meminfo: memFree=30458188/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 41523 0 0 0 13 6 0 0 20 0 4 0 13512450 1249447936 41823 33554432000 4194304 16246674 140737466840096 140737466823088 12875570 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 305041 41839 877 2943 0 301935 0
[pid=20322/tid=20323] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 41849 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 41859 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 41867 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300442 s]
/proc/loadavg: 1.97 2.02 2.00 4/179 20322
/proc/meminfo: memFree=30458188/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 62908 0 0 0 20 9 0 0 20 0 4 0 13512450 1249447936 63208 33554432000 4194304 16246674 140737466840096 140737466823088 12477891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 305041 63222 877 2943 0 301935 0
[pid=20322/tid=20323] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 63229 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 63237 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 63244 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.70041 s]
/proc/loadavg: 1.97 2.02 2.00 4/179 20322
/proc/meminfo: memFree=30458188/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1220164 CPUtime=0.68 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 144815 0 0 0 49 19 0 0 20 0 4 0 13512450 1249447936 145114 33554432000 4194304 16246674 140737466840096 140737466823088 12478461 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 305041 145125 877 2943 0 301935 0
[pid=20322/tid=20323] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 145132 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 145136 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1249447936 145140 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50041 s]
/proc/loadavg: 1.97 2.02 2.00 3/183 20326
/proc/meminfo: memFree=29550032/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 266540 0 0 0 114 35 0 0 20 0 4 0 13512450 1333334016 266839 33554432000 4194304 16246674 140737466840096 140737466839408 12483674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 325521 266839 880 2943 0 322415 0
[pid=20322/tid=20323] ppid=20319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1333334016 266839 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1333334016 266839 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1333334016 266839 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 1.97 2.02 2.00 3/183 20326
/proc/meminfo: memFree=29391188/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 267744 0 0 0 274 35 0 0 20 0 4 0 13512450 1338576896 268043 33554432000 4194304 16246674 140737466840096 140737466822016 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 326801 268043 880 2943 0 323695 0
[pid=20322/tid=20323] ppid=20319 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1338576896 268043 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1338576896 268043 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1338576896 268043 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 1.97 2.01 2.00 4/183 20326
/proc/meminfo: memFree=29385580/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1310276 CPUtime=6.28 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 268752 0 0 0 593 35 0 0 20 0 4 0 13512450 1341722624 269051 33554432000 4194304 16246674 140737466840096 140737466822016 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 327569 269051 884 2943 0 324463 0
[pid=20322/tid=20323] ppid=20319 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1341722624 269051 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1341722624 269051 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1341722624 269051 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 1.97 2.01 2.00 3/182 20326
/proc/meminfo: memFree=29384792/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 269520 0 0 0 1233 35 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140737466822016 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 328337 269819 884 2943 0 325231 0
[pid=20322/tid=20323] ppid=20319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 20327
/proc/meminfo: memFree=29381736/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 269520 0 0 0 2513 35 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140737466822016 5829044 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 328337 269819 884 2943 0 325231 0
[pid=20322/tid=20323] ppid=20319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1344868352 269819 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 20327
/proc/meminfo: memFree=29372656/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 271832 0 0 0 5072 36 0 0 20 0 4 0 13512450 1354305536 272123 33554432000 4194304 16246674 140737466840096 140737466822016 5661652 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 330641 272123 884 2943 0 327535 0
[pid=20322/tid=20323] ppid=20319 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1354305536 272123 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1354305536 272123 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1354305536 272123 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/183 20328
/proc/meminfo: memFree=29363204/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1333828 CPUtime=102.27 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 274662 0 0 0 10190 37 0 0 20 0 4 0 13512450 1365839872 274940 33554432000 4194304 16246674 140737466840096 140737466821952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 333457 274940 885 2943 0 330351 0
[pid=20322/tid=20323] ppid=20319 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1365839872 274940 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1365839872 274940 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1365839872 274940 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1333828


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

/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 124141 51 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1355332

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 20455
/proc/meminfo: memFree=29330464/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1301.91 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 130139 52 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1355332

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20322 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1305.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 20455
/proc/meminfo: memFree=29330324/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1305.21 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 130469 52 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1305.21
Current children cumulated vsize (KiB) 1355332

[startup+1331.2 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 20456
/proc/meminfo: memFree=29330408/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1330.81 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 133028 53 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1330.81
Current children cumulated vsize (KiB) 1355332

[startup+1337.6 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1337.22 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 133668 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1337.22
Current children cumulated vsize (KiB) 1355332

[startup+1340.8 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1340.41 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 133987 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1340.41
Current children cumulated vsize (KiB) 1355332

[startup+1342.4 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1342.01 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 134147 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1342.01
Current children cumulated vsize (KiB) 1355332

[startup+1343.21 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1342.82 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 134228 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5822671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1342.82
Current children cumulated vsize (KiB) 1355332

[startup+1343.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1343.21 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 134267 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 6022329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1343.21
Current children cumulated vsize (KiB) 1355332

[startup+1344 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1343.61 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 134307 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 13955810 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1343.61
Current children cumulated vsize (KiB) 1355332

[startup+1344.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20456
/proc/meminfo: memFree=29330392/32872528 swapFree=302776/319128
[pid=20322] ppid=20319 vsize=1355332 CPUtime=1343.71 cores=1,3,5,7
/proc/20322/stat : 20322 (toysat) R 20319 20322 16914 0 -1 4202496 280332 0 0 0 134317 54 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140737466822016 5990974 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20322/statm: 338833 280317 886 2943 0 335727 0
[pid=20322/tid=20323] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20323/stat : 20323 (toysat) S 20319 20322 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498750647536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20322/tid=20324] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20324/stat : 20324 (toysat) S 20319 20322 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498740157680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20322/tid=20325] ppid=20319 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/20322/task/20325/stat : 20325 (toysat) S 20319 20322 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13512450 1387859968 280317 33554432000 4194304 16246674 140737466840096 140498729684144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1343.71
Current children cumulated vsize (KiB) 1355332

Child status: 0
Real time (s): 1344.13
CPU time (s): 1343.75
CPU user time (s): 1343.21
CPU system time (s): 0.545917
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1355332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1343.21
system time used= 0.545917
maximum resident set size= 1121280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280336
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= 337
involuntary context switches= 1373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2865 second user time and 5.34019 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-17 00:04:18
IDJOB=4096512
IDBENCH=107625
IDSOLVER=2542
FILE ID=node128/4096512-1466114658
RUNJOBID= node128-1466113207-19340
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096512-1466114658/watcher-4096512-1466114658 -o /tmp/evaluation-result-4096512-1466114658/solver-4096512-1466114658 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096512-1466114658.opb

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

MD5SUM BENCH= f50c91cca57102576950fc35dbf6e618
RANDOM SEED=1430673587

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
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.768
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:        30458740 kB
Buffers:           69528 kB
Cached:           191380 kB
SwapCached:         2096 kB
Active:          1275564 kB
Inactive:         108648 kB
Active(anon):    1124104 kB
Inactive(anon):     1600 kB
Active(file):     151460 kB
Inactive(file):   107048 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16892 kB
Writeback:             0 kB
AnonPages:       1445800 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             572836 kB
SReclaimable:      15560 kB
SUnreclaim:       557276 kB
KernelStack:        1520 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1585964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1134592 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= 71676 MiB
End job on node128 at 2016-06-17 00:26:42