0.00/0.00	c 2016-06-17T00:47:15+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-4097380-1466117235.opb"]
0.00/0.01	c use --random-gen="892272179 3427505149 1082359254 189654946 3652607383 3081371150 2144710259 218621803 123266182 2446327524 2518719484 3300115152 217658829 143982268 3461279499 4055475042 1809888704 2157888315 2624835575 3945058270 3953749091 192322213 606588434 4171162234 2027676948 915600767 3406668822 2358440296 2371042204 2649736197 3876253864 1918487476 3439363484 2570985149 2110796217 2078609851 296303083 4101103012 1908875147 2446648658 431065340 3122180845 283497528 388690846 286913421 1352207441 4068234044 2144712748 2877687161 3996689761 3950187732 3233757115 2245166154 1057083511 3535641482 3610851086 205807212 152361449 2887779570 3555332221 2736515537 1989021073 2189036436 25855061 398167211 2702601376 3443022958 3208262482 1005697562 744308995 2528360931 3963014899 85802488 998691231 1203049996 1036557793 1661038535 3951598862 780719902 2271591293 2717719593 1776887707 262177492 3837936333 3936229826 3166658245 1077385257 3595129375 512091731 1920348586 2757861243 1146082374 3224671402 3494034103 1156159774 1845404218 264212606 941788257 442564985 3220638871 2435709067 178779179 300598720 1624459022 2643244503 3287809880 4066188003 4112130841 3507253584 677794084 2879776679 2503753876 100772266 2414709699 512566089 4126559052 999790551 3743215565 1018920561 525597481 3941965624 3431731753 3672621122 1614655107 1034109570 2689172869 306016885 3625389330 848041414 901824682 983994674 1463590823 4169662131 98996323 896288209 2856889962 2508598580 3343566982 168396144 3898651892 324070495 3005907506 3711867783 2783121622 215020453 3163107944 1799247519 2302765630 1140456542 3152700427 3257539254 689382099 1105799581 1605607266 2084379663 2411903710 2828713008 713310013 3912117349 2119936275 19799286 3856788775 4011150484 3465497060 2063164709 1914503767 2509913480 2662933990 3632269320 2335775952 2406612455 1971735504 3217122231 1373500144 1371603576 531539286 2550898684 2884568585 1591364180 1601747936 4126987160 3711254676 1315106835 1916370422 3167817189 789268715 3883776453 4071679664 2104586754 3143691278 429975452 3505719026 1846883481 1584455992 510229660 3476885882 481136633 831406621 3270258652 3333072972 1447800169 4042187970 1010396695 1459140041 3495032997 1786859168 2870966062 1531463656 3040769773 416535768 2556628626 666327137 4163024144 427842202 546308245 2994048467 3235221603 3027785283 35435402 513118382 2368533039 614279511 1579053672 3356386499 700729446 327017806 734170349 1766390319 2892099387 1694945916 1526079279 2354676403 2639715797 3500895302 605326365 856174049 590758695 878712237 576835070 2087559695 2358691979 2728681796 1126584768 3553092452 3148422544 1960041903 3100391936 2204444900 3302402781 1514819285 1935637817 3162249307 122866904 1359776162 3039621887 1252334331 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1406
0.00/0.06	c #constraints 6702
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2701      0 |        5 |        0
0.18/0.21	c  0.0s |       1 |      130 |      100 |     2701      0 |        5 |      294
0.18/0.27	c  0.1s |       2 |      321 |      250 |     2972      0 |        5 |      294
0.29/0.37	c  0.2s |       3 |      620 |      475 |     3270      0 |        5 |      294
0.49/0.53	c  0.4s |       4 |     1027 |      813 |     3598      0 |        5 |      294
0.78/0.80	c  0.6s |       5 |     1656 |     1320 |     3958      0 |        5 |      294
1.19/1.23	c  1.1s |       6 |     2575 |     2081 |     4790      0 |        5 |      294
1.69/1.75	c  1.6s |       7 |     4057 |     3223 |     5269      0 |        5 |      294
2.49/2.50	c  2.3s |       8 |     6162 |     4936 |     5796      0 |        5 |      294
3.89/3.91	c  3.8s |       9 |     9212 |     7506 |     6376      1 |        5 |      294
5.78/5.87	c  5.7s |      10 |    13620 |    11361 |     7014      2 |        5 |      294
7.79/7.89	c  7.7s |      10 |    18932 |    15061 |     7014      3 |        5 |      294
8.98/9.07	c  8.9s |      11 |    21799 |    17144 |     7716      3 |        5 |      294
10.99/11.08	c 10.9s |      11 |    26990 |    21244 |     7716      4 |        5 |      294
13.08/13.10	c 12.9s |      11 |    32087 |    25244 |     7716      5 |        5 |      294
13.38/13.41	c 13.2s |      12 |    32780 |    25819 |     8488      5 |        5 |      294
15.39/15.42	c 15.3s |      12 |    37727 |    29819 |     8488      6 |        5 |      294
17.38/17.47	c 17.3s |      12 |    42657 |    33919 |     8488      7 |        5 |      294
19.48/19.50	c 19.3s |      12 |    47267 |    37819 |     8488      8 |        5 |      294
19.98/20.08	c 19.9s |      13 |    48472 |    38832 |     9337      8 |        5 |      294
21.99/22.10	c 21.9s |      13 |    53089 |    42532 |     9337      9 |        5 |      294
24.08/24.11	c 23.9s |      13 |    57072 |    45832 |     9337     10 |        5 |      294
26.08/26.15	c 26.0s |      13 |    61864 |    49832 |     9337     10 |        5 |      294
28.18/28.21	c 28.0s |      13 |    66546 |    53832 |     9337     11 |        5 |      294
30.18/30.25	c 30.1s |      13 |    71239 |    57732 |     9337     12 |        5 |      294
30.48/30.55	c 30.4s |      14 |    71931 |    58352 |    10271     12 |        5 |      294
32.48/32.58	c 32.4s |      14 |    75936 |    61652 |    10271     13 |        5 |      294
34.58/34.60	c 34.4s |      14 |    80281 |    65352 |    10271     13 |        5 |      294
36.58/36.60	c 36.4s |      14 |    84160 |    68652 |    10271     14 |        5 |      294
38.59/38.65	c 38.5s |      14 |    88771 |    72452 |    10271     15 |        5 |      294
40.58/40.69	c 40.5s |      14 |    93363 |    76352 |    10271     16 |        5 |      294
42.68/42.73	c 42.6s |      14 |    98259 |    80552 |    10271     16 |        5 |      294
44.68/44.76	c 44.6s |      14 |   102190 |    84052 |    10271     17 |        5 |      294
46.68/46.79	c 46.6s |      15 |   106525 |    87632 |    11299     18 |        5 |      294
48.78/48.81	c 48.6s |      15 |   109682 |    90232 |    11299     18 |        5 |      294
50.78/50.85	c 50.7s |      15 |   113665 |    93632 |    11299     19 |        5 |      294
52.89/52.91	c 52.7s |      15 |   118090 |    97432 |    11299     19 |        5 |      294
54.88/54.92	c 54.8s |      15 |   121910 |   100732 |    11299     20 |        5 |      294
56.88/56.97	c 56.8s |      15 |   125704 |   103932 |    11299     20 |        5 |      294
58.88/58.98	c 58.8s |      15 |   130017 |   107432 |    11299     21 |        5 |      294
60.88/60.99	c 60.8s |      15 |   133614 |   110432 |    11299     22 |        5 |      294
62.98/63.01	c 62.8s |      15 |   137944 |   114032 |    11299     22 |        5 |      294
64.98/65.03	c 64.9s |      15 |   142549 |   117932 |    11299     23 |        5 |      294
66.98/67.06	c 66.9s |      15 |   146634 |   121432 |    11299     23 |        5 |      294
69.08/69.11	c 68.9s |      15 |   151243 |   125232 |    11299     24 |        5 |      294
71.08/71.13	c 71.0s |      15 |   155318 |   128632 |    11299     25 |        5 |      294
72.58/72.65	c 72.5s |      16 |   158635 |   131552 |    12429     25 |        5 |      294
74.57/74.69	c 74.5s |      16 |   161652 |   134052 |    12429     25 |        5 |      294
76.67/76.74	c 76.6s |      16 |   165814 |   137552 |    12429     26 |        5 |      294
78.67/78.76	c 78.6s |      16 |   169734 |   140952 |    12429     27 |        5 |      294
80.67/80.79	c 80.6s |      16 |   173250 |   143852 |    12429     27 |        5 |      294
82.77/82.80	c 82.6s |      16 |   176966 |   147152 |    12429     28 |        5 |      294
84.79/84.86	c 84.7s |      16 |   180993 |   150552 |    12429     28 |        5 |      294
86.89/86.95	c 86.8s |      16 |   184542 |   153552 |    12429     29 |        5 |      294
88.88/88.96	c 88.8s |      16 |   188717 |   157152 |    12429     29 |        5 |      294
90.88/90.98	c 90.8s |      16 |   192423 |   160452 |    12429     30 |        5 |      294
92.98/93.01	c 92.9s |      16 |   195134 |   162752 |    12429     30 |        5 |      294
94.98/95.07	c 94.9s |      16 |   199484 |   166252 |    12429     31 |        5 |      294
97.07/97.13	c 97.0s |      16 |   203974 |   170052 |    12429     31 |        5 |      294
99.08/99.17	c 99.0s |      16 |   207860 |   173352 |    12429     32 |        5 |      294
101.18/101.26	c  101s |      16 |   212052 |   176952 |    12429     32 |        5 |      294
103.27/103.31	c  103s |      16 |   215875 |   180252 |    12429     33 |        5 |      294
105.77/105.81	c  105s |      16 |   219428 |   183452 |    12429     33 |        5 |      294
107.78/107.83	c  107s |      16 |   223403 |   186852 |    12429     34 |        5 |      294
109.77/109.86	c  109s |      16 |   227584 |   190352 |    12429     34 |        5 |      294
111.87/111.91	c  111s |      16 |   231149 |   193552 |    12429     35 |        5 |      294
113.87/113.96	c  113s |      16 |   234720 |   196652 |    13672     35 |        5 |      294
114.38/114.47	c  114s |      17 |   235608 |   197432 |    13672     35 |        5 |      294
116.37/116.49	c  116s |      17 |   238368 |   199732 |    13672     36 |        5 |      294
118.47/118.54	c  118s |      17 |   242310 |   203132 |    13672     36 |        5 |      294
120.67/120.74	c  120s |      17 |   244889 |   205332 |    13672     36 |        5 |      294
122.66/122.75	c  122s |      17 |   248375 |   208232 |    13672     37 |        5 |      294
124.66/124.76	c  124s |      17 |   252353 |   211632 |    13672     37 |        5 |      294
126.67/126.78	c  126s |      17 |   255759 |   214432 |    13672     38 |        5 |      294
128.77/128.82	c  128s |      17 |   259813 |   217832 |    13672     38 |        5 |      294
130.77/130.87	c  130s |      17 |   263314 |   220832 |    13672     39 |        5 |      294
132.76/132.88	c  132s |      17 |   266959 |   224032 |    13672     39 |        5 |      294
135.96/136.03	c  135s |      17 |   270154 |   226832 |    13672     40 |        5 |      294
137.96/138.05	c  137s |      17 |   273953 |   230132 |    13672     40 |        5 |      294
140.06/140.10	c  139s |      17 |   277395 |   233032 |    13672     40 |        5 |      294
142.06/142.16	c  141s |      17 |   280910 |   236132 |    13672     41 |        5 |      294
144.06/144.20	c  144s |      17 |   284172 |   239032 |    13672     41 |        5 |      294
146.16/146.24	c  146s |      17 |   287100 |   241632 |    13672     42 |        5 |      294
148.16/148.26	c  148s |      17 |   290674 |   244732 |    13672     42 |        5 |      294
150.16/150.29	c  150s |      17 |   293781 |   247532 |    13672     42 |        5 |      294
152.25/152.33	c  152s |      17 |   296525 |   250032 |    13672     43 |        5 |      294
154.25/154.35	c  154s |      17 |   300229 |   253232 |    13672     43 |        5 |      294
156.26/156.38	c  156s |      17 |   303840 |   256332 |    13672     44 |        5 |      294
158.25/158.39	c  158s |      17 |   307578 |   259632 |    13672     44 |        5 |      294
160.35/160.40	c  160s |      17 |   310743 |   262332 |    13672     45 |        5 |      294
162.35/162.41	c  162s |      17 |   314468 |   265432 |    13672     45 |        5 |      294
164.35/164.48	c  164s |      17 |   317870 |   268332 |    13672     45 |        5 |      294
166.45/166.50	c  166s |      17 |   321695 |   271432 |    13672     46 |        5 |      294
168.45/168.52	c  168s |      17 |   325492 |   274632 |    13672     46 |        5 |      294
170.45/170.56	c  170s |      17 |   329014 |   277632 |    13672     47 |        5 |      294
172.54/172.61	c  172s |      17 |   332767 |   280832 |    13672     47 |        5 |      294
174.64/174.70	c  174s |      17 |   336547 |   284132 |    13672     48 |        5 |      294
176.64/176.75	c  176s |      17 |   340070 |   287332 |    13672     48 |        5 |      294
178.74/178.80	c  178s |      17 |   342580 |   289532 |    13672     49 |        5 |      294
180.74/180.83	c  180s |      17 |   346264 |   292832 |    13672     49 |        5 |      294
182.84/182.93	c  182s |      17 |   349470 |   295732 |    15040     49 |        5 |      294
183.14/183.27	c  183s |      18 |   350057 |   296252 |    15040     49 |        5 |      294
185.24/185.35	c  185s |      18 |   352843 |   298452 |    15040     50 |        5 |      294
187.24/187.36	c  187s |      18 |   356947 |   301952 |    15040     50 |        5 |      294
189.34/189.40	c  189s |      18 |   360609 |   305052 |    15040     50 |        5 |      294
191.34/191.45	c  191s |      18 |   364850 |   308652 |    15040     51 |        5 |      294
193.33/193.47	c  193s |      18 |   368398 |   311652 |    15040     51 |        5 |      294
195.33/195.49	c  195s |      18 |   372407 |   315152 |    15040     52 |        5 |      294
197.63/197.72	c  197s |      18 |   374816 |   317252 |    15040     52 |        5 |      294
199.73/199.81	c  199s |      18 |   378391 |   320252 |    15040     52 |        5 |      294
201.73/201.85	c  201s |      18 |   381670 |   323052 |    15040     53 |        5 |      294
203.83/203.90	c  203s |      18 |   385413 |   326352 |    15040     53 |        5 |      294
205.82/205.93	c  205s |      18 |   388864 |   329352 |    15040     54 |        5 |      294
207.83/207.98	c  207s |      18 |   391880 |   331952 |    15040     54 |        5 |      294
209.92/210.05	c  209s |      18 |   395496 |   334952 |    15040     54 |        5 |      294
212.12/212.21	c  212s |      18 |   399617 |   338452 |    15040     55 |        5 |      294
214.12/214.21	c  214s |      18 |   403186 |   341552 |    15040     55 |        5 |      294
216.12/216.24	c  216s |      18 |   406872 |   344652 |    15040     56 |        5 |      294
218.12/218.26	c  218s |      18 |   410867 |   348152 |    15040     56 |        5 |      294
220.32/220.43	c  220s |      18 |   414029 |   350952 |    15040     56 |        5 |      294
222.31/222.46	c  222s |      18 |   417645 |   354052 |    15040     57 |        5 |      294
224.42/224.52	c  224s |      18 |   420839 |   356952 |    15040     57 |        5 |      294
226.41/226.56	c  226s |      18 |   424075 |   359852 |    15040     58 |        5 |      294
228.61/228.75	c  228s |      18 |   427734 |   363152 |    15040     58 |        5 |      294
230.71/230.81	c  230s |      18 |   431209 |   366152 |    15040     58 |        5 |      294
232.71/232.83	c  232s |      18 |   434578 |   369052 |    15040     59 |        5 |      294
234.71/234.86	c  234s |      18 |   438143 |   372252 |    15040     59 |        5 |      294
237.22/237.34	c  237s |      18 |   439861 |   373752 |    15040     59 |        5 |      294
239.31/239.40	c  239s |      18 |   443710 |   376952 |    15040     60 |        5 |      294
241.31/241.44	c  241s |      18 |   447612 |   380252 |    15040     60 |        5 |      294
243.31/243.46	c  243s |      18 |   451743 |   383752 |    15040     61 |        5 |      294
245.41/245.52	c  245s |      18 |   455353 |   386852 |    15040     61 |        5 |      294
247.42/247.54	c  247s |      18 |   458931 |   389852 |    15040     62 |        5 |      294
249.41/249.55	c  249s |      18 |   463232 |   393452 |    15040     62 |        5 |      294
251.51/251.62	c  251s |      18 |   466868 |   396652 |    15040     62 |        5 |      294
253.51/253.64	c  253s |      18 |   470549 |   399852 |    15040     63 |        5 |      294
255.61/255.70	c  255s |      18 |   474126 |   402852 |    15040     63 |        5 |      294
257.61/257.72	c  257s |      18 |   477746 |   405952 |    15040     64 |        5 |      294
259.61/259.77	c  259s |      18 |   481494 |   409252 |    15040     64 |        5 |      294
261.71/261.82	c  261s |      18 |   484688 |   412052 |    15040     65 |        5 |      294
263.70/263.87	c  263s |      18 |   488558 |   415452 |    15040     65 |        5 |      294
266.00/266.15	c  265s |      18 |   490332 |   417052 |    15040     65 |        5 |      294
268.00/268.19	c  268s |      18 |   493858 |   420052 |    15040     66 |        5 |      294
270.10/270.23	c  270s |      18 |   498237 |   423852 |    15040     66 |        5 |      294
272.09/272.27	c  272s |      18 |   501693 |   426852 |    15040     66 |        5 |      294
274.19/274.31	c  274s |      18 |   505435 |   430152 |    15040     67 |        5 |      294
276.19/276.33	c  276s |      18 |   508956 |   433252 |    15040     67 |        5 |      294
278.20/278.36	c  278s |      18 |   512119 |   436052 |    15040     68 |        5 |      294
280.19/280.37	c  280s |      18 |   515665 |   439252 |    15040     68 |        5 |      294
282.19/282.37	c  282s |      18 |   518095 |   441352 |    16544     68 |        5 |      294
284.19/284.38	c  284s |      18 |   520826 |   443752 |    16544     68 |        5 |      294
284.90/285.07	c  284s |      19 |   521686 |   444482 |    16544     69 |        5 |      294
287.00/287.12	c  286s |      19 |   524832 |   447082 |    16544     69 |        5 |      294
288.99/289.17	c  289s |      19 |   527979 |   449882 |    16544     69 |        5 |      294
291.09/291.20	c  291s |      19 |   530899 |   452482 |    16544     69 |        5 |      294
293.09/293.22	c  293s |      19 |   533443 |   454682 |    16544     70 |        5 |      294
295.09/295.27	c  295s |      19 |   537258 |   457982 |    16544     70 |        5 |      294
297.28/297.40	c  297s |      19 |   540641 |   460982 |    16544     71 |        5 |      294
299.28/299.46	c  299s |      19 |   544153 |   464182 |    16544     71 |        5 |      294
301.39/301.52	c  301s |      19 |   546148 |   465882 |    16544     71 |        5 |      294
303.38/303.57	c  303s |      19 |   549453 |   468782 |    16544     71 |        5 |      294
305.48/305.61	c  305s |      19 |   552827 |   471782 |    16544     72 |        5 |      294
307.48/307.67	c  307s |      19 |   556056 |   474682 |    16544     72 |        5 |      294
309.58/309.71	c  309s |      19 |   558940 |   477282 |    16544     72 |        5 |      294
311.58/311.75	c  311s |      19 |   562409 |   480382 |    16544     73 |        5 |      294
313.58/313.78	c  313s |      19 |   565924 |   483482 |    16544     73 |        5 |      294
315.68/315.84	c  315s |      19 |   568405 |   485682 |    16544     73 |        5 |      294
317.68/317.89	c  317s |      19 |   571870 |   488782 |    16544     74 |        5 |      294
319.78/319.92	c  319s |      19 |   575129 |   491682 |    16544     74 |        5 |      294
321.78/321.95	c  321s |      19 |   578146 |   494382 |    16544     74 |        5 |      294
323.78/323.99	c  323s |      19 |   581301 |   497182 |    16544     75 |        5 |      294
325.88/326.04	c  325s |      19 |   584507 |   500082 |    16544     75 |        5 |      294
327.98/328.11	c  327s |      19 |   587200 |   502582 |    16544     75 |        5 |      294
329.98/330.12	c  329s |      19 |   590080 |   505182 |    16544     76 |        5 |      294
331.97/332.15	c  331s |      19 |   593263 |   508082 |    16544     76 |        5 |      294
333.97/334.20	c  334s |      19 |   595836 |   510482 |    16544     76 |        5 |      294
336.77/336.92	c  336s |      19 |   596386 |   510982 |    16544     76 |        5 |      294
338.78/338.92	c  338s |      19 |   599274 |   513582 |    16544     77 |        5 |      294
340.77/340.98	c  340s |      19 |   602408 |   516482 |    16544     77 |        5 |      294
342.86/343.04	c  342s |      19 |   605416 |   519082 |    16544     77 |        5 |      294
344.86/345.05	c  344s |      19 |   608472 |   521782 |    16544     78 |        5 |      294
346.86/347.08	c  346s |      19 |   611643 |   524582 |    16544     78 |        5 |      294
348.96/349.16	c  349s |      19 |   614476 |   527082 |    16544     78 |        5 |      294
351.06/351.22	c  351s |      19 |   617115 |   529482 |    16544     79 |        5 |      294
353.16/353.31	c  353s |      19 |   620110 |   532182 |    16544     79 |        5 |      294
355.17/355.39	c  355s |      19 |   622914 |   534682 |    16544     79 |        5 |      294
357.26/357.45	c  357s |      19 |   625808 |   536982 |    16544     80 |        5 |      294
359.36/359.52	c  359s |      19 |   628807 |   539382 |    16544     80 |        5 |      294
361.36/361.59	c  361s |      19 |   630923 |   541282 |    16544     80 |        5 |      294
363.46/363.66	c  363s |      19 |   633692 |   543682 |    16544     80 |        5 |      294
365.56/365.72	c  365s |      19 |   636331 |   545982 |    16544     81 |        5 |      294
367.56/367.73	c  367s |      19 |   639640 |   548882 |    16544     81 |        5 |      294
369.56/369.73	c  369s |      19 |   642582 |   551482 |    16544     81 |        5 |      294
371.55/371.73	c  371s |      19 |   645250 |   553782 |    16544     82 |        5 |      294
373.55/373.77	c  373s |      19 |   648567 |   556782 |    16544     82 |        5 |      294
375.65/375.85	c  375s |      19 |   651577 |   559482 |    16544     82 |        5 |      294
377.75/377.93	c  377s |      19 |   654171 |   561782 |    16544     83 |        5 |      294
379.75/379.98	c  379s |      19 |   657620 |   564782 |    16544     83 |        5 |      294
381.84/382.02	c  381s |      19 |   659926 |   566782 |    16544     83 |        5 |      294
383.85/384.03	c  383s |      19 |   662827 |   569282 |    16544     83 |        5 |      294
385.84/386.07	c  385s |      19 |   665800 |   571882 |    16544     84 |        5 |      294
387.95/388.10	c  387s |      19 |   669200 |   574782 |    16544     84 |        5 |      294
389.95/390.18	c  390s |      19 |   672217 |   577482 |    16544     84 |        5 |      294
392.04/392.22	c  392s |      19 |   675288 |   580182 |    16544     85 |        5 |      294
394.04/394.29	c  394s |      19 |   678556 |   583082 |    16544     85 |        5 |      294
396.14/396.35	c  396s |      19 |   681046 |   585082 |    16544     85 |        5 |      294
398.24/398.40	c  398s |      19 |   684001 |   587582 |    16544     86 |        5 |      294
400.25/400.46	c  400s |      19 |   687166 |   590282 |    16544     86 |        5 |      294
402.24/402.47	c  402s |      19 |   690485 |   593182 |    16544     86 |        5 |      294
404.54/404.76	c  404s |      19 |   693084 |   595382 |    16544     87 |        5 |      294
406.64/406.82	c  406s |      19 |   696976 |   598682 |    16544     87 |        5 |      294
408.64/408.83	c  408s |      19 |   700090 |   601382 |    16544     87 |        5 |      294
410.64/410.86	c  410s |      19 |   703353 |   604182 |    16544     88 |        5 |      294
412.74/412.91	c  412s |      19 |   707555 |   607882 |    16544     88 |        5 |      294
414.74/414.97	c  414s |      19 |   711014 |   610882 |    16544     88 |        5 |      294
416.84/417.02	c  416s |      19 |   714307 |   613782 |    16544     89 |        5 |      294
419.33/419.53	c  419s |      19 |   717425 |   616582 |    16544     89 |        5 |      294
421.43/421.60	c  421s |      19 |   720338 |   619082 |    16544     89 |        5 |      294
423.44/423.63	c  423s |      19 |   723025 |   621382 |    16544     90 |        5 |      294
425.43/425.66	c  425s |      19 |   726542 |   624482 |    16544     90 |        5 |      294
427.43/427.68	c  427s |      19 |   729527 |   627182 |    16544     90 |        5 |      294
429.43/429.68	c  429s |      19 |   732577 |   629982 |    16544     91 |        5 |      294
431.53/431.70	c  431s |      19 |   736037 |   632982 |    16544     91 |        5 |      294
433.53/433.72	c  433s |      19 |   738992 |   635582 |    16544     91 |        5 |      294
435.53/435.77	c  435s |      19 |   741985 |   638182 |    16544     92 |        5 |      294
437.63/437.81	c  437s |      19 |   745438 |   641282 |    16544     92 |        5 |      294
439.63/439.88	c  439s |      19 |   748433 |   643982 |    16544     92 |        5 |      294
441.72/441.91	c  441s |      19 |   751369 |   646682 |    16544     93 |        5 |      294
444.23/444.47	c  444s |      19 |   753518 |   648682 |    16544     93 |        5 |      294
446.32/446.51	c  446s |      19 |   755495 |   650382 |    16544     93 |        5 |      294
448.32/448.59	c  448s |      19 |   758735 |   653282 |    16544     93 |        5 |      294
450.42/450.60	c  450s |      19 |   761741 |   655982 |    16544     94 |        5 |      294
452.41/452.66	c  452s |      19 |   764811 |   658682 |    16544     94 |        5 |      294
454.41/454.69	c  454s |      19 |   767641 |   661182 |    16544     94 |        5 |      294
456.51/456.79	c  456s |      19 |   770716 |   663782 |    18199     94 |        5 |      294
458.62/458.83	c  458s |      19 |   773959 |   666682 |    18199     95 |        5 |      294
458.71/458.94	c  458s |      20 |   774118 |   666827 |    18199     95 |        5 |      294
460.73/460.96	c  460s |      20 |   776014 |   668327 |    18199     95 |        5 |      294
462.82/463.01	c  462s |      20 |   779632 |   671427 |    18199     95 |        5 |      294
464.82/465.05	c  464s |      20 |   781709 |   673227 |    18199     96 |        5 |      294
466.92/467.11	c  466s |      20 |   785572 |   676627 |    18199     96 |        5 |      294
468.92/469.13	c  468s |      20 |   788726 |   679427 |    18199     96 |        5 |      294
470.92/471.19	c  471s |      20 |   791751 |   682027 |    18199     96 |        5 |      294
473.02/473.24	c  473s |      20 |   794573 |   684527 |    18199     97 |        5 |      294
475.02/475.26	c  475s |      20 |   797620 |   687227 |    18199     97 |        5 |      294
477.12/477.30	c  477s |      20 |   800453 |   689727 |    18199     97 |        5 |      294
479.12/479.39	c  479s |      20 |   802538 |   691427 |    18199     97 |        5 |      294
481.22/481.42	c  481s |      20 |   805784 |   694227 |    18199     98 |        5 |      294
483.21/483.46	c  483s |      20 |   809344 |   697227 |    18199     98 |        5 |      294
485.21/485.47	c  485s |      20 |   812410 |   699927 |    18199     98 |        5 |      294
487.31/487.50	c  487s |      20 |   814674 |   701827 |    18199     99 |        5 |      294
489.31/489.53	c  489s |      20 |   818186 |   704827 |    18199     99 |        5 |      294
491.31/491.56	c  491s |      20 |   821448 |   707727 |    18199     99 |        5 |      294
494.20/494.41	c  494s |      20 |   824084 |   709927 |    18199    100 |        5 |      294
496.20/496.42	c  496s |      20 |   827557 |   712927 |    18199    100 |        5 |      294
498.21/498.43	c  498s |      20 |   830767 |   715727 |    18199    100 |        5 |      294
500.20/500.49	c  500s |      20 |   833665 |   718227 |    18199    100 |        5 |      294
502.40/502.64	c  502s |      20 |   836696 |   720827 |    18199    101 |        5 |      294
504.40/504.64	c  504s |      20 |   839831 |   723627 |    18199    101 |        5 |      294
506.40/506.67	c  506s |      20 |   842769 |   726227 |    18199    101 |        5 |      294
508.60/508.80	c  508s |      20 |   845006 |   728227 |    18199    102 |        5 |      294
510.60/510.86	c  510s |      20 |   847159 |   730127 |    18199    102 |        5 |      294
512.60/512.89	c  512s |      20 |   850320 |   732927 |    18199    102 |        5 |      294
514.70/514.97	c  514s |      20 |   853144 |   735427 |    18199    102 |        5 |      294
516.80/517.02	c  516s |      20 |   855672 |   737627 |    18199    103 |        5 |      294
518.79/519.05	c  518s |      20 |   858833 |   740427 |    18199    103 |        5 |      294
520.79/521.09	c  520s |      20 |   861556 |   742927 |    18199    103 |        5 |      294
522.89/523.16	c  522s |      20 |   864095 |   745227 |    18199    103 |        5 |      294
524.89/525.17	c  525s |      20 |   866272 |   747227 |    18199    104 |        5 |      294
526.99/527.27	c  527s |      20 |   869478 |   749927 |    18199    104 |        5 |      294
529.00/529.29	c  529s |      20 |   872143 |   752327 |    18199    104 |        5 |      294
533.49/533.73	c  533s |      20 |   873737 |   753727 |    18199    104 |        5 |      294
535.49/535.76	c  535s |      20 |   876608 |   756127 |    18199    105 |        5 |      294
537.49/537.79	c  537s |      20 |   880240 |   759127 |    18199    105 |        5 |      294
539.59/539.85	c  539s |      20 |   883417 |   761727 |    18199    105 |        5 |      294
541.68/541.93	c  541s |      20 |   886636 |   764427 |    18199    105 |        5 |      294
543.68/543.97	c  543s |      20 |   890156 |   767427 |    18199    106 |        5 |      294
545.78/546.02	c  545s |      20 |   893509 |   770327 |    18199    106 |        5 |      294
547.78/548.06	c  547s |      20 |   896731 |   773127 |    18199    106 |        5 |      294
549.78/550.10	c  549s |      20 |   900081 |   776127 |    18199    107 |        5 |      294
552.18/552.41	c  552s |      20 |   903097 |   778727 |    18199    107 |        5 |      294
554.19/554.42	c  554s |      20 |   906451 |   781527 |    18199    107 |        5 |      294
556.28/556.51	c  556s |      20 |   909631 |   784227 |    18199    108 |        5 |      294
558.28/558.57	c  558s |      20 |   913249 |   787327 |    18199    108 |        5 |      294
560.38/560.63	c  560s |      20 |   916819 |   790427 |    18199    108 |        5 |      294
563.08/563.30	c  563s |      20 |   919734 |   793027 |    18199    109 |        5 |      294
565.08/565.33	c  565s |      20 |   923385 |   796127 |    18199    109 |        5 |      294
567.07/567.36	c  567s |      20 |   926857 |   799127 |    18199    109 |        5 |      294
569.07/569.37	c  569s |      20 |   929778 |   801727 |    18199    109 |        5 |      294
571.07/571.39	c  571s |      20 |   932739 |   804227 |    18199    110 |        5 |      294
573.17/573.42	c  573s |      20 |   936025 |   807127 |    18199    110 |        5 |      294
575.17/575.48	c  575s |      20 |   938989 |   809727 |    18199    110 |        5 |      294
577.27/577.53	c  577s |      20 |   942014 |   812427 |    18199    111 |        5 |      294
579.27/579.53	c  579s |      20 |   944912 |   815027 |    18199    111 |        5 |      294
581.26/581.58	c  581s |      20 |   947832 |   817727 |    18199    111 |        5 |      294
585.46/585.75	c  585s |      20 |   949566 |   819327 |    18199    111 |        5 |      294
587.46/587.76	c  587s |      20 |   952385 |   821627 |    18199    112 |        5 |      294
589.47/589.79	c  589s |      20 |   956062 |   824727 |    18199    112 |        5 |      294
591.57/591.82	c  591s |      20 |   959087 |   827427 |    18199    112 |        5 |      294
593.55/593.85	c  593s |      20 |   962065 |   830027 |    18199    113 |        5 |      294
595.55/595.88	c  595s |      20 |   965874 |   833327 |    18199    113 |        5 |      294
597.65/597.94	c  597s |      20 |   969082 |   836227 |    18199    113 |        5 |      294
599.65/599.96	c  599s |      20 |   971764 |   838527 |    18199    113 |        5 |      294
601.74/602.01	c  601s |      20 |   974423 |   840927 |    18199    114 |        5 |      294
603.75/604.05	c  603s |      20 |   977691 |   843827 |    18199    114 |        5 |      294
605.85/606.11	c  605s |      20 |   980494 |   846327 |    18199    114 |        5 |      294
607.84/608.12	c  607s |      20 |   983111 |   848527 |    18199    115 |        5 |      294
609.84/610.15	c  609s |      20 |   986472 |   851427 |    18199    115 |        5 |      294
611.94/612.22	c  612s |      20 |   989539 |   854127 |    18199    115 |        5 |      294
613.94/614.22	c  614s |      20 |   992086 |   856427 |    18199    115 |        5 |      294
615.94/616.28	c  616s |      20 |   995171 |   859127 |    18199    116 |        5 |      294
618.04/618.36	c  618s |      20 |   998232 |   861927 |    18199    116 |        5 |      294
621.25/621.52	c  621s |      20 |  1001123 |   864527 |    18199    116 |        5 |      294
623.34/623.61	c  623s |      20 |  1002965 |   866127 |    18199    116 |        5 |      294
625.34/625.62	c  625s |      20 |  1005609 |   868427 |    18199    117 |        5 |      294
627.34/627.64	c  627s |      20 |  1008950 |   871427 |    18199    117 |        5 |      294
629.34/629.66	c  629s |      20 |  1011664 |   873927 |    18199    117 |        5 |      294
631.34/631.69	c  631s |      20 |  1013984 |   876027 |    18199    118 |        5 |      294
633.44/633.73	c  633s |      20 |  1017045 |   878827 |    18199    118 |        5 |      294
635.43/635.80	c  635s |      20 |  1019987 |   881427 |    18199    118 |        5 |      294
637.53/637.80	c  637s |      20 |  1022180 |   883427 |    18199    118 |        5 |      294
639.53/639.85	c  639s |      20 |  1024606 |   885627 |    18199    119 |        5 |      294
641.63/641.94	c  641s |      20 |  1027175 |   888027 |    18199    119 |        5 |      294
643.63/643.99	c  643s |      20 |  1029530 |   890227 |    18199    119 |        5 |      294
645.72/646.07	c  645s |      20 |  1031663 |   892127 |    18199    119 |        5 |      294
647.73/648.08	c  647s |      20 |  1033912 |   894127 |    18199    120 |        5 |      294
649.72/650.10	c  649s |      20 |  1036656 |   896627 |    18199    120 |        5 |      294
651.82/652.12	c  651s |      20 |  1039391 |   899127 |    18199    120 |        5 |      294
654.23/654.55	c  654s |      20 |  1041212 |   900727 |    18199    120 |        5 |      294
656.22/656.56	c  656s |      20 |  1043864 |   903027 |    18199    120 |        5 |      294
658.22/658.59	c  658s |      20 |  1046678 |   905427 |    18199    121 |        5 |      294
660.32/660.65	c  660s |      20 |  1050104 |   908427 |    18199    121 |        5 |      294
662.41/662.72	c  662s |      20 |  1052985 |   910927 |    18199    121 |        5 |      294
664.41/664.76	c  664s |      20 |  1055827 |   913427 |    18199    122 |        5 |      294
666.51/666.82	c  666s |      20 |  1058884 |   916227 |    18199    122 |        5 |      294
668.52/668.87	c  668s |      20 |  1061624 |   918727 |    18199    122 |        5 |      294
670.61/670.92	c  670s |      20 |  1064262 |   921027 |    18199    122 |        5 |      294
672.61/672.96	c  672s |      20 |  1067144 |   923527 |    18199    123 |        5 |      294
675.61/675.94	c  675s |      20 |  1068398 |   924627 |    18199    123 |        5 |      294
677.61/677.96	c  677s |      20 |  1071520 |   927327 |    18199    123 |        5 |      294
679.61/679.96	c  679s |      20 |  1074507 |   929927 |    18199    123 |        5 |      294
681.61/681.99	c  681s |      20 |  1077465 |   932527 |    18199    124 |        5 |      294
683.70/684.04	c  683s |      20 |  1080546 |   935227 |    18199    124 |        5 |      294
685.80/686.10	c  685s |      20 |  1083820 |   938027 |    18199    124 |        5 |      294
687.80/688.12	c  687s |      20 |  1086340 |   940227 |    18199    125 |        5 |      294
689.80/690.15	c  689s |      20 |  1090009 |   943427 |    18199    125 |        5 |      294
691.80/692.17	c  692s |      20 |  1092899 |   946027 |    18199    125 |        5 |      294
693.80/694.19	c  694s |      20 |  1095421 |   948327 |    18199    125 |        5 |      294
695.90/696.23	c  696s |      20 |  1097482 |   950227 |    18199    126 |        5 |      294
697.89/698.29	c  698s |      20 |  1100913 |   953227 |    18199    126 |        5 |      294
699.99/700.31	c  700s |      20 |  1103736 |   955727 |    18199    126 |        5 |      294
702.09/702.41	c  702s |      20 |  1105822 |   957527 |    18199    126 |        5 |      294
704.39/704.77	c  704s |      20 |  1108376 |   959727 |    18199    127 |        5 |      294
706.39/706.79	c  706s |      20 |  1111641 |   962627 |    18199    127 |        5 |      294
708.49/708.84	c  708s |      20 |  1114476 |   965127 |    18199    127 |        5 |      294
710.49/710.85	c  710s |      20 |  1116867 |   967227 |    18199    127 |        5 |      294
712.60/712.92	c  712s |      20 |  1119720 |   969727 |    18199    128 |        5 |      294
714.59/714.97	c  714s |      20 |  1122582 |   972327 |    18199    128 |        5 |      294
716.59/716.97	c  716s |      20 |  1125034 |   974527 |    18199    128 |        5 |      294
719.20/719.58	c  719s |      20 |  1127518 |   976827 |    18199    129 |        5 |      294
721.30/721.61	c  721s |      20 |  1130511 |   979527 |    18199    129 |        5 |      294
723.50/723.81	c  723s |      20 |  1133245 |   982027 |    18199    129 |        5 |      294
725.50/725.88	c  725s |      20 |  1135978 |   984427 |    18199    129 |        5 |      294
727.50/727.89	c  727s |      20 |  1137992 |   986227 |    18199    130 |        5 |      294
729.60/729.95	c  729s |      20 |  1140792 |   988727 |    18199    130 |        5 |      294
731.89/732.24	c  732s |      20 |  1142470 |   990227 |    18199    130 |        5 |      294
733.99/734.32	c  734s |      20 |  1145505 |   992727 |    18199    130 |        5 |      294
735.99/736.36	c  736s |      20 |  1147939 |   994827 |    20019    130 |        5 |      294
738.09/738.46	c  738s |      20 |  1150321 |   996827 |    20019    130 |        5 |      294
740.19/740.53	c  740s |      20 |  1153024 |   999227 |    20019    131 |        5 |      294
741.20/741.52	c  741s |      21 |  1154272 |  1000345 |    20019    131 |        5 |      294
743.19/743.55	c  743s |      21 |  1156396 |  1002045 |    20019    131 |        5 |      294
745.19/745.56	c  745s |      21 |  1159775 |  1004845 |    20019    131 |        5 |      294
747.29/747.65	c  747s |      21 |  1162636 |  1007245 |    20019    132 |        5 |      294
749.29/749.66	c  749s |      21 |  1165260 |  1009545 |    20019    132 |        5 |      294
751.39/751.70	c  751s |      21 |  1168321 |  1012145 |    20019    132 |        5 |      294
753.39/753.79	c  753s |      21 |  1171072 |  1014545 |    20019    132 |        5 |      294
755.49/755.81	c  755s |      21 |  1173601 |  1016745 |    20019    132 |        5 |      294
757.49/757.83	c  757s |      21 |  1176641 |  1019445 |    20019    133 |        5 |      294
759.49/759.85	c  759s |      21 |  1179583 |  1022045 |    20019    133 |        5 |      294
761.58/761.91	c  761s |      21 |  1182685 |  1024745 |    20019    133 |        5 |      294
763.58/763.94	c  763s |      21 |  1183914 |  1025745 |    20019    133 |        5 |      294
765.58/765.96	c  765s |      21 |  1186129 |  1027645 |    20019    134 |        5 |      294
767.68/768.02	c  767s |      21 |  1189521 |  1030545 |    20019    134 |        5 |      294
769.69/770.04	c  769s |      21 |  1192262 |  1032945 |    20019    134 |        5 |      294
771.68/772.08	c  771s |      21 |  1195056 |  1035345 |    20019    134 |        5 |      294
773.78/774.13	c  773s |      21 |  1197525 |  1037545 |    20019    135 |        5 |      294
775.88/776.26	c  776s |      21 |  1200351 |  1040045 |    20019    135 |        5 |      294
777.97/778.30	c  778s |      21 |  1202905 |  1042245 |    20019    135 |        5 |      294
779.97/780.33	c  780s |      21 |  1205430 |  1044445 |    20019    135 |        5 |      294
781.97/782.39	c  782s |      21 |  1207874 |  1046645 |    20019    135 |        5 |      294
784.08/784.41	c  784s |      21 |  1210478 |  1048945 |    20019    136 |        5 |      294
786.07/786.41	c  786s |      21 |  1213239 |  1051445 |    20019    136 |        5 |      294
788.07/788.49	c  788s |      21 |  1215975 |  1053845 |    20019    136 |        5 |      294
790.17/790.54	c  790s |      21 |  1218700 |  1056245 |    20019    136 |        5 |      294
795.67/796.05	c  795s |      21 |  1220949 |  1058245 |    20019    137 |        5 |      294
797.67/798.06	c  797s |      21 |  1223172 |  1060045 |    20019    137 |        5 |      294
799.67/800.09	c  799s |      21 |  1227076 |  1063245 |    20019    137 |        5 |      294
801.77/802.11	c  801s |      21 |  1229967 |  1065745 |    20019    137 |        5 |      294
803.78/804.14	c  803s |      21 |  1232467 |  1067945 |    20019    138 |        5 |      294
805.87/806.21	c  806s |      21 |  1235515 |  1070645 |    20019    138 |        5 |      294
807.87/808.23	c  808s |      21 |  1238456 |  1073245 |    20019    138 |        5 |      294
809.97/810.30	c  810s |      21 |  1241079 |  1075545 |    20019    138 |        5 |      294
811.97/812.34	c  812s |      21 |  1243591 |  1077745 |    20019    138 |        5 |      294
813.97/814.35	c  814s |      21 |  1245868 |  1079745 |    20019    139 |        5 |      294
816.07/816.40	c  816s |      21 |  1249043 |  1082445 |    20019    139 |        5 |      294
818.08/818.42	c  818s |      21 |  1251796 |  1084845 |    20019    139 |        5 |      294
820.07/820.44	c  820s |      21 |  1254175 |  1086945 |    20019    139 |        5 |      294
822.07/822.44	c  822s |      21 |  1256631 |  1089145 |    20019    140 |        5 |      294
824.07/824.49	c  824s |      21 |  1259467 |  1091645 |    20019    140 |        5 |      294
826.17/826.50	c  826s |      21 |  1262223 |  1094145 |    20019    140 |        5 |      294
828.17/828.58	c  828s |      21 |  1264778 |  1096445 |    20019    140 |        5 |      294
830.27/830.64	c  830s |      21 |  1266955 |  1098445 |    20019    141 |        5 |      294
832.77/833.16	c  832s |      21 |  1267917 |  1099345 |    20019    141 |        5 |      294
834.87/835.23	c  835s |      21 |  1270237 |  1101345 |    20019    141 |        5 |      294
836.87/837.26	c  837s |      21 |  1272933 |  1103745 |    20019    141 |        5 |      294
838.97/839.32	c  839s |      21 |  1275745 |  1106245 |    20019    141 |        5 |      294
840.96/841.33	c  841s |      21 |  1278117 |  1108345 |    20019    141 |        5 |      294
842.96/843.36	c  843s |      21 |  1280922 |  1110845 |    20019    142 |        5 |      294
845.06/845.42	c  845s |      21 |  1283583 |  1113245 |    20019    142 |        5 |      294
847.06/847.48	c  847s |      21 |  1285916 |  1115345 |    20019    142 |        5 |      294
849.16/849.52	c  849s |      21 |  1288295 |  1117245 |    20019    142 |        5 |      294
851.17/851.58	c  851s |      21 |  1290817 |  1118945 |    20019    143 |        5 |      294
853.27/853.61	c  853s |      21 |  1293478 |  1121345 |    20019    143 |        5 |      294
855.26/855.63	c  855s |      21 |  1295770 |  1123445 |    20019    143 |        5 |      294
857.26/857.67	c  857s |      21 |  1298069 |  1125445 |    20019    143 |        5 |      294
859.36/859.75	c  859s |      21 |  1300079 |  1127245 |    20019    143 |        5 |      294
861.46/861.81	c  861s |      21 |  1302089 |  1129045 |    20019    144 |        5 |      294
863.46/863.82	c  863s |      21 |  1305086 |  1131745 |    20019    144 |        5 |      294
865.47/865.84	c  865s |      21 |  1306766 |  1133245 |    20019    144 |        5 |      294
867.57/867.91	c  867s |      21 |  1309436 |  1135545 |    20019    144 |        5 |      294
869.57/869.92	c  869s |      21 |  1311685 |  1137545 |    20019    144 |        5 |      294
871.56/871.94	c  871s |      21 |  1313568 |  1139245 |    20019    145 |        5 |      294
873.66/874.06	c  873s |      21 |  1316215 |  1141545 |    20019    145 |        5 |      294
875.76/876.12	c  875s |      21 |  1319295 |  1144245 |    20019    145 |        5 |      294
877.86/878.21	c  878s |      21 |  1322140 |  1146745 |    20019    145 |        5 |      294
879.86/880.21	c  880s |      21 |  1324453 |  1148845 |    20019    145 |        5 |      294
881.87/882.23	c  882s |      21 |  1327257 |  1151345 |    20019    146 |        5 |      294
883.86/884.26	c  884s |      21 |  1329887 |  1153745 |    20019    146 |        5 |      294
885.86/886.28	c  886s |      21 |  1332280 |  1155945 |    20019    146 |        5 |      294
887.85/888.29	c  888s |      21 |  1333760 |  1157145 |    20019    146 |        5 |      294
890.05/890.47	c  890s |      21 |  1336174 |  1159145 |    20019    147 |        5 |      294
892.15/892.55	c  892s |      21 |  1339232 |  1161745 |    20019    147 |        5 |      294
894.15/894.59	c  894s |      21 |  1342392 |  1164445 |    20019    147 |        5 |      294
896.26/896.61	c  896s |      21 |  1345648 |  1167145 |    20019    147 |        5 |      294
898.25/898.65	c  898s |      21 |  1348309 |  1169445 |    20019    148 |        5 |      294
900.25/900.69	c  900s |      21 |  1351578 |  1172345 |    20019    148 |        5 |      294
902.35/902.77	c  902s |      21 |  1354716 |  1175145 |    20019    148 |        5 |      294
904.46/904.82	c  904s |      21 |  1356452 |  1176645 |    20019    148 |        5 |      294
906.46/906.89	c  906s |      21 |  1359022 |  1178845 |    20019    148 |        5 |      294
908.56/908.91	c  908s |      21 |  1361769 |  1181145 |    20019    149 |        5 |      294
910.56/910.96	c  910s |      21 |  1365117 |  1184045 |    20019    149 |        5 |      294
912.66/913.01	c  912s |      21 |  1368432 |  1186845 |    20019    149 |        5 |      294
914.86/915.22	c  915s |      21 |  1371464 |  1189445 |    20019    150 |        5 |      294
916.86/917.26	c  917s |      21 |  1374831 |  1192445 |    20019    150 |        5 |      294
918.95/919.31	c  919s |      21 |  1377243 |  1194545 |    20019    150 |        5 |      294
920.95/921.38	c  921s |      21 |  1380341 |  1197245 |    20019    150 |        5 |      294
923.05/923.43	c  923s |      21 |  1383297 |  1199745 |    20019    151 |        5 |      294
925.05/925.43	c  925s |      21 |  1386439 |  1202545 |    20019    151 |        5 |      294
927.15/927.58	c  927s |      21 |  1389306 |  1205045 |    20019    151 |        5 |      294
929.26/929.64	c  929s |      21 |  1391995 |  1207445 |    20019    151 |        5 |      294
931.46/931.84	c  931s |      21 |  1394497 |  1209645 |    20019    152 |        5 |      294
933.56/933.91	c  933s |      21 |  1397768 |  1212545 |    20019    152 |        5 |      294
935.55/935.94	c  935s |      21 |  1400489 |  1215045 |    20019    152 |        5 |      294
940.95/941.36	c  941s |      21 |  1400719 |  1215245 |    20019    152 |        5 |      294
943.05/943.43	c  943s |      21 |  1403507 |  1217545 |    20019    152 |        5 |      294
945.05/945.44	c  945s |      21 |  1406047 |  1219645 |    20019    152 |        5 |      294
947.05/947.46	c  947s |      21 |  1408888 |  1222045 |    20019    153 |        5 |      294
949.05/949.49	c  949s |      21 |  1412309 |  1224945 |    20019    153 |        5 |      294
951.15/951.52	c  951s |      21 |  1415040 |  1227345 |    20019    153 |        5 |      294
953.25/953.61	c  953s |      21 |  1417722 |  1229645 |    20019    153 |        5 |      294
955.24/955.65	c  955s |      21 |  1421144 |  1232545 |    20019    154 |        5 |      294
957.24/957.68	c  957s |      21 |  1424433 |  1235445 |    20019    154 |        5 |      294
959.34/959.75	c  959s |      21 |  1427378 |  1238045 |    20019    154 |        5 |      294
961.44/961.85	c  961s |      21 |  1429299 |  1239645 |    20019    154 |        5 |      294
963.44/963.86	c  963s |      21 |  1432336 |  1242245 |    20019    155 |        5 |      294
965.55/965.93	c  965s |      21 |  1435937 |  1245345 |    20019    155 |        5 |      294
967.54/967.99	c  967s |      21 |  1438718 |  1247745 |    20019    155 |        5 |      294
969.74/970.12	c  969s |      21 |  1441593 |  1250145 |    20019    156 |        5 |      294
971.74/972.14	c  971s |      21 |  1445167 |  1253345 |    20019    156 |        5 |      294
973.75/974.16	c  974s |      21 |  1447704 |  1255545 |    20019    156 |        5 |      294
975.85/976.21	c  976s |      21 |  1450436 |  1257845 |    20019    156 |        5 |      294
977.85/978.27	c  978s |      21 |  1453057 |  1260145 |    20019    156 |        5 |      294
979.86/980.27	c  980s |      21 |  1455459 |  1262245 |    20019    157 |        5 |      294
981.95/982.34	c  982s |      21 |  1458358 |  1264845 |    20019    157 |        5 |      294
984.05/984.42	c  984s |      21 |  1461164 |  1267345 |    20019    157 |        5 |      294
986.05/986.42	c  986s |      21 |  1463642 |  1269445 |    20019    157 |        5 |      294
988.05/988.43	c  988s |      21 |  1466422 |  1271945 |    20019    158 |        5 |      294
990.05/990.46	c  990s |      21 |  1469610 |  1274845 |    20019    158 |        5 |      294
992.15/992.50	c  992s |      21 |  1472518 |  1277445 |    20019    158 |        5 |      294
994.15/994.56	c  994s |      21 |  1475143 |  1279845 |    20019    158 |        5 |      294
998.94/999.37	c  999s |      21 |  1477614 |  1282045 |    20019    159 |        5 |      294
1000.94/1001.38	c 1001s |      21 |  1479056 |  1283245 |    20019    159 |        5 |      294
1003.04/1003.44	c 1003s |      21 |  1482685 |  1286345 |    20019    159 |        5 |      294
1005.15/1005.53	c 1005s |      21 |  1485733 |  1288945 |    20019    159 |        5 |      294
1007.35/1007.71	c 1007s |      21 |  1488446 |  1291245 |    20019    160 |        5 |      294
1009.34/1009.72	c 1009s |      21 |  1491771 |  1294145 |    20019    160 |        5 |      294
1011.34/1011.74	c 1011s |      21 |  1494660 |  1296745 |    20019    160 |        5 |      294
1013.44/1013.80	c 1013s |      21 |  1497350 |  1299145 |    20019    160 |        5 |      294
1015.44/1015.82	c 1015s |      21 |  1499561 |  1301045 |    20019    161 |        5 |      294
1017.44/1017.85	c 1017s |      21 |  1502553 |  1303745 |    20019    161 |        5 |      294
1019.54/1019.91	c 1019s |      21 |  1505237 |  1306245 |    20019    161 |        5 |      294
1021.54/1021.92	c 1021s |      21 |  1507545 |  1308345 |    20019    161 |        5 |      294
1023.64/1024.00	c 1023s |      21 |  1509868 |  1310445 |    20019    161 |        5 |      294
1025.64/1026.02	c 1025s |      21 |  1511960 |  1312345 |    20019    162 |        5 |      294
1027.64/1028.06	c 1027s |      21 |  1514567 |  1314645 |    20019    162 |        5 |      294
1029.74/1030.11	c 1029s |      21 |  1517201 |  1316945 |    20019    162 |        5 |      294
1031.74/1032.16	c 1031s |      21 |  1519485 |  1318845 |    20019    162 |        5 |      294
1034.03/1034.49	c 1034s |      21 |  1522008 |  1321045 |    20019    163 |        5 |      294
1036.13/1036.55	c 1036s |      21 |  1524445 |  1323145 |    20019    163 |        5 |      294
1038.14/1038.57	c 1038s |      21 |  1527386 |  1325745 |    20019    163 |        5 |      294
1040.24/1040.62	c 1040s |      21 |  1530094 |  1328145 |    20019    163 |        5 |      294
1042.93/1043.36	c 1043s |      21 |  1532094 |  1329945 |    20019    163 |        5 |      294
1045.03/1045.41	c 1045s |      21 |  1533958 |  1331545 |    20019    164 |        5 |      294
1047.03/1047.43	c 1047s |      21 |  1537131 |  1334345 |    20019    164 |        5 |      294
1049.04/1049.48	c 1049s |      21 |  1540277 |  1337145 |    20019    164 |        5 |      294
1051.13/1051.50	c 1051s |      21 |  1543171 |  1339745 |    20019    164 |        5 |      294
1053.13/1053.56	c 1053s |      21 |  1545630 |  1342045 |    20019    165 |        5 |      294
1055.13/1055.57	c 1055s |      21 |  1548296 |  1344445 |    20019    165 |        5 |      294
1057.33/1057.75	c 1057s |      21 |  1551187 |  1347045 |    20019    165 |        5 |      294
1059.43/1059.83	c 1059s |      21 |  1553597 |  1349245 |    20019    165 |        5 |      294
1061.53/1061.91	c 1061s |      21 |  1555654 |  1351145 |    20019    165 |        5 |      294
1063.54/1063.99	c 1063s |      21 |  1557976 |  1353245 |    20019    166 |        5 |      294
1065.64/1066.07	c 1065s |      21 |  1560607 |  1355645 |    20019    166 |        5 |      294
1067.63/1068.10	c 1067s |      21 |  1562815 |  1357645 |    20019    166 |        5 |      294
1069.73/1070.15	c 1069s |      21 |  1565470 |  1360045 |    20019    166 |        5 |      294
1071.93/1072.30	c 1072s |      21 |  1567612 |  1361945 |    20019    167 |        5 |      294
1073.93/1074.36	c 1074s |      21 |  1570693 |  1364745 |    20019    167 |        5 |      294
1076.03/1076.43	c 1076s |      21 |  1573327 |  1367145 |    20019    167 |        5 |      294
1078.23/1078.65	c 1078s |      21 |  1574926 |  1368645 |    20019    167 |        5 |      294
1080.33/1080.73	c 1080s |      21 |  1577777 |  1371145 |    20019    167 |        5 |      294
1082.33/1082.76	c 1082s |      21 |  1579884 |  1373045 |    20019    168 |        5 |      294
1084.43/1084.82	c 1084s |      21 |  1583217 |  1376045 |    20019    168 |        5 |      294
1086.44/1086.86	c 1086s |      21 |  1585732 |  1378345 |    20019    168 |        5 |      294
1088.53/1088.93	c 1088s |      21 |  1587977 |  1380345 |    20019    168 |        5 |      294
1090.84/1091.24	c 1091s |      21 |  1590379 |  1382445 |    20019    169 |        5 |      294
1092.93/1093.31	c 1093s |      21 |  1592798 |  1384545 |    20019    169 |        5 |      294
1094.93/1095.39	c 1095s |      21 |  1595859 |  1387145 |    20019    169 |        5 |      294
1097.03/1097.46	c 1097s |      21 |  1598366 |  1389345 |    20019    169 |        5 |      294
1099.13/1099.53	c 1099s |      21 |  1600874 |  1391545 |    20019    169 |        5 |      294
1101.13/1101.56	c 1101s |      21 |  1603607 |  1393945 |    20019    170 |        5 |      294
1104.73/1105.18	c 1105s |      21 |  1604710 |  1394945 |    20019    170 |        5 |      294
1106.73/1107.18	c 1107s |      21 |  1607247 |  1397145 |    20019    170 |        5 |      294
1108.73/1109.19	c 1109s |      21 |  1609813 |  1399445 |    20019    170 |        5 |      294
1110.83/1111.28	c 1111s |      21 |  1612492 |  1401745 |    20019    170 |        5 |      294
1112.83/1113.29	c 1113s |      21 |  1614830 |  1403845 |    20019    171 |        5 |      294
1114.93/1115.36	c 1115s |      21 |  1617735 |  1406345 |    20019    171 |        5 |      294
1117.03/1117.45	c 1117s |      21 |  1620688 |  1408845 |    20019    171 |        5 |      294
1119.13/1119.53	c 1119s |      21 |  1623407 |  1411145 |    20019    171 |        5 |      294
1121.13/1121.57	c 1121s |      21 |  1625846 |  1413345 |    20019    172 |        5 |      294
1123.13/1123.59	c 1123s |      21 |  1629110 |  1416245 |    20019    172 |        5 |      294
1125.23/1125.68	c 1125s |      21 |  1632105 |  1418945 |    20019    172 |        5 |      294
1127.32/1127.70	c 1127s |      21 |  1635015 |  1421445 |    20019    172 |        5 |      294
1129.33/1129.70	c 1129s |      21 |  1638008 |  1424145 |    20019    173 |        5 |      294
1131.32/1131.73	c 1131s |      21 |  1641181 |  1426945 |    20019    173 |        5 |      294
1133.32/1133.76	c 1133s |      21 |  1643815 |  1429345 |    20019    173 |        5 |      294
1135.42/1135.83	c 1135s |      21 |  1646381 |  1431645 |    20019    173 |        5 |      294
1137.52/1137.92	c 1137s |      21 |  1649009 |  1434045 |    20019    174 |        5 |      294
1141.02/1141.48	c 1141s |      21 |  1649865 |  1434845 |    20019    174 |        5 |      294
1143.12/1143.54	c 1143s |      21 |  1653169 |  1437745 |    20019    174 |        5 |      294
1145.12/1145.59	c 1145s |      21 |  1656134 |  1440345 |    20019    174 |        5 |      294
1147.32/1147.72	c 1147s |      21 |  1658510 |  1442545 |    20019    175 |        5 |      294
1149.32/1149.76	c 1149s |      21 |  1661439 |  1445145 |    20019    175 |        5 |      294
1151.33/1151.78	c 1151s |      21 |  1664286 |  1447745 |    20019    175 |        5 |      294
1153.42/1153.88	c 1153s |      21 |  1666881 |  1450045 |    20019    175 |        5 |      294
1155.52/1155.99	c 1155s |      21 |  1669181 |  1452145 |    20019    175 |        5 |      294
1158.52/1158.95	c 1158s |      21 |  1671666 |  1454445 |    20019    176 |        5 |      294
1160.52/1160.99	c 1160s |      21 |  1674782 |  1457145 |    20019    176 |        5 |      294
1162.62/1163.03	c 1162s |      21 |  1677616 |  1459545 |    20019    176 |        5 |      294
1164.62/1165.06	c 1164s |      21 |  1680039 |  1461745 |    20019    176 |        5 |      294
1166.72/1167.11	c 1166s |      21 |  1681866 |  1463345 |    20019    177 |        5 |      294
1168.72/1169.12	c 1168s |      21 |  1684697 |  1465845 |    20019    177 |        5 |      294
1170.72/1171.18	c 1171s |      21 |  1687929 |  1468745 |    20019    177 |        5 |      294
1172.81/1173.21	c 1173s |      21 |  1690766 |  1471245 |    20019    177 |        5 |      294
1174.91/1175.30	c 1175s |      21 |  1693030 |  1473345 |    20019    178 |        5 |      294
1176.91/1177.32	c 1177s |      21 |  1695646 |  1475745 |    20019    178 |        5 |      294
1178.92/1179.33	c 1179s |      21 |  1698054 |  1477945 |    20019    178 |        5 |      294
1180.91/1181.37	c 1181s |      21 |  1700284 |  1480045 |    20019    178 |        5 |      294
1183.01/1183.41	c 1183s |      21 |  1702550 |  1482145 |    20019    178 |        5 |      294
1185.01/1185.49	c 1185s |      21 |  1704573 |  1484045 |    20019    179 |        5 |      294
1187.11/1187.52	c 1187s |      21 |  1707272 |  1486545 |    20019    179 |        5 |      294
1189.41/1189.81	c 1189s |      21 |  1708597 |  1487745 |    20019    179 |        5 |      294
1191.41/1191.82	c 1191s |      21 |  1711351 |  1490145 |    22021    179 |        5 |      294
1193.41/1193.83	c 1193s |      21 |  1713556 |  1492145 |    22021    179 |        5 |      294
1195.51/1195.92	c 1195s |      21 |  1715921 |  1494245 |    22021    179 |        5 |      294
1197.51/1197.97	c 1197s |      21 |  1717971 |  1496045 |    22021    180 |        5 |      294
1199.51/1199.98	c 1199s |      21 |  1721216 |  1498945 |    22021    180 |        5 |      294
1202.11/1202.55	c 1202s |      21 |  1722421 |  1500045 |    22021    180 |        5 |      294
1202.61/1203.00	c 1202s |      22 |  1723067 |  1500622 |    22021    180 |        5 |      294
1204.61/1205.07	c 1204s |      22 |  1725522 |  1502622 |    22021    180 |        5 |      294
1206.71/1207.13	c 1206s |      22 |  1728371 |  1505122 |    22021    180 |        5 |      294
1208.81/1209.20	c 1209s |      22 |  1730973 |  1507322 |    22021    181 |        5 |      294
1210.82/1211.22	c 1211s |      22 |  1733899 |  1509922 |    22021    181 |        5 |      294
1212.81/1213.23	c 1213s |      22 |  1736519 |  1512322 |    22021    181 |        5 |      294
1214.81/1215.24	c 1215s |      22 |  1739009 |  1514522 |    22021    181 |        5 |      294
1216.81/1217.28	c 1217s |      22 |  1741364 |  1516522 |    22021    181 |        5 |      294
1218.91/1219.36	c 1219s |      22 |  1743930 |  1518722 |    22021    182 |        5 |      294
1221.01/1221.42	c 1221s |      22 |  1746838 |  1521322 |    22021    182 |        5 |      294
1223.01/1223.44	c 1223s |      22 |  1749537 |  1523722 |    22021    182 |        5 |      294
1227.60/1228.01	c 1227s |      22 |  1751084 |  1525122 |    22021    182 |        5 |      294
1229.60/1230.04	c 1229s |      22 |  1752746 |  1526522 |    22021    182 |        5 |      294
1231.71/1232.15	c 1231s |      22 |  1755035 |  1528422 |    22021    183 |        5 |      294
1233.70/1234.19	c 1234s |      22 |  1758345 |  1531222 |    22021    183 |        5 |      294
1235.80/1236.21	c 1236s |      22 |  1761730 |  1534022 |    22021    183 |        5 |      294
1237.80/1238.25	c 1238s |      22 |  1764535 |  1536322 |    22021    183 |        5 |      294
1239.90/1240.31	c 1240s |      22 |  1767042 |  1538522 |    22021    183 |        5 |      294
1241.90/1242.36	c 1242s |      22 |  1769674 |  1540722 |    22021    184 |        5 |      294
1243.90/1244.37	c 1244s |      22 |  1772402 |  1543122 |    22021    184 |        5 |      294
1246.01/1246.44	c 1246s |      22 |  1775162 |  1545522 |    22021    184 |        5 |      294
1248.00/1248.48	c 1248s |      22 |  1777494 |  1547622 |    22021    184 |        5 |      294
1250.00/1250.49	c 1250s |      22 |  1779677 |  1549622 |    22021    184 |        5 |      294
1253.21/1253.64	c 1253s |      22 |  1781027 |  1550822 |    22021    185 |        5 |      294
1255.31/1255.70	c 1255s |      22 |  1784792 |  1553922 |    22021    185 |        5 |      294
1257.31/1257.72	c 1257s |      22 |  1788145 |  1556822 |    22021    185 |        5 |      294
1259.31/1259.77	c 1259s |      22 |  1791160 |  1559422 |    22021    185 |        5 |      294
1261.61/1262.09	c 1261s |      22 |  1793919 |  1561822 |    22021    186 |        5 |      294
1263.71/1264.12	c 1263s |      22 |  1797291 |  1564822 |    22021    186 |        5 |      294
1265.71/1266.19	c 1266s |      22 |  1800519 |  1567722 |    22021    186 |        5 |      294
1267.81/1268.28	c 1268s |      22 |  1803352 |  1570122 |    22021    186 |        5 |      294
1269.91/1270.33	c 1270s |      22 |  1805714 |  1572122 |    22021    186 |        5 |      294
1271.90/1272.33	c 1272s |      22 |  1808291 |  1574322 |    22021    187 |        5 |      294
1273.90/1274.37	c 1274s |      22 |  1811976 |  1577522 |    22021    187 |        5 |      294
1276.00/1276.40	c 1276s |      22 |  1815204 |  1580322 |    22021    187 |        5 |      294
1278.00/1278.42	c 1278s |      22 |  1817920 |  1582722 |    22021    187 |        5 |      294
1280.00/1280.48	c 1280s |      22 |  1820599 |  1585122 |    22021    188 |        5 |      294
1282.10/1282.51	c 1282s |      22 |  1823906 |  1588022 |    22021    188 |        5 |      294
1284.09/1284.51	c 1284s |      22 |  1826825 |  1590622 |    22021    188 |        5 |      294
1288.91/1289.33	c 1289s |      22 |  1828504 |  1592122 |    22021    188 |        5 |      294
1291.00/1291.42	c 1291s |      22 |  1831301 |  1594422 |    22021    188 |        5 |      294
1293.00/1293.45	c 1293s |      22 |  1833412 |  1596222 |    22021    189 |        5 |      294
1295.00/1295.49	c 1295s |      22 |  1836996 |  1599222 |    22021    189 |        5 |      294
1297.10/1297.54	c 1297s |      22 |  1840334 |  1602122 |    22021    189 |        5 |      294
1299.10/1299.57	c 1299s |      22 |  1843177 |  1604622 |    22021    189 |        5 |      294
1301.29/1301.72	c 1301s |      22 |  1845752 |  1606922 |    22021    190 |        5 |      294
1303.29/1303.73	c 1303s |      22 |  1848822 |  1609522 |    22021    190 |        5 |      294
1305.30/1305.78	c 1305s |      22 |  1851681 |  1612022 |    22021    190 |        5 |      294
1307.39/1307.86	c 1307s |      22 |  1854464 |  1614422 |    22021    190 |        5 |      294
1309.49/1309.94	c 1309s |      22 |  1856930 |  1616622 |    22021    190 |        5 |      294
1311.59/1312.00	c 1311s |      22 |  1859418 |  1618822 |    22021    191 |        5 |      294
1313.59/1314.06	c 1313s |      22 |  1861841 |  1620922 |    22021    191 |        5 |      294
1315.69/1316.10	c 1315s |      22 |  1864520 |  1623322 |    22021    191 |        5 |      294
1317.69/1318.18	c 1318s |      22 |  1867062 |  1625622 |    22021    191 |        5 |      294
1319.79/1320.26	c 1320s |      22 |  1869380 |  1627722 |    22021    191 |        5 |      294
1326.49/1326.95	c 1326s |      22 |  1872074 |  1630122 |    22021    192 |        5 |      294
1328.59/1329.01	c 1328s |      22 |  1875437 |  1633022 |    22021    192 |        5 |      294
1330.59/1331.01	c 1330s |      22 |  1878252 |  1635522 |    22021    192 |        5 |      294
1332.59/1333.07	c 1332s |      22 |  1880953 |  1637922 |    22021    192 |        5 |      294
1334.69/1335.11	c 1334s |      22 |  1883521 |  1640222 |    22021    193 |        5 |      294
1336.69/1337.14	c 1336s |      22 |  1886254 |  1642722 |    22021    193 |        5 |      294
1338.69/1339.18	c 1339s |      22 |  1888864 |  1645022 |    22021    193 |        5 |      294
1340.79/1341.20	c 1341s |      22 |  1891200 |  1647122 |    22021    193 |        5 |      294
1342.79/1343.27	c 1343s |      22 |  1893707 |  1649422 |    22021    193 |        5 |      294
1345.19/1345.63	c 1345s |      22 |  1895816 |  1651322 |    22021    194 |        5 |      294
1347.29/1347.71	c 1347s |      22 |  1898694 |  1653922 |    22021    194 |        5 |      294
1349.30/1349.71	c 1349s |      22 |  1901168 |  1656222 |    22021    194 |        5 |      294
1351.39/1351.80	c 1351s |      22 |  1903662 |  1658522 |    22021    194 |        5 |      294
1353.80/1354.24	c 1354s |      22 |  1905090 |  1659822 |    22021    194 |        5 |      294
1355.89/1356.30	c 1356s |      22 |  1907377 |  1661722 |    22021    194 |        5 |      294
1357.89/1358.34	c 1358s |      22 |  1909567 |  1663622 |    22021    195 |        5 |      294
1359.89/1360.39	c 1360s |      22 |  1912724 |  1666422 |    22021    195 |        5 |      294
1361.99/1362.46	c 1362s |      22 |  1915545 |  1668922 |    22021    195 |        5 |      294
1364.09/1364.52	c 1364s |      22 |  1917976 |  1671122 |    22021    195 |        5 |      294
1366.39/1366.82	c 1366s |      22 |  1920157 |  1673022 |    22021    196 |        5 |      294
1368.39/1368.82	c 1368s |      22 |  1923229 |  1675722 |    22021    196 |        5 |      294
1370.38/1370.86	c 1370s |      22 |  1926013 |  1678222 |    22021    196 |        5 |      294
1372.39/1372.88	c 1372s |      22 |  1928592 |  1680522 |    22021    196 |        5 |      294
1374.38/1374.89	c 1374s |      22 |  1931086 |  1682722 |    22021    196 |        5 |      294
1378.00/1378.48	c 1378s |      22 |  1932337 |  1683822 |    22021    196 |        5 |      294
1380.19/1380.64	c 1380s |      22 |  1932692 |  1684122 |    22021    197 |        5 |      294
1382.19/1382.65	c 1382s |      22 |  1936301 |  1687222 |    22021    197 |        5 |      294
1384.19/1384.67	c 1384s |      22 |  1939657 |  1690122 |    22021    197 |        5 |      294
1386.19/1386.67	c 1386s |      22 |  1942802 |  1692822 |    22021    197 |        5 |      294
1388.39/1388.82	c 1388s |      22 |  1945556 |  1695222 |    22021    198 |        5 |      294
1390.48/1390.98	c 1390s |      22 |  1948549 |  1697922 |    22021    198 |        5 |      294
1392.58/1393.02	c 1392s |      22 |  1951384 |  1700422 |    22021    198 |        5 |      294
1394.58/1395.05	c 1394s |      22 |  1954078 |  1702822 |    22021    198 |        5 |      294
1396.69/1397.12	c 1396s |      22 |  1956751 |  1705122 |    22021    198 |        5 |      294
1398.79/1399.25	c 1399s |      22 |  1959062 |  1707122 |    22021    199 |        5 |      294
1400.78/1401.29	c 1401s |      22 |  1962226 |  1709822 |    22021    199 |        5 |      294
1402.88/1403.31	c 1403s |      22 |  1965198 |  1712422 |    22021    199 |        5 |      294
1404.88/1405.37	c 1405s |      22 |  1967786 |  1714722 |    22021    199 |        5 |      294
1406.98/1407.41	c 1407s |      22 |  1970221 |  1716822 |    22021    199 |        5 |      294
1408.98/1409.47	c 1409s |      22 |  1972824 |  1719122 |    22021    200 |        5 |      294
1413.67/1414.18	c 1414s |      22 |  1975263 |  1721322 |    22021    200 |        5 |      294
1415.67/1416.19	c 1416s |      22 |  1978188 |  1723922 |    22021    200 |        5 |      294
1417.77/1418.26	c 1418s |      22 |  1980795 |  1726222 |    22021    200 |        5 |      294
1419.87/1420.30	c 1420s |      22 |  1983316 |  1728422 |    22021    200 |        5 |      294
1421.88/1422.32	c 1422s |      22 |  1985539 |  1730422 |    22021    201 |        5 |      294
1423.87/1424.35	c 1424s |      22 |  1988726 |  1733122 |    22021    201 |        5 |      294
1425.87/1426.39	c 1426s |      22 |  1991545 |  1735622 |    22021    201 |        5 |      294
1427.87/1428.39	c 1428s |      22 |  1994147 |  1737922 |    22021    201 |        5 |      294
1429.97/1430.41	c 1430s |      22 |  1996199 |  1739722 |    22021    202 |        5 |      294
1431.97/1432.44	c 1432s |      22 |  1998842 |  1742122 |    22021    202 |        5 |      294
1433.98/1434.50	c 1434s |      22 |  2001641 |  1744622 |    22021    202 |        5 |      294
1436.08/1436.56	c 1436s |      22 |  2003514 |  1746322 |    22021    202 |        5 |      294
1438.18/1438.60	c 1438s |      22 |  2006151 |  1748622 |    22021    202 |        5 |      294
1440.28/1440.79	c 1440s |      22 |  2008578 |  1750822 |    22021    203 |        5 |      294
1442.38/1442.85	c 1442s |      22 |  2011384 |  1753322 |    22021    203 |        5 |      294
1444.48/1444.90	c 1444s |      22 |  2014654 |  1756222 |    22021    203 |        5 |      294
1446.48/1446.98	c 1446s |      22 |  2017432 |  1758722 |    22021    203 |        5 |      294
1448.57/1449.04	c 1448s |      22 |  2019824 |  1760922 |    22021    203 |        5 |      294
1450.58/1451.05	c 1450s |      22 |  2021914 |  1762722 |    22021    204 |        5 |      294
1452.68/1453.13	c 1452s |      22 |  2024407 |  1764922 |    22021    204 |        5 |      294
1454.67/1455.19	c 1455s |      22 |  2027263 |  1767522 |    22021    204 |        5 |      294
1456.77/1457.25	c 1457s |      22 |  2029750 |  1769822 |    22021    204 |        5 |      294
1458.77/1459.27	c 1459s |      22 |  2031796 |  1771722 |    22021    204 |        5 |      294
1460.87/1461.30	c 1461s |      22 |  2033855 |  1773622 |    22021    205 |        5 |      294
1462.87/1463.36	c 1463s |      22 |  2036711 |  1776122 |    22021    205 |        5 |      294
1464.88/1465.36	c 1465s |      22 |  2039142 |  1778322 |    22021    205 |        5 |      294
1466.98/1467.45	c 1467s |      22 |  2041488 |  1780422 |    22021    205 |        5 |      294
1469.07/1469.54	c 1469s |      22 |  2043531 |  1782322 |    22021    205 |        5 |      294
1472.77/1473.26	c 1473s |      22 |  2044743 |  1783422 |    22021    205 |        5 |      294
1474.87/1475.30	c 1475s |      22 |  2047247 |  1785622 |    22021    206 |        5 |      294
1476.87/1477.32	c 1477s |      22 |  2050372 |  1788322 |    22021    206 |        5 |      294
1478.87/1479.37	c 1479s |      22 |  2053513 |  1791022 |    22021    206 |        5 |      294
1480.96/1481.42	c 1481s |      22 |  2056345 |  1793522 |    22021    206 |        5 |      294
1482.96/1483.42	c 1483s |      22 |  2058564 |  1795522 |    22021    207 |        5 |      294
1484.96/1485.46	c 1485s |      22 |  2061448 |  1798122 |    22021    207 |        5 |      294
1487.07/1487.51	c 1487s |      22 |  2063323 |  1799822 |    22021    207 |        5 |      294
1489.08/1489.53	c 1489s |      22 |  2065389 |  1801722 |    22021    207 |        5 |      294
1491.07/1491.54	c 1491s |      22 |  2067427 |  1803522 |    22021    207 |        5 |      294
1493.07/1493.59	c 1493s |      22 |  2069357 |  1805322 |    22021    207 |        5 |      294
1495.17/1495.64	c 1495s |      22 |  2071233 |  1807022 |    22021    208 |        5 |      294
1497.27/1497.72	c 1497s |      22 |  2073963 |  1809522 |    22021    208 |        5 |      294
1499.27/1499.74	c 1499s |      22 |  2076561 |  1811822 |    22021    208 |        5 |      294
1501.27/1501.76	c 1501s |      22 |  2078984 |  1814022 |    22021    208 |        5 |      294
1503.27/1503.78	c 1503s |      22 |  2081044 |  1815922 |    22021    208 |        5 |      294
1505.57/1506.04	c 1505s |      22 |  2082888 |  1817622 |    22021    209 |        5 |      294
1507.57/1508.06	c 1507s |      22 |  2085407 |  1819922 |    22021    209 |        5 |      294
1509.57/1510.06	c 1509s |      22 |  2087638 |  1822022 |    22021    209 |        5 |      294
1512.96/1513.42	c 1513s |      22 |  2089589 |  1823822 |    22021    209 |        5 |      294
1514.96/1515.47	c 1515s |      22 |  2091885 |  1825822 |    22021    209 |        5 |      294
1516.96/1517.49	c 1517s |      22 |  2094163 |  1827822 |    22021    209 |        5 |      294
1519.06/1519.55	c 1519s |      22 |  2096406 |  1829722 |    22021    210 |        5 |      294
1521.06/1521.56	c 1521s |      22 |  2099245 |  1832222 |    22021    210 |        5 |      294
1523.07/1523.58	c 1523s |      22 |  2101770 |  1834522 |    22021    210 |        5 |      294
1525.06/1525.59	c 1525s |      22 |  2103963 |  1836422 |    22021    210 |        5 |      294
1527.16/1527.63	c 1527s |      22 |  2106205 |  1838422 |    22021    210 |        5 |      294
1529.26/1529.72	c 1529s |      22 |  2108317 |  1840322 |    22021    211 |        5 |      294
1531.26/1531.72	c 1531s |      22 |  2110755 |  1842522 |    22021    211 |        5 |      294
1533.36/1533.82	c 1533s |      22 |  2113282 |  1844822 |    22021    211 |        5 |      294
1535.36/1535.89	c 1535s |      22 |  2115607 |  1846922 |    22021    211 |        5 |      294
1537.47/1537.97	c 1537s |      22 |  2117849 |  1848922 |    22021    211 |        5 |      294
1539.67/1540.16	c 1539s |      22 |  2119929 |  1850822 |    22021    212 |        5 |      294
1541.77/1542.24	c 1542s |      22 |  2122968 |  1853522 |    22021    212 |        5 |      294
1543.76/1544.25	c 1544s |      22 |  2123567 |  1854022 |    22021    212 |        5 |      294
1545.86/1546.33	c 1546s |      22 |  2126594 |  1856622 |    22021    212 |        5 |      294
1547.96/1548.40	c 1548s |      22 |  2129135 |  1858822 |    22021    212 |        5 |      294
1549.96/1550.47	c 1550s |      22 |  2131309 |  1860822 |    22021    212 |        5 |      294
1552.06/1552.53	c 1552s |      22 |  2133330 |  1862622 |    22021    213 |        5 |      294
1554.06/1554.57	c 1554s |      22 |  2136065 |  1865022 |    22021    213 |        5 |      294
1556.06/1556.59	c 1556s |      22 |  2138913 |  1867522 |    22021    213 |        5 |      294
1558.16/1558.63	c 1558s |      22 |  2141584 |  1869922 |    22021    213 |        5 |      294
1560.25/1560.71	c 1560s |      22 |  2144008 |  1872122 |    22021    213 |        5 |      294
1563.15/1563.68	c 1563s |      22 |  2145550 |  1873522 |    22021    214 |        5 |      294
1565.25/1565.71	c 1565s |      22 |  2148395 |  1876022 |    22021    214 |        5 |      294
1567.25/1567.75	c 1567s |      22 |  2150996 |  1878322 |    22021    214 |        5 |      294
1569.26/1569.76	c 1569s |      22 |  2153287 |  1880422 |    22021    214 |        5 |      294
1571.25/1571.78	c 1571s |      22 |  2155542 |  1882422 |    22021    214 |        5 |      294
1573.35/1573.86	c 1573s |      22 |  2157563 |  1884222 |    22021    215 |        5 |      294
1575.45/1575.91	c 1575s |      22 |  2159639 |  1886022 |    22021    215 |        5 |      294
1577.45/1577.98	c 1577s |      22 |  2162539 |  1888622 |    22021    215 |        5 |      294
1579.55/1580.05	c 1579s |      22 |  2164961 |  1890822 |    22021    215 |        5 |      294
1581.55/1582.06	c 1581s |      22 |  2167159 |  1892822 |    22021    215 |        5 |      294
1583.55/1584.10	c 1583s |      22 |  2169376 |  1894822 |    22021    215 |        5 |      294
1585.65/1586.13	c 1585s |      22 |  2171432 |  1896722 |    22021    216 |        5 |      294
1589.85/1590.37	c 1590s |      22 |  2174114 |  1899222 |    22021    216 |        5 |      294
1591.95/1592.43	c 1592s |      22 |  2176436 |  1901222 |    22021    216 |        5 |      294
1593.95/1594.45	c 1594s |      22 |  2178771 |  1903322 |    22021    216 |        5 |      294
1596.05/1596.55	c 1596s |      22 |  2181108 |  1905422 |    22021    216 |        5 |      294
1598.05/1598.58	c 1598s |      22 |  2183213 |  1907322 |    22021    217 |        5 |      294
1600.06/1600.59	c 1600s |      22 |  2185324 |  1909222 |    22021    217 |        5 |      294
1602.15/1602.65	c 1602s |      22 |  2187922 |  1911622 |    22021    217 |        5 |      294
1604.15/1604.66	c 1604s |      22 |  2190386 |  1913822 |    22021    217 |        5 |      294
1606.15/1606.69	c 1606s |      22 |  2192609 |  1915822 |    22021    217 |        5 |      294
1608.35/1608.89	c 1608s |      22 |  2194584 |  1917622 |    22021    218 |        5 |      294
1611.06/1611.54	c 1611s |      22 |  2196286 |  1919222 |    22021    218 |        5 |      294
1613.15/1613.60	c 1613s |      22 |  2199027 |  1921722 |    22021    218 |        5 |      294
1615.15/1615.63	c 1615s |      22 |  2201431 |  1923922 |    22021    218 |        5 |      294
1617.25/1617.71	c 1617s |      22 |  2203829 |  1926122 |    22021    218 |        5 |      294
1619.34/1619.84	c 1619s |      22 |  2205910 |  1928022 |    22021    218 |        5 |      294
1621.44/1621.93	c 1621s |      22 |  2208016 |  1929922 |    22021    219 |        5 |      294
1623.54/1624.00	c 1623s |      22 |  2210625 |  1932322 |    22021    219 |        5 |      294
1625.54/1626.04	c 1625s |      22 |  2212998 |  1934522 |    22021    219 |        5 |      294
1630.65/1631.17	c 1631s |      22 |  2215299 |  1936622 |    22021    219 |        5 |      294
1632.65/1633.18	c 1633s |      22 |  2218574 |  1939422 |    22021    219 |        5 |      294
1634.64/1635.19	c 1635s |      22 |  2221513 |  1941922 |    22021    220 |        5 |      294
1636.74/1637.21	c 1637s |      22 |  2224894 |  1944822 |    22021    220 |        5 |      294
1638.74/1639.22	c 1639s |      22 |  2227829 |  1947422 |    22021    220 |        5 |      294
1640.75/1641.27	c 1641s |      22 |  2230097 |  1949422 |    22021    220 |        5 |      294
1642.84/1643.33	c 1643s |      22 |  2232349 |  1951422 |    22021    221 |        5 |      294
1644.95/1645.43	c 1645s |      22 |  2235106 |  1953922 |    22021    221 |        5 |      294
1647.05/1647.51	c 1647s |      22 |  2237508 |  1956122 |    22021    221 |        5 |      294
1649.05/1649.55	c 1649s |      22 |  2240016 |  1958322 |    22021    221 |        5 |      294
1651.05/1651.58	c 1651s |      22 |  2242777 |  1960722 |    22021    221 |        5 |      294
1653.14/1653.60	c 1653s |      22 |  2245144 |  1962822 |    22021    222 |        5 |      294
1655.24/1655.75	c 1655s |      22 |  2246711 |  1964222 |    22021    222 |        5 |      294
1657.25/1657.76	c 1657s |      22 |  2249597 |  1966722 |    22021    222 |        5 |      294
1659.24/1659.76	c 1659s |      22 |  2252014 |  1968822 |    22021    222 |        5 |      294
1661.24/1661.78	c 1661s |      22 |  2254673 |  1971222 |    22021    222 |        5 |      294
1663.34/1663.81	c 1663s |      22 |  2256878 |  1973222 |    22021    223 |        5 |      294
1665.44/1665.90	c 1665s |      22 |  2259439 |  1975522 |    22021    223 |        5 |      294
1667.44/1667.99	c 1667s |      22 |  2261720 |  1977622 |    22021    223 |        5 |      294
1669.54/1670.08	c 1669s |      22 |  2264245 |  1979922 |    22021    223 |        5 |      294
1671.55/1672.09	c 1671s |      22 |  2266379 |  1981922 |    22021    223 |        5 |      294
1673.64/1674.16	c 1674s |      22 |  2268538 |  1983922 |    22021    223 |        5 |      294
1675.74/1676.25	c 1676s |      22 |  2270920 |  1986122 |    22021    224 |        5 |      294
1677.74/1678.27	c 1678s |      22 |  2271787 |  1986922 |    22021    224 |        5 |      294
1679.84/1680.31	c 1680s |      22 |  2274533 |  1989422 |    22021    224 |        5 |      294
1681.84/1682.39	c 1682s |      22 |  2277109 |  1991722 |    22021    224 |        5 |      294
1683.94/1684.41	c 1684s |      22 |  2279449 |  1993822 |    22021    224 |        5 |      294
1685.94/1686.47	c 1686s |      22 |  2281339 |  1995522 |    22021    225 |        5 |      294
1688.04/1688.50	c 1688s |      22 |  2283310 |  1997322 |    22021    225 |        5 |      294
1690.14/1690.64	c 1690s |      22 |  2285221 |  1999022 |    22021    225 |        5 |      294
1692.13/1692.66	c 1692s |      22 |  2287796 |  2001122 |    22021    225 |        5 |      294
1694.13/1694.70	c 1694s |      22 |  2290949 |  2003822 |    22021    225 |        5 |      294
1696.23/1696.79	c 1696s |      22 |  2293873 |  2006322 |    22021    225 |        5 |      294
1698.33/1698.85	c 1698s |      22 |  2296426 |  2008522 |    22021    226 |        5 |      294
1700.33/1700.86	c 1700s |      22 |  2299454 |  2011222 |    22021    226 |        5 |      294
1702.34/1702.88	c 1702s |      22 |  2301893 |  2013422 |    22021    226 |        5 |      294
1704.43/1704.93	c 1704s |      22 |  2304467 |  2015722 |    22021    226 |        5 |      294
1706.74/1707.29	c 1707s |      22 |  2306715 |  2017722 |    22021    227 |        5 |      294
1708.83/1709.36	c 1709s |      22 |  2309374 |  2020122 |    22021    227 |        5 |      294
1710.83/1711.39	c 1711s |      22 |  2312022 |  2022522 |    22021    227 |        5 |      294
1712.94/1713.47	c 1713s |      22 |  2314566 |  2024822 |    22021    227 |        5 |      294
1714.94/1715.48	c 1715s |      22 |  2317019 |  2026922 |    22021    227 |        5 |      294
1717.04/1717.57	c 1717s |      22 |  2319418 |  2029022 |    22021    228 |        5 |      294
1719.04/1719.59	c 1719s |      22 |  2322566 |  2031822 |    22021    228 |        5 |      294
1722.53/1723.04	c 1722s |      22 |  2325544 |  2034422 |    22021    228 |        5 |      294
1724.53/1725.07	c 1724s |      22 |  2328033 |  2036422 |    22021    228 |        5 |      294
1726.64/1727.16	c 1726s |      22 |  2330629 |  2038622 |    22021    228 |        5 |      294
1728.84/1729.33	c 1729s |      22 |  2332803 |  2040522 |    22021    229 |        5 |      294
1730.83/1731.40	c 1731s |      22 |  2335943 |  2043122 |    22021    229 |        5 |      294
1732.93/1733.42	c 1733s |      22 |  2338912 |  2045622 |    22021    229 |        5 |      294
1734.93/1735.42	c 1735s |      22 |  2341731 |  2048022 |    22021    229 |        5 |      294
1736.93/1737.49	c 1737s |      22 |  2344404 |  2050322 |    22021    229 |        5 |      294
1740.73/1741.20	c 1741s |      22 |  2347321 |  2052922 |    22021    230 |        5 |      294
1742.73/1743.21	c 1743s |      22 |  2350594 |  2055622 |    22021    230 |        5 |      294
1744.73/1745.24	c 1745s |      22 |  2353242 |  2057922 |    22021    230 |        5 |      294
1746.73/1747.25	c 1747s |      22 |  2355759 |  2060122 |    22021    230 |        5 |      294
1748.83/1749.34	c 1749s |      22 |  2358148 |  2062222 |    22021    231 |        5 |      294
1750.93/1751.40	c 1751s |      22 |  2361402 |  2065122 |    22021    231 |        5 |      294
1752.93/1753.48	c 1753s |      22 |  2363889 |  2067322 |    22021    231 |        5 |      294
1754.93/1755.49	c 1755s |      22 |  2366357 |  2069522 |    22021    231 |        5 |      294
1757.03/1757.51	c 1757s |      22 |  2368665 |  2071622 |    22021    231 |        5 |      294
1759.13/1759.66	c 1759s |      22 |  2370945 |  2073622 |    22021    232 |        5 |      294
1761.13/1761.67	c 1761s |      22 |  2374291 |  2076522 |    22021    232 |        5 |      294
1763.13/1763.69	c 1763s |      22 |  2377049 |  2079022 |    22021    232 |        5 |      294
1765.13/1765.69	c 1765s |      22 |  2379627 |  2081322 |    22021    232 |        5 |      294
1767.23/1767.73	c 1767s |      22 |  2381884 |  2083422 |    22021    232 |        5 |      294
1769.22/1769.74	c 1769s |      22 |  2384212 |  2085522 |    22021    233 |        5 |      294
1774.43/1774.98	c 1774s |      22 |  2386993 |  2088022 |    22021    233 |        5 |      294
1777.23/1777.73	c 1777s |      22 |  2387116 |  2088122 |    22021    233 |        5 |      294
1779.23/1779.76	c 1779s |      22 |  2390192 |  2090822 |    22021    233 |        5 |      294
1781.33/1781.84	c 1781s |      22 |  2393173 |  2093422 |    22021    233 |        5 |      294
1783.42/1783.90	c 1783s |      22 |  2395625 |  2095622 |    22021    234 |        5 |      294
1785.42/1785.92	c 1785s |      22 |  2398676 |  2098322 |    22021    234 |        5 |      294
1787.42/1787.97	c 1787s |      22 |  2401741 |  2100922 |    22021    234 |        5 |      294
1789.42/1789.98	c 1789s |      22 |  2404232 |  2103122 |    22021    234 |        5 |      294
1791.53/1792.09	c 1791s |      22 |  2406536 |  2105022 |    22021    234 |        5 |      294
1793.63/1794.19	c 1794s |      22 |  2408414 |  2106622 |    22021    235 |        5 |      294
1795.72/1796.24	c 1796s |      22 |  2411729 |  2109522 |    22021    235 |        5 |      294
1797.72/1798.28	c 1798s |      22 |  2414613 |  2112122 |    22021    235 |        5 |      294
1799.82/1800.34	c 1800s |      22 |  2416870 |  2114122 |    22021    235 |        5 |      294

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 2944
/proc/meminfo: memFree=29089740/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=583100 CPUtime=0 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 2152 0 0 0 0 0 0 0 20 0 4 0 13770100 597094400 2002 33554432000 4194304 16246674 140736875134608 140736875134032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 146543 2010 441 2943 0 143437 0
[pid=2944/tid=2945] ppid=2941 vsize=615868 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 630648832 2130 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=620988 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 635891712 2149 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=623036 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13770100 637988864 2155 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10019 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 2944
/proc/meminfo: memFree=29089740/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 23953 0 0 0 6 3 0 0 20 0 4 0 13770100 1249447936 23741 33554432000 4194304 16246674 140736875134608 140736875133920 5885249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 305041 23748 835 2943 0 301935 0
[pid=2944/tid=2945] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 23753 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 23759 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 23764 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200501 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 2944
/proc/meminfo: memFree=29089740/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 43068 0 0 0 12 6 0 0 20 0 4 0 13770100 1249447936 42857 33554432000 4194304 16246674 140736875134608 140736875133920 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 305041 42868 877 2943 0 301935 0
[pid=2944/tid=2945] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 42874 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 42882 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 42889 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.30046 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 2944
/proc/meminfo: memFree=29089740/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 64438 0 0 0 20 9 0 0 20 0 4 0 13770100 1249447936 64226 33554432000 4194304 16246674 140736875134608 140736875133920 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 305041 64237 877 2943 0 301935 0
[pid=2944/tid=2945] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 64245 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 64251 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 64257 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700393 s]
/proc/loadavg: 2.26 2.25 2.19 3/179 2944
/proc/meminfo: memFree=29089740/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 153045 0 0 0 47 21 0 0 20 0 4 0 13770100 1249447936 152833 33554432000 4194304 16246674 140736875134608 140736875117608 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 305041 152853 877 2943 0 301935 0
[pid=2944/tid=2945] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 152861 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 152870 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1249447936 152878 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 2948
/proc/meminfo: memFree=28137612/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 266213 0 0 0 112 37 0 0 20 0 4 0 13770100 1332285440 266001 33554432000 4194304 16246674 140736875134608 140736875133920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 325265 266001 880 2943 0 322159 0
[pid=2944/tid=2945] ppid=2941 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1332285440 266001 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1332285440 266001 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1332285440 266001 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 2948
/proc/meminfo: memFree=28020416/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 267981 0 0 0 272 37 0 0 20 0 4 0 13770100 1338576896 267769 33554432000 4194304 16246674 140736875134608 140736875116480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 326801 267769 884 2943 0 323695 0
[pid=2944/tid=2945] ppid=2941 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1338576896 267769 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1338576896 267769 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1338576896 267769 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.24 2.24 2.19 4/183 2948
/proc/meminfo: memFree=28019332/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 267986 0 0 0 591 37 0 0 20 0 4 0 13770100 1338576896 267774 33554432000 4194304 16246674 140736875134608 140736875117608 6022892 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 326801 267774 886 2943 0 323695 0
[pid=2944/tid=2945] ppid=2941 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1338576896 267774 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1338576896 267774 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1338576896 267774 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 2948
/proc/meminfo: memFree=28018852/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 268058 0 0 0 1231 37 0 0 20 0 4 0 13770100 1339625472 267846 33554432000 4194304 16246674 140736875134608 140736875116480 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 327057 267846 886 2943 0 323951 0
[pid=2944/tid=2945] ppid=2941 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1339625472 267846 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1339625472 267846 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1339625472 267846 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.38 2.28 2.20 3/183 2948
/proc/meminfo: memFree=28011316/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 270139 0 0 0 2510 38 0 0 20 0 4 0 13770100 1348014080 269927 33554432000 4194304 16246674 140736875134608 140736875116480 13191272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 329105 269927 886 2943 0 325999 0
[pid=2944/tid=2945] ppid=2941 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1348014080 269927 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1348014080 269927 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1348014080 269927 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.46 2.30 2.21 3/183 2948
/proc/meminfo: memFree=27996788/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1329732 CPUtime=51.08 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 273619 0 0 0 5069 39 0 0 20 0 4 0 13770100 1361645568 273407 33554432000 4194304 16246674 140736875134608 140736875116480 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 332433 273407 887 2943 0 329327 0
[pid=2944/tid=2945] ppid=2941 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1361645568 273407 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1361645568 273407 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1361645568 273407 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.3 s]
/proc/loadavg: 2.40 2.31 2.22 4/183 2949
/proc/meminfo: memFree=27987228/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1338948 CPUtime=102.28 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 275923 0 0 0 10188 40 0 0 20 0 4 0 13770100 1371082752 275711 33554432000 4194304 16246674 140736875134608 140736875116480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 334737 275711 887 2943 0 331631 0
[pid=2944/tid=2945] ppid=2941 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1371082752 275711 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1371082752 275711 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1371082752 275711 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1338948


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

/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1386052

[startup+1362.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 3689
/proc/meminfo: memFree=27984316/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1386052 CPUtime=1361.89 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 288011 0 0 0 136130 59 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 140736875116480 6023039 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 346513 287743 887 2943 0 343407 0
[pid=2944/tid=2945] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1386052

[startup+1422.3 s]
/proc/loadavg: 2.23 2.27 2.27 3/184 3693
/proc/meminfo: memFree=27967948/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1386052 CPUtime=1421.88 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 288011 0 0 0 142128 60 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 140736875133704 13820919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 346513 287743 887 2943 0 343407 0
[pid=2944/tid=2945] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1386052

[startup+1482.3 s]
/proc/loadavg: 2.30 2.28 2.27 3/183 3695
/proc/meminfo: memFree=27967776/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1386052 CPUtime=1481.86 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 288011 0 0 0 148125 61 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 140736875116480 5823694 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 346513 287743 887 2943 0 343407 0
[pid=2944/tid=2945] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1386052

[startup+1542.31 s]
/proc/loadavg: 2.17 2.25 2.26 3/183 3696
/proc/meminfo: memFree=27967644/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1386052 CPUtime=1541.87 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 288011 0 0 0 154125 62 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 140736875116480 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 346513 287743 887 2943 0 343407 0
[pid=2944/tid=2945] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1386052

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.27 4/183 3697
/proc/meminfo: memFree=27951136/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1386052 CPUtime=1601.85 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 288011 0 0 0 160122 63 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 140736875116480 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 346513 287743 887 2943 0 343407 0
[pid=2944/tid=2945] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1419317248 287743 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1386052

[startup+1662.3 s]
/proc/loadavg: 2.25 2.27 2.27 4/183 3698
/proc/meminfo: memFree=27941848/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1395268 CPUtime=1661.84 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 290315 0 0 0 166119 65 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 140736875116480 5823332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 348817 290047 887 2943 0 345711 0
[pid=2944/tid=2945] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1395268

[startup+1722.3 s]
/proc/loadavg: 2.18 2.25 2.26 3/183 3699
/proc/meminfo: memFree=27941472/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1395268 CPUtime=1721.84 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 290315 0 0 0 172118 66 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 140736875133784 4221129 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 348817 290047 887 2943 0 345711 0
[pid=2944/tid=2945] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1395268

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.26 4/183 3701
/proc/meminfo: memFree=27941464/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1395268 CPUtime=1781.82 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 290315 0 0 0 178115 67 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 140736875116480 12483183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 348817 290047 887 2943 0 345711 0
[pid=2944/tid=2945] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1395268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.26 3/183 3701
/proc/meminfo: memFree=27941220/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1395268 CPUtime=1800.02 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 290315 0 0 0 179935 67 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 140736875116480 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 348817 290047 887 2943 0 345711 0
[pid=2944/tid=2945] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1395268

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

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.26 3/183 3701
/proc/meminfo: memFree=27941220/32872528 swapFree=1541688/1694988
[pid=2944] ppid=2941 vsize=1395268 CPUtime=1800.02 cores=0,2,4,6
/proc/2944/stat : 2944 (toysat) R 2941 2944 31715 0 -1 4202496 290315 0 0 0 179935 67 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 140736875116480 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2944/statm: 348817 290047 887 2943 0 345711 0
[pid=2944/tid=2945] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2945/stat : 2945 (toysat) S 2941 2944 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956205890800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2944/tid=2946] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2946/stat : 2946 (toysat) S 2941 2944 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956195400944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2944/tid=2947] ppid=2941 vsize=1395268 CPUtime=0 cores=0,2,4,6
/proc/2944/task/2947/stat : 2947 (toysat) S 2941 2944 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13770100 1428754432 290047 33554432000 4194304 16246674 140736875134608 139956184927408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1395268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.36
CPU system time (s): 0.674897
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1395268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.674897
maximum resident set size= 1160188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290315
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= 328
involuntary context switches= 2270

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56331 second user time and 6.94094 second system time

The end

Begin job on node125 at 2016-06-17 00:47:15
IDJOB=4097380
IDBENCH=107749
IDSOLVER=2542
FILE ID=node125/4097380-1466117235
RUNJOBID= node125-1466112694-1100
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 40b6cc1d7ffe1df6b267abb7f869f3da
RANDOM SEED=1613197579

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29089856 kB
Buffers:           67084 kB
Cached:           162560 kB
SwapCached:         2680 kB
Active:          1266188 kB
Inactive:         112964 kB
Active(anon):    1149592 kB
Inactive(anon):     2308 kB
Active(file):     116596 kB
Inactive(file):   110656 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16488 kB
Writeback:             0 kB
AnonPages:       2843020 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             572200 kB
SReclaimable:      15828 kB
SUnreclaim:       556372 kB
KernelStack:        1528 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2984116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1144832 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= 71712 MiB
End job on node125 at 2016-06-17 01:17:15