0.00/0.00	c 2016-06-06T20:44:36+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-4078589-1465238676.opb"]
0.00/0.01	c use --random-gen="2464392882 2324817441 4124984878 2466816108 521057932 1035351260 1375422081 2194247654 513207064 2537494739 1114853361 4259283631 2247737188 3513194438 2288261832 2888772611 2315027903 3359443729 3042675886 469218506 3329264310 2583067722 78554755 1804536435 1132712942 2288071249 1372206743 4485728 1309692155 1942361857 3567640920 1896571819 745576413 1205261441 3927521896 2763386668 2832869675 570210018 2112393383 4022426413 3842802689 651678365 1302740294 2015468745 2540449083 428339881 2530946339 486944610 2123034820 3372734049 4046711309 3840443047 1580938118 4113522643 911226408 624196310 665655529 1310968394 2124721611 47386110 963306986 3927614321 2083505650 917258980 2388416184 2819565818 4087675525 2153837461 995223089 1982194678 2874394870 1896710175 2460771127 4269474313 4058319871 724479469 2645280576 3718712973 3846296923 854913580 714381083 3200466896 3052002491 277993486 1148931660 1859991511 351537988 2291424058 4144210352 4264606183 894899509 3820411242 897912445 3934507884 2389939564 3052465503 154040758 3926417042 1899086660 602843332 980618884 4033515778 2807007299 4113813060 3980657718 1089680524 461527388 2497200656 1220216193 3246638322 3732902023 2795584700 3017468656 2993397912 326141534 4135722945 1513185453 1711867417 91735837 3305068992 144839955 4201340193 4081239400 3272158751 4260704391 2585677682 1094520206 2737300428 1948046976 2959927854 1401594046 3728396671 1737373361 360548896 3083789257 1676755709 1713976955 963065831 600230275 3646730177 841520578 4177762875 3826657254 2896338272 19623765 3145898421 410465227 1910072317 827976079 3416484443 3699060250 2467623357 3378877451 3050843633 918607320 1430829143 1008347273 365443882 553438350 194708681 1060889303 656693934 3452520863 420036815 472621741 131994044 183497691 372593601 2172201939 136325908 2515197102 3826817653 878364238 3685671208 2078355135 3245588571 2148960503 1305217245 369626300 1158242071 4229102006 2374335035 2491648826 120337662 230612488 2248358318 1216696054 3272524385 3704048052 3014426892 833762337 1318886443 41810198 2527386080 3408843407 2610915704 2603880801 1629458520 4251057203 1682149844 1005364575 2931724449 3242809177 421206565 587200773 206373022 389281600 538913285 2867896315 1961796791 2666612374 3929853184 3524167313 4215719304 644614504 1410995373 2095622420 530366604 2991425707 3507941105 2793377815 217856750 3246944204 797327542 1457369920 2321692329 2505706885 3186117894 3528179013 3593874138 343489380 2846803629 2851287423 1927277372 1252161560 2657168863 4127630046 758780791 761216440 1868122167 3932239319 2743179102 2355975373 2030551150 78867417 1318767491 2226304815 1159699975 2664625375 1625841507 3574788106 166057105 4148209497 988337923 3708889930 3875432030 255 362436" option to reproduce the execution
0.00/0.01	c #vars 68
0.00/0.01	c #constraints 2
31.58/31.62	c Solving starts ...
31.58/31.62	c ============================[ Search Statistics ]============================
31.58/31.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.58/31.62	c       |         |          |          |    Limit     GC | Var      | Constra 
31.58/31.62	c =============================================================================
31.58/31.62	c  0.0s |       0 |        0 |        0 |       23      0 |        0 |        0
31.58/31.63	c  0.0s |       1 |      113 |      100 |       23      1 |        0 |        0
31.58/31.65	c  0.0s |       2 |      271 |      250 |       26      5 |        0 |        0
31.58/31.67	c  0.1s |       3 |      506 |      475 |       29     11 |        0 |        0
31.68/31.71	c  0.1s |       4 |      851 |      813 |       32     20 |        0 |        0
31.68/31.77	c  0.1s |       5 |     1367 |     1320 |       36     31 |        0 |        0
31.78/31.85	c  0.2s |       6 |     2139 |     2081 |       44     48 |        0 |        0
31.89/31.98	c  0.4s |       7 |     3291 |     3223 |       49     73 |        0 |        0
32.08/32.17	c  0.5s |       8 |     5014 |     4936 |       54    109 |        0 |        0
32.38/32.44	c  0.8s |       9 |     7589 |     7506 |       60    160 |        0 |        0
32.78/32.85	c  1.2s |      10 |    11458 |    11361 |       66    231 |        0 |        0
33.38/33.48	c  1.9s |      11 |    17250 |    17144 |       73    333 |        0 |        0
34.28/34.39	c  2.8s |      12 |    25940 |    25819 |       81    477 |        0 |        0
35.67/35.79	c  4.2s |      13 |    38965 |    38832 |       90    681 |        0 |        0
37.78/37.80	c  6.2s |      13 |    58479 |    58332 |      100    975 |        0 |        0
37.78/37.80	c  6.2s |      14 |    58496 |    58352 |      100    975 |        0 |        0
39.78/39.81	c  8.2s |      14 |    77157 |    76952 |      100   1236 |        0 |        0
41.18/41.22	c  9.6s |      15 |    87876 |    87632 |      111   1382 |        0 |        0
43.18/43.22	c 11.6s |      15 |   104129 |   103832 |      111   1584 |        0 |        0
45.19/45.23	c 13.6s |      15 |   119946 |   119632 |      111   1785 |        0 |        0
46.68/46.74	c 15.1s |      16 |   131903 |   131552 |      123   1939 |        0 |        0
48.67/48.74	c 17.1s |      16 |   148144 |   147752 |      123   2127 |        0 |        0
50.68/50.75	c 19.1s |      16 |   164054 |   163652 |      123   2313 |        0 |        0
52.68/52.75	c 21.1s |      16 |   179991 |   179552 |      123   2500 |        0 |        0
54.68/54.76	c 23.1s |      16 |   195746 |   195252 |      123   2687 |        0 |        0
54.98/55.04	c 23.4s |      17 |   197927 |   197432 |      136   2711 |        0 |        0
56.98/57.05	c 25.4s |      17 |   213649 |   213132 |      136   2884 |        0 |        0
58.98/59.06	c 27.4s |      17 |   229615 |   229032 |      136   3061 |        0 |        0
60.97/61.06	c 29.4s |      17 |   244542 |   243932 |      136   3225 |        0 |        0
62.97/63.08	c 31.5s |      17 |   259161 |   258532 |      136   3388 |        0 |        0
64.98/65.09	c 33.5s |      17 |   273584 |   272932 |      136   3548 |        0 |        0
66.98/67.10	c 35.5s |      17 |   288227 |   287532 |      136   3716 |        0 |        0
68.28/68.31	c 36.7s |      18 |   296962 |   296252 |      150   3814 |        0 |        0
70.27/70.31	c 38.7s |      18 |   311091 |   310352 |      150   3956 |        0 |        0
72.27/72.32	c 40.7s |      18 |   324905 |   324152 |      150   4096 |        0 |        0
74.28/74.32	c 42.7s |      18 |   338504 |   337752 |      150   4234 |        0 |        0
76.27/76.33	c 44.7s |      18 |   352201 |   351452 |      150   4375 |        0 |        0
78.28/78.33	c 46.7s |      18 |   365822 |   365052 |      150   4515 |        0 |        0
80.28/80.33	c 48.7s |      18 |   379642 |   378852 |      150   4658 |        0 |        0
82.27/82.34	c 50.7s |      18 |   393362 |   392552 |      150   4802 |        0 |        0
84.27/84.35	c 52.7s |      18 |   407283 |   406452 |      150   4944 |        0 |        0
86.27/86.35	c 54.7s |      18 |   420793 |   419952 |      150   5083 |        0 |        0
88.27/88.35	c 56.7s |      18 |   434502 |   433652 |      150   5228 |        0 |        0
89.87/89.95	c 58.3s |      19 |   445347 |   444482 |      165   5339 |        0 |        0
91.87/91.97	c 60.3s |      19 |   459475 |   458582 |      165   5473 |        0 |        0
93.87/93.97	c 62.4s |      19 |   473379 |   472482 |      165   5606 |        0 |        0
95.87/95.98	c 64.4s |      19 |   487186 |   486282 |      165   5738 |        0 |        0
97.88/97.98	c 66.4s |      19 |   501293 |   500382 |      165   5874 |        0 |        0
99.87/99.99	c 68.4s |      19 |   515401 |   514482 |      165   6010 |        0 |        0
101.87/101.99	c 70.4s |      19 |   529608 |   528682 |      165   6150 |        0 |        0
103.87/103.99	c 72.4s |      19 |   543915 |   542982 |      165   6291 |        0 |        0
105.87/105.99	c 74.4s |      19 |   557718 |   556782 |      165   6423 |        0 |        0
107.97/108.00	c 76.4s |      19 |   571826 |   570882 |      165   6559 |        0 |        0
109.98/110.01	c 78.4s |      19 |   586138 |   585182 |      165   6700 |        0 |        0
111.97/112.02	c 80.4s |      19 |   600257 |   599282 |      165   6836 |        0 |        0
113.97/114.02	c 82.4s |      19 |   614362 |   613382 |      165   6974 |        0 |        0
115.97/116.03	c 84.4s |      19 |   628575 |   627582 |      165   7114 |        0 |        0
117.97/118.04	c 86.4s |      19 |   642886 |   641882 |      165   7256 |        0 |        0
119.97/120.04	c 88.4s |      19 |   657090 |   656082 |      165   7395 |        0 |        0
121.47/121.54	c 89.9s |      20 |   667838 |   666827 |      182   7496 |        0 |        0
123.46/123.55	c 91.9s |      20 |   681962 |   680927 |      182   7619 |        0 |        0
125.47/125.55	c 93.9s |      20 |   696067 |   695027 |      182   7743 |        0 |        0
127.47/127.56	c 95.9s |      20 |   710279 |   709227 |      182   7868 |        0 |        0
129.47/129.56	c 97.9s |      20 |   724483 |   723427 |      182   7996 |        0 |        0
131.47/131.57	c 99.9s |      20 |   738388 |   737327 |      182   8121 |        0 |        0
133.46/133.57	c  101s |      20 |   752394 |   751327 |      182   8244 |        0 |        0
135.46/135.58	c  103s |      20 |   766401 |   765327 |      182   8368 |        0 |        0
137.47/137.58	c  105s |      20 |   780508 |   779427 |      182   8494 |        0 |        0
139.46/139.59	c  107s |      20 |   794516 |   793427 |      182   8620 |        0 |        0
141.56/141.60	c  109s |      20 |   808715 |   807627 |      182   8748 |        0 |        0
143.56/143.60	c  111s |      20 |   823024 |   821927 |      182   8876 |        0 |        0
145.56/145.61	c  113s |      20 |   837131 |   836027 |      182   9003 |        0 |        0
147.56/147.61	c  115s |      20 |   851340 |   850227 |      182   9132 |        0 |        0
149.57/149.62	c  117s |      20 |   865643 |   864527 |      182   9262 |        0 |        0
151.56/151.63	c  120s |      20 |   879853 |   878727 |      182   9392 |        0 |        0
153.56/153.63	c  122s |      20 |   894367 |   893227 |      182   9526 |        0 |        0
155.56/155.65	c  124s |      20 |   908074 |   906927 |      182   9646 |        0 |        0
157.56/157.66	c  126s |      20 |   921785 |   920627 |      182   9768 |        0 |        0
159.57/159.67	c  128s |      20 |   935392 |   934227 |      182   9889 |        0 |        0
161.56/161.67	c  130s |      20 |   949006 |   947827 |      182  10010 |        0 |        0
163.56/163.68	c  132s |      20 |   962805 |   961627 |      182  10132 |        0 |        0
165.56/165.69	c  134s |      20 |   976704 |   975527 |      182  10256 |        0 |        0
167.56/167.69	c  136s |      20 |   990607 |   989427 |      182  10381 |        0 |        0
169.16/169.26	c  137s |      21 |  1001531 |  1000345 |      201  10477 |        0 |        0
171.16/171.27	c  139s |      21 |  1015451 |  1014245 |      201  10588 |        0 |        0
173.15/173.28	c  141s |      21 |  1029456 |  1028245 |      201  10701 |        0 |        0
175.16/175.29	c  143s |      21 |  1043667 |  1042445 |      201  10818 |        0 |        0
177.16/177.29	c  145s |      21 |  1057366 |  1056145 |      201  10929 |        0 |        0
179.15/179.30	c  147s |      21 |  1071065 |  1069845 |      201  11040 |        0 |        0
181.26/181.31	c  149s |      21 |  1085076 |  1083845 |      201  11153 |        0 |        0
183.26/183.32	c  151s |      21 |  1098886 |  1097645 |      201  11267 |        0 |        0
185.25/185.33	c  153s |      21 |  1112691 |  1111445 |      201  11381 |        0 |        0
187.25/187.33	c  155s |      21 |  1126502 |  1125245 |      201  11494 |        0 |        0
189.26/189.34	c  157s |      21 |  1140308 |  1139045 |      201  11607 |        0 |        0
191.26/191.34	c  159s |      21 |  1154112 |  1152845 |      201  11721 |        0 |        0
193.25/193.34	c  161s |      21 |  1167915 |  1166645 |      201  11835 |        0 |        0
195.26/195.35	c  163s |      21 |  1181820 |  1180545 |      201  11951 |        0 |        0
197.25/197.36	c  165s |      21 |  1195831 |  1194545 |      201  12068 |        0 |        0
199.26/199.37	c  167s |      21 |  1209833 |  1208545 |      201  12182 |        0 |        0
201.26/201.37	c  169s |      21 |  1223732 |  1222445 |      201  12295 |        0 |        0
203.26/203.38	c  171s |      21 |  1237733 |  1236445 |      201  12411 |        0 |        0
205.25/205.38	c  173s |      21 |  1251738 |  1250445 |      201  12526 |        0 |        0
207.26/207.39	c  175s |      21 |  1266039 |  1264745 |      201  12644 |        0 |        0
209.25/209.39	c  177s |      21 |  1280244 |  1278945 |      201  12763 |        0 |        0
211.35/211.40	c  179s |      21 |  1294443 |  1293145 |      201  12883 |        0 |        0
213.36/213.41	c  181s |      21 |  1308855 |  1307545 |      201  13002 |        0 |        0
215.35/215.41	c  183s |      21 |  1323154 |  1321845 |      201  13120 |        0 |        0
217.35/217.41	c  185s |      21 |  1337261 |  1335945 |      201  13236 |        0 |        0
219.35/219.41	c  187s |      21 |  1351363 |  1350045 |      201  13352 |        0 |        0
221.35/221.42	c  189s |      21 |  1365467 |  1364145 |      201  13469 |        0 |        0
223.35/223.42	c  191s |      21 |  1379777 |  1378445 |      201  13589 |        0 |        0
225.35/225.42	c  193s |      21 |  1393788 |  1392445 |      201  13705 |        0 |        0
227.35/227.43	c  195s |      21 |  1407793 |  1406445 |      201  13822 |        0 |        0
229.35/229.44	c  197s |      21 |  1421800 |  1420445 |      201  13939 |        0 |        0
231.35/231.45	c  199s |      21 |  1435904 |  1434545 |      201  14057 |        0 |        0
233.35/233.46	c  201s |      21 |  1449910 |  1448545 |      201  14175 |        0 |        0
235.36/235.46	c  203s |      21 |  1463915 |  1462545 |      201  14291 |        0 |        0
237.35/237.47	c  205s |      21 |  1477914 |  1476545 |      201  14407 |        0 |        0
239.35/239.47	c  207s |      21 |  1492322 |  1490945 |      222  14526 |        0 |        0
240.74/240.85	c  209s |      22 |  1502006 |  1500622 |      222  14600 |        0 |        0
242.75/242.85	c  211s |      22 |  1515523 |  1514122 |      222  14702 |        0 |        0
244.75/244.86	c  213s |      22 |  1528932 |  1527522 |      222  14805 |        0 |        0
246.75/246.87	c  215s |      22 |  1542546 |  1541122 |      222  14909 |        0 |        0
248.75/248.89	c  217s |      22 |  1556052 |  1554622 |      222  15013 |        0 |        0
250.75/250.89	c  219s |      22 |  1569662 |  1568222 |      222  15118 |        0 |        0
252.75/252.89	c  221s |      22 |  1583273 |  1581822 |      222  15223 |        0 |        0
254.75/254.89	c  223s |      22 |  1596997 |  1595522 |      222  15329 |        0 |        0
256.84/256.90	c  225s |      22 |  1610816 |  1609322 |      222  15437 |        0 |        0
258.84/258.91	c  227s |      22 |  1624536 |  1623022 |      222  15544 |        0 |        0
260.84/260.92	c  229s |      22 |  1638378 |  1636822 |      222  15652 |        0 |        0
262.85/262.93	c  231s |      22 |  1652406 |  1650822 |      222  15759 |        0 |        0
264.85/264.93	c  233s |      22 |  1666506 |  1664922 |      222  15864 |        0 |        0
266.85/266.94	c  235s |      22 |  1680404 |  1678822 |      222  15969 |        0 |        0
268.85/268.94	c  237s |      22 |  1694003 |  1692422 |      222  16070 |        0 |        0
270.85/270.96	c  239s |      22 |  1707706 |  1706122 |      222  16174 |        0 |        0
272.85/272.97	c  241s |      22 |  1721212 |  1719622 |      222  16275 |        0 |        0
274.84/274.98	c  243s |      22 |  1734615 |  1733022 |      222  16377 |        0 |        0
276.84/276.98	c  245s |      22 |  1747921 |  1746322 |      222  16478 |        0 |        0
278.84/278.98	c  247s |      22 |  1761221 |  1759622 |      222  16580 |        0 |        0
280.84/280.99	c  249s |      22 |  1774522 |  1772922 |      222  16680 |        0 |        0
282.84/282.99	c  251s |      22 |  1787829 |  1786222 |      222  16782 |        0 |        0
284.85/285.00	c  253s |      22 |  1801431 |  1799822 |      222  16886 |        0 |        0
286.94/287.00	c  255s |      22 |  1815235 |  1813622 |      222  16992 |        0 |        0
288.94/289.01	c  257s |      22 |  1828935 |  1827322 |      222  17099 |        0 |        0
290.94/291.02	c  259s |      22 |  1842538 |  1840922 |      222  17201 |        0 |        0
292.94/293.03	c  261s |      22 |  1856240 |  1854622 |      222  17306 |        0 |        0
294.94/295.04	c  263s |      22 |  1870045 |  1868422 |      222  17412 |        0 |        0
296.94/297.05	c  265s |      22 |  1883854 |  1882222 |      222  17518 |        0 |        0
298.94/299.06	c  267s |      22 |  1897655 |  1896022 |      222  17624 |        0 |        0
300.94/301.07	c  269s |      22 |  1911354 |  1909722 |      222  17729 |        0 |        0
302.94/303.08	c  271s |      22 |  1925154 |  1923522 |      222  17834 |        0 |        0
304.93/305.09	c  273s |      22 |  1939058 |  1937422 |      222  17941 |        0 |        0
307.03/307.11	c  275s |      22 |  1953057 |  1951422 |      222  18049 |        0 |        0
309.05/309.11	c  277s |      22 |  1966961 |  1965322 |      222  18156 |        0 |        0
311.04/311.11	c  279s |      22 |  1981065 |  1979422 |      222  18265 |        0 |        0
313.04/313.11	c  281s |      22 |  1995077 |  1993422 |      222  18375 |        0 |        0
315.04/315.11	c  283s |      22 |  2009385 |  2007722 |      222  18484 |        0 |        0
317.04/317.12	c  285s |      22 |  2023505 |  2021822 |      222  18593 |        0 |        0
319.04/319.13	c  287s |      22 |  2037515 |  2035822 |      222  18701 |        0 |        0
321.04/321.15	c  289s |      22 |  2051714 |  2050022 |      222  18811 |        0 |        0
323.04/323.16	c  291s |      22 |  2065711 |  2064022 |      222  18919 |        0 |        0
325.03/325.16	c  293s |      22 |  2079620 |  2077922 |      222  19026 |        0 |        0
327.03/327.17	c  295s |      22 |  2093512 |  2091822 |      222  19133 |        0 |        0
329.04/329.17	c  297s |      22 |  2107216 |  2105522 |      222  19239 |        0 |        0
331.04/331.18	c  299s |      22 |  2120920 |  2119222 |      222  19345 |        0 |        0
333.04/333.19	c  301s |      22 |  2134724 |  2133022 |      222  19453 |        0 |        0
335.04/335.19	c  303s |      22 |  2148538 |  2146822 |      222  19561 |        0 |        0
337.14/337.20	c  305s |      22 |  2162249 |  2160522 |      222  19669 |        0 |        0
339.13/339.21	c  307s |      22 |  2175952 |  2174222 |      222  19778 |        0 |        0
341.13/341.21	c  309s |      22 |  2189359 |  2187622 |      222  19882 |        0 |        0
343.14/343.22	c  311s |      22 |  2202563 |  2200822 |      222  19985 |        0 |        0
345.13/345.23	c  313s |      22 |  2216061 |  2214322 |      222  20090 |        0 |        0
347.13/347.24	c  315s |      22 |  2229672 |  2227922 |      222  20196 |        0 |        0
349.13/349.24	c  317s |      22 |  2243069 |  2241322 |      245  20297 |        0 |        0
350.53/350.69	c  319s |      23 |  2252789 |  2251038 |      245  20366 |        0 |        0
352.63/352.70	c  321s |      23 |  2266315 |  2264538 |      245  20459 |        0 |        0
354.63/354.71	c  323s |      23 |  2279830 |  2278038 |      245  20554 |        0 |        0
356.63/356.72	c  325s |      23 |  2293330 |  2291538 |      245  20647 |        0 |        0
358.64/358.72	c  327s |      23 |  2306841 |  2305038 |      245  20742 |        0 |        0
360.63/360.73	c  329s |      23 |  2320444 |  2318638 |      245  20838 |        0 |        0
362.63/362.73	c  331s |      23 |  2334054 |  2332238 |      245  20934 |        0 |        0
364.63/364.74	c  333s |      23 |  2347663 |  2345838 |      245  21030 |        0 |        0
366.63/366.75	c  335s |      23 |  2360969 |  2359138 |      245  21123 |        0 |        0
368.63/368.76	c  337s |      23 |  2374485 |  2372638 |      245  21219 |        0 |        0
370.63/370.77	c  339s |      23 |  2388091 |  2386238 |      245  21315 |        0 |        0
372.63/372.78	c  341s |      23 |  2401500 |  2399638 |      245  21409 |        0 |        0
374.63/374.79	c  343s |      23 |  2414899 |  2413038 |      245  21503 |        0 |        0
376.73/376.80	c  345s |      23 |  2428510 |  2426638 |      245  21600 |        0 |        0
378.73/378.81	c  347s |      23 |  2442010 |  2440138 |      245  21695 |        0 |        0
380.73/380.82	c  349s |      23 |  2455525 |  2453638 |      245  21791 |        0 |        0
382.73/382.83	c  351s |      23 |  2469136 |  2467238 |      245  21889 |        0 |        0
384.73/384.84	c  353s |      23 |  2482450 |  2480538 |      245  21984 |        0 |        0
386.73/386.85	c  355s |      23 |  2495654 |  2493738 |      245  22078 |        0 |        0
388.73/388.85	c  357s |      23 |  2509070 |  2507138 |      245  22173 |        0 |        0
390.73/390.86	c  359s |      23 |  2522375 |  2520438 |      245  22266 |        0 |        0
392.73/392.86	c  361s |      23 |  2535789 |  2533838 |      245  22360 |        0 |        0
394.73/394.86	c  363s |      23 |  2549096 |  2547138 |      245  22454 |        0 |        0
396.72/396.87	c  365s |      23 |  2562519 |  2560538 |      245  22549 |        0 |        0
398.72/398.89	c  367s |      23 |  2575934 |  2573938 |      245  22645 |        0 |        0
400.73/400.89	c  369s |      23 |  2589445 |  2587438 |      245  22742 |        0 |        0
402.72/402.89	c  371s |      23 |  2602652 |  2600638 |      245  22834 |        0 |        0
404.73/404.89	c  373s |      23 |  2616158 |  2614138 |      245  22930 |        0 |        0
406.82/406.90	c  375s |      23 |  2629673 |  2627638 |      245  23027 |        0 |        0
408.82/408.91	c  377s |      23 |  2643190 |  2641138 |      245  23123 |        0 |        0
410.82/410.92	c  379s |      23 |  2656717 |  2654638 |      245  23219 |        0 |        0
412.82/412.93	c  381s |      23 |  2670129 |  2668038 |      245  23315 |        0 |        0
414.82/414.94	c  383s |      23 |  2684132 |  2682038 |      245  23415 |        0 |        0
416.83/416.94	c  385s |      23 |  2697931 |  2695838 |      245  23512 |        0 |        0
418.82/418.95	c  387s |      23 |  2711336 |  2709238 |      245  23608 |        0 |        0
420.82/420.97	c  389s |      23 |  2724946 |  2722838 |      245  23704 |        0 |        0
422.82/422.97	c  391s |      23 |  2738249 |  2736138 |      245  23796 |        0 |        0
424.82/424.97	c  393s |      23 |  2751655 |  2749538 |      245  23890 |        0 |        0
426.83/426.97	c  395s |      23 |  2765057 |  2762938 |      245  23984 |        0 |        0
428.82/428.97	c  397s |      23 |  2778489 |  2776338 |      245  24077 |        0 |        0
430.82/430.99	c  399s |      23 |  2792028 |  2789838 |      245  24172 |        0 |        0
432.92/433.00	c  401s |      23 |  2805652 |  2803438 |      245  24268 |        0 |        0
434.92/435.01	c  403s |      23 |  2819159 |  2816938 |      245  24364 |        0 |        0
436.92/437.02	c  405s |      23 |  2832677 |  2830438 |      245  24460 |        0 |        0
438.93/439.02	c  407s |      23 |  2846195 |  2843938 |      245  24557 |        0 |        0
440.92/441.02	c  409s |      23 |  2859913 |  2857638 |      245  24655 |        0 |        0
442.92/443.02	c  411s |      23 |  2873621 |  2871338 |      245  24753 |        0 |        0
444.92/445.03	c  413s |      23 |  2887227 |  2884938 |      245  24850 |        0 |        0
446.91/447.03	c  415s |      23 |  2900642 |  2898338 |      245  24943 |        0 |        0
448.91/449.04	c  417s |      23 |  2914043 |  2911738 |      245  25038 |        0 |        0
450.92/451.04	c  419s |      23 |  2927447 |  2925138 |      245  25132 |        0 |        0
452.92/453.04	c  421s |      23 |  2940847 |  2938538 |      245  25226 |        0 |        0
454.92/455.04	c  423s |      23 |  2954352 |  2952038 |      245  25321 |        0 |        0
456.92/457.05	c  425s |      23 |  2967862 |  2965538 |      245  25417 |        0 |        0
458.91/459.06	c  427s |      23 |  2981565 |  2979238 |      245  25516 |        0 |        0
460.93/461.07	c  429s |      23 |  2995170 |  2992838 |      245  25615 |        0 |        0
462.91/463.08	c  431s |      23 |  3008994 |  3006638 |      245  25715 |        0 |        0
464.92/465.09	c  433s |      23 |  3022500 |  3020138 |      245  25809 |        0 |        0
466.91/467.09	c  435s |      23 |  3036227 |  3033838 |      245  25906 |        0 |        0
468.91/469.09	c  437s |      23 |  3049933 |  3047538 |      245  26002 |        0 |        0
471.02/471.10	c  439s |      23 |  3063533 |  3061138 |      245  26097 |        0 |        0
473.02/473.11	c  441s |      23 |  3077236 |  3074838 |      245  26193 |        0 |        0
475.02/475.12	c  443s |      23 |  3091040 |  3088638 |      245  26290 |        0 |        0
477.01/477.13	c  445s |      23 |  3104762 |  3102338 |      245  26388 |        0 |        0
479.01/479.13	c  447s |      23 |  3118568 |  3116138 |      245  26486 |        0 |        0
481.01/481.13	c  449s |      23 |  3132489 |  3130038 |      245  26585 |        0 |        0
483.02/483.14	c  451s |      23 |  3146100 |  3143638 |      245  26682 |        0 |        0
485.02/485.14	c  453s |      23 |  3159934 |  3157438 |      245  26779 |        0 |        0
487.02/487.15	c  455s |      23 |  3173644 |  3171138 |      245  26877 |        0 |        0
489.01/489.16	c  457s |      23 |  3187352 |  3184838 |      245  26974 |        0 |        0
491.01/491.17	c  459s |      23 |  3201078 |  3198538 |      245  27072 |        0 |        0
493.01/493.17	c  461s |      23 |  3214803 |  3212238 |      245  27171 |        0 |        0
495.01/495.17	c  463s |      23 |  3228627 |  3226038 |      245  27271 |        0 |        0
497.01/497.18	c  465s |      23 |  3242636 |  3240038 |      245  27370 |        0 |        0
499.01/499.19	c  467s |      23 |  3256546 |  3253938 |      245  27469 |        0 |        0
501.01/501.20	c  469s |      23 |  3270357 |  3267738 |      245  27568 |        0 |        0
503.11/503.20	c  471s |      23 |  3284175 |  3281538 |      245  27666 |        0 |        0
505.11/505.21	c  473s |      23 |  3298490 |  3295838 |      245  27768 |        0 |        0
507.11/507.22	c  475s |      23 |  3312790 |  3310138 |      245  27870 |        0 |        0
509.11/509.23	c  477s |      23 |  3326503 |  3323838 |      245  27968 |        0 |        0
511.11/511.23	c  479s |      23 |  3340326 |  3337638 |      245  28069 |        0 |        0
513.11/513.24	c  481s |      23 |  3354050 |  3351338 |      245  28169 |        0 |        0
515.11/515.24	c  483s |      23 |  3367988 |  3365238 |      270  28263 |        0 |        0
516.70/516.89	c  485s |      24 |  3379407 |  3376662 |      270  28338 |        0 |        0
518.81/518.90	c  487s |      24 |  3392135 |  3389362 |      270  28418 |        0 |        0
520.80/520.91	c  489s |      24 |  3404942 |  3402162 |      270  28500 |        0 |        0
522.81/522.92	c  491s |      24 |  3417747 |  3414962 |      270  28582 |        0 |        0
524.81/524.93	c  493s |      24 |  3430455 |  3427662 |      270  28663 |        0 |        0
526.82/526.95	c  495s |      24 |  3443061 |  3440262 |      270  28743 |        0 |        0
528.80/528.95	c  497s |      24 |  3455668 |  3452862 |      270  28823 |        0 |        0
530.81/530.96	c  499s |      24 |  3468374 |  3465562 |      270  28904 |        0 |        0
532.80/532.96	c  501s |      24 |  3480976 |  3478162 |      270  28984 |        0 |        0
534.81/534.98	c  503s |      24 |  3493687 |  3490862 |      270  29067 |        0 |        0
536.81/536.99	c  505s |      24 |  3506795 |  3503962 |      270  29150 |        0 |        0
538.80/538.99	c  507s |      24 |  3520394 |  3517562 |      270  29236 |        0 |        0
540.90/541.00	c  509s |      24 |  3533593 |  3530762 |      270  29319 |        0 |        0
542.90/543.01	c  511s |      24 |  3546506 |  3543662 |      270  29402 |        0 |        0
544.90/545.02	c  513s |      24 |  3559310 |  3556462 |      270  29484 |        0 |        0
546.90/547.03	c  515s |      24 |  3572116 |  3569262 |      270  29565 |        0 |        0
548.91/549.04	c  517s |      24 |  3584922 |  3582062 |      270  29647 |        0 |        0
550.90/551.04	c  519s |      24 |  3597629 |  3594762 |      270  29729 |        0 |        0
552.90/553.04	c  521s |      24 |  3610435 |  3607562 |      270  29810 |        0 |        0
554.90/555.04	c  523s |      24 |  3623348 |  3620462 |      270  29893 |        0 |        0
556.90/557.06	c  525s |      24 |  3636354 |  3633462 |      270  29976 |        0 |        0
558.90/559.06	c  527s |      24 |  3649253 |  3646362 |      270  30059 |        0 |        0
560.91/561.07	c  529s |      24 |  3662361 |  3659462 |      270  30142 |        0 |        0
562.90/563.07	c  531s |      24 |  3675364 |  3672462 |      270  30225 |        0 |        0
564.89/565.08	c  533s |      24 |  3688267 |  3685362 |      270  30306 |        0 |        0
566.90/567.08	c  535s |      24 |  3701169 |  3698262 |      270  30388 |        0 |        0
568.90/569.09	c  537s |      24 |  3713876 |  3710962 |      270  30469 |        0 |        0
570.99/571.10	c  539s |      24 |  3726583 |  3723662 |      270  30551 |        0 |        0
573.00/573.10	c  541s |      24 |  3739192 |  3736262 |      270  30633 |        0 |        0
574.99/575.11	c  543s |      24 |  3752009 |  3749062 |      270  30715 |        0 |        0
576.99/577.12	c  545s |      24 |  3765130 |  3762162 |      270  30800 |        0 |        0
578.99/579.13	c  547s |      24 |  3778240 |  3775262 |      270  30883 |        0 |        0
580.99/581.14	c  549s |      24 |  3791041 |  3788062 |      270  30965 |        0 |        0
583.00/583.15	c  551s |      24 |  3803852 |  3800862 |      270  31049 |        0 |        0
584.99/585.16	c  553s |      24 |  3816647 |  3813662 |      270  31132 |        0 |        0
587.00/587.17	c  555s |      24 |  3829362 |  3826362 |      270  31214 |        0 |        0
589.00/589.18	c  557s |      24 |  3842173 |  3839162 |      270  31298 |        0 |        0
591.00/591.19	c  559s |      24 |  3855075 |  3852062 |      270  31381 |        0 |        0
593.10/593.21	c  561s |      24 |  3868078 |  3865062 |      270  31464 |        0 |        0
595.10/595.21	c  563s |      24 |  3880787 |  3877762 |      270  31546 |        0 |        0
597.10/597.22	c  565s |      24 |  3893688 |  3890662 |      270  31630 |        0 |        0
599.10/599.22	c  567s |      24 |  3906591 |  3903562 |      270  31713 |        0 |        0
601.09/601.24	c  569s |      24 |  3919497 |  3916462 |      270  31797 |        0 |        0
603.09/603.24	c  571s |      24 |  3932396 |  3929362 |      270  31881 |        0 |        0
605.10/605.24	c  573s |      24 |  3945199 |  3942162 |      270  31964 |        0 |        0
607.10/607.25	c  575s |      24 |  3957803 |  3954762 |      270  32044 |        0 |        0
609.09/609.25	c  577s |      24 |  3970411 |  3967362 |      270  32124 |        0 |        0
611.10/611.26	c  579s |      24 |  3983126 |  3980062 |      270  32205 |        0 |        0
613.09/613.28	c  581s |      24 |  3995927 |  3992862 |      270  32287 |        0 |        0
615.10/615.28	c  583s |      24 |  4008534 |  4005462 |      270  32368 |        0 |        0
617.10/617.29	c  585s |      24 |  4021455 |  4018362 |      270  32451 |        0 |        0
619.19/619.31	c  587s |      24 |  4034262 |  4031162 |      270  32533 |        0 |        0
621.19/621.32	c  589s |      24 |  4047072 |  4043962 |      270  32615 |        0 |        0
623.19/623.33	c  591s |      24 |  4060070 |  4056962 |      270  32699 |        0 |        0
625.19/625.33	c  593s |      24 |  4073177 |  4070062 |      270  32784 |        0 |        0
627.19/627.34	c  595s |      24 |  4085981 |  4082862 |      270  32866 |        0 |        0
629.19/629.35	c  597s |      24 |  4098789 |  4095662 |      270  32950 |        0 |        0
631.19/631.37	c  599s |      24 |  4111591 |  4108462 |      270  33032 |        0 |        0
633.19/633.37	c  601s |      24 |  4124603 |  4121462 |      270  33117 |        0 |        0
635.19/635.38	c  603s |      24 |  4137704 |  4134562 |      270  33202 |        0 |        0
637.19/637.39	c  605s |      24 |  4150804 |  4147662 |      270  33287 |        0 |        0
639.29/639.40	c  607s |      24 |  4163909 |  4160762 |      270  33370 |        0 |        0
641.30/641.41	c  609s |      24 |  4176913 |  4173762 |      270  33454 |        0 |        0
643.29/643.41	c  611s |      24 |  4189912 |  4186762 |      270  33537 |        0 |        0
645.29/645.41	c  613s |      24 |  4203018 |  4199862 |      270  33620 |        0 |        0
647.29/647.43	c  615s |      24 |  4216118 |  4212962 |      270  33705 |        0 |        0
649.29/649.43	c  617s |      24 |  4229324 |  4226162 |      270  33789 |        0 |        0
651.29/651.43	c  619s |      24 |  4242529 |  4239362 |      270  33873 |        0 |        0
653.29/653.44	c  621s |      24 |  4255836 |  4252662 |      270  33958 |        0 |        0
655.28/655.45	c  623s |      24 |  4269334 |  4266162 |      270  34044 |        0 |        0
657.28/657.47	c  625s |      24 |  4282540 |  4279362 |      270  34129 |        0 |        0
659.28/659.48	c  627s |      24 |  4295741 |  4292562 |      270  34215 |        0 |        0
661.28/661.50	c  629s |      24 |  4308748 |  4305562 |      270  34297 |        0 |        0
663.38/663.50	c  631s |      24 |  4321653 |  4318462 |      270  34380 |        0 |        0
665.28/665.50	c  633s |      24 |  4334756 |  4331562 |      270  34464 |        0 |        0
667.38/667.50	c  635s |      24 |  4347655 |  4344462 |      270  34547 |        0 |        0
669.38/669.50	c  637s |      24 |  4360658 |  4357462 |      270  34631 |        0 |        0
671.38/671.51	c  639s |      24 |  4373760 |  4370562 |      270  34715 |        0 |        0
673.38/673.52	c  641s |      24 |  4386967 |  4383762 |      270  34800 |        0 |        0
675.38/675.52	c  643s |      24 |  4400268 |  4397062 |      270  34886 |        0 |        0
677.38/677.53	c  645s |      24 |  4413576 |  4410362 |      270  34972 |        0 |        0
679.38/679.55	c  647s |      24 |  4426879 |  4423662 |      270  35059 |        0 |        0
681.39/681.55	c  649s |      24 |  4440078 |  4436862 |      270  35144 |        0 |        0
683.39/683.56	c  651s |      24 |  4453896 |  4450662 |      270  35233 |        0 |        0
685.39/685.57	c  653s |      24 |  4467601 |  4464362 |      270  35321 |        0 |        0
687.39/687.58	c  655s |      24 |  4481100 |  4477862 |      270  35407 |        0 |        0
689.38/689.59	c  657s |      24 |  4494304 |  4491062 |      270  35493 |        0 |        0
691.48/691.61	c  659s |      24 |  4507713 |  4504462 |      270  35580 |        0 |        0
693.48/693.61	c  661s |      24 |  4521017 |  4517762 |      270  35665 |        0 |        0
695.48/695.63	c  664s |      24 |  4534213 |  4530962 |      270  35751 |        0 |        0
697.48/697.64	c  666s |      24 |  4547616 |  4544362 |      270  35838 |        0 |        0
699.48/699.65	c  668s |      24 |  4560719 |  4557462 |      270  35923 |        0 |        0
701.47/701.66	c  670s |      24 |  4573820 |  4570562 |      270  36008 |        0 |        0
703.47/703.66	c  672s |      24 |  4587020 |  4583762 |      270  36093 |        0 |        0
705.47/705.67	c  674s |      24 |  4600230 |  4596962 |      270  36180 |        0 |        0
707.47/707.68	c  676s |      24 |  4613340 |  4610062 |      270  36266 |        0 |        0
709.48/709.68	c  678s |      24 |  4626446 |  4623162 |      270  36352 |        0 |        0
711.47/711.69	c  680s |      24 |  4639755 |  4636462 |      270  36439 |        0 |        0
713.58/713.71	c  682s |      24 |  4652964 |  4649662 |      270  36524 |        0 |        0
715.58/715.72	c  684s |      24 |  4666267 |  4662962 |      270  36610 |        0 |        0
717.58/717.72	c  686s |      24 |  4679467 |  4676162 |      270  36696 |        0 |        0
719.58/719.73	c  688s |      24 |  4692677 |  4689362 |      270  36782 |        0 |        0
721.58/721.73	c  690s |      24 |  4705692 |  4702362 |      270  36866 |        0 |        0
723.58/723.74	c  692s |      24 |  4718808 |  4715462 |      270  36951 |        0 |        0
725.57/725.76	c  694s |      24 |  4732008 |  4728662 |      270  37038 |        0 |        0
727.57/727.76	c  696s |      24 |  4745008 |  4741662 |      270  37123 |        0 |        0
729.57/729.77	c  698s |      24 |  4758215 |  4754862 |      270  37210 |        0 |        0
731.58/731.77	c  700s |      24 |  4771315 |  4767962 |      270  37296 |        0 |        0
733.58/733.77	c  702s |      24 |  4784520 |  4781162 |      270  37383 |        0 |        0
735.57/735.78	c  704s |      24 |  4797725 |  4794362 |      270  37470 |        0 |        0
737.58/737.78	c  706s |      24 |  4811124 |  4807762 |      270  37559 |        0 |        0
739.57/739.79	c  708s |      24 |  4824335 |  4820962 |      270  37646 |        0 |        0
741.67/741.80	c  710s |      24 |  4837441 |  4834062 |      270  37731 |        0 |        0
743.67/743.81	c  712s |      24 |  4850449 |  4847062 |      270  37816 |        0 |        0
745.68/745.81	c  714s |      24 |  4863457 |  4860062 |      270  37901 |        0 |        0
747.67/747.82	c  716s |      24 |  4876665 |  4873262 |      270  37986 |        0 |        0
749.67/749.84	c  718s |      24 |  4890163 |  4886762 |      270  38074 |        0 |        0
751.67/751.84	c  720s |      24 |  4903059 |  4899662 |      270  38158 |        0 |        0
753.67/753.85	c  722s |      24 |  4915981 |  4912562 |      270  38243 |        0 |        0
755.68/755.85	c  724s |      24 |  4928884 |  4925462 |      270  38328 |        0 |        0
757.67/757.86	c  726s |      24 |  4941792 |  4938362 |      270  38412 |        0 |        0
759.67/759.87	c  728s |      24 |  4954604 |  4951162 |      270  38496 |        0 |        0
761.67/761.88	c  730s |      24 |  4967507 |  4964062 |      270  38581 |        0 |        0
763.67/763.89	c  732s |      24 |  4980424 |  4976962 |      270  38666 |        0 |        0
765.67/765.89	c  734s |      24 |  4993439 |  4989962 |      270  38752 |        0 |        0
767.77/767.91	c  736s |      24 |  5006548 |  5003062 |      270  38839 |        0 |        0
769.77/769.91	c  738s |      24 |  5019553 |  5016062 |      270  38925 |        0 |        0
771.76/771.91	c  740s |      24 |  5032557 |  5029062 |      297  39009 |        0 |        0
773.77/773.92	c  742s |      24 |  5045364 |  5041862 |      297  39086 |        0 |        0
775.77/775.94	c  744s |      24 |  5058369 |  5054862 |      297  39165 |        0 |        0
777.37/777.54	c  745s |      25 |  5068609 |  5065098 |      297  39226 |        0 |        0
779.36/779.55	c  747s |      25 |  5081340 |  5077798 |      297  39300 |        0 |        0
781.37/781.56	c  749s |      25 |  5093942 |  5090398 |      297  39373 |        0 |        0
783.37/783.57	c  751s |      25 |  5106756 |  5103198 |      297  39448 |        0 |        0
785.37/785.58	c  753s |      25 |  5119650 |  5116098 |      297  39524 |        0 |        0
787.37/787.59	c  755s |      25 |  5132558 |  5128998 |      297  39600 |        0 |        0
789.37/789.59	c  757s |      25 |  5145360 |  5141798 |      297  39676 |        0 |        0
791.47/791.60	c  759s |      25 |  5158166 |  5154598 |      297  39751 |        0 |        0
793.47/793.60	c  761s |      25 |  5171182 |  5167598 |      297  39827 |        0 |        0
795.46/795.60	c  763s |      25 |  5184084 |  5180498 |      297  39903 |        0 |        0
797.47/797.61	c  765s |      25 |  5197089 |  5193498 |      297  39980 |        0 |        0
799.46/799.62	c  767s |      25 |  5209794 |  5206198 |      297  40054 |        0 |        0
801.46/801.63	c  770s |      25 |  5222606 |  5218998 |      297  40130 |        0 |        0
803.46/803.63	c  772s |      25 |  5235517 |  5231898 |      297  40206 |        0 |        0
805.46/805.64	c  774s |      25 |  5248523 |  5244898 |      297  40284 |        0 |        0
807.46/807.64	c  776s |      25 |  5261738 |  5258098 |      297  40363 |        0 |        0
809.47/809.66	c  778s |      25 |  5274855 |  5271198 |      297  40441 |        0 |        0
811.46/811.66	c  780s |      25 |  5287757 |  5284098 |      297  40518 |        0 |        0
813.46/813.66	c  782s |      25 |  5300669 |  5296998 |      297  40595 |        0 |        0
815.46/815.67	c  784s |      25 |  5313771 |  5310098 |      297  40673 |        0 |        0
817.47/817.68	c  786s |      25 |  5327082 |  5323398 |      297  40752 |        0 |        0
819.47/819.69	c  788s |      25 |  5340289 |  5336598 |      297  40830 |        0 |        0
821.46/821.69	c  790s |      25 |  5353311 |  5349598 |      297  40908 |        0 |        0
823.46/823.69	c  792s |      25 |  5366110 |  5362398 |      297  40982 |        0 |        0
825.56/825.70	c  794s |      25 |  5379222 |  5375498 |      297  41060 |        0 |        0
827.56/827.70	c  796s |      25 |  5392236 |  5388498 |      297  41136 |        0 |        0
829.56/829.71	c  798s |      25 |  5405254 |  5401498 |      297  41213 |        0 |        0
831.57/831.71	c  800s |      25 |  5418269 |  5414498 |      297  41290 |        0 |        0
833.56/833.71	c  802s |      25 |  5431281 |  5427498 |      297  41367 |        0 |        0
835.56/835.73	c  804s |      25 |  5444485 |  5440698 |      297  41445 |        0 |        0
837.56/837.74	c  806s |      25 |  5457590 |  5453798 |      297  41522 |        0 |        0
839.56/839.76	c  808s |      25 |  5470705 |  5466898 |      297  41600 |        0 |        0
841.56/841.76	c  810s |      25 |  5483716 |  5479898 |      297  41678 |        0 |        0
843.56/843.76	c  812s |      25 |  5496723 |  5492898 |      297  41754 |        0 |        0
845.56/845.78	c  814s |      25 |  5509935 |  5506098 |      297  41833 |        0 |        0
847.56/847.78	c  816s |      25 |  5523245 |  5519398 |      297  41912 |        0 |        0
849.56/849.79	c  818s |      25 |  5536347 |  5532498 |      297  41989 |        0 |        0
851.55/851.79	c  820s |      25 |  5549764 |  5545898 |      297  42069 |        0 |        0
853.65/853.80	c  822s |      25 |  5563065 |  5559198 |      297  42147 |        0 |        0
855.66/855.80	c  824s |      25 |  5576168 |  5572298 |      297  42225 |        0 |        0
857.65/857.82	c  826s |      25 |  5589486 |  5585598 |      297  42303 |        0 |        0
859.65/859.82	c  828s |      25 |  5602589 |  5598698 |      297  42381 |        0 |        0
861.65/861.83	c  830s |      25 |  5615607 |  5611698 |      297  42459 |        0 |        0
863.65/863.84	c  832s |      25 |  5628716 |  5624798 |      297  42537 |        0 |        0
865.66/865.85	c  834s |      25 |  5642139 |  5638198 |      297  42617 |        0 |        0
867.65/867.86	c  836s |      25 |  5655550 |  5651598 |      297  42697 |        0 |        0
869.65/869.88	c  838s |      25 |  5668967 |  5664998 |      297  42778 |        0 |        0
871.65/871.88	c  840s |      25 |  5682076 |  5678098 |      297  42857 |        0 |        0
873.65/873.89	c  842s |      25 |  5695083 |  5691098 |      297  42935 |        0 |        0
875.65/875.89	c  844s |      25 |  5708292 |  5704298 |      297  43014 |        0 |        0
877.76/877.90	c  846s |      25 |  5721701 |  5717698 |      297  43096 |        0 |        0
879.75/879.91	c  848s |      25 |  5734815 |  5730798 |      297  43173 |        0 |        0
881.75/881.92	c  850s |      25 |  5747818 |  5743798 |      297  43249 |        0 |        0
883.75/883.94	c  852s |      25 |  5761024 |  5756998 |      297  43326 |        0 |        0
885.75/885.95	c  854s |      25 |  5774127 |  5770098 |      297  43403 |        0 |        0
887.75/887.95	c  856s |      25 |  5787236 |  5783198 |      297  43480 |        0 |        0
889.75/889.96	c  858s |      25 |  5800431 |  5796398 |      297  43558 |        0 |        0
891.75/891.97	c  860s |      25 |  5813635 |  5809598 |      297  43636 |        0 |        0
893.75/893.98	c  862s |      25 |  5826945 |  5822898 |      297  43715 |        0 |        0
895.75/895.99	c  864s |      25 |  5840444 |  5836398 |      297  43795 |        0 |        0
897.84/898.00	c  866s |      25 |  5853951 |  5849898 |      297  43875 |        0 |        0
899.84/900.01	c  868s |      25 |  5867054 |  5862998 |      297  43952 |        0 |        0
901.86/902.02	c  870s |      25 |  5880256 |  5876198 |      297  44030 |        0 |        0
903.85/904.04	c  872s |      25 |  5893459 |  5889398 |      297  44108 |        0 |        0
905.85/906.05	c  874s |      25 |  5906664 |  5902598 |      297  44186 |        0 |        0
907.85/908.06	c  876s |      25 |  5919672 |  5915598 |      297  44262 |        0 |        0
909.84/910.07	c  878s |      25 |  5932687 |  5928598 |      297  44340 |        0 |        0
911.86/912.07	c  880s |      25 |  5945695 |  5941598 |      297  44417 |        0 |        0
913.84/914.08	c  882s |      25 |  5958800 |  5954698 |      297  44495 |        0 |        0
915.84/916.08	c  884s |      25 |  5971708 |  5967598 |      297  44572 |        0 |        0
917.85/918.09	c  886s |      25 |  5984614 |  5980498 |      297  44649 |        0 |        0
919.84/920.09	c  888s |      25 |  5997723 |  5993598 |      297  44728 |        0 |        0
921.94/922.10	c  890s |      25 |  6010829 |  6006698 |      297  44806 |        0 |        0
923.95/924.10	c  892s |      25 |  6023844 |  6019698 |      297  44883 |        0 |        0
925.95/926.12	c  894s |      25 |  6037135 |  6032998 |      297  44963 |        0 |        0
927.94/928.13	c  896s |      25 |  6050635 |  6046498 |      297  45044 |        0 |        0
929.95/930.14	c  898s |      25 |  6064141 |  6059998 |      297  45125 |        0 |        0
931.94/932.14	c  900s |      25 |  6077540 |  6073398 |      297  45206 |        0 |        0
933.95/934.15	c  902s |      25 |  6090954 |  6086798 |      297  45288 |        0 |        0
935.95/936.16	c  904s |      25 |  6104162 |  6099998 |      297  45366 |        0 |        0
937.94/938.16	c  906s |      25 |  6117160 |  6112998 |      297  45442 |        0 |        0
939.94/940.17	c  908s |      25 |  6130265 |  6126098 |      297  45520 |        0 |        0
941.94/942.17	c  910s |      25 |  6143468 |  6139298 |      297  45598 |        0 |        0
943.94/944.17	c  912s |      25 |  6156665 |  6152498 |      297  45676 |        0 |        0
945.95/946.18	c  914s |      25 |  6169876 |  6165698 |      297  45755 |        0 |        0
947.94/948.18	c  916s |      25 |  6182600 |  6178398 |      297  45830 |        0 |        0
949.94/950.18	c  918s |      25 |  6195505 |  6191298 |      297  45906 |        0 |        0
951.94/952.19	c  920s |      25 |  6208304 |  6204098 |      297  45982 |        0 |        0
954.04/954.20	c  922s |      25 |  6221511 |  6217298 |      297  46060 |        0 |        0
956.04/956.20	c  924s |      25 |  6234532 |  6230298 |      297  46137 |        0 |        0
958.05/958.21	c  926s |      25 |  6247547 |  6243298 |      297  46215 |        0 |        0
960.03/960.22	c  928s |      25 |  6260264 |  6255998 |      297  46292 |        0 |        0
962.04/962.22	c  930s |      25 |  6273078 |  6268798 |      297  46368 |        0 |        0
964.03/964.24	c  932s |      25 |  6285991 |  6281698 |      297  46445 |        0 |        0
966.04/966.25	c  934s |      25 |  6298997 |  6294698 |      297  46523 |        0 |        0
968.04/968.25	c  936s |      25 |  6311799 |  6307498 |      297  46599 |        0 |        0
970.05/970.26	c  938s |      25 |  6324696 |  6320398 |      297  46676 |        0 |        0
972.04/972.28	c  940s |      25 |  6338220 |  6333898 |      297  46756 |        0 |        0
974.03/974.29	c  942s |      25 |  6351521 |  6347198 |      297  46835 |        0 |        0
976.03/976.29	c  944s |      25 |  6364722 |  6360398 |      297  46914 |        0 |        0
978.14/978.31	c  946s |      25 |  6377932 |  6373598 |      297  46993 |        0 |        0
980.14/980.31	c  948s |      25 |  6391150 |  6386798 |      297  47073 |        0 |        0
982.14/982.32	c  950s |      25 |  6404151 |  6399798 |      297  47152 |        0 |        0
984.14/984.32	c  952s |      25 |  6417155 |  6412798 |      297  47229 |        0 |        0
986.13/986.33	c  954s |      25 |  6430363 |  6425998 |      297  47309 |        0 |        0
988.13/988.33	c  956s |      25 |  6443363 |  6438998 |      297  47387 |        0 |        0
990.13/990.33	c  958s |      25 |  6456566 |  6452198 |      297  47466 |        0 |        0
992.14/992.34	c  960s |      25 |  6469672 |  6465298 |      297  47543 |        0 |        0
994.14/994.34	c  962s |      25 |  6482678 |  6478298 |      297  47621 |        0 |        0
996.13/996.34	c  964s |      25 |  6495691 |  6491298 |      297  47699 |        0 |        0
998.14/998.34	c  966s |      25 |  6508593 |  6504198 |      297  47777 |        0 |        0
1000.13/1000.36	c  968s |      25 |  6521792 |  6517398 |      297  47856 |        0 |        0
1002.14/1002.36	c  970s |      25 |  6535007 |  6530598 |      297  47935 |        0 |        0
1004.14/1004.37	c  972s |      25 |  6548401 |  6543998 |      297  48016 |        0 |        0
1006.14/1006.38	c  974s |      25 |  6561813 |  6557398 |      297  48097 |        0 |        0
1008.13/1008.38	c  976s |      25 |  6574927 |  6570498 |      297  48176 |        0 |        0
1010.13/1010.40	c  978s |      25 |  6588034 |  6583598 |      297  48254 |        0 |        0
1012.23/1012.40	c  980s |      25 |  6601147 |  6596698 |      297  48334 |        0 |        0
1014.23/1014.40	c  982s |      25 |  6614464 |  6609998 |      297  48415 |        0 |        0
1016.23/1016.42	c  984s |      25 |  6627477 |  6622998 |      297  48493 |        0 |        0
1018.23/1018.42	c  986s |      25 |  6640476 |  6635998 |      297  48572 |        0 |        0
1020.23/1020.43	c  988s |      25 |  6653487 |  6648998 |      297  48650 |        0 |        0
1022.23/1022.44	c  990s |      25 |  6666805 |  6662298 |      297  48731 |        0 |        0
1024.23/1024.44	c  992s |      25 |  6680210 |  6675698 |      297  48811 |        0 |        0
1026.23/1026.45	c  994s |      25 |  6693714 |  6689198 |      297  48893 |        0 |        0
1028.23/1028.45	c  996s |      25 |  6706923 |  6702398 |      297  48972 |        0 |        0
1030.22/1030.46	c  998s |      25 |  6720128 |  6715598 |      297  49052 |        0 |        0
1032.22/1032.48	c 1000s |      25 |  6733932 |  6729398 |      297  49137 |        0 |        0
1034.22/1034.49	c 1002s |      25 |  6747349 |  6742798 |      297  49218 |        0 |        0
1036.32/1036.50	c 1004s |      25 |  6760852 |  6756298 |      297  49300 |        0 |        0
1038.33/1038.51	c 1006s |      25 |  6774062 |  6769498 |      297  49380 |        0 |        0
1040.32/1040.51	c 1008s |      25 |  6787285 |  6782698 |      297  49461 |        0 |        0
1042.32/1042.52	c 1010s |      25 |  6800394 |  6795798 |      297  49538 |        0 |        0
1044.33/1044.53	c 1012s |      25 |  6813497 |  6808898 |      297  49616 |        0 |        0
1046.33/1046.53	c 1014s |      25 |  6826401 |  6821798 |      297  49693 |        0 |        0
1048.33/1048.54	c 1016s |      25 |  6839508 |  6834898 |      297  49772 |        0 |        0
1050.33/1050.54	c 1018s |      25 |  6852712 |  6848098 |      297  49851 |        0 |        0
1052.33/1052.55	c 1020s |      25 |  6866012 |  6861398 |      297  49930 |        0 |        0
1054.33/1054.57	c 1022s |      25 |  6879123 |  6874498 |      297  50009 |        0 |        0
1056.32/1056.57	c 1024s |      25 |  6892526 |  6887898 |      297  50090 |        0 |        0
1058.32/1058.58	c 1026s |      25 |  6905723 |  6901098 |      297  50169 |        0 |        0
1060.33/1060.59	c 1028s |      25 |  6918731 |  6914098 |      297  50247 |        0 |        0
1062.33/1062.60	c 1030s |      25 |  6931732 |  6927098 |      297  50325 |        0 |        0
1064.42/1064.61	c 1032s |      25 |  6944836 |  6940198 |      297  50404 |        0 |        0
1066.43/1066.61	c 1034s |      25 |  6958043 |  6953398 |      297  50483 |        0 |        0
1068.42/1068.62	c 1036s |      25 |  6971143 |  6966498 |      297  50561 |        0 |        0
1070.42/1070.63	c 1039s |      25 |  6984344 |  6979698 |      297  50640 |        0 |        0
1072.42/1072.64	c 1041s |      25 |  6997548 |  6992898 |      297  50719 |        0 |        0
1074.43/1074.64	c 1043s |      25 |  7010651 |  7005998 |      297  50797 |        0 |        0
1076.42/1076.65	c 1045s |      25 |  7023453 |  7018798 |      297  50875 |        0 |        0
1078.42/1078.66	c 1047s |      25 |  7036453 |  7031798 |      297  50953 |        0 |        0
1080.42/1080.67	c 1049s |      25 |  7049556 |  7044898 |      297  51032 |        0 |        0
1082.42/1082.67	c 1051s |      25 |  7062667 |  7057998 |      297  51111 |        0 |        0
1084.43/1084.68	c 1053s |      25 |  7075981 |  7071298 |      297  51191 |        0 |        0
1086.42/1086.69	c 1055s |      25 |  7089183 |  7084498 |      297  51271 |        0 |        0
1088.42/1088.69	c 1057s |      25 |  7102305 |  7097598 |      297  51351 |        0 |        0
1090.52/1090.70	c 1059s |      25 |  7115102 |  7110398 |      297  51427 |        0 |        0
1092.52/1092.70	c 1061s |      25 |  7128010 |  7123298 |      297  51505 |        0 |        0
1094.52/1094.72	c 1063s |      25 |  7141116 |  7136398 |      297  51583 |        0 |        0
1096.53/1096.73	c 1065s |      25 |  7154322 |  7149598 |      297  51662 |        0 |        0
1098.51/1098.73	c 1067s |      25 |  7167229 |  7162498 |      297  51740 |        0 |        0
1100.52/1100.73	c 1069s |      25 |  7180234 |  7175498 |      297  51818 |        0 |        0
1102.52/1102.74	c 1071s |      25 |  7193236 |  7188498 |      297  51896 |        0 |        0
1104.52/1104.75	c 1073s |      25 |  7206358 |  7201598 |      297  51976 |        0 |        0
1106.53/1106.76	c 1075s |      25 |  7219459 |  7214698 |      297  52056 |        0 |        0
1108.51/1108.77	c 1077s |      25 |  7232579 |  7227798 |      297  52135 |        0 |        0
1110.52/1110.78	c 1079s |      25 |  7245490 |  7240698 |      297  52214 |        0 |        0
1112.52/1112.79	c 1081s |      25 |  7258495 |  7253698 |      297  52293 |        0 |        0
1114.62/1114.80	c 1083s |      25 |  7271706 |  7266898 |      297  52373 |        0 |        0
1116.62/1116.81	c 1085s |      25 |  7284911 |  7280098 |      297  52452 |        0 |        0
1118.62/1118.82	c 1087s |      25 |  7298214 |  7293398 |      297  52533 |        0 |        0
1120.62/1120.82	c 1089s |      25 |  7311320 |  7306498 |      297  52612 |        0 |        0
1122.62/1122.83	c 1091s |      25 |  7324519 |  7319698 |      297  52691 |        0 |        0
1124.62/1124.83	c 1093s |      25 |  7337623 |  7332798 |      297  52770 |        0 |        0
1126.62/1126.83	c 1095s |      25 |  7350824 |  7345998 |      297  52851 |        0 |        0
1128.61/1128.85	c 1097s |      25 |  7364042 |  7359198 |      297  52931 |        0 |        0
1130.62/1130.86	c 1099s |      25 |  7377249 |  7372398 |      297  53011 |        0 |        0
1132.61/1132.86	c 1101s |      25 |  7390350 |  7385498 |      297  53090 |        0 |        0
1134.61/1134.87	c 1103s |      25 |  7403458 |  7398598 |      297  53170 |        0 |        0
1136.61/1136.87	c 1105s |      25 |  7416664 |  7411798 |      297  53251 |        0 |        0
1138.61/1138.88	c 1107s |      25 |  7429976 |  7425098 |      297  53332 |        0 |        0
1140.61/1140.89	c 1109s |      25 |  7443382 |  7438498 |      297  53414 |        0 |        0
1142.61/1142.90	c 1111s |      25 |  7456385 |  7451498 |      297  53494 |        0 |        0
1144.71/1144.90	c 1113s |      25 |  7469492 |  7464598 |      297  53575 |        0 |        0
1146.72/1146.90	c 1115s |      25 |  7482303 |  7477398 |      297  53653 |        0 |        0
1148.71/1148.91	c 1117s |      25 |  7495409 |  7490498 |      297  53734 |        0 |        0
1150.71/1150.91	c 1119s |      25 |  7508412 |  7503498 |      297  53814 |        0 |        0
1152.71/1152.91	c 1121s |      25 |  7521422 |  7516498 |      297  53894 |        0 |        0
1154.71/1154.92	c 1123s |      25 |  7534534 |  7529598 |      297  53975 |        0 |        0
1156.71/1156.92	c 1125s |      25 |  7547737 |  7542798 |      297  54056 |        0 |        0
1158.71/1158.93	c 1127s |      25 |  7561045 |  7556098 |      327  54132 |        0 |        0
1160.71/1160.93	c 1129s |      25 |  7574051 |  7569098 |      327  54205 |        0 |        0
1162.71/1162.94	c 1131s |      25 |  7586950 |  7581998 |      327  54276 |        0 |        0
1164.72/1164.94	c 1133s |      25 |  7599953 |  7594998 |      327  54348 |        0 |        0
1165.11/1165.37	c 1133s |      26 |  7602710 |  7597752 |      327  54364 |        0 |        0
1167.11/1167.37	c 1135s |      26 |  7615439 |  7610452 |      327  54433 |        0 |        0
1169.12/1169.38	c 1137s |      26 |  7627844 |  7622852 |      327  54499 |        0 |        0
1171.11/1171.39	c 1139s |      26 |  7640357 |  7635352 |      327  54567 |        0 |        0
1173.21/1173.40	c 1141s |      26 |  7652864 |  7647852 |      327  54634 |        0 |        0
1175.21/1175.40	c 1143s |      26 |  7665374 |  7660352 |      327  54702 |        0 |        0
1177.21/1177.42	c 1145s |      26 |  7677986 |  7672952 |      327  54770 |        0 |        0
1179.21/1179.42	c 1147s |      26 |  7690485 |  7685452 |      327  54837 |        0 |        0
1181.22/1181.43	c 1149s |      26 |  7702891 |  7697852 |      327  54904 |        0 |        0
1183.21/1183.43	c 1151s |      26 |  7715403 |  7710352 |      327  54972 |        0 |        0
1185.21/1185.43	c 1153s |      26 |  7727711 |  7722652 |      327  55039 |        0 |        0
1187.21/1187.44	c 1155s |      26 |  7740213 |  7735152 |      327  55107 |        0 |        0
1189.21/1189.45	c 1157s |      26 |  7752723 |  7747652 |      327  55175 |        0 |        0
1191.21/1191.46	c 1159s |      26 |  7765129 |  7760052 |      327  55243 |        0 |        0
1193.21/1193.46	c 1161s |      26 |  7777734 |  7772652 |      327  55312 |        0 |        0
1195.21/1195.48	c 1163s |      26 |  7790433 |  7785352 |      327  55381 |        0 |        0
1197.21/1197.49	c 1165s |      26 |  7803134 |  7798052 |      327  55450 |        0 |        0
1199.21/1199.49	c 1167s |      26 |  7815640 |  7810552 |      327  55518 |        0 |        0
1201.30/1201.50	c 1169s |      26 |  7828247 |  7823152 |      327  55587 |        0 |        0
1203.31/1203.50	c 1171s |      26 |  7840950 |  7835852 |      327  55657 |        0 |        0
1205.30/1205.51	c 1173s |      26 |  7853369 |  7848252 |      327  55725 |        0 |        0
1207.30/1207.51	c 1175s |      26 |  7865871 |  7860752 |      327  55794 |        0 |        0
1209.30/1209.52	c 1177s |      26 |  7878481 |  7873352 |      327  55864 |        0 |        0
1211.30/1211.53	c 1179s |      26 |  7891081 |  7885952 |      327  55934 |        0 |        0
1213.30/1213.54	c 1181s |      26 |  7903785 |  7898652 |      327  56004 |        0 |        0
1215.30/1215.55	c 1183s |      26 |  7916290 |  7911152 |      327  56072 |        0 |        0
1217.30/1217.55	c 1185s |      26 |  7928899 |  7923752 |      327  56140 |        0 |        0
1219.30/1219.56	c 1187s |      26 |  7941594 |  7936452 |      327  56209 |        0 |        0
1221.30/1221.57	c 1189s |      26 |  7954397 |  7949252 |      327  56278 |        0 |        0
1223.30/1223.58	c 1191s |      26 |  7967203 |  7962052 |      327  56348 |        0 |        0
1225.40/1225.60	c 1193s |      26 |  7979610 |  7974452 |      327  56415 |        0 |        0
1227.40/1227.61	c 1195s |      26 |  7992215 |  7987052 |      327  56484 |        0 |        0
1229.40/1229.62	c 1197s |      26 |  8004817 |  7999652 |      327  56553 |        0 |        0
1231.40/1231.63	c 1200s |      26 |  8017520 |  8012352 |      327  56622 |        0 |        0
1233.40/1233.63	c 1202s |      26 |  8030419 |  8025252 |      327  56692 |        0 |        0
1235.40/1235.64	c 1204s |      26 |  8043025 |  8037852 |      327  56761 |        0 |        0
1237.41/1237.65	c 1206s |      26 |  8055632 |  8050452 |      327  56830 |        0 |        0
1239.39/1239.67	c 1208s |      26 |  8068232 |  8063052 |      327  56900 |        0 |        0
1241.40/1241.67	c 1210s |      26 |  8080941 |  8075752 |      327  56970 |        0 |        0
1243.40/1243.68	c 1212s |      26 |  8093644 |  8088452 |      327  57040 |        0 |        0
1245.40/1245.69	c 1214s |      26 |  8106446 |  8101252 |      327  57111 |        0 |        0
1247.50/1247.70	c 1216s |      26 |  8119148 |  8113952 |      327  57180 |        0 |        0
1249.40/1249.70	c 1218s |      26 |  8132059 |  8126852 |      327  57251 |        0 |        0
1251.49/1251.71	c 1220s |      26 |  8144763 |  8139552 |      327  57320 |        0 |        0
1253.49/1253.71	c 1222s |      26 |  8157374 |  8152152 |      327  57389 |        0 |        0
1255.49/1255.73	c 1224s |      26 |  8170084 |  8164852 |      327  57460 |        0 |        0
1257.49/1257.73	c 1226s |      26 |  8182692 |  8177452 |      327  57529 |        0 |        0
1259.49/1259.74	c 1228s |      26 |  8195501 |  8190252 |      327  57600 |        0 |        0
1261.50/1261.75	c 1230s |      26 |  8208634 |  8203352 |      327  57672 |        0 |        0
1263.49/1263.75	c 1232s |      26 |  8221535 |  8216252 |      327  57743 |        0 |        0
1265.49/1265.76	c 1234s |      26 |  8234443 |  8229152 |      327  57815 |        0 |        0
1267.49/1267.77	c 1236s |      26 |  8247156 |  8241852 |      327  57885 |        0 |        0
1269.49/1269.78	c 1238s |      26 |  8259766 |  8254452 |      327  57955 |        0 |        0
1271.50/1271.78	c 1240s |      26 |  8272382 |  8267052 |      327  58025 |        0 |        0
1273.49/1273.78	c 1242s |      26 |  8285191 |  8279852 |      327  58096 |        0 |        0
1275.49/1275.78	c 1244s |      26 |  8297794 |  8292452 |      327  58166 |        0 |        0
1277.49/1277.79	c 1246s |      26 |  8310420 |  8305052 |      327  58236 |        0 |        0
1279.59/1279.81	c 1248s |      26 |  8323138 |  8317752 |      327  58307 |        0 |        0
1281.59/1281.81	c 1250s |      26 |  8335639 |  8330252 |      327  58375 |        0 |        0
1283.59/1283.81	c 1252s |      26 |  8348153 |  8342752 |      327  58444 |        0 |        0
1285.59/1285.83	c 1254s |      26 |  8360762 |  8355352 |      327  58514 |        0 |        0
1287.58/1287.83	c 1256s |      26 |  8373270 |  8367852 |      327  58583 |        0 |        0
1289.59/1289.83	c 1258s |      26 |  8385777 |  8380352 |      327  58653 |        0 |        0
1291.59/1291.83	c 1260s |      26 |  8398785 |  8393352 |      327  58725 |        0 |        0
1293.59/1293.84	c 1262s |      26 |  8411795 |  8406352 |      327  58797 |        0 |        0
1295.60/1295.84	c 1264s |      26 |  8424495 |  8419052 |      327  58868 |        0 |        0
1297.59/1297.85	c 1266s |      26 |  8437201 |  8431752 |      327  58938 |        0 |        0
1299.59/1299.86	c 1268s |      26 |  8449799 |  8444352 |      327  59008 |        0 |        0
1301.59/1301.86	c 1270s |      26 |  8462309 |  8456852 |      327  59078 |        0 |        0
1303.59/1303.87	c 1272s |      26 |  8475013 |  8469552 |      327  59150 |        0 |        0
1305.59/1305.89	c 1274s |      26 |  8487851 |  8482352 |      327  59222 |        0 |        0
1307.58/1307.90	c 1276s |      26 |  8501042 |  8495552 |      327  59293 |        0 |        0
1309.68/1309.91	c 1278s |      26 |  8513956 |  8508452 |      327  59362 |        0 |        0
1311.68/1311.92	c 1280s |      26 |  8526852 |  8521352 |      327  59432 |        0 |        0
1313.69/1313.92	c 1282s |      26 |  8539465 |  8533952 |      327  59501 |        0 |        0
1315.69/1315.93	c 1284s |      26 |  8551975 |  8546452 |      327  59570 |        0 |        0
1317.69/1317.94	c 1286s |      26 |  8564669 |  8559152 |      327  59639 |        0 |        0
1319.69/1319.94	c 1288s |      26 |  8577177 |  8571652 |      327  59707 |        0 |        0
1321.68/1321.95	c 1290s |      26 |  8589689 |  8584152 |      327  59775 |        0 |        0
1323.68/1323.96	c 1292s |      26 |  8602289 |  8596752 |      327  59844 |        0 |        0
1325.69/1325.97	c 1294s |      26 |  8614701 |  8609152 |      327  59912 |        0 |        0
1327.69/1327.98	c 1296s |      26 |  8627215 |  8621652 |      327  59981 |        0 |        0
1329.69/1329.98	c 1298s |      26 |  8639819 |  8634252 |      327  60050 |        0 |        0
1331.78/1332.00	c 1300s |      26 |  8652231 |  8646652 |      327  60118 |        0 |        0
1333.78/1334.01	c 1302s |      26 |  8664736 |  8659152 |      327  60186 |        0 |        0
1335.79/1336.03	c 1304s |      26 |  8677341 |  8671752 |      327  60255 |        0 |        0
1337.78/1338.04	c 1306s |      26 |  8689855 |  8684252 |      327  60323 |        0 |        0
1339.79/1340.04	c 1308s |      26 |  8702254 |  8696652 |      327  60390 |        0 |        0
1341.79/1342.04	c 1310s |      26 |  8714759 |  8709152 |      327  60459 |        0 |        0
1343.78/1344.05	c 1312s |      26 |  8727172 |  8721552 |      327  60526 |        0 |        0
1345.78/1346.05	c 1314s |      26 |  8739691 |  8734052 |      327  60595 |        0 |        0
1347.78/1348.06	c 1316s |      26 |  8752316 |  8746652 |      327  60665 |        0 |        0
1349.78/1350.07	c 1318s |      26 |  8765026 |  8759352 |      327  60735 |        0 |        0
1351.78/1352.08	c 1320s |      26 |  8777737 |  8772052 |      327  60806 |        0 |        0
1353.78/1354.08	c 1322s |      26 |  8790553 |  8784852 |      327  60877 |        0 |        0
1355.78/1356.10	c 1324s |      26 |  8803467 |  8797752 |      327  60950 |        0 |        0
1357.88/1358.11	c 1326s |      26 |  8816276 |  8810552 |      327  61020 |        0 |        0
1359.88/1360.12	c 1328s |      26 |  8829197 |  8823452 |      327  61092 |        0 |        0
1361.88/1362.12	c 1330s |      26 |  8841909 |  8836152 |      327  61164 |        0 |        0
1363.88/1364.14	c 1332s |      26 |  8854615 |  8848852 |      327  61235 |        0 |        0
1365.88/1366.15	c 1334s |      26 |  8867542 |  8861752 |      327  61307 |        0 |        0
1367.87/1368.15	c 1336s |      26 |  8880257 |  8874452 |      327  61378 |        0 |        0
1369.88/1370.16	c 1338s |      26 |  8893067 |  8887252 |      327  61449 |        0 |        0
1371.88/1372.18	c 1340s |      26 |  8905776 |  8899952 |      327  61519 |        0 |        0
1373.87/1374.19	c 1342s |      26 |  8918279 |  8912452 |      327  61588 |        0 |        0
1375.89/1376.20	c 1344s |      26 |  8930793 |  8924952 |      327  61656 |        0 |        0
1377.97/1378.20	c 1346s |      26 |  8943206 |  8937352 |      327  61724 |        0 |        0
1379.98/1380.21	c 1348s |      26 |  8955617 |  8949752 |      327  61792 |        0 |        0
1381.97/1382.21	c 1350s |      26 |  8968121 |  8962252 |      327  61860 |        0 |        0
1383.97/1384.22	c 1352s |      26 |  8980738 |  8974852 |      327  61930 |        0 |        0
1385.97/1386.23	c 1354s |      26 |  8993349 |  8987452 |      327  62000 |        0 |        0
1387.98/1388.24	c 1356s |      26 |  9006064 |  9000152 |      327  62069 |        0 |        0
1389.97/1390.25	c 1358s |      26 |  9018703 |  9012752 |      327  62139 |        0 |        0
1391.97/1392.25	c 1360s |      26 |  9031326 |  9025352 |      327  62209 |        0 |        0
1393.97/1394.26	c 1362s |      26 |  9043951 |  9037952 |      327  62278 |        0 |        0
1395.98/1396.27	c 1364s |      26 |  9056557 |  9050552 |      327  62347 |        0 |        0
1397.98/1398.27	c 1366s |      26 |  9069165 |  9063152 |      327  62417 |        0 |        0
1399.97/1400.28	c 1368s |      26 |  9081898 |  9075852 |      327  62488 |        0 |        0
1401.97/1402.29	c 1370s |      26 |  9094913 |  9088852 |      327  62561 |        0 |        0
1404.07/1404.30	c 1372s |      26 |  9107920 |  9101852 |      327  62634 |        0 |        0
1406.07/1406.31	c 1374s |      26 |  9120530 |  9114452 |      327  62704 |        0 |        0
1408.07/1408.32	c 1376s |      26 |  9133259 |  9127152 |      327  62774 |        0 |        0
1410.08/1410.33	c 1378s |      26 |  9145873 |  9139752 |      327  62844 |        0 |        0
1412.07/1412.33	c 1380s |      26 |  9158586 |  9152452 |      327  62915 |        0 |        0
1414.07/1414.34	c 1382s |      26 |  9171490 |  9165352 |      327  62988 |        0 |        0
1416.07/1416.34	c 1384s |      26 |  9184501 |  9178352 |      327  63062 |        0 |        0
1418.07/1418.36	c 1386s |      26 |  9197111 |  9190952 |      327  63132 |        0 |        0
1420.07/1420.36	c 1388s |      26 |  9209736 |  9203552 |      327  63202 |        0 |        0
1422.07/1422.36	c 1390s |      26 |  9222554 |  9216352 |      327  63274 |        0 |        0
1424.06/1424.37	c 1392s |      26 |  9235167 |  9228952 |      327  63344 |        0 |        0
1426.06/1426.37	c 1394s |      26 |  9247791 |  9241552 |      327  63415 |        0 |        0
1428.06/1428.38	c 1396s |      26 |  9260606 |  9254352 |      327  63488 |        0 |        0
1430.07/1430.38	c 1398s |      26 |  9273311 |  9267052 |      327  63557 |        0 |        0
1432.17/1432.40	c 1400s |      26 |  9286026 |  9279752 |      327  63626 |        0 |        0
1434.07/1434.40	c 1402s |      26 |  9298543 |  9292252 |      327  63695 |        0 |        0
1436.17/1436.41	c 1404s |      26 |  9311270 |  9304952 |      327  63765 |        0 |        0
1438.17/1438.42	c 1406s |      26 |  9323979 |  9317652 |      327  63835 |        0 |        0
1440.17/1440.42	c 1408s |      26 |  9336603 |  9330252 |      327  63905 |        0 |        0
1442.17/1442.42	c 1410s |      26 |  9349230 |  9342852 |      327  63975 |        0 |        0
1444.17/1444.43	c 1412s |      26 |  9361847 |  9355452 |      327  64045 |        0 |        0
1446.16/1446.44	c 1414s |      26 |  9374465 |  9368052 |      327  64115 |        0 |        0
1448.17/1448.45	c 1416s |      26 |  9387083 |  9380652 |      327  64185 |        0 |        0
1450.17/1450.45	c 1418s |      26 |  9399501 |  9393052 |      327  64254 |        0 |        0
1452.16/1452.45	c 1420s |      26 |  9412003 |  9405552 |      327  64323 |        0 |        0
1454.16/1454.46	c 1422s |      26 |  9424729 |  9418252 |      327  64395 |        0 |        0
1456.17/1456.47	c 1424s |      26 |  9437649 |  9431152 |      327  64468 |        0 |        0
1458.16/1458.48	c 1426s |      26 |  9450369 |  9443852 |      327  64538 |        0 |        0
1460.16/1460.49	c 1428s |      26 |  9463094 |  9456552 |      327  64608 |        0 |        0
1462.17/1462.49	c 1430s |      26 |  9475831 |  9469252 |      327  64679 |        0 |        0
1464.16/1464.49	c 1432s |      26 |  9488338 |  9481752 |      327  64749 |        0 |        0
1466.26/1466.50	c 1434s |      26 |  9501167 |  9494552 |      327  64822 |        0 |        0
1468.27/1468.51	c 1436s |      26 |  9513774 |  9507152 |      327  64891 |        0 |        0
1470.26/1470.51	c 1438s |      26 |  9526389 |  9519752 |      327  64962 |        0 |        0
1472.26/1472.52	c 1440s |      26 |  9539089 |  9532452 |      327  65032 |        0 |        0
1474.26/1474.53	c 1442s |      26 |  9551818 |  9545152 |      327  65103 |        0 |        0
1476.26/1476.53	c 1444s |      26 |  9564725 |  9558052 |      327  65176 |        0 |        0
1478.27/1478.55	c 1446s |      26 |  9577733 |  9571052 |      327  65249 |        0 |        0
1480.26/1480.56	c 1448s |      26 |  9590641 |  9583952 |      327  65322 |        0 |        0
1482.26/1482.57	c 1450s |      26 |  9603741 |  9597052 |      327  65395 |        0 |        0
1484.26/1484.57	c 1452s |      26 |  9616864 |  9610152 |      327  65470 |        0 |        0
1486.26/1486.58	c 1454s |      26 |  9629462 |  9622752 |      327  65540 |        0 |        0
1488.26/1488.59	c 1456s |      26 |  9642068 |  9635352 |      327  65609 |        0 |        0
1490.27/1490.59	c 1458s |      26 |  9654581 |  9647852 |      327  65679 |        0 |        0
1492.25/1492.60	c 1460s |      26 |  9666987 |  9660252 |      327  65747 |        0 |        0
1494.36/1494.60	c 1462s |      26 |  9679391 |  9672652 |      327  65816 |        0 |        0
1496.35/1496.61	c 1464s |      26 |  9691902 |  9685152 |      327  65886 |        0 |        0
1498.36/1498.62	c 1467s |      26 |  9704604 |  9697852 |      327  65957 |        0 |        0
1500.35/1500.63	c 1469s |      26 |  9717312 |  9710552 |      327  66027 |        0 |        0
1502.36/1502.64	c 1471s |      26 |  9730018 |  9723252 |      327  66098 |        0 |        0
1504.36/1504.65	c 1473s |      26 |  9742921 |  9736152 |      327  66170 |        0 |        0
1506.35/1506.66	c 1475s |      26 |  9755938 |  9749152 |      327  66243 |        0 |        0
1508.36/1508.66	c 1477s |      26 |  9768759 |  9761952 |      327  66316 |        0 |        0
1510.35/1510.67	c 1479s |      26 |  9781572 |  9774752 |      327  66388 |        0 |        0
1512.36/1512.67	c 1481s |      26 |  9794170 |  9787352 |      327  66458 |        0 |        0
1514.35/1514.68	c 1483s |      26 |  9806883 |  9800052 |      327  66530 |        0 |        0
1516.35/1516.68	c 1485s |      26 |  9819587 |  9812752 |      327  66602 |        0 |        0
1518.35/1518.69	c 1487s |      26 |  9832392 |  9825552 |      327  66675 |        0 |        0
1520.45/1520.71	c 1489s |      26 |  9845416 |  9838552 |      327  66748 |        0 |        0
1522.45/1522.71	c 1491s |      26 |  9857414 |  9850552 |      327  66814 |        0 |        0
1524.46/1524.72	c 1493s |      26 |  9869223 |  9862352 |      327  66878 |        0 |        0
1526.46/1526.73	c 1495s |      26 |  9880825 |  9873952 |      327  66941 |        0 |        0
1528.45/1528.75	c 1497s |      26 |  9892639 |  9885752 |      327  67006 |        0 |        0
1530.45/1530.75	c 1499s |      26 |  9904249 |  9897352 |      327  67069 |        0 |        0
1532.45/1532.77	c 1501s |      26 |  9916060 |  9909152 |      327  67134 |        0 |        0
1534.45/1534.77	c 1503s |      26 |  9927878 |  9920952 |      327  67200 |        0 |        0
1536.46/1536.78	c 1505s |      26 |  9939695 |  9932752 |      327  67264 |        0 |        0
1538.44/1538.79	c 1507s |      26 |  9951409 |  9944452 |      327  67328 |        0 |        0
1540.45/1540.80	c 1509s |      26 |  9963219 |  9956252 |      327  67394 |        0 |        0
1542.55/1542.81	c 1511s |      26 |  9974929 |  9967952 |      327  67458 |        0 |        0
1544.54/1544.82	c 1513s |      26 |  9986541 |  9979552 |      327  67522 |        0 |        0
1546.55/1546.83	c 1515s |      26 |  9998356 |  9991352 |      327  67588 |        0 |        0
1548.55/1548.84	c 1517s |      26 | 10010168 | 10003152 |      327  67653 |        0 |        0
1550.55/1550.85	c 1519s |      26 | 10022192 | 10015152 |      327  67721 |        0 |        0
1552.55/1552.86	c 1521s |      26 | 10033705 | 10026652 |      327  67783 |        0 |        0
1554.55/1554.87	c 1523s |      26 | 10045326 | 10038252 |      327  67846 |        0 |        0
1556.55/1556.88	c 1525s |      26 | 10056948 | 10049852 |      327  67910 |        0 |        0
1558.55/1558.88	c 1527s |      26 | 10068774 | 10061652 |      327  67974 |        0 |        0
1560.55/1560.88	c 1529s |      26 | 10080691 | 10073552 |      327  68040 |        0 |        0
1562.54/1562.89	c 1531s |      26 | 10092830 | 10085652 |      327  68107 |        0 |        0
1564.65/1564.90	c 1533s |      26 | 10104748 | 10097552 |      327  68172 |        0 |        0
1566.65/1566.90	c 1535s |      26 | 10116679 | 10109452 |      327  68238 |        0 |        0
1568.65/1568.91	c 1537s |      26 | 10128696 | 10121452 |      327  68304 |        0 |        0
1570.65/1570.91	c 1539s |      26 | 10140718 | 10133452 |      327  68371 |        0 |        0
1572.65/1572.92	c 1541s |      26 | 10152846 | 10145552 |      327  68438 |        0 |        0
1574.64/1574.93	c 1543s |      26 | 10164975 | 10157652 |      327  68506 |        0 |        0
1576.64/1576.94	c 1545s |      26 | 10177331 | 10169952 |      327  68575 |        0 |        0
1578.65/1578.94	c 1547s |      26 | 10189455 | 10182052 |      327  68642 |        0 |        0
1580.64/1580.96	c 1549s |      26 | 10201369 | 10193952 |      327  68707 |        0 |        0
1582.65/1582.97	c 1551s |      26 | 10213618 | 10206152 |      327  68773 |        0 |        0
1584.65/1584.98	c 1553s |      26 | 10225857 | 10218352 |      327  68840 |        0 |        0
1586.64/1586.98	c 1555s |      26 | 10237889 | 10230352 |      327  68906 |        0 |        0
1588.64/1588.99	c 1557s |      26 | 10250016 | 10242452 |      327  68972 |        0 |        0
1590.74/1591.01	c 1559s |      26 | 10262150 | 10254552 |      327  69039 |        0 |        0
1592.74/1593.01	c 1561s |      26 | 10274192 | 10266552 |      327  69106 |        0 |        0
1594.75/1595.03	c 1563s |      26 | 10286115 | 10278452 |      327  69171 |        0 |        0
1596.74/1597.04	c 1565s |      26 | 10298134 | 10290452 |      327  69237 |        0 |        0
1598.74/1599.04	c 1567s |      26 | 10310044 | 10302352 |      327  69303 |        0 |        0
1600.74/1601.05	c 1569s |      26 | 10322190 | 10314452 |      327  69370 |        0 |        0
1602.74/1603.06	c 1571s |      26 | 10334834 | 10327052 |      327  69440 |        0 |        0
1604.75/1605.07	c 1573s |      26 | 10347060 | 10339252 |      327  69506 |        0 |        0
1606.74/1607.07	c 1575s |      26 | 10359070 | 10351252 |      327  69571 |        0 |        0
1608.73/1609.09	c 1577s |      26 | 10371001 | 10363152 |      327  69636 |        0 |        0
1610.74/1611.09	c 1579s |      26 | 10382822 | 10374952 |      327  69701 |        0 |        0
1612.84/1613.10	c 1581s |      26 | 10394537 | 10386652 |      327  69765 |        0 |        0
1614.83/1615.11	c 1583s |      26 | 10406356 | 10398452 |      327  69829 |        0 |        0
1616.84/1617.12	c 1585s |      26 | 10418169 | 10410252 |      327  69894 |        0 |        0
1618.84/1619.13	c 1587s |      26 | 10430112 | 10422152 |      327  69959 |        0 |        0
1620.84/1621.13	c 1589s |      26 | 10442267 | 10434252 |      327  70025 |        0 |        0
1622.83/1623.14	c 1591s |      26 | 10454298 | 10446252 |      327  70091 |        0 |        0
1624.83/1625.15	c 1593s |      26 | 10466415 | 10458352 |      327  70159 |        0 |        0
1626.83/1627.15	c 1595s |      26 | 10478435 | 10470352 |      327  70226 |        0 |        0
1628.84/1629.15	c 1597s |      26 | 10490256 | 10482152 |      327  70292 |        0 |        0
1630.83/1631.16	c 1599s |      26 | 10502188 | 10494052 |      327  70357 |        0 |        0
1632.83/1633.16	c 1601s |      26 | 10514227 | 10506052 |      327  70424 |        0 |        0
1634.83/1635.16	c 1603s |      26 | 10526256 | 10518052 |      327  70490 |        0 |        0
1636.83/1637.17	c 1605s |      26 | 10538505 | 10530252 |      327  70559 |        0 |        0
1638.83/1639.18	c 1607s |      26 | 10550425 | 10542152 |      327  70623 |        0 |        0
1640.83/1641.18	c 1609s |      26 | 10562350 | 10554052 |      327  70687 |        0 |        0
1642.82/1643.19	c 1611s |      26 | 10574262 | 10565952 |      327  70752 |        0 |        0
1644.92/1645.20	c 1613s |      26 | 10586367 | 10578052 |      327  70818 |        0 |        0
1646.92/1647.22	c 1615s |      26 | 10598494 | 10590152 |      327  70885 |        0 |        0
1648.92/1649.22	c 1617s |      26 | 10610517 | 10602152 |      327  70951 |        0 |        0
1650.93/1651.23	c 1619s |      26 | 10622625 | 10614252 |      327  71017 |        0 |        0
1652.92/1653.25	c 1621s |      26 | 10634761 | 10626352 |      327  71083 |        0 |        0
1654.92/1655.26	c 1623s |      26 | 10646987 | 10638552 |      327  71150 |        0 |        0
1656.92/1657.27	c 1625s |      26 | 10659324 | 10650852 |      327  71218 |        0 |        0
1658.92/1659.28	c 1627s |      26 | 10671570 | 10663052 |      327  71285 |        0 |        0
1660.92/1661.28	c 1629s |      26 | 10683926 | 10675352 |      327  71353 |        0 |        0
1662.92/1663.28	c 1631s |      26 | 10696086 | 10687452 |      327  71421 |        0 |        0
1664.92/1665.28	c 1633s |      26 | 10708126 | 10699452 |      327  71487 |        0 |        0
1666.91/1667.29	c 1635s |      26 | 10720247 | 10711552 |      327  71555 |        0 |        0
1669.01/1669.30	c 1637s |      26 | 10733293 | 10724552 |      327  71626 |        0 |        0
1671.01/1671.31	c 1639s |      26 | 10746019 | 10737252 |      327  71695 |        0 |        0
1673.01/1673.32	c 1641s |      26 | 10758734 | 10749952 |      327  71764 |        0 |        0
1675.02/1675.33	c 1643s |      26 | 10771464 | 10762652 |      327  71834 |        0 |        0
1677.02/1677.34	c 1645s |      26 | 10784092 | 10775252 |      327  71902 |        0 |        0
1679.02/1679.34	c 1647s |      26 | 10796598 | 10787752 |      327  71971 |        0 |        0
1681.02/1681.36	c 1649s |      26 | 10809112 | 10800252 |      327  72039 |        0 |        0
1683.01/1683.36	c 1651s |      26 | 10821435 | 10812552 |      327  72106 |        0 |        0
1685.02/1685.37	c 1653s |      26 | 10834058 | 10825152 |      327  72175 |        0 |        0
1687.01/1687.37	c 1655s |      26 | 10846596 | 10837652 |      327  72244 |        0 |        0
1689.01/1689.38	c 1657s |      26 | 10859303 | 10850352 |      327  72313 |        0 |        0
1691.01/1691.38	c 1659s |      26 | 10871645 | 10862652 |      327  72381 |        0 |        0
1693.01/1693.38	c 1661s |      26 | 10883979 | 10874952 |      327  72449 |        0 |        0
1695.01/1695.39	c 1663s |      26 | 10896097 | 10887052 |      327  72515 |        0 |        0
1697.01/1697.40	c 1665s |      26 | 10908230 | 10899152 |      327  72581 |        0 |        0
1699.10/1699.40	c 1667s |      26 | 10920255 | 10911152 |      327  72647 |        0 |        0
1701.10/1701.41	c 1669s |      26 | 10932279 | 10923152 |      327  72713 |        0 |        0
1703.10/1703.42	c 1671s |      26 | 10944405 | 10935252 |      327  72779 |        0 |        0
1705.10/1705.43	c 1673s |      26 | 10956517 | 10947352 |      327  72846 |        0 |        0
1707.10/1707.44	c 1675s |      26 | 10968752 | 10959552 |      327  72914 |        0 |        0
1709.11/1709.44	c 1677s |      26 | 10981083 | 10971852 |      327  72983 |        0 |        0
1711.10/1711.45	c 1679s |      26 | 10993217 | 10983952 |      327  73050 |        0 |        0
1713.10/1713.46	c 1681s |      26 | 11005547 | 10996252 |      327  73118 |        0 |        0
1715.10/1715.46	c 1683s |      26 | 11017879 | 11008552 |      327  73187 |        0 |        0
1717.10/1717.46	c 1685s |      26 | 11030109 | 11020752 |      327  73255 |        0 |        0
1719.10/1719.46	c 1687s |      26 | 11042115 | 11032752 |      327  73321 |        0 |        0
1721.09/1721.48	c 1689s |      26 | 11054236 | 11044852 |      327  73389 |        0 |        0
1723.09/1723.48	c 1691s |      26 | 11066480 | 11057052 |      327  73457 |        0 |        0
1725.09/1725.49	c 1693s |      26 | 11078604 | 11069152 |      327  73525 |        0 |        0
1727.19/1727.50	c 1695s |      26 | 11091021 | 11081552 |      327  73594 |        0 |        0
1729.19/1729.51	c 1697s |      26 | 11103465 | 11093952 |      327  73664 |        0 |        0
1731.20/1731.52	c 1699s |      26 | 11115391 | 11105852 |      327  73730 |        0 |        0
1733.20/1733.52	c 1701s |      26 | 11127224 | 11117652 |      327  73794 |        0 |        0
1735.20/1735.53	c 1703s |      26 | 11139143 | 11129552 |      327  73859 |        0 |        0
1737.20/1737.53	c 1705s |      26 | 11151063 | 11141452 |      327  73925 |        0 |        0
1739.20/1739.53	c 1707s |      26 | 11163080 | 11153452 |      327  73990 |        0 |        0
1741.19/1741.55	c 1709s |      26 | 11175302 | 11165652 |      327  74058 |        0 |        0
1743.20/1743.56	c 1711s |      26 | 11187630 | 11177952 |      327  74125 |        0 |        0
1745.20/1745.56	c 1713s |      26 | 11199953 | 11190252 |      327  74193 |        0 |        0
1747.19/1747.57	c 1715s |      26 | 11212476 | 11202752 |      327  74263 |        0 |        0
1749.19/1749.58	c 1717s |      26 | 11224714 | 11214952 |      327  74330 |        0 |        0
1751.19/1751.58	c 1719s |      26 | 11236734 | 11226952 |      327  74396 |        0 |        0
1753.29/1753.60	c 1721s |      26 | 11248885 | 11239052 |      327  74463 |        0 |        0
1755.30/1755.61	c 1723s |      26 | 11261105 | 11251252 |      327  74531 |        0 |        0
1757.29/1757.62	c 1726s |      26 | 11273455 | 11263552 |      327  74599 |        0 |        0
1759.29/1759.63	c 1728s |      26 | 11285784 | 11275852 |      327  74668 |        0 |        0
1761.29/1761.64	c 1730s |      26 | 11298000 | 11288052 |      327  74736 |        0 |        0
1763.29/1763.64	c 1732s |      26 | 11310521 | 11300552 |      327  74806 |        0 |        0
1765.30/1765.65	c 1734s |      26 | 11322741 | 11312752 |      327  74872 |        0 |        0
1767.28/1767.65	c 1736s |      26 | 11334847 | 11324852 |      360  74933 |        0 |        0
1769.29/1769.66	c 1738s |      26 | 11346862 | 11336852 |      360  74993 |        0 |        0
1771.29/1771.66	c 1740s |      26 | 11358962 | 11348952 |      360  75054 |        0 |        0
1773.29/1773.67	c 1742s |      26 | 11371083 | 11361052 |      360  75115 |        0 |        0
1775.28/1775.69	c 1744s |      26 | 11383198 | 11373152 |      360  75176 |        0 |        0
1777.30/1777.70	c 1746s |      26 | 11395011 | 11384952 |      360  75235 |        0 |        0
1779.38/1779.70	c 1748s |      27 | 11406812 | 11396733 |      360  75293 |        0 |        0
1781.39/1781.71	c 1750s |      27 | 11419337 | 11409233 |      360  75354 |        0 |        0
1783.39/1783.71	c 1752s |      27 | 11431939 | 11421833 |      360  75417 |        0 |        0
1785.39/1785.71	c 1754s |      27 | 11444446 | 11434333 |      360  75478 |        0 |        0
1787.38/1787.72	c 1756s |      27 | 11457150 | 11447033 |      360  75541 |        0 |        0
1789.39/1789.72	c 1758s |      27 | 11469754 | 11459633 |      360  75603 |        0 |        0
1791.39/1791.73	c 1760s |      27 | 11482456 | 11472333 |      360  75665 |        0 |        0
1793.39/1793.74	c 1762s |      27 | 11495053 | 11484933 |      360  75728 |        0 |        0
1795.38/1795.75	c 1764s |      27 | 11507558 | 11497433 |      360  75789 |        0 |        0
1797.39/1797.75	c 1766s |      27 | 11520062 | 11509933 |      360  75851 |        0 |        0
1799.39/1799.77	c 1768s |      27 | 11532660 | 11522533 |      360  75914 |        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-4078589-1465238676/watcher-4078589-1465238676 -o /tmp/evaluation-result-4078589-1465238676/solver-4078589-1465238676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078589-1465238676.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6664
/proc/meminfo: memFree=30267768/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=339388 CPUtime=0 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 1196 0 0 0 0 0 0 0 20 0 4 0 105802258 347533312 1557 33554432000 4194304 16246674 140737398054192 140737398053616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 85359 1565 441 2943 0 82253 0
[pid=6664/tid=6665] ppid=6661 vsize=355772 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 364310528 1621 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=359868 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 368504832 1638 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=363964 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105802259 372699136 1655 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6664
/proc/meminfo: memFree=30267768/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 25584 0 0 0 6 3 0 0 20 0 4 0 105802258 1247350784 25935 33554432000 4194304 16246674 140737398054192 140737398053616 12651885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 304529 25941 601 2943 0 301423 0
[pid=6664/tid=6665] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 25945 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 25949 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105802259 1247350784 25952 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200551 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6664
/proc/meminfo: memFree=30267768/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 48521 0 0 0 14 5 0 0 20 0 4 0 105802258 1247350784 48872 33554432000 4194304 16246674 140737398054192 140737398036096 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 304529 48887 601 2943 0 301423 0
[pid=6664/tid=6665] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 48896 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 48905 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105802259 1247350784 48912 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300522 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6664
/proc/meminfo: memFree=30267768/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 70070 0 0 0 21 7 0 0 20 0 4 0 105802258 1247350784 70421 33554432000 4194304 16246674 140737398054192 140737398036096 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 304529 70434 601 2943 0 301423 0
[pid=6664/tid=6665] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 70442 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 70449 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105802259 1247350784 70456 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700417 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6664
/proc/meminfo: memFree=30267768/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 166937 0 0 0 48 20 0 0 20 0 4 0 105802258 1247350784 167288 33554432000 4194304 16246674 140737398054192 140737398036096 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 304529 167305 601 2943 0 301423 0
[pid=6664/tid=6665] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 167315 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1247350784 167324 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105802259 1247350784 167333 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6668
/proc/meminfo: memFree=28997268/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 269307 0 0 0 115 34 0 0 20 0 4 0 105802258 1344868352 269614 33554432000 4194304 16246674 140737398054192 140737398053504 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 328337 269614 821 2943 0 325231 0
[pid=6664/tid=6665] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269614 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269614 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1344868352 269614 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 6668
/proc/meminfo: memFree=28907236/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 269434 0 0 0 275 34 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 140737398052032 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 328337 269741 821 2943 0 325231 0
[pid=6664/tid=6665] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6668
/proc/meminfo: memFree=28373456/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1313348 CPUtime=6.28 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 269434 0 0 0 594 34 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 140737398036096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 328337 269741 821 2943 0 325231 0
[pid=6664/tid=6665] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6668
/proc/meminfo: memFree=26935044/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 269434 0 0 0 1234 34 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 140737398053504 4225073 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 328337 269741 821 2943 0 325231 0
[pid=6664/tid=6665] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1344868352 269741 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6668
/proc/meminfo: memFree=25093152/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=25.48 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338810 0 0 0 2505 43 0 0 20 0 4 0 105802258 1629032448 339117 33554432000 4194304 16246674 140737398054192 140737398053504 4226078 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339117 821 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339117 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339117 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339117 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1590852

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6668
/proc/meminfo: memFree=22514420/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=51.07 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338876 0 0 0 5058 49 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398037192 5515728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1590852

[startup+102.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 6669
/proc/meminfo: memFree=20725584/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=102.27 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338876 0 0 0 10165 62 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398037192 5711980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1590852


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

/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1590852

[startup+1302.3 s]
/proc/loadavg: 2.08 2.07 2.03 3/183 6722
/proc/meminfo: memFree=15591804/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1302.09 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338876 0 0 0 129964 245 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398037192 12466876 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1590852

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.03 3/183 6723
/proc/meminfo: memFree=15591792/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1362.08 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338876 0 0 0 135953 255 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 5712072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1590852

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/183 6724
/proc/meminfo: memFree=15005872/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1422.07 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338876 0 0 0 141947 260 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398037192 5572266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1590852

[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/183 6774
/proc/meminfo: memFree=29386236/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1482.06 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338876 0 0 0 147935 271 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1590852

[startup+1542.31 s]
/proc/loadavg: 2.09 2.06 2.02 3/184 6779
/proc/meminfo: memFree=29386068/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1542.05 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338884 0 0 0 153924 281 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1590852

[startup+1602.3 s]
/proc/loadavg: 2.22 2.10 2.03 3/183 6780
/proc/meminfo: memFree=29378796/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1602.04 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338884 0 0 0 159910 294 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 6013104 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1590852

[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/183 6781
/proc/meminfo: memFree=29378920/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1662.02 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338910 0 0 0 165896 306 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 5711518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1590852

[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.03 3/183 6782
/proc/meminfo: memFree=29379040/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1721.99 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338939 0 0 0 171891 308 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1590852

[startup+1782.3 s]
/proc/loadavg: 2.08 2.07 2.03 3/183 6783
/proc/meminfo: memFree=29378548/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1781.99 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338939 0 0 0 177880 319 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398037192 5712192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1590852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.08 2.03 3/183 6783
/proc/meminfo: memFree=29378640/32872528 swapFree=11372/178980
[pid=6664] ppid=6661 vsize=1590852 CPUtime=1800.09 cores=1,3,5,7
/proc/6664/stat : 6664 (toysat) R 6661 6664 4590 0 -1 4202496 338939 0 0 0 179686 323 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 140737398036096 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6664/statm: 397713 339183 882 2943 0 394607 0
[pid=6664/tid=6665] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6665/stat : 6665 (toysat) S 6661 6664 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883946421488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6664/tid=6666] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6666/stat : 6666 (toysat) S 6661 6664 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105802258 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883863583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6664/tid=6667] ppid=6661 vsize=1590852 CPUtime=0 cores=1,3,5,7
/proc/6664/task/6667/stat : 6667 (toysat) S 6661 6664 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105802259 1629032448 339183 33554432000 4194304 16246674 140737398054192 139883853110448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1590852

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 6664 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.45
CPU time (s): 1800.14
CPU user time (s): 1796.87
CPU system time (s): 3.2685
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1590852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.87
system time used= 3.2685
maximum resident set size= 1356732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338939
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= 166
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82527 second user time and 6.98994 second system time

The end

Begin job on node105 at 2016-06-06 20:44:36
IDJOB=4078589
IDBENCH=2560
IDSOLVER=2542
FILE ID=node105/4078589-1465238676
RUNJOBID= node105-1465220657-4607
PBS_JOBID= 19843223
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078589-1465238676/watcher-4078589-1465238676 -o /tmp/evaluation-result-4078589-1465238676/solver-4078589-1465238676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078589-1465238676.opb

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

MD5SUM BENCH= 2f67579afe346c848695d45b6181b1eb
RANDOM SEED=223120978

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30279464 kB
Buffers:           38208 kB
Cached:           128256 kB
SwapCached:         1756 kB
Active:          1639716 kB
Inactive:          70224 kB
Active(anon):    1544256 kB
Inactive(anon):     1504 kB
Active(file):      95460 kB
Inactive(file):    68720 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:             32928 kB
Writeback:             0 kB
AnonPages:       1664620 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             569136 kB
SReclaimable:      12432 kB
SUnreclaim:       556704 kB
KernelStack:        1520 kB
PageTables:         7556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1868320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71716 MiB
End job on node105 at 2016-06-06 21:14:37