0.00/0.00	c 2016-06-17T00:26:00+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-4096806-1466115960.opb"]
0.00/0.01	c use --random-gen="4102859083 1651572861 1570464458 2040705093 790823925 2335374090 537036367 142495527 3309309406 3681293632 2772794056 103117498 1286875888 2405525409 1323545119 2352443058 1309717583 135041102 1018363223 3322678715 4228491095 1169611550 2624139773 3817933781 3195067934 1136688902 712983182 1141435335 3399027305 2147742718 1203624036 1983567669 2754277710 452136114 2145731085 620452970 962053663 3437510600 32395324 1484665156 1833616385 2076269684 272807732 1351200905 1596318603 1392640069 1633568312 150526225 1229258113 3866360211 3292227658 3559287486 1989335481 1153031562 2909048105 3531099007 3863856913 3960196951 1453588912 1357872846 1817824700 2516564257 614071977 2929618539 3553559079 2970432134 3387765663 3333930262 1903101114 4276893960 3875053826 3851320520 2834699469 506442802 1470249767 979750727 1891960939 2949821727 2640223772 1555360471 2545934782 2378943484 948112726 1220478545 502301336 768638851 3390864775 3928616577 51435173 3508742196 484578417 810140335 931611070 2854063177 2249459612 455444213 2237271566 2845524039 1392524252 3014469129 1514131309 630717972 3882019580 1596786228 2282355867 1839575517 1918067682 1711711335 3987570648 1953178930 4019053265 1679949685 2087844075 4004884301 2294537653 2360112361 3591199636 3476090134 2982444849 4070728264 813359620 1452862054 4003962765 3545979554 3073463768 862981677 4060446977 247748038 1408159127 755592370 3270380692 186834530 75423708 2021796811 1275753420 3294857902 2984507604 3542010384 3471371458 2022527441 3066847531 1132708874 903409560 2812782645 2414908491 1122903057 2473004519 398052601 3244722634 3747307611 4268061085 1555826012 718779207 3102935308 2085509123 3471657935 3382893085 3818196112 2090833124 2307130228 2736784138 315305464 2202387499 221457902 3015443617 2433322446 1392173516 331112256 1594202739 3071276497 1027226271 1326241107 1006754942 2533573625 1252417132 4076514673 3026385470 459220621 1132207769 3111039902 317024023 2975954017 493365533 1731788261 3272351162 4034530074 1999635823 3141688306 1012509819 813768052 634950945 2519806786 1597716783 3016215535 1157328668 2268179590 2722618601 2690916207 1197259882 1948951822 801260601 215833093 2926644091 1520732621 3934338987 468132062 893406138 2554479633 4284355294 3621367856 2272579654 1312380111 81998986 1923067488 1781065466 2774272984 4159239415 3389064925 2312179097 1161522016 1942297382 4136525335 2674530239 2242787334 1908751896 3329084597 132808364 1656671458 2966477640 1384024169 546262589 2482191506 4290424632 744775096 5316497 3841640575 1973133534 3387089469 3559340467 586630447 150141320 1214758707 3114075330 3128412047 3147320408 143746412 1405093471 2488798093 202187391 383868982 2842575147 826499646 3137370210 380706812 1828562782 1058358157 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1406
0.00/0.06	c #constraints 6702
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2701      0 |        5 |        0
0.19/0.20	c  0.0s |       1 |      125 |      100 |     2701      0 |        5 |      294
0.19/0.27	c  0.1s |       2 |      317 |      250 |     2972      0 |        5 |      294
0.29/0.37	c  0.2s |       3 |      584 |      475 |     3270      0 |        5 |      294
0.49/0.53	c  0.4s |       4 |      991 |      813 |     3598      0 |        5 |      294
0.69/0.79	c  0.6s |       5 |     1560 |     1320 |     3958      0 |        5 |      294
1.09/1.17	c  1.0s |       6 |     2559 |     2081 |     4790      0 |        5 |      294
1.59/1.68	c  1.5s |       7 |     4169 |     3223 |     5269      0 |        5 |      294
2.49/2.55	c  2.4s |       8 |     6349 |     4936 |     5796      0 |        5 |      294
3.89/3.92	c  3.8s |       9 |     9464 |     7506 |     6376      1 |        5 |      294
5.89/5.92	c  5.8s |       9 |    13237 |    10806 |     6376      2 |        5 |      294
6.19/6.28	c  6.1s |      10 |    13848 |    11361 |     7014      2 |        5 |      294
8.29/8.32	c  8.2s |      10 |    18385 |    14861 |     7014      3 |        5 |      294
9.69/9.76	c  9.6s |      11 |    21593 |    17144 |     7716      3 |        5 |      294
11.69/11.77	c 11.6s |      11 |    25953 |    20444 |     7716      4 |        5 |      294
13.69/13.78	c 13.6s |      11 |    29867 |    23644 |     7716      5 |        5 |      294
15.29/15.35	c 15.2s |      12 |    32740 |    25819 |     8488      5 |        5 |      294
17.38/17.40	c 17.2s |      12 |    36670 |    29219 |     8488      6 |        5 |      294
19.38/19.42	c 19.3s |      12 |    40492 |    32519 |     8488      7 |        5 |      294
21.38/21.43	c 21.3s |      12 |    44361 |    35819 |     8488      8 |        5 |      294
23.09/23.17	c 23.0s |      13 |    47901 |    38832 |     9337      8 |        5 |      294
25.08/25.19	c 25.0s |      13 |    51302 |    41732 |     9337      9 |        5 |      294
27.18/27.26	c 27.1s |      13 |    54874 |    44832 |     9337      9 |        5 |      294
29.18/29.26	c 29.1s |      13 |    58230 |    47632 |     9337     10 |        5 |      294
31.28/31.32	c 31.2s |      13 |    61500 |    50232 |     9337     10 |        5 |      294
33.27/33.35	c 33.2s |      13 |    65016 |    53132 |     9337     11 |        5 |      294
35.28/35.36	c 35.2s |      13 |    68166 |    55732 |     9337     12 |        5 |      294
37.17/37.21	c 37.1s |      14 |    71370 |    58352 |    10271     12 |        5 |      294
39.17/39.28	c 39.1s |      14 |    74450 |    60952 |    10271     13 |        5 |      294
41.27/41.31	c 41.2s |      14 |    77663 |    63752 |    10271     13 |        5 |      294
43.27/43.34	c 43.2s |      14 |    80264 |    66052 |    10271     14 |        5 |      294
45.27/45.39	c 45.2s |      14 |    83396 |    68752 |    10271     14 |        5 |      294
47.28/47.39	c 47.2s |      14 |    86033 |    71052 |    10271     14 |        5 |      294
49.37/49.43	c 49.3s |      14 |    89304 |    73852 |    10271     15 |        5 |      294
51.37/51.46	c 51.3s |      14 |    92402 |    76652 |    10271     16 |        5 |      294
53.47/53.50	c 53.3s |      14 |    95645 |    79452 |    10271     16 |        5 |      294
55.47/55.55	c 55.4s |      14 |    98556 |    81952 |    10271     17 |        5 |      294
57.58/57.61	c 57.5s |      14 |   101552 |    84652 |    10271     17 |        5 |      294
59.58/59.69	c 59.5s |      14 |   104340 |    87052 |    11299     18 |        5 |      294
59.97/60.07	c 59.9s |      15 |   105058 |    87632 |    11299     18 |        5 |      294
62.07/62.12	c 62.0s |      15 |   108898 |    90532 |    11299     18 |        5 |      294
64.07/64.13	c 64.0s |      15 |   111642 |    93032 |    11299     18 |        5 |      294
66.17/66.22	c 66.1s |      15 |   114454 |    95632 |    11299     19 |        5 |      294
68.28/68.31	c 68.1s |      15 |   116981 |    97932 |    11299     19 |        5 |      294
70.27/70.37	c 70.2s |      15 |   119479 |   100232 |    11299     20 |        5 |      294
72.37/72.45	c 72.3s |      15 |   122204 |   102732 |    11299     20 |        5 |      294
74.37/74.47	c 74.3s |      15 |   124571 |   104932 |    11299     21 |        5 |      294
76.37/76.47	c 76.3s |      15 |   127410 |   107532 |    11299     21 |        5 |      294
78.47/78.51	c 78.4s |      15 |   129892 |   109732 |    11299     21 |        5 |      294
80.46/80.54	c 80.4s |      15 |   132406 |   111932 |    11299     22 |        5 |      294
82.57/82.62	c 82.5s |      15 |   134779 |   114132 |    11299     22 |        5 |      294
84.67/84.73	c 84.6s |      15 |   136792 |   116032 |    11299     22 |        5 |      294
86.76/86.80	c 86.6s |      15 |   139232 |   118132 |    11299     23 |        5 |      294
88.76/88.86	c 88.7s |      15 |   141543 |   120232 |    11299     23 |        5 |      294
90.86/90.92	c 90.8s |      15 |   143428 |   122032 |    11299     23 |        5 |      294
92.85/92.99	c 92.8s |      15 |   145731 |   124132 |    11299     24 |        5 |      294
94.95/95.02	c 94.9s |      15 |   147876 |   126132 |    11299     24 |        5 |      294
96.95/97.04	c 96.9s |      15 |   150164 |   128232 |    11299     25 |        5 |      294
99.06/99.11	c 99.0s |      15 |   152774 |   130632 |    11299     25 |        5 |      294
99.85/99.90	c 99.7s |      16 |   153801 |   131552 |    12429     25 |        5 |      294
101.95/102.00	c  101s |      16 |   157983 |   134852 |    12429     26 |        5 |      294
103.95/104.04	c  103s |      16 |   162433 |   138552 |    12429     26 |        5 |      294
105.95/106.06	c  105s |      16 |   165786 |   141452 |    12429     27 |        5 |      294
107.95/108.06	c  107s |      16 |   170096 |   145152 |    12429     27 |        5 |      294
109.96/110.06	c  109s |      16 |   173816 |   148252 |    12429     28 |        5 |      294
111.94/112.07	c  111s |      16 |   177677 |   151652 |    12429     28 |        5 |      294
113.94/114.07	c  113s |      16 |   181019 |   154652 |    12429     29 |        5 |      294
115.94/116.08	c  115s |      16 |   185280 |   158252 |    12429     29 |        5 |      294
118.04/118.11	c  117s |      16 |   188695 |   160952 |    12429     30 |        5 |      294
120.04/120.13	c  119s |      16 |   193124 |   164552 |    12429     30 |        5 |      294
122.05/122.16	c  121s |      16 |   197769 |   168452 |    12429     31 |        5 |      294
124.04/124.18	c  124s |      16 |   201799 |   171752 |    12429     31 |        5 |      294
126.14/126.22	c  126s |      16 |   206239 |   175452 |    12429     32 |        5 |      294
128.14/128.25	c  128s |      16 |   210427 |   178952 |    12429     32 |        5 |      294
130.14/130.29	c  130s |      16 |   214731 |   182752 |    12429     33 |        5 |      294
132.24/132.31	c  132s |      16 |   218738 |   186252 |    12429     34 |        5 |      294
134.24/134.35	c  134s |      16 |   221684 |   188752 |    12429     34 |        5 |      294
136.24/136.36	c  136s |      16 |   225807 |   192252 |    12429     35 |        5 |      294
138.24/138.39	c  138s |      16 |   229964 |   195852 |    12429     35 |        5 |      294
139.24/139.31	c  139s |      17 |   231896 |   197432 |    13672     35 |        5 |      294
141.24/141.37	c  141s |      17 |   235115 |   200132 |    13672     36 |        5 |      294
143.23/143.38	c  143s |      17 |   239125 |   203632 |    13672     36 |        5 |      294
145.24/145.39	c  145s |      17 |   242578 |   206632 |    13672     37 |        5 |      294
147.44/147.57	c  147s |      17 |   246436 |   210032 |    13672     37 |        5 |      294
149.54/149.61	c  149s |      17 |   249927 |   213032 |    13672     37 |        5 |      294
151.53/151.67	c  151s |      17 |   253398 |   216132 |    13672     38 |        5 |      294
153.63/153.73	c  153s |      17 |   256912 |   219232 |    13672     38 |        5 |      294
155.63/155.74	c  155s |      17 |   260188 |   222232 |    13672     39 |        5 |      294
157.63/157.74	c  157s |      17 |   263398 |   225132 |    13672     39 |        5 |      294
159.62/159.78	c  159s |      17 |   266865 |   228132 |    13672     40 |        5 |      294
161.73/161.82	c  161s |      17 |   269675 |   230432 |    13672     40 |        5 |      294
163.72/163.87	c  163s |      17 |   273557 |   233632 |    13672     40 |        5 |      294
165.82/165.91	c  165s |      17 |   277374 |   236832 |    13672     41 |        5 |      294
167.82/167.93	c  167s |      17 |   281142 |   240032 |    13672     41 |        5 |      294
169.82/169.94	c  169s |      17 |   285006 |   243332 |    13672     42 |        5 |      294
171.83/171.99	c  171s |      17 |   287934 |   245832 |    13672     42 |        5 |      294
173.93/174.02	c  173s |      17 |   291140 |   248632 |    13672     43 |        5 |      294
175.93/176.04	c  175s |      17 |   294946 |   251932 |    13672     43 |        5 |      294
177.93/178.07	c  177s |      17 |   298318 |   254932 |    13672     44 |        5 |      294
179.93/180.08	c  179s |      17 |   301879 |   258032 |    13672     44 |        5 |      294
182.02/182.11	c  181s |      17 |   305434 |   261132 |    13672     44 |        5 |      294
184.02/184.16	c  184s |      17 |   309461 |   264632 |    13672     45 |        5 |      294
186.02/186.18	c  186s |      17 |   313120 |   267732 |    13672     45 |        5 |      294
188.13/188.23	c  188s |      17 |   316786 |   270932 |    13672     46 |        5 |      294
190.12/190.25	c  190s |      17 |   320175 |   274032 |    13672     46 |        5 |      294
193.72/193.81	c  193s |      17 |   323015 |   276532 |    13672     47 |        5 |      294
195.73/195.82	c  195s |      17 |   326930 |   279732 |    13672     47 |        5 |      294
197.72/197.84	c  197s |      17 |   330798 |   283032 |    13672     48 |        5 |      294
199.72/199.85	c  199s |      17 |   334986 |   286632 |    13672     48 |        5 |      294
201.72/201.88	c  201s |      17 |   338644 |   289732 |    13672     49 |        5 |      294
203.82/203.93	c  203s |      17 |   342705 |   293132 |    13672     49 |        5 |      294
205.72/205.83	c  205s |      18 |   346346 |   296252 |    15040     49 |        5 |      294
207.71/207.84	c  207s |      18 |   349488 |   298952 |    15040     50 |        5 |      294
209.81/209.90	c  209s |      18 |   352570 |   301552 |    15040     50 |        5 |      294
211.81/211.92	c  211s |      18 |   356413 |   304752 |    15040     50 |        5 |      294
213.81/213.95	c  213s |      18 |   360795 |   308452 |    15040     51 |        5 |      294
215.81/215.96	c  215s |      18 |   364545 |   311652 |    15040     51 |        5 |      294
217.82/217.98	c  217s |      18 |   368559 |   315052 |    15040     52 |        5 |      294
219.92/220.01	c  219s |      18 |   372731 |   318652 |    15040     52 |        5 |      294
221.91/222.04	c  221s |      18 |   376789 |   322152 |    15040     53 |        5 |      294
223.91/224.06	c  223s |      18 |   380508 |   325452 |    15040     53 |        5 |      294
225.91/226.06	c  225s |      18 |   383884 |   328452 |    15040     54 |        5 |      294
228.31/228.45	c  228s |      18 |   384937 |   329352 |    15040     54 |        5 |      294
230.31/230.49	c  230s |      18 |   389068 |   332752 |    15040     54 |        5 |      294
232.41/232.53	c  232s |      18 |   392952 |   335952 |    15040     55 |        5 |      294
234.41/234.57	c  234s |      18 |   397536 |   339752 |    15040     55 |        5 |      294
236.41/236.57	c  236s |      18 |   401736 |   343252 |    15040     55 |        5 |      294
238.40/238.59	c  238s |      18 |   405775 |   346752 |    15040     56 |        5 |      294
240.50/240.65	c  240s |      18 |   409632 |   350152 |    15040     56 |        5 |      294
242.60/242.71	c  242s |      18 |   413610 |   353652 |    15040     57 |        5 |      294
244.61/244.71	c  244s |      18 |   414579 |   354452 |    15040     57 |        5 |      294
246.61/246.76	c  246s |      18 |   418775 |   357952 |    15040     57 |        5 |      294
248.62/248.76	c  248s |      18 |   422458 |   361052 |    15040     58 |        5 |      294
250.61/250.76	c  250s |      18 |   426467 |   364552 |    15040     58 |        5 |      294
252.60/252.78	c  252s |      18 |   430106 |   367752 |    15040     59 |        5 |      294
254.60/254.79	c  254s |      18 |   432940 |   370252 |    15040     59 |        5 |      294
256.70/256.84	c  256s |      18 |   436541 |   373452 |    15040     59 |        5 |      294
258.70/258.85	c  258s |      18 |   439926 |   376552 |    15040     60 |        5 |      294
260.71/260.86	c  260s |      18 |   443444 |   379652 |    15040     60 |        5 |      294
262.81/262.91	c  262s |      18 |   446698 |   382552 |    15040     61 |        5 |      294
264.80/264.94	c  264s |      18 |   449834 |   385252 |    15040     61 |        5 |      294
266.80/266.98	c  266s |      18 |   453239 |   388252 |    15040     61 |        5 |      294
269.00/269.11	c  268s |      18 |   456607 |   391252 |    15040     62 |        5 |      294
271.50/271.63	c  271s |      18 |   459814 |   394052 |    15040     62 |        5 |      294
273.50/273.67	c  273s |      18 |   462504 |   396352 |    15040     62 |        5 |      294
275.49/275.68	c  275s |      18 |   465604 |   399052 |    15040     63 |        5 |      294
277.59/277.74	c  277s |      18 |   469504 |   402352 |    15040     63 |        5 |      294
279.59/279.77	c  279s |      18 |   472486 |   404952 |    15040     64 |        5 |      294
281.60/281.79	c  281s |      18 |   476169 |   408252 |    15040     64 |        5 |      294
283.70/283.83	c  283s |      18 |   479124 |   410952 |    15040     64 |        5 |      294
285.69/285.86	c  285s |      18 |   482154 |   413552 |    15040     65 |        5 |      294
287.79/287.91	c  287s |      18 |   485420 |   416452 |    15040     65 |        5 |      294
289.79/289.96	c  289s |      18 |   488135 |   418852 |    15040     65 |        5 |      294
291.79/291.97	c  291s |      18 |   491289 |   421652 |    15040     66 |        5 |      294
293.79/293.98	c  293s |      18 |   494460 |   424452 |    15040     66 |        5 |      294
295.89/296.03	c  295s |      18 |   497458 |   427052 |    15040     66 |        5 |      294
297.88/298.05	c  297s |      18 |   500547 |   429752 |    15040     67 |        5 |      294
299.98/300.12	c  299s |      18 |   503686 |   432552 |    15040     67 |        5 |      294
301.98/302.15	c  301s |      18 |   506484 |   435052 |    15040     67 |        5 |      294
303.98/304.16	c  304s |      18 |   509571 |   437852 |    15040     68 |        5 |      294
306.08/306.26	c  306s |      18 |   512589 |   440552 |    15040     68 |        5 |      294
308.08/308.29	c  308s |      18 |   516151 |   443152 |    16544     68 |        5 |      294
309.38/309.58	c  309s |      19 |   517653 |   444482 |    16544     69 |        5 |      294
311.48/311.62	c  311s |      19 |   520532 |   446782 |    16544     69 |        5 |      294
313.49/313.64	c  313s |      19 |   524124 |   449782 |    16544     69 |        5 |      294
315.69/315.82	c  315s |      19 |   527432 |   452582 |    16544     70 |        5 |      294
317.68/317.85	c  317s |      19 |   531492 |   455982 |    16544     70 |        5 |      294
319.78/319.90	c  319s |      19 |   535068 |   458982 |    16544     70 |        5 |      294
321.78/321.98	c  321s |      19 |   538405 |   461882 |    16544     71 |        5 |      294
324.28/324.42	c  324s |      19 |   540885 |   464082 |    16544     71 |        5 |      294
326.28/326.46	c  326s |      19 |   544137 |   466782 |    16544     71 |        5 |      294
328.38/328.51	c  328s |      19 |   547396 |   469582 |    16544     72 |        5 |      294
330.38/330.58	c  330s |      19 |   550773 |   472582 |    16544     72 |        5 |      294
332.48/332.62	c  332s |      19 |   554067 |   475482 |    16544     72 |        5 |      294
334.48/334.63	c  334s |      19 |   556810 |   477882 |    16544     73 |        5 |      294
336.48/336.66	c  336s |      19 |   559328 |   479982 |    16544     73 |        5 |      294
338.48/338.68	c  338s |      19 |   563226 |   483282 |    16544     73 |        5 |      294
340.58/340.76	c  340s |      19 |   566528 |   486082 |    16544     74 |        5 |      294
342.57/342.78	c  342s |      19 |   570595 |   489682 |    16544     74 |        5 |      294
344.67/344.81	c  344s |      19 |   573963 |   492682 |    16544     74 |        5 |      294
346.67/346.87	c  346s |      19 |   576710 |   494982 |    16544     75 |        5 |      294
348.68/348.87	c  348s |      19 |   580491 |   498282 |    16544     75 |        5 |      294
350.67/350.88	c  350s |      19 |   584095 |   501482 |    16544     75 |        5 |      294
352.77/352.90	c  352s |      19 |   586970 |   503982 |    16544     76 |        5 |      294
354.77/354.94	c  354s |      19 |   590452 |   507082 |    16544     76 |        5 |      294
356.77/356.95	c  356s |      19 |   593539 |   509882 |    16544     76 |        5 |      294
358.87/359.01	c  358s |      19 |   596512 |   512582 |    16544     77 |        5 |      294
360.87/361.06	c  360s |      19 |   599824 |   515582 |    16544     77 |        5 |      294
362.87/363.08	c  362s |      19 |   602849 |   518282 |    16544     77 |        5 |      294
365.47/365.68	c  365s |      19 |   603104 |   518482 |    16544     77 |        5 |      294
367.57/367.74	c  367s |      19 |   605922 |   520882 |    16544     78 |        5 |      294
369.58/369.76	c  369s |      19 |   609170 |   523782 |    16544     78 |        5 |      294
371.57/371.79	c  371s |      19 |   612166 |   526382 |    16544     78 |        5 |      294
373.67/373.85	c  373s |      19 |   614855 |   528682 |    16544     79 |        5 |      294
375.67/375.89	c  375s |      19 |   618637 |   531482 |    16544     79 |        5 |      294
377.77/377.96	c  377s |      19 |   621205 |   533782 |    16544     79 |        5 |      294
379.77/379.99	c  379s |      19 |   623429 |   535782 |    16544     79 |        5 |      294
381.86/382.03	c  381s |      19 |   626300 |   538282 |    16544     80 |        5 |      294
383.87/384.07	c  383s |      19 |   629310 |   540982 |    16544     80 |        5 |      294
385.97/386.13	c  385s |      19 |   632154 |   543482 |    16544     80 |        5 |      294
387.96/388.14	c  387s |      19 |   635057 |   546082 |    16544     81 |        5 |      294
390.06/390.22	c  390s |      19 |   638127 |   548882 |    16544     81 |        5 |      294
392.06/392.22	c  392s |      19 |   640976 |   551482 |    16544     81 |        5 |      294
394.06/394.28	c  394s |      19 |   642996 |   553282 |    16544     82 |        5 |      294
396.16/396.34	c  396s |      19 |   646615 |   556482 |    16544     82 |        5 |      294
398.16/398.39	c  398s |      19 |   649510 |   559082 |    16544     82 |        5 |      294
400.26/400.41	c  400s |      19 |   652182 |   561482 |    16544     82 |        5 |      294
402.25/402.46	c  402s |      19 |   654861 |   563782 |    16544     83 |        5 |      294
404.25/404.48	c  404s |      19 |   658591 |   566882 |    16544     83 |        5 |      294
406.35/406.51	c  406s |      19 |   661545 |   569482 |    16544     83 |        5 |      294
408.35/408.54	c  408s |      19 |   664003 |   571682 |    16544     84 |        5 |      294
410.45/410.60	c  410s |      19 |   667200 |   574482 |    16544     84 |        5 |      294
412.46/412.66	c  412s |      19 |   670202 |   577082 |    16544     84 |        5 |      294
414.56/414.71	c  414s |      19 |   673563 |   580082 |    16544     85 |        5 |      294
416.55/416.75	c  416s |      19 |   677145 |   583082 |    16544     85 |        5 |      294
418.55/418.77	c  418s |      19 |   680674 |   585782 |    16544     85 |        5 |      294
420.55/420.78	c  420s |      19 |   683484 |   588082 |    16544     86 |        5 |      294
422.65/422.84	c  422s |      19 |   686708 |   590582 |    16544     86 |        5 |      294
424.64/424.87	c  424s |      19 |   689076 |   592582 |    16544     86 |        5 |      294
426.75/426.93	c  426s |      19 |   691466 |   594682 |    16544     86 |        5 |      294
428.74/428.94	c  428s |      19 |   694099 |   596982 |    16544     87 |        5 |      294
431.15/431.33	c  431s |      19 |   696722 |   599282 |    16544     87 |        5 |      294
433.14/433.35	c  433s |      19 |   699902 |   602182 |    16544     87 |        5 |      294
435.14/435.39	c  435s |      19 |   702746 |   604782 |    16544     88 |        5 |      294
437.24/437.44	c  437s |      19 |   706004 |   607682 |    16544     88 |        5 |      294
439.34/439.52	c  439s |      19 |   709027 |   610382 |    16544     88 |        5 |      294
441.34/441.57	c  441s |      19 |   711689 |   612682 |    16544     89 |        5 |      294
443.44/443.63	c  443s |      19 |   714946 |   615582 |    16544     89 |        5 |      294
445.44/445.69	c  445s |      19 |   718002 |   618282 |    16544     89 |        5 |      294
447.54/447.78	c  447s |      19 |   720405 |   620482 |    16544     90 |        5 |      294
449.54/449.79	c  449s |      19 |   723450 |   623282 |    16544     90 |        5 |      294
451.63/451.86	c  451s |      19 |   726215 |   625782 |    16544     90 |        5 |      294
453.73/453.94	c  453s |      19 |   729559 |   628482 |    16544     90 |        5 |      294
455.83/456.00	c  455s |      19 |   732373 |   630882 |    16544     91 |        5 |      294
457.83/458.08	c  457s |      19 |   735047 |   633382 |    16544     91 |        5 |      294
459.83/460.09	c  459s |      19 |   737294 |   635482 |    16544     91 |        5 |      294
461.93/462.11	c  461s |      19 |   739718 |   637382 |    16544     92 |        5 |      294
463.92/464.17	c  464s |      19 |   743946 |   640282 |    16544     92 |        5 |      294
466.02/466.22	c  466s |      19 |   747091 |   642482 |    16544     92 |        5 |      294
468.22/468.48	c  468s |      19 |   749105 |   644082 |    16544     92 |        5 |      294
470.32/470.54	c  470s |      19 |   752243 |   646682 |    16544     93 |        5 |      294
472.32/472.57	c  472s |      19 |   755816 |   649782 |    16544     93 |        5 |      294
474.42/474.65	c  474s |      19 |   758777 |   652382 |    16544     93 |        5 |      294
476.42/476.65	c  476s |      19 |   761738 |   654982 |    16544     94 |        5 |      294
478.52/478.72	c  478s |      19 |   765496 |   658282 |    16544     94 |        5 |      294
480.52/480.72	c  480s |      19 |   768445 |   660882 |    16544     94 |        5 |      294
482.51/482.79	c  482s |      19 |   771197 |   663382 |    18199     94 |        5 |      294
484.61/484.80	c  484s |      19 |   774156 |   666082 |    18199     95 |        5 |      294
485.92/486.12	c  485s |      20 |   775136 |   666827 |    18199     95 |        5 |      294
487.92/488.17	c  488s |      20 |   778986 |   670027 |    18199     95 |        5 |      294
489.92/490.19	c  490s |      20 |   782417 |   672927 |    18199     95 |        5 |      294
492.02/492.23	c  492s |      20 |   784830 |   674827 |    18199     96 |        5 |      294
494.02/494.28	c  494s |      20 |   789158 |   678427 |    18199     96 |        5 |      294
496.12/496.31	c  496s |      20 |   792681 |   681427 |    18199     96 |        5 |      294
498.13/498.33	c  498s |      20 |   796274 |   684527 |    18199     97 |        5 |      294
500.12/500.36	c  500s |      20 |   800321 |   688027 |    18199     97 |        5 |      294
502.12/502.36	c  502s |      20 |   803619 |   690927 |    18199     97 |        5 |      294
504.11/504.38	c  504s |      20 |   807403 |   694227 |    18199     98 |        5 |      294
506.21/506.41	c  506s |      20 |   809401 |   696027 |    18199     98 |        5 |      294
508.21/508.48	c  508s |      20 |   812887 |   699027 |    18199     98 |        5 |      294
510.32/510.51	c  510s |      20 |   815708 |   701427 |    18199     99 |        5 |      294
512.31/512.55	c  512s |      20 |   819445 |   704727 |    18199     99 |        5 |      294
514.31/514.59	c  514s |      20 |   822550 |   707527 |    18199     99 |        5 |      294
516.41/516.60	c  516s |      20 |   825265 |   709927 |    18199    100 |        5 |      294
518.41/518.62	c  518s |      20 |   828479 |   712827 |    18199    100 |        5 |      294
520.40/520.64	c  520s |      20 |   832155 |   715927 |    18199    100 |        5 |      294
522.50/522.70	c  522s |      20 |   835339 |   718727 |    18199    100 |        5 |      294
524.51/524.72	c  524s |      20 |   838448 |   721527 |    18199    101 |        5 |      294
526.60/526.86	c  526s |      20 |   839773 |   722727 |    18199    101 |        5 |      294
528.61/528.87	c  528s |      20 |   840413 |   723227 |    18199    101 |        5 |      294
530.61/530.88	c  530s |      20 |   844070 |   726327 |    18199    101 |        5 |      294
532.70/532.90	c  532s |      20 |   846554 |   728527 |    18199    102 |        5 |      294
534.70/534.92	c  534s |      20 |   850091 |   731527 |    18199    102 |        5 |      294
536.71/536.99	c  536s |      20 |   853498 |   734527 |    18199    102 |        5 |      294
538.81/539.03	c  538s |      20 |   856601 |   737327 |    18199    102 |        5 |      294
541.20/541.41	c  541s |      20 |   859340 |   739727 |    18199    103 |        5 |      294
543.21/543.47	c  543s |      20 |   862943 |   742827 |    18199    103 |        5 |      294
545.20/545.49	c  545s |      20 |   865990 |   745527 |    18199    103 |        5 |      294
547.30/547.52	c  547s |      20 |   869044 |   748127 |    18199    104 |        5 |      294
549.30/549.55	c  549s |      20 |   872691 |   751227 |    18199    104 |        5 |      294
551.40/551.61	c  551s |      20 |   876125 |   754127 |    18199    104 |        5 |      294
553.40/553.65	c  553s |      20 |   878949 |   756627 |    18199    105 |        5 |      294
555.50/555.73	c  555s |      20 |   882365 |   759727 |    18199    105 |        5 |      294
557.69/557.96	c  557s |      20 |   884907 |   762027 |    18199    105 |        5 |      294
559.80/560.00	c  559s |      20 |   887296 |   764127 |    18199    105 |        5 |      294
561.79/562.01	c  561s |      20 |   890007 |   766527 |    18199    106 |        5 |      294
563.79/564.05	c  563s |      20 |   893620 |   769727 |    18199    106 |        5 |      294
565.89/566.13	c  565s |      20 |   896502 |   772327 |    18199    106 |        5 |      294
567.88/568.15	c  567s |      20 |   899035 |   774627 |    18199    107 |        5 |      294
569.88/570.16	c  570s |      20 |   902043 |   777227 |    18199    107 |        5 |      294
571.98/572.23	c  572s |      20 |   905335 |   780127 |    18199    107 |        5 |      294
573.99/574.28	c  574s |      20 |   907949 |   782427 |    18199    107 |        5 |      294
575.98/576.29	c  576s |      20 |   910186 |   784427 |    18199    108 |        5 |      294
578.08/578.34	c  578s |      20 |   913480 |   787427 |    18199    108 |        5 |      294
580.18/580.41	c  580s |      20 |   916915 |   790227 |    18199    108 |        5 |      294
582.18/582.46	c  582s |      20 |   919556 |   792627 |    18199    108 |        5 |      294
584.18/584.47	c  584s |      20 |   922206 |   795027 |    18199    109 |        5 |      294
586.28/586.52	c  586s |      20 |   924980 |   797527 |    18199    109 |        5 |      294
588.29/588.56	c  588s |      20 |   927981 |   800227 |    18199    109 |        5 |      294
590.38/590.60	c  590s |      20 |   930489 |   802527 |    18199    110 |        5 |      294
592.38/592.61	c  592s |      20 |   933556 |   805227 |    18199    110 |        5 |      294
594.38/594.64	c  594s |      20 |   936951 |   808227 |    18199    110 |        5 |      294
596.68/596.96	c  596s |      20 |   939045 |   810027 |    18199    110 |        5 |      294
598.78/599.01	c  598s |      20 |   941448 |   812027 |    18199    111 |        5 |      294
600.78/601.04	c  600s |      20 |   945117 |   815127 |    18199    111 |        5 |      294
602.78/603.08	c  602s |      20 |   948350 |   817827 |    18199    111 |        5 |      294
604.88/605.10	c  604s |      20 |   951656 |   820527 |    18199    111 |        5 |      294
606.87/607.13	c  606s |      20 |   955369 |   823727 |    18199    112 |        5 |      294
608.87/609.16	c  609s |      20 |   958543 |   826427 |    18199    112 |        5 |      294
610.87/611.18	c  611s |      20 |   961996 |   829427 |    18199    112 |        5 |      294
612.87/613.18	c  613s |      20 |   965108 |   832027 |    18199    113 |        5 |      294
614.97/615.23	c  615s |      20 |   968648 |   835027 |    18199    113 |        5 |      294
616.98/617.28	c  617s |      20 |   971723 |   837627 |    18199    113 |        5 |      294
618.97/619.28	c  619s |      20 |   974578 |   840027 |    18199    114 |        5 |      294
621.07/621.31	c  621s |      20 |   978517 |   843427 |    18199    114 |        5 |      294
623.07/623.31	c  623s |      20 |   981920 |   846427 |    18199    114 |        5 |      294
625.07/625.34	c  625s |      20 |   984596 |   848827 |    18199    115 |        5 |      294
627.06/627.39	c  627s |      20 |   988397 |   852127 |    18199    115 |        5 |      294
629.16/629.42	c  629s |      20 |   990754 |   854127 |    18199    115 |        5 |      294
631.18/631.47	c  631s |      20 |   992593 |   855627 |    18199    115 |        5 |      294
633.37/633.63	c  633s |      20 |   995471 |   858027 |    18199    116 |        5 |      294
635.36/635.66	c  635s |      20 |   999583 |   861527 |    18199    116 |        5 |      294
637.46/637.71	c  637s |      20 |  1002983 |   864327 |    18199    116 |        5 |      294
639.46/639.75	c  639s |      20 |  1006186 |   867127 |    18199    117 |        5 |      294
641.46/641.78	c  641s |      20 |  1010052 |   870527 |    18199    117 |        5 |      294
643.56/643.81	c  643s |      20 |  1013216 |   873227 |    18199    117 |        5 |      294
645.57/645.88	c  645s |      20 |  1015942 |   875527 |    18199    117 |        5 |      294
647.56/647.90	c  647s |      20 |  1019019 |   878127 |    18199    118 |        5 |      294
649.66/649.95	c  649s |      20 |  1022299 |   881027 |    18199    118 |        5 |      294
651.66/651.95	c  651s |      20 |  1025547 |   883827 |    18199    118 |        5 |      294
653.66/653.99	c  653s |      20 |  1029184 |   887027 |    18199    119 |        5 |      294
655.75/656.01	c  655s |      20 |  1032577 |   889927 |    18199    119 |        5 |      294
657.75/658.05	c  657s |      20 |  1036013 |   892927 |    18199    119 |        5 |      294
659.76/660.05	c  659s |      20 |  1039105 |   895627 |    18199    120 |        5 |      294
661.75/662.06	c  661s |      20 |  1042621 |   898727 |    18199    120 |        5 |      294
663.75/664.09	c  663s |      20 |  1045751 |   901527 |    18199    120 |        5 |      294
667.56/667.82	c  667s |      20 |  1048601 |   904127 |    18199    121 |        5 |      294
669.55/669.82	c  669s |      20 |  1050417 |   905627 |    18199    121 |        5 |      294
671.55/671.88	c  671s |      20 |  1054261 |   908827 |    18199    121 |        5 |      294
673.64/673.92	c  673s |      20 |  1057662 |   911727 |    18199    121 |        5 |      294
675.64/675.99	c  675s |      20 |  1060859 |   914527 |    18199    122 |        5 |      294
677.74/678.05	c  677s |      20 |  1064802 |   917827 |    18199    122 |        5 |      294
679.84/680.10	c  679s |      20 |  1068296 |   920827 |    18199    122 |        5 |      294
681.85/682.15	c  681s |      20 |  1071128 |   923327 |    18199    123 |        5 |      294
683.84/684.19	c  684s |      20 |  1074792 |   926527 |    18199    123 |        5 |      294
685.94/686.25	c  686s |      20 |  1077982 |   929327 |    18199    123 |        5 |      294
688.04/688.30	c  688s |      20 |  1081166 |   932127 |    18199    124 |        5 |      294
690.34/690.63	c  690s |      20 |  1081973 |   932827 |    18199    124 |        5 |      294
692.34/692.66	c  692s |      20 |  1085925 |   936327 |    18199    124 |        5 |      294
694.44/694.71	c  694s |      20 |  1089343 |   939327 |    18199    124 |        5 |      294
696.44/696.73	c  696s |      20 |  1092553 |   942127 |    18199    125 |        5 |      294
698.53/698.80	c  698s |      20 |  1095986 |   945127 |    18199    125 |        5 |      294
700.54/700.86	c  700s |      20 |  1098866 |   947727 |    18199    125 |        5 |      294
702.64/702.91	c  702s |      20 |  1101792 |   950227 |    18199    126 |        5 |      294
704.64/704.99	c  704s |      20 |  1105093 |   953027 |    18199    126 |        5 |      294
706.74/707.06	c  706s |      20 |  1108360 |   955827 |    18199    126 |        5 |      294
708.84/709.11	c  708s |      20 |  1111418 |   958427 |    18199    126 |        5 |      294
710.84/711.12	c  710s |      20 |  1114595 |   961227 |    18199    127 |        5 |      294
712.84/713.16	c  712s |      20 |  1118336 |   964527 |    18199    127 |        5 |      294
714.94/715.22	c  715s |      20 |  1121488 |   967427 |    18199    127 |        5 |      294
716.94/717.24	c  717s |      20 |  1124061 |   969727 |    18199    128 |        5 |      294
718.94/719.29	c  719s |      20 |  1127445 |   972727 |    18199    128 |        5 |      294
721.04/721.35	c  721s |      20 |  1130559 |   975527 |    18199    128 |        5 |      294
723.14/723.40	c  723s |      20 |  1133639 |   978327 |    18199    129 |        5 |      294
725.13/725.40	c  725s |      20 |  1137148 |   981427 |    18199    129 |        5 |      294
729.14/729.42	c  729s |      20 |  1138271 |   982427 |    18199    129 |        5 |      294
731.13/731.43	c  731s |      20 |  1140696 |   984527 |    18199    129 |        5 |      294
733.23/733.50	c  733s |      20 |  1143385 |   986927 |    18199    130 |        5 |      294
735.23/735.52	c  735s |      20 |  1147335 |   990327 |    18199    130 |        5 |      294
737.23/737.52	c  737s |      20 |  1150762 |   993327 |    20019    130 |        5 |      294
739.23/739.52	c  739s |      20 |  1153723 |   995927 |    20019    130 |        5 |      294
741.23/741.53	c  741s |      20 |  1156175 |   998027 |    20019    131 |        5 |      294
742.73/743.04	c  742s |      21 |  1158715 |  1000345 |    20019    131 |        5 |      294
744.72/745.07	c  744s |      21 |  1161043 |  1002245 |    20019    131 |        5 |      294
746.82/747.11	c  746s |      21 |  1164428 |  1005045 |    20019    131 |        5 |      294
748.93/749.27	c  749s |      21 |  1167347 |  1007545 |    20019    132 |        5 |      294
751.03/751.32	c  751s |      21 |  1170998 |  1010645 |    20019    132 |        5 |      294
753.02/753.34	c  753s |      21 |  1174400 |  1013445 |    20019    132 |        5 |      294
755.02/755.39	c  755s |      21 |  1177494 |  1016045 |    20019    132 |        5 |      294
757.02/757.39	c  757s |      21 |  1180390 |  1018445 |    20019    133 |        5 |      294
759.12/759.40	c  759s |      21 |  1184143 |  1021645 |    20019    133 |        5 |      294
761.12/761.43	c  761s |      21 |  1187411 |  1024545 |    20019    133 |        5 |      294
763.14/763.44	c  763s |      21 |  1189258 |  1026145 |    20019    133 |        5 |      294
765.23/765.50	c  765s |      21 |  1191838 |  1028245 |    20019    134 |        5 |      294
767.23/767.56	c  767s |      21 |  1195823 |  1031545 |    20019    134 |        5 |      294
769.33/769.61	c  769s |      21 |  1199476 |  1034645 |    20019    134 |        5 |      294
771.33/771.61	c  771s |      21 |  1202413 |  1037245 |    20019    134 |        5 |      294
773.33/773.68	c  773s |      21 |  1205065 |  1039645 |    20019    135 |        5 |      294
775.43/775.71	c  775s |      21 |  1208070 |  1042345 |    20019    135 |        5 |      294
777.44/777.77	c  777s |      21 |  1210728 |  1044745 |    20019    135 |        5 |      294
779.53/779.84	c  779s |      21 |  1213327 |  1046945 |    20019    135 |        5 |      294
781.53/781.86	c  781s |      21 |  1216187 |  1049445 |    20019    136 |        5 |      294
783.53/783.86	c  783s |      21 |  1218239 |  1051145 |    20019    136 |        5 |      294
785.63/785.91	c  785s |      21 |  1221688 |  1054045 |    20019    136 |        5 |      294
787.63/787.96	c  787s |      21 |  1225061 |  1056945 |    20019    136 |        5 |      294
789.73/790.00	c  789s |      21 |  1228238 |  1059745 |    20019    137 |        5 |      294
791.73/792.01	c  791s |      21 |  1232019 |  1063045 |    20019    137 |        5 |      294
793.73/794.07	c  793s |      21 |  1234904 |  1065545 |    20019    137 |        5 |      294
795.83/796.11	c  795s |      21 |  1237588 |  1067945 |    20019    137 |        5 |      294
797.82/798.13	c  797s |      21 |  1240846 |  1070845 |    20019    138 |        5 |      294
799.82/800.16	c  800s |      21 |  1244428 |  1074045 |    20019    138 |        5 |      294
801.92/802.23	c  802s |      21 |  1247446 |  1076745 |    20019    138 |        5 |      294
804.32/804.60	c  804s |      21 |  1249632 |  1078745 |    20019    139 |        5 |      294
806.32/806.63	c  806s |      21 |  1253099 |  1081845 |    20019    139 |        5 |      294
808.33/808.67	c  808s |      21 |  1256101 |  1084545 |    20019    139 |        5 |      294
810.32/810.70	c  810s |      21 |  1259171 |  1087245 |    20019    139 |        5 |      294
814.42/814.70	c  814s |      21 |  1259661 |  1087645 |    20019    139 |        5 |      294
816.42/816.73	c  816s |      21 |  1262638 |  1090045 |    20019    140 |        5 |      294
818.42/818.74	c  818s |      21 |  1266449 |  1093245 |    20019    140 |        5 |      294
820.52/820.80	c  820s |      21 |  1269769 |  1096145 |    20019    140 |        5 |      294
822.52/822.88	c  822s |      21 |  1272786 |  1098745 |    20019    141 |        5 |      294
824.62/824.90	c  824s |      21 |  1276451 |  1101845 |    20019    141 |        5 |      294
826.62/826.97	c  826s |      21 |  1279777 |  1104745 |    20019    141 |        5 |      294
828.71/829.04	c  828s |      21 |  1282871 |  1107445 |    20019    141 |        5 |      294
831.11/831.48	c  831s |      21 |  1284694 |  1109045 |    20019    142 |        5 |      294
833.11/833.48	c  833s |      21 |  1288365 |  1112145 |    20019    142 |        5 |      294
835.21/835.53	c  835s |      21 |  1291873 |  1115145 |    20019    142 |        5 |      294
837.21/837.59	c  837s |      21 |  1294932 |  1117745 |    20019    142 |        5 |      294
839.31/839.61	c  839s |      21 |  1297981 |  1120345 |    20019    143 |        5 |      294
841.32/841.64	c  841s |      21 |  1301609 |  1123445 |    20019    143 |        5 |      294
843.31/843.69	c  843s |      21 |  1304840 |  1126245 |    20019    143 |        5 |      294
845.42/845.70	c  845s |      21 |  1307408 |  1128345 |    20019    143 |        5 |      294
847.42/847.70	c  847s |      21 |  1310224 |  1130745 |    20019    144 |        5 |      294
849.42/849.77	c  849s |      21 |  1313190 |  1133345 |    20019    144 |        5 |      294
851.52/851.81	c  851s |      21 |  1315852 |  1135645 |    20019    144 |        5 |      294
853.52/853.89	c  853s |      21 |  1319030 |  1138245 |    20019    144 |        5 |      294
855.72/856.00	c  855s |      21 |  1322220 |  1140945 |    20019    145 |        5 |      294
857.61/858.00	c  857s |      21 |  1323154 |  1141745 |    20019    145 |        5 |      294
859.71/860.05	c  859s |      21 |  1326493 |  1144645 |    20019    145 |        5 |      294
861.71/862.05	c  861s |      21 |  1329345 |  1147145 |    20019    145 |        5 |      294
863.81/864.10	c  863s |      21 |  1331994 |  1149445 |    20019    146 |        5 |      294
865.81/866.10	c  865s |      21 |  1335645 |  1152645 |    20019    146 |        5 |      294
867.81/868.11	c  867s |      21 |  1338840 |  1155545 |    20019    146 |        5 |      294
869.82/870.17	c  870s |      21 |  1341628 |  1158045 |    20019    146 |        5 |      294
872.41/872.74	c  872s |      21 |  1344069 |  1160245 |    20019    147 |        5 |      294
874.41/874.80	c  874s |      21 |  1347788 |  1163545 |    20019    147 |        5 |      294
876.52/876.88	c  876s |      21 |  1350912 |  1166345 |    20019    147 |        5 |      294
878.51/878.89	c  878s |      21 |  1353427 |  1168645 |    20019    147 |        5 |      294
880.61/880.91	c  880s |      21 |  1355906 |  1170845 |    20019    148 |        5 |      294
882.61/882.92	c  882s |      21 |  1358601 |  1173245 |    20019    148 |        5 |      294
884.61/884.95	c  884s |      21 |  1361572 |  1175945 |    20019    148 |        5 |      294
886.71/887.01	c  886s |      21 |  1364311 |  1178445 |    20019    148 |        5 |      294
888.81/889.11	c  888s |      21 |  1366773 |  1180645 |    20019    149 |        5 |      294
890.81/891.13	c  890s |      21 |  1370146 |  1183645 |    20019    149 |        5 |      294
893.50/893.87	c  893s |      21 |  1372678 |  1185945 |    20019    149 |        5 |      294
895.50/895.87	c  895s |      21 |  1375665 |  1188445 |    20019    149 |        5 |      294
897.60/897.92	c  897s |      21 |  1378114 |  1190545 |    20019    150 |        5 |      294
899.61/899.96	c  899s |      21 |  1381866 |  1193745 |    20019    150 |        5 |      294
901.60/901.99	c  901s |      21 |  1385466 |  1196845 |    20019    150 |        5 |      294
903.70/904.03	c  903s |      21 |  1388392 |  1199345 |    20019    150 |        5 |      294
905.70/906.04	c  905s |      21 |  1390440 |  1201145 |    20019    151 |        5 |      294
907.80/908.14	c  907s |      21 |  1393938 |  1204145 |    20019    151 |        5 |      294
909.80/910.15	c  909s |      21 |  1396971 |  1206745 |    20019    151 |        5 |      294
911.90/912.23	c  912s |      21 |  1399969 |  1209345 |    20019    151 |        5 |      294
913.91/914.23	c  914s |      21 |  1403205 |  1212245 |    20019    152 |        5 |      294
915.90/916.27	c  916s |      21 |  1406482 |  1215045 |    20019    152 |        5 |      294
917.91/918.29	c  918s |      21 |  1409901 |  1218045 |    20019    152 |        5 |      294
920.01/920.35	c  920s |      21 |  1412649 |  1220545 |    20019    153 |        5 |      294
922.01/922.35	c  922s |      21 |  1416112 |  1223645 |    20019    153 |        5 |      294
924.01/924.39	c  924s |      21 |  1419450 |  1226645 |    20019    153 |        5 |      294
926.11/926.47	c  926s |      21 |  1422277 |  1229245 |    20019    153 |        5 |      294
932.61/932.93	c  932s |      21 |  1423504 |  1230345 |    20019    154 |        5 |      294
934.60/934.94	c  934s |      21 |  1426868 |  1233145 |    20019    154 |        5 |      294
936.70/937.00	c  936s |      21 |  1430655 |  1236345 |    20019    154 |        5 |      294
938.70/939.02	c  938s |      21 |  1433677 |  1238945 |    20019    154 |        5 |      294
940.70/941.04	c  940s |      21 |  1436683 |  1241445 |    20019    155 |        5 |      294
942.70/943.09	c  942s |      21 |  1440110 |  1244345 |    20019    155 |        5 |      294
944.80/945.15	c  944s |      21 |  1443168 |  1246945 |    20019    155 |        5 |      294
946.80/947.20	c  947s |      21 |  1446066 |  1249445 |    20019    155 |        5 |      294
949.10/949.44	c  949s |      21 |  1448530 |  1251545 |    20019    156 |        5 |      294
951.09/951.49	c  951s |      21 |  1452106 |  1254545 |    20019    156 |        5 |      294
953.19/953.51	c  953s |      21 |  1455390 |  1257345 |    20019    156 |        5 |      294
955.19/955.54	c  955s |      21 |  1458014 |  1259645 |    20019    156 |        5 |      294
957.19/957.59	c  957s |      21 |  1460957 |  1262245 |    20019    157 |        5 |      294
959.29/959.63	c  959s |      21 |  1463964 |  1264745 |    20019    157 |        5 |      294
961.29/961.68	c  961s |      21 |  1467247 |  1267345 |    20019    157 |        5 |      294
963.40/963.74	c  963s |      21 |  1470060 |  1269845 |    20019    157 |        5 |      294
965.39/965.78	c  965s |      21 |  1472509 |  1272045 |    20019    158 |        5 |      294
967.49/967.84	c  967s |      21 |  1475611 |  1274745 |    20019    158 |        5 |      294
969.49/969.85	c  969s |      21 |  1478361 |  1277145 |    20019    158 |        5 |      294
971.49/971.86	c  971s |      21 |  1481271 |  1279645 |    20019    158 |        5 |      294
973.49/973.88	c  973s |      21 |  1484139 |  1282145 |    20019    159 |        5 |      294
975.69/976.06	c  975s |      21 |  1484398 |  1282345 |    20019    159 |        5 |      294
977.79/978.11	c  977s |      21 |  1488327 |  1285745 |    20019    159 |        5 |      294
979.80/980.13	c  979s |      21 |  1491595 |  1288545 |    20019    159 |        5 |      294
981.89/982.23	c  982s |      21 |  1494662 |  1291145 |    20019    160 |        5 |      294
984.40/984.74	c  984s |      21 |  1497873 |  1293845 |    20019    160 |        5 |      294
986.50/986.80	c  986s |      21 |  1501685 |  1297045 |    20019    160 |        5 |      294
988.50/988.86	c  988s |      21 |  1504945 |  1299845 |    20019    160 |        5 |      294
990.60/990.92	c  990s |      21 |  1507963 |  1302545 |    20019    161 |        5 |      294
992.60/992.97	c  992s |      21 |  1511131 |  1305345 |    20019    161 |        5 |      294
994.59/994.99	c  994s |      21 |  1514310 |  1308145 |    20019    161 |        5 |      294
996.69/997.03	c  996s |      21 |  1516975 |  1310545 |    20019    161 |        5 |      294
999.49/999.82	c  999s |      21 |  1517919 |  1311345 |    20019    162 |        5 |      294
1001.49/1001.87	c 1001s |      21 |  1521747 |  1314645 |    20019    162 |        5 |      294
1003.49/1003.89	c 1003s |      21 |  1525146 |  1317645 |    20019    162 |        5 |      294
1005.59/1005.91	c 1005s |      21 |  1528007 |  1320245 |    20019    162 |        5 |      294
1007.59/1007.96	c 1007s |      21 |  1530973 |  1322845 |    20019    163 |        5 |      294
1009.60/1009.98	c 1009s |      21 |  1534137 |  1325645 |    20019    163 |        5 |      294
1011.70/1012.03	c 1011s |      21 |  1537472 |  1328545 |    20019    163 |        5 |      294
1013.69/1014.07	c 1013s |      21 |  1540680 |  1331145 |    20019    163 |        5 |      294
1015.79/1016.11	c 1015s |      21 |  1543928 |  1333645 |    20019    164 |        5 |      294
1017.79/1018.14	c 1017s |      21 |  1546374 |  1335645 |    20019    164 |        5 |      294
1019.89/1020.24	c 1020s |      21 |  1549218 |  1338145 |    20019    164 |        5 |      294
1021.89/1022.28	c 1022s |      21 |  1551632 |  1340245 |    20019    164 |        5 |      294
1024.68/1025.06	c 1024s |      21 |  1553131 |  1341645 |    20019    165 |        5 |      294
1026.78/1027.10	c 1026s |      21 |  1556017 |  1344145 |    20019    165 |        5 |      294
1028.78/1029.12	c 1028s |      21 |  1558896 |  1346645 |    20019    165 |        5 |      294
1030.78/1031.13	c 1030s |      21 |  1561670 |  1349145 |    20019    165 |        5 |      294
1032.88/1033.20	c 1033s |      21 |  1564362 |  1351545 |    20019    165 |        5 |      294
1034.89/1035.23	c 1035s |      21 |  1567397 |  1354245 |    20019    166 |        5 |      294
1036.99/1037.30	c 1037s |      21 |  1570418 |  1356945 |    20019    166 |        5 |      294
1038.98/1039.32	c 1039s |      21 |  1573055 |  1359245 |    20019    166 |        5 |      294
1040.98/1041.33	c 1041s |      21 |  1575399 |  1361345 |    20019    166 |        5 |      294
1042.98/1043.37	c 1043s |      21 |  1578031 |  1363745 |    20019    167 |        5 |      294
1045.08/1045.43	c 1045s |      21 |  1581091 |  1366445 |    20019    167 |        5 |      294
1047.08/1047.45	c 1047s |      21 |  1583700 |  1368845 |    20019    167 |        5 |      294
1049.19/1049.55	c 1049s |      21 |  1585994 |  1370945 |    20019    167 |        5 |      294
1053.59/1053.97	c 1053s |      21 |  1587577 |  1372245 |    20019    168 |        5 |      294
1055.58/1055.99	c 1055s |      21 |  1591397 |  1375545 |    20019    168 |        5 |      294
1057.68/1058.01	c 1057s |      21 |  1594588 |  1378345 |    20019    168 |        5 |      294
1059.68/1060.05	c 1059s |      21 |  1597481 |  1380945 |    20019    168 |        5 |      294
1061.78/1062.11	c 1061s |      21 |  1600401 |  1383545 |    20019    169 |        5 |      294
1063.78/1064.15	c 1063s |      21 |  1603468 |  1386145 |    20019    169 |        5 |      294
1065.78/1066.19	c 1066s |      21 |  1606414 |  1388745 |    20019    169 |        5 |      294
1067.88/1068.24	c 1068s |      21 |  1609105 |  1391145 |    20019    169 |        5 |      294
1069.88/1070.29	c 1070s |      21 |  1611656 |  1393445 |    20019    170 |        5 |      294
1071.98/1072.33	c 1072s |      21 |  1613364 |  1394945 |    20019    170 |        5 |      294
1073.98/1074.36	c 1074s |      21 |  1616546 |  1397745 |    20019    170 |        5 |      294
1076.08/1076.42	c 1076s |      21 |  1619129 |  1400045 |    20019    170 |        5 |      294
1078.08/1078.48	c 1078s |      21 |  1621742 |  1402345 |    20019    170 |        5 |      294
1080.18/1080.52	c 1080s |      21 |  1624710 |  1405045 |    20019    171 |        5 |      294
1082.19/1082.56	c 1082s |      21 |  1627561 |  1407645 |    20019    171 |        5 |      294
1084.29/1084.64	c 1084s |      21 |  1630138 |  1410045 |    20019    171 |        5 |      294
1086.38/1086.71	c 1086s |      21 |  1632593 |  1412245 |    20019    171 |        5 |      294
1088.38/1088.74	c 1088s |      21 |  1635273 |  1414745 |    20019    172 |        5 |      294
1090.48/1090.80	c 1090s |      21 |  1638260 |  1417445 |    20019    172 |        5 |      294
1092.48/1092.87	c 1092s |      21 |  1640839 |  1419845 |    20019    172 |        5 |      294
1094.88/1095.21	c 1095s |      21 |  1643083 |  1421945 |    20019    172 |        5 |      294
1096.88/1097.25	c 1097s |      21 |  1645670 |  1424245 |    20019    173 |        5 |      294
1098.98/1099.32	c 1099s |      21 |  1648649 |  1426945 |    20019    173 |        5 |      294
1100.98/1101.37	c 1101s |      21 |  1651289 |  1429345 |    20019    173 |        5 |      294
1103.08/1103.41	c 1103s |      21 |  1652181 |  1430145 |    20019    173 |        5 |      294
1105.07/1105.47	c 1105s |      21 |  1655074 |  1432645 |    20019    173 |        5 |      294
1107.07/1107.48	c 1107s |      21 |  1657642 |  1434945 |    20019    174 |        5 |      294
1109.07/1109.48	c 1109s |      21 |  1660695 |  1437645 |    20019    174 |        5 |      294
1111.17/1111.53	c 1111s |      21 |  1663801 |  1440145 |    20019    174 |        5 |      294
1113.27/1113.60	c 1113s |      21 |  1666321 |  1442445 |    20019    174 |        5 |      294
1115.27/1115.65	c 1115s |      21 |  1668211 |  1444145 |    20019    175 |        5 |      294
1117.38/1117.71	c 1117s |      21 |  1671284 |  1446845 |    20019    175 |        5 |      294
1119.37/1119.75	c 1119s |      21 |  1673847 |  1449145 |    20019    175 |        5 |      294
1121.37/1121.76	c 1121s |      21 |  1676047 |  1451145 |    20019    175 |        5 |      294
1123.47/1123.89	c 1123s |      21 |  1678314 |  1453045 |    20019    176 |        5 |      294
1125.57/1125.93	c 1125s |      21 |  1681241 |  1455645 |    20019    176 |        5 |      294
1127.57/1127.94	c 1127s |      21 |  1682649 |  1456945 |    20019    176 |        5 |      294
1129.57/1129.94	c 1129s |      21 |  1685288 |  1459345 |    20019    176 |        5 |      294
1131.57/1131.95	c 1131s |      21 |  1687785 |  1461545 |    20019    176 |        5 |      294
1133.57/1133.95	c 1133s |      21 |  1690056 |  1463645 |    20019    177 |        5 |      294
1135.57/1135.98	c 1135s |      21 |  1692546 |  1465945 |    20019    177 |        5 |      294
1137.67/1138.01	c 1137s |      21 |  1695494 |  1468645 |    20019    177 |        5 |      294
1139.66/1140.02	c 1139s |      21 |  1697845 |  1470845 |    20019    177 |        5 |      294
1141.66/1142.03	c 1141s |      21 |  1700073 |  1472945 |    20019    177 |        5 |      294
1143.67/1144.06	c 1143s |      21 |  1701362 |  1474145 |    20019    178 |        5 |      294
1145.76/1146.13	c 1145s |      21 |  1704022 |  1476645 |    20019    178 |        5 |      294
1147.76/1148.13	c 1147s |      21 |  1706230 |  1478745 |    20019    178 |        5 |      294
1149.76/1150.14	c 1149s |      21 |  1708593 |  1480945 |    20019    178 |        5 |      294
1151.76/1152.14	c 1151s |      21 |  1710899 |  1483045 |    20019    178 |        5 |      294
1153.76/1154.19	c 1154s |      21 |  1713356 |  1485245 |    20019    179 |        5 |      294
1155.87/1156.22	c 1156s |      21 |  1715833 |  1487545 |    20019    179 |        5 |      294
1157.86/1158.26	c 1158s |      21 |  1718591 |  1490045 |    22021    179 |        5 |      294
1161.57/1161.97	c 1161s |      21 |  1720767 |  1492045 |    22021    179 |        5 |      294
1163.57/1163.99	c 1163s |      21 |  1723088 |  1494045 |    22021    179 |        5 |      294
1165.57/1165.99	c 1165s |      21 |  1725637 |  1496245 |    22021    180 |        5 |      294
1167.67/1168.02	c 1167s |      21 |  1728825 |  1499045 |    22021    180 |        5 |      294
1168.97/1169.31	c 1169s |      22 |  1730644 |  1500622 |    22021    180 |        5 |      294
1170.96/1171.36	c 1171s |      22 |  1732563 |  1502122 |    22021    180 |        5 |      294
1172.96/1173.37	c 1173s |      22 |  1735853 |  1504822 |    22021    180 |        5 |      294
1175.06/1175.40	c 1175s |      22 |  1739016 |  1507522 |    22021    181 |        5 |      294
1177.06/1177.44	c 1177s |      22 |  1742433 |  1510222 |    22021    181 |        5 |      294
1179.06/1179.48	c 1179s |      22 |  1746306 |  1513422 |    22021    181 |        5 |      294
1181.17/1181.55	c 1181s |      22 |  1749618 |  1516322 |    22021    181 |        5 |      294
1183.16/1183.56	c 1183s |      22 |  1752780 |  1518822 |    22021    182 |        5 |      294
1185.26/1185.60	c 1185s |      22 |  1756384 |  1521922 |    22021    182 |        5 |      294
1187.26/1187.67	c 1187s |      22 |  1759918 |  1525022 |    22021    182 |        5 |      294
1189.36/1189.74	c 1189s |      22 |  1763133 |  1527722 |    22021    182 |        5 |      294
1192.17/1192.56	c 1192s |      22 |  1764575 |  1528922 |    22021    183 |        5 |      294
1194.16/1194.60	c 1194s |      22 |  1768533 |  1532222 |    22021    183 |        5 |      294
1196.26/1196.65	c 1196s |      22 |  1771989 |  1535222 |    22021    183 |        5 |      294
1198.26/1198.69	c 1198s |      22 |  1775231 |  1537922 |    22021    183 |        5 |      294
1200.36/1200.77	c 1200s |      22 |  1777837 |  1540122 |    22021    184 |        5 |      294
1202.46/1202.82	c 1202s |      22 |  1781507 |  1543222 |    22021    184 |        5 |      294
1204.46/1204.87	c 1204s |      22 |  1785307 |  1546422 |    22021    184 |        5 |      294
1206.47/1206.89	c 1206s |      22 |  1788610 |  1549222 |    22021    184 |        5 |      294
1208.57/1208.91	c 1208s |      22 |  1791688 |  1551922 |    22021    185 |        5 |      294
1210.56/1210.97	c 1210s |      22 |  1793379 |  1553322 |    22021    185 |        5 |      294
1212.56/1212.99	c 1212s |      22 |  1797064 |  1556522 |    22021    185 |        5 |      294
1214.66/1215.03	c 1214s |      22 |  1800437 |  1559422 |    22021    185 |        5 |      294
1216.66/1217.08	c 1216s |      22 |  1803426 |  1562022 |    22021    185 |        5 |      294
1218.76/1219.10	c 1218s |      22 |  1806640 |  1564822 |    22021    186 |        5 |      294
1220.77/1221.12	c 1220s |      22 |  1809845 |  1567722 |    22021    186 |        5 |      294
1222.76/1223.15	c 1222s |      22 |  1812746 |  1570322 |    22021    186 |        5 |      294
1224.76/1225.16	c 1225s |      22 |  1815357 |  1572722 |    22021    186 |        5 |      294
1227.56/1227.92	c 1227s |      22 |  1817643 |  1574722 |    22021    187 |        5 |      294
1229.56/1229.97	c 1229s |      22 |  1821248 |  1577722 |    22021    187 |        5 |      294
1231.55/1231.98	c 1231s |      22 |  1824534 |  1580522 |    22021    187 |        5 |      294
1233.55/1233.99	c 1233s |      22 |  1827721 |  1583222 |    22021    187 |        5 |      294
1235.65/1236.03	c 1235s |      22 |  1830696 |  1585822 |    22021    188 |        5 |      294
1238.95/1239.33	c 1239s |      22 |  1832376 |  1587322 |    22021    188 |        5 |      294
1240.95/1241.35	c 1241s |      22 |  1836004 |  1590322 |    22021    188 |        5 |      294
1242.95/1243.37	c 1243s |      22 |  1839425 |  1593222 |    22021    188 |        5 |      294
1245.15/1245.50	c 1245s |      22 |  1842321 |  1595722 |    22021    189 |        5 |      294
1247.06/1247.50	c 1247s |      22 |  1846233 |  1599022 |    22021    189 |        5 |      294
1249.15/1249.52	c 1249s |      22 |  1849764 |  1602022 |    22021    189 |        5 |      294
1251.15/1251.55	c 1251s |      22 |  1852902 |  1604722 |    22021    189 |        5 |      294
1253.15/1253.58	c 1253s |      22 |  1855972 |  1607422 |    22021    190 |        5 |      294
1256.05/1256.47	c 1256s |      22 |  1858536 |  1609722 |    22021    190 |        5 |      294
1258.05/1258.49	c 1258s |      22 |  1861920 |  1612622 |    22021    190 |        5 |      294
1260.15/1260.51	c 1260s |      22 |  1865138 |  1615422 |    22021    190 |        5 |      294
1262.25/1262.60	c 1262s |      22 |  1867937 |  1617822 |    22021    191 |        5 |      294
1264.25/1264.60	c 1264s |      22 |  1870914 |  1620322 |    22021    191 |        5 |      294
1266.25/1266.67	c 1266s |      22 |  1873884 |  1623022 |    22021    191 |        5 |      294
1268.35/1268.72	c 1268s |      22 |  1876732 |  1625522 |    22021    191 |        5 |      294
1270.34/1270.73	c 1270s |      22 |  1879109 |  1627622 |    22021    191 |        5 |      294
1272.35/1272.78	c 1272s |      22 |  1881639 |  1629822 |    22021    192 |        5 |      294
1275.55/1276.00	c 1275s |      22 |  1884666 |  1632522 |    22021    192 |        5 |      294
1277.65/1278.03	c 1277s |      22 |  1887860 |  1635322 |    22021    192 |        5 |      294
1279.65/1280.05	c 1279s |      22 |  1890570 |  1637722 |    22021    192 |        5 |      294
1281.75/1282.12	c 1281s |      22 |  1893185 |  1640022 |    22021    192 |        5 |      294
1283.75/1284.14	c 1283s |      22 |  1896039 |  1642422 |    22021    193 |        5 |      294
1285.85/1286.21	c 1286s |      22 |  1899198 |  1645122 |    22021    193 |        5 |      294
1287.86/1288.22	c 1288s |      22 |  1902362 |  1647822 |    22021    193 |        5 |      294
1289.95/1290.33	c 1290s |      22 |  1902820 |  1648222 |    22021    193 |        5 |      294
1291.94/1292.38	c 1292s |      22 |  1905586 |  1650522 |    22021    193 |        5 |      294
1294.04/1294.40	c 1294s |      22 |  1908233 |  1652722 |    22021    194 |        5 |      294
1296.04/1296.45	c 1296s |      22 |  1911740 |  1655622 |    22021    194 |        5 |      294
1298.14/1298.52	c 1298s |      22 |  1914513 |  1657922 |    22021    194 |        5 |      294
1300.14/1300.52	c 1300s |      22 |  1917119 |  1660222 |    22021    194 |        5 |      294
1302.15/1302.59	c 1302s |      22 |  1919725 |  1662422 |    22021    195 |        5 |      294
1304.14/1304.59	c 1304s |      22 |  1922852 |  1665222 |    22021    195 |        5 |      294
1306.24/1306.66	c 1306s |      22 |  1925275 |  1667322 |    22021    195 |        5 |      294
1308.34/1308.72	c 1308s |      22 |  1928200 |  1669922 |    22021    195 |        5 |      294
1310.44/1310.82	c 1310s |      22 |  1930899 |  1672322 |    22021    195 |        5 |      294
1312.44/1312.84	c 1312s |      22 |  1933435 |  1674522 |    22021    196 |        5 |      294
1314.44/1314.89	c 1314s |      22 |  1936638 |  1677022 |    22021    196 |        5 |      294
1316.54/1316.93	c 1316s |      22 |  1939224 |  1679322 |    22021    196 |        5 |      294
1318.55/1318.93	c 1318s |      22 |  1941751 |  1681522 |    22021    196 |        5 |      294
1320.64/1321.02	c 1320s |      22 |  1944111 |  1683622 |    22021    196 |        5 |      294
1322.64/1323.04	c 1322s |      22 |  1945623 |  1684922 |    22021    197 |        5 |      294
1324.64/1325.06	c 1324s |      22 |  1948720 |  1687622 |    22021    197 |        5 |      294
1326.74/1327.11	c 1326s |      22 |  1951675 |  1690222 |    22021    197 |        5 |      294
1328.74/1329.15	c 1328s |      22 |  1954363 |  1692622 |    22021    197 |        5 |      294
1331.04/1331.43	c 1331s |      22 |  1955182 |  1693322 |    22021    197 |        5 |      294
1333.04/1333.45	c 1333s |      22 |  1957549 |  1695322 |    22021    197 |        5 |      294
1335.05/1335.50	c 1335s |      22 |  1960705 |  1698122 |    22021    198 |        5 |      294
1337.14/1337.57	c 1337s |      22 |  1964330 |  1701322 |    22021    198 |        5 |      294
1339.14/1339.57	c 1339s |      22 |  1967480 |  1704122 |    22021    198 |        5 |      294
1341.24/1341.60	c 1341s |      22 |  1969878 |  1706322 |    22021    198 |        5 |      294
1343.24/1343.67	c 1343s |      22 |  1973111 |  1709222 |    22021    199 |        5 |      294
1345.34/1345.78	c 1345s |      22 |  1976177 |  1712022 |    22021    199 |        5 |      294
1347.44/1347.82	c 1347s |      22 |  1978931 |  1714522 |    22021    199 |        5 |      294
1349.45/1349.83	c 1349s |      22 |  1981634 |  1716922 |    22021    199 |        5 |      294
1351.44/1351.87	c 1351s |      22 |  1984237 |  1719222 |    22021    200 |        5 |      294
1355.24/1355.66	c 1355s |      22 |  1986807 |  1721522 |    22021    200 |        5 |      294
1357.34/1357.74	c 1357s |      22 |  1989924 |  1724322 |    22021    200 |        5 |      294
1359.35/1359.79	c 1359s |      22 |  1993119 |  1726722 |    22021    200 |        5 |      294
1361.45/1361.84	c 1361s |      22 |  1995394 |  1728822 |    22021    200 |        5 |      294
1363.44/1363.85	c 1363s |      22 |  1997559 |  1730822 |    22021    201 |        5 |      294
1365.54/1365.92	c 1365s |      22 |  2000603 |  1733522 |    22021    201 |        5 |      294
1367.54/1367.95	c 1367s |      22 |  2002912 |  1735522 |    22021    201 |        5 |      294
1369.54/1369.99	c 1369s |      22 |  2005097 |  1737522 |    22021    201 |        5 |      294
1371.64/1372.02	c 1371s |      22 |  2007545 |  1739722 |    22021    201 |        5 |      294
1373.64/1374.03	c 1373s |      22 |  2010280 |  1742222 |    22021    202 |        5 |      294
1375.74/1376.16	c 1376s |      22 |  2012335 |  1744122 |    22021    202 |        5 |      294
1377.83/1378.20	c 1378s |      22 |  2015130 |  1746522 |    22021    202 |        5 |      294
1379.83/1380.25	c 1380s |      22 |  2017948 |  1749022 |    22021    202 |        5 |      294
1381.93/1382.35	c 1382s |      22 |  2020453 |  1751222 |    22021    203 |        5 |      294
1383.93/1384.38	c 1384s |      22 |  2023411 |  1753822 |    22021    203 |        5 |      294
1386.03/1386.49	c 1386s |      22 |  2026670 |  1756522 |    22021    203 |        5 |      294
1388.13/1388.52	c 1388s |      22 |  2029634 |  1758922 |    22021    203 |        5 |      294
1390.23/1390.60	c 1390s |      22 |  2032223 |  1761122 |    22021    203 |        5 |      294
1396.33/1396.70	c 1396s |      22 |  2033980 |  1762722 |    22021    204 |        5 |      294
1398.33/1398.75	c 1398s |      22 |  2037481 |  1765822 |    22021    204 |        5 |      294
1400.43/1400.80	c 1400s |      22 |  2040429 |  1768422 |    22021    204 |        5 |      294
1402.43/1402.83	c 1402s |      22 |  2043239 |  1770922 |    22021    204 |        5 |      294
1404.44/1404.89	c 1404s |      22 |  2045638 |  1773122 |    22021    204 |        5 |      294
1406.54/1406.95	c 1406s |      22 |  2048353 |  1775622 |    22021    205 |        5 |      294
1408.63/1409.00	c 1408s |      22 |  2051261 |  1778222 |    22021    205 |        5 |      294
1410.63/1411.01	c 1410s |      22 |  2053886 |  1780522 |    22021    205 |        5 |      294
1412.63/1413.05	c 1412s |      22 |  2056300 |  1782622 |    22021    205 |        5 |      294
1414.93/1415.37	c 1415s |      22 |  2058450 |  1784522 |    22021    206 |        5 |      294
1417.02/1417.49	c 1417s |      22 |  2060556 |  1786422 |    22021    206 |        5 |      294
1419.02/1419.50	c 1419s |      22 |  2063819 |  1789322 |    22021    206 |        5 |      294
1421.12/1421.50	c 1421s |      22 |  2066467 |  1791622 |    22021    206 |        5 |      294
1423.13/1423.58	c 1423s |      22 |  2069063 |  1793822 |    22021    206 |        5 |      294
1425.23/1425.66	c 1425s |      22 |  2071293 |  1795722 |    22021    207 |        5 |      294
1427.33/1427.70	c 1427s |      22 |  2074025 |  1798022 |    22021    207 |        5 |      294
1429.33/1429.71	c 1429s |      22 |  2077895 |  1801122 |    22021    207 |        5 |      294
1431.33/1431.72	c 1431s |      22 |  2080893 |  1803722 |    22021    207 |        5 |      294
1433.43/1433.81	c 1433s |      22 |  2083783 |  1806122 |    22021    207 |        5 |      294
1435.43/1435.84	c 1435s |      22 |  2086657 |  1808622 |    22021    208 |        5 |      294
1437.53/1437.90	c 1437s |      22 |  2090520 |  1811922 |    22021    208 |        5 |      294
1439.54/1439.96	c 1439s |      22 |  2093828 |  1814822 |    22021    208 |        5 |      294
1441.53/1441.99	c 1441s |      22 |  2096685 |  1817322 |    22021    208 |        5 |      294
1444.73/1445.14	c 1444s |      22 |  2098095 |  1818522 |    22021    209 |        5 |      294
1446.83/1447.20	c 1447s |      22 |  2101568 |  1821422 |    22021    209 |        5 |      294
1448.82/1449.21	c 1449s |      22 |  2104685 |  1824122 |    22021    209 |        5 |      294
1450.82/1451.25	c 1451s |      22 |  2107638 |  1826722 |    22021    209 |        5 |      294
1452.83/1453.29	c 1453s |      22 |  2110321 |  1829022 |    22021    210 |        5 |      294
1454.93/1455.31	c 1455s |      22 |  2113560 |  1831922 |    22021    210 |        5 |      294
1456.92/1457.37	c 1457s |      22 |  2116390 |  1834422 |    22021    210 |        5 |      294
1458.92/1459.39	c 1459s |      22 |  2119019 |  1836822 |    22021    210 |        5 |      294
1461.02/1461.42	c 1461s |      22 |  2121307 |  1838922 |    22021    210 |        5 |      294
1463.02/1463.47	c 1463s |      22 |  2123795 |  1841122 |    22021    211 |        5 |      294
1465.12/1465.53	c 1465s |      22 |  2126737 |  1843722 |    22021    211 |        5 |      294
1467.13/1467.57	c 1467s |      22 |  2129630 |  1846222 |    22021    211 |        5 |      294
1469.23/1469.64	c 1469s |      22 |  2132452 |  1848722 |    22021    211 |        5 |      294
1471.32/1471.72	c 1471s |      22 |  2135072 |  1851022 |    22021    211 |        5 |      294
1475.42/1475.85	c 1475s |      22 |  2136891 |  1852622 |    22021    212 |        5 |      294
1477.42/1477.86	c 1477s |      22 |  2140456 |  1855722 |    22021    212 |        5 |      294
1479.52/1479.94	c 1479s |      22 |  2143521 |  1858422 |    22021    212 |        5 |      294
1481.62/1482.04	c 1481s |      22 |  2145901 |  1860622 |    22021    212 |        5 |      294
1483.62/1484.06	c 1483s |      22 |  2147939 |  1862522 |    22021    213 |        5 |      294
1485.61/1486.10	c 1485s |      22 |  2150759 |  1865122 |    22021    213 |        5 |      294
1487.71/1488.15	c 1487s |      22 |  2153788 |  1867822 |    22021    213 |        5 |      294
1489.71/1490.17	c 1490s |      22 |  2156219 |  1870022 |    22021    213 |        5 |      294
1491.71/1492.18	c 1492s |      22 |  2158347 |  1871822 |    22021    213 |        5 |      294
1493.81/1494.21	c 1494s |      22 |  2160780 |  1873922 |    22021    214 |        5 |      294
1495.81/1496.27	c 1496s |      22 |  2163388 |  1876122 |    22021    214 |        5 |      294
1497.92/1498.32	c 1498s |      22 |  2166324 |  1878722 |    22021    214 |        5 |      294
1499.91/1500.33	c 1500s |      22 |  2168512 |  1880722 |    22021    214 |        5 |      294
1501.91/1502.36	c 1502s |      22 |  2171095 |  1883022 |    22021    214 |        5 |      294
1504.01/1504.46	c 1504s |      22 |  2173361 |  1885022 |    22021    215 |        5 |      294
1506.11/1506.51	c 1506s |      22 |  2176517 |  1887822 |    22021    215 |        5 |      294
1508.11/1508.59	c 1508s |      22 |  2179448 |  1890422 |    22021    215 |        5 |      294
1510.21/1510.61	c 1510s |      22 |  2182041 |  1892722 |    22021    215 |        5 |      294
1512.22/1512.69	c 1512s |      22 |  2184791 |  1895122 |    22021    215 |        5 |      294
1514.31/1514.71	c 1514s |      22 |  2187384 |  1897522 |    22021    216 |        5 |      294
1516.31/1516.77	c 1516s |      22 |  2190507 |  1900322 |    22021    216 |        5 |      294
1518.31/1518.78	c 1518s |      22 |  2193199 |  1902722 |    22021    216 |        5 |      294
1521.61/1522.09	c 1521s |      22 |  2193544 |  1903022 |    22021    216 |        5 |      294
1523.71/1524.15	c 1523s |      22 |  2196275 |  1905422 |    22021    216 |        5 |      294
1525.91/1526.32	c 1526s |      22 |  2198554 |  1907522 |    22021    217 |        5 |      294
1527.91/1528.35	c 1528s |      22 |  2201515 |  1910222 |    22021    217 |        5 |      294
1529.91/1530.37	c 1530s |      22 |  2204028 |  1912522 |    22021    217 |        5 |      294
1532.02/1532.41	c 1532s |      22 |  2206357 |  1914622 |    22021    217 |        5 |      294
1534.01/1534.47	c 1534s |      22 |  2208542 |  1916622 |    22021    217 |        5 |      294
1536.01/1536.47	c 1536s |      22 |  2210509 |  1918422 |    22021    218 |        5 |      294
1538.11/1538.53	c 1538s |      22 |  2213437 |  1921122 |    22021    218 |        5 |      294
1540.11/1540.54	c 1540s |      22 |  2216021 |  1923422 |    22021    218 |        5 |      294
1542.21/1542.60	c 1542s |      22 |  2218531 |  1925722 |    22021    218 |        5 |      294
1544.21/1544.60	c 1544s |      22 |  2220727 |  1927722 |    22021    218 |        5 |      294
1546.21/1546.60	c 1546s |      22 |  2222332 |  1929222 |    22021    219 |        5 |      294
1548.20/1548.67	c 1548s |      22 |  2225116 |  1931822 |    22021    219 |        5 |      294
1550.30/1550.71	c 1550s |      22 |  2227827 |  1934322 |    22021    219 |        5 |      294
1552.30/1552.77	c 1552s |      22 |  2230216 |  1936522 |    22021    219 |        5 |      294
1554.30/1554.77	c 1554s |      22 |  2232027 |  1938222 |    22021    219 |        5 |      294
1556.40/1556.82	c 1556s |      22 |  2233728 |  1939822 |    22021    219 |        5 |      294
1558.41/1558.85	c 1558s |      22 |  2235621 |  1941622 |    22021    220 |        5 |      294
1560.40/1560.89	c 1560s |      22 |  2237629 |  1943522 |    22021    220 |        5 |      294
1562.50/1562.94	c 1562s |      22 |  2239976 |  1945722 |    22021    220 |        5 |      294
1564.60/1565.01	c 1564s |      22 |  2242384 |  1947922 |    22021    220 |        5 |      294
1566.61/1567.04	c 1566s |      22 |  2243505 |  1948922 |    22021    220 |        5 |      294
1568.81/1569.29	c 1569s |      22 |  2246207 |  1951322 |    22021    221 |        5 |      294
1570.91/1571.33	c 1571s |      22 |  2248538 |  1953422 |    22021    221 |        5 |      294
1572.91/1573.36	c 1573s |      22 |  2251473 |  1955922 |    22021    221 |        5 |      294
1575.01/1575.43	c 1575s |      22 |  2254260 |  1958422 |    22021    221 |        5 |      294
1577.01/1577.47	c 1577s |      22 |  2256564 |  1960522 |    22021    221 |        5 |      294
1579.11/1579.52	c 1579s |      22 |  2258645 |  1962422 |    22021    222 |        5 |      294
1581.10/1581.59	c 1581s |      22 |  2260600 |  1964222 |    22021    222 |        5 |      294
1583.20/1583.65	c 1583s |      22 |  2263450 |  1966822 |    22021    222 |        5 |      294
1585.30/1585.71	c 1585s |      22 |  2265965 |  1969122 |    22021    222 |        5 |      294
1587.30/1587.73	c 1587s |      22 |  2268240 |  1971222 |    22021    222 |        5 |      294
1589.30/1589.77	c 1589s |      22 |  2270412 |  1973222 |    22021    222 |        5 |      294
1591.41/1591.82	c 1591s |      22 |  2272739 |  1975322 |    22021    223 |        5 |      294
1593.40/1593.88	c 1593s |      22 |  2275699 |  1978022 |    22021    223 |        5 |      294
1596.00/1596.40	c 1596s |      22 |  2276391 |  1978622 |    22021    223 |        5 |      294
1598.01/1598.47	c 1598s |      22 |  2279572 |  1981322 |    22021    223 |        5 |      294
1600.00/1600.50	c 1600s |      22 |  2282251 |  1983622 |    22021    223 |        5 |      294
1602.10/1602.58	c 1602s |      22 |  2284527 |  1985622 |    22021    224 |        5 |      294
1604.20/1604.61	c 1604s |      22 |  2287261 |  1987922 |    22021    224 |        5 |      294
1606.29/1606.70	c 1606s |      22 |  2290194 |  1990522 |    22021    224 |        5 |      294
1608.29/1608.77	c 1608s |      22 |  2292736 |  1992822 |    22021    224 |        5 |      294
1610.29/1610.78	c 1610s |      22 |  2295036 |  1994822 |    22021    224 |        5 |      294
1613.10/1613.52	c 1613s |      22 |  2296035 |  1995722 |    22021    225 |        5 |      294
1615.10/1615.53	c 1615s |      22 |  2299175 |  1998522 |    22021    225 |        5 |      294
1617.20/1617.61	c 1617s |      22 |  2301868 |  2000922 |    22021    225 |        5 |      294
1619.30/1619.70	c 1619s |      22 |  2304616 |  2003322 |    22021    225 |        5 |      294
1621.30/1621.76	c 1621s |      22 |  2306948 |  2005422 |    22021    225 |        5 |      294
1623.30/1623.79	c 1623s |      22 |  2309101 |  2007322 |    22021    226 |        5 |      294
1625.40/1625.85	c 1625s |      22 |  2311301 |  2009222 |    22021    226 |        5 |      294
1627.50/1627.92	c 1627s |      22 |  2314003 |  2011622 |    22021    226 |        5 |      294
1629.50/1629.98	c 1629s |      22 |  2316561 |  2013922 |    22021    226 |        5 |      294
1631.60/1632.04	c 1631s |      22 |  2319180 |  2016222 |    22021    226 |        5 |      294
1633.70/1634.11	c 1633s |      22 |  2321461 |  2018322 |    22021    227 |        5 |      294
1635.70/1636.19	c 1636s |      22 |  2324254 |  2020922 |    22021    227 |        5 |      294
1638.00/1638.45	c 1638s |      22 |  2326300 |  2022822 |    22021    227 |        5 |      294
1639.99/1640.49	c 1640s |      22 |  2328587 |  2024722 |    22021    227 |        5 |      294
1642.00/1642.49	c 1642s |      22 |  2330672 |  2026522 |    22021    227 |        5 |      294
1644.10/1644.52	c 1644s |      22 |  2333240 |  2028722 |    22021    227 |        5 |      294
1646.09/1646.54	c 1646s |      22 |  2335418 |  2030622 |    22021    228 |        5 |      294
1648.09/1648.56	c 1648s |      22 |  2338846 |  2033622 |    22021    228 |        5 |      294
1650.19/1650.60	c 1650s |      22 |  2341851 |  2036322 |    22021    228 |        5 |      294
1652.19/1652.63	c 1652s |      22 |  2344372 |  2038622 |    22021    228 |        5 |      294
1654.19/1654.65	c 1654s |      22 |  2346771 |  2040622 |    22021    229 |        5 |      294
1656.20/1656.65	c 1656s |      22 |  2348668 |  2042222 |    22021    229 |        5 |      294
1658.29/1658.72	c 1658s |      22 |  2351830 |  2044922 |    22021    229 |        5 |      294
1660.29/1660.74	c 1660s |      22 |  2354545 |  2047322 |    22021    229 |        5 |      294
1662.29/1662.79	c 1662s |      22 |  2357253 |  2049522 |    22021    229 |        5 |      294
1664.49/1664.98	c 1664s |      22 |  2359376 |  2051322 |    22021    230 |        5 |      294
1666.59/1667.01	c 1666s |      22 |  2362404 |  2054022 |    22021    230 |        5 |      294
1668.59/1669.05	c 1668s |      22 |  2364935 |  2056322 |    22021    230 |        5 |      294
1670.59/1671.06	c 1670s |      22 |  2367338 |  2058422 |    22021    230 |        5 |      294
1672.59/1673.06	c 1672s |      22 |  2369682 |  2060522 |    22021    230 |        5 |      294
1674.99/1675.49	c 1675s |      22 |  2371989 |  2062422 |    22021    231 |        5 |      294
1676.99/1677.50	c 1677s |      22 |  2375163 |  2065222 |    22021    231 |        5 |      294
1679.09/1679.54	c 1679s |      22 |  2378287 |  2068022 |    22021    231 |        5 |      294
1681.09/1681.56	c 1681s |      22 |  2381290 |  2070622 |    22021    231 |        5 |      294
1683.19/1683.63	c 1683s |      22 |  2383963 |  2072922 |    22021    231 |        5 |      294
1685.18/1685.66	c 1685s |      22 |  2386504 |  2075222 |    22021    232 |        5 |      294
1687.18/1687.67	c 1687s |      22 |  2389701 |  2078022 |    22021    232 |        5 |      294
1689.29/1689.72	c 1689s |      22 |  2392690 |  2080622 |    22021    232 |        5 |      294
1691.28/1691.74	c 1691s |      22 |  2395185 |  2082822 |    22021    232 |        5 |      294
1693.28/1693.74	c 1693s |      22 |  2397405 |  2084822 |    22021    233 |        5 |      294
1695.79/1696.23	c 1696s |      22 |  2398185 |  2085522 |    22021    233 |        5 |      294
1697.78/1698.29	c 1698s |      22 |  2401896 |  2088822 |    22021    233 |        5 |      294
1699.88/1700.32	c 1700s |      22 |  2405116 |  2091722 |    22021    233 |        5 |      294
1701.88/1702.33	c 1702s |      22 |  2407964 |  2094222 |    22021    233 |        5 |      294
1703.89/1704.38	c 1704s |      22 |  2410424 |  2096422 |    22021    234 |        5 |      294
1705.99/1706.41	c 1706s |      22 |  2413000 |  2098822 |    22021    234 |        5 |      294
1707.99/1708.45	c 1708s |      22 |  2415929 |  2101222 |    22021    234 |        5 |      294
1710.09/1710.53	c 1710s |      22 |  2418449 |  2103422 |    22021    234 |        5 |      294
1712.09/1712.59	c 1712s |      22 |  2420814 |  2105522 |    22021    234 |        5 |      294
1714.19/1714.61	c 1714s |      22 |  2422379 |  2106922 |    22021    235 |        5 |      294
1716.19/1716.62	c 1716s |      22 |  2425343 |  2109522 |    22021    235 |        5 |      294
1718.18/1718.67	c 1718s |      22 |  2428140 |  2112022 |    22021    235 |        5 |      294
1720.28/1720.74	c 1720s |      22 |  2430861 |  2114522 |    22021    235 |        5 |      294
1722.58/1723.05	c 1722s |      22 |  2431753 |  2115322 |    22021    235 |        5 |      294
1724.58/1725.05	c 1724s |      22 |  2434514 |  2117722 |    22021    235 |        5 |      294
1726.59/1727.09	c 1726s |      22 |  2437464 |  2120322 |    22021    236 |        5 |      294
1728.68/1729.11	c 1728s |      22 |  2439947 |  2122522 |    22021    236 |        5 |      294
1730.68/1731.18	c 1731s |      22 |  2442749 |  2125022 |    22021    236 |        5 |      294
1732.68/1733.19	c 1733s |      22 |  2445529 |  2127422 |    22021    236 |        5 |      294
1734.78/1735.21	c 1735s |      22 |  2448502 |  2129622 |    22021    237 |        5 |      294
1736.78/1737.28	c 1737s |      22 |  2451411 |  2131822 |    22021    237 |        5 |      294
1738.87/1739.31	c 1739s |      22 |  2454350 |  2134122 |    22021    237 |        5 |      294
1740.98/1741.41	c 1741s |      22 |  2456410 |  2136022 |    22021    237 |        5 |      294
1743.08/1743.51	c 1743s |      22 |  2458355 |  2137822 |    22021    237 |        5 |      294
1745.07/1745.54	c 1745s |      22 |  2460170 |  2139422 |    22021    237 |        5 |      294
1747.08/1747.59	c 1747s |      22 |  2462324 |  2141222 |    22021    238 |        5 |      294
1749.18/1749.65	c 1749s |      22 |  2466048 |  2143522 |    22021    238 |        5 |      294
1751.18/1751.69	c 1751s |      22 |  2468756 |  2145322 |    22021    238 |        5 |      294
1753.28/1753.80	c 1753s |      22 |  2471039 |  2147322 |    22021    238 |        5 |      294
1755.38/1755.82	c 1755s |      22 |  2473102 |  2149022 |    22021    238 |        5 |      294
1757.49/1757.91	c 1757s |      22 |  2475016 |  2150622 |    22021    238 |        5 |      294
1759.59/1760.01	c 1759s |      22 |  2477184 |  2152322 |    22021    239 |        5 |      294
1761.58/1762.07	c 1761s |      22 |  2479488 |  2154222 |    22021    239 |        5 |      294
1763.68/1764.10	c 1763s |      22 |  2481638 |  2155922 |    22021    239 |        5 |      294
1765.68/1766.18	c 1766s |      22 |  2484165 |  2157922 |    22021    239 |        5 |      294
1767.78/1768.21	c 1768s |      22 |  2486056 |  2159422 |    22021    239 |        5 |      294
1769.78/1770.25	c 1770s |      22 |  2487663 |  2160822 |    22021    239 |        5 |      294
1772.88/1773.39	c 1773s |      22 |  2489718 |  2162322 |    22021    239 |        5 |      294
1774.98/1775.43	c 1775s |      22 |  2492382 |  2164522 |    22021    240 |        5 |      294
1776.97/1777.45	c 1777s |      22 |  2495314 |  2166922 |    22021    240 |        5 |      294
1779.07/1779.51	c 1779s |      22 |  2498025 |  2169322 |    22021    240 |        5 |      294
1781.07/1781.53	c 1781s |      22 |  2500373 |  2171422 |    22021    240 |        5 |      294
1783.17/1783.61	c 1783s |      22 |  2502260 |  2173122 |    22021    240 |        5 |      294
1785.17/1785.62	c 1785s |      22 |  2504858 |  2175422 |    22021    241 |        5 |      294
1787.18/1787.67	c 1787s |      22 |  2507740 |  2178022 |    22021    241 |        5 |      294
1789.28/1789.70	c 1789s |      22 |  2510433 |  2180422 |    22021    241 |        5 |      294
1791.27/1791.72	c 1791s |      22 |  2512866 |  2182622 |    22021    241 |        5 |      294
1793.27/1793.73	c 1793s |      22 |  2514975 |  2184522 |    22021    241 |        5 |      294
1795.27/1795.79	c 1795s |      22 |  2517725 |  2186922 |    22021    242 |        5 |      294
1797.37/1797.81	c 1797s |      22 |  2520371 |  2189222 |    22021    242 |        5 |      294
1799.47/1799.98	c 1799s |      22 |  2521903 |  2190522 |    22021    242 |        5 |      294

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4096806-1466115960/watcher-4096806-1466115960 -o /tmp/evaluation-result-4096806-1466115960/solver-4096806-1466115960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20139 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096806-1466115960.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 3.05 3.59 3/179 20319
/proc/meminfo: memFree=30921916/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 2902 0 0 0 0 0 0 0 20 0 4 0 13646529 793178112 2752 33554432000 4194304 16246674 140734769211024 140734769210448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 194415 2760 441 2943 0 191309 0
[pid=20319/tid=20320] ppid=20316 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 811003904 2820 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 816246784 2839 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646529 820441088 2855 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.10 3.05 3.59 3/179 20319
/proc/meminfo: memFree=30921916/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 24349 0 0 0 6 3 0 0 20 0 4 0 13646529 1249447936 24137 33554432000 4194304 16246674 140734769211024 140734769210336 6740269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 305041 24145 835 2943 0 301935 0
[pid=20319/tid=20320] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 24150 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 24155 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 24161 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20052 s]
/proc/loadavg: 2.10 3.05 3.59 3/179 20319
/proc/meminfo: memFree=30921916/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 43680 0 0 0 13 6 0 0 20 0 4 0 13646529 1249447936 43468 33554432000 4194304 16246674 140734769211024 140734769210336 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 305041 43482 879 2943 0 301935 0
[pid=20319/tid=20320] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 43490 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 43494 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 43500 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300487 s]
/proc/loadavg: 2.10 3.05 3.59 3/179 20319
/proc/meminfo: memFree=30921916/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 64854 0 0 0 19 10 0 0 20 0 4 0 13646529 1249447936 64642 33554432000 4194304 16246674 140734769211024 140734769210336 5662594 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 305041 64647 879 2943 0 301935 0
[pid=20319/tid=20320] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 64652 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 64656 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 64665 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700399 s]
/proc/loadavg: 2.10 3.05 3.59 3/179 20319
/proc/meminfo: memFree=30921916/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 148202 0 0 0 49 20 0 0 20 0 4 0 13646529 1249447936 147990 33554432000 4194304 16246674 140734769211024 140734769192896 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 305041 147998 879 2943 0 301935 0
[pid=20319/tid=20320] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 148001 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 148005 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646529 1249447936 148012 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.10 3.05 3.59 3/183 20323
/proc/meminfo: memFree=29781836/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 266224 0 0 0 112 37 0 0 20 0 4 0 13646529 1332285440 266012 33554432000 4194304 16246674 140734769211024 140734769192896 5823234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 325265 266012 882 2943 0 322159 0
[pid=20319/tid=20320] ppid=20316 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1332285440 266012 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1332285440 266012 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1332285440 266012 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.09 3.03 3.58 3/175 20431
/proc/meminfo: memFree=30695472/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 267983 0 0 0 272 37 0 0 20 0 4 0 13646529 1338576896 267771 33554432000 4194304 16246674 140734769211024 140734769192896 5827671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 326801 267771 885 2943 0 323695 0
[pid=20319/tid=20320] ppid=20316 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1338576896 267771 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1338576896 267771 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1338576896 267771 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.09 3.03 3.58 3/183 20470
/proc/meminfo: memFree=29621800/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 267987 0 0 0 592 37 0 0 20 0 4 0 13646529 1338576896 267775 33554432000 4194304 16246674 140734769211024 140734769192896 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 326801 267775 885 2943 0 323695 0
[pid=20319/tid=20320] ppid=20316 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1338576896 267775 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1338576896 267775 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1338576896 267775 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 2.08 3.00 3.56 3/182 20470
/proc/meminfo: memFree=29607688/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 269011 0 0 0 1232 37 0 0 20 0 4 0 13646529 1342771200 268799 33554432000 4194304 16246674 140734769211024 140734769192896 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 327825 268799 885 2943 0 324719 0
[pid=20319/tid=20320] ppid=20316 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1342771200 268799 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1342771200 268799 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1342771200 268799 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.14 2.98 3.55 3/183 20471
/proc/meminfo: memFree=29607772/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 269110 0 0 0 2511 37 0 0 20 0 4 0 13646529 1343819776 268896 33554432000 4194304 16246674 140734769211024 140734769192896 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 328081 268896 887 2943 0 324975 0
[pid=20319/tid=20320] ppid=20316 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1343819776 268896 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1343819776 268896 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1343819776 268896 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.17 2.92 3.52 3/183 20471
/proc/meminfo: memFree=29593656/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1316420 CPUtime=51.07 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 270304 0 0 0 5070 37 0 0 20 0 4 0 13646529 1348014080 270081 33554432000 4194304 16246674 140734769211024 140734769192896 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 329105 270081 887 2943 0 325999 0
[pid=20319/tid=20320] ppid=20316 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1348014080 270081 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1348014080 270081 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1348014080 270081 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.07 2.76 3.43 3/183 20472
/proc/meminfo: memFree=29578024/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1327684 CPUtime=102.26 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 273143 0 0 0 10188 38 0 0 20 0 4 0 13646529 1359548416 272897 33554432000 4194304 16246674 140734769211024 140734769192896 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 331921 272897 887 2943 0 328815 0
[pid=20319/tid=20320] ppid=20316 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1359548416 272897 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1359548416 272897 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1359548416 272897 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1327684


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

/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.37 3/183 20504
/proc/meminfo: memFree=29481712/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1361.94 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286710 0 0 0 136137 57 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140734769192896 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286210 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.34 3/183 20505
/proc/meminfo: memFree=29481520/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1421.93 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286710 0 0 0 142135 58 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140734769192896 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286210 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.32 3/184 20509
/proc/meminfo: memFree=29482052/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1481.92 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286710 0 0 0 148133 59 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140734769210120 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286210 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1380932

[startup+1542.31 s]
/proc/loadavg: 2.13 2.06 2.31 3/183 20510
/proc/meminfo: memFree=29482428/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1541.91 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286710 0 0 0 154131 60 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140734769192896 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286210 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286210 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.15 2.07 2.30 3/183 20512
/proc/meminfo: memFree=29480756/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1601.9 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286711 0 0 0 160129 61 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140734769194024 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286466 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.28 3/183 20513
/proc/meminfo: memFree=29480876/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1661.89 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286711 0 0 0 166127 62 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140734769192896 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286466 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.26 3/183 20514
/proc/meminfo: memFree=29480500/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1721.88 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286711 0 0 0 172125 63 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140734769210120 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286466 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20515
/proc/meminfo: memFree=29479724/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1781.87 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286711 0 0 0 178123 64 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140734769192896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286466 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20515
/proc/meminfo: memFree=29479848/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1800.07 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286711 0 0 0 179943 64 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140734769192896 5823363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286466 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1380932

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20515
/proc/meminfo: memFree=29479848/32872528 swapFree=188940/188940
[pid=20319] ppid=20316 vsize=1380932 CPUtime=1800.07 cores=0,2,4,6
/proc/20319/stat : 20319 (toysat) R 20316 20319 17164 0 -1 4202496 286711 0 0 0 179943 64 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140734769192896 5823363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20319/statm: 345233 286466 888 2943 0 342127 0
[pid=20319/tid=20320] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20320/stat : 20320 (toysat) S 20316 20319 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140430004956400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20319/tid=20321] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20321/stat : 20321 (toysat) S 20316 20319 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429994466544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20319/tid=20322] ppid=20316 vsize=1380932 CPUtime=0 cores=0,2,4,6
/proc/20319/task/20322/stat : 20322 (toysat) S 20316 20319 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13646529 1414074368 286466 33554432000 4194304 16246674 140734769211024 140429983993008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1380932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.44
CPU system time (s): 0.646901
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.646901
maximum resident set size= 1145864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286711
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= 305
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.93225 second user time and 6.83796 second system time

The end

Begin job on node102 at 2016-06-17 00:26:00
IDJOB=4096806
IDBENCH=107667
IDSOLVER=2542
FILE ID=node102/4096806-1466115960
RUNJOBID= node102-1466115959-20139
PBS_JOBID= 19904127
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 735c3c89afe1f0bfc48b6698e9f5a697
RANDOM SEED=951018196

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30936472 kB
Buffers:           46268 kB
Cached:           166964 kB
SwapCached:         1412 kB
Active:           955844 kB
Inactive:          89196 kB
Active(anon):     833232 kB
Inactive(anon):     1076 kB
Active(file):     122612 kB
Inactive(file):    88120 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             33044 kB
Writeback:             0 kB
AnonPages:       1020116 kB
Mapped:             9960 kB
Shmem:                 0 kB
Slab:             571000 kB
SReclaimable:      14328 kB
SUnreclaim:       556672 kB
KernelStack:        1464 kB
PageTables:         6420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1317756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71696 MiB
End job on node102 at 2016-06-17 00:56:01