0.00/0.00	c 2016-06-17T01:07:40+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-4097723-1466118460.opb"]
0.00/0.01	c use --random-gen="2403187938 1479334498 543695979 3014079693 1654316199 3564815826 3894559963 3895774715 3275075301 3769605493 1386621762 4166995238 1593957463 3573436342 925485543 2689168484 3310274719 1408273654 2399314132 3046275283 1275876557 457081729 2099636285 2987874803 2561946539 4281452174 1582052417 2877813658 2180756450 3103080121 3394546549 564367946 1491263867 3992278754 248262472 2692262937 3086096035 4237975795 396396961 4181129857 2526960473 3219927269 3930327932 3811715709 584479060 484033241 1937201814 217721104 2005187562 1924003674 876539257 1510818823 302302639 1718005931 3383239915 9351613 2371095627 2373368265 1747321983 3995081225 133849798 1483062912 3161792320 2818002232 2355729375 1631239778 2864283192 895360246 3765686920 2772914312 650907162 1249394389 3181871998 352917731 3624682472 2377019124 1138225883 726945751 1078851049 3669904892 3439375104 2957068520 1599599803 3736660900 672092907 2302822936 67857898 2724289707 1783781350 3532573284 375356159 3974364984 2483116507 254295881 2293381611 2125949150 2161494764 770393096 1594782782 1883061841 793492287 3715517698 2891170670 3218806993 467332776 2286324936 3650551170 2841296312 3649401656 997886294 2434899889 2895545332 4105832319 936638723 1023309707 1165798254 1360680666 937493344 1870935555 4160678264 3405523959 1862713193 847642653 2967215018 3410796490 1787280581 490668243 2386347034 3627111693 14421299 47899617 2990606398 3268740858 2522623229 1631370886 415911139 2614801540 258217972 177970243 1930518934 276971364 47992475 235504094 2111562595 2402239817 3543546823 2965628608 425390896 1413942753 455185673 2335033523 3178805743 3189636061 2815211336 4023560800 3394772219 3572075166 2181749808 2661895341 3791372648 3895974578 3205443211 3704390341 1050206407 2278837263 2705193576 2848217960 172002626 1718727372 4173367124 2162349338 3950390395 1420264750 4022319810 2691948915 4042903278 4033286078 3356971289 1253421904 995946017 930543509 3067379213 3243093755 2883433941 580809542 763803950 1520349865 1286917168 1407076672 2953725374 3782983633 1818043871 2951489351 4283464960 4195198328 1725879723 220730779 111919461 2328800186 3114659272 3898824681 3648689933 18334973 561943858 3630531715 3875448865 2966746482 2020608646 2394483704 2826411671 3708423143 3598252258 1343942410 45363024 1449310357 182263517 1357760847 286630474 3091537417 3841940999 1544589303 2236448290 2400409219 1274296140 4094529395 2607111690 1254710352 1527563368 1540304822 3585250719 1539100117 679997288 3763413004 450025546 701448910 241369431 1798182817 1122456471 2994801735 1269263297 2481559450 171262543 2939515974 99235812 2003308377 1404428981 2672196965 365878606 3228155170 1954384461 582520606 1858229695 3845669323 899145218 3338177690 3463886778 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1482
0.00/0.06	c #constraints 7073
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     2850      0 |        5 |        0
0.19/0.22	c  0.1s |       1 |      133 |      100 |     2850      0 |        5 |      302
0.19/0.28	c  0.1s |       2 |      337 |      250 |     3136      0 |        5 |      302
0.29/0.39	c  0.2s |       3 |      668 |      475 |     3450      0 |        5 |      302
0.49/0.58	c  0.4s |       4 |     1128 |      813 |     3796      0 |        5 |      302
0.79/0.86	c  0.7s |       5 |     1742 |     1320 |     4176      0 |        5 |      302
1.29/1.33	c  1.2s |       6 |     2722 |     2081 |     5054      0 |        5 |      302
1.79/1.86	c  1.7s |       7 |     4057 |     3223 |     5560      0 |        5 |      302
2.69/2.74	c  2.6s |       8 |     6191 |     4936 |     6117      0 |        5 |      302
4.29/4.31	c  4.1s |       9 |     9421 |     7506 |     6729      1 |        5 |      302
5.99/6.07	c  5.9s |      10 |    14359 |    11361 |     7402      2 |        5 |      302
7.99/8.08	c  7.9s |      10 |    19327 |    15461 |     7402      3 |        5 |      302
8.80/8.88	c  8.7s |      11 |    21358 |    17144 |     8143      3 |        5 |      302
10.89/10.90	c 10.7s |      11 |    25865 |    20744 |     8143      4 |        5 |      302
12.89/12.95	c 12.8s |      11 |    30461 |    24644 |     8143      5 |        5 |      302
13.59/13.67	c 13.5s |      12 |    31798 |    25819 |     8958      5 |        5 |      302
15.59/15.68	c 15.5s |      12 |    36314 |    29419 |     8958      6 |        5 |      302
17.60/17.69	c 17.5s |      12 |    41055 |    33319 |     8958      7 |        5 |      302
19.59/19.69	c 19.5s |      12 |    45500 |    37119 |     8958      7 |        5 |      302
20.49/20.54	c 20.4s |      13 |    47509 |    38832 |     9854      8 |        5 |      302
22.49/22.56	c 22.4s |      13 |    51863 |    42432 |     9854      8 |        5 |      302
24.49/24.59	c 24.4s |      13 |    56443 |    46432 |     9854      9 |        5 |      302
26.59/26.62	c 26.5s |      13 |    61200 |    50332 |     9854     10 |        5 |      302
28.59/28.65	c 28.5s |      13 |    65936 |    54332 |     9854     11 |        5 |      302
30.58/30.65	c 30.5s |      13 |    70233 |    58032 |    10840     12 |        5 |      302
30.68/30.80	c 30.6s |      14 |    70594 |    58352 |    10840     12 |        5 |      302
32.78/32.81	c 32.6s |      14 |    74514 |    61452 |    10840     12 |        5 |      302
34.78/34.84	c 34.7s |      14 |    78910 |    65152 |    10840     13 |        5 |      302
36.78/36.86	c 36.7s |      14 |    83220 |    68752 |    10840     13 |        5 |      302
38.79/38.88	c 38.7s |      14 |    87226 |    72152 |    10840     14 |        5 |      302
40.89/40.90	c 40.7s |      14 |    91250 |    75552 |    10840     15 |        5 |      302
42.89/42.93	c 42.8s |      14 |    95399 |    79252 |    10840     15 |        5 |      302
45.09/45.12	c 44.9s |      14 |    99175 |    82552 |    10840     16 |        5 |      302
47.08/47.17	c 47.0s |      14 |   103344 |    85952 |    10840     16 |        5 |      302
47.98/48.02	c 47.9s |      15 |   105230 |    87632 |    11925     17 |        5 |      302
49.98/50.03	c 49.9s |      15 |   108643 |    90632 |    11925     17 |        5 |      302
51.98/52.03	c 51.9s |      15 |   112833 |    94132 |    11925     18 |        5 |      302
53.99/54.07	c 53.9s |      15 |   116575 |    97432 |    11925     18 |        5 |      302
55.98/56.08	c 55.9s |      15 |   120175 |   100632 |    11925     19 |        5 |      302
58.08/58.11	c 57.9s |      15 |   123528 |   103632 |    11925     19 |        5 |      302
60.08/60.15	c 60.0s |      15 |   127290 |   106832 |    11925     20 |        5 |      302
62.07/62.17	c 62.0s |      15 |   130953 |   110032 |    11925     20 |        5 |      302
64.17/64.21	c 64.0s |      15 |   133959 |   112632 |    11925     21 |        5 |      302
66.17/66.26	c 66.1s |      15 |   138120 |   116132 |    11925     21 |        5 |      302
68.28/68.31	c 68.1s |      15 |   142173 |   119632 |    11925     22 |        5 |      302
70.27/70.32	c 70.2s |      15 |   145768 |   122832 |    11925     22 |        5 |      302
72.27/72.36	c 72.2s |      15 |   149087 |   125732 |    11925     23 |        5 |      302
74.27/74.38	c 74.2s |      15 |   152673 |   128932 |    11925     23 |        5 |      302
75.87/75.99	c 75.8s |      16 |   155527 |   131552 |    13118     24 |        5 |      302
77.97/78.00	c 77.8s |      16 |   158826 |   134352 |    13118     24 |        5 |      302
79.97/80.02	c 79.9s |      16 |   161937 |   137052 |    13118     25 |        5 |      302
81.96/82.07	c 81.9s |      16 |   165669 |   140252 |    13118     25 |        5 |      302
84.06/84.12	c 84.0s |      16 |   169118 |   143252 |    13118     26 |        5 |      302
86.06/86.15	c 86.0s |      16 |   172027 |   145852 |    13118     26 |        5 |      302
88.06/88.16	c 88.0s |      16 |   175904 |   149052 |    13118     26 |        5 |      302
90.06/90.17	c 90.0s |      16 |   179228 |   151952 |    13118     27 |        5 |      302
92.15/92.21	c 92.0s |      16 |   182775 |   155152 |    13118     27 |        5 |      302
94.15/94.21	c 94.0s |      16 |   185839 |   157952 |    13118     28 |        5 |      302
96.26/96.37	c 96.2s |      16 |   188740 |   160552 |    13118     28 |        5 |      302
98.26/98.38	c 98.2s |      16 |   191376 |   162952 |    13118     28 |        5 |      302
100.36/100.41	c  100s |      16 |   194381 |   165652 |    13118     29 |        5 |      302
102.36/102.45	c  102s |      16 |   197232 |   168252 |    13118     29 |        5 |      302
104.46/104.52	c  104s |      16 |   199406 |   170052 |    13118     30 |        5 |      302
106.45/106.56	c  106s |      16 |   203085 |   173352 |    13118     30 |        5 |      302
108.55/108.62	c  108s |      16 |   206238 |   176052 |    13118     30 |        5 |      302
110.55/110.67	c  110s |      16 |   209529 |   178852 |    13118     31 |        5 |      302
112.65/112.71	c  112s |      16 |   212637 |   181652 |    13118     31 |        5 |      302
114.65/114.75	c  114s |      16 |   215565 |   184252 |    13118     32 |        5 |      302
116.66/116.77	c  116s |      16 |   218667 |   187052 |    13118     32 |        5 |      302
118.76/118.83	c  118s |      16 |   221830 |   189752 |    13118     32 |        5 |      302
120.75/120.85	c  120s |      16 |   225035 |   192552 |    13118     33 |        5 |      302
122.74/122.89	c  122s |      16 |   228398 |   195552 |    13118     33 |        5 |      302
124.25/124.32	c  124s |      17 |   230594 |   197432 |    14430     33 |        5 |      302
126.24/126.34	c  126s |      17 |   233818 |   200032 |    14430     34 |        5 |      302
128.24/128.39	c  128s |      17 |   237104 |   202832 |    14430     34 |        5 |      302
130.34/130.42	c  130s |      17 |   240466 |   205632 |    14430     35 |        5 |      302
132.34/132.48	c  132s |      17 |   244230 |   208932 |    14430     35 |        5 |      302
134.44/134.54	c  134s |      17 |   247264 |   211632 |    14430     35 |        5 |      302
136.45/136.59	c  136s |      17 |   250670 |   214632 |    14430     36 |        5 |      302
138.55/138.61	c  138s |      17 |   253904 |   217432 |    14430     36 |        5 |      302
140.54/140.64	c  140s |      17 |   257523 |   220332 |    14430     37 |        5 |      302
142.54/142.65	c  142s |      17 |   261514 |   223732 |    14430     37 |        5 |      302
144.54/144.66	c  144s |      17 |   264604 |   226232 |    14430     37 |        5 |      302
146.64/146.72	c  146s |      17 |   268749 |   229532 |    14430     38 |        5 |      302
148.64/148.74	c  148s |      17 |   272068 |   232332 |    14430     38 |        5 |      302
150.64/150.79	c  150s |      17 |   275515 |   235232 |    14430     39 |        5 |      302
152.73/152.85	c  152s |      17 |   279396 |   238632 |    14430     39 |        5 |      302
154.73/154.88	c  154s |      17 |   282643 |   241532 |    14430     39 |        5 |      302
156.73/156.89	c  156s |      17 |   286494 |   244832 |    14430     40 |        5 |      302
158.83/158.92	c  158s |      17 |   288867 |   246832 |    14430     40 |        5 |      302
160.83/160.93	c  160s |      17 |   291991 |   249532 |    14430     41 |        5 |      302
162.93/163.01	c  162s |      17 |   296064 |   253032 |    14430     41 |        5 |      302
164.93/165.04	c  164s |      17 |   299275 |   255832 |    14430     41 |        5 |      302
166.93/167.04	c  166s |      17 |   302712 |   258932 |    14430     42 |        5 |      302
168.92/169.07	c  168s |      17 |   305766 |   261632 |    14430     42 |        5 |      302
171.02/171.10	c  170s |      17 |   308747 |   264232 |    14430     43 |        5 |      302
173.02/173.13	c  172s |      17 |   312391 |   267432 |    14430     43 |        5 |      302
175.02/175.14	c  174s |      17 |   315729 |   270332 |    14430     43 |        5 |      302
177.02/177.17	c  176s |      17 |   319154 |   273332 |    14430     44 |        5 |      302
179.12/179.21	c  179s |      17 |   322478 |   276332 |    14430     44 |        5 |      302
181.12/181.22	c  181s |      17 |   325342 |   278932 |    14430     45 |        5 |      302
183.31/183.47	c  183s |      17 |   325897 |   279432 |    14430     45 |        5 |      302
185.41/185.51	c  185s |      17 |   329159 |   282232 |    14430     45 |        5 |      302
187.41/187.56	c  187s |      17 |   332875 |   285432 |    14430     45 |        5 |      302
189.41/189.57	c  189s |      17 |   336270 |   288432 |    14430     46 |        5 |      302
191.51/191.60	c  191s |      17 |   339290 |   291132 |    14430     46 |        5 |      302
193.51/193.61	c  193s |      17 |   341953 |   293532 |    14430     47 |        5 |      302
195.30/195.49	c  195s |      18 |   344951 |   296252 |    15874     47 |        5 |      302
197.41/197.50	c  197s |      18 |   347935 |   298752 |    15874     47 |        5 |      302
199.41/199.53	c  199s |      18 |   351220 |   301552 |    15874     47 |        5 |      302
201.41/201.57	c  201s |      18 |   354600 |   304352 |    15874     48 |        5 |      302
203.41/203.59	c  203s |      18 |   357835 |   307252 |    15874     48 |        5 |      302
205.50/205.65	c  205s |      18 |   360943 |   310052 |    15874     48 |        5 |      302
207.50/207.69	c  207s |      18 |   363468 |   312052 |    15874     49 |        5 |      302
209.60/209.73	c  209s |      18 |   367354 |   315352 |    15874     49 |        5 |      302
211.60/211.76	c  211s |      18 |   370556 |   318152 |    15874     50 |        5 |      302
213.60/213.78	c  213s |      18 |   374472 |   321552 |    15874     50 |        5 |      302
215.70/215.83	c  215s |      18 |   377859 |   324552 |    15874     50 |        5 |      302
217.71/217.85	c  217s |      18 |   381330 |   327452 |    15874     51 |        5 |      302
219.80/219.91	c  219s |      18 |   385294 |   330852 |    15874     51 |        5 |      302
221.80/221.98	c  221s |      18 |   387273 |   332452 |    15874     51 |        5 |      302
223.80/223.99	c  223s |      18 |   390546 |   335152 |    15874     52 |        5 |      302
225.90/226.00	c  225s |      18 |   394765 |   338652 |    15874     52 |        5 |      302
227.90/228.05	c  227s |      18 |   398433 |   341852 |    15874     52 |        5 |      302
229.90/230.06	c  229s |      18 |   402035 |   345052 |    15874     53 |        5 |      302
232.00/232.13	c  231s |      18 |   405255 |   347852 |    15874     53 |        5 |      302
233.99/234.18	c  234s |      18 |   408353 |   350552 |    15874     54 |        5 |      302
236.09/236.23	c  236s |      18 |   411971 |   353752 |    15874     54 |        5 |      302
238.09/238.23	c  238s |      18 |   415322 |   356652 |    15874     54 |        5 |      302
240.09/240.28	c  240s |      18 |   418309 |   359352 |    15874     55 |        5 |      302
242.18/242.33	c  242s |      18 |   421656 |   362352 |    15874     55 |        5 |      302
244.19/244.36	c  244s |      18 |   424690 |   365052 |    15874     55 |        5 |      302
246.19/246.39	c  246s |      18 |   427667 |   367652 |    15874     56 |        5 |      302
249.69/249.88	c  249s |      18 |   429538 |   369252 |    15874     56 |        5 |      302
251.79/251.91	c  251s |      18 |   433390 |   372452 |    15874     56 |        5 |      302
253.78/253.94	c  253s |      18 |   436937 |   375452 |    15874     57 |        5 |      302
255.78/255.96	c  255s |      18 |   440904 |   378852 |    15874     57 |        5 |      302
257.88/258.00	c  257s |      18 |   444535 |   381952 |    15874     57 |        5 |      302
259.88/260.01	c  259s |      18 |   447136 |   384252 |    15874     58 |        5 |      302
261.88/262.04	c  261s |      18 |   450668 |   387452 |    15874     58 |        5 |      302
263.88/264.06	c  263s |      18 |   453687 |   390152 |    15874     58 |        5 |      302
265.97/266.13	c  265s |      18 |   456861 |   392952 |    15874     59 |        5 |      302
268.07/268.20	c  268s |      18 |   460086 |   395752 |    15874     59 |        5 |      302
270.07/270.26	c  270s |      18 |   462973 |   398252 |    15874     59 |        5 |      302
272.07/272.27	c  272s |      18 |   466119 |   400952 |    15874     60 |        5 |      302
274.17/274.30	c  274s |      18 |   469670 |   404052 |    15874     60 |        5 |      302
276.18/276.32	c  276s |      18 |   472415 |   406352 |    15874     60 |        5 |      302
278.18/278.36	c  278s |      18 |   475987 |   409452 |    15874     61 |        5 |      302
280.27/280.40	c  280s |      18 |   479629 |   412552 |    15874     61 |        5 |      302
282.27/282.46	c  282s |      18 |   482540 |   415052 |    15874     62 |        5 |      302
284.27/284.49	c  284s |      18 |   486012 |   418152 |    15874     62 |        5 |      302
286.37/286.52	c  286s |      18 |   489141 |   420952 |    15874     62 |        5 |      302
288.37/288.55	c  288s |      18 |   491986 |   423552 |    15874     63 |        5 |      302
290.37/290.56	c  290s |      18 |   494435 |   425752 |    15874     63 |        5 |      302
292.37/292.58	c  292s |      18 |   497619 |   428652 |    15874     63 |        5 |      302
294.37/294.58	c  294s |      18 |   500440 |   431152 |    15874     64 |        5 |      302
296.37/296.58	c  296s |      18 |   503760 |   434152 |    15874     64 |        5 |      302
298.47/298.62	c  298s |      18 |   506724 |   436752 |    15874     64 |        5 |      302
300.57/300.75	c  300s |      18 |   509280 |   439052 |    15874     65 |        5 |      302
302.66/302.83	c  302s |      18 |   512245 |   441752 |    17462     65 |        5 |      302
304.67/304.84	c  304s |      18 |   514871 |   443952 |    17462     65 |        5 |      302
305.06/305.23	c  305s |      19 |   515466 |   444482 |    17462     65 |        5 |      302
307.06/307.24	c  307s |      19 |   518003 |   446482 |    17462     65 |        5 |      302
309.07/309.28	c  309s |      19 |   520834 |   448782 |    17462     66 |        5 |      302
311.17/311.35	c  311s |      19 |   524596 |   451982 |    17462     66 |        5 |      302
313.16/313.37	c  313s |      19 |   528160 |   454982 |    17462     66 |        5 |      302
315.16/315.37	c  315s |      19 |   531188 |   457582 |    17462     67 |        5 |      302
317.16/317.37	c  317s |      19 |   534722 |   460682 |    17462     67 |        5 |      302
319.16/319.38	c  319s |      19 |   538108 |   463582 |    17462     67 |        5 |      302
321.26/321.43	c  321s |      19 |   541239 |   466282 |    17462     67 |        5 |      302
323.26/323.48	c  323s |      19 |   544569 |   469182 |    17462     68 |        5 |      302
325.35/325.50	c  325s |      19 |   547704 |   471982 |    17462     68 |        5 |      302
328.25/328.49	c  328s |      19 |   549792 |   473882 |    17462     68 |        5 |      302
330.35/330.52	c  330s |      19 |   552583 |   476282 |    17462     69 |        5 |      302
332.35/332.57	c  332s |      19 |   556129 |   479382 |    17462     69 |        5 |      302
334.45/334.63	c  334s |      19 |   559183 |   482082 |    17462     69 |        5 |      302
336.55/336.75	c  336s |      19 |   561707 |   484382 |    17462     70 |        5 |      302
338.54/338.75	c  338s |      19 |   564654 |   487082 |    17462     70 |        5 |      302
340.54/340.78	c  340s |      19 |   567545 |   489682 |    17462     70 |        5 |      302
342.64/342.84	c  342s |      19 |   570187 |   491982 |    17462     70 |        5 |      302
344.74/344.91	c  344s |      19 |   572933 |   494382 |    17462     71 |        5 |      302
346.74/346.98	c  346s |      19 |   575764 |   496882 |    17462     71 |        5 |      302
348.85/349.03	c  348s |      19 |   577420 |   498282 |    17462     71 |        5 |      302
350.85/351.08	c  350s |      19 |   579869 |   500482 |    17462     71 |        5 |      302
352.95/353.10	c  352s |      19 |   582367 |   502682 |    17462     72 |        5 |      302
354.94/355.15	c  354s |      19 |   585257 |   505282 |    17462     72 |        5 |      302
357.04/357.21	c  357s |      19 |   588068 |   507782 |    17462     72 |        5 |      302
359.04/359.23	c  359s |      19 |   590494 |   509982 |    17462     72 |        5 |      302
361.04/361.23	c  361s |      19 |   593109 |   512382 |    17462     73 |        5 |      302
363.04/363.24	c  363s |      19 |   595318 |   514382 |    17462     73 |        5 |      302
365.04/365.25	c  365s |      19 |   598206 |   516982 |    17462     73 |        5 |      302
367.14/367.34	c  367s |      19 |   600571 |   519182 |    17462     73 |        5 |      302
369.23/369.42	c  369s |      19 |   603331 |   521682 |    17462     74 |        5 |      302
371.23/371.47	c  371s |      19 |   606004 |   524082 |    17462     74 |        5 |      302
373.33/373.56	c  373s |      19 |   608527 |   526382 |    17462     74 |        5 |      302
375.43/375.66	c  375s |      19 |   610797 |   528482 |    17462     75 |        5 |      302
379.13/379.38	c  379s |      19 |   613609 |   531082 |    17462     75 |        5 |      302
381.23/381.41	c  381s |      19 |   616831 |   533882 |    17462     75 |        5 |      302
383.22/383.46	c  383s |      19 |   619830 |   536382 |    17462     75 |        5 |      302
385.32/385.52	c  385s |      19 |   622736 |   538882 |    17462     76 |        5 |      302
387.32/387.55	c  387s |      19 |   625926 |   541682 |    17462     76 |        5 |      302
389.33/389.58	c  389s |      19 |   629132 |   544482 |    17462     76 |        5 |      302
391.43/391.63	c  391s |      19 |   631721 |   546682 |    17462     77 |        5 |      302
393.42/393.65	c  393s |      19 |   635229 |   549682 |    17462     77 |        5 |      302
395.42/395.67	c  395s |      19 |   638384 |   552482 |    17462     77 |        5 |      302
397.52/397.75	c  397s |      19 |   641220 |   554982 |    17462     78 |        5 |      302
399.52/399.76	c  399s |      19 |   644415 |   557882 |    17462     78 |        5 |      302
401.52/401.78	c  401s |      19 |   647273 |   560482 |    17462     78 |        5 |      302
403.62/403.81	c  403s |      19 |   649898 |   562782 |    17462     78 |        5 |      302
405.61/405.86	c  405s |      19 |   652786 |   565382 |    17462     79 |        5 |      302
407.93/408.18	c  408s |      19 |   653945 |   566382 |    17462     79 |        5 |      302
410.02/410.23	c  410s |      19 |   657098 |   569082 |    17462     79 |        5 |      302
412.02/412.24	c  412s |      19 |   659904 |   571482 |    17462     79 |        5 |      302
414.01/414.26	c  414s |      19 |   662625 |   573882 |    17462     80 |        5 |      302
416.01/416.29	c  416s |      19 |   665621 |   576582 |    17462     80 |        5 |      302
418.11/418.35	c  418s |      19 |   668568 |   579182 |    17462     80 |        5 |      302
420.21/420.47	c  420s |      19 |   671338 |   581482 |    17462     81 |        5 |      302
422.31/422.54	c  422s |      19 |   674323 |   583982 |    17462     81 |        5 |      302
424.30/424.60	c  424s |      19 |   677551 |   586782 |    17462     81 |        5 |      302
426.40/426.62	c  426s |      19 |   680236 |   589182 |    17462     81 |        5 |      302
428.40/428.65	c  428s |      19 |   683003 |   591682 |    17462     82 |        5 |      302
430.50/430.73	c  430s |      19 |   685884 |   594282 |    17462     82 |        5 |      302
432.60/432.86	c  432s |      19 |   688552 |   596682 |    17462     82 |        5 |      302
434.60/434.86	c  434s |      19 |   691224 |   598982 |    17462     82 |        5 |      302
436.60/436.88	c  436s |      19 |   694159 |   601582 |    17462     83 |        5 |      302
438.70/438.94	c  438s |      19 |   697023 |   604182 |    17462     83 |        5 |      302
440.70/440.99	c  440s |      19 |   699489 |   606482 |    17462     83 |        5 |      302
442.79/443.03	c  442s |      19 |   702029 |   608782 |    17462     84 |        5 |      302
445.30/445.50	c  445s |      19 |   703019 |   609682 |    17462     84 |        5 |      302
447.29/447.56	c  447s |      19 |   706105 |   612182 |    17462     84 |        5 |      302
449.29/449.57	c  449s |      19 |   709217 |   614782 |    17462     84 |        5 |      302
451.39/451.62	c  451s |      19 |   712042 |   617282 |    17462     85 |        5 |      302
453.38/453.62	c  453s |      19 |   715486 |   620082 |    17462     85 |        5 |      302
455.38/455.64	c  455s |      19 |   718839 |   622982 |    17462     85 |        5 |      302
457.39/457.69	c  457s |      19 |   721786 |   625582 |    17462     85 |        5 |      302
459.48/459.74	c  459s |      19 |   725299 |   628682 |    17462     86 |        5 |      302
461.48/461.78	c  461s |      19 |   728722 |   631582 |    17462     86 |        5 |      302
464.09/464.31	c  464s |      19 |   730329 |   632982 |    17462     86 |        5 |      302
466.08/466.36	c  466s |      19 |   733525 |   635582 |    17462     87 |        5 |      302
468.08/468.38	c  468s |      19 |   737051 |   638582 |    17462     87 |        5 |      302
470.18/470.40	c  470s |      19 |   740416 |   641382 |    17462     87 |        5 |      302
472.18/472.44	c  472s |      19 |   742930 |   643482 |    17462     88 |        5 |      302
474.18/474.47	c  474s |      19 |   746310 |   646382 |    17462     88 |        5 |      302
476.28/476.52	c  476s |      19 |   749396 |   649082 |    17462     88 |        5 |      302
478.28/478.56	c  478s |      19 |   752525 |   651782 |    17462     88 |        5 |      302
480.28/480.59	c  480s |      19 |   756057 |   654882 |    17462     89 |        5 |      302
482.37/482.63	c  482s |      19 |   759340 |   657782 |    17462     89 |        5 |      302
484.37/484.68	c  484s |      19 |   762326 |   660382 |    17462     89 |        5 |      302
487.77/488.01	c  487s |      19 |   764195 |   662082 |    17462     90 |        5 |      302
489.77/490.04	c  489s |      19 |   767722 |   665082 |    19209     90 |        5 |      302
491.07/491.35	c  491s |      20 |   769736 |   666827 |    19209     90 |        5 |      302
493.06/493.39	c  493s |      20 |   772569 |   669227 |    19209     90 |        5 |      302
495.36/495.64	c  495s |      20 |   775332 |   671627 |    19209     91 |        5 |      302
497.36/497.69	c  497s |      20 |   777348 |   673327 |    19209     91 |        5 |      302
499.46/499.77	c  499s |      20 |   780527 |   676127 |    19209     91 |        5 |      302
501.56/501.80	c  501s |      20 |   783549 |   678827 |    19209     91 |        5 |      302
503.66/503.96	c  503s |      20 |   786474 |   681427 |    19209     92 |        5 |      302
505.76/506.02	c  505s |      20 |   789398 |   683927 |    19209     92 |        5 |      302
507.75/508.06	c  507s |      20 |   792633 |   686627 |    19209     92 |        5 |      302
509.76/510.08	c  509s |      20 |   794882 |   688527 |    19209     92 |        5 |      302
511.86/512.12	c  511s |      20 |   797673 |   690927 |    19209     92 |        5 |      302
513.85/514.17	c  514s |      20 |   800108 |   693027 |    19209     93 |        5 |      302
515.85/516.19	c  516s |      20 |   803357 |   695927 |    19209     93 |        5 |      302
517.96/518.24	c  518s |      20 |   806307 |   698527 |    19209     93 |        5 |      302
519.95/520.30	c  520s |      20 |   808887 |   700827 |    19209     93 |        5 |      302
522.05/522.34	c  522s |      20 |   811672 |   703327 |    19209     94 |        5 |      302
524.05/524.38	c  524s |      20 |   814431 |   705827 |    19209     94 |        5 |      302
526.15/526.45	c  526s |      20 |   816922 |   708127 |    19209     94 |        5 |      302
528.25/528.53	c  528s |      20 |   819260 |   710227 |    19209     94 |        5 |      302
530.25/530.59	c  530s |      20 |   821891 |   712527 |    19209     95 |        5 |      302
532.34/532.62	c  532s |      20 |   824420 |   714827 |    19209     95 |        5 |      302
534.35/534.69	c  534s |      20 |   826234 |   716427 |    19209     95 |        5 |      302
536.44/536.75	c  536s |      20 |   828581 |   718427 |    19209     95 |        5 |      302
538.54/538.83	c  538s |      20 |   830918 |   720427 |    19209     96 |        5 |      302
540.54/540.87	c  540s |      20 |   834459 |   723427 |    19209     96 |        5 |      302
542.54/542.89	c  542s |      20 |   837721 |   726327 |    19209     96 |        5 |      302
544.64/544.93	c  544s |      20 |   840862 |   729027 |    19209     96 |        5 |      302
546.64/546.97	c  546s |      20 |   843437 |   731227 |    19209     97 |        5 |      302
548.74/549.05	c  548s |      20 |   846555 |   734027 |    19209     97 |        5 |      302
550.74/551.07	c  550s |      20 |   848674 |   735927 |    19209     97 |        5 |      302
552.83/553.15	c  552s |      20 |   851575 |   738527 |    19209     97 |        5 |      302
554.83/555.17	c  555s |      20 |   854045 |   740827 |    19209     98 |        5 |      302
556.83/557.19	c  557s |      20 |   857005 |   743527 |    19209     98 |        5 |      302
558.93/559.20	c  559s |      20 |   859649 |   745827 |    19209     98 |        5 |      302
560.93/561.23	c  561s |      20 |   861969 |   747827 |    19209     98 |        5 |      302
562.93/563.29	c  563s |      20 |   864063 |   749627 |    19209     99 |        5 |      302
565.03/565.33	c  565s |      20 |   867463 |   752627 |    19209     99 |        5 |      302
567.03/567.39	c  567s |      20 |   870066 |   754927 |    19209     99 |        5 |      302
569.03/569.39	c  569s |      20 |   872672 |   757227 |    19209     99 |        5 |      302
571.23/571.55	c  571s |      20 |   874993 |   759227 |    19209    100 |        5 |      302
573.22/573.57	c  573s |      20 |   877944 |   761827 |    19209    100 |        5 |      302
575.32/575.63	c  575s |      20 |   880708 |   764327 |    19209    100 |        5 |      302
577.33/577.65	c  577s |      20 |   883131 |   766527 |    19209    100 |        5 |      302
579.32/579.68	c  579s |      20 |   885250 |   768427 |    19209    100 |        5 |      302
581.42/581.70	c  581s |      20 |   887552 |   770527 |    19209    101 |        5 |      302
583.42/583.72	c  583s |      20 |   890124 |   772927 |    19209    101 |        5 |      302
585.42/585.75	c  585s |      20 |   892505 |   775127 |    19209    101 |        5 |      302
587.42/587.75	c  587s |      20 |   894777 |   777227 |    19209    101 |        5 |      302
589.92/590.23	c  590s |      20 |   897043 |   779327 |    19209    102 |        5 |      302
591.92/592.27	c  592s |      20 |   899897 |   781827 |    19209    102 |        5 |      302
594.02/594.35	c  594s |      20 |   902495 |   784127 |    19209    102 |        5 |      302
596.12/596.43	c  596s |      20 |   905059 |   786427 |    19209    102 |        5 |      302
598.82/599.18	c  599s |      20 |   906352 |   787627 |    19209    102 |        5 |      302
600.81/601.20	c  601s |      20 |   908549 |   789527 |    19209    103 |        5 |      302
602.91/603.23	c  603s |      20 |   911478 |   792027 |    19209    103 |        5 |      302
604.91/605.23	c  605s |      20 |   914240 |   794427 |    19209    103 |        5 |      302
607.02/607.33	c  607s |      20 |   916586 |   796527 |    19209    103 |        5 |      302
609.01/609.40	c  609s |      20 |   918943 |   798427 |    19209    104 |        5 |      302
611.11/611.43	c  611s |      20 |   922494 |   801427 |    19209    104 |        5 |      302
613.11/613.49	c  613s |      20 |   925691 |   804127 |    19209    104 |        5 |      302
615.21/615.57	c  615s |      20 |   928260 |   806427 |    19209    104 |        5 |      302
617.31/617.63	c  617s |      20 |   930830 |   808727 |    19209    105 |        5 |      302
619.31/619.68	c  619s |      20 |   933495 |   811127 |    19209    105 |        5 |      302
621.41/621.75	c  621s |      20 |   936255 |   813627 |    19209    105 |        5 |      302
623.42/623.79	c  623s |      20 |   938652 |   815827 |    19209    105 |        5 |      302
625.62/625.94	c  625s |      20 |   940705 |   817627 |    19209    106 |        5 |      302
627.61/627.99	c  627s |      20 |   943872 |   820427 |    19209    106 |        5 |      302
629.71/630.03	c  629s |      20 |   947041 |   823127 |    19209    106 |        5 |      302
631.71/632.08	c  631s |      20 |   949660 |   825427 |    19209    106 |        5 |      302
633.81/634.12	c  633s |      20 |   951948 |   827527 |    19209    107 |        5 |      302
635.91/636.29	c  636s |      20 |   953318 |   828727 |    19209    107 |        5 |      302
638.01/638.34	c  638s |      20 |   955954 |   830927 |    19209    107 |        5 |      302
640.01/640.35	c  640s |      20 |   959281 |   833727 |    19209    107 |        5 |      302
642.11/642.42	c  642s |      20 |   962163 |   836227 |    19209    107 |        5 |      302
644.20/644.53	c  644s |      20 |   965567 |   839127 |    19209    108 |        5 |      302
646.20/646.58	c  646s |      20 |   968696 |   841927 |    19209    108 |        5 |      302
648.30/648.62	c  648s |      20 |   971658 |   844527 |    19209    108 |        5 |      302
650.30/650.66	c  650s |      20 |   974330 |   846727 |    19209    108 |        5 |      302
652.30/652.68	c  652s |      20 |   976904 |   848927 |    19209    109 |        5 |      302
654.40/654.72	c  654s |      20 |   979959 |   851527 |    19209    109 |        5 |      302
656.41/656.76	c  656s |      20 |   982915 |   854127 |    19209    109 |        5 |      302
658.50/658.82	c  658s |      20 |   985596 |   856427 |    19209    109 |        5 |      302
660.50/660.84	c  660s |      20 |   988585 |   859027 |    19209    110 |        5 |      302
662.50/662.86	c  662s |      20 |   991758 |   861827 |    19209    110 |        5 |      302
664.50/664.89	c  664s |      20 |   994373 |   864227 |    19209    110 |        5 |      302
666.70/667.01	c  666s |      20 |   996673 |   866327 |    19209    111 |        5 |      302
668.70/669.04	c  668s |      20 |   999523 |   868927 |    19209    111 |        5 |      302
672.80/673.16	c  672s |      20 |  1002443 |   871527 |    19209    111 |        5 |      302
674.90/675.21	c  675s |      20 |  1005260 |   873927 |    19209    111 |        5 |      302
676.90/677.21	c  677s |      20 |  1007738 |   876027 |    19209    112 |        5 |      302
678.90/679.28	c  679s |      20 |  1011102 |   878927 |    19209    112 |        5 |      302
681.00/681.33	c  681s |      20 |  1014044 |   881527 |    19209    112 |        5 |      302
682.99/683.35	c  683s |      20 |  1016575 |   883827 |    19209    112 |        5 |      302
685.19/685.59	c  685s |      20 |  1018862 |   885827 |    19209    113 |        5 |      302
687.30/687.66	c  687s |      20 |  1021862 |   888527 |    19209    113 |        5 |      302
689.40/689.71	c  689s |      20 |  1024740 |   891127 |    19209    113 |        5 |      302
691.39/691.75	c  691s |      20 |  1027573 |   893627 |    19209    113 |        5 |      302
693.39/693.78	c  693s |      20 |  1029832 |   895627 |    19209    114 |        5 |      302
695.49/695.85	c  695s |      20 |  1032736 |   898327 |    19209    114 |        5 |      302
697.59/697.91	c  697s |      20 |  1035246 |   900627 |    19209    114 |        5 |      302
699.59/699.94	c  699s |      20 |  1037664 |   902827 |    19209    114 |        5 |      302
702.69/703.01	c  702s |      20 |  1039540 |   904527 |    19209    114 |        5 |      302
704.68/705.03	c  704s |      20 |  1041669 |   906427 |    19209    115 |        5 |      302
706.68/707.03	c  706s |      20 |  1044287 |   908727 |    19209    115 |        5 |      302
708.68/709.08	c  708s |      20 |  1046942 |   911027 |    19209    115 |        5 |      302
710.78/711.17	c  711s |      20 |  1049157 |   913027 |    19209    115 |        5 |      302
712.88/713.20	c  713s |      20 |  1051335 |   914827 |    19209    115 |        5 |      302
714.88/715.21	c  715s |      20 |  1053497 |   916827 |    19209    116 |        5 |      302
716.88/717.24	c  717s |      20 |  1055807 |   918927 |    19209    116 |        5 |      302
718.98/719.36	c  719s |      20 |  1058368 |   921227 |    19209    116 |        5 |      302
721.08/721.42	c  721s |      20 |  1060336 |   923027 |    19209    116 |        5 |      302
723.17/723.51	c  723s |      20 |  1062186 |   924627 |    19209    117 |        5 |      302
725.17/725.57	c  725s |      20 |  1064826 |   926927 |    19209    117 |        5 |      302
727.27/727.62	c  727s |      20 |  1067604 |   929427 |    19209    117 |        5 |      302
729.37/729.71	c  729s |      20 |  1070220 |   931727 |    19209    117 |        5 |      302
731.37/731.78	c  731s |      20 |  1072596 |   933827 |    19209    117 |        5 |      302
733.48/733.81	c  733s |      20 |  1074697 |   935727 |    19209    118 |        5 |      302
735.47/735.83	c  735s |      20 |  1077354 |   938127 |    19209    118 |        5 |      302
739.18/739.56	c  739s |      20 |  1080028 |   940527 |    19209    118 |        5 |      302
741.27/741.64	c  741s |      20 |  1082892 |   942927 |    19209    118 |        5 |      302
743.28/743.68	c  743s |      20 |  1085083 |   944827 |    19209    119 |        5 |      302
745.37/745.73	c  745s |      20 |  1088165 |   947527 |    19209    119 |        5 |      302
747.37/747.74	c  747s |      20 |  1091003 |   950027 |    19209    119 |        5 |      302
749.47/749.81	c  749s |      20 |  1093639 |   952427 |    19209    119 |        5 |      302
751.47/751.86	c  751s |      20 |  1095491 |   954027 |    19209    120 |        5 |      302
753.47/753.87	c  753s |      20 |  1098454 |   956627 |    19209    120 |        5 |      302
755.57/755.91	c  755s |      20 |  1101370 |   959227 |    19209    120 |        5 |      302
757.58/757.98	c  757s |      20 |  1104044 |   961627 |    19209    120 |        5 |      302
759.57/760.00	c  759s |      20 |  1106366 |   963727 |    19209    121 |        5 |      302
761.67/762.02	c  761s |      20 |  1109161 |   966327 |    19209    121 |        5 |      302
764.07/764.40	c  764s |      20 |  1110652 |   967627 |    19209    121 |        5 |      302
766.07/766.45	c  766s |      20 |  1113666 |   970227 |    19209    121 |        5 |      302
768.17/768.53	c  768s |      20 |  1116220 |   972527 |    19209    121 |        5 |      302
770.17/770.54	c  770s |      20 |  1118298 |   974427 |    19209    122 |        5 |      302
772.17/772.55	c  772s |      20 |  1121194 |   977027 |    19209    122 |        5 |      302
774.27/774.60	c  774s |      20 |  1123719 |   979327 |    19209    122 |        5 |      302
776.27/776.63	c  776s |      20 |  1126036 |   981427 |    19209    122 |        5 |      302
778.26/778.68	c  778s |      20 |  1128347 |   983427 |    19209    123 |        5 |      302
780.26/780.69	c  780s |      20 |  1130302 |   985127 |    19209    123 |        5 |      302
782.36/782.73	c  782s |      20 |  1133335 |   987827 |    19209    123 |        5 |      302
784.36/784.74	c  784s |      20 |  1135987 |   990227 |    19209    123 |        5 |      302
786.36/786.78	c  786s |      20 |  1138282 |   992327 |    19209    123 |        5 |      302
788.47/788.84	c  788s |      20 |  1141151 |   994927 |    21130    124 |        5 |      302
790.46/790.88	c  790s |      20 |  1143348 |   996927 |    21130    124 |        5 |      302
792.57/792.93	c  792s |      20 |  1145846 |   999227 |    21130    124 |        5 |      302
793.67/794.01	c  793s |      21 |  1147031 |  1000345 |    21130    124 |        5 |      302
795.67/796.05	c  795s |      21 |  1149158 |  1002245 |    21130    124 |        5 |      302
798.87/799.21	c  799s |      21 |  1150272 |  1003245 |    21130    124 |        5 |      302
800.86/801.22	c  801s |      21 |  1151571 |  1004345 |    21130    125 |        5 |      302
802.86/803.23	c  803s |      21 |  1154031 |  1006445 |    21130    125 |        5 |      302
804.87/805.26	c  805s |      21 |  1157129 |  1009145 |    21130    125 |        5 |      302
806.96/807.30	c  807s |      21 |  1160064 |  1011645 |    21130    125 |        5 |      302
808.96/809.33	c  809s |      21 |  1162562 |  1013845 |    21130    125 |        5 |      302
810.96/811.37	c  811s |      21 |  1165075 |  1016045 |    21130    126 |        5 |      302
812.96/813.39	c  813s |      21 |  1167432 |  1018045 |    21130    126 |        5 |      302
815.06/815.47	c  815s |      21 |  1170062 |  1020345 |    21130    126 |        5 |      302
817.16/817.53	c  817s |      21 |  1172706 |  1022645 |    21130    126 |        5 |      302
819.27/819.62	c  819s |      21 |  1175049 |  1024745 |    21130    126 |        5 |      302
821.26/821.69	c  821s |      21 |  1177387 |  1026745 |    21130    127 |        5 |      302
823.36/823.70	c  823s |      21 |  1179937 |  1029045 |    21130    127 |        5 |      302
825.36/825.73	c  825s |      21 |  1182576 |  1031345 |    21130    127 |        5 |      302
827.36/827.74	c  827s |      21 |  1184751 |  1033345 |    21130    127 |        5 |      302
829.46/829.83	c  829s |      21 |  1187209 |  1035445 |    21130    127 |        5 |      302
831.56/831.92	c  831s |      21 |  1189088 |  1037145 |    21130    128 |        5 |      302
836.05/836.46	c  836s |      21 |  1191658 |  1039445 |    21130    128 |        5 |      302
838.05/838.46	c  838s |      21 |  1194377 |  1041745 |    21130    128 |        5 |      302
840.16/840.52	c  840s |      21 |  1197005 |  1044045 |    21130    128 |        5 |      302
842.15/842.54	c  842s |      21 |  1199273 |  1046045 |    21130    128 |        5 |      302
844.25/844.61	c  844s |      21 |  1201742 |  1048245 |    21130    129 |        5 |      302
846.25/846.66	c  846s |      21 |  1204127 |  1050345 |    21130    129 |        5 |      302
848.35/848.76	c  848s |      21 |  1206872 |  1052745 |    21130    129 |        5 |      302
850.45/850.84	c  850s |      21 |  1209199 |  1054845 |    21130    129 |        5 |      302
852.55/852.92	c  852s |      21 |  1211271 |  1056745 |    21130    129 |        5 |      302
854.55/854.98	c  854s |      21 |  1213387 |  1058645 |    21130    130 |        5 |      302
856.66/857.02	c  856s |      21 |  1215987 |  1061045 |    21130    130 |        5 |      302
858.65/859.04	c  858s |      21 |  1218393 |  1063245 |    21130    130 |        5 |      302
860.76/861.12	c  860s |      21 |  1219506 |  1064245 |    21130    130 |        5 |      302
862.76/863.15	c  862s |      21 |  1221726 |  1066245 |    21130    130 |        5 |      302
864.86/865.25	c  865s |      21 |  1223793 |  1068145 |    21130    130 |        5 |      302
866.96/867.32	c  867s |      21 |  1225642 |  1069745 |    21130    131 |        5 |      302
868.96/869.36	c  869s |      21 |  1228202 |  1072045 |    21130    131 |        5 |      302
871.05/871.42	c  871s |      21 |  1230453 |  1074045 |    21130    131 |        5 |      302
873.06/873.47	c  873s |      21 |  1232532 |  1075945 |    21130    131 |        5 |      302
875.15/875.51	c  875s |      21 |  1234347 |  1077545 |    21130    131 |        5 |      302
877.15/877.58	c  877s |      21 |  1236486 |  1079145 |    21130    131 |        5 |      302
879.15/879.59	c  879s |      21 |  1239311 |  1081045 |    21130    132 |        5 |      302
881.25/881.61	c  881s |      21 |  1242038 |  1082945 |    21130    132 |        5 |      302
883.25/883.62	c  883s |      21 |  1243690 |  1084445 |    21130    132 |        5 |      302
885.26/885.63	c  885s |      21 |  1245904 |  1086345 |    21130    132 |        5 |      302
887.25/887.66	c  887s |      21 |  1247832 |  1088045 |    21130    132 |        5 |      302
889.25/889.68	c  889s |      21 |  1249464 |  1089545 |    21130    132 |        5 |      302
891.35/891.70	c  891s |      21 |  1251321 |  1091245 |    21130    133 |        5 |      302
893.55/893.92	c  893s |      21 |  1253421 |  1093145 |    21130    133 |        5 |      302
895.55/895.93	c  895s |      21 |  1255846 |  1095145 |    21130    133 |        5 |      302
897.65/898.03	c  897s |      21 |  1258246 |  1097245 |    21130    133 |        5 |      302
900.25/900.61	c  900s |      21 |  1259186 |  1098045 |    21130    133 |        5 |      302
902.24/902.66	c  902s |      21 |  1261718 |  1100145 |    21130    133 |        5 |      302
904.34/904.70	c  904s |      21 |  1264335 |  1102345 |    21130    134 |        5 |      302
906.35/906.73	c  906s |      21 |  1267558 |  1105045 |    21130    134 |        5 |      302
908.36/908.75	c  908s |      21 |  1270067 |  1107245 |    21130    134 |        5 |      302
910.35/910.77	c  910s |      21 |  1272652 |  1109545 |    21130    134 |        5 |      302
912.55/912.92	c  912s |      21 |  1274910 |  1111545 |    21130    135 |        5 |      302
914.65/915.01	c  914s |      21 |  1277930 |  1114145 |    21130    135 |        5 |      302
916.65/917.05	c  916s |      21 |  1280736 |  1116545 |    21130    135 |        5 |      302
918.75/919.11	c  918s |      21 |  1283325 |  1118745 |    21130    135 |        5 |      302
920.75/921.11	c  920s |      21 |  1285706 |  1120745 |    21130    135 |        5 |      302
922.75/923.14	c  922s |      21 |  1287643 |  1122445 |    21130    136 |        5 |      302
924.75/925.15	c  924s |      21 |  1289009 |  1123645 |    21130    136 |        5 |      302
926.85/927.21	c  927s |      21 |  1292237 |  1126345 |    21130    136 |        5 |      302
928.85/929.26	c  929s |      21 |  1295153 |  1128845 |    21130    136 |        5 |      302
931.05/931.45	c  931s |      21 |  1297870 |  1131245 |    21130    136 |        5 |      302
933.05/933.46	c  933s |      21 |  1300187 |  1133245 |    21130    137 |        5 |      302
935.05/935.48	c  935s |      21 |  1303234 |  1135945 |    21130    137 |        5 |      302
937.05/937.49	c  937s |      21 |  1306042 |  1138445 |    21130    137 |        5 |      302
939.15/939.55	c  939s |      21 |  1308445 |  1140645 |    21130    137 |        5 |      302
941.25/941.63	c  941s |      21 |  1310783 |  1142645 |    21130    137 |        5 |      302
943.24/943.68	c  943s |      21 |  1312906 |  1144445 |    21130    138 |        5 |      302
945.34/945.75	c  945s |      21 |  1315839 |  1146945 |    21130    138 |        5 |      302
947.44/947.80	c  947s |      21 |  1318334 |  1149245 |    21130    138 |        5 |      302
949.44/949.89	c  949s |      21 |  1320937 |  1151545 |    21130    138 |        5 |      302
951.54/951.92	c  951s |      21 |  1323129 |  1153445 |    21130    138 |        5 |      302
953.54/953.97	c  953s |      21 |  1325517 |  1155545 |    21130    139 |        5 |      302
955.55/955.98	c  955s |      21 |  1328083 |  1157845 |    21130    139 |        5 |      302
957.54/957.98	c  957s |      21 |  1330601 |  1160145 |    21130    139 |        5 |      302
959.54/959.99	c  959s |      21 |  1332920 |  1162245 |    21130    139 |        5 |      302
961.64/962.09	c  961s |      21 |  1335142 |  1164245 |    21130    139 |        5 |      302
963.74/964.12	c  963s |      21 |  1337438 |  1166345 |    21130    140 |        5 |      302
968.14/968.54	c  968s |      21 |  1339021 |  1167745 |    21130    140 |        5 |      302
970.13/970.54	c  970s |      21 |  1341023 |  1169345 |    21130    140 |        5 |      302
972.14/972.59	c  972s |      21 |  1344113 |  1172045 |    21130    140 |        5 |      302
974.25/974.62	c  974s |      21 |  1347061 |  1174445 |    21130    140 |        5 |      302
976.24/976.69	c  976s |      21 |  1349850 |  1176845 |    21130    141 |        5 |      302
978.34/978.70	c  978s |      21 |  1352705 |  1179345 |    21130    141 |        5 |      302
980.34/980.75	c  980s |      21 |  1355528 |  1181845 |    21130    141 |        5 |      302
982.44/982.80	c  982s |      21 |  1357863 |  1183945 |    21130    141 |        5 |      302
984.44/984.89	c  984s |      21 |  1360344 |  1185945 |    21130    141 |        5 |      302
986.54/986.94	c  986s |      21 |  1362776 |  1187945 |    21130    142 |        5 |      302
988.55/988.97	c  988s |      21 |  1365448 |  1190245 |    21130    142 |        5 |      302
990.54/990.97	c  990s |      21 |  1367875 |  1192245 |    21130    142 |        5 |      302
992.54/992.98	c  992s |      21 |  1370728 |  1194645 |    21130    142 |        5 |      302
994.64/995.01	c  994s |      21 |  1373354 |  1196845 |    21130    142 |        5 |      302
996.64/997.03	c  996s |      21 |  1376551 |  1199645 |    21130    143 |        5 |      302
998.64/999.04	c  998s |      21 |  1379802 |  1202445 |    21130    143 |        5 |      302
1000.74/1001.13	c 1000s |      21 |  1382509 |  1204745 |    21130    143 |        5 |      302
1002.74/1003.15	c 1002s |      21 |  1384924 |  1206745 |    21130    143 |        5 |      302
1004.74/1005.16	c 1004s |      21 |  1387326 |  1208845 |    21130    144 |        5 |      302
1006.84/1007.21	c 1007s |      21 |  1390445 |  1211645 |    21130    144 |        5 |      302
1008.84/1009.29	c 1009s |      21 |  1392867 |  1213845 |    21130    144 |        5 |      302
1010.94/1011.33	c 1011s |      21 |  1395290 |  1216045 |    21130    144 |        5 |      302
1012.94/1013.37	c 1013s |      21 |  1397540 |  1218045 |    21130    144 |        5 |      302
1015.04/1015.46	c 1015s |      21 |  1400223 |  1220445 |    21130    145 |        5 |      302
1017.14/1017.54	c 1017s |      21 |  1403033 |  1222945 |    21130    145 |        5 |      302
1022.23/1022.68	c 1022s |      21 |  1405752 |  1225345 |    21130    145 |        5 |      302
1024.33/1024.71	c 1024s |      21 |  1408472 |  1227645 |    21130    145 |        5 |      302
1026.33/1026.74	c 1026s |      21 |  1410723 |  1229545 |    21130    146 |        5 |      302
1028.33/1028.75	c 1028s |      21 |  1414008 |  1232445 |    21130    146 |        5 |      302
1030.34/1030.78	c 1030s |      21 |  1416677 |  1234845 |    21130    146 |        5 |      302
1032.43/1032.81	c 1032s |      21 |  1419049 |  1236945 |    21130    146 |        5 |      302
1034.43/1034.82	c 1034s |      21 |  1421190 |  1238845 |    21130    146 |        5 |      302
1036.43/1036.84	c 1036s |      21 |  1423590 |  1240945 |    21130    147 |        5 |      302
1038.53/1038.90	c 1038s |      21 |  1426493 |  1243545 |    21130    147 |        5 |      302
1040.53/1040.94	c 1040s |      21 |  1428868 |  1245745 |    21130    147 |        5 |      302
1042.53/1042.98	c 1042s |      21 |  1431350 |  1247845 |    21130    147 |        5 |      302
1044.63/1045.08	c 1044s |      21 |  1433432 |  1249745 |    21130    147 |        5 |      302
1047.23/1047.67	c 1047s |      21 |  1434662 |  1250845 |    21130    148 |        5 |      302
1049.33/1049.71	c 1049s |      21 |  1437459 |  1253345 |    21130    148 |        5 |      302
1051.33/1051.74	c 1051s |      21 |  1440159 |  1255745 |    21130    148 |        5 |      302
1053.32/1053.79	c 1053s |      21 |  1442434 |  1257745 |    21130    148 |        5 |      302
1055.42/1055.88	c 1055s |      21 |  1444646 |  1259745 |    21130    148 |        5 |      302
1057.52/1057.91	c 1057s |      21 |  1446291 |  1261245 |    21130    149 |        5 |      302
1059.62/1060.00	c 1059s |      21 |  1449095 |  1263745 |    21130    149 |        5 |      302
1061.62/1062.00	c 1061s |      21 |  1451387 |  1265845 |    21130    149 |        5 |      302
1063.62/1064.01	c 1063s |      21 |  1453723 |  1267845 |    21130    149 |        5 |      302
1065.63/1066.05	c 1065s |      21 |  1455910 |  1269845 |    21130    149 |        5 |      302
1067.62/1068.09	c 1067s |      21 |  1457901 |  1271645 |    21130    149 |        5 |      302
1069.93/1070.32	c 1070s |      21 |  1460276 |  1273745 |    21130    150 |        5 |      302
1071.92/1072.37	c 1072s |      21 |  1462806 |  1276045 |    21130    150 |        5 |      302
1074.12/1074.52	c 1074s |      21 |  1464703 |  1277745 |    21130    150 |        5 |      302
1076.12/1076.57	c 1076s |      21 |  1466766 |  1279645 |    21130    150 |        5 |      302
1078.22/1078.61	c 1078s |      21 |  1468763 |  1281445 |    21130    150 |        5 |      302
1080.42/1080.81	c 1080s |      21 |  1470358 |  1282845 |    21130    151 |        5 |      302
1082.62/1083.01	c 1082s |      21 |  1473167 |  1285345 |    21130    151 |        5 |      302
1084.62/1085.06	c 1084s |      21 |  1474073 |  1286145 |    21130    151 |        5 |      302
1086.62/1087.07	c 1086s |      21 |  1476753 |  1288545 |    21130    151 |        5 |      302
1088.73/1089.11	c 1088s |      21 |  1479145 |  1290645 |    21130    151 |        5 |      302
1090.72/1091.16	c 1090s |      21 |  1481568 |  1292645 |    21130    151 |        5 |      302
1092.92/1093.38	c 1093s |      21 |  1483956 |  1294745 |    21130    152 |        5 |      302
1095.02/1095.40	c 1095s |      21 |  1486731 |  1297145 |    21130    152 |        5 |      302
1097.02/1097.45	c 1097s |      21 |  1489470 |  1299545 |    21130    152 |        5 |      302
1099.02/1099.48	c 1099s |      21 |  1491730 |  1301545 |    21130    152 |        5 |      302
1101.12/1101.52	c 1101s |      21 |  1493984 |  1303545 |    21130    152 |        5 |      302
1104.41/1104.87	c 1104s |      21 |  1496543 |  1305645 |    21130    153 |        5 |      302
1106.51/1106.96	c 1106s |      21 |  1499396 |  1308045 |    21130    153 |        5 |      302
1108.61/1109.01	c 1108s |      21 |  1501966 |  1310245 |    21130    153 |        5 |      302
1110.62/1111.04	c 1110s |      21 |  1504435 |  1312345 |    21130    153 |        5 |      302
1112.61/1113.05	c 1112s |      21 |  1506889 |  1314445 |    21130    153 |        5 |      302
1114.62/1115.05	c 1114s |      21 |  1509426 |  1316645 |    21130    154 |        5 |      302
1116.72/1117.12	c 1116s |      21 |  1512646 |  1319445 |    21130    154 |        5 |      302
1118.92/1119.39	c 1119s |      21 |  1514201 |  1320845 |    21130    154 |        5 |      302
1121.12/1121.54	c 1121s |      21 |  1516360 |  1322645 |    21130    154 |        5 |      302
1123.12/1123.59	c 1123s |      21 |  1518913 |  1324845 |    21130    154 |        5 |      302
1125.22/1125.65	c 1125s |      21 |  1520891 |  1326545 |    21130    155 |        5 |      302
1127.22/1127.67	c 1127s |      21 |  1524269 |  1329445 |    21130    155 |        5 |      302
1129.32/1129.72	c 1129s |      21 |  1527083 |  1331945 |    21130    155 |        5 |      302
1131.42/1131.80	c 1131s |      21 |  1529650 |  1334245 |    21130    155 |        5 |      302
1133.41/1133.81	c 1133s |      21 |  1531885 |  1336245 |    21130    156 |        5 |      302
1135.41/1135.84	c 1135s |      21 |  1534107 |  1338145 |    21130    156 |        5 |      302
1137.51/1137.90	c 1137s |      21 |  1537264 |  1340845 |    21130    156 |        5 |      302
1139.51/1139.93	c 1139s |      21 |  1539930 |  1343145 |    21130    156 |        5 |      302
1141.52/1141.98	c 1141s |      21 |  1542180 |  1345145 |    21130    156 |        5 |      302
1143.72/1144.11	c 1143s |      21 |  1544158 |  1346845 |    21130    157 |        5 |      302
1145.71/1146.18	c 1146s |      21 |  1547162 |  1349445 |    21130    157 |        5 |      302
1147.81/1148.28	c 1148s |      21 |  1549922 |  1351745 |    21130    157 |        5 |      302
1149.91/1150.31	c 1150s |      21 |  1552118 |  1353745 |    21130    157 |        5 |      302
1153.11/1153.55	c 1153s |      21 |  1554118 |  1355545 |    21130    157 |        5 |      302
1155.21/1155.61	c 1155s |      21 |  1556375 |  1357445 |    21130    158 |        5 |      302
1157.21/1157.68	c 1157s |      21 |  1558821 |  1359645 |    21130    158 |        5 |      302
1159.31/1159.78	c 1159s |      21 |  1561512 |  1362045 |    21130    158 |        5 |      302
1161.41/1161.83	c 1161s |      21 |  1563839 |  1364145 |    21130    158 |        5 |      302
1163.41/1163.83	c 1163s |      21 |  1566202 |  1366145 |    21130    158 |        5 |      302
1165.71/1166.16	c 1165s |      21 |  1568183 |  1367945 |    21130    159 |        5 |      302
1167.81/1168.21	c 1168s |      21 |  1570135 |  1369645 |    21130    159 |        5 |      302
1169.80/1170.25	c 1170s |      21 |  1572761 |  1372045 |    21130    159 |        5 |      302
1171.90/1172.34	c 1172s |      21 |  1575401 |  1374345 |    21130    159 |        5 |      302
1174.00/1174.45	c 1174s |      21 |  1577640 |  1376345 |    21130    159 |        5 |      302
1176.10/1176.52	c 1176s |      21 |  1579602 |  1378145 |    21130    159 |        5 |      302
1178.10/1178.58	c 1178s |      21 |  1581600 |  1379945 |    21130    160 |        5 |      302
1180.10/1180.58	c 1180s |      21 |  1584279 |  1382345 |    21130    160 |        5 |      302
1182.21/1182.61	c 1182s |      21 |  1586687 |  1384545 |    21130    160 |        5 |      302
1184.20/1184.62	c 1184s |      21 |  1588961 |  1386645 |    21130    160 |        5 |      302
1186.20/1186.64	c 1186s |      21 |  1591337 |  1388645 |    21130    160 |        5 |      302
1188.20/1188.70	c 1188s |      21 |  1593869 |  1390645 |    21130    161 |        5 |      302
1190.41/1190.81	c 1190s |      21 |  1596681 |  1392745 |    21130    161 |        5 |      302
1192.41/1192.83	c 1192s |      21 |  1598794 |  1394245 |    21130    161 |        5 |      302
1194.41/1194.88	c 1194s |      21 |  1600651 |  1395945 |    21130    161 |        5 |      302
1196.52/1196.97	c 1196s |      21 |  1602576 |  1397645 |    21130    161 |        5 |      302
1198.61/1199.07	c 1198s |      21 |  1604051 |  1398945 |    21130    161 |        5 |      302
1200.61/1201.08	c 1200s |      21 |  1605582 |  1400245 |    21130    162 |        5 |      302
1202.71/1203.14	c 1202s |      21 |  1608187 |  1402545 |    21130    162 |        5 |      302
1204.70/1205.15	c 1204s |      21 |  1610768 |  1404845 |    21130    162 |        5 |      302
1206.80/1207.22	c 1207s |      21 |  1613269 |  1407045 |    21130    162 |        5 |      302
1208.90/1209.33	c 1209s |      21 |  1615495 |  1409045 |    21130    162 |        5 |      302
1210.90/1211.35	c 1211s |      21 |  1617397 |  1410745 |    21130    163 |        5 |      302
1213.01/1213.43	c 1213s |      21 |  1620272 |  1413345 |    21130    163 |        5 |      302
1216.21/1216.63	c 1216s |      21 |  1621586 |  1414545 |    21130    163 |        5 |      302
1218.60/1219.08	c 1218s |      21 |  1624350 |  1416945 |    21130    163 |        5 |      302
1220.71/1221.13	c 1220s |      21 |  1627071 |  1419345 |    21130    163 |        5 |      302
1223.00/1223.43	c 1223s |      21 |  1629479 |  1421445 |    21130    164 |        5 |      302
1225.00/1225.50	c 1225s |      21 |  1632530 |  1424145 |    21130    164 |        5 |      302
1227.10/1227.52	c 1227s |      21 |  1634930 |  1426345 |    21130    164 |        5 |      302
1229.10/1229.55	c 1229s |      21 |  1637330 |  1428445 |    21130    164 |        5 |      302
1231.10/1231.55	c 1231s |      21 |  1639521 |  1430345 |    21130    164 |        5 |      302
1233.59/1234.03	c 1233s |      21 |  1641572 |  1432145 |    21130    165 |        5 |      302
1235.59/1236.08	c 1235s |      21 |  1644215 |  1434545 |    21130    165 |        5 |      302
1237.69/1238.10	c 1237s |      21 |  1646745 |  1436845 |    21130    165 |        5 |      302
1239.69/1240.19	c 1240s |      21 |  1649031 |  1438945 |    21130    165 |        5 |      302
1241.79/1242.25	c 1242s |      21 |  1650357 |  1440145 |    21130    165 |        5 |      302
1243.89/1244.37	c 1244s |      21 |  1652434 |  1441945 |    21130    165 |        5 |      302
1246.00/1246.41	c 1246s |      21 |  1654180 |  1443545 |    21130    166 |        5 |      302
1247.99/1248.45	c 1248s |      21 |  1656378 |  1445545 |    21130    166 |        5 |      302
1250.09/1250.53	c 1250s |      21 |  1658673 |  1447645 |    21130    166 |        5 |      302
1252.19/1252.62	c 1252s |      21 |  1660678 |  1449445 |    21130    166 |        5 |      302
1254.29/1254.77	c 1254s |      21 |  1662437 |  1451045 |    21130    166 |        5 |      302
1256.39/1256.87	c 1256s |      21 |  1664170 |  1452645 |    21130    166 |        5 |      302
1258.39/1258.87	c 1258s |      21 |  1665851 |  1454145 |    21130    167 |        5 |      302
1260.49/1260.93	c 1260s |      21 |  1668154 |  1456245 |    21130    167 |        5 |      302
1262.60/1263.02	c 1262s |      21 |  1669346 |  1457345 |    21130    167 |        5 |      302
1264.60/1265.04	c 1264s |      21 |  1671519 |  1459245 |    21130    167 |        5 |      302
1266.60/1267.05	c 1266s |      21 |  1673512 |  1461045 |    21130    167 |        5 |      302
1268.70/1269.10	c 1268s |      21 |  1675339 |  1462745 |    21130    167 |        5 |      302
1270.69/1271.16	c 1270s |      21 |  1677197 |  1464445 |    21130    168 |        5 |      302
1272.79/1273.24	c 1273s |      21 |  1679000 |  1466045 |    21130    168 |        5 |      302
1274.89/1275.30	c 1275s |      21 |  1681463 |  1468245 |    21130    168 |        5 |      302
1276.89/1277.37	c 1277s |      21 |  1683700 |  1470245 |    21130    168 |        5 |      302
1279.00/1279.47	c 1279s |      21 |  1685666 |  1472045 |    21130    168 |        5 |      302
1280.99/1281.49	c 1281s |      21 |  1687541 |  1473745 |    21130    168 |        5 |      302
1283.09/1283.56	c 1283s |      21 |  1689319 |  1475345 |    21130    169 |        5 |      302
1285.29/1285.79	c 1285s |      21 |  1689657 |  1475645 |    21130    169 |        5 |      302
1287.39/1287.87	c 1287s |      21 |  1691847 |  1477645 |    21130    169 |        5 |      302
1289.49/1289.91	c 1289s |      21 |  1694464 |  1479745 |    21130    169 |        5 |      302
1291.49/1291.91	c 1291s |      21 |  1696671 |  1481545 |    21130    169 |        5 |      302
1293.49/1293.98	c 1293s |      21 |  1698599 |  1483245 |    21130    169 |        5 |      302
1295.50/1295.99	c 1295s |      21 |  1700474 |  1484745 |    21130    169 |        5 |      302
1297.59/1298.08	c 1297s |      21 |  1702280 |  1486145 |    21130    170 |        5 |      302
1299.69/1300.13	c 1299s |      21 |  1704412 |  1487945 |    21130    170 |        5 |      302
1301.79/1302.24	c 1302s |      21 |  1706760 |  1489745 |    21130    170 |        5 |      302
1303.89/1304.31	c 1304s |      21 |  1708670 |  1491445 |    23244    170 |        5 |      302
1305.99/1306.43	c 1306s |      21 |  1710429 |  1493045 |    23244    170 |        5 |      302
1307.99/1308.45	c 1308s |      21 |  1711959 |  1494445 |    23244    170 |        5 |      302
1309.98/1310.46	c 1310s |      21 |  1713257 |  1495645 |    23244    170 |        5 |      302
1311.99/1312.48	c 1312s |      21 |  1714823 |  1497045 |    23244    170 |        5 |      302
1314.09/1314.53	c 1314s |      21 |  1716109 |  1498245 |    23244    170 |        5 |      302
1316.68/1317.19	c 1317s |      21 |  1717298 |  1499345 |    23244    171 |        5 |      302
1317.98/1318.49	c 1318s |      22 |  1718813 |  1500622 |    23244    171 |        5 |      302
1320.08/1320.55	c 1320s |      22 |  1721296 |  1502722 |    23244    171 |        5 |      302
1322.18/1322.63	c 1322s |      22 |  1723597 |  1504722 |    23244    171 |        5 |      302
1325.20/1325.63	c 1325s |      22 |  1723938 |  1505022 |    23244    171 |        5 |      302
1327.19/1327.69	c 1327s |      22 |  1726011 |  1506822 |    23244    171 |        5 |      302
1329.29/1329.70	c 1329s |      22 |  1727932 |  1508522 |    23244    171 |        5 |      302
1331.29/1331.74	c 1331s |      22 |  1729869 |  1510222 |    23244    172 |        5 |      302
1333.39/1333.82	c 1333s |      22 |  1732652 |  1512622 |    23244    172 |        5 |      302
1335.39/1335.88	c 1335s |      22 |  1735262 |  1514822 |    23244    172 |        5 |      302
1337.48/1337.94	c 1337s |      22 |  1737956 |  1517122 |    23244    172 |        5 |      302
1339.58/1340.01	c 1339s |      22 |  1740494 |  1519222 |    23244    172 |        5 |      302
1341.59/1342.04	c 1341s |      22 |  1742868 |  1521122 |    23244    172 |        5 |      302
1343.68/1344.11	c 1343s |      22 |  1745166 |  1523022 |    23244    173 |        5 |      302
1345.68/1346.14	c 1345s |      22 |  1748499 |  1525822 |    23244    173 |        5 |      302
1347.78/1348.21	c 1348s |      22 |  1751297 |  1528222 |    23244    173 |        5 |      302
1349.78/1350.23	c 1350s |      22 |  1753794 |  1530422 |    23244    173 |        5 |      302
1351.78/1352.27	c 1352s |      22 |  1756308 |  1532622 |    23244    173 |        5 |      302
1353.88/1354.33	c 1354s |      22 |  1758731 |  1534822 |    23244    174 |        5 |      302
1355.89/1356.37	c 1356s |      22 |  1760799 |  1536622 |    23244    174 |        5 |      302
1357.98/1358.49	c 1358s |      22 |  1763266 |  1538822 |    23244    174 |        5 |      302
1360.08/1360.50	c 1360s |      22 |  1765770 |  1541022 |    23244    174 |        5 |      302
1362.08/1362.58	c 1362s |      22 |  1768222 |  1543122 |    23244    174 |        5 |      302
1364.18/1364.64	c 1364s |      22 |  1770341 |  1545022 |    23244    174 |        5 |      302
1366.18/1366.66	c 1366s |      22 |  1772590 |  1547022 |    23244    175 |        5 |      302
1368.18/1368.67	c 1368s |      22 |  1775062 |  1549222 |    23244    175 |        5 |      302
1370.19/1370.68	c 1370s |      22 |  1777521 |  1551422 |    23244    175 |        5 |      302
1372.28/1372.75	c 1372s |      22 |  1779985 |  1553622 |    23244    175 |        5 |      302
1377.38/1377.80	c 1377s |      22 |  1781291 |  1554822 |    23244    175 |        5 |      302
1379.38/1379.88	c 1379s |      22 |  1783591 |  1556822 |    23244    175 |        5 |      302
1381.48/1381.94	c 1381s |      22 |  1785970 |  1558822 |    23244    176 |        5 |      302
1383.48/1383.96	c 1383s |      22 |  1789060 |  1561522 |    23244    176 |        5 |      302
1385.58/1386.01	c 1385s |      22 |  1791829 |  1564022 |    23244    176 |        5 |      302
1387.57/1388.08	c 1387s |      22 |  1794211 |  1566122 |    23244    176 |        5 |      302
1389.67/1390.17	c 1390s |      22 |  1796617 |  1568122 |    23244    176 |        5 |      302
1391.67/1392.19	c 1392s |      22 |  1798760 |  1569922 |    23244    177 |        5 |      302
1393.77/1394.20	c 1394s |      22 |  1801458 |  1572322 |    23244    177 |        5 |      302
1395.77/1396.25	c 1396s |      22 |  1803881 |  1574422 |    23244    177 |        5 |      302
1397.78/1398.28	c 1398s |      22 |  1806151 |  1576422 |    23244    177 |        5 |      302
1399.88/1400.31	c 1400s |      22 |  1808382 |  1578422 |    23244    177 |        5 |      302
1401.87/1402.40	c 1402s |      22 |  1810459 |  1580322 |    23244    177 |        5 |      302
1403.97/1404.46	c 1404s |      22 |  1812792 |  1582422 |    23244    178 |        5 |      302
1405.97/1406.47	c 1406s |      22 |  1815201 |  1584622 |    23244    178 |        5 |      302
1408.08/1408.51	c 1408s |      22 |  1817465 |  1586522 |    23244    178 |        5 |      302
1410.08/1410.52	c 1410s |      22 |  1819683 |  1588522 |    23244    178 |        5 |      302
1412.08/1412.55	c 1412s |      22 |  1821880 |  1590422 |    23244    178 |        5 |      302
1414.18/1414.61	c 1414s |      22 |  1823734 |  1592122 |    23244    178 |        5 |      302
1416.17/1416.62	c 1416s |      22 |  1825958 |  1594122 |    23244    179 |        5 |      302
1420.37/1420.87	c 1420s |      22 |  1827181 |  1595222 |    23244    179 |        5 |      302
1422.47/1422.93	c 1422s |      22 |  1829865 |  1597522 |    23244    179 |        5 |      302
1424.57/1425.03	c 1424s |      22 |  1832418 |  1599722 |    23244    179 |        5 |      302
1426.67/1427.11	c 1426s |      22 |  1834802 |  1601822 |    23244    179 |        5 |      302
1428.67/1429.12	c 1428s |      22 |  1836806 |  1603622 |    23244    179 |        5 |      302
1430.68/1431.18	c 1431s |      22 |  1838923 |  1605522 |    23244    180 |        5 |      302
1432.77/1433.24	c 1433s |      22 |  1841672 |  1607922 |    23244    180 |        5 |      302
1434.77/1435.29	c 1435s |      22 |  1844379 |  1610322 |    23244    180 |        5 |      302
1436.87/1437.37	c 1437s |      22 |  1846802 |  1612522 |    23244    180 |        5 |      302
1438.97/1439.40	c 1439s |      22 |  1848943 |  1614422 |    23244    180 |        5 |      302
1440.97/1441.41	c 1441s |      22 |  1850788 |  1616122 |    23244    181 |        5 |      302
1442.97/1443.42	c 1443s |      22 |  1853594 |  1618622 |    23244    181 |        5 |      302
1446.26/1446.70	c 1446s |      22 |  1854800 |  1619722 |    23244    181 |        5 |      302
1448.27/1448.78	c 1448s |      22 |  1857499 |  1622122 |    23244    181 |        5 |      302
1450.26/1450.79	c 1450s |      22 |  1859827 |  1624222 |    23244    181 |        5 |      302
1452.36/1452.85	c 1452s |      22 |  1861866 |  1626122 |    23244    181 |        5 |      302
1454.56/1455.00	c 1454s |      22 |  1863534 |  1627622 |    23244    182 |        5 |      302
1456.56/1457.02	c 1456s |      22 |  1865928 |  1629722 |    23244    182 |        5 |      302
1458.56/1459.06	c 1458s |      22 |  1868246 |  1631822 |    23244    182 |        5 |      302
1460.66/1461.15	c 1460s |      22 |  1870296 |  1633722 |    23244    182 |        5 |      302
1462.76/1463.21	c 1463s |      22 |  1872148 |  1635422 |    23244    182 |        5 |      302
1464.77/1465.26	c 1465s |      22 |  1873866 |  1637022 |    23244    182 |        5 |      302
1466.97/1467.41	c 1467s |      22 |  1875584 |  1638622 |    23244    182 |        5 |      302
1468.96/1469.45	c 1469s |      22 |  1877097 |  1640022 |    23244    183 |        5 |      302
1471.16/1471.64	c 1471s |      22 |  1878503 |  1641322 |    23244    183 |        5 |      302
1473.16/1473.66	c 1473s |      22 |  1881098 |  1643622 |    23244    183 |        5 |      302
1475.27/1475.74	c 1475s |      22 |  1883584 |  1645822 |    23244    183 |        5 |      302
1477.37/1477.81	c 1477s |      22 |  1885803 |  1647822 |    23244    183 |        5 |      302
1479.37/1479.86	c 1479s |      22 |  1887784 |  1649622 |    23244    183 |        5 |      302
1481.66/1482.16	c 1481s |      22 |  1889433 |  1651122 |    23244    184 |        5 |      302
1483.76/1484.20	c 1484s |      22 |  1891908 |  1653322 |    23244    184 |        5 |      302
1490.26/1490.78	c 1490s |      22 |  1894528 |  1655622 |    23244    184 |        5 |      302
1492.37/1492.82	c 1492s |      22 |  1897040 |  1657722 |    23244    184 |        5 |      302
1494.36/1494.83	c 1494s |      22 |  1899457 |  1659822 |    23244    184 |        5 |      302
1496.36/1496.87	c 1496s |      22 |  1901883 |  1661922 |    23244    184 |        5 |      302
1498.36/1498.88	c 1498s |      22 |  1904102 |  1663822 |    23244    185 |        5 |      302
1500.36/1500.89	c 1500s |      22 |  1905822 |  1665322 |    23244    185 |        5 |      302
1502.46/1502.96	c 1502s |      22 |  1908434 |  1667622 |    23244    185 |        5 |      302
1504.56/1505.01	c 1504s |      22 |  1910818 |  1669722 |    23244    185 |        5 |      302
1506.57/1507.05	c 1506s |      22 |  1912794 |  1671522 |    23244    185 |        5 |      302
1508.66/1509.16	c 1508s |      22 |  1914975 |  1673422 |    23244    185 |        5 |      302
1510.66/1511.17	c 1510s |      22 |  1916759 |  1675022 |    23244    186 |        5 |      302
1512.76/1513.25	c 1513s |      22 |  1919595 |  1677522 |    23244    186 |        5 |      302
1514.86/1515.30	c 1515s |      22 |  1921924 |  1679622 |    23244    186 |        5 |      302
1516.86/1517.39	c 1517s |      22 |  1924119 |  1681622 |    23244    186 |        5 |      302
1519.06/1519.55	c 1519s |      22 |  1925461 |  1682822 |    23244    186 |        5 |      302
1521.06/1521.58	c 1521s |      22 |  1927629 |  1684622 |    23244    186 |        5 |      302
1523.26/1523.79	c 1523s |      22 |  1929589 |  1686322 |    23244    187 |        5 |      302
1525.36/1525.81	c 1525s |      22 |  1932046 |  1688522 |    23244    187 |        5 |      302
1527.35/1527.88	c 1527s |      22 |  1934899 |  1690922 |    23244    187 |        5 |      302
1529.45/1529.94	c 1529s |      22 |  1937600 |  1693322 |    23244    187 |        5 |      302
1531.45/1531.97	c 1531s |      22 |  1939345 |  1694822 |    23244    187 |        5 |      302
1533.55/1534.08	c 1533s |      22 |  1941380 |  1696522 |    23244    187 |        5 |      302
1535.85/1536.33	c 1536s |      22 |  1943174 |  1698122 |    23244    188 |        5 |      302
1537.85/1538.40	c 1538s |      22 |  1945808 |  1700522 |    23244    188 |        5 |      302
1539.95/1540.46	c 1540s |      22 |  1948296 |  1702722 |    23244    188 |        5 |      302
1542.05/1542.55	c 1542s |      22 |  1950709 |  1704822 |    23244    188 |        5 |      302
1544.05/1544.59	c 1544s |      22 |  1952727 |  1706622 |    23244    188 |        5 |      302
1546.15/1546.62	c 1546s |      22 |  1954526 |  1708222 |    23244    188 |        5 |      302
1548.35/1548.84	c 1548s |      22 |  1956430 |  1709922 |    23244    189 |        5 |      302
1550.45/1550.92	c 1550s |      22 |  1958911 |  1712222 |    23244    189 |        5 |      302
1552.55/1553.00	c 1552s |      22 |  1960608 |  1713722 |    23244    189 |        5 |      302
1554.54/1555.05	c 1554s |      22 |  1962631 |  1715522 |    23244    189 |        5 |      302
1556.55/1557.09	c 1556s |      22 |  1964743 |  1717422 |    23244    189 |        5 |      302
1558.65/1559.10	c 1558s |      22 |  1966757 |  1719222 |    23244    189 |        5 |      302
1560.75/1561.21	c 1561s |      22 |  1969019 |  1721222 |    23244    189 |        5 |      302
1562.76/1563.28	c 1563s |      22 |  1970877 |  1722922 |    23244    190 |        5 |      302
1564.75/1565.29	c 1565s |      22 |  1973230 |  1725022 |    23244    190 |        5 |      302
1566.85/1567.38	c 1567s |      22 |  1975494 |  1727122 |    23244    190 |        5 |      302
1569.05/1569.56	c 1569s |      22 |  1977538 |  1728922 |    23244    190 |        5 |      302
1571.15/1571.66	c 1571s |      22 |  1979601 |  1730722 |    23244    190 |        5 |      302
1573.25/1573.70	c 1573s |      22 |  1981338 |  1732322 |    23244    190 |        5 |      302
1575.25/1575.79	c 1575s |      22 |  1982982 |  1733822 |    23244    191 |        5 |      302
1577.35/1577.82	c 1577s |      22 |  1985241 |  1735822 |    23244    191 |        5 |      302
1579.35/1579.88	c 1579s |      22 |  1987767 |  1738122 |    23244    191 |        5 |      302
1581.35/1581.88	c 1581s |      22 |  1989833 |  1740022 |    23244    191 |        5 |      302
1583.45/1583.97	c 1583s |      22 |  1991882 |  1741922 |    23244    191 |        5 |      302
1585.55/1586.01	c 1585s |      22 |  1993716 |  1743622 |    23244    191 |        5 |      302
1588.45/1588.90	c 1588s |      22 |  1994694 |  1744522 |    23244    191 |        5 |      302
1590.84/1591.30	c 1591s |      22 |  1995424 |  1745122 |    23244    192 |        5 |      302
1592.84/1593.35	c 1593s |      22 |  1998504 |  1747622 |    23244    192 |        5 |      302
1594.84/1595.37	c 1595s |      22 |  2001586 |  1750222 |    23244    192 |        5 |      302
1596.94/1597.40	c 1597s |      22 |  2004255 |  1752522 |    23244    192 |        5 |      302
1598.95/1599.49	c 1599s |      22 |  2006779 |  1754722 |    23244    192 |        5 |      302
1601.25/1601.71	c 1601s |      22 |  2009266 |  1756822 |    23244    193 |        5 |      302
1603.24/1603.77	c 1603s |      22 |  2012061 |  1759222 |    23244    193 |        5 |      302
1605.34/1605.81	c 1605s |      22 |  2014844 |  1761722 |    23244    193 |        5 |      302
1607.44/1607.90	c 1607s |      22 |  2017373 |  1764022 |    23244    193 |        5 |      302
1609.44/1609.96	c 1609s |      22 |  2019806 |  1766122 |    23244    193 |        5 |      302
1611.54/1612.05	c 1611s |      22 |  2022138 |  1768122 |    23244    193 |        5 |      302
1614.64/1615.14	c 1614s |      22 |  2023090 |  1768922 |    23244    194 |        5 |      302
1616.65/1617.17	c 1617s |      22 |  2026018 |  1771322 |    23244    194 |        5 |      302
1618.64/1619.20	c 1619s |      22 |  2029062 |  1773922 |    23244    194 |        5 |      302
1620.74/1621.25	c 1621s |      22 |  2032146 |  1776522 |    23244    194 |        5 |      302
1622.74/1623.27	c 1623s |      22 |  2034814 |  1778822 |    23244    194 |        5 |      302
1624.84/1625.31	c 1625s |      22 |  2037503 |  1781122 |    23244    195 |        5 |      302
1626.84/1627.35	c 1627s |      22 |  2040011 |  1783322 |    23244    195 |        5 |      302
1628.94/1629.44	c 1629s |      22 |  2042936 |  1785822 |    23244    195 |        5 |      302
1631.04/1631.50	c 1631s |      22 |  2045405 |  1788022 |    23244    195 |        5 |      302
1633.04/1633.53	c 1633s |      22 |  2047776 |  1790122 |    23244    195 |        5 |      302
1635.24/1635.79	c 1635s |      22 |  2050036 |  1792122 |    23244    196 |        5 |      302
1637.33/1637.81	c 1637s |      22 |  2052512 |  1794322 |    23244    196 |        5 |      302
1639.33/1639.83	c 1639s |      22 |  2054781 |  1796322 |    23244    196 |        5 |      302
1641.33/1641.87	c 1641s |      22 |  2057247 |  1798422 |    23244    196 |        5 |      302
1643.43/1643.93	c 1643s |      22 |  2059645 |  1800522 |    23244    196 |        5 |      302
1645.43/1645.98	c 1645s |      22 |  2061834 |  1802422 |    23244    196 |        5 |      302
1647.63/1648.10	c 1647s |      22 |  2063729 |  1804122 |    23244    197 |        5 |      302
1651.24/1651.72	c 1651s |      22 |  2064651 |  1804922 |    23244    197 |        5 |      302
1653.33/1653.81	c 1653s |      22 |  2067894 |  1807622 |    23244    197 |        5 |      302
1655.33/1655.87	c 1655s |      22 |  2070853 |  1810122 |    23244    197 |        5 |      302
1657.43/1657.91	c 1657s |      22 |  2073448 |  1812322 |    23244    197 |        5 |      302
1659.44/1659.94	c 1659s |      22 |  2076084 |  1814622 |    23244    197 |        5 |      302
1661.53/1662.01	c 1661s |      22 |  2078499 |  1816722 |    23244    198 |        5 |      302
1663.53/1664.03	c 1663s |      22 |  2081120 |  1819022 |    23244    198 |        5 |      302
1665.63/1666.11	c 1665s |      22 |  2084132 |  1821722 |    23244    198 |        5 |      302
1667.63/1668.17	c 1668s |      22 |  2086669 |  1824022 |    23244    198 |        5 |      302
1669.73/1670.22	c 1670s |      22 |  2089023 |  1826122 |    23244    198 |        5 |      302
1671.73/1672.29	c 1672s |      22 |  2091084 |  1827922 |    23244    199 |        5 |      302
1673.84/1674.36	c 1674s |      22 |  2093745 |  1830222 |    23244    199 |        5 |      302
1675.83/1676.38	c 1676s |      22 |  2095924 |  1832222 |    23244    199 |        5 |      302
1677.93/1678.41	c 1678s |      22 |  2098680 |  1834522 |    23244    199 |        5 |      302
1679.93/1680.45	c 1680s |      22 |  2101202 |  1836722 |    23244    199 |        5 |      302
1681.93/1682.47	c 1682s |      22 |  2103268 |  1838622 |    23244    199 |        5 |      302
1684.03/1684.51	c 1684s |      22 |  2105426 |  1840522 |    23244    200 |        5 |      302
1687.43/1687.94	c 1687s |      22 |  2105878 |  1840922 |    23244    200 |        5 |      302
1689.43/1689.96	c 1689s |      22 |  2107991 |  1842822 |    23244    200 |        5 |      302
1691.44/1691.98	c 1691s |      22 |  2110523 |  1845122 |    23244    200 |        5 |      302
1693.54/1694.06	c 1693s |      22 |  2112805 |  1847222 |    23244    200 |        5 |      302
1695.53/1696.09	c 1695s |      22 |  2114975 |  1849122 |    23244    200 |        5 |      302
1697.73/1698.22	c 1698s |      22 |  2116879 |  1850822 |    23244    201 |        5 |      302
1699.83/1700.30	c 1700s |      22 |  2119981 |  1853522 |    23244    201 |        5 |      302
1701.83/1702.32	c 1702s |      22 |  2122530 |  1855622 |    23244    201 |        5 |      302
1703.93/1704.41	c 1704s |      22 |  2125197 |  1857922 |    23244    201 |        5 |      302
1706.03/1706.51	c 1706s |      22 |  2127502 |  1859922 |    23244    201 |        5 |      302
1708.03/1708.53	c 1708s |      22 |  2129616 |  1861722 |    23244    201 |        5 |      302
1710.04/1710.53	c 1710s |      22 |  2131372 |  1863322 |    23244    202 |        5 |      302
1712.03/1712.55	c 1712s |      22 |  2133856 |  1865522 |    23244    202 |        5 |      302
1714.32/1714.81	c 1714s |      22 |  2136355 |  1867722 |    23244    202 |        5 |      302
1716.32/1716.89	c 1716s |      22 |  2138703 |  1869822 |    23244    202 |        5 |      302
1718.42/1718.91	c 1718s |      22 |  2140825 |  1871722 |    23244    202 |        5 |      302
1720.42/1720.97	c 1720s |      22 |  2142830 |  1873522 |    23244    202 |        5 |      302
1722.52/1723.01	c 1722s |      22 |  2144805 |  1875322 |    23244    203 |        5 |      302
1724.52/1725.05	c 1724s |      22 |  2147342 |  1877622 |    23244    203 |        5 |      302
1726.53/1727.10	c 1726s |      22 |  2149681 |  1879722 |    23244    203 |        5 |      302
1728.62/1729.10	c 1728s |      22 |  2151708 |  1881522 |    23244    203 |        5 |      302
1730.62/1731.12	c 1730s |      22 |  2153692 |  1883222 |    23244    203 |        5 |      302
1732.62/1733.15	c 1732s |      22 |  2155589 |  1884922 |    23244    203 |        5 |      302
1734.72/1735.22	c 1735s |      22 |  2157562 |  1886722 |    23244    204 |        5 |      302
1736.82/1737.30	c 1737s |      22 |  2159985 |  1888922 |    23244    204 |        5 |      302
1738.82/1739.39	c 1739s |      22 |  2162619 |  1891322 |    23244    204 |        5 |      302
1740.82/1741.40	c 1741s |      22 |  2164909 |  1893422 |    23244    204 |        5 |      302
1742.92/1743.43	c 1743s |      22 |  2167060 |  1895422 |    23244    204 |        5 |      302
1745.02/1745.53	c 1745s |      22 |  2168870 |  1897122 |    23244    204 |        5 |      302
1747.12/1747.60	c 1747s |      22 |  2170911 |  1898922 |    23244    205 |        5 |      302
1754.02/1754.56	c 1754s |      22 |  2171032 |  1899022 |    23244    205 |        5 |      302
1756.01/1756.57	c 1756s |      22 |  2174047 |  1901622 |    23244    205 |        5 |      302
1758.11/1758.66	c 1758s |      22 |  2176921 |  1904122 |    23244    205 |        5 |      302
1760.11/1760.69	c 1760s |      22 |  2179705 |  1906522 |    23244    205 |        5 |      302
1762.21/1762.77	c 1762s |      22 |  2182237 |  1908722 |    23244    205 |        5 |      302
1764.31/1764.83	c 1764s |      22 |  2184572 |  1910722 |    23244    206 |        5 |      302
1766.31/1766.86	c 1766s |      22 |  2187293 |  1913122 |    23244    206 |        5 |      302
1768.42/1768.92	c 1768s |      22 |  2189990 |  1915522 |    23244    206 |        5 |      302
1770.53/1771.01	c 1770s |      22 |  2192350 |  1917622 |    23244    206 |        5 |      302
1772.62/1773.12	c 1772s |      22 |  2194441 |  1919522 |    23244    206 |        5 |      302
1775.12/1775.65	c 1775s |      22 |  2196472 |  1921322 |    23244    207 |        5 |      302
1777.13/1777.65	c 1777s |      22 |  2199096 |  1923722 |    23244    207 |        5 |      302
1779.22/1779.71	c 1779s |      22 |  2201762 |  1926122 |    23244    207 |        5 |      302
1781.42/1781.93	c 1781s |      22 |  2204062 |  1928222 |    23244    207 |        5 |      302
1783.42/1783.97	c 1783s |      22 |  2206081 |  1930022 |    23244    207 |        5 |      302
1785.52/1786.03	c 1785s |      22 |  2208265 |  1931922 |    23244    207 |        5 |      302
1787.52/1788.09	c 1787s |      22 |  2210016 |  1933522 |    23244    208 |        5 |      302
1790.12/1790.64	c 1790s |      22 |  2212353 |  1935622 |    23244    208 |        5 |      302
1792.11/1792.67	c 1792s |      22 |  2214540 |  1937622 |    23244    208 |        5 |      302
1794.21/1794.71	c 1794s |      22 |  2216845 |  1939622 |    23244    208 |        5 |      302
1796.21/1796.79	c 1796s |      22 |  2218620 |  1941222 |    23244    208 |        5 |      302
1798.31/1798.89	c 1798s |      22 |  2220633 |  1943022 |    23244    208 |        5 |      302

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

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2488
/proc/meminfo: memFree=30710696/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 2674 0 0 0 0 0 0 0 20 0 4 0 13890794 733409280 2524 33554432000 4194304 16246674 140735373047792 140735373047216 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 179823 2534 441 2943 0 176717 0
[pid=2488/tid=2489] ppid=2485 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 779546624 2700 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 783740928 2716 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13890795 788983808 2736 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2488
/proc/meminfo: memFree=30710696/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 24981 0 0 0 5 4 0 0 20 0 4 0 13890794 1249447936 24769 33554432000 4194304 16246674 140735373047792 140735373047104 6165910 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 305041 24777 835 2943 0 301935 0
[pid=2488/tid=2489] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 24783 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 24788 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 24793 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200538 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2488
/proc/meminfo: memFree=30710696/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 43946 0 0 0 11 8 0 0 20 0 4 0 13890794 1249447936 43735 33554432000 4194304 16246674 140735373047792 140735373047104 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 305041 43743 877 2943 0 301935 0
[pid=2488/tid=2489] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 43750 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 43757 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 43762 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300492 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2488
/proc/meminfo: memFree=30710696/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 65133 0 0 0 18 11 0 0 20 0 4 0 13890794 1249447936 64922 33554432000 4194304 16246674 140735373047792 140735373047104 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 305041 64934 877 2943 0 301935 0
[pid=2488/tid=2489] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 64942 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 64945 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 64952 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700411 s]
/proc/loadavg: 1.93 2.03 2.00 3/179 2488
/proc/meminfo: memFree=30710696/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 150950 0 0 0 47 22 0 0 20 0 4 0 13890794 1249447936 150738 33554432000 4194304 16246674 140735373047792 140735373047104 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 305041 150750 877 2943 0 301935 0
[pid=2488/tid=2489] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 150758 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 150764 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13890795 1249447936 150768 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50043 s]
/proc/loadavg: 1.93 2.03 2.00 3/183 2492
/proc/meminfo: memFree=29779432/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 266149 0 0 0 113 36 0 0 20 0 4 0 13890794 1331236864 265937 33554432000 4194304 16246674 140735373047792 140735373047104 5673777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 325009 265937 880 2943 0 321903 0
[pid=2488/tid=2489] ppid=2485 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1331236864 265937 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1331236864 265937 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1331236864 265937 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.1004 s]
/proc/loadavg: 1.93 2.03 2.00 3/183 2492
/proc/meminfo: memFree=29640816/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 267862 0 0 0 272 37 0 0 20 0 4 0 13890794 1338576896 267650 33554432000 4194304 16246674 140735373047792 140735373029696 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 326801 267650 880 2943 0 323695 0
[pid=2488/tid=2489] ppid=2485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1338576896 267650 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1338576896 267650 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1338576896 267650 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 1.94 2.03 2.00 3/183 2492
/proc/meminfo: memFree=29640568/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 267987 0 0 0 592 37 0 0 20 0 4 0 13890794 1338576896 267775 33554432000 4194304 16246674 140735373047792 140735373029696 5827728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 326801 267775 885 2943 0 323695 0
[pid=2488/tid=2489] ppid=2485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1338576896 267775 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1338576896 267775 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1338576896 267775 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.94 2.03 2.00 3/183 2492
/proc/meminfo: memFree=29639568/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 268244 0 0 0 1232 37 0 0 20 0 4 0 13890794 1339625472 268032 33554432000 4194304 16246674 140735373047792 140735373029696 5676117 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 327057 268032 886 2943 0 323951 0
[pid=2488/tid=2489] ppid=2485 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1339625472 268032 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1339625472 268032 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1339625472 268032 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.95 2.03 2.00 3/182 2492
/proc/meminfo: memFree=29631188/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 270548 0 0 0 2512 37 0 0 20 0 4 0 13890794 1349062656 270336 33554432000 4194304 16246674 140735373047792 140735373029696 5666631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 329361 270336 886 2943 0 326255 0
[pid=2488/tid=2489] ppid=2485 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1349062656 270336 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1349062656 270336 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1349062656 270336 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 1.97 2.03 2.00 3/183 2493
/proc/meminfo: memFree=29610268/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1337924 CPUtime=51.08 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 275672 0 0 0 5070 38 0 0 20 0 4 0 13890794 1370034176 275457 33554432000 4194304 16246674 140735373047792 140735373029696 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 334481 275457 887 2943 0 331375 0
[pid=2488/tid=2489] ppid=2485 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1370034176 275457 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1370034176 275457 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1370034176 275457 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 1.98 2.02 2.00 3/183 2494
/proc/meminfo: memFree=29591264/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1356356 CPUtime=102.26 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 280313 0 0 0 10186 40 0 0 20 0 4 0 13890794 1388908544 280065 33554432000 4194304 16246674 140735373047792 140735373029696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 339089 280065 887 2943 0 335983 0
[pid=2488/tid=2489] ppid=2485 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1388908544 280065 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1388908544 280065 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1388908544 280065 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1356356


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

/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 2626
/proc/meminfo: memFree=29554996/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1382980 CPUtime=1361.88 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 287281 0 0 0 136130 58 0 0 20 0 4 0 13890794 1416171520 286723 33554432000 4194304 16246674 140735373047792 140735373029696 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 345745 286723 889 2943 0 342639 0
[pid=2488/tid=2489] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1382980

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2627
/proc/meminfo: memFree=29555216/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1382980 CPUtime=1421.88 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 287281 0 0 0 142129 59 0 0 20 0 4 0 13890794 1416171520 286723 33554432000 4194304 16246674 140735373047792 140735373029696 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 345745 286723 889 2943 0 342639 0
[pid=2488/tid=2489] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2628
/proc/meminfo: memFree=29554964/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1382980 CPUtime=1481.86 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 287281 0 0 0 148126 60 0 0 20 0 4 0 13890794 1416171520 286723 33554432000 4194304 16246674 140735373047792 140735373029696 5673747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 345745 286723 889 2943 0 342639 0
[pid=2488/tid=2489] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286723 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1382980

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2629
/proc/meminfo: memFree=29554316/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1382980 CPUtime=1541.85 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 287282 0 0 0 154124 61 0 0 20 0 4 0 13890794 1416171520 286979 33554432000 4194304 16246674 140735373047792 140735373029696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 345745 286979 889 2943 0 342639 0
[pid=2488/tid=2489] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1382980

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2631
/proc/meminfo: memFree=29553816/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1382980 CPUtime=1601.84 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 287282 0 0 0 160122 62 0 0 20 0 4 0 13890794 1416171520 286979 33554432000 4194304 16246674 140735373047792 140735373029696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 345745 286979 889 2943 0 342639 0
[pid=2488/tid=2489] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1382980

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2632
/proc/meminfo: memFree=29553816/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1382980 CPUtime=1661.83 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 287282 0 0 0 166119 64 0 0 20 0 4 0 13890794 1416171520 286979 33554432000 4194304 16246674 140735373047792 140735373029696 5829931 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 345745 286979 889 2943 0 342639 0
[pid=2488/tid=2489] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1382980 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1416171520 286979 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1382980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2633
/proc/meminfo: memFree=29549604/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1387076 CPUtime=1721.82 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 288306 0 0 0 172117 65 0 0 20 0 4 0 13890794 1420365824 288003 33554432000 4194304 16246674 140735373047792 140735373029696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 346769 288003 889 2943 0 343663 0
[pid=2488/tid=2489] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1387076

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2634
/proc/meminfo: memFree=29549300/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1387076 CPUtime=1781.82 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 288306 0 0 0 178115 67 0 0 20 0 4 0 13890794 1420365824 288003 33554432000 4194304 16246674 140735373047792 140735373046888 13950688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 346769 288003 889 2943 0 343663 0
[pid=2488/tid=2489] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1387076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2634
/proc/meminfo: memFree=29549304/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1387076 CPUtime=1800.01 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 288306 0 0 0 179934 67 0 0 20 0 4 0 13890794 1420365824 288003 33554432000 4194304 16246674 140735373047792 140735373029696 5822938 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 346769 288003 889 2943 0 343663 0
[pid=2488/tid=2489] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1387076

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2634
/proc/meminfo: memFree=29549304/32872528 swapFree=7268/7268
[pid=2488] ppid=2485 vsize=1387076 CPUtime=1800.01 cores=1,3,5,7
/proc/2488/stat : 2488 (toysat) R 2485 2488 29295 0 -1 4202496 288306 0 0 0 179934 67 0 0 20 0 4 0 13890794 1420365824 288003 33554432000 4194304 16246674 140735373047792 140735373029696 5822938 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2488/statm: 346769 288003 889 2943 0 343663 0
[pid=2488/tid=2489] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2489/stat : 2489 (toysat) S 2485 2488 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750569651440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2488/tid=2490] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2490/stat : 2490 (toysat) S 2485 2488 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750559161584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2488/tid=2491] ppid=2485 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/2488/task/2491/stat : 2491 (toysat) S 2485 2488 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13890795 1420365824 288003 33554432000 4194304 16246674 140735373047792 139750548688048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1387076

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.35
CPU system time (s): 0.673897
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1387076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.673897
maximum resident set size= 1152012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288306
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= 362
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6083 second user time and 6.90395 second system time

The end

Begin job on node151 at 2016-06-17 01:07:40
IDJOB=4097723
IDBENCH=107798
IDSOLVER=2542
FILE ID=node151/4097723-1466118460
RUNJOBID= node151-1466112624-31872
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 5958784edcb2786bd4c54290db0b160d
RANDOM SEED=791258512

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30711604 kB
Buffers:           69504 kB
Cached:           165744 kB
SwapCached:        61592 kB
Active:          1268876 kB
Inactive:         176812 kB
Active(anon):    1151880 kB
Inactive(anon):    61036 kB
Active(file):     116996 kB
Inactive(file):   115776 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16496 kB
Writeback:             0 kB
AnonPages:       1159160 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             573216 kB
SReclaimable:      16164 kB
SUnreclaim:       557052 kB
KernelStack:        1488 kB
PageTables:         6512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1302876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1126400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-17 01:37:40