Trace number 4099592

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM9d22902ade96af236e70cdbf7d8bd853
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark477.303
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13
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 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
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-18T01:29:05+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-4099592-1466206145.opb"]
0.00/0.01	c use --random-gen="3871603643 1939101952 274955066 1751428307 698660177 2914317460 2494567012 1335690688 1144362879 1371130483 3409896075 3040455365 1238019148 2588871686 4258414392 1594160476 2406094709 2635041808 3430337179 3907235600 3820216565 916070297 3634977503 1853031917 2120198998 2572209500 2291975457 2529467528 288024516 3948713512 3657667584 4181638719 200682397 4206835956 2287400206 4152033437 1485555925 655742777 378887717 2149455080 1884309335 3046908230 186789147 2711418316 1828711219 1050171292 701177062 1367666709 4174637773 2830298638 535239355 1946491945 2258135469 412551135 3158201011 2897616776 2853883635 2838386618 758028232 596275860 2420956010 3294896835 1460408536 2368872693 689894407 1437553352 2013501852 1474495591 3884331291 3252961027 1810972054 3725028254 1012008637 624164742 2089698561 3026296962 1980398368 2114856361 4038941005 2924475830 1991830424 3991016230 502498227 290651951 3556614993 3519199168 1400450433 347821015 1196578623 3545986027 192821571 1292041602 1717002623 2458662641 1571222007 3346891398 1110675343 2034198401 3600921452 740949340 2859075220 75724691 2492820933 2502102414 3193225082 1117937982 3204708963 2973163638 2833242504 3084674841 2194847853 1878271367 1623010423 1014190208 3778746625 1834444587 1649702198 3400378996 3118594916 4174350305 1034287339 618616671 3861748698 2496181240 2755788290 889959896 577150031 4083195733 3034994217 2594280533 664643464 140066240 3322111628 3640543792 1666553589 2257986947 449872653 3351595797 2541865426 4051185548 3226278465 1047524966 3656540201 1559991579 1876569539 758834605 1035669896 3799288418 1301731457 2357163363 24436959 737194867 832709957 472542237 1429548772 855618465 1150587024 3037129242 319890434 2648643485 2536858225 1323552661 13614019 753611120 1453425890 2524433453 3368060979 2432496464 2897980943 2343175815 1881821199 2002448003 322170350 4184406686 1132825394 3447444175 881848227 4014069517 2545623624 282606330 2951087725 219243434 2913707924 2523329558 3320804825 264546336 861814394 2943210754 1364260127 3760501954 3453621769 842390758 2547341118 165849540 2725546529 2232815971 1876585289 3768010641 1742240557 2975962166 3290315931 2835788873 498190020 696650126 2579840091 2593815366 413289739 3166145368 1911540766 966700740 2904992404 1071251449 26181721 789524346 3411963845 767326583 3438762084 4243204322 1839130037 62092260 3507558681 3141359281 3502887165 1945697960 276092833 568292629 3976099845 420127849 2588110688 696955473 1671137639 2343718074 3589629771 3717137426 4106055211 865050419 3252509796 1215851210 538389262 3383744176 3961889183 2039617072 132432424 438011318 801112955 3254048465 929109486 778654113 3315004528 3280991681 97481262 3261218828 672800600 2321286535 2006410023 3539035983 255 362436" option to reproduce the execution
0.39/0.44	c #vars 23621
0.39/0.44	c #constraints 67526
1.29/1.34	c Solving starts ...
1.29/1.34	c ============================[ Search Statistics ]============================
1.29/1.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.34	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.34	c =============================================================================
1.29/1.34	c  0.0s |       0 |        0 |        0 |    30382      0 |       39 |        0
1.49/1.68	c  0.3s |       1 |      551 |      100 |    30382      0 |       76 |      190
2.19/2.25	c  0.9s |       2 |     1418 |      250 |    33421      0 |       76 |      190
2.59/2.64	c  1.3s |       3 |     2608 |      475 |    36764      0 |       76 |      190
3.09/3.16	c  1.8s |       4 |     4318 |      813 |    40441      0 |       76 |      190
4.09/4.12	c  2.8s |       5 |     5873 |     1320 |    44486      0 |       76 |      190
5.60/5.63	c  4.3s |       6 |     8157 |     2081 |    53829      0 |       76 |      190
7.69/7.80	c  6.5s |       6 |     9566 |     2681 |    53829      0 |       76 |      190
9.69/9.76	c  8.4s |       7 |    10515 |     3223 |    59212      0 |       76 |      190
11.79/11.89	c 10.6s |       7 |    14277 |     4323 |    59212      0 |       76 |      190
12.79/12.84	c 11.5s |       8 |    16778 |     4936 |    65134      0 |       76 |      190
14.99/15.02	c 13.7s |       8 |    21020 |     6136 |    65134      0 |       76 |      190
16.70/16.74	c 15.4s |       9 |    25254 |     7506 |    71648      0 |       76 |      190
18.80/18.84	c 17.5s |       9 |    27745 |     8306 |    71648      0 |       76 |      190
20.99/21.01	c 19.7s |       9 |    29280 |     8806 |    71648      0 |       76 |      190
22.99/23.02	c 21.7s |       9 |    30870 |     9306 |    71648      0 |       76 |      190
25.29/25.39	c 24.1s |       9 |    31810 |     9706 |    71648      0 |       76 |      190
27.59/27.69	c 26.4s |       9 |    32682 |    10106 |    71648      0 |       76 |      190
30.59/30.61	c 29.3s |       9 |    33115 |    10406 |    71648      0 |       76 |      190
32.89/32.91	c 31.6s |       9 |    34216 |    10806 |    71648      0 |       76 |      190
34.88/34.94	c 33.6s |      10 |    35252 |    11361 |    78813      0 |       76 |      190
37.38/37.43	c 36.1s |      10 |    36876 |    11961 |    78813      0 |       76 |      190
39.48/39.52	c 38.2s |      10 |    38664 |    12661 |    78813      0 |       76 |      190
41.48/41.54	c 40.2s |      10 |    42749 |    13761 |    78813      0 |       76 |      190
43.68/43.76	c 42.4s |      10 |    45978 |    14961 |    78813      0 |       76 |      190
45.88/45.92	c 44.6s |      10 |    48386 |    16061 |    78813      0 |       76 |      190
47.88/47.97	c 46.6s |      10 |    51297 |    17061 |    86695      0 |       76 |      190
48.08/48.13	c 46.8s |      11 |    51394 |    17144 |    86695      0 |       76 |      190
50.08/50.15	c 48.8s |      11 |    54269 |    18144 |    86695      0 |       76 |      190
52.78/52.88	c 51.5s |      11 |    55423 |    18644 |    86695      0 |       76 |      190
54.98/55.01	c 53.7s |      11 |    56049 |    19044 |    86695      0 |       76 |      190
56.98/57.02	c 55.7s |      11 |    56671 |    19344 |    86695      0 |       76 |      190
59.18/59.23	c 57.9s |      11 |    57264 |    19644 |    86695      0 |       76 |      190
61.38/61.40	c 60.1s |      11 |    57770 |    19944 |    86695      0 |       76 |      190
63.78/63.89	c 62.5s |      11 |    61098 |    21144 |    86695      0 |       76 |      190
66.48/66.52	c 65.2s |      11 |    61924 |    21544 |    86695      0 |       76 |      190
68.88/68.91	c 67.6s |      11 |    63697 |    22344 |    86695      0 |       76 |      190
71.28/71.33	c 70.0s |      11 |    65486 |    23044 |    86695      0 |       76 |      190
73.28/73.34	c 72.0s |      11 |    66427 |    23444 |    86695      0 |       76 |      190
75.68/75.79	c 74.5s |      11 |    67293 |    23844 |    86695      0 |       76 |      190
78.28/78.32	c 77.0s |      11 |    67920 |    24244 |    86695      0 |       76 |      190
80.38/80.43	c 79.1s |      11 |    68799 |    24644 |    86695      0 |       76 |      190
82.58/82.69	c 81.4s |      11 |    69658 |    25044 |    86695      0 |       76 |      190
84.98/85.06	c 83.7s |      11 |    70584 |    25444 |    86695      0 |       76 |      190
86.87/86.91	c 85.6s |      12 |    71503 |    25819 |    95365      0 |       76 |      190
89.18/89.28	c 87.9s |      12 |    73024 |    26219 |    95365      0 |       76 |      190
91.38/91.47	c 90.1s |      12 |    73858 |    26619 |    95365      0 |       76 |      190
93.87/93.94	c 92.6s |      12 |    75016 |    27119 |    95365      0 |       76 |      190
96.17/96.29	c 95.0s |      12 |    75601 |    27519 |    95365      0 |       76 |      190
98.67/98.75	c 97.4s |      12 |    76233 |    27919 |    95365      0 |       76 |      190
100.67/100.76	c 99.4s |      12 |    77898 |    28419 |    95365      0 |       76 |      190
102.97/103.07	c  101s |      12 |    78689 |    28819 |    95365      0 |       76 |      190
105.17/105.29	c  103s |      12 |    79414 |    29219 |    95365      0 |       76 |      190
107.77/107.89	c  106s |      12 |    80159 |    29619 |    95365      0 |       76 |      190
109.97/110.03	c  108s |      12 |    81120 |    30019 |    95365      0 |       76 |      190
112.07/112.12	c  110s |      12 |    82375 |    30519 |    95365      0 |       76 |      190
114.27/114.37	c  113s |      12 |    83720 |    31019 |    95365      0 |       76 |      190
116.68/116.71	c  115s |      12 |    84651 |    31519 |    95365      0 |       76 |      190
118.98/119.05	c  117s |      12 |    85678 |    32019 |    95365      0 |       76 |      190
120.97/121.08	c  119s |      12 |    87389 |    32919 |    95365      0 |       76 |      190
123.07/123.11	c  121s |      12 |    88315 |    33519 |    95365      0 |       76 |      190
125.27/125.34	c  124s |      12 |    89308 |    34219 |    95365      0 |       76 |      190
127.37/127.48	c  126s |      12 |    91510 |    34919 |    95365      0 |       76 |      190
129.47/129.57	c  128s |      12 |    92303 |    35319 |    95365      0 |       76 |      190
131.77/131.86	c  130s |      12 |    93058 |    35719 |    95365      0 |       76 |      190
133.87/133.95	c  132s |      12 |    95275 |    36319 |    95365      0 |       76 |      190
135.97/136.01	c  134s |      12 |    98323 |    37219 |    95365      0 |       76 |      190
138.27/138.36	c  137s |      12 |    99913 |    37719 |    95365      0 |       76 |      190
140.57/140.61	c  139s |      12 |   100905 |    38119 |    95365      0 |       76 |      190
142.57/142.62	c  141s |      12 |   102947 |    38719 |   104902      0 |       76 |      190
143.27/143.35	c  142s |      13 |   103245 |    38832 |   104902      0 |       76 |      190
145.57/145.63	c  144s |      13 |   104061 |    39132 |   104902      0 |       76 |      190
148.06/148.19	c  146s |      13 |   104905 |    39532 |   104902      0 |       76 |      190
150.46/150.52	c  149s |      13 |   108713 |    40232 |   104902      0 |       76 |      190
152.56/152.69	c  151s |      13 |   111405 |    40932 |   104902      0 |       76 |      190
154.66/154.79	c  153s |      13 |   112711 |    41432 |   104902      0 |       76 |      190
157.06/157.12	c  155s |      13 |   113736 |    41832 |   104902      0 |       76 |      190
159.16/159.29	c  157s |      13 |   114435 |    42132 |   104902      0 |       76 |      190
161.77/161.86	c  160s |      13 |   115405 |    42532 |   104902      0 |       76 |      190
164.36/164.45	c  163s |      13 |   116468 |    42932 |   104902      0 |       76 |      190
166.36/166.46	c  165s |      13 |   117131 |    43232 |   104902      0 |       76 |      190
168.56/168.67	c  167s |      13 |   118772 |    43732 |   104902      0 |       76 |      190
170.76/170.81	c  169s |      13 |   119605 |    44032 |   104902      0 |       76 |      190
173.06/173.16	c  171s |      13 |   120168 |    44332 |   104902      0 |       76 |      190
175.36/175.46	c  174s |      13 |   120905 |    44632 |   104902      0 |       76 |      190
177.66/177.77	c  176s |      13 |   121546 |    44932 |   104902      0 |       76 |      190
179.86/179.99	c  178s |      13 |   122082 |    45232 |   104902      0 |       76 |      190
182.06/182.16	c  180s |      13 |   122896 |    45532 |   104902      0 |       76 |      190
184.75/184.86	c  183s |      13 |   123390 |    45832 |   104902      0 |       76 |      190
187.06/187.12	c  185s |      13 |   123961 |    46132 |   104902      0 |       76 |      190
189.15/189.30	c  187s |      13 |   124770 |    46432 |   104902      0 |       76 |      190
191.95/192.04	c  190s |      13 |   126988 |    47032 |   104902      0 |       76 |      190
194.55/194.61	c  193s |      13 |   127602 |    47332 |   104902      0 |       76 |      190
196.65/196.70	c  195s |      13 |   128194 |    47632 |   104902      0 |       76 |      190
199.45/199.57	c  198s |      13 |   128711 |    47932 |   104902      0 |       76 |      190
201.75/201.86	c  200s |      13 |   130073 |    48632 |   104902      0 |       76 |      190
203.95/204.04	c  202s |      13 |   131226 |    49132 |   104902      0 |       76 |      190
206.15/206.29	c  204s |      13 |   131798 |    49432 |   104902      0 |       76 |      190
208.35/208.40	c  207s |      13 |   132567 |    49832 |   104902      0 |       76 |      190
210.35/210.43	c  209s |      13 |   133389 |    50132 |   104902      0 |       76 |      190
212.75/212.84	c  211s |      13 |   134302 |    50732 |   104902      0 |       76 |      190
214.85/214.97	c  213s |      13 |   134999 |    51132 |   104902      0 |       76 |      190
217.05/217.11	c  215s |      13 |   135432 |    51432 |   104902      0 |       76 |      190
219.35/219.42	c  218s |      13 |   135944 |    51732 |   104902      0 |       76 |      190
221.75/221.88	c  220s |      13 |   136323 |    52032 |   104902      0 |       76 |      190
224.55/224.67	c  223s |      13 |   136877 |    52432 |   104902      0 |       76 |      190
226.85/226.98	c  225s |      13 |   137274 |    52732 |   104902      0 |       76 |      190
229.15/229.22	c  227s |      13 |   138955 |    53332 |   104902      0 |       76 |      190
231.35/231.40	c  230s |      13 |   140304 |    54032 |   104902      0 |       76 |      190
233.55/233.62	c  232s |      13 |   140939 |    54432 |   104902      0 |       76 |      190
235.55/235.63	c  234s |      13 |   141789 |    54832 |   104902      0 |       76 |      190
237.94/238.02	c  236s |      13 |   143240 |    55332 |   104902      0 |       76 |      190
240.34/240.46	c  239s |      13 |   143870 |    55632 |   104902      0 |       76 |      190
242.64/242.74	c  241s |      13 |   144543 |    56032 |   104902      0 |       76 |      190
245.24/245.36	c  244s |      13 |   144923 |    56332 |   104902      0 |       76 |      190
247.44/247.57	c  246s |      13 |   145916 |    56832 |   104902      0 |       76 |      190
249.94/250.04	c  248s |      13 |   147260 |    57332 |   104902      0 |       76 |      190
252.14/252.25	c  250s |      13 |   148083 |    57832 |   104902      0 |       76 |      190
254.64/254.70	c  253s |      13 |   148869 |    58332 |   115393      0 |       76 |      190
254.64/254.79	c  253s |      14 |   148894 |    58352 |   115393      0 |       76 |      190
256.94/257.00	c  255s |      14 |   149551 |    58552 |   115393      0 |       76 |      190
259.54/259.60	c  258s |      14 |   150063 |    58852 |   115393      0 |       76 |      190
261.64/261.77	c  260s |      14 |   150704 |    59152 |   115393      0 |       76 |      190
264.34/264.45	c  263s |      14 |   151152 |    59452 |   115393      0 |       76 |      190
266.44/266.52	c  265s |      14 |   151576 |    59752 |   115393      0 |       76 |      190
268.44/268.53	c  267s |      14 |   152167 |    60052 |   115393      0 |       76 |      190
270.93/271.01	c  269s |      14 |   152759 |    60352 |   115393      0 |       76 |      190
273.63/273.71	c  272s |      14 |   153260 |    60652 |   115393      0 |       76 |      190
275.64/275.75	c  274s |      14 |   154891 |    60952 |   115393      0 |       76 |      190
277.74/277.85	c  276s |      14 |   157838 |    61952 |   115393      0 |       76 |      190
280.14/280.25	c  278s |      14 |   159684 |    62552 |   115393      0 |       76 |      190
282.44/282.51	c  281s |      14 |   161693 |    63252 |   115393      0 |       76 |      190
284.44/284.55	c  283s |      14 |   163114 |    63752 |   115393      0 |       76 |      190
286.74/286.84	c  285s |      14 |   164142 |    64252 |   115393      0 |       76 |      190
288.74/288.87	c  287s |      14 |   165560 |    64852 |   115393      0 |       76 |      190
291.14/291.23	c  289s |      14 |   166483 |    65252 |   115393      0 |       76 |      190
293.34/293.44	c  292s |      14 |   168301 |    65852 |   115393      0 |       76 |      190
295.74/295.81	c  294s |      14 |   169408 |    66352 |   115393      0 |       76 |      190
297.83/297.91	c  296s |      14 |   170375 |    66752 |   115393      0 |       76 |      190
299.93/300.03	c  298s |      14 |   171308 |    67152 |   115393      0 |       76 |      190
302.13/302.22	c  300s |      14 |   172308 |    67552 |   115393      0 |       76 |      190
304.23/304.34	c  303s |      14 |   173119 |    67952 |   115393      0 |       76 |      190
306.63/306.71	c  305s |      14 |   173905 |    68352 |   115393      0 |       76 |      190
309.03/309.10	c  307s |      14 |   174798 |    68852 |   115393      0 |       76 |      190
311.63/311.70	c  310s |      14 |   175398 |    69252 |   115393      0 |       76 |      190
313.73/313.86	c  312s |      14 |   176171 |    69652 |   115393      0 |       76 |      190
315.93/316.00	c  314s |      14 |   177026 |    70052 |   115393      0 |       76 |      190
318.33/318.50	c  317s |      14 |   178217 |    70552 |   115393      0 |       76 |      190
320.63/320.78	c  319s |      14 |   179033 |    70952 |   115393      0 |       76 |      190
323.03/323.19	c  321s |      14 |   179657 |    71352 |   115393      0 |       76 |      190
325.23/325.38	c  324s |      14 |   180373 |    71752 |   115393      0 |       76 |      190
327.62/327.79	c  326s |      14 |   181458 |    72252 |   115393      0 |       76 |      190
329.82/329.95	c  328s |      14 |   182153 |    72652 |   115393      0 |       76 |      190
332.33/332.42	c  331s |      14 |   182613 |    72952 |   115393      0 |       76 |      190
334.53/334.61	c  333s |      14 |   183107 |    73252 |   115393      0 |       76 |      190
337.12/337.26	c  335s |      14 |   183781 |    73652 |   115393      0 |       76 |      190
339.82/339.98	c  338s |      14 |   184291 |    73952 |   115393      0 |       76 |      190
342.12/342.25	c  340s |      14 |   185022 |    74452 |   115393      0 |       76 |      190
344.42/344.52	c  343s |      14 |   185780 |    74852 |   115393      0 |       76 |      190
347.11/347.20	c  345s |      14 |   186480 |    75252 |   115393      0 |       76 |      190
349.61/349.72	c  348s |      14 |   187225 |    75552 |   115393      0 |       76 |      190
351.71/351.87	c  350s |      14 |   187654 |    75752 |   115393      0 |       76 |      190
354.51/354.68	c  353s |      14 |   188368 |    76152 |   115393      0 |       76 |      190
357.11/357.22	c  355s |      14 |   188922 |    76452 |   115393      0 |       76 |      190
359.21/359.39	c  358s |      14 |   189289 |    76652 |   115393      0 |       76 |      190
361.31/361.43	c  360s |      14 |   189625 |    76852 |   115393      0 |       76 |      190
363.71/363.84	c  362s |      14 |   190168 |    77152 |   115393      0 |       76 |      190
365.81/365.92	c  364s |      14 |   190446 |    77352 |   115393      0 |       76 |      190
368.01/368.12	c  366s |      14 |   191665 |    77752 |   115393      0 |       76 |      190
370.21/370.36	c  369s |      14 |   192246 |    78052 |   115393      0 |       76 |      190
372.81/372.97	c  371s |      14 |   193440 |    78552 |   115393      0 |       76 |      190
375.41/375.52	c  374s |      14 |   194260 |    78952 |   115393      0 |       76 |      190
377.61/377.70	c  376s |      14 |   194979 |    79252 |   115393      0 |       76 |      190
380.31/380.44	c  379s |      14 |   195649 |    79652 |   115393      0 |       76 |      190
382.81/382.93	c  381s |      14 |   196159 |    79952 |   115393      0 |       76 |      190
385.01/385.13	c  383s |      14 |   196885 |    80252 |   115393      0 |       76 |      190
387.10/387.24	c  385s |      14 |   198834 |    80952 |   115393      0 |       76 |      190
389.20/389.32	c  387s |      14 |   199818 |    81452 |   115393      0 |       76 |      190
392.00/392.12	c  390s |      14 |   200484 |    81852 |   115393      0 |       76 |      190
394.20/394.33	c  392s |      14 |   201693 |    82252 |   115393      0 |       76 |      190
396.20/396.37	c  395s |      14 |   202299 |    82552 |   115393      0 |       76 |      190
399.10/399.25	c  397s |      14 |   202772 |    82852 |   115393      0 |       76 |      190
401.20/401.31	c  399s |      14 |   203216 |    83052 |   115393      0 |       76 |      190
403.70/403.89	c  402s |      14 |   204291 |    83452 |   115393      0 |       76 |      190
406.20/406.32	c  404s |      14 |   205433 |    83852 |   115393      0 |       76 |      190
408.39/408.50	c  407s |      14 |   206013 |    84152 |   115393      0 |       76 |      190
410.69/410.88	c  409s |      14 |   207630 |    84552 |   115393      0 |       76 |      190
413.39/413.50	c  412s |      14 |   208145 |    84852 |   115393      0 |       76 |      190
415.80/415.91	c  414s |      14 |   209141 |    85252 |   115393      0 |       76 |      190
417.79/417.92	c  416s |      14 |   209493 |    85452 |   115393      0 |       76 |      190
420.09/420.27	c  418s |      14 |   210043 |    85652 |   115393      0 |       76 |      190
422.09/422.28	c  420s |      14 |   211537 |    86152 |   115393      0 |       76 |      190
424.29/424.47	c  423s |      14 |   212999 |    86652 |   115393      0 |       76 |      190
426.69/426.86	c  425s |      14 |   214571 |    87152 |   126933      0 |       76 |      190
429.09/429.24	c  427s |      14 |   215871 |    87552 |   126933      0 |       76 |      190
429.68/429.84	c  428s |      15 |   216047 |    87632 |   126933      0 |       76 |      190
431.78/431.98	c  430s |      15 |   216825 |    87932 |   126933      0 |       76 |      190
434.08/434.22	c  432s |      15 |   217836 |    88432 |   126933      0 |       76 |      190
436.28/436.47	c  435s |      15 |   219063 |    88932 |   126933      0 |       76 |      190
438.38/438.58	c  437s |      15 |   219794 |    89332 |   126933      0 |       76 |      190
440.38/440.59	c  439s |      15 |   220346 |    89632 |   126933      0 |       76 |      190
442.58/442.73	c  441s |      15 |   220924 |    89932 |   126933      0 |       76 |      190
444.68/444.84	c  443s |      15 |   221492 |    90232 |   126933      0 |       76 |      190
447.07/447.28	c  445s |      15 |   222591 |    90632 |   126933      0 |       76 |      190
449.27/449.49	c  448s |      15 |   223796 |    91132 |   126933      0 |       76 |      190
451.57/451.79	c  450s |      15 |   224224 |    91432 |   126933      0 |       76 |      190
453.67/453.89	c  452s |      15 |   225487 |    91832 |   126933      0 |       76 |      190
455.87/456.00	c  454s |      15 |   226089 |    92132 |   126933      0 |       76 |      190
457.87/458.07	c  456s |      15 |   226735 |    92432 |   126933      0 |       76 |      190
460.37/460.51	c  459s |      15 |   227292 |    92732 |   126933      0 |       76 |      190
462.67/462.81	c  461s |      15 |   227829 |    93032 |   126933      0 |       76 |      190
465.27/465.40	c  464s |      15 |   228355 |    93332 |   126933      0 |       76 |      190
467.86/468.09	c  466s |      15 |   228773 |    93632 |   126933      0 |       76 |      190
470.46/470.63	c  469s |      15 |   229247 |    93932 |   126933      0 |       76 |      190
472.86/473.00	c  471s |      15 |   231519 |    94532 |   126933      0 |       76 |      190
475.17/475.31	c  473s |      15 |   233283 |    95032 |   126933      0 |       76 |      190
477.66/477.81	c  476s |      15 |   234153 |    95432 |   126933      0 |       76 |      190
479.76/479.91	c  478s |      15 |   234988 |    95832 |   126933      0 |       76 |      190
481.96/482.16	c  480s |      15 |   236476 |    96232 |   126933      0 |       76 |      190
484.36/484.57	c  483s |      15 |   238350 |    96832 |   126933      0 |       76 |      190
486.76/486.95	c  485s |      15 |   239926 |    97232 |   126933      0 |       76 |      190
488.96/489.19	c  487s |      15 |   241019 |    97632 |   126933      0 |       76 |      190
491.67/491.86	c  490s |      15 |   241623 |    97932 |   126933      0 |       76 |      190
493.96/494.19	c  492s |      15 |   242390 |    98232 |   126933      0 |       76 |      190
496.56/496.71	c  495s |      15 |   243395 |    98632 |   126933      0 |       76 |      190
499.06/499.23	c  497s |      15 |   244583 |    99032 |   126933      0 |       76 |      190
501.56/501.80	c  500s |      15 |   245322 |    99432 |   126933      0 |       76 |      190
503.86/504.02	c  502s |      15 |   246983 |    99932 |   126933      0 |       76 |      190
506.06/506.28	c  504s |      15 |   248171 |   100332 |   126933      0 |       76 |      190
508.45/508.68	c  507s |      15 |   249269 |   100732 |   126933      0 |       76 |      190
511.05/511.23	c  509s |      15 |   250259 |   101132 |   126933      0 |       76 |      190
513.35/513.53	c  512s |      15 |   250899 |   101432 |   126933      0 |       76 |      190
515.55/515.74	c  514s |      15 |   251869 |   101832 |   126933      0 |       76 |      190
517.64/517.87	c  516s |      15 |   252677 |   102232 |   126933      0 |       76 |      190
520.25/520.48	c  519s |      15 |   253413 |   102632 |   126933      0 |       76 |      190
523.04/523.25	c  521s |      15 |   253942 |   103032 |   126933      0 |       76 |      190
525.64/525.90	c  524s |      15 |   254516 |   103432 |   126933      0 |       76 |      190
527.84/528.03	c  526s |      15 |   255801 |   103932 |   126933      0 |       76 |      190
530.04/530.27	c  528s |      15 |   256536 |   104332 |   126933      0 |       76 |      190
532.64/532.86	c  531s |      15 |   257191 |   104732 |   126933      0 |       76 |      190
534.83/535.09	c  533s |      15 |   257976 |   105132 |   126933      0 |       76 |      190
536.93/537.14	c  535s |      15 |   258643 |   105532 |   126933      0 |       76 |      190
539.33/539.54	c  538s |      15 |   259231 |   105932 |   126933      0 |       76 |      190
541.53/541.77	c  540s |      15 |   259947 |   106332 |   126933      0 |       76 |      190
543.93/544.18	c  542s |      15 |   260576 |   106732 |   126933      0 |       76 |      190
546.23/546.40	c  545s |      15 |   261684 |   107132 |   126933      0 |       76 |      190
548.43/548.69	c  547s |      15 |   262515 |   107532 |   126933      0 |       76 |      190
551.13/551.37	c  550s |      15 |   263061 |   107832 |   126933      0 |       76 |      190
553.53/553.78	c  552s |      15 |   263570 |   108132 |   126933      0 |       76 |      190
555.73/555.90	c  554s |      15 |   264378 |   108432 |   126933      0 |       76 |      190
557.82/558.05	c  556s |      15 |   265115 |   108732 |   126933      0 |       76 |      190
559.93/560.19	c  558s |      15 |   265858 |   109032 |   126933      0 |       76 |      190
562.22/562.40	c  561s |      15 |   266496 |   109332 |   126933      0 |       76 |      190
564.62/564.85	c  563s |      15 |   267401 |   109732 |   126933      0 |       76 |      190
566.82/567.01	c  565s |      15 |   268192 |   110032 |   126933      0 |       76 |      190
568.91/569.16	c  567s |      15 |   269536 |   110432 |   126933      0 |       76 |      190
571.31/571.58	c  570s |      15 |   271060 |   110932 |   126933      0 |       76 |      190
573.71/573.95	c  572s |      15 |   271861 |   111332 |   126933      0 |       76 |      190
576.32/576.52	c  575s |      15 |   272548 |   111632 |   126933      0 |       76 |      190
578.52/578.76	c  577s |      15 |   273435 |   112032 |   126933      0 |       76 |      190
580.51/580.78	c  579s |      15 |   274226 |   112432 |   126933      0 |       76 |      190
582.71/582.99	c  581s |      15 |   274928 |   112732 |   126933      0 |       76 |      190
584.81/585.09	c  583s |      15 |   275573 |   113032 |   126933      0 |       76 |      190
587.00/587.21	c  585s |      15 |   276463 |   113432 |   126933      0 |       76 |      190
589.40/589.61	c  588s |      15 |   277043 |   113732 |   126933      0 |       76 |      190
591.40/591.63	c  590s |      15 |   277573 |   114032 |   126933      0 |       76 |      190
593.80/594.10	c  592s |      15 |   278249 |   114432 |   126933      0 |       76 |      190
596.11/596.39	c  595s |      15 |   279107 |   114832 |   126933      0 |       76 |      190
598.80/599.06	c  597s |      15 |   279668 |   115132 |   126933      0 |       76 |      190
601.00/601.21	c  599s |      15 |   280106 |   115332 |   126933      0 |       76 |      190
603.40/603.60	c  602s |      15 |   280922 |   115732 |   126933      0 |       76 |      190
605.69/605.95	c  604s |      15 |   281331 |   116032 |   126933      0 |       76 |      190
608.20/608.50	c  607s |      15 |   281736 |   116332 |   126933      0 |       76 |      190
610.79/611.06	c  609s |      15 |   282525 |   116732 |   126933      0 |       76 |      190
613.70/614.00	c  612s |      15 |   283106 |   117032 |   126933      0 |       76 |      190
616.00/616.26	c  614s |      15 |   283778 |   117332 |   126933      0 |       76 |      190
617.99/618.30	c  616s |      15 |   284496 |   117632 |   126933      0 |       76 |      190
620.69/620.92	c  619s |      15 |   285624 |   118132 |   126933      0 |       76 |      190
622.69/622.92	c  621s |      15 |   286099 |   118432 |   126933      0 |       76 |      190
624.79/625.09	c  623s |      15 |   286592 |   118732 |   126933      0 |       76 |      190
626.99/627.22	c  625s |      15 |   287619 |   119132 |   126933      0 |       76 |      190
629.19/629.49	c  628s |      15 |   288982 |   119632 |   126933      0 |       76 |      190
631.48/631.72	c  630s |      15 |   289420 |   119932 |   126933      0 |       76 |      190
633.88/634.19	c  632s |      15 |   289880 |   120232 |   126933      0 |       76 |      190
636.38/636.65	c  635s |      15 |   290423 |   120532 |   126933      0 |       76 |      190
638.87/639.19	c  637s |      15 |   291446 |   120932 |   126933      0 |       76 |      190
641.37/641.69	c  640s |      15 |   292383 |   121332 |   126933      0 |       76 |      190
643.97/644.21	c  642s |      15 |   292986 |   121632 |   126933      0 |       76 |      190
646.47/646.71	c  645s |      15 |   293516 |   121932 |   126933      0 |       76 |      190
649.17/649.45	c  648s |      15 |   294248 |   122232 |   126933      0 |       76 |      190
651.77/652.08	c  650s |      15 |   294952 |   122532 |   126933      0 |       76 |      190
654.57/654.86	c  653s |      15 |   295557 |   122832 |   126933      0 |       76 |      190
656.77/657.06	c  655s |      15 |   296164 |   123132 |   126933      0 |       76 |      190
659.27/659.54	c  658s |      15 |   296827 |   123432 |   126933      0 |       76 |      190
661.87/662.13	c  660s |      15 |   297561 |   123832 |   126933      0 |       76 |      190
664.17/664.49	c  663s |      15 |   298317 |   124232 |   126933      0 |       76 |      190
666.37/666.69	c  665s |      15 |   299171 |   124632 |   126933      0 |       76 |      190
668.77/669.06	c  667s |      15 |   299898 |   125032 |   126933      0 |       76 |      190
671.26/671.51	c  670s |      15 |   300708 |   125432 |   126933      0 |       76 |      190
673.26/673.57	c  672s |      15 |   301616 |   125832 |   126933      0 |       76 |      190
675.46/675.73	c  674s |      15 |   302477 |   126232 |   126933      0 |       76 |      190
677.57/677.81	c  676s |      15 |   303115 |   126532 |   126933      0 |       76 |      190
679.66/680.00	c  678s |      15 |   303821 |   126832 |   126933      0 |       76 |      190
682.06/682.34	c  680s |      15 |   304444 |   127132 |   126933      0 |       76 |      190
684.16/684.50	c  683s |      15 |   305117 |   127432 |   126933      0 |       76 |      190
686.56/686.89	c  685s |      15 |   305675 |   127732 |   126933      0 |       76 |      190
689.16/689.45	c  688s |      15 |   306325 |   128032 |   126933      0 |       76 |      190
691.36/691.68	c  690s |      15 |   306901 |   128332 |   126933      0 |       76 |      190
693.76/694.07	c  692s |      15 |   307448 |   128632 |   126933      0 |       76 |      190
696.06/696.39	c  695s |      15 |   308292 |   128932 |   126933      0 |       76 |      190
698.36/698.70	c  697s |      15 |   309066 |   129232 |   126933      0 |       76 |      190
700.75/701.03	c  699s |      15 |   309936 |   129532 |   126933      0 |       76 |      190
703.25/703.57	c  702s |      15 |   310794 |   129832 |   126933      0 |       76 |      190
705.85/706.14	c  704s |      15 |   312087 |   130232 |   126933      0 |       76 |      190
708.95/709.24	c  707s |      15 |   313274 |   130632 |   126933      0 |       76 |      190
712.25/712.52	c  711s |      15 |   313903 |   130932 |   139627      0 |       76 |      190
715.15/715.46	c  714s |      15 |   314469 |   131232 |   139627      0 |       76 |      190
717.05/717.39	c  716s |      16 |   315462 |   131552 |   139627      0 |       76 |      190
719.44/719.79	c  718s |      16 |   316033 |   131752 |   139627      0 |       76 |      190
721.94/722.22	c  720s |      16 |   316763 |   132152 |   139627      0 |       76 |      190
724.34/724.64	c  723s |      16 |   317654 |   132552 |   139627      0 |       76 |      190
727.04/727.39	c  726s |      16 |   318287 |   132852 |   139627      0 |       76 |      190
729.24/729.53	c  728s |      16 |   319128 |   133152 |   139627      0 |       76 |      190
731.24/731.54	c  730s |      16 |   319668 |   133352 |   139627      0 |       76 |      190
733.84/734.16	c  732s |      16 |   320463 |   133652 |   139627      0 |       76 |      190
736.54/736.86	c  735s |      16 |   321130 |   133952 |   139627      0 |       76 |      190
739.04/739.36	c  738s |      16 |   321759 |   134252 |   139627      0 |       76 |      190
741.93/742.26	c  740s |      16 |   322340 |   134552 |   139627      0 |       76 |      190
744.54/744.87	c  743s |      16 |   323448 |   134952 |   139627      0 |       76 |      190
747.43/747.77	c  746s |      16 |   324146 |   135252 |   139627      0 |       76 |      190
749.83/750.13	c  748s |      16 |   325127 |   135552 |   139627      0 |       76 |      190
752.43/752.72	c  751s |      16 |   325886 |   135852 |   139627      0 |       76 |      190
755.13/755.42	c  754s |      16 |   326542 |   136152 |   139627      0 |       76 |      190
757.22/757.54	c  756s |      16 |   326906 |   136352 |   139627      0 |       76 |      190
760.22/760.50	c  759s |      16 |   327465 |   136652 |   139627      0 |       76 |      190
762.23/762.56	c  761s |      16 |   327918 |   136852 |   139627      0 |       76 |      190
764.82/765.11	c  763s |      16 |   328592 |   137152 |   139627      0 |       76 |      190
767.22/767.55	c  766s |      16 |   328948 |   137352 |   139627      0 |       76 |      190
769.42/769.71	c  768s |      16 |   329364 |   137552 |   139627      0 |       76 |      190
772.02/772.37	c  771s |      16 |   329738 |   137752 |   139627      0 |       76 |      190
774.51/774.88	c  773s |      16 |   330105 |   137952 |   139627      0 |       76 |      190
776.61/776.94	c  775s |      16 |   330507 |   138152 |   139627      0 |       76 |      190
778.81/779.17	c  777s |      16 |   330820 |   138352 |   139627      0 |       76 |      190
781.31/781.62	c  780s |      16 |   331143 |   138552 |   139627      0 |       76 |      190
783.81/784.13	c  782s |      16 |   331475 |   138752 |   139627      0 |       76 |      190
786.71/787.06	c  785s |      16 |   331793 |   138952 |   139627      0 |       76 |      190
789.51/789.84	c  788s |      16 |   332128 |   139152 |   139627      0 |       76 |      190
791.81/792.18	c  790s |      16 |   332546 |   139352 |   139627      0 |       76 |      190
794.71/795.04	c  793s |      16 |   332919 |   139552 |   139627      0 |       76 |      190
797.70/798.00	c  796s |      16 |   333515 |   139852 |   139627      0 |       76 |      190
799.70/800.05	c  798s |      16 |   333874 |   140052 |   139627      0 |       76 |      190
802.60/802.99	c  801s |      16 |   334510 |   140352 |   139627      0 |       76 |      190
805.11/805.43	c  804s |      16 |   334869 |   140552 |   139627      0 |       76 |      190
807.40/807.71	c  806s |      16 |   335422 |   140752 |   139627      0 |       76 |      190
810.30/810.67	c  809s |      16 |   336129 |   141052 |   139627      0 |       76 |      190
812.90/813.20	c  811s |      16 |   336529 |   141252 |   139627      0 |       76 |      190
815.30/815.65	c  814s |      16 |   336898 |   141452 |   139627      0 |       76 |      190
817.50/817.83	c  816s |      16 |   337275 |   141652 |   139627      0 |       76 |      190
819.80/820.14	c  818s |      16 |   337708 |   141852 |   139627      0 |       76 |      190
821.90/822.22	c  820s |      16 |   338153 |   142052 |   139627      0 |       76 |      190
824.10/824.46	c  823s |      16 |   338650 |   142252 |   139627      0 |       76 |      190
826.20/826.54	c  825s |      16 |   339107 |   142452 |   139627      0 |       76 |      190
828.60/828.91	c  827s |      16 |   339441 |   142652 |   139627      0 |       76 |      190
830.80/831.18	c  829s |      16 |   339801 |   142852 |   139627      0 |       76 |      190
833.30/833.67	c  832s |      16 |   340182 |   143052 |   139627      0 |       76 |      190
836.50/836.83	c  835s |      16 |   340496 |   143252 |   139627      0 |       76 |      190
839.00/839.35	c  838s |      16 |   340798 |   143452 |   139627      0 |       76 |      190
841.60/841.93	c  840s |      16 |   341089 |   143652 |   139627      0 |       76 |      190
844.49/844.82	c  843s |      16 |   341628 |   143852 |   139627      0 |       76 |      190
847.19/847.55	c  846s |      16 |   342032 |   144052 |   139627      0 |       76 |      190
850.10/850.49	c  849s |      16 |   342403 |   144252 |   139627      0 |       76 |      190
853.09/853.43	c  852s |      16 |   342784 |   144452 |   139627      0 |       76 |      190
855.89/856.29	c  854s |      16 |   343131 |   144652 |   139627      0 |       76 |      190
858.29/858.64	c  857s |      16 |   343515 |   144852 |   139627      0 |       76 |      190
860.29/860.67	c  859s |      16 |   343922 |   145052 |   139627      0 |       76 |      190
862.40/862.78	c  861s |      16 |   344298 |   145252 |   139627      0 |       76 |      190
864.90/865.27	c  863s |      16 |   344787 |   145452 |   139627      0 |       76 |      190
867.60/867.98	c  866s |      16 |   345139 |   145652 |   139627      0 |       76 |      190
870.50/870.86	c  869s |      16 |   345495 |   145852 |   139627      0 |       76 |      190
873.10/873.43	c  872s |      16 |   345901 |   146052 |   139627      0 |       76 |      190
875.60/875.98	c  874s |      16 |   346215 |   146252 |   139627      0 |       76 |      190
879.00/879.35	c  878s |      16 |   346459 |   146452 |   139627      0 |       76 |      190
881.50/881.85	c  880s |      16 |   346873 |   146652 |   139627      0 |       76 |      190
884.70/885.05	c  883s |      16 |   347381 |   146952 |   139627      0 |       76 |      190
887.40/887.75	c  886s |      16 |   347684 |   147152 |   139627      0 |       76 |      190
889.80/890.14	c  888s |      16 |   348043 |   147352 |   139627      0 |       76 |      190
892.50/892.84	c  891s |      16 |   348436 |   147552 |   139627      0 |       76 |      190
895.30/895.62	c  894s |      16 |   348834 |   147752 |   139627      0 |       76 |      190
898.00/898.36	c  897s |      16 |   349241 |   147952 |   139627      0 |       76 |      190
900.80/901.15	c  899s |      16 |   349633 |   148152 |   139627      0 |       76 |      190
903.69/904.03	c  902s |      16 |   349960 |   148352 |   139627      0 |       76 |      190
906.59/906.93	c  905s |      16 |   350362 |   148552 |   139627      0 |       76 |      190
909.29/909.61	c  908s |      16 |   350661 |   148752 |   139627      0 |       76 |      190
911.80/912.12	c  910s |      16 |   351028 |   148952 |   139627      0 |       76 |      190
914.59/914.94	c  913s |      16 |   351267 |   149152 |   139627      0 |       76 |      190
917.30/917.63	c  916s |      16 |   351544 |   149352 |   139627      0 |       76 |      190
919.89/920.28	c  918s |      16 |   351953 |   149552 |   139627      0 |       76 |      190
922.89/923.24	c  921s |      16 |   352277 |   149752 |   139627      0 |       76 |      190
925.69/926.10	c  924s |      16 |   352612 |   149952 |   139627      0 |       76 |      190
928.69/929.05	c  927s |      16 |   352904 |   150152 |   139627      0 |       76 |      190
930.99/931.30	c  929s |      16 |   353389 |   150352 |   139627      0 |       76 |      190
933.99/934.31	c  932s |      16 |   353931 |   150652 |   139627      0 |       76 |      190
936.69/937.02	c  935s |      16 |   354362 |   150852 |   139627      0 |       76 |      190
939.39/939.77	c  938s |      16 |   354742 |   151052 |   139627      0 |       76 |      190
942.60/942.97	c  941s |      16 |   355086 |   151252 |   139627      0 |       76 |      190
945.59/945.93	c  944s |      16 |   355490 |   151452 |   139627      0 |       76 |      190
948.09/948.47	c  947s |      16 |   355830 |   151652 |   139627      0 |       76 |      190
950.39/950.79	c  949s |      16 |   356184 |   151852 |   139627      0 |       76 |      190
953.59/953.98	c  952s |      16 |   356503 |   152052 |   139627      0 |       76 |      190
956.49/956.88	c  955s |      16 |   356825 |   152252 |   139627      0 |       76 |      190
959.49/959.82	c  958s |      16 |   357165 |   152452 |   139627      0 |       76 |      190
961.88/962.21	c  960s |      16 |   357463 |   152652 |   139627      0 |       76 |      190
964.78/965.18	c  963s |      16 |   357815 |   152852 |   139627      0 |       76 |      190
967.79/968.20	c  966s |      16 |   358168 |   153052 |   139627      0 |       76 |      190
971.09/971.46	c  970s |      16 |   358644 |   153252 |   139627      0 |       76 |      190
974.18/974.57	c  973s |      16 |   358969 |   153452 |   139627      0 |       76 |      190
977.28/977.61	c  976s |      16 |   359287 |   153652 |   139627      0 |       76 |      190
980.08/980.44	c  979s |      16 |   359532 |   153852 |   139627      0 |       76 |      190
983.29/983.61	c  982s |      16 |   359852 |   154052 |   139627      0 |       76 |      190
988.68/989.08	c  987s |      16 |   360223 |   154252 |   139627      1 |       76 |      190
991.08/991.43	c  990s |      16 |   361015 |   154452 |   139627      1 |       76 |      190
993.78/994.11	c  992s |      16 |   361901 |   154752 |   139627      1 |       76 |      190
997.17/997.58	c  996s |      16 |   363013 |   155052 |   139627      1 |       76 |      190
999.47/999.86	c  998s |      16 |   363604 |   155352 |   139627      1 |       76 |      190
1001.67/1002.04	c 1000s |      16 |   364322 |   155652 |   139627      1 |       76 |      190
1004.08/1004.42	c 1003s |      16 |   365253 |   155952 |   139627      1 |       76 |      190
1006.57/1006.91	c 1005s |      16 |   365986 |   156252 |   139627      1 |       76 |      190
1008.67/1009.04	c 1007s |      16 |   366384 |   156452 |   139627      1 |       76 |      190
1010.68/1011.04	c 1009s |      16 |   367151 |   156652 |   139627      1 |       76 |      190
1013.37/1013.78	c 1012s |      16 |   368215 |   156952 |   139627      1 |       76 |      190
1015.47/1015.83	c 1014s |      16 |   368683 |   157152 |   139627      1 |       76 |      190
1018.07/1018.41	c 1017s |      16 |   369812 |   157452 |   139627      1 |       76 |      190
1020.07/1020.48	c 1019s |      16 |   370799 |   157752 |   139627      1 |       76 |      190
1022.47/1022.80	c 1021s |      16 |   372211 |   158252 |   139627      1 |       76 |      190
1024.87/1025.20	c 1023s |      16 |   373817 |   158852 |   139627      1 |       76 |      190
1027.37/1027.71	c 1026s |      16 |   375245 |   159352 |   139627      1 |       76 |      190
1029.67/1030.05	c 1028s |      16 |   376319 |   159852 |   139627      1 |       76 |      190
1031.87/1032.24	c 1030s |      16 |   377113 |   160252 |   139627      1 |       76 |      190
1034.17/1034.59	c 1033s |      16 |   377907 |   160652 |   139627      1 |       76 |      190
1036.27/1036.67	c 1035s |      16 |   378550 |   160952 |   139627      1 |       76 |      190
1038.57/1038.96	c 1037s |      16 |   379265 |   161352 |   139627      1 |       76 |      190
1040.67/1041.08	c 1039s |      16 |   380770 |   161952 |   139627      1 |       76 |      190
1043.17/1043.57	c 1042s |      16 |   381764 |   162452 |   139627      1 |       76 |      190
1045.67/1046.09	c 1044s |      16 |   382425 |   162852 |   139627      1 |       76 |      190
1047.87/1048.28	c 1046s |      16 |   383159 |   163252 |   139627      1 |       76 |      190
1050.28/1050.62	c 1049s |      16 |   383812 |   163652 |   139627      1 |       76 |      190
1052.77/1053.11	c 1051s |      16 |   384625 |   164152 |   139627      1 |       76 |      190
1055.57/1055.94	c 1054s |      16 |   385156 |   164552 |   139627      1 |       76 |      190
1058.08/1058.44	c 1057s |      16 |   385571 |   164852 |   139627      1 |       76 |      190
1060.77/1061.18	c 1059s |      16 |   385929 |   165152 |   139627      1 |       76 |      190
1063.58/1063.97	c 1062s |      16 |   386488 |   165452 |   139627      1 |       76 |      190
1066.17/1066.55	c 1065s |      16 |   387333 |   165752 |   139627      1 |       76 |      190
1068.47/1068.83	c 1067s |      16 |   388694 |   166252 |   139627      1 |       76 |      190
1070.97/1071.32	c 1069s |      16 |   389994 |   166852 |   139627      1 |       76 |      190
1073.07/1073.41	c 1072s |      16 |   390436 |   167152 |   139627      1 |       76 |      190
1075.17/1075.58	c 1074s |      16 |   390802 |   167452 |   139627      1 |       76 |      190
1077.27/1077.67	c 1076s |      16 |   391350 |   167752 |   139627      1 |       76 |      190
1079.47/1079.85	c 1078s |      16 |   392113 |   168052 |   139627      1 |       76 |      190
1081.97/1082.39	c 1081s |      16 |   393409 |   168352 |   139627      1 |       76 |      190
1084.07/1084.46	c 1083s |      16 |   394105 |   168652 |   139627      1 |       76 |      190
1086.27/1086.60	c 1085s |      16 |   394944 |   168952 |   139627      1 |       76 |      190
1088.47/1088.88	c 1087s |      16 |   395581 |   169252 |   139627      1 |       76 |      190
1091.17/1091.57	c 1090s |      16 |   396164 |   169552 |   139627      1 |       76 |      190
1094.27/1094.60	c 1093s |      16 |   396672 |   169852 |   139627      1 |       76 |      190
1096.57/1096.91	c 1095s |      16 |   397072 |   170052 |   139627      1 |       76 |      190
1098.87/1099.25	c 1097s |      16 |   397363 |   170252 |   139627      1 |       76 |      190
1101.06/1101.48	c 1100s |      16 |   398118 |   170552 |   139627      1 |       76 |      190
1103.66/1104.02	c 1102s |      16 |   398706 |   170952 |   139627      1 |       76 |      190
1105.66/1106.07	c 1104s |      16 |   399144 |   171152 |   139627      1 |       76 |      190
1107.96/1108.31	c 1106s |      16 |   399494 |   171352 |   139627      1 |       76 |      190
1110.06/1110.41	c 1109s |      16 |   399946 |   171552 |   139627      1 |       76 |      190
1112.06/1112.42	c 1111s |      16 |   400623 |   171852 |   139627      1 |       76 |      190
1114.36/1114.70	c 1113s |      16 |   401278 |   172152 |   139627      1 |       76 |      190
1116.46/1116.80	c 1115s |      16 |   401956 |   172452 |   139627      1 |       76 |      190
1118.76/1119.16	c 1117s |      16 |   402256 |   172652 |   139627      1 |       76 |      190
1120.86/1121.20	c 1119s |      16 |   402543 |   172852 |   139627      1 |       76 |      190
1123.76/1124.19	c 1122s |      16 |   403039 |   173152 |   139627      1 |       76 |      190
1126.17/1126.59	c 1125s |      16 |   403693 |   173452 |   139627      1 |       76 |      190
1128.96/1129.35	c 1128s |      16 |   404443 |   173752 |   139627      1 |       76 |      190
1131.16/1131.59	c 1130s |      16 |   404916 |   173952 |   139627      1 |       76 |      190
1133.26/1133.66	c 1132s |      16 |   405303 |   174152 |   139627      1 |       76 |      190
1135.46/1135.85	c 1134s |      16 |   405644 |   174352 |   139627      1 |       76 |      190
1137.86/1138.28	c 1136s |      16 |   406146 |   174552 |   139627      1 |       76 |      190
1140.36/1140.77	c 1139s |      16 |   406495 |   174752 |   139627      1 |       76 |      190
1142.96/1143.32	c 1141s |      16 |   406978 |   175052 |   139627      1 |       76 |      190
1145.46/1145.84	c 1144s |      16 |   407460 |   175252 |   139627      1 |       76 |      190
1147.86/1148.24	c 1146s |      16 |   407767 |   175452 |   139627      1 |       76 |      190
1150.96/1151.39	c 1150s |      16 |   408277 |   175752 |   139627      1 |       76 |      190
1153.36/1153.71	c 1152s |      16 |   408657 |   175952 |   139627      1 |       76 |      190
1155.86/1156.30	c 1154s |      16 |   408939 |   176152 |   139627      1 |       76 |      190
1158.06/1158.50	c 1157s |      16 |   409290 |   176352 |   139627      1 |       76 |      190
1160.65/1161.07	c 1159s |      16 |   409732 |   176552 |   139627      1 |       76 |      190
1163.15/1163.54	c 1162s |      16 |   410072 |   176752 |   139627      1 |       76 |      190
1165.95/1166.31	c 1164s |      16 |   410420 |   176952 |   139627      1 |       76 |      190
1168.55/1168.90	c 1167s |      16 |   410823 |   177152 |   139627      1 |       76 |      190
1171.65/1172.04	c 1170s |      16 |   411152 |   177352 |   139627      1 |       76 |      190
1174.95/1175.31	c 1173s |      16 |   411396 |   177552 |   139627      1 |       76 |      190
1178.25/1178.60	c 1177s |      16 |   411709 |   177752 |   139627      1 |       76 |      190
1180.95/1181.38	c 1180s |      16 |   412139 |   177952 |   139627      1 |       76 |      190
1183.25/1183.62	c 1182s |      16 |   412487 |   178152 |   139627      1 |       76 |      190
1185.95/1186.35	c 1185s |      16 |   412745 |   178352 |   139627      1 |       76 |      190
1189.15/1189.51	c 1188s |      16 |   413024 |   178552 |   139627      1 |       76 |      190
1191.95/1192.37	c 1191s |      16 |   413397 |   178752 |   139627      1 |       76 |      190
1194.55/1194.94	c 1193s |      16 |   413795 |   178952 |   139627      1 |       76 |      190
1196.66/1197.05	c 1195s |      16 |   414048 |   179152 |   139627      1 |       76 |      190
1199.65/1200.00	c 1198s |      16 |   414743 |   179452 |   139627      1 |       76 |      190
1201.65/1202.03	c 1200s |      16 |   415170 |   179652 |   139627      1 |       76 |      190
1204.15/1204.52	c 1203s |      16 |   415552 |   179852 |   139627      1 |       76 |      190
1206.65/1207.03	c 1205s |      16 |   415989 |   180052 |   139627      1 |       76 |      190
1209.05/1209.40	c 1208s |      16 |   416390 |   180252 |   139627      1 |       76 |      190
1211.65/1212.04	c 1210s |      16 |   416824 |   180452 |   139627      1 |       76 |      190
1213.85/1214.28	c 1212s |      16 |   417542 |   180752 |   139627      1 |       76 |      190
1216.65/1217.07	c 1215s |      16 |   417801 |   180952 |   139627      1 |       76 |      190
1219.85/1220.28	c 1218s |      16 |   418087 |   181152 |   139627      1 |       76 |      190
1222.85/1223.28	c 1221s |      16 |   418362 |   181352 |   139627      1 |       76 |      190
1225.84/1226.25	c 1224s |      16 |   418717 |   181552 |   139627      1 |       76 |      190
1228.94/1229.34	c 1228s |      16 |   418979 |   181752 |   139627      1 |       76 |      190
1232.04/1232.47	c 1231s |      16 |   419239 |   181952 |   139627      1 |       76 |      190
1234.94/1235.36	c 1234s |      16 |   419482 |   182152 |   139627      1 |       76 |      190
1238.54/1238.90	c 1237s |      16 |   419794 |   182352 |   139627      1 |       76 |      190
1241.04/1241.49	c 1240s |      16 |   420142 |   182552 |   139627      1 |       76 |      190
1244.14/1244.51	c 1243s |      16 |   420419 |   182752 |   139627      1 |       76 |      190
1246.34/1246.77	c 1245s |      16 |   420916 |   182952 |   139627      1 |       76 |      190
1249.04/1249.47	c 1248s |      16 |   421210 |   183152 |   139627      1 |       76 |      190
1251.65/1252.02	c 1250s |      16 |   421522 |   183352 |   139627      1 |       76 |      190
1254.34/1254.72	c 1253s |      16 |   421846 |   183552 |   139627      1 |       76 |      190
1256.94/1257.37	c 1256s |      16 |   422205 |   183752 |   139627      1 |       76 |      190
1259.14/1259.55	c 1258s |      16 |   422547 |   183952 |   139627      1 |       76 |      190
1261.24/1261.60	c 1260s |      16 |   422918 |   184252 |   139627      1 |       76 |      190
1263.64/1264.01	c 1262s |      16 |   423471 |   184552 |   139627      1 |       76 |      190
1265.94/1266.36	c 1265s |      16 |   423835 |   184752 |   139627      1 |       76 |      190
1268.44/1268.85	c 1267s |      16 |   424147 |   184952 |   139627      1 |       76 |      190
1270.74/1271.12	c 1269s |      16 |   424807 |   185252 |   139627      1 |       76 |      190
1272.74/1273.14	c 1271s |      16 |   425135 |   185452 |   139627      1 |       76 |      190
1274.94/1275.38	c 1274s |      16 |   425433 |   185652 |   139627      1 |       76 |      190
1277.33/1277.72	c 1276s |      16 |   425811 |   185852 |   139627      1 |       76 |      190
1279.53/1279.99	c 1278s |      16 |   426239 |   186052 |   139627      1 |       76 |      190
1282.03/1282.49	c 1281s |      16 |   426590 |   186252 |   139627      1 |       76 |      190
1284.54/1285.00	c 1283s |      16 |   427579 |   186552 |   139627      1 |       76 |      190
1287.13/1287.59	c 1286s |      16 |   428221 |   186852 |   139627      1 |       76 |      190
1289.53/1289.99	c 1288s |      16 |   428617 |   187052 |   139627      1 |       76 |      190
1291.63/1292.10	c 1290s |      16 |   429135 |   187252 |   139627      1 |       76 |      190
1294.23/1294.65	c 1293s |      16 |   429553 |   187452 |   139627      1 |       76 |      190
1297.03/1297.40	c 1296s |      16 |   429920 |   187652 |   139627      1 |       76 |      190
1299.94/1300.39	c 1299s |      16 |   430386 |   187852 |   139627      1 |       76 |      190
1302.03/1302.46	c 1301s |      16 |   430729 |   188052 |   139627      1 |       76 |      190
1304.83/1305.29	c 1303s |      16 |   431063 |   188252 |   139627      1 |       76 |      190
1307.83/1308.25	c 1306s |      16 |   431393 |   188452 |   139627      1 |       76 |      190
1310.53/1310.94	c 1309s |      16 |   431848 |   188652 |   139627      1 |       76 |      190
1312.73/1313.10	c 1311s |      16 |   432254 |   188852 |   139627      1 |       76 |      190
1314.93/1315.37	c 1314s |      16 |   432633 |   189052 |   139627      1 |       76 |      190
1317.93/1318.31	c 1316s |      16 |   432942 |   189252 |   139627      1 |       76 |      190
1320.63/1321.07	c 1319s |      16 |   433251 |   189452 |   139627      1 |       76 |      190
1323.23/1323.66	c 1322s |      16 |   433567 |   189652 |   139627      1 |       76 |      190
1326.03/1326.47	c 1325s |      16 |   433918 |   189852 |   139627      1 |       76 |      190
1328.63/1329.02	c 1327s |      16 |   434269 |   190052 |   139627      1 |       76 |      190
1331.43/1331.86	c 1330s |      16 |   434562 |   190252 |   139627      1 |       76 |      190
1334.23/1334.67	c 1333s |      16 |   434802 |   190452 |   139627      1 |       76 |      190
1337.03/1337.40	c 1336s |      16 |   435169 |   190652 |   139627      1 |       76 |      190
1339.03/1339.44	c 1338s |      16 |   435653 |   190952 |   139627      1 |       76 |      190
1341.43/1341.85	c 1340s |      16 |   436104 |   191252 |   139627      1 |       76 |      190
1344.32/1344.77	c 1343s |      16 |   436536 |   191552 |   139627      1 |       76 |      190
1346.42/1346.85	c 1345s |      16 |   436825 |   191752 |   139627      1 |       76 |      190
1348.52/1348.92	c 1347s |      16 |   437269 |   191952 |   139627      1 |       76 |      190
1350.82/1351.24	c 1349s |      16 |   437551 |   192152 |   139627      1 |       76 |      190
1353.22/1353.68	c 1352s |      16 |   437876 |   192352 |   139627      1 |       76 |      190
1355.72/1356.12	c 1354s |      16 |   438206 |   192552 |   139627      1 |       76 |      190
1358.23/1358.66	c 1357s |      16 |   438518 |   192752 |   139627      1 |       76 |      190
1360.82/1361.21	c 1359s |      16 |   438907 |   192952 |   139627      1 |       76 |      190
1363.92/1364.39	c 1363s |      16 |   439197 |   193152 |   139627      1 |       76 |      190
1366.52/1366.98	c 1365s |      16 |   439463 |   193352 |   139627      1 |       76 |      190
1369.02/1369.40	c 1368s |      16 |   439721 |   193552 |   139627      1 |       76 |      190
1371.62/1372.06	c 1370s |      16 |   440048 |   193752 |   139627      1 |       76 |      190
1374.12/1374.59	c 1373s |      16 |   440382 |   193952 |   139627      1 |       76 |      190
1377.22/1377.62	c 1376s |      16 |   440659 |   194152 |   139627      1 |       76 |      190
1379.72/1380.13	c 1378s |      16 |   440947 |   194352 |   139627      1 |       76 |      190
1382.32/1382.73	c 1381s |      16 |   441206 |   194552 |   139627      1 |       76 |      190
1384.52/1384.98	c 1383s |      16 |   441463 |   194752 |   139627      1 |       76 |      190
1386.92/1387.33	c 1385s |      16 |   441703 |   194952 |   139627      1 |       76 |      190
1389.62/1390.02	c 1388s |      16 |   442030 |   195152 |   139627      1 |       76 |      190
1392.72/1393.13	c 1391s |      16 |   442290 |   195352 |   139627      1 |       76 |      190
1395.62/1396.02	c 1394s |      16 |   442514 |   195552 |   139627      1 |       76 |      190
1398.41/1398.85	c 1397s |      16 |   442766 |   195752 |   139627      1 |       76 |      190
1401.22/1401.63	c 1400s |      16 |   443008 |   195952 |   139627      1 |       76 |      190
1404.01/1404.42	c 1403s |      16 |   443260 |   196152 |   153590      1 |       76 |      190
1407.41/1407.84	c 1406s |      16 |   443550 |   196352 |   153590      1 |       76 |      190
1410.91/1411.35	c 1410s |      16 |   443744 |   196552 |   153590      1 |       76 |      190
1413.51/1413.96	c 1412s |      16 |   444076 |   196752 |   153590      1 |       76 |      190
1416.41/1416.81	c 1415s |      16 |   444352 |   196952 |   153590      1 |       76 |      190
1418.51/1418.96	c 1417s |      16 |   444693 |   197152 |   153590      1 |       76 |      190
1420.92/1421.37	c 1420s |      16 |   445554 |   197352 |   153590      1 |       76 |      190
1422.02/1422.48	c 1421s |      17 |   445655 |   197432 |   153590      1 |       76 |      190
1425.01/1425.44	c 1424s |      17 |   446051 |   197632 |   153590      1 |       76 |      190
1427.01/1427.44	c 1426s |      17 |   446698 |   197932 |   153590      1 |       76 |      190
1429.01/1429.45	c 1428s |      17 |   447028 |   198132 |   153590      1 |       76 |      190
1431.61/1432.10	c 1430s |      17 |   447318 |   198332 |   153590      1 |       76 |      190
1435.32/1435.77	c 1434s |      17 |   447638 |   198532 |   153590      1 |       76 |      190
1437.61/1438.06	c 1436s |      17 |   447937 |   198732 |   153590      1 |       76 |      190
1440.21/1440.67	c 1439s |      17 |   448194 |   198932 |   153590      1 |       76 |      190
1443.21/1443.64	c 1442s |      17 |   448460 |   199132 |   153590      1 |       76 |      190
1446.32/1446.76	c 1445s |      17 |   448839 |   199332 |   153590      1 |       76 |      190
1448.71/1449.18	c 1447s |      17 |   449383 |   199632 |   153590      1 |       76 |      190
1451.01/1451.40	c 1450s |      17 |   449741 |   199832 |   153590      1 |       76 |      190
1453.91/1454.40	c 1453s |      17 |   450309 |   200132 |   153590      1 |       76 |      190
1456.31/1456.72	c 1455s |      17 |   450795 |   200432 |   153590      1 |       76 |      190
1459.00/1459.46	c 1458s |      17 |   451579 |   200732 |   153590      1 |       76 |      190
1461.20/1461.68	c 1460s |      17 |   451930 |   200932 |   153590      1 |       76 |      190
1464.00/1464.45	c 1463s |      17 |   453038 |   201232 |   153590      1 |       76 |      190
1466.70/1467.18	c 1465s |      17 |   453603 |   201532 |   153590      1 |       76 |      190
1469.70/1470.18	c 1468s |      17 |   453890 |   201732 |   153590      1 |       76 |      190
1472.00/1472.41	c 1471s |      17 |   454232 |   201932 |   153590      1 |       76 |      190
1474.20/1474.62	c 1473s |      17 |   456142 |   202532 |   153590      1 |       76 |      190
1476.20/1476.65	c 1475s |      17 |   458252 |   203032 |   153590      1 |       76 |      190
1478.90/1479.32	c 1477s |      17 |   458793 |   203232 |   153590      1 |       76 |      190
1481.80/1482.20	c 1480s |      17 |   459379 |   203432 |   153590      1 |       76 |      190
1485.00/1485.41	c 1484s |      17 |   459808 |   203632 |   153590      1 |       76 |      190
1488.60/1489.08	c 1487s |      17 |   460176 |   203832 |   153590      1 |       76 |      190
1490.90/1491.34	c 1490s |      17 |   460333 |   203932 |   153590      1 |       76 |      190
1494.90/1495.39	c 1494s |      17 |   460711 |   204132 |   153590      1 |       76 |      190
1498.50/1498.98	c 1497s |      17 |   461034 |   204332 |   153590      1 |       76 |      190
1501.00/1501.40	c 1500s |      17 |   461483 |   204532 |   153590      1 |       76 |      190
1503.40/1503.89	c 1502s |      17 |   462376 |   204832 |   153590      1 |       76 |      190
1506.10/1506.54	c 1505s |      17 |   462809 |   205032 |   153590      1 |       76 |      190
1508.20/1508.69	c 1507s |      17 |   463021 |   205132 |   153590      1 |       76 |      190
1511.00/1511.42	c 1510s |      17 |   463472 |   205332 |   153590      1 |       76 |      190
1514.50/1514.92	c 1513s |      17 |   464120 |   205532 |   153590      1 |       76 |      190
1517.49/1517.92	c 1516s |      17 |   465131 |   205832 |   153590      1 |       76 |      190
1519.79/1520.25	c 1518s |      17 |   465300 |   205932 |   153590      1 |       76 |      190
1523.59/1524.09	c 1522s |      17 |   465695 |   206132 |   153590      1 |       76 |      190
1525.89/1526.30	c 1524s |      17 |   466708 |   206532 |   153590      1 |       76 |      190
1528.70/1529.19	c 1527s |      17 |   467478 |   206732 |   153590      1 |       76 |      190
1531.69/1532.12	c 1530s |      17 |   468076 |   207032 |   153590      1 |       76 |      190
1534.79/1535.22	c 1533s |      17 |   468977 |   207332 |   153590      1 |       76 |      190
1536.89/1537.33	c 1535s |      17 |   469413 |   207532 |   153590      1 |       76 |      190
1539.29/1539.79	c 1538s |      17 |   469797 |   207732 |   153590      1 |       76 |      190
1541.39/1541.88	c 1540s |      17 |   470582 |   208032 |   153590      1 |       76 |      190
1544.59/1545.06	c 1543s |      17 |   471260 |   208332 |   153590      1 |       76 |      190
1547.09/1547.50	c 1546s |      17 |   471576 |   208532 |   153590      1 |       76 |      190
1549.19/1549.66	c 1548s |      17 |   472694 |   208932 |   153590      1 |       76 |      190
1551.49/1551.95	c 1550s |      17 |   474277 |   209632 |   153590      1 |       76 |      190
1553.59/1554.00	c 1552s |      17 |   475476 |   210132 |   153590      1 |       76 |      190
1555.79/1556.29	c 1554s |      17 |   476707 |   210732 |   153590      1 |       76 |      190
1558.09/1558.55	c 1557s |      17 |   477389 |   211232 |   153590      1 |       76 |      190
1560.59/1561.01	c 1559s |      17 |   478144 |   211732 |   153590      1 |       76 |      190
1563.49/1563.96	c 1562s |      17 |   479226 |   212232 |   153590      1 |       76 |      190
1566.19/1566.61	c 1565s |      17 |   479666 |   212432 |   153590      1 |       76 |      190
1568.59/1569.03	c 1567s |      17 |   480576 |   212932 |   153590      1 |       76 |      190
1570.69/1571.13	c 1569s |      17 |   481196 |   213332 |   153590      1 |       76 |      190
1572.98/1573.49	c 1572s |      17 |   482076 |   213832 |   153590      1 |       76 |      190
1575.48/1575.92	c 1574s |      17 |   482868 |   214232 |   153590      1 |       76 |      190
1577.68/1578.18	c 1576s |      17 |   483557 |   214632 |   153590      1 |       76 |      190
1580.68/1581.12	c 1579s |      17 |   484568 |   215132 |   153590      1 |       76 |      190
1582.69/1583.17	c 1581s |      17 |   485160 |   215532 |   153590      1 |       76 |      190
1585.58/1586.07	c 1584s |      17 |   485662 |   215832 |   153590      1 |       76 |      190
1588.88/1589.32	c 1587s |      17 |   486087 |   216032 |   153590      1 |       76 |      190
1593.48/1593.90	c 1592s |      17 |   486505 |   216232 |   153590      1 |       76 |      190
1598.78/1599.21	c 1597s |      17 |   486665 |   216332 |   153590      1 |       76 |      190
1605.18/1605.61	c 1604s |      17 |   486837 |   216432 |   153590      1 |       76 |      190
1608.78/1609.24	c 1607s |      17 |   486954 |   216532 |   153590      1 |       76 |      190
1615.38/1615.86	c 1614s |      17 |   487124 |   216632 |   153590      1 |       76 |      190
1618.38/1618.86	c 1617s |      17 |   488033 |   217032 |   153590      1 |       76 |      190
1622.18/1622.63	c 1621s |      17 |   488345 |   217232 |   153590      1 |       76 |      190
1625.78/1626.24	c 1624s |      17 |   488748 |   217432 |   153590      1 |       76 |      190
1628.48/1628.91	c 1627s |      17 |   488885 |   217532 |   153590      1 |       76 |      190
1631.98/1632.41	c 1631s |      17 |   489022 |   217632 |   153590      1 |       76 |      190
1636.08/1636.53	c 1635s |      17 |   489142 |   217732 |   153590      1 |       76 |      190
1638.78/1639.28	c 1637s |      17 |   489372 |   217832 |   153590      1 |       76 |      190
1641.37/1641.83	c 1640s |      17 |   490377 |   218232 |   153590      1 |       76 |      190
1644.28/1644.73	c 1643s |      17 |   491018 |   218532 |   153590      1 |       76 |      190
1647.07/1647.51	c 1646s |      17 |   491330 |   218732 |   153590      1 |       76 |      190
1649.47/1649.90	c 1648s |      17 |   491784 |   218932 |   153590      1 |       76 |      190
1651.57/1652.08	c 1650s |      17 |   492327 |   219232 |   153590      1 |       76 |      190
1653.67/1654.14	c 1652s |      17 |   492735 |   219432 |   153590      1 |       76 |      190
1656.07/1656.53	c 1655s |      17 |   493097 |   219632 |   153590      1 |       76 |      190
1658.48/1658.96	c 1657s |      17 |   493493 |   219832 |   153590      1 |       76 |      190
1661.07/1661.58	c 1660s |      17 |   493834 |   220032 |   153590      1 |       76 |      190
1663.98/1664.49	c 1663s |      17 |   494188 |   220232 |   153590      1 |       76 |      190
1666.07/1666.53	c 1665s |      17 |   494321 |   220332 |   153590      1 |       76 |      190
1668.27/1668.78	c 1667s |      17 |   494818 |   220532 |   153590      1 |       76 |      190
1670.37/1670.87	c 1669s |      17 |   495151 |   220732 |   153590      1 |       76 |      190
1673.48/1673.99	c 1672s |      17 |   495531 |   220932 |   153590      1 |       76 |      190
1676.48/1676.95	c 1675s |      17 |   495970 |   221132 |   153590      1 |       76 |      190
1679.68/1680.13	c 1678s |      17 |   496340 |   221332 |   153590      1 |       76 |      190
1683.48/1683.92	c 1682s |      17 |   496624 |   221532 |   153590      1 |       76 |      190
1685.48/1685.96	c 1684s |      17 |   496777 |   221632 |   153590      1 |       76 |      190
1689.18/1689.60	c 1688s |      17 |   497173 |   221832 |   153590      1 |       76 |      190
1691.48/1691.95	c 1690s |      17 |   497362 |   221932 |   153590      1 |       76 |      190
1693.57/1694.08	c 1692s |      17 |   497558 |   222032 |   153590      1 |       76 |      190
1696.98/1697.42	c 1696s |      17 |   497876 |   222232 |   153590      1 |       76 |      190
1698.97/1699.45	c 1698s |      17 |   498048 |   222332 |   153590      1 |       76 |      190
1700.97/1701.49	c 1700s |      17 |   498197 |   222432 |   153590      1 |       76 |      190
1705.07/1705.58	c 1704s |      17 |   498581 |   222632 |   153590      1 |       76 |      190
1709.08/1709.56	c 1708s |      17 |   498949 |   222832 |   153590      1 |       76 |      190
1711.17/1711.64	c 1710s |      17 |   499090 |   222932 |   153590      1 |       76 |      190
1713.77/1714.26	c 1712s |      17 |   499275 |   223032 |   153590      1 |       76 |      190
1715.97/1716.44	c 1715s |      17 |   499425 |   223132 |   153590      1 |       76 |      190
1719.77/1720.23	c 1718s |      17 |   499878 |   223332 |   153590      1 |       76 |      190
1721.97/1722.47	c 1721s |      17 |   500104 |   223432 |   153590      1 |       76 |      190
1725.68/1726.19	c 1724s |      17 |   500408 |   223632 |   153590      1 |       76 |      190
1729.67/1730.16	c 1728s |      17 |   500785 |   223832 |   153590      1 |       76 |      190
1731.87/1732.32	c 1730s |      17 |   500992 |   223932 |   153590      1 |       76 |      190
1734.27/1734.73	c 1733s |      17 |   501115 |   224032 |   153590      1 |       76 |      190
1736.57/1737.04	c 1735s |      17 |   501249 |   224132 |   153590      1 |       76 |      190
1739.27/1739.70	c 1738s |      17 |   501418 |   224232 |   153590      1 |       76 |      190
1742.77/1743.25	c 1741s |      17 |   501749 |   224432 |   153590      1 |       76 |      190
1745.07/1745.59	c 1744s |      17 |   501917 |   224532 |   153590      1 |       76 |      190
1749.27/1749.72	c 1748s |      17 |   502235 |   224732 |   153590      1 |       76 |      190
1751.36/1751.83	c 1750s |      17 |   502391 |   224832 |   153590      1 |       76 |      190
1753.86/1754.39	c 1753s |      17 |   502562 |   224932 |   153590      1 |       76 |      190
1755.96/1756.44	c 1755s |      17 |   502722 |   225032 |   153590      1 |       76 |      190
1758.46/1758.90	c 1757s |      17 |   502849 |   225132 |   153590      1 |       76 |      190
1762.66/1763.14	c 1761s |      17 |   503163 |   225332 |   153590      1 |       76 |      190
1764.96/1765.40	c 1764s |      17 |   503311 |   225432 |   153590      1 |       76 |      190
1767.26/1767.79	c 1766s |      17 |   503455 |   225532 |   153590      1 |       76 |      190
1769.46/1769.93	c 1768s |      17 |   503587 |   225632 |   153590      1 |       76 |      190
1771.56/1772.08	c 1770s |      17 |   503778 |   225732 |   153590      1 |       76 |      190
1775.56/1776.09	c 1774s |      17 |   504127 |   225932 |   153590      1 |       76 |      190
1777.76/1778.23	c 1776s |      17 |   504276 |   226032 |   153590      1 |       76 |      190
1780.06/1780.52	c 1779s |      17 |   504390 |   226132 |   153590      1 |       76 |      190
1782.56/1783.08	c 1781s |      17 |   504508 |   226232 |   153590      1 |       76 |      190
1785.07/1785.51	c 1784s |      17 |   504638 |   226332 |   153590      1 |       76 |      190
1787.36/1787.88	c 1786s |      17 |   504782 |   226432 |   153590      1 |       76 |      190
1790.16/1790.60	c 1789s |      17 |   504908 |   226532 |   153590      1 |       76 |      190
1792.67/1793.14	c 1791s |      17 |   505041 |   226632 |   153590      1 |       76 |      190
1795.16/1795.68	c 1794s |      17 |   505164 |   226732 |   153590      1 |       76 |      190
1797.86/1798.37	c 1797s |      17 |   505290 |   226832 |   153590      1 |       76 |      190

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

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

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


[startup+0 s]
/proc/loadavg: 1.24 0.48 0.25 4/179 15502
/proc/meminfo: memFree=29643428/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 2925 0 0 0 0 0 0 0 20 0 4 0 22661166 800518144 3285 33554432000 4194304 16246674 140736661519360 140736661518784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 195951 3294 441 2943 0 192845 0
[pid=15502/tid=15503] ppid=15499 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 819392512 3356 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 823586816 3373 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22661166 827781120 3387 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.24 0.48 0.25 4/179 15502
/proc/meminfo: memFree=29643428/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 26255 0 0 0 6 3 0 0 20 0 4 0 22661166 1333334016 26553 33554432000 4194304 16246674 140736661519360 140736661518672 7376282 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 325521 26567 800 2943 0 322415 0
[pid=15502/tid=15503] ppid=15499 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1333334016 26578 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1333334016 26589 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1333334016 26599 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200602 s]
/proc/loadavg: 1.24 0.48 0.25 4/179 15502
/proc/meminfo: memFree=29643428/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 45057 0 0 0 14 5 0 0 20 0 4 0 22661166 1344868352 45866 33554432000 4194304 16246674 140736661519360 140736661518672 7378241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 328337 45866 801 2943 0 325231 0
[pid=15502/tid=15503] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 45866 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 45866 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 45866 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300545 s]
/proc/loadavg: 1.24 0.48 0.25 4/179 15502
/proc/meminfo: memFree=29643428/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 59293 0 0 0 22 7 0 0 20 0 4 0 22661166 1344868352 60102 33554432000 4194304 16246674 140736661519360 140736661518672 7440236 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 328337 60102 801 2943 0 325231 0
[pid=15502/tid=15503] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 60102 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 60102 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 60102 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700406 s]
/proc/loadavg: 1.24 0.48 0.25 4/179 15502
/proc/meminfo: memFree=29643428/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 77750 0 0 0 59 10 0 0 20 0 4 0 22661166 1344868352 78559 33554432000 4194304 16246674 140736661519360 140736661518672 6756338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 328337 78568 835 2943 0 325231 0
[pid=15502/tid=15503] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 78573 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 78579 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 78584 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 1.24 0.48 0.25 4/183 15506
/proc/meminfo: memFree=29042612/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 217445 0 0 0 117 32 0 0 20 0 4 0 22661166 1344868352 218255 33554432000 4194304 16246674 140736661519360 140736661501248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 328337 218261 884 2943 0 325231 0
[pid=15502/tid=15503] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 218264 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 218268 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1344868352 218271 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 1.24 0.48 0.25 3/183 15506
/proc/meminfo: memFree=28516232/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1356356 CPUtime=3.09 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 279661 0 0 0 268 41 0 0 20 0 4 0 22661166 1388908544 280470 33554432000 4194304 16246674 140736661519360 140736661501248 5677537 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 339089 280470 887 2943 0 335983 0
[pid=15502/tid=15503] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280470 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280470 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280470 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1356356

[startup+6.30041 s]
/proc/loadavg: 1.30 0.51 0.26 3/183 15506
/proc/meminfo: memFree=28513896/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1356356 CPUtime=6.29 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 279765 0 0 0 588 41 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140736661501248 5824528 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 339089 280574 890 2943 0 335983 0
[pid=15502/tid=15503] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1356356

[startup+12.7004 s]
/proc/loadavg: 1.35 0.53 0.27 4/183 15555
/proc/meminfo: memFree=28530456/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1356356 CPUtime=12.69 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 279765 0 0 0 1228 41 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140736661501248 5666300 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 339089 280574 890 2943 0 335983 0
[pid=15502/tid=15503] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1356356

[startup+25.5074 s]
/proc/loadavg: 1.57 0.62 0.30 3/183 15604
/proc/meminfo: memFree=28427684/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1356356 CPUtime=25.49 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 279765 0 0 0 2508 41 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140736661501248 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 339089 280574 890 2943 0 335983 0
[pid=15502/tid=15503] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280574 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1356356

[startup+51.1004 s]
/proc/loadavg: 1.72 0.73 0.35 3/183 15604
/proc/meminfo: memFree=28427968/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1356356 CPUtime=51.08 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 279767 0 0 0 5067 41 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140736661518536 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 339089 280576 891 2943 0 335983 0
[pid=15502/tid=15503] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1356356

[startup+102.3 s]
/proc/loadavg: 1.92 0.94 0.44 3/184 15608
/proc/meminfo: memFree=28427888/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1356356 CPUtime=102.27 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 279767 0 0 0 10186 41 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140736661501248 12483215 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 339089 280576 891 2943 0 335983 0
[pid=15502/tid=15503] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1388908544 280576 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1356356


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

/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1370692

[startup+1302.3 s]
/proc/loadavg: 2.48 2.23 1.70 3/184 15639
/proc/meminfo: memFree=28192272/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1301.93 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 130148 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1370692

[startup+1362.3 s]
/proc/loadavg: 2.25 2.22 1.73 3/182 15640
/proc/meminfo: memFree=28192056/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1361.92 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 136147 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1370692

[startup+1422.3 s]
/proc/loadavg: 2.35 2.25 1.77 3/183 15642
/proc/meminfo: memFree=28191992/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1421.91 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 142146 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 12483314 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1370692

[startup+1482.3 s]
/proc/loadavg: 2.27 2.25 1.80 3/183 15643
/proc/meminfo: memFree=28191992/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1481.9 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 148145 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 12477813 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1370692

[startup+1542.3 s]
/proc/loadavg: 2.18 2.23 1.82 3/183 15644
/proc/meminfo: memFree=28191320/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1541.9 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 154145 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1370692

[startup+1602.3 s]
/proc/loadavg: 2.28 2.24 1.85 3/183 15645
/proc/meminfo: memFree=28191496/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1601.88 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 160143 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1370692

[startup+1662.31 s]
/proc/loadavg: 2.26 2.24 1.87 3/183 15646
/proc/meminfo: memFree=28192028/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1661.88 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 166143 45 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1370692

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 1.88 3/183 15648
/proc/meminfo: memFree=28192472/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1721.87 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 172141 46 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1370692

[startup+1782.3 s]
/proc/loadavg: 2.36 2.27 1.92 3/183 15649
/proc/meminfo: memFree=28192356/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1781.86 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 178140 46 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1370692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.34 2.27 1.93 3/183 15649
/proc/meminfo: memFree=28192236/32872528 swapFree=1191052/1305516
[pid=15502] ppid=15499 vsize=1370692 CPUtime=1800.06 cores=0,2,4,6
/proc/15502/stat : 15502 (toysat) R 15499 15502 14522 0 -1 4202496 283658 0 0 0 179960 46 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140736661501248 12477807 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15502/statm: 342673 284161 892 2943 0 339567 0
[pid=15502/tid=15503] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15503/stat : 15503 (toysat) S 15499 15502 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705922002160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=15502/tid=15504] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15504/stat : 15504 (toysat) S 15499 15502 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705911512304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=15502/tid=15505] ppid=15499 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/15502/task/15505/stat : 15505 (toysat) S 15499 15502 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661166 1403588608 284161 33554432000 4194304 16246674 140736661519360 140705901038768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1370692

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.61
CPU system time (s): 0.461929
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1370692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.461929
maximum resident set size= 1136644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283658
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= 325
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7212 second user time and 17.6463 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 01:29:05
IDJOB=4099592
IDBENCH=1449
IDSOLVER=2542
FILE ID=node127/4099592-1466206145
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099592-1466206145/watcher-4099592-1466206145 -o /tmp/evaluation-result-4099592-1466206145/solver-4099592-1466206145 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099592-1466206145.opb

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

MD5SUM BENCH= 9d22902ade96af236e70cdbf7d8bd853
RANDOM SEED=707165625

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29643328 kB
Buffers:           40776 kB
Cached:           100756 kB
SwapCached:          520 kB
Active:          1157112 kB
Inactive:          58996 kB
Active(anon):    1075724 kB
Inactive(anon):      816 kB
Active(file):      81388 kB
Inactive(file):    58180 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100220 kB
Dirty:             35192 kB
Writeback:             0 kB
AnonPages:       2383236 kB
Mapped:            10288 kB
Shmem:                 0 kB
Slab:             572960 kB
SReclaimable:      16520 kB
SUnreclaim:       556440 kB
KernelStack:        1520 kB
PageTables:         8912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2524424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71684 MiB
End job on node127 at 2016-06-18 01:59:06