0.00/0.00	c 2016-06-07T07:25:29+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-4078841-1465277129.opb"]
0.00/0.01	c use --random-gen="883627510 1934324982 220794338 3065431064 2781744561 1368739888 3818858820 3502405774 4141217476 3800403 2612817826 1805977662 491017618 695102129 1141484128 3450367401 1738814251 1806369308 2048572336 1366931057 1113118956 2164885921 3441037262 1343337439 1009627227 1099463621 1975713404 2105347273 1165235855 3492608819 1057538581 693501976 1779892212 2271984468 4174504899 2387087317 610738996 2595420308 2627973298 1084906485 506207228 2077216492 907256228 2715941583 2701116014 1399052789 3415971616 324721995 1263967361 616017341 1369781786 3567575336 1310731920 3239151455 654659160 3397473412 879874288 1000567982 207602012 3138445430 1021268847 1055100256 3043533211 3209499472 847864728 111939266 525785157 382722091 2327667086 4164613589 2290975035 2869680040 2904556337 2445984890 4205334024 733040798 2172095524 1705264623 964599290 3027665875 265297753 819721370 1323114084 1504498915 3343139520 830685709 1449165995 40571255 3090138006 691416236 1184238521 1190931315 634790803 319918746 5255853 3025002587 1523783436 3571235887 4293789469 2103191085 1568960571 1105716486 243385213 844860859 482279679 801231669 2119110743 1652227829 515421071 3949150979 1564072056 2882583410 581725131 1287227687 2497631910 946832289 1590365855 4098022287 3347720753 742430516 769861854 3646972245 1328482795 2302299448 629148697 1960211297 3784722924 2910675089 1643038252 618039804 3753326896 1792301635 3855427652 2651672527 164589134 1832532385 3253161135 4156188115 2502758677 1236118430 2733659382 1157147444 1676981113 3677270449 3002162724 1407320106 711041197 1155269459 1306943603 4193236587 4001445519 3816141807 1710130571 2005584914 2457554367 4066617942 2733937461 2894147959 2442390015 644932758 2457352064 1525700933 2209813841 503152240 1871499958 3769912916 2099861379 1357584165 3441936746 761869670 2937660052 1102326398 4209536158 2244719972 4063494251 1674420710 445657018 1347836011 1517152188 3736295433 125272849 1925926961 4174874220 1381786106 1567367086 2313085599 500539099 1771738609 981740118 868525584 533786688 2038853438 2541750730 2772577565 2189360228 2303640146 2699142578 3750271997 4057362517 64910878 21710902 3250499274 163802355 3780987446 3384002230 3077903272 2024893335 1257165984 1352363882 2857654200 196091879 810957337 3840351071 2495916377 4227006481 3425184311 925567125 366796429 2886418956 1585432107 2289504089 289159210 3442021039 2518882337 2675669230 3731069706 3311825517 4099392112 2112556097 2196043960 1768213284 1061149841 1773874783 963620460 1880199778 1851579331 2462259484 625043456 1267634099 2782564943 2813964442 370770915 1875582282 1537739629 1385167002 618705266 72806213 3045602313 330262120 2980689539 531834674 17175628 3450522590 1059253534 2640498986 3758654548 255 362436" option to reproduce the execution
0.00/0.02	c #vars 600
0.00/0.02	c #constraints 830
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      481      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      199 |      100 |      481      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      552 |      250 |      530      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |     1063 |      475 |      583      0 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1631 |      813 |      642      0 |        0 |        0
0.18/0.24	c  0.2s |       5 |     2402 |     1320 |      707      1 |        0 |        0
0.38/0.47	c  0.4s |       6 |     3509 |     2081 |      856      3 |        0 |        0
0.79/0.82	c  0.8s |       7 |     5248 |     3223 |      942      5 |        0 |        0
1.20/1.22	c  1.2s |       8 |     7615 |     4936 |     1037      8 |        0 |        0
1.79/1.89	c  1.9s |       9 |    10907 |     7506 |     1141     12 |        0 |        0
2.89/2.99	c  3.0s |      10 |    16426 |    11361 |     1256     18 |        0 |        0
4.79/4.82	c  4.8s |      11 |    23741 |    17144 |     1382     27 |        0 |        0
6.79/6.84	c  6.8s |      11 |    32086 |    23844 |     1382     36 |        0 |        0
7.39/7.48	c  7.5s |      12 |    34409 |    25819 |     1521     38 |        0 |        0
9.38/9.50	c  9.5s |      12 |    43010 |    32619 |     1521     47 |        0 |        0
11.38/11.44	c 11.4s |      13 |    50533 |    38832 |     1674     54 |        0 |        0
13.38/13.45	c 13.4s |      13 |    58217 |    45132 |     1674     61 |        0 |        0
15.40/15.47	c 15.4s |      13 |    65014 |    50932 |     1674     68 |        0 |        0
17.39/17.49	c 17.5s |      13 |    72048 |    56932 |     1674     74 |        0 |        0
17.89/17.98	c 17.9s |      14 |    73663 |    58352 |     1842     76 |        0 |        0
19.99/20.00	c 20.0s |      14 |    81377 |    64552 |     1842     82 |        0 |        0
22.00/22.01	c 22.0s |      14 |    88475 |    70452 |     1842     88 |        0 |        0
23.99/24.04	c 24.0s |      14 |    96150 |    76452 |     1842     94 |        0 |        0
25.99/26.06	c 26.0s |      14 |   103320 |    82152 |     1842    100 |        0 |        0
27.89/27.94	c 27.9s |      15 |   110112 |    87632 |     2027    106 |        0 |        0
29.89/29.94	c 29.9s |      15 |   117493 |    93432 |     2027    111 |        0 |        0
31.90/31.95	c 31.9s |      15 |   124530 |    99032 |     2027    116 |        0 |        0
33.89/33.97	c 33.9s |      15 |   131481 |   104632 |     2027    121 |        0 |        0
35.89/35.97	c 35.9s |      15 |   138035 |   110132 |     2027    126 |        0 |        0
37.99/38.00	c 38.0s |      15 |   145108 |   115632 |     2027    132 |        0 |        0
39.99/40.01	c 40.0s |      15 |   152043 |   121232 |     2027    137 |        0 |        0
41.99/42.04	c 42.0s |      15 |   158803 |   126632 |     2027    142 |        0 |        0
43.79/43.81	c 43.8s |      16 |   164783 |   131552 |     2230    146 |        0 |        0
45.79/45.82	c 45.8s |      16 |   172909 |   137852 |     2230    152 |        0 |        0
47.79/47.84	c 47.8s |      16 |   180227 |   143652 |     2230    157 |        0 |        0
49.79/49.85	c 49.8s |      16 |   186936 |   149152 |     2230    162 |        0 |        0
51.79/51.89	c 51.9s |      16 |   193911 |   154852 |     2230    167 |        0 |        0
53.79/53.90	c 53.9s |      16 |   200569 |   160152 |     2230    171 |        0 |        0
55.89/55.92	c 55.9s |      16 |   207409 |   165552 |     2230    176 |        0 |        0
57.88/57.96	c 57.9s |      16 |   214575 |   171252 |     2230    181 |        0 |        0
59.88/59.97	c 59.9s |      16 |   221539 |   176752 |     2230    185 |        0 |        0
61.98/62.00	c 62.0s |      16 |   228703 |   182552 |     2230    190 |        0 |        0
63.98/64.01	c 64.0s |      16 |   235581 |   188152 |     2230    195 |        0 |        0
65.99/66.02	c 66.0s |      16 |   242093 |   193652 |     2230    200 |        0 |        0
67.28/67.39	c 67.4s |      17 |   246801 |   197432 |     2453    203 |        0 |        0
69.29/69.40	c 69.4s |      17 |   253698 |   202932 |     2453    207 |        0 |        0
71.38/71.43	c 71.4s |      17 |   260104 |   208132 |     2453    211 |        0 |        0
73.38/73.44	c 73.4s |      17 |   266670 |   213432 |     2453    215 |        0 |        0
75.38/75.47	c 75.4s |      17 |   273360 |   218732 |     2453    220 |        0 |        0
77.38/77.49	c 77.5s |      17 |   279979 |   224032 |     2453    224 |        0 |        0
79.48/79.51	c 79.5s |      17 |   286409 |   229332 |     2453    228 |        0 |        0
81.48/81.52	c 81.5s |      17 |   293023 |   234632 |     2453    232 |        0 |        0
83.48/83.54	c 83.5s |      17 |   299268 |   239832 |     2453    236 |        0 |        0
85.48/85.55	c 85.5s |      17 |   305634 |   245132 |     2453    240 |        0 |        0
87.57/87.60	c 87.6s |      17 |   312195 |   250532 |     2453    245 |        0 |        0
89.57/89.61	c 89.6s |      17 |   318295 |   255732 |     2453    249 |        0 |        0
91.57/91.62	c 91.6s |      17 |   325182 |   261232 |     2453    253 |        0 |        0
93.58/93.64	c 93.6s |      17 |   331540 |   266532 |     2453    257 |        0 |        0
95.57/95.67	c 95.6s |      17 |   337723 |   271732 |     2453    261 |        0 |        0
97.57/97.68	c 97.6s |      17 |   343948 |   276932 |     2453    265 |        0 |        0
99.67/99.71	c 99.7s |      17 |   350160 |   282132 |     2453    269 |        0 |        0
101.67/101.73	c  101s |      17 |   356755 |   287532 |     2453    273 |        0 |        0
103.66/103.75	c  103s |      17 |   363220 |   292832 |     2453    278 |        0 |        0
104.96/105.03	c  104s |      18 |   367546 |   296252 |     2699    280 |        0 |        0
106.96/107.03	c  107s |      18 |   374445 |   301552 |     2699    284 |        0 |        0
108.97/109.04	c  109s |      18 |   380517 |   306252 |     2699    287 |        0 |        0
110.96/111.07	c  111s |      18 |   386834 |   311352 |     2699    291 |        0 |        0
112.96/113.08	c  113s |      18 |   392489 |   315952 |     2699    294 |        0 |        0
114.96/115.08	c  115s |      18 |   398450 |   320752 |     2699    298 |        0 |        0
117.06/117.10	c  117s |      18 |   404459 |   325652 |     2699    301 |        0 |        0
119.06/119.13	c  119s |      18 |   410581 |   330652 |     2699    305 |        0 |        0
121.06/121.15	c  121s |      18 |   416633 |   335752 |     2699    308 |        0 |        0
123.06/123.15	c  123s |      18 |   422279 |   340552 |     2699    312 |        0 |        0
125.06/125.15	c  125s |      18 |   428040 |   345352 |     2699    315 |        0 |        0
127.06/127.16	c  127s |      18 |   433623 |   350052 |     2699    318 |        0 |        0
129.06/129.19	c  129s |      18 |   439241 |   354852 |     2699    322 |        0 |        0
131.16/131.22	c  131s |      18 |   445102 |   359652 |     2699    325 |        0 |        0
133.16/133.22	c  133s |      18 |   450558 |   364152 |     2699    329 |        0 |        0
135.15/135.25	c  135s |      18 |   456205 |   368852 |     2699    332 |        0 |        0
137.15/137.27	c  137s |      18 |   462340 |   373752 |     2699    335 |        0 |        0
139.15/139.28	c  139s |      18 |   467997 |   378352 |     2699    339 |        0 |        0
141.15/141.29	c  141s |      18 |   473986 |   383152 |     2699    342 |        0 |        0
143.25/143.31	c  143s |      18 |   479697 |   387852 |     2699    346 |        0 |        0
145.25/145.34	c  145s |      18 |   485897 |   392952 |     2699    349 |        0 |        0
147.25/147.37	c  147s |      18 |   491885 |   397752 |     2699    353 |        0 |        0
149.25/149.38	c  149s |      18 |   497769 |   402652 |     2699    356 |        0 |        0
151.35/151.41	c  151s |      18 |   503590 |   407452 |     2699    360 |        0 |        0
153.34/153.44	c  153s |      18 |   509260 |   412052 |     2699    363 |        0 |        0
155.34/155.47	c  155s |      18 |   515185 |   416752 |     2699    366 |        0 |        0
157.44/157.50	c  157s |      18 |   521708 |   421952 |     2699    370 |        0 |        0
159.45/159.53	c  159s |      18 |   528038 |   426952 |     2699    373 |        0 |        0
161.44/161.53	c  161s |      18 |   534684 |   432252 |     2699    377 |        0 |        0
163.45/163.57	c  163s |      18 |   540740 |   437152 |     2699    381 |        0 |        0
165.45/165.58	c  165s |      18 |   546691 |   442052 |     2969    384 |        0 |        0
166.55/166.60	c  166s |      19 |   549605 |   444482 |     2969    386 |        0 |        0
168.55/168.63	c  168s |      19 |   556204 |   449682 |     2969    389 |        0 |        0
170.55/170.64	c  170s |      19 |   562199 |   454482 |     2969    392 |        0 |        0
172.54/172.65	c  172s |      19 |   568082 |   459282 |     2969    395 |        0 |        0
174.54/174.67	c  174s |      19 |   574435 |   464382 |     2969    399 |        0 |        0
176.64/176.71	c  176s |      19 |   580390 |   469182 |     2969    402 |        0 |        0
178.64/178.72	c  178s |      19 |   586050 |   473782 |     2969    405 |        0 |        0
180.64/180.75	c  180s |      19 |   592515 |   478882 |     2969    408 |        0 |        0
182.64/182.79	c  182s |      19 |   598238 |   483682 |     2969    411 |        0 |        0
184.74/184.82	c  184s |      19 |   603739 |   488182 |     2969    414 |        0 |        0
186.74/186.84	c  186s |      19 |   609770 |   492882 |     2969    417 |        0 |        0
188.74/188.85	c  188s |      19 |   615266 |   497282 |     2969    420 |        0 |        0
190.74/190.89	c  190s |      19 |   620821 |   501882 |     2969    423 |        0 |        0
192.83/192.92	c  192s |      19 |   626867 |   506782 |     2969    426 |        0 |        0
194.83/194.96	c  194s |      19 |   633668 |   512282 |     2969    430 |        0 |        0
196.84/197.00	c  196s |      19 |   639844 |   517382 |     2969    433 |        0 |        0
198.93/199.00	c  198s |      19 |   645492 |   522082 |     2969    436 |        0 |        0
200.93/201.01	c  200s |      19 |   651081 |   526882 |     2969    439 |        0 |        0
202.92/203.03	c  202s |      19 |   657012 |   531782 |     2969    443 |        0 |        0
204.92/205.06	c  205s |      19 |   663184 |   536882 |     2969    446 |        0 |        0
206.92/207.07	c  207s |      19 |   669457 |   542082 |     2969    449 |        0 |        0
208.93/209.09	c  209s |      19 |   675498 |   547082 |     2969    453 |        0 |        0
211.02/211.11	c  211s |      19 |   681519 |   551982 |     2969    456 |        0 |        0
213.02/213.11	c  213s |      19 |   688247 |   557282 |     2969    459 |        0 |        0
215.02/215.14	c  215s |      19 |   695433 |   562882 |     2969    463 |        0 |        0
217.02/217.18	c  217s |      19 |   702008 |   568282 |     2969    466 |        0 |        0
219.02/219.19	c  219s |      19 |   708316 |   573382 |     2969    470 |        0 |        0
221.12/221.21	c  221s |      19 |   714283 |   578282 |     2969    473 |        0 |        0
223.11/223.22	c  223s |      19 |   720730 |   583482 |     2969    476 |        0 |        0
225.11/225.23	c  225s |      19 |   727571 |   588882 |     2969    480 |        0 |        0
227.11/227.24	c  227s |      19 |   733822 |   594082 |     2969    483 |        0 |        0
229.11/229.25	c  229s |      19 |   739765 |   598882 |     2969    486 |        0 |        0
231.11/231.28	c  231s |      19 |   745736 |   603782 |     2969    490 |        0 |        0
233.22/233.31	c  233s |      19 |   752006 |   608882 |     2969    493 |        0 |        0
235.21/235.32	c  235s |      19 |   758010 |   613882 |     2969    496 |        0 |        0
237.21/237.33	c  237s |      19 |   764157 |   618782 |     2969    499 |        0 |        0
239.21/239.33	c  239s |      19 |   770553 |   623982 |     2969    503 |        0 |        0
241.21/241.37	c  241s |      19 |   777272 |   629282 |     2969    506 |        0 |        0
243.20/243.37	c  243s |      19 |   783524 |   634382 |     2969    509 |        0 |        0
245.21/245.38	c  245s |      19 |   790395 |   639882 |     2969    513 |        0 |        0
247.20/247.39	c  247s |      19 |   796690 |   644982 |     2969    516 |        0 |        0
249.20/249.40	c  249s |      19 |   802928 |   650082 |     2969    520 |        0 |        0
251.30/251.43	c  251s |      19 |   808911 |   655082 |     2969    523 |        0 |        0
253.29/253.43	c  253s |      19 |   814222 |   659682 |     2969    526 |        0 |        0
255.29/255.44	c  255s |      19 |   819391 |   664182 |     3266    529 |        0 |        0
256.49/256.64	c  256s |      20 |   822447 |   666827 |     3266    530 |        0 |        0
258.50/258.66	c  258s |      20 |   829415 |   672227 |     3266    533 |        0 |        0
260.49/260.68	c  260s |      20 |   835045 |   676827 |     3266    536 |        0 |        0
262.49/262.68	c  262s |      20 |   840691 |   681427 |     3266    539 |        0 |        0
264.49/264.69	c  264s |      20 |   846046 |   685927 |     3266    541 |        0 |        0
266.59/266.70	c  266s |      20 |   851646 |   690527 |     3266    544 |        0 |        0
268.59/268.71	c  268s |      20 |   856985 |   695127 |     3266    547 |        0 |        0
270.59/270.74	c  270s |      20 |   862562 |   699727 |     3266    550 |        0 |        0
272.58/272.75	c  272s |      20 |   867996 |   704227 |     3266    552 |        0 |        0
274.58/274.76	c  274s |      20 |   873801 |   709127 |     3266    555 |        0 |        0
276.58/276.79	c  276s |      20 |   879562 |   713927 |     3266    558 |        0 |        0
278.68/278.83	c  278s |      20 |   885428 |   718827 |     3266    561 |        0 |        0
280.68/280.83	c  280s |      20 |   891120 |   723527 |     3266    564 |        0 |        0
282.69/282.84	c  282s |      20 |   897108 |   728427 |     3266    567 |        0 |        0
284.69/284.88	c  284s |      20 |   902966 |   733227 |     3266    570 |        0 |        0
286.69/286.89	c  286s |      20 |   908656 |   737827 |     3266    572 |        0 |        0
288.79/288.93	c  288s |      20 |   914259 |   742527 |     3266    575 |        0 |        0
290.78/290.95	c  290s |      20 |   919757 |   747227 |     3266    578 |        0 |        0
292.78/292.97	c  292s |      20 |   925399 |   751927 |     3266    581 |        0 |        0
294.79/294.98	c  294s |      20 |   931194 |   756727 |     3266    583 |        0 |        0
296.78/296.99	c  296s |      20 |   936658 |   761327 |     3266    586 |        0 |        0
298.88/299.01	c  298s |      20 |   942115 |   766027 |     3266    589 |        0 |        0
300.88/301.04	c  301s |      20 |   947767 |   770727 |     3266    592 |        0 |        0
302.87/303.08	c  303s |      20 |   953191 |   775327 |     3266    595 |        0 |        0
304.97/305.10	c  305s |      20 |   958812 |   780027 |     3266    597 |        0 |        0
306.97/307.13	c  307s |      20 |   964621 |   784727 |     3266    600 |        0 |        0
308.98/309.17	c  309s |      20 |   970107 |   789327 |     3266    603 |        0 |        0
310.97/311.18	c  311s |      20 |   975683 |   794027 |     3266    606 |        0 |        0
313.07/313.20	c  313s |      20 |   981371 |   798627 |     3266    608 |        0 |        0
315.07/315.24	c  315s |      20 |   986846 |   803327 |     3266    611 |        0 |        0
317.07/317.25	c  317s |      20 |   992385 |   807927 |     3266    614 |        0 |        0
319.07/319.29	c  319s |      20 |   997600 |   812427 |     3266    617 |        0 |        0
321.07/321.30	c  321s |      20 |  1002713 |   816927 |     3266    619 |        0 |        0
323.16/323.33	c  323s |      20 |  1008013 |   821427 |     3266    622 |        0 |        0
325.16/325.36	c  325s |      20 |  1013690 |   826227 |     3266    625 |        0 |        0
327.16/327.36	c  327s |      20 |  1018928 |   830827 |     3266    628 |        0 |        0
329.16/329.37	c  329s |      20 |  1024319 |   835427 |     3266    630 |        0 |        0
331.26/331.42	c  331s |      20 |  1029706 |   840027 |     3266    633 |        0 |        0
333.26/333.45	c  333s |      20 |  1034872 |   844427 |     3266    636 |        0 |        0
335.26/335.47	c  335s |      20 |  1040672 |   849227 |     3266    638 |        0 |        0
337.25/337.48	c  337s |      20 |  1046423 |   854027 |     3266    641 |        0 |        0
339.35/339.50	c  339s |      20 |  1052111 |   858727 |     3266    644 |        0 |        0
341.35/341.50	c  341s |      20 |  1057689 |   863427 |     3266    647 |        0 |        0
343.35/343.54	c  343s |      20 |  1063038 |   867927 |     3266    650 |        0 |        0
345.36/345.57	c  345s |      20 |  1068602 |   872627 |     3266    652 |        0 |        0
347.35/347.59	c  347s |      20 |  1074753 |   877627 |     3266    655 |        0 |        0
349.35/349.59	c  349s |      20 |  1080660 |   882427 |     3266    658 |        0 |        0
351.46/351.62	c  351s |      20 |  1086200 |   887127 |     3266    661 |        0 |        0
353.45/353.63	c  353s |      20 |  1091824 |   891827 |     3266    664 |        0 |        0
355.45/355.67	c  355s |      20 |  1097492 |   896527 |     3266    666 |        0 |        0
357.55/357.70	c  357s |      20 |  1103065 |   901227 |     3266    669 |        0 |        0
359.56/359.73	c  359s |      20 |  1108727 |   906027 |     3266    672 |        0 |        0
361.55/361.77	c  361s |      20 |  1114556 |   910927 |     3266    675 |        0 |        0
363.55/363.77	c  363s |      20 |  1120133 |   915627 |     3266    678 |        0 |        0
365.65/365.80	c  365s |      20 |  1125911 |   920527 |     3266    681 |        0 |        0
367.65/367.81	c  367s |      20 |  1131237 |   925027 |     3266    683 |        0 |        0
369.65/369.84	c  369s |      20 |  1136946 |   929727 |     3266    686 |        0 |        0
371.65/371.86	c  371s |      20 |  1142167 |   934227 |     3266    689 |        0 |        0
373.64/373.87	c  373s |      20 |  1148118 |   939127 |     3266    692 |        0 |        0
375.64/375.88	c  375s |      20 |  1153899 |   943627 |     3266    695 |        0 |        0
377.74/377.91	c  377s |      20 |  1159613 |   948127 |     3266    697 |        0 |        0
379.74/379.93	c  379s |      20 |  1165510 |   952727 |     3266    700 |        0 |        0
381.74/381.96	c  381s |      20 |  1171013 |   957227 |     3266    703 |        0 |        0
383.74/383.96	c  383s |      20 |  1176700 |   961827 |     3266    705 |        0 |        0
385.74/385.98	c  385s |      20 |  1182029 |   966327 |     3266    708 |        0 |        0
387.74/387.99	c  387s |      20 |  1187515 |   970927 |     3266    711 |        0 |        0
389.84/390.02	c  389s |      20 |  1193146 |   975527 |     3266    713 |        0 |        0
391.84/392.02	c  391s |      20 |  1198453 |   979927 |     3266    716 |        0 |        0
393.83/394.06	c  394s |      20 |  1203928 |   984527 |     3266    719 |        0 |        0
395.84/396.09	c  396s |      20 |  1209365 |   989027 |     3266    722 |        0 |        0
397.93/398.10	c  398s |      20 |  1214365 |   993427 |     3593    724 |        0 |        0
399.93/400.14	c  400s |      20 |  1219348 |   997727 |     3593    726 |        0 |        0
401.13/401.34	c  401s |      21 |  1222552 |  1000345 |     3593    728 |        0 |        0
403.13/403.38	c  403s |      21 |  1228182 |  1005145 |     3593    730 |        0 |        0
405.13/405.38	c  405s |      21 |  1233695 |  1009845 |     3593    733 |        0 |        0
407.23/407.40	c  407s |      21 |  1238924 |  1014445 |     3593    735 |        0 |        0
409.22/409.41	c  409s |      21 |  1244218 |  1019045 |     3593    738 |        0 |        0
411.23/411.43	c  411s |      21 |  1249318 |  1023545 |     3593    740 |        0 |        0
413.22/413.44	c  413s |      21 |  1254462 |  1028045 |     3593    743 |        0 |        0
415.22/415.45	c  415s |      21 |  1260544 |  1033045 |     3593    745 |        0 |        0
417.22/417.49	c  417s |      21 |  1266658 |  1038045 |     3593    748 |        0 |        0
419.32/419.51	c  419s |      21 |  1272186 |  1042645 |     3593    750 |        0 |        0
421.32/421.54	c  421s |      21 |  1278168 |  1047545 |     3593    753 |        0 |        0
423.32/423.56	c  423s |      21 |  1283563 |  1052145 |     3593    756 |        0 |        0
425.31/425.57	c  425s |      21 |  1289103 |  1056945 |     3593    758 |        0 |        0
427.41/427.61	c  427s |      21 |  1294581 |  1061745 |     3593    761 |        0 |        0
429.41/429.63	c  429s |      21 |  1300164 |  1066445 |     3593    763 |        0 |        0
431.41/431.65	c  431s |      21 |  1305503 |  1070945 |     3593    766 |        0 |        0
433.40/433.67	c  433s |      21 |  1310658 |  1075445 |     3593    768 |        0 |        0
435.41/435.70	c  435s |      21 |  1316346 |  1080345 |     3593    771 |        0 |        0
437.50/437.73	c  437s |      21 |  1321604 |  1084945 |     3593    773 |        0 |        0
439.50/439.75	c  439s |      21 |  1327030 |  1089545 |     3593    776 |        0 |        0
441.50/441.78	c  441s |      21 |  1332793 |  1094345 |     3593    778 |        0 |        0
443.60/443.82	c  443s |      21 |  1338113 |  1098945 |     3593    781 |        0 |        0
445.60/445.86	c  445s |      21 |  1343328 |  1103445 |     3593    783 |        0 |        0
447.61/447.87	c  447s |      21 |  1348548 |  1107845 |     3593    786 |        0 |        0
449.60/449.89	c  449s |      21 |  1353971 |  1112345 |     3593    788 |        0 |        0
451.70/451.93	c  451s |      21 |  1359477 |  1117045 |     3593    791 |        0 |        0
453.69/453.97	c  453s |      21 |  1365105 |  1121845 |     3593    793 |        0 |        0
455.69/455.98	c  455s |      21 |  1370304 |  1126345 |     3593    796 |        0 |        0
457.79/458.00	c  457s |      21 |  1375373 |  1130845 |     3593    798 |        0 |        0
459.79/460.04	c  460s |      21 |  1380818 |  1135445 |     3593    801 |        0 |        0
461.80/462.07	c  462s |      21 |  1386234 |  1140245 |     3593    803 |        0 |        0
463.79/464.08	c  464s |      21 |  1391422 |  1144845 |     3593    806 |        0 |        0
465.79/466.09	c  466s |      21 |  1396869 |  1149545 |     3593    808 |        0 |        0
467.89/468.13	c  468s |      21 |  1402029 |  1154045 |     3593    811 |        0 |        0
469.89/470.14	c  470s |      21 |  1407683 |  1158745 |     3593    813 |        0 |        0
471.98/472.20	c  472s |      21 |  1412956 |  1163145 |     3593    816 |        0 |        0
473.99/474.21	c  474s |      21 |  1418519 |  1167845 |     3593    818 |        0 |        0
475.98/476.23	c  476s |      21 |  1424024 |  1172545 |     3593    821 |        0 |        0
477.98/478.23	c  478s |      21 |  1429233 |  1177245 |     3593    823 |        0 |        0
479.98/480.26	c  480s |      21 |  1434290 |  1181645 |     3593    825 |        0 |        0
481.98/482.26	c  482s |      21 |  1439120 |  1185945 |     3593    828 |        0 |        0
483.98/484.27	c  484s |      21 |  1444773 |  1190645 |     3593    830 |        0 |        0
485.98/486.29	c  486s |      21 |  1450479 |  1195345 |     3593    833 |        0 |        0
488.07/488.32	c  488s |      21 |  1456099 |  1200245 |     3593    835 |        0 |        0
490.07/490.37	c  490s |      21 |  1461577 |  1205045 |     3593    838 |        0 |        0
492.07/492.39	c  492s |      21 |  1466917 |  1209645 |     3593    840 |        0 |        0
494.07/494.39	c  494s |      21 |  1471967 |  1214045 |     3593    843 |        0 |        0
496.17/496.42	c  496s |      21 |  1477496 |  1218845 |     3593    845 |        0 |        0
498.18/498.42	c  498s |      21 |  1482618 |  1223245 |     3593    848 |        0 |        0
500.17/500.44	c  500s |      21 |  1488054 |  1227945 |     3593    850 |        0 |        0
502.17/502.47	c  502s |      21 |  1493445 |  1232545 |     3593    853 |        0 |        0
504.16/504.49	c  504s |      21 |  1499239 |  1237345 |     3593    855 |        0 |        0
506.26/506.54	c  506s |      21 |  1504764 |  1241945 |     3593    858 |        0 |        0
508.26/508.56	c  508s |      21 |  1509925 |  1246445 |     3593    860 |        0 |        0
510.27/510.58	c  510s |      21 |  1515192 |  1250945 |     3593    863 |        0 |        0
512.37/512.62	c  512s |      21 |  1520329 |  1255345 |     3593    865 |        0 |        0
514.36/514.65	c  514s |      21 |  1525436 |  1259745 |     3593    868 |        0 |        0
516.36/516.67	c  516s |      21 |  1531231 |  1264645 |     3593    870 |        0 |        0
518.36/518.69	c  518s |      21 |  1536771 |  1269345 |     3593    873 |        0 |        0
520.46/520.71	c  520s |      21 |  1542072 |  1273945 |     3593    875 |        0 |        0
522.45/522.74	c  522s |      21 |  1547162 |  1278445 |     3593    878 |        0 |        0
524.46/524.78	c  524s |      21 |  1552663 |  1283145 |     3593    880 |        0 |        0
526.55/526.80	c  526s |      21 |  1557987 |  1287645 |     3593    883 |        0 |        0
528.55/528.81	c  528s |      21 |  1563909 |  1292445 |     3593    885 |        0 |        0
530.55/530.84	c  530s |      21 |  1569594 |  1297245 |     3593    888 |        0 |        0
532.55/532.88	c  532s |      21 |  1575613 |  1302045 |     3593    890 |        0 |        0
534.65/534.91	c  534s |      21 |  1581623 |  1306945 |     3593    893 |        0 |        0
536.65/536.93	c  536s |      21 |  1587376 |  1311745 |     3593    896 |        0 |        0
538.65/538.94	c  538s |      21 |  1593523 |  1316745 |     3593    898 |        0 |        0
540.64/540.96	c  540s |      21 |  1599828 |  1321845 |     3593    901 |        0 |        0
542.64/542.97	c  542s |      21 |  1606817 |  1327245 |     3593    904 |        0 |        0
544.74/545.01	c  544s |      21 |  1613123 |  1332345 |     3593    907 |        0 |        0
546.74/547.02	c  546s |      21 |  1618714 |  1337145 |     3593    909 |        0 |        0
548.75/549.02	c  548s |      21 |  1624563 |  1342045 |     3593    912 |        0 |        0
550.74/551.04	c  551s |      21 |  1629990 |  1346645 |     3593    915 |        0 |        0
552.75/553.04	c  553s |      21 |  1635629 |  1351445 |     3593    917 |        0 |        0
554.75/555.06	c  555s |      21 |  1641281 |  1356345 |     3593    920 |        0 |        0
556.75/557.09	c  557s |      21 |  1646597 |  1361045 |     3593    922 |        0 |        0
558.75/559.09	c  559s |      21 |  1652264 |  1365845 |     3593    925 |        0 |        0
560.75/561.10	c  561s |      21 |  1657703 |  1370445 |     3593    927 |        0 |        0
562.84/563.10	c  563s |      21 |  1663450 |  1375345 |     3593    930 |        0 |        0
564.84/565.12	c  565s |      21 |  1669175 |  1380145 |     3593    933 |        0 |        0
566.84/567.13	c  567s |      21 |  1674991 |  1385045 |     3593    935 |        0 |        0
568.84/569.15	c  569s |      21 |  1680668 |  1389845 |     3593    938 |        0 |        0
570.84/571.19	c  571s |      21 |  1686158 |  1394545 |     3593    941 |        0 |        0
572.84/573.20	c  573s |      21 |  1691608 |  1399245 |     3593    943 |        0 |        0
574.94/575.21	c  575s |      21 |  1697495 |  1404245 |     3593    946 |        0 |        0
576.94/577.25	c  577s |      21 |  1702924 |  1408945 |     3593    948 |        0 |        0
578.94/579.27	c  579s |      21 |  1708286 |  1413645 |     3593    951 |        0 |        0
581.03/581.33	c  581s |      21 |  1713854 |  1418445 |     3593    954 |        0 |        0
583.03/583.36	c  583s |      21 |  1719043 |  1422945 |     3593    956 |        0 |        0
585.04/585.36	c  585s |      21 |  1724136 |  1427445 |     3593    958 |        0 |        0
587.03/587.38	c  587s |      21 |  1728954 |  1431745 |     3593    961 |        0 |        0
589.13/589.40	c  589s |      21 |  1734093 |  1436245 |     3593    963 |        0 |        0
591.13/591.42	c  591s |      21 |  1739071 |  1440645 |     3593    965 |        0 |        0
593.12/593.45	c  593s |      21 |  1743937 |  1445045 |     3593    968 |        0 |        0
595.12/595.48	c  595s |      21 |  1748878 |  1449345 |     3593    970 |        0 |        0
597.22/597.51	c  597s |      21 |  1754117 |  1453845 |     3593    973 |        0 |        0
599.23/599.54	c  599s |      21 |  1759636 |  1458445 |     3593    975 |        0 |        0
601.22/601.56	c  601s |      21 |  1765708 |  1463345 |     3593    978 |        0 |        0
603.32/603.60	c  603s |      21 |  1771973 |  1468645 |     3593    981 |        0 |        0
605.32/605.62	c  605s |      21 |  1777991 |  1473845 |     3593    983 |        0 |        0
607.31/607.63	c  607s |      21 |  1783673 |  1478745 |     3593    986 |        0 |        0
609.31/609.63	c  609s |      21 |  1789563 |  1483845 |     3593    989 |        0 |        0
611.32/611.66	c  611s |      21 |  1795454 |  1488945 |     3593    991 |        0 |        0
613.31/613.69	c  613s |      21 |  1801041 |  1493845 |     3953    994 |        0 |        0
615.41/615.73	c  615s |      21 |  1806658 |  1498745 |     3953    996 |        0 |        0
616.21/616.52	c  616s |      22 |  1808993 |  1500622 |     3953    997 |        0 |        0
618.20/618.53	c  618s |      22 |  1814938 |  1505522 |     3953   1000 |        0 |        0
620.21/620.58	c  620s |      22 |  1821612 |  1510622 |     3953   1002 |        0 |        0
622.20/622.58	c  622s |      22 |  1827049 |  1515122 |     3953   1004 |        0 |        0
624.30/624.62	c  624s |      22 |  1832510 |  1519622 |     3953   1006 |        0 |        0
626.30/626.62	c  626s |      22 |  1838176 |  1524022 |     3953   1009 |        0 |        0
628.30/628.64	c  628s |      22 |  1843591 |  1528322 |     3953   1011 |        0 |        0
630.30/630.68	c  630s |      22 |  1848845 |  1532722 |     3953   1013 |        0 |        0
632.39/632.72	c  632s |      22 |  1853897 |  1537022 |     3953   1015 |        0 |        0
634.40/634.74	c  634s |      22 |  1859349 |  1541422 |     3953   1017 |        0 |        0
636.39/636.78	c  636s |      22 |  1865639 |  1546122 |     3953   1019 |        0 |        0
638.39/638.79	c  638s |      22 |  1870884 |  1550422 |     3953   1022 |        0 |        0
640.49/640.81	c  640s |      22 |  1876285 |  1554922 |     3953   1024 |        0 |        0
642.49/642.81	c  642s |      22 |  1882199 |  1559522 |     3953   1026 |        0 |        0
644.49/644.84	c  644s |      22 |  1887948 |  1564122 |     3953   1028 |        0 |        0
646.49/646.84	c  646s |      22 |  1893497 |  1568622 |     3953   1031 |        0 |        0
648.49/648.86	c  648s |      22 |  1898777 |  1573122 |     3953   1033 |        0 |        0
650.59/650.90	c  650s |      22 |  1904083 |  1577522 |     3953   1035 |        0 |        0
652.58/652.91	c  652s |      22 |  1909634 |  1582122 |     3953   1037 |        0 |        0
654.58/654.92	c  654s |      22 |  1915594 |  1586822 |     3953   1040 |        0 |        0
656.58/656.94	c  656s |      22 |  1920698 |  1591122 |     3953   1042 |        0 |        0
658.59/658.96	c  658s |      22 |  1926795 |  1595922 |     3953   1044 |        0 |        0
660.58/660.99	c  660s |      22 |  1932567 |  1600822 |     3953   1046 |        0 |        0
662.68/663.01	c  662s |      22 |  1938209 |  1605522 |     3953   1049 |        0 |        0
664.68/665.02	c  664s |      22 |  1943614 |  1610122 |     3953   1051 |        0 |        0
666.67/667.07	c  667s |      22 |  1949034 |  1614622 |     3953   1053 |        0 |        0
668.78/669.11	c  669s |      22 |  1954351 |  1619022 |     3953   1055 |        0 |        0
670.79/671.12	c  671s |      22 |  1959364 |  1623322 |     3953   1058 |        0 |        0
672.78/673.14	c  673s |      22 |  1964359 |  1627622 |     3953   1060 |        0 |        0
674.78/675.17	c  675s |      22 |  1969464 |  1631922 |     3953   1062 |        0 |        0
676.78/677.18	c  677s |      22 |  1975075 |  1636522 |     3953   1064 |        0 |        0
678.87/679.21	c  679s |      22 |  1980081 |  1640822 |     3953   1066 |        0 |        0
680.87/681.24	c  681s |      22 |  1985150 |  1645122 |     3953   1068 |        0 |        0
682.88/683.25	c  683s |      22 |  1990619 |  1649622 |     3953   1071 |        0 |        0
684.87/685.28	c  685s |      22 |  1995621 |  1653922 |     3953   1073 |        0 |        0
686.97/687.31	c  687s |      22 |  2001044 |  1658522 |     3953   1075 |        0 |        0
688.97/689.34	c  689s |      22 |  2006395 |  1663122 |     3953   1077 |        0 |        0
690.97/691.37	c  691s |      22 |  2011524 |  1667522 |     3953   1079 |        0 |        0
693.07/693.40	c  693s |      22 |  2016759 |  1671922 |     3953   1082 |        0 |        0
695.07/695.44	c  695s |      22 |  2022196 |  1676522 |     3953   1084 |        0 |        0
697.07/697.47	c  697s |      22 |  2027123 |  1680822 |     3953   1086 |        0 |        0
699.16/699.52	c  699s |      22 |  2032198 |  1685122 |     3953   1088 |        0 |        0
701.16/701.56	c  701s |      22 |  2037800 |  1689722 |     3953   1090 |        0 |        0
703.26/703.61	c  703s |      22 |  2043023 |  1694022 |     3953   1092 |        0 |        0
705.26/705.64	c  705s |      22 |  2047974 |  1698222 |     3953   1095 |        0 |        0
707.26/707.68	c  707s |      22 |  2053983 |  1703022 |     3953   1097 |        0 |        0
709.36/709.71	c  709s |      22 |  2059411 |  1707422 |     3953   1099 |        0 |        0
711.37/711.72	c  711s |      22 |  2064504 |  1711722 |     3953   1101 |        0 |        0
713.36/713.72	c  713s |      22 |  2070064 |  1716122 |     3953   1103 |        0 |        0
715.36/715.74	c  715s |      22 |  2075665 |  1720722 |     3953   1106 |        0 |        0
717.36/717.78	c  717s |      22 |  2081644 |  1725522 |     3953   1108 |        0 |        0
719.46/719.82	c  719s |      22 |  2087224 |  1730122 |     3953   1110 |        0 |        0
721.46/721.83	c  721s |      22 |  2092438 |  1734422 |     3953   1112 |        0 |        0
723.46/723.86	c  723s |      22 |  2097734 |  1738722 |     3953   1115 |        0 |        0
725.45/725.89	c  725s |      22 |  2102978 |  1742922 |     3953   1117 |        0 |        0
727.55/727.91	c  727s |      22 |  2108588 |  1747322 |     3953   1119 |        0 |        0
729.55/729.93	c  729s |      22 |  2114013 |  1751722 |     3953   1121 |        0 |        0
731.55/731.96	c  731s |      22 |  2118924 |  1755922 |     3953   1123 |        0 |        0
733.54/733.98	c  733s |      22 |  2123573 |  1760022 |     3953   1125 |        0 |        0
735.65/736.01	c  735s |      22 |  2128305 |  1764222 |     3953   1127 |        0 |        0
737.64/738.04	c  738s |      22 |  2133164 |  1768522 |     3953   1129 |        0 |        0
739.64/740.05	c  740s |      22 |  2137903 |  1772622 |     3953   1131 |        0 |        0
741.74/742.10	c  742s |      22 |  2143026 |  1777022 |     3953   1133 |        0 |        0
743.74/744.10	c  744s |      22 |  2147741 |  1781122 |     3953   1135 |        0 |        0
745.74/746.13	c  746s |      22 |  2152342 |  1785222 |     3953   1137 |        0 |        0
747.75/748.18	c  748s |      22 |  2157376 |  1789522 |     3953   1139 |        0 |        0
749.74/750.18	c  750s |      22 |  2162856 |  1793922 |     3953   1142 |        0 |        0
751.84/752.20	c  752s |      22 |  2167831 |  1798122 |     3953   1144 |        0 |        0
753.84/754.23	c  754s |      22 |  2173061 |  1802522 |     3953   1146 |        0 |        0
755.84/756.25	c  756s |      22 |  2178331 |  1806922 |     3953   1148 |        0 |        0
757.84/758.26	c  758s |      22 |  2183373 |  1811122 |     3953   1150 |        0 |        0
759.85/760.27	c  760s |      22 |  2188164 |  1815222 |     3953   1152 |        0 |        0
761.84/762.30	c  762s |      22 |  2192906 |  1819322 |     3953   1154 |        0 |        0
763.94/764.33	c  764s |      22 |  2197820 |  1823522 |     3953   1156 |        0 |        0
765.94/766.37	c  766s |      22 |  2202569 |  1827722 |     3953   1158 |        0 |        0
767.94/768.38	c  768s |      22 |  2206915 |  1831622 |     3953   1160 |        0 |        0
769.94/770.39	c  770s |      22 |  2211885 |  1835822 |     3953   1162 |        0 |        0
771.94/772.39	c  772s |      22 |  2217048 |  1840222 |     3953   1164 |        0 |        0
774.04/774.45	c  774s |      22 |  2222072 |  1844622 |     3953   1167 |        0 |        0
776.04/776.47	c  776s |      22 |  2227246 |  1849022 |     3953   1169 |        0 |        0
778.03/778.48	c  778s |      22 |  2232441 |  1853422 |     3953   1171 |        0 |        0
780.03/780.48	c  780s |      22 |  2237218 |  1857522 |     3953   1173 |        0 |        0
782.13/782.52	c  782s |      22 |  2242059 |  1861722 |     3953   1175 |        0 |        0
784.13/784.54	c  784s |      22 |  2246789 |  1865922 |     3953   1177 |        0 |        0
786.14/786.55	c  786s |      22 |  2251833 |  1870222 |     3953   1179 |        0 |        0
788.13/788.57	c  788s |      22 |  2256585 |  1874322 |     3953   1181 |        0 |        0
790.13/790.59	c  790s |      22 |  2261582 |  1878622 |     3953   1183 |        0 |        0
792.23/792.61	c  792s |      22 |  2266378 |  1882822 |     3953   1185 |        0 |        0
794.23/794.64	c  794s |      22 |  2271471 |  1887222 |     3953   1188 |        0 |        0
796.23/796.67	c  796s |      22 |  2276555 |  1891622 |     3953   1190 |        0 |        0
798.34/798.71	c  798s |      22 |  2281832 |  1896122 |     3953   1192 |        0 |        0
800.33/800.75	c  800s |      22 |  2286790 |  1900422 |     3953   1194 |        0 |        0
802.33/802.75	c  802s |      22 |  2291857 |  1904722 |     3953   1196 |        0 |        0
804.33/804.76	c  804s |      22 |  2297109 |  1909122 |     3953   1198 |        0 |        0
806.33/806.77	c  806s |      22 |  2301883 |  1913322 |     3953   1200 |        0 |        0
808.33/808.77	c  808s |      22 |  2306569 |  1917422 |     3953   1202 |        0 |        0
810.43/810.84	c  810s |      22 |  2311546 |  1921722 |     3953   1205 |        0 |        0
812.43/812.88	c  812s |      22 |  2316372 |  1925922 |     3953   1207 |        0 |        0
814.53/814.92	c  814s |      22 |  2321245 |  1930222 |     3953   1209 |        0 |        0
816.53/816.92	c  816s |      22 |  2326189 |  1934422 |     3953   1211 |        0 |        0
818.53/818.94	c  818s |      22 |  2331253 |  1938822 |     3953   1213 |        0 |        0
820.53/820.95	c  820s |      22 |  2336224 |  1943022 |     3953   1215 |        0 |        0
822.53/822.98	c  822s |      22 |  2341013 |  1947222 |     3953   1217 |        0 |        0
824.63/825.01	c  824s |      22 |  2345998 |  1951522 |     3953   1219 |        0 |        0
826.63/827.03	c  826s |      22 |  2350672 |  1955722 |     3953   1221 |        0 |        0
828.63/829.07	c  829s |      22 |  2355557 |  1959922 |     3953   1223 |        0 |        0
830.73/831.10	c  831s |      22 |  2360310 |  1964022 |     3953   1225 |        0 |        0
832.73/833.12	c  833s |      22 |  2364908 |  1968022 |     3953   1227 |        0 |        0
834.73/835.17	c  835s |      22 |  2369911 |  1972222 |     3953   1229 |        0 |        0
836.74/837.18	c  837s |      22 |  2375076 |  1976522 |     3953   1232 |        0 |        0
838.83/839.23	c  839s |      22 |  2380293 |  1980922 |     3953   1234 |        0 |        0
840.83/841.26	c  841s |      22 |  2385296 |  1985222 |     3953   1236 |        0 |        0
842.83/843.27	c  843s |      22 |  2390182 |  1989422 |     3953   1238 |        0 |        0
844.83/845.27	c  845s |      22 |  2395038 |  1993722 |     3953   1240 |        0 |        0
846.83/847.29	c  847s |      22 |  2399959 |  1998022 |     3953   1242 |        0 |        0
848.94/849.33	c  849s |      22 |  2404971 |  2002222 |     3953   1244 |        0 |        0
850.93/851.37	c  851s |      22 |  2409872 |  2006422 |     3953   1246 |        0 |        0
852.93/853.39	c  853s |      22 |  2414560 |  2010522 |     3953   1248 |        0 |        0
855.03/855.40	c  855s |      22 |  2419679 |  2014822 |     3953   1250 |        0 |        0
857.03/857.42	c  857s |      22 |  2424644 |  2019022 |     3953   1253 |        0 |        0
859.03/859.46	c  859s |      22 |  2429465 |  2023222 |     3953   1255 |        0 |        0
861.03/861.46	c  861s |      22 |  2434206 |  2027322 |     3953   1257 |        0 |        0
863.02/863.50	c  863s |      22 |  2438816 |  2031322 |     3953   1259 |        0 |        0
865.12/865.52	c  865s |      22 |  2443946 |  2035622 |     3953   1261 |        0 |        0
867.12/867.54	c  867s |      22 |  2448864 |  2039822 |     3953   1263 |        0 |        0
869.12/869.57	c  869s |      22 |  2454031 |  2044222 |     3953   1265 |        0 |        0
871.22/871.60	c  871s |      22 |  2459716 |  2048922 |     3953   1267 |        0 |        0
873.22/873.63	c  873s |      22 |  2464808 |  2053222 |     3953   1269 |        0 |        0
875.23/875.67	c  875s |      22 |  2470186 |  2057822 |     3953   1272 |        0 |        0
877.32/877.70	c  877s |      22 |  2475127 |  2062122 |     3953   1274 |        0 |        0
879.32/879.72	c  879s |      22 |  2480034 |  2066422 |     3953   1276 |        0 |        0
881.32/881.73	c  881s |      22 |  2484581 |  2070522 |     3953   1278 |        0 |        0
883.32/883.73	c  883s |      22 |  2489801 |  2075022 |     3953   1280 |        0 |        0
885.32/885.75	c  885s |      22 |  2494333 |  2079122 |     3953   1282 |        0 |        0
887.33/887.75	c  887s |      22 |  2499283 |  2083522 |     3953   1284 |        0 |        0
889.42/889.80	c  889s |      22 |  2504282 |  2088022 |     3953   1286 |        0 |        0
891.42/891.84	c  891s |      22 |  2509017 |  2092322 |     3953   1288 |        0 |        0
893.42/893.86	c  893s |      22 |  2513524 |  2096422 |     3953   1290 |        0 |        0
895.42/895.87	c  895s |      22 |  2517943 |  2100322 |     3953   1292 |        0 |        0
897.52/897.91	c  897s |      22 |  2522448 |  2104322 |     3953   1294 |        0 |        0
899.52/899.92	c  899s |      22 |  2527422 |  2108622 |     3953   1296 |        0 |        0
901.52/901.92	c  901s |      22 |  2532091 |  2112722 |     3953   1298 |        0 |        0
903.52/903.94	c  903s |      22 |  2537051 |  2116922 |     3953   1300 |        0 |        0
905.52/905.99	c  905s |      22 |  2541832 |  2121122 |     3953   1302 |        0 |        0
907.62/908.01	c  907s |      22 |  2546885 |  2125422 |     3953   1305 |        0 |        0
909.61/910.03	c  909s |      22 |  2551403 |  2129422 |     3953   1307 |        0 |        0
911.62/912.04	c  912s |      22 |  2556134 |  2133422 |     3953   1308 |        0 |        0
913.61/914.05	c  914s |      22 |  2560486 |  2137322 |     3953   1310 |        0 |        0
915.61/916.06	c  916s |      22 |  2565057 |  2141322 |     3953   1312 |        0 |        0
917.71/918.10	c  918s |      22 |  2569678 |  2145322 |     3953   1314 |        0 |        0
919.71/920.14	c  920s |      22 |  2574322 |  2149322 |     3953   1316 |        0 |        0
921.71/922.14	c  922s |      22 |  2578777 |  2153322 |     3953   1318 |        0 |        0
923.72/924.18	c  924s |      22 |  2583160 |  2157222 |     3953   1320 |        0 |        0
925.82/926.23	c  926s |      22 |  2587777 |  2161322 |     3953   1322 |        0 |        0
927.81/928.27	c  928s |      22 |  2592283 |  2165322 |     3953   1324 |        0 |        0
929.82/930.29	c  930s |      22 |  2596779 |  2169222 |     3953   1326 |        0 |        0
931.92/932.34	c  932s |      22 |  2601154 |  2173122 |     3953   1328 |        0 |        0
933.92/934.37	c  934s |      22 |  2605834 |  2177222 |     3953   1330 |        0 |        0
935.92/936.39	c  936s |      22 |  2610204 |  2181122 |     3953   1332 |        0 |        0
937.92/938.40	c  938s |      22 |  2614587 |  2185022 |     3953   1334 |        0 |        0
940.02/940.43	c  940s |      22 |  2618976 |  2188922 |     3953   1336 |        0 |        0
942.02/942.43	c  942s |      22 |  2623378 |  2192822 |     3953   1338 |        0 |        0
944.02/944.44	c  944s |      22 |  2628062 |  2196822 |     3953   1340 |        0 |        0
946.02/946.48	c  946s |      22 |  2632488 |  2200722 |     3953   1342 |        0 |        0
948.11/948.52	c  948s |      22 |  2637476 |  2205022 |     3953   1344 |        0 |        0
950.12/950.52	c  950s |      22 |  2642033 |  2209022 |     3953   1346 |        0 |        0
952.11/952.53	c  952s |      22 |  2647264 |  2213322 |     3953   1348 |        0 |        0
954.11/954.57	c  954s |      22 |  2652043 |  2217522 |     3953   1350 |        0 |        0
956.11/956.59	c  956s |      22 |  2656577 |  2221522 |     3953   1352 |        0 |        0
958.21/958.60	c  958s |      22 |  2661314 |  2225622 |     3953   1354 |        0 |        0
960.21/960.62	c  960s |      22 |  2666021 |  2229722 |     3953   1356 |        0 |        0
962.22/962.66	c  962s |      22 |  2670554 |  2233722 |     3953   1358 |        0 |        0
964.32/964.71	c  964s |      22 |  2675076 |  2237722 |     4349   1359 |        0 |        0
966.31/966.77	c  966s |      22 |  2679853 |  2241822 |     4349   1361 |        0 |        0
968.31/968.77	c  968s |      22 |  2684414 |  2245822 |     4349   1363 |        0 |        0
970.41/970.80	c  970s |      22 |  2688810 |  2249722 |     4349   1365 |        0 |        0
971.11/971.55	c  971s |      23 |  2690256 |  2251038 |     4349   1365 |        0 |        0
973.12/973.55	c  973s |      23 |  2696076 |  2255538 |     4349   1367 |        0 |        0
975.11/975.58	c  975s |      23 |  2701644 |  2260038 |     4349   1369 |        0 |        0
977.11/977.59	c  977s |      23 |  2706847 |  2264338 |     4349   1371 |        0 |        0
979.21/979.63	c  979s |      23 |  2712010 |  2268538 |     4349   1373 |        0 |        0
981.21/981.67	c  981s |      23 |  2716735 |  2272538 |     4349   1375 |        0 |        0
983.31/983.71	c  983s |      23 |  2721652 |  2276638 |     4349   1377 |        0 |        0
985.31/985.73	c  985s |      23 |  2727100 |  2280938 |     4349   1379 |        0 |        0
987.31/987.77	c  987s |      23 |  2732138 |  2285038 |     4349   1381 |        0 |        0
989.31/989.79	c  989s |      23 |  2737355 |  2289338 |     4349   1383 |        0 |        0
991.41/991.82	c  991s |      23 |  2742216 |  2293438 |     4349   1385 |        0 |        0
993.40/993.83	c  993s |      23 |  2747018 |  2297538 |     4349   1386 |        0 |        0
995.40/995.85	c  995s |      23 |  2751905 |  2301638 |     4349   1388 |        0 |        0
997.41/997.89	c  997s |      23 |  2757116 |  2305838 |     4349   1390 |        0 |        0
999.51/999.90	c  999s |      23 |  2761697 |  2309838 |     4349   1392 |        0 |        0
1001.50/1001.93	c 1001s |      23 |  2766711 |  2314138 |     4349   1394 |        0 |        0
1003.50/1003.93	c 1003s |      23 |  2772189 |  2318638 |     4349   1396 |        0 |        0
1005.50/1005.95	c 1005s |      23 |  2777255 |  2322838 |     4349   1398 |        0 |        0
1007.50/1007.97	c 1007s |      23 |  2782948 |  2327338 |     4349   1400 |        0 |        0
1009.51/1009.98	c 1009s |      23 |  2788091 |  2331638 |     4349   1402 |        0 |        0
1011.50/1011.99	c 1011s |      23 |  2793244 |  2335838 |     4349   1404 |        0 |        0
1013.50/1013.99	c 1013s |      23 |  2798470 |  2340038 |     4349   1406 |        0 |        0
1015.60/1016.04	c 1016s |      23 |  2803909 |  2344538 |     4349   1408 |        0 |        0
1017.60/1018.09	c 1018s |      23 |  2809080 |  2348938 |     4349   1410 |        0 |        0
1019.60/1020.09	c 1020s |      23 |  2813927 |  2353138 |     4349   1411 |        0 |        0
1021.70/1022.10	c 1022s |      23 |  2819664 |  2357638 |     4349   1413 |        0 |        0
1023.71/1024.10	c 1024s |      23 |  2824669 |  2361738 |     4349   1415 |        0 |        0
1025.70/1026.11	c 1026s |      23 |  2829509 |  2365738 |     4349   1417 |        0 |        0
1027.70/1028.12	c 1028s |      23 |  2834606 |  2369838 |     4349   1419 |        0 |        0
1029.70/1030.14	c 1030s |      23 |  2839671 |  2373938 |     4349   1421 |        0 |        0
1031.70/1032.14	c 1032s |      23 |  2844939 |  2378238 |     4349   1423 |        0 |        0
1033.70/1034.17	c 1034s |      23 |  2849647 |  2382238 |     4349   1425 |        0 |        0
1035.70/1036.20	c 1036s |      23 |  2855046 |  2386538 |     4349   1426 |        0 |        0
1037.80/1038.23	c 1038s |      23 |  2860231 |  2390738 |     4349   1428 |        0 |        0
1039.79/1040.25	c 1040s |      23 |  2865222 |  2394938 |     4349   1430 |        0 |        0
1041.79/1042.27	c 1042s |      23 |  2870051 |  2399038 |     4349   1432 |        0 |        0
1043.79/1044.27	c 1044s |      23 |  2874928 |  2403138 |     4349   1434 |        0 |        0
1045.89/1046.31	c 1046s |      23 |  2880037 |  2407438 |     4349   1436 |        0 |        0
1047.90/1048.31	c 1048s |      23 |  2884808 |  2411538 |     4349   1438 |        0 |        0
1049.89/1050.32	c 1050s |      23 |  2889936 |  2415738 |     4349   1440 |        0 |        0
1051.89/1052.34	c 1052s |      23 |  2895142 |  2420038 |     4349   1442 |        0 |        0
1053.99/1054.40	c 1054s |      23 |  2900010 |  2424138 |     4349   1443 |        0 |        0
1055.99/1056.40	c 1056s |      23 |  2904524 |  2428038 |     4349   1445 |        0 |        0
1057.99/1058.46	c 1058s |      23 |  2910262 |  2432438 |     4349   1447 |        0 |        0
1060.00/1060.50	c 1060s |      23 |  2915465 |  2436638 |     4349   1449 |        0 |        0
1062.09/1062.54	c 1062s |      23 |  2920369 |  2440638 |     4349   1451 |        0 |        0
1064.09/1064.56	c 1064s |      23 |  2925995 |  2445038 |     4349   1453 |        0 |        0
1066.09/1066.58	c 1066s |      23 |  2931470 |  2449538 |     4349   1455 |        0 |        0
1068.09/1068.58	c 1068s |      23 |  2936484 |  2453838 |     4349   1457 |        0 |        0
1070.19/1070.61	c 1070s |      23 |  2941413 |  2458038 |     4349   1459 |        0 |        0
1072.20/1072.65	c 1072s |      23 |  2946640 |  2462538 |     4349   1461 |        0 |        0
1074.19/1074.70	c 1074s |      23 |  2951731 |  2466838 |     4349   1463 |        0 |        0
1076.29/1076.74	c 1076s |      23 |  2956705 |  2470938 |     4349   1464 |        0 |        0
1078.29/1078.75	c 1078s |      23 |  2961133 |  2474738 |     4349   1466 |        0 |        0
1080.29/1080.75	c 1080s |      23 |  2966370 |  2479038 |     4349   1468 |        0 |        0
1082.29/1082.76	c 1082s |      23 |  2971183 |  2483138 |     4349   1470 |        0 |        0
1084.29/1084.77	c 1084s |      23 |  2977043 |  2487838 |     4349   1472 |        0 |        0
1086.29/1086.78	c 1086s |      23 |  2982230 |  2492038 |     4349   1474 |        0 |        0
1088.39/1088.81	c 1088s |      23 |  2987898 |  2496638 |     4349   1476 |        0 |        0
1090.39/1090.85	c 1090s |      23 |  2992983 |  2500938 |     4349   1478 |        0 |        0
1092.39/1092.86	c 1092s |      23 |  2998268 |  2505238 |     4349   1480 |        0 |        0
1094.39/1094.86	c 1094s |      23 |  3003614 |  2509738 |     4349   1482 |        0 |        0
1096.49/1096.90	c 1096s |      23 |  3008767 |  2514038 |     4349   1484 |        0 |        0
1098.49/1098.93	c 1098s |      23 |  3013504 |  2518138 |     4349   1486 |        0 |        0
1100.48/1100.97	c 1100s |      23 |  3018387 |  2522338 |     4349   1488 |        0 |        0
1102.58/1103.01	c 1102s |      23 |  3023264 |  2526538 |     4349   1489 |        0 |        0
1104.58/1105.05	c 1105s |      23 |  3028430 |  2530938 |     4349   1491 |        0 |        0
1106.58/1107.08	c 1107s |      23 |  3032868 |  2534938 |     4349   1493 |        0 |        0
1108.69/1109.12	c 1109s |      23 |  3037831 |  2539138 |     4349   1495 |        0 |        0
1110.70/1111.14	c 1111s |      23 |  3042655 |  2543338 |     4349   1497 |        0 |        0
1112.69/1113.15	c 1113s |      23 |  3048114 |  2547938 |     4349   1499 |        0 |        0
1114.69/1115.17	c 1115s |      23 |  3053040 |  2552038 |     4349   1501 |        0 |        0
1116.79/1117.20	c 1117s |      23 |  3057907 |  2556238 |     4349   1503 |        0 |        0
1118.79/1119.22	c 1119s |      23 |  3062678 |  2560338 |     4349   1505 |        0 |        0
1120.79/1121.25	c 1121s |      23 |  3067566 |  2564638 |     4349   1507 |        0 |        0
1122.80/1123.26	c 1123s |      23 |  3071953 |  2568538 |     4349   1508 |        0 |        0
1124.79/1125.26	c 1125s |      23 |  3076426 |  2572538 |     4349   1510 |        0 |        0
1126.79/1127.27	c 1127s |      23 |  3081054 |  2576538 |     4349   1512 |        0 |        0
1128.89/1129.30	c 1129s |      23 |  3086350 |  2580938 |     4349   1514 |        0 |        0
1130.89/1131.31	c 1131s |      23 |  3091285 |  2585138 |     4349   1516 |        0 |        0
1132.88/1133.31	c 1133s |      23 |  3096783 |  2589738 |     4349   1518 |        0 |        0
1134.89/1135.34	c 1135s |      23 |  3102249 |  2594338 |     4349   1520 |        0 |        0
1136.88/1137.34	c 1137s |      23 |  3107599 |  2598738 |     4349   1522 |        0 |        0
1138.88/1139.38	c 1139s |      23 |  3113294 |  2603338 |     4349   1524 |        0 |        0
1140.98/1141.42	c 1141s |      23 |  3118956 |  2607938 |     4349   1526 |        0 |        0
1142.98/1143.46	c 1143s |      23 |  3124348 |  2612238 |     4349   1528 |        0 |        0
1144.98/1145.48	c 1145s |      23 |  3129964 |  2616738 |     4349   1530 |        0 |        0
1146.99/1147.49	c 1147s |      23 |  3135599 |  2621338 |     4349   1532 |        0 |        0
1149.09/1149.52	c 1149s |      23 |  3141017 |  2625638 |     4349   1534 |        0 |        0
1151.08/1151.52	c 1151s |      23 |  3146645 |  2630138 |     4349   1536 |        0 |        0
1153.08/1153.54	c 1153s |      23 |  3151926 |  2634338 |     4349   1538 |        0 |        0
1155.08/1155.57	c 1155s |      23 |  3157379 |  2638838 |     4349   1540 |        0 |        0
1157.18/1157.60	c 1157s |      23 |  3162256 |  2642938 |     4349   1542 |        0 |        0
1159.18/1159.62	c 1159s |      23 |  3167259 |  2647138 |     4349   1544 |        0 |        0
1161.19/1161.64	c 1161s |      23 |  3172247 |  2651438 |     4349   1546 |        0 |        0
1163.28/1163.71	c 1163s |      23 |  3177387 |  2655638 |     4349   1548 |        0 |        0
1165.28/1165.72	c 1165s |      23 |  3182264 |  2659738 |     4349   1549 |        0 |        0
1167.28/1167.78	c 1167s |      23 |  3186830 |  2663538 |     4349   1551 |        0 |        0
1169.38/1169.82	c 1169s |      23 |  3191824 |  2667638 |     4349   1553 |        0 |        0
1171.38/1171.82	c 1171s |      23 |  3196693 |  2671838 |     4349   1555 |        0 |        0
1173.38/1173.84	c 1173s |      23 |  3201968 |  2676238 |     4349   1557 |        0 |        0
1175.38/1175.84	c 1175s |      23 |  3207392 |  2680638 |     4349   1559 |        0 |        0
1177.38/1177.86	c 1177s |      23 |  3212156 |  2684638 |     4349   1561 |        0 |        0
1179.37/1179.87	c 1179s |      23 |  3217735 |  2689038 |     4349   1563 |        0 |        0
1181.47/1181.93	c 1181s |      23 |  3223252 |  2693438 |     4349   1565 |        0 |        0
1183.47/1183.97	c 1183s |      23 |  3228488 |  2697738 |     4349   1566 |        0 |        0
1185.48/1185.98	c 1185s |      23 |  3233386 |  2701838 |     4349   1568 |        0 |        0
1187.47/1188.00	c 1187s |      23 |  3238029 |  2705738 |     4349   1570 |        0 |        0
1189.57/1190.04	c 1190s |      23 |  3243100 |  2710038 |     4349   1572 |        0 |        0
1191.57/1192.09	c 1192s |      23 |  3247901 |  2714038 |     4349   1574 |        0 |        0
1193.67/1194.10	c 1194s |      23 |  3252741 |  2718138 |     4349   1576 |        0 |        0
1195.67/1196.13	c 1196s |      23 |  3257665 |  2722138 |     4349   1577 |        0 |        0
1197.67/1198.14	c 1198s |      23 |  3262615 |  2726238 |     4349   1579 |        0 |        0
1199.68/1200.19	c 1200s |      23 |  3267562 |  2730338 |     4349   1581 |        0 |        0
1201.77/1202.20	c 1202s |      23 |  3273523 |  2734838 |     4349   1583 |        0 |        0
1203.77/1204.22	c 1204s |      23 |  3278838 |  2739238 |     4349   1585 |        0 |        0
1205.77/1206.24	c 1206s |      23 |  3284021 |  2743638 |     4349   1587 |        0 |        0
1207.77/1208.28	c 1208s |      23 |  3289399 |  2748038 |     4349   1589 |        0 |        0
1209.77/1210.29	c 1210s |      23 |  3294514 |  2752338 |     4349   1591 |        0 |        0
1211.88/1212.32	c 1212s |      23 |  3299022 |  2756238 |     4349   1593 |        0 |        0
1213.87/1214.33	c 1214s |      23 |  3303560 |  2760038 |     4349   1594 |        0 |        0
1215.87/1216.34	c 1216s |      23 |  3308290 |  2764038 |     4349   1596 |        0 |        0
1217.87/1218.36	c 1218s |      23 |  3312664 |  2767738 |     4349   1598 |        0 |        0
1219.87/1220.37	c 1220s |      23 |  3318337 |  2772338 |     4349   1600 |        0 |        0
1221.97/1222.41	c 1222s |      23 |  3324023 |  2776938 |     4349   1602 |        0 |        0
1223.97/1224.41	c 1224s |      23 |  3329503 |  2781438 |     4349   1604 |        0 |        0
1225.97/1226.43	c 1226s |      23 |  3335108 |  2785938 |     4349   1606 |        0 |        0
1227.97/1228.46	c 1228s |      23 |  3340160 |  2790138 |     4349   1608 |        0 |        0
1229.97/1230.48	c 1230s |      23 |  3345223 |  2794338 |     4349   1610 |        0 |        0
1232.06/1232.51	c 1232s |      23 |  3350318 |  2798638 |     4349   1612 |        0 |        0
1234.06/1234.52	c 1234s |      23 |  3355447 |  2802938 |     4349   1614 |        0 |        0
1236.07/1236.54	c 1236s |      23 |  3360386 |  2807038 |     4349   1615 |        0 |        0
1238.06/1238.56	c 1238s |      23 |  3365873 |  2811238 |     4349   1617 |        0 |        0
1240.06/1240.58	c 1240s |      23 |  3371561 |  2815638 |     4349   1619 |        0 |        0
1242.16/1242.62	c 1242s |      23 |  3376519 |  2819838 |     4349   1621 |        0 |        0
1244.16/1244.65	c 1244s |      23 |  3381335 |  2823938 |     4349   1623 |        0 |        0
1246.16/1246.68	c 1246s |      23 |  3386111 |  2828038 |     4349   1625 |        0 |        0
1248.26/1248.71	c 1248s |      23 |  3391097 |  2832138 |     4349   1627 |        0 |        0
1250.27/1250.74	c 1250s |      23 |  3396213 |  2836238 |     4349   1629 |        0 |        0
1252.26/1252.78	c 1252s |      23 |  3401275 |  2840238 |     4349   1630 |        0 |        0
1254.36/1254.80	c 1254s |      23 |  3405657 |  2844038 |     4349   1632 |        0 |        0
1256.36/1256.84	c 1256s |      23 |  3410983 |  2848238 |     4349   1634 |        0 |        0
1258.37/1258.85	c 1258s |      23 |  3415542 |  2852138 |     4349   1636 |        0 |        0
1260.37/1260.88	c 1260s |      23 |  3420245 |  2856138 |     4349   1637 |        0 |        0
1262.47/1262.91	c 1262s |      23 |  3424828 |  2860038 |     4349   1639 |        0 |        0
1264.47/1264.93	c 1264s |      23 |  3429924 |  2864138 |     4349   1641 |        0 |        0
1266.47/1266.97	c 1266s |      23 |  3434428 |  2867938 |     4349   1643 |        0 |        0
1268.47/1268.98	c 1268s |      23 |  3439597 |  2872138 |     4349   1645 |        0 |        0
1270.57/1271.01	c 1270s |      23 |  3444067 |  2876038 |     4349   1646 |        0 |        0
1272.56/1273.01	c 1272s |      23 |  3448758 |  2880038 |     4349   1648 |        0 |        0
1274.57/1275.05	c 1275s |      23 |  3453721 |  2884138 |     4349   1650 |        0 |        0
1276.56/1277.05	c 1277s |      23 |  3458946 |  2888238 |     4349   1652 |        0 |        0
1278.56/1279.07	c 1279s |      23 |  3463207 |  2891938 |     4349   1653 |        0 |        0
1280.56/1281.08	c 1281s |      23 |  3467867 |  2895838 |     4349   1655 |        0 |        0
1282.56/1283.10	c 1283s |      23 |  3472413 |  2899638 |     4349   1657 |        0 |        0
1284.66/1285.16	c 1285s |      23 |  3476793 |  2903338 |     4349   1659 |        0 |        0
1286.76/1287.22	c 1287s |      23 |  3481892 |  2907538 |     4349   1660 |        0 |        0
1288.77/1289.23	c 1289s |      23 |  3486956 |  2911638 |     4349   1662 |        0 |        0
1290.76/1291.29	c 1291s |      23 |  3491486 |  2915538 |     4349   1664 |        0 |        0
1292.86/1293.33	c 1293s |      23 |  3496544 |  2919738 |     4349   1666 |        0 |        0
1294.86/1295.34	c 1295s |      23 |  3501578 |  2923738 |     4349   1668 |        0 |        0
1296.86/1297.38	c 1297s |      23 |  3506654 |  2927838 |     4349   1670 |        0 |        0
1298.86/1299.39	c 1299s |      23 |  3511699 |  2932138 |     4349   1671 |        0 |        0
1300.97/1301.44	c 1301s |      23 |  3516714 |  2936338 |     4349   1673 |        0 |        0
1302.96/1303.46	c 1303s |      23 |  3521302 |  2940238 |     4349   1675 |        0 |        0
1304.96/1305.49	c 1305s |      23 |  3526508 |  2944438 |     4349   1677 |        0 |        0
1306.96/1307.49	c 1307s |      23 |  3531323 |  2948338 |     4349   1679 |        0 |        0
1309.06/1309.53	c 1309s |      23 |  3536090 |  2952238 |     4349   1680 |        0 |        0
1311.06/1311.58	c 1311s |      23 |  3540989 |  2956338 |     4349   1682 |        0 |        0
1313.06/1313.59	c 1313s |      23 |  3546514 |  2960738 |     4349   1684 |        0 |        0
1315.16/1315.63	c 1315s |      23 |  3551431 |  2964938 |     4349   1686 |        0 |        0
1317.16/1317.66	c 1317s |      23 |  3556192 |  2969038 |     4349   1688 |        0 |        0
1319.16/1319.70	c 1319s |      23 |  3561054 |  2973238 |     4349   1690 |        0 |        0
1321.26/1321.71	c 1321s |      23 |  3566302 |  2977538 |     4349   1692 |        0 |        0
1323.25/1323.75	c 1323s |      23 |  3571411 |  2981738 |     4349   1694 |        0 |        0
1325.25/1325.77	c 1325s |      23 |  3576880 |  2986138 |     4349   1696 |        0 |        0
1327.26/1327.78	c 1327s |      23 |  3581786 |  2990238 |     4349   1698 |        0 |        0
1329.35/1329.82	c 1329s |      23 |  3586806 |  2994438 |     4349   1699 |        0 |        0
1331.35/1331.82	c 1331s |      23 |  3591984 |  2998738 |     4349   1701 |        0 |        0
1333.35/1333.87	c 1333s |      23 |  3597069 |  3003038 |     4349   1703 |        0 |        0
1335.35/1335.88	c 1335s |      23 |  3601899 |  3007138 |     4349   1705 |        0 |        0
1337.45/1337.90	c 1337s |      23 |  3606801 |  3011238 |     4349   1707 |        0 |        0
1339.46/1339.95	c 1339s |      23 |  3611659 |  3015438 |     4349   1709 |        0 |        0
1341.45/1341.98	c 1341s |      23 |  3616336 |  3019538 |     4349   1711 |        0 |        0
1343.45/1343.99	c 1343s |      23 |  3621119 |  3023738 |     4349   1713 |        0 |        0
1345.55/1346.04	c 1346s |      23 |  3625983 |  3027938 |     4349   1714 |        0 |        0
1347.55/1348.07	c 1348s |      23 |  3631292 |  3032338 |     4349   1716 |        0 |        0
1349.55/1350.09	c 1350s |      23 |  3636326 |  3036638 |     4349   1718 |        0 |        0
1351.65/1352.13	c 1352s |      23 |  3641228 |  3040838 |     4349   1720 |        0 |        0
1353.66/1354.18	c 1354s |      23 |  3646300 |  3045238 |     4349   1722 |        0 |        0
1355.65/1356.19	c 1356s |      23 |  3651125 |  3049438 |     4349   1724 |        0 |        0
1357.65/1358.19	c 1358s |      23 |  3655962 |  3053538 |     4349   1726 |        0 |        0
1359.65/1360.20	c 1360s |      23 |  3660682 |  3057638 |     4349   1728 |        0 |        0
1361.75/1362.23	c 1362s |      23 |  3665343 |  3061638 |     4349   1730 |        0 |        0
1363.75/1364.27	c 1364s |      23 |  3670418 |  3065838 |     4349   1732 |        0 |        0
1365.75/1366.30	c 1366s |      23 |  3675517 |  3070138 |     4349   1733 |        0 |        0
1367.85/1368.34	c 1368s |      23 |  3680227 |  3074238 |     4349   1735 |        0 |        0
1369.85/1370.35	c 1370s |      23 |  3685297 |  3078438 |     4349   1737 |        0 |        0
1371.85/1372.36	c 1372s |      23 |  3690165 |  3082438 |     4349   1739 |        0 |        0
1373.95/1374.41	c 1374s |      23 |  3695076 |  3086538 |     4349   1741 |        0 |        0
1375.95/1376.41	c 1376s |      23 |  3699896 |  3090538 |     4349   1743 |        0 |        0
1377.95/1378.41	c 1378s |      23 |  3704793 |  3094638 |     4349   1744 |        0 |        0
1379.95/1380.46	c 1380s |      23 |  3709623 |  3098738 |     4349   1746 |        0 |        0
1381.94/1382.47	c 1382s |      23 |  3714353 |  3102638 |     4349   1748 |        0 |        0
1383.94/1384.48	c 1384s |      23 |  3718304 |  3106038 |     4349   1750 |        0 |        0
1385.94/1386.48	c 1386s |      23 |  3724463 |  3110738 |     4349   1752 |        0 |        0
1388.04/1388.52	c 1388s |      23 |  3729862 |  3115238 |     4349   1754 |        0 |        0
1390.05/1390.56	c 1390s |      23 |  3735192 |  3119538 |     4349   1756 |        0 |        0
1392.04/1392.56	c 1392s |      23 |  3740884 |  3123838 |     4349   1758 |        0 |        0
1394.04/1394.57	c 1394s |      23 |  3746668 |  3128138 |     4349   1760 |        0 |        0
1396.14/1396.63	c 1396s |      23 |  3752435 |  3132638 |     4349   1762 |        0 |        0
1398.14/1398.65	c 1398s |      23 |  3757650 |  3137038 |     4349   1763 |        0 |        0
1400.14/1400.69	c 1400s |      23 |  3763546 |  3141638 |     4349   1766 |        0 |        0
1402.24/1402.72	c 1402s |      23 |  3768967 |  3145938 |     4349   1767 |        0 |        0
1404.25/1404.75	c 1404s |      23 |  3774761 |  3150638 |     4349   1770 |        0 |        0
1406.24/1406.76	c 1406s |      23 |  3780087 |  3155138 |     4349   1772 |        0 |        0
1408.24/1408.78	c 1408s |      23 |  3785511 |  3159738 |     4349   1774 |        0 |        0
1410.34/1410.81	c 1410s |      23 |  3791023 |  3164238 |     4349   1776 |        0 |        0
1412.34/1412.83	c 1412s |      23 |  3796269 |  3168538 |     4349   1778 |        0 |        0
1414.34/1414.85	c 1414s |      23 |  3801581 |  3172738 |     4349   1779 |        0 |        0
1416.34/1416.86	c 1416s |      23 |  3807194 |  3177238 |     4349   1781 |        0 |        0
1418.44/1418.92	c 1418s |      23 |  3812839 |  3181938 |     4349   1784 |        0 |        0
1420.44/1420.93	c 1420s |      23 |  3818477 |  3186638 |     4349   1786 |        0 |        0
1422.44/1422.95	c 1422s |      23 |  3824437 |  3191538 |     4349   1788 |        0 |        0
1424.44/1424.96	c 1424s |      23 |  3829388 |  3195738 |     4349   1790 |        0 |        0
1426.54/1427.00	c 1426s |      23 |  3835049 |  3200438 |     4349   1792 |        0 |        0
1428.55/1429.03	c 1428s |      23 |  3840397 |  3204638 |     4349   1794 |        0 |        0
1430.54/1431.03	c 1431s |      23 |  3845626 |  3208938 |     4349   1796 |        0 |        0
1432.54/1433.09	c 1433s |      23 |  3851062 |  3213138 |     4349   1798 |        0 |        0
1434.64/1435.12	c 1435s |      23 |  3856543 |  3217538 |     4349   1799 |        0 |        0
1436.64/1437.15	c 1437s |      23 |  3861250 |  3221538 |     4349   1801 |        0 |        0
1438.64/1439.19	c 1439s |      23 |  3865929 |  3225538 |     4349   1803 |        0 |        0
1440.74/1441.20	c 1441s |      23 |  3870341 |  3229438 |     4349   1805 |        0 |        0
1442.74/1443.22	c 1443s |      23 |  3874619 |  3233238 |     4349   1807 |        0 |        0
1444.74/1445.25	c 1445s |      23 |  3879920 |  3237538 |     4349   1808 |        0 |        0
1446.74/1447.28	c 1447s |      23 |  3885066 |  3241738 |     4349   1810 |        0 |        0
1448.84/1449.30	c 1449s |      23 |  3890225 |  3245938 |     4349   1812 |        0 |        0
1450.84/1451.32	c 1451s |      23 |  3895425 |  3250238 |     4349   1814 |        0 |        0
1452.84/1453.37	c 1453s |      23 |  3901372 |  3255038 |     4349   1816 |        0 |        0
1454.94/1455.40	c 1455s |      23 |  3907120 |  3259638 |     4349   1818 |        0 |        0
1456.94/1457.41	c 1457s |      23 |  3913372 |  3264438 |     4349   1821 |        0 |        0
1458.94/1459.43	c 1459s |      23 |  3919513 |  3269238 |     4349   1823 |        0 |        0
1460.93/1461.46	c 1461s |      23 |  3925936 |  3274238 |     4349   1825 |        0 |        0
1462.93/1463.47	c 1463s |      23 |  3932441 |  3279238 |     4349   1827 |        0 |        0
1465.03/1465.51	c 1465s |      23 |  3938878 |  3284338 |     4349   1829 |        0 |        0
1467.04/1467.52	c 1467s |      23 |  3945168 |  3289438 |     4349   1832 |        0 |        0
1469.03/1469.52	c 1469s |      23 |  3950447 |  3293838 |     4349   1834 |        0 |        0
1471.03/1471.55	c 1471s |      23 |  3954959 |  3297838 |     4349   1836 |        0 |        0
1473.03/1473.59	c 1473s |      23 |  3960339 |  3302138 |     4349   1837 |        0 |        0
1475.13/1475.61	c 1475s |      23 |  3965093 |  3306138 |     4349   1839 |        0 |        0
1477.13/1477.61	c 1477s |      23 |  3969800 |  3310138 |     4349   1841 |        0 |        0
1479.14/1479.63	c 1479s |      23 |  3975165 |  3314438 |     4349   1843 |        0 |        0
1481.13/1481.64	c 1481s |      23 |  3980187 |  3318638 |     4349   1845 |        0 |        0
1483.13/1483.68	c 1483s |      23 |  3984938 |  3322538 |     4349   1847 |        0 |        0
1485.23/1485.75	c 1485s |      23 |  3990049 |  3326838 |     4349   1849 |        0 |        0
1487.33/1487.81	c 1487s |      23 |  3995430 |  3331138 |     4349   1850 |        0 |        0
1489.33/1489.82	c 1489s |      23 |  4000607 |  3335338 |     4349   1852 |        0 |        0
1491.33/1491.86	c 1491s |      23 |  4005570 |  3339538 |     4349   1854 |        0 |        0
1493.34/1493.89	c 1493s |      23 |  4010855 |  3343838 |     4349   1856 |        0 |        0
1495.43/1495.90	c 1495s |      23 |  4015482 |  3347838 |     4349   1858 |        0 |        0
1497.43/1497.91	c 1497s |      23 |  4020854 |  3352138 |     4349   1860 |        0 |        0
1499.43/1499.92	c 1499s |      23 |  4025718 |  3356238 |     4784   1861 |        0 |        0
1501.43/1501.94	c 1501s |      23 |  4030411 |  3360238 |     4784   1863 |        0 |        0
1503.43/1503.98	c 1503s |      23 |  4035254 |  3364338 |     4784   1865 |        0 |        0
1505.43/1506.00	c 1505s |      23 |  4039971 |  3368338 |     4784   1866 |        0 |        0
1507.52/1508.01	c 1507s |      23 |  4045023 |  3372338 |     4784   1868 |        0 |        0
1509.52/1510.05	c 1510s |      23 |  4049856 |  3376238 |     4784   1870 |        0 |        0
1509.72/1510.23	c 1510s |      24 |  4050412 |  3376662 |     4784   1870 |        0 |        0
1511.72/1512.26	c 1512s |      24 |  4056626 |  3381162 |     4784   1872 |        0 |        0
1513.72/1514.28	c 1514s |      24 |  4062111 |  3385562 |     4784   1873 |        0 |        0
1515.82/1516.32	c 1516s |      24 |  4066874 |  3389462 |     4784   1875 |        0 |        0
1517.82/1518.34	c 1518s |      24 |  4072365 |  3393662 |     4784   1877 |        0 |        0
1519.83/1520.36	c 1520s |      24 |  4077662 |  3397762 |     4784   1878 |        0 |        0
1521.93/1522.42	c 1522s |      24 |  4082859 |  3401862 |     4784   1880 |        0 |        0
1523.92/1524.47	c 1524s |      24 |  4087948 |  3405962 |     4784   1882 |        0 |        0
1526.02/1526.51	c 1526s |      24 |  4092563 |  3409962 |     4784   1883 |        0 |        0
1528.02/1528.52	c 1528s |      24 |  4096943 |  3413762 |     4784   1885 |        0 |        0
1530.02/1530.54	c 1530s |      24 |  4101468 |  3417562 |     4784   1886 |        0 |        0
1532.02/1532.57	c 1532s |      24 |  4106166 |  3421462 |     4784   1888 |        0 |        0
1534.13/1534.60	c 1534s |      24 |  4110785 |  3425262 |     4784   1890 |        0 |        0
1536.12/1536.62	c 1536s |      24 |  4115493 |  3429162 |     4784   1891 |        0 |        0
1538.12/1538.67	c 1538s |      24 |  4120400 |  3433162 |     4784   1893 |        0 |        0
1540.12/1540.69	c 1540s |      24 |  4125086 |  3437062 |     4784   1894 |        0 |        0
1542.22/1542.73	c 1542s |      24 |  4129579 |  3440862 |     4784   1896 |        0 |        0
1544.22/1544.77	c 1544s |      24 |  4134465 |  3444762 |     4784   1898 |        0 |        0
1546.32/1546.81	c 1546s |      24 |  4139284 |  3448662 |     4784   1899 |        0 |        0
1548.32/1548.86	c 1548s |      24 |  4143815 |  3452362 |     4784   1901 |        0 |        0
1550.32/1550.87	c 1550s |      24 |  4148078 |  3455962 |     4784   1902 |        0 |        0
1552.42/1552.90	c 1552s |      24 |  4152917 |  3459862 |     4784   1904 |        0 |        0
1554.41/1554.96	c 1554s |      24 |  4157851 |  3463962 |     4784   1905 |        0 |        0
1556.42/1556.97	c 1556s |      24 |  4162446 |  3467662 |     4784   1907 |        0 |        0
1558.52/1559.01	c 1558s |      24 |  4167104 |  3471462 |     4784   1908 |        0 |        0
1560.53/1561.03	c 1561s |      24 |  4171579 |  3475162 |     4784   1910 |        0 |        0
1562.52/1563.07	c 1563s |      24 |  4176631 |  3479162 |     4784   1912 |        0 |        0
1564.62/1565.11	c 1565s |      24 |  4181422 |  3483062 |     4784   1913 |        0 |        0
1566.62/1567.13	c 1567s |      24 |  4186229 |  3487062 |     4784   1915 |        0 |        0
1568.62/1569.18	c 1569s |      24 |  4191358 |  3491162 |     4784   1916 |        0 |        0
1570.72/1571.21	c 1571s |      24 |  4195667 |  3494862 |     4784   1918 |        0 |        0
1572.72/1573.23	c 1573s |      24 |  4200019 |  3498562 |     4784   1919 |        0 |        0
1574.73/1575.27	c 1575s |      24 |  4205297 |  3502662 |     4784   1921 |        0 |        0
1576.82/1577.31	c 1577s |      24 |  4209828 |  3506462 |     4784   1923 |        0 |        0
1578.82/1579.36	c 1579s |      24 |  4214527 |  3510362 |     4784   1924 |        0 |        0
1580.82/1581.38	c 1581s |      24 |  4218958 |  3514262 |     4784   1926 |        0 |        0
1582.82/1583.38	c 1583s |      24 |  4223191 |  3517862 |     4784   1927 |        0 |        0
1584.92/1585.43	c 1585s |      24 |  4228609 |  3522062 |     4784   1929 |        0 |        0
1586.92/1587.46	c 1587s |      24 |  4233470 |  3525862 |     4784   1931 |        0 |        0
1588.92/1589.47	c 1589s |      24 |  4238367 |  3529862 |     4784   1932 |        0 |        0
1591.02/1591.51	c 1591s |      24 |  4243176 |  3533762 |     4784   1934 |        0 |        0
1593.02/1593.52	c 1593s |      24 |  4247887 |  3537562 |     4784   1935 |        0 |        0
1595.02/1595.57	c 1595s |      24 |  4253120 |  3541762 |     4784   1937 |        0 |        0
1597.11/1597.60	c 1597s |      24 |  4257562 |  3545562 |     4784   1939 |        0 |        0
1599.11/1599.61	c 1599s |      24 |  4262019 |  3549362 |     4784   1940 |        0 |        0
1601.12/1601.65	c 1601s |      24 |  4266726 |  3553362 |     4784   1942 |        0 |        0
1603.11/1603.67	c 1603s |      24 |  4271563 |  3557262 |     4784   1943 |        0 |        0
1605.11/1605.68	c 1605s |      24 |  4276413 |  3561162 |     4784   1945 |        0 |        0
1607.11/1607.68	c 1607s |      24 |  4281237 |  3565062 |     4784   1947 |        0 |        0
1609.11/1609.69	c 1609s |      24 |  4285968 |  3569062 |     4784   1948 |        0 |        0
1611.12/1611.70	c 1611s |      24 |  4290479 |  3572862 |     4784   1950 |        0 |        0
1613.22/1613.70	c 1613s |      24 |  4295507 |  3577062 |     4784   1952 |        0 |        0
1615.21/1615.75	c 1615s |      24 |  4300292 |  3581162 |     4784   1953 |        0 |        0
1617.21/1617.75	c 1617s |      24 |  4305396 |  3585462 |     4784   1955 |        0 |        0
1619.21/1619.77	c 1619s |      24 |  4310398 |  3589462 |     4784   1957 |        0 |        0
1621.31/1621.82	c 1621s |      24 |  4315242 |  3593462 |     4784   1958 |        0 |        0
1623.31/1623.84	c 1623s |      24 |  4319790 |  3597262 |     4784   1960 |        0 |        0
1625.31/1625.89	c 1625s |      24 |  4324455 |  3601162 |     4784   1962 |        0 |        0
1627.41/1627.90	c 1627s |      24 |  4329037 |  3605062 |     4784   1963 |        0 |        0
1629.41/1629.92	c 1629s |      24 |  4333432 |  3608862 |     4784   1965 |        0 |        0
1631.41/1631.94	c 1631s |      24 |  4338197 |  3612762 |     4784   1966 |        0 |        0
1633.40/1633.98	c 1633s |      24 |  4343248 |  3616762 |     4784   1968 |        0 |        0
1635.40/1635.99	c 1635s |      24 |  4347791 |  3620562 |     4784   1969 |        0 |        0
1637.41/1638.00	c 1637s |      24 |  4352439 |  3624462 |     4784   1971 |        0 |        0
1639.50/1640.02	c 1639s |      24 |  4356863 |  3628262 |     4784   1973 |        0 |        0
1641.50/1642.03	c 1642s |      24 |  4361901 |  3632462 |     4784   1974 |        0 |        0
1643.50/1644.04	c 1644s |      24 |  4366585 |  3636362 |     4784   1976 |        0 |        0
1645.50/1646.08	c 1646s |      24 |  4371024 |  3640162 |     4784   1977 |        0 |        0
1647.60/1648.10	c 1648s |      24 |  4375670 |  3643962 |     4784   1979 |        0 |        0
1649.61/1650.15	c 1650s |      24 |  4380567 |  3647862 |     4784   1981 |        0 |        0
1651.60/1652.16	c 1652s |      24 |  4385356 |  3651762 |     4784   1982 |        0 |        0
1653.70/1654.20	c 1654s |      24 |  4389650 |  3655562 |     4784   1984 |        0 |        0
1655.70/1656.21	c 1656s |      24 |  4394382 |  3659562 |     4784   1985 |        0 |        0
1657.70/1658.26	c 1658s |      24 |  4398998 |  3663562 |     4784   1987 |        0 |        0
1659.70/1660.30	c 1660s |      24 |  4403592 |  3667562 |     4784   1989 |        0 |        0
1661.80/1662.31	c 1662s |      24 |  4408181 |  3671662 |     4784   1990 |        0 |        0
1663.81/1664.34	c 1664s |      24 |  4412726 |  3675662 |     4784   1992 |        0 |        0
1665.80/1666.35	c 1666s |      24 |  4417045 |  3679462 |     4784   1994 |        0 |        0
1667.80/1668.35	c 1668s |      24 |  4421459 |  3683362 |     4784   1995 |        0 |        0
1669.80/1670.37	c 1670s |      24 |  4426244 |  3687262 |     4784   1997 |        0 |        0
1671.90/1672.41	c 1672s |      24 |  4431575 |  3691362 |     4784   1998 |        0 |        0
1673.90/1674.45	c 1674s |      24 |  4436745 |  3695362 |     4784   2000 |        0 |        0
1675.91/1676.48	c 1676s |      24 |  4442241 |  3699962 |     4784   2002 |        0 |        0
1678.00/1678.55	c 1678s |      24 |  4446891 |  3703962 |     4784   2004 |        0 |        0
1680.10/1680.61	c 1680s |      24 |  4451684 |  3708062 |     4784   2005 |        0 |        0
1682.10/1682.64	c 1682s |      24 |  4456290 |  3712062 |     4784   2007 |        0 |        0
1684.10/1684.68	c 1684s |      24 |  4460984 |  3716062 |     4784   2008 |        0 |        0
1686.20/1686.71	c 1686s |      24 |  4465639 |  3720062 |     4784   2010 |        0 |        0
1688.20/1688.72	c 1688s |      24 |  4470653 |  3724162 |     4784   2012 |        0 |        0
1690.20/1690.75	c 1690s |      24 |  4475990 |  3728462 |     4784   2014 |        0 |        0
1692.20/1692.76	c 1692s |      24 |  4480810 |  3732462 |     4784   2015 |        0 |        0
1694.20/1694.76	c 1694s |      24 |  4485106 |  3736162 |     4784   2017 |        0 |        0
1696.30/1696.80	c 1696s |      24 |  4490207 |  3740362 |     4784   2018 |        0 |        0
1698.29/1698.82	c 1698s |      24 |  4494916 |  3744162 |     4784   2020 |        0 |        0
1700.29/1700.83	c 1700s |      24 |  4499771 |  3748062 |     4784   2022 |        0 |        0
1702.30/1702.86	c 1702s |      24 |  4504937 |  3752262 |     4784   2023 |        0 |        0
1704.29/1704.88	c 1704s |      24 |  4509582 |  3756162 |     4784   2025 |        0 |        0
1706.39/1706.92	c 1706s |      24 |  4514482 |  3760062 |     4784   2026 |        0 |        0
1708.39/1708.96	c 1708s |      24 |  4519024 |  3763962 |     4784   2028 |        0 |        0
1710.49/1711.02	c 1710s |      24 |  4524006 |  3768062 |     4784   2030 |        0 |        0
1712.49/1713.04	c 1713s |      24 |  4528322 |  3771762 |     4784   2031 |        0 |        0
1714.50/1715.07	c 1715s |      24 |  4532407 |  3775362 |     4784   2033 |        0 |        0
1716.49/1717.07	c 1717s |      24 |  4536933 |  3779162 |     4784   2034 |        0 |        0
1718.49/1719.07	c 1719s |      24 |  4541690 |  3783062 |     4784   2036 |        0 |        0
1720.59/1721.11	c 1721s |      24 |  4546049 |  3786862 |     4784   2037 |        0 |        0
1722.59/1723.13	c 1723s |      24 |  4550370 |  3790662 |     4784   2039 |        0 |        0
1724.59/1725.17	c 1725s |      24 |  4555430 |  3794762 |     4784   2041 |        0 |        0
1726.60/1727.17	c 1727s |      24 |  4560410 |  3798862 |     4784   2042 |        0 |        0
1728.70/1729.22	c 1729s |      24 |  4565184 |  3802962 |     4784   2044 |        0 |        0
1730.69/1731.27	c 1731s |      24 |  4569475 |  3806762 |     4784   2046 |        0 |        0
1732.79/1733.32	c 1733s |      24 |  4573846 |  3810662 |     4784   2047 |        0 |        0
1734.79/1735.36	c 1735s |      24 |  4577937 |  3814362 |     4784   2049 |        0 |        0
1736.79/1737.39	c 1737s |      24 |  4583181 |  3818662 |     4784   2050 |        0 |        0
1738.89/1739.40	c 1739s |      24 |  4588286 |  3822862 |     4784   2052 |        0 |        0
1740.89/1741.42	c 1741s |      24 |  4593015 |  3826862 |     4784   2054 |        0 |        0
1742.89/1743.47	c 1743s |      24 |  4597492 |  3830662 |     4784   2055 |        0 |        0
1744.99/1745.51	c 1745s |      24 |  4601958 |  3834462 |     4784   2057 |        0 |        0
1746.99/1747.56	c 1747s |      24 |  4606645 |  3838462 |     4784   2058 |        0 |        0
1748.99/1749.58	c 1749s |      24 |  4611155 |  3842362 |     4784   2060 |        0 |        0
1750.99/1751.59	c 1751s |      24 |  4615410 |  3846062 |     4784   2062 |        0 |        0
1753.09/1753.62	c 1753s |      24 |  4620440 |  3850362 |     4784   2063 |        0 |        0
1755.09/1755.65	c 1755s |      24 |  4625287 |  3854562 |     4784   2065 |        0 |        0
1757.08/1757.66	c 1757s |      24 |  4629422 |  3858262 |     4784   2067 |        0 |        0
1759.08/1759.67	c 1759s |      24 |  4633953 |  3862262 |     4784   2068 |        0 |        0
1761.18/1761.70	c 1761s |      24 |  4638582 |  3866262 |     4784   2070 |        0 |        0
1763.18/1763.73	c 1763s |      24 |  4643265 |  3870262 |     4784   2072 |        0 |        0
1765.18/1765.73	c 1765s |      24 |  4648004 |  3874262 |     4784   2073 |        0 |        0
1767.19/1767.78	c 1767s |      24 |  4652671 |  3878162 |     4784   2075 |        0 |        0
1769.28/1769.84	c 1769s |      24 |  4657081 |  3882062 |     4784   2076 |        0 |        0
1771.28/1771.85	c 1771s |      24 |  4661531 |  3885962 |     4784   2078 |        0 |        0
1773.28/1773.87	c 1773s |      24 |  4665993 |  3889762 |     4784   2080 |        0 |        0
1775.38/1775.91	c 1775s |      24 |  4670670 |  3893762 |     4784   2081 |        0 |        0
1777.38/1777.92	c 1777s |      24 |  4674863 |  3897362 |     4784   2083 |        0 |        0
1779.39/1779.93	c 1779s |      24 |  4679878 |  3901462 |     4784   2084 |        0 |        0
1781.38/1781.97	c 1781s |      24 |  4684715 |  3905462 |     4784   2086 |        0 |        0
1783.38/1783.97	c 1783s |      24 |  4689220 |  3909262 |     4784   2088 |        0 |        0
1785.48/1786.01	c 1785s |      24 |  4693845 |  3913162 |     4784   2089 |        0 |        0
1787.48/1788.02	c 1787s |      24 |  4698440 |  3916962 |     4784   2091 |        0 |        0
1789.48/1790.02	c 1789s |      24 |  4703204 |  3920862 |     4784   2092 |        0 |        0
1791.48/1792.02	c 1791s |      24 |  4707800 |  3924562 |     4784   2094 |        0 |        0
1793.48/1794.04	c 1794s |      24 |  4712384 |  3928362 |     4784   2095 |        0 |        0
1795.48/1796.08	c 1796s |      24 |  4717193 |  3932362 |     4784   2097 |        0 |        0
1797.49/1798.09	c 1798s |      24 |  4721790 |  3936262 |     4784   2099 |        0 |        0
1799.59/1800.10	c 1800s |      24 |  4726657 |  3940362 |     4784   2100 |        0 |        0

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 5870
/proc/meminfo: memFree=29017032/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 2678 0 0 0 0 0 0 0 20 0 4 0 109646018 735506432 3039 33554432000 4194304 16246674 140737229949168 140737229948592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 180079 3047 441 2943 0 176973 0
[pid=5870/tid=5871] ppid=5867 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 753332224 3109 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 758575104 3126 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 761720832 3141 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100153 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 5870
/proc/meminfo: memFree=29017032/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 26400 0 0 0 6 3 0 0 20 0 4 0 109646018 1247350784 26749 33554432000 4194304 16246674 140737229949168 140737229948592 5530837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 304529 26761 710 2943 0 301423 0
[pid=5870/tid=5871] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 26771 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 26780 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 26790 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 5870
/proc/meminfo: memFree=29017032/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 50611 0 0 0 12 6 0 0 20 0 4 0 109646018 1247350784 50961 33554432000 4194304 16246674 140737229949168 140737229948592 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 304529 50968 716 2943 0 301423 0
[pid=5870/tid=5871] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 50974 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 50984 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 50993 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 5870
/proc/meminfo: memFree=29017032/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 76130 0 0 0 19 10 0 0 20 0 4 0 109646018 1247350784 76479 33554432000 4194304 16246674 140737229949168 140737229948592 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 304529 76496 716 2943 0 301423 0
[pid=5870/tid=5871] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 76509 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 76520 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 76532 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1218116

[startup+0.700394 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 5870
/proc/meminfo: memFree=29017032/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 182272 0 0 0 45 23 0 0 20 0 4 0 109646018 1247350784 182621 33554432000 4194304 16246674 140737229949168 140737229931072 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 304529 182630 716 2943 0 301423 0
[pid=5870/tid=5871] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 182635 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 182640 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1247350784 182648 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.18 2.22 2.18 4/183 5874
/proc/meminfo: memFree=28033088/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 245841 0 0 0 118 31 0 0 20 0 4 0 109646018 1249447936 246170 33554432000 4194304 16246674 140737229949168 140737229948480 12478769 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 305041 246170 792 2943 0 301935 0
[pid=5870/tid=5871] ppid=5867 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1249447936 246170 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1249447936 246170 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1249447936 246170 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 5874
/proc/meminfo: memFree=27948272/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 267378 0 0 0 275 34 0 0 20 0 4 0 109646018 1337528320 267707 33554432000 4194304 16246674 140737229949168 140737229931072 6022465 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 326545 267707 792 2943 0 323439 0
[pid=5870/tid=5871] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267707 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267707 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267707 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 5874
/proc/meminfo: memFree=27945572/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 267559 0 0 0 595 34 0 0 20 0 4 0 109646018 1337528320 267888 33554432000 4194304 16246674 140737229949168 140737229931072 12875536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 326545 267888 792 2943 0 323439 0
[pid=5870/tid=5871] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267888 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267888 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267888 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 5874
/proc/meminfo: memFree=27945784/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 267574 0 0 0 1234 34 0 0 20 0 4 0 109646018 1337528320 267903 33554432000 4194304 16246674 140737229949168 140737229931072 5823320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 326545 267903 792 2943 0 323439 0
[pid=5870/tid=5871] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267903 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267903 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1337528320 267903 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.12 2.20 2.17 3/183 5874
/proc/meminfo: memFree=27944192/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 267666 0 0 0 2514 35 0 0 20 0 4 0 109646018 1338576896 267995 33554432000 4194304 16246674 140737229949168 140737229931072 5523416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 326801 267995 794 2943 0 323695 0
[pid=5870/tid=5871] ppid=5867 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1338576896 267995 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1338576896 267995 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1338576896 267995 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.15 2.20 2.17 3/183 5874
/proc/meminfo: memFree=27942800/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1308228 CPUtime=51.09 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 267962 0 0 0 5074 35 0 0 20 0 4 0 109646018 1339625472 268291 33554432000 4194304 16246674 140737229949168 140737229931072 5823905 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 327057 268291 795 2943 0 323951 0
[pid=5870/tid=5871] ppid=5867 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1339625472 268291 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1339625472 268291 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1339625472 268291 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 5924
/proc/meminfo: memFree=28014280/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 268051 0 0 0 10192 35 0 0 20 0 4 0 109646018 1339625472 268623 33554432000 4194304 16246674 140737229949168 140737229931072 5824140 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 327057 268623 795 2943 0 323951 0
[pid=5870/tid=5871] ppid=5867 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1339625472 268623 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1339625472 268623 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1339625472 268623 33554432000 4194304 16246674 140737229949168 140551261252784 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) 1308228


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

/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.25 2.25 2.19 4/183 5954
/proc/meminfo: memFree=27990324/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1301.86 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 130142 44 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 5823013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.29 2.26 2.20 4/183 5955
/proc/meminfo: memFree=27990584/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1361.85 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 136141 44 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 5722540 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 5956
/proc/meminfo: memFree=27990696/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1421.85 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 142140 45 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 6836961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/184 5961
/proc/meminfo: memFree=27990856/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1481.83 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 148138 45 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 5822472 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 5962
/proc/meminfo: memFree=27988944/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1541.83 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 154138 45 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 5963
/proc/meminfo: memFree=27988820/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1601.81 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 160135 46 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 5546868 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.18 4/182 5964
/proc/meminfo: memFree=27989696/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1661.8 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 166134 46 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229932168 13820875 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.40 2.24 2.19 3/183 5966
/proc/meminfo: memFree=27988592/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1721.79 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 172133 46 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229932168 5523203 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 5968
/proc/meminfo: memFree=27988336/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1781.78 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 178132 46 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.43 2.27 2.20 4/183 5968
/proc/meminfo: memFree=27988344/32872528 swapFree=17892/1720544
[pid=5870] ppid=5867 vsize=1317444 CPUtime=1800.09 cores=0,2,4,6
/proc/5870/stat : 5870 (toysat) R 5867 5870 3556 0 -1 4202496 270817 0 0 0 179962 47 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140737229931072 5661972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5870/statm: 329361 270979 796 2943 0 326255 0
[pid=5870/tid=5871] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5871/stat : 5871 (toysat) S 5867 5870 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551358754032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5870/tid=5872] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5872/stat : 5872 (toysat) S 5867 5870 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551348264176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5870/tid=5873] ppid=5867 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5870/task/5873/stat : 5873 (toysat) S 5867 5870 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109646018 1349062656 270979 33554432000 4194304 16246674 140737229949168 140551261252784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.63
CPU system time (s): 0.470928
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.470928
maximum resident set size= 1083916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270817
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= 438
involuntary context switches= 1892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99324 second user time and 6.52801 second system time

The end

Begin job on node117 at 2016-06-07 07:25:29
IDJOB=4078841
IDBENCH=89818
IDSOLVER=2542
FILE ID=node117/4078841-1465277129
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-820146.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078841-1465277129/watcher-4078841-1465277129 -o /tmp/evaluation-result-4078841-1465277129/solver-4078841-1465277129 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078841-1465277129.opb

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

MD5SUM BENCH= 04a6efcac49375b9407fbc5f15fae5c7
RANDOM SEED=1407824060

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29017328 kB
Buffers:           88840 kB
Cached:           120044 kB
SwapCached:        55388 kB
Active:          1221568 kB
Inactive:         178868 kB
Active(anon):    1138944 kB
Inactive(anon):    54760 kB
Active(file):      82624 kB
Inactive(file):   124108 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             16384 kB
Writeback:             0 kB
AnonPages:       2857452 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             599340 kB
SReclaimable:      43544 kB
SUnreclaim:       555796 kB
KernelStack:        1480 kB
PageTables:         9532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3000988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node117 at 2016-06-07 07:55:29