0.00/0.00	c 2016-06-06T21:22:42+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-4078767-1465240962.opb"]
0.00/0.01	c use --random-gen="902306987 3857479110 840526836 1180639394 3434722214 2845611717 1586728816 3104405715 3555266235 2281846183 2704803006 343842701 1646954990 4143288430 981153129 31038533 3726212953 2696884514 2818720317 1656518614 708506197 4198297747 883314697 2327786196 599066113 2504359346 535659414 537242268 2365751879 245142967 2462106578 282267050 397643185 3765030998 1743535981 3927157189 2345445326 1736675119 1054790669 3203664813 1176077807 1487038264 437534437 507791433 821403501 1849080724 1934651691 232998458 520744244 3823019025 669282152 4124641434 4131339280 1056094189 1601243892 471784532 1131942178 1972691884 588891908 870481261 3771428505 1736901867 1389585060 3201925406 1880423876 3062032695 3441465143 2238243168 923106607 2520665324 10756078 715924479 621609814 2959235694 1730495987 2170970930 829112365 60498070 2844889259 1856618507 952679901 4104568636 151421731 3309011943 3449427113 2199367232 3322985828 3067187585 208975342 2845116229 3428824036 2256491955 147999622 754815317 2290452712 3248319031 1617628135 124797751 1966715546 1373258530 987685261 2273842175 3888501855 3470462613 173347910 593649375 2574635858 2685579067 2036459081 4049618436 2365663550 3414709846 4175568282 4079252732 31609441 3062573760 4013530447 304056688 262196437 3094420039 1207090247 2724787969 2924889102 2735618063 2939236160 3684846078 3985152166 3034884934 2107683129 253532654 873384120 2044360002 2715514553 1731937425 3760610265 2694550948 3379188555 3165053271 2723584855 2928331147 4112685732 4032485765 1280520803 2090781142 4061284481 4271504692 3393855132 1425284996 2999190146 855449110 2503401549 3632713532 212555752 2540694904 1805842187 3471372639 1923719169 81579895 1540303485 2668781317 3104727484 1466015189 346114814 1496253204 3282088170 814239538 4196334619 347924068 2936823686 1389998132 3803831708 3435393333 2018926796 1825504845 1931467611 1437844996 1172819911 2475867114 4103192160 52476271 188267603 3956880854 865649075 2169655720 3864063456 841112595 1966148615 86017778 1485390337 1414326748 1199174646 3913101318 684929902 3528781685 4178013452 1618025888 3706249014 3287350048 1067397906 3577375114 2315183346 354146128 3701285613 2334069129 1322359571 3858208745 654886898 413690907 1671559406 1325962815 3977307372 203788837 4078371580 1675131190 1927134102 1657317031 1251149717 1216621380 4097028200 884027050 3581950248 1936771161 2798020848 247217959 4081946201 3989107141 3809219414 2441436292 3963849696 3203141633 4282273887 2975003302 2657157727 2509144602 3000348522 2216371602 105499766 1925426608 2423909889 682411947 282028609 2751860318 3960725676 1735905100 4276249251 1929670469 3063521196 2447978460 4143016203 3652607496 258398967 2303585633 1341380952 2854671848 2472107776 2219325178 255 362436" option to reproduce the execution
0.00/0.01	c #vars 1050
0.00/0.01	c #constraints 65
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      371      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      147 |      100 |      371      0 |        0 |        0
0.09/0.14	c  0.1s |       2 |      763 |      250 |      409      0 |        0 |        0
0.29/0.31	c  0.3s |       3 |     1441 |      475 |      450      0 |        0 |        0
0.49/0.56	c  0.5s |       4 |     2711 |      813 |      496      1 |        0 |        0
0.79/0.87	c  0.9s |       5 |     3961 |     1320 |      546      2 |        0 |        0
1.29/1.31	c  1.3s |       6 |     5716 |     2081 |      662      3 |        0 |        0
1.99/2.00	c  2.0s |       7 |     7603 |     3223 |      729      5 |        0 |        0
2.89/2.99	c  3.0s |       8 |    10190 |     4936 |      802      7 |        0 |        0
4.40/4.42	c  4.4s |       9 |    13533 |     7506 |      883     12 |        0 |        0
6.39/6.43	c  6.4s |       9 |    17035 |    10006 |      883     15 |        0 |        0
7.59/7.67	c  7.7s |      10 |    18547 |    11361 |      972     16 |        0 |        0
9.69/9.71	c  9.7s |      10 |    22302 |    13861 |      972     19 |        0 |        0
11.68/11.77	c 11.8s |      10 |    24831 |    16161 |      972     21 |        0 |        0
12.58/12.62	c 12.6s |      11 |    25941 |    17144 |     1070     22 |        0 |        0
14.58/14.63	c 14.6s |      11 |    29778 |    19844 |     1070     25 |        0 |        0
16.68/16.72	c 16.7s |      11 |    32517 |    22244 |     1070     27 |        0 |        0
18.69/18.77	c 18.8s |      11 |    34874 |    24344 |     1070     29 |        0 |        0
20.18/20.26	c 20.2s |      12 |    36479 |    25819 |     1177     31 |        0 |        0
22.28/22.35	c 22.3s |      12 |    40687 |    28819 |     1177     34 |        0 |        0
24.39/24.44	c 24.4s |      12 |    43278 |    31119 |     1177     36 |        0 |        0
26.40/26.48	c 26.5s |      12 |    45950 |    33419 |     1177     38 |        0 |        0
28.49/28.58	c 28.6s |      12 |    48643 |    35819 |     1177     40 |        0 |        0
30.59/30.65	c 30.6s |      12 |    51225 |    38119 |     1177     43 |        0 |        0
31.09/31.15	c 31.1s |      13 |    52030 |    38832 |     1295     43 |        0 |        0
33.09/33.17	c 33.2s |      13 |    55993 |    41832 |     1295     46 |        0 |        0
35.08/35.19	c 35.2s |      13 |    58405 |    44032 |     1295     48 |        0 |        0
37.18/37.22	c 37.2s |      13 |    60722 |    46132 |     1295     50 |        0 |        0
39.18/39.23	c 39.2s |      13 |    62911 |    48132 |     1295     52 |        0 |        0
41.18/41.27	c 41.3s |      13 |    65202 |    50232 |     1295     53 |        0 |        0
43.28/43.32	c 43.3s |      13 |    67491 |    52332 |     1295     55 |        0 |        0
45.29/45.39	c 45.4s |      13 |    69758 |    54432 |     1295     57 |        0 |        0
47.39/47.40	c 47.4s |      13 |    72487 |    56832 |     1295     59 |        0 |        0
48.68/48.73	c 48.7s |      14 |    74196 |    58352 |     1425     60 |        0 |        0
50.69/50.77	c 50.8s |      14 |    77925 |    60952 |     1425     63 |        0 |        0
52.79/52.84	c 52.8s |      14 |    80346 |    63052 |     1425     64 |        0 |        0
54.78/54.86	c 54.8s |      14 |    82519 |    64952 |     1425     66 |        0 |        0
56.88/56.92	c 56.9s |      14 |    84851 |    66952 |     1425     68 |        0 |        0
58.98/59.04	c 59.0s |      14 |    87195 |    68952 |     1425     70 |        0 |        0
60.98/61.05	c 61.0s |      14 |    89465 |    70952 |     1425     71 |        0 |        0
62.98/63.06	c 63.0s |      14 |    91610 |    72852 |     1425     73 |        0 |        0
65.08/65.11	c 65.1s |      14 |    93726 |    74752 |     1425     74 |        0 |        0
67.08/67.11	c 67.1s |      14 |    95654 |    76452 |     1425     76 |        0 |        0
69.18/69.20	c 69.2s |      14 |    97827 |    78352 |     1425     77 |        0 |        0
71.18/71.28	c 71.3s |      14 |   100153 |    80352 |     1425     79 |        0 |        0
73.27/73.34	c 73.3s |      14 |   102542 |    82452 |     1425     81 |        0 |        0
75.27/75.36	c 75.3s |      14 |   104665 |    84252 |     1425     83 |        0 |        0
77.37/77.40	c 77.4s |      14 |   106987 |    86252 |     1425     84 |        0 |        0
78.68/78.77	c 78.8s |      15 |   108576 |    87632 |     1568     85 |        0 |        0
80.68/80.78	c 80.8s |      15 |   111561 |    89632 |     1568     87 |        0 |        0
82.78/82.89	c 82.9s |      15 |   113550 |    91332 |     1568     88 |        0 |        0
84.88/84.99	c 85.0s |      15 |   115176 |    92732 |     1568     89 |        0 |        0
86.98/87.07	c 87.1s |      15 |   116955 |    94232 |     1568     91 |        0 |        0
89.08/89.20	c 89.2s |      15 |   118732 |    95832 |     1568     92 |        0 |        0
91.28/91.32	c 91.3s |      15 |   120390 |    97332 |     1568     93 |        0 |        0
93.37/93.42	c 93.4s |      15 |   121936 |    98732 |     1568     94 |        0 |        0
95.37/95.42	c 95.4s |      15 |   123706 |   100132 |     1568     95 |        0 |        0
97.47/97.55	c 97.5s |      15 |   125528 |   101632 |     1568     97 |        0 |        0
99.57/99.68	c 99.7s |      15 |   127311 |   103232 |     1568     98 |        0 |        0
101.78/101.82	c  101s |      15 |   128845 |   104632 |     1568     99 |        0 |        0
103.78/103.82	c  103s |      15 |   130661 |   106232 |     1568    100 |        0 |        0
105.77/105.87	c  105s |      15 |   132493 |   107832 |     1568    101 |        0 |        0
107.88/107.94	c  107s |      15 |   134197 |   109332 |     1568    103 |        0 |        0
109.87/109.97	c  109s |      15 |   135993 |   110932 |     1568    104 |        0 |        0
111.97/112.01	c  111s |      15 |   137663 |   112432 |     1568    105 |        0 |        0
114.07/114.11	c  114s |      15 |   139258 |   113832 |     1568    106 |        0 |        0
116.17/116.20	c  116s |      15 |   140957 |   115332 |     1568    107 |        0 |        0
118.17/118.28	c  118s |      15 |   142905 |   117032 |     1568    109 |        0 |        0
120.27/120.35	c  120s |      15 |   144670 |   118632 |     1568    110 |        0 |        0
122.37/122.48	c  122s |      15 |   146442 |   120132 |     1568    111 |        0 |        0
124.37/124.48	c  124s |      15 |   148011 |   121532 |     1568    112 |        0 |        0
126.47/126.58	c  126s |      15 |   149701 |   123032 |     1568    114 |        0 |        0
128.56/128.63	c  128s |      15 |   151406 |   124532 |     1568    115 |        0 |        0
130.56/130.66	c  130s |      15 |   152914 |   125832 |     1568    116 |        0 |        0
132.66/132.73	c  132s |      15 |   154662 |   127332 |     1568    117 |        0 |        0
134.76/134.82	c  134s |      15 |   156477 |   128932 |     1568    118 |        0 |        0
136.86/136.94	c  136s |      15 |   158351 |   130532 |     1568    120 |        0 |        0
138.46/138.57	c  138s |      16 |   159493 |   131552 |     1725    120 |        0 |        0
140.56/140.60	c  140s |      16 |   163290 |   134152 |     1725    122 |        0 |        0
142.66/142.72	c  142s |      16 |   165766 |   136352 |     1725    124 |        0 |        0
144.77/144.82	c  144s |      16 |   168157 |   138452 |     1725    126 |        0 |        0
146.77/146.86	c  146s |      16 |   170559 |   140552 |     1725    127 |        0 |        0
148.87/148.95	c  148s |      16 |   172870 |   142652 |     1725    129 |        0 |        0
150.97/151.04	c  151s |      16 |   174956 |   144552 |     1725    130 |        0 |        0
153.07/153.12	c  153s |      16 |   177181 |   146552 |     1725    132 |        0 |        0
155.08/155.18	c  155s |      16 |   179619 |   148652 |     1725    133 |        0 |        0
157.17/157.24	c  157s |      16 |   182011 |   150752 |     1725    135 |        0 |        0
159.27/159.32	c  159s |      16 |   184297 |   152752 |     1725    136 |        0 |        0
161.37/161.42	c  161s |      16 |   186851 |   154952 |     1725    138 |        0 |        0
163.47/163.53	c  163s |      16 |   189098 |   156952 |     1725    140 |        0 |        0
165.47/165.58	c  165s |      16 |   191321 |   158952 |     1725    141 |        0 |        0
167.57/167.60	c  167s |      16 |   193946 |   161152 |     1725    143 |        0 |        0
169.57/169.63	c  169s |      16 |   196232 |   163152 |     1725    144 |        0 |        0
171.57/171.69	c  171s |      16 |   198557 |   165152 |     1725    146 |        0 |        0
173.66/173.74	c  173s |      16 |   200837 |   167152 |     1725    147 |        0 |        0
175.76/175.83	c  175s |      16 |   203046 |   169152 |     1725    149 |        0 |        0
177.76/177.90	c  177s |      16 |   205300 |   171152 |     1725    150 |        0 |        0
179.86/179.92	c  179s |      16 |   207670 |   173252 |     1725    152 |        0 |        0
181.96/182.06	c  182s |      16 |   210013 |   175352 |     1725    154 |        0 |        0
184.06/184.16	c  184s |      16 |   212335 |   177452 |     1725    155 |        0 |        0
186.16/186.20	c  186s |      16 |   214611 |   179452 |     1725    157 |        0 |        0
188.17/188.26	c  188s |      16 |   216599 |   181252 |     1725    158 |        0 |        0
190.16/190.28	c  190s |      16 |   218541 |   182952 |     1725    159 |        0 |        0
192.26/192.31	c  192s |      16 |   220579 |   184752 |     1725    161 |        0 |        0
194.26/194.39	c  194s |      16 |   222599 |   186552 |     1725    162 |        0 |        0
196.36/196.44	c  196s |      16 |   224354 |   188152 |     1725    163 |        0 |        0
198.46/198.51	c  198s |      16 |   226581 |   190152 |     1725    165 |        0 |        0
200.56/200.62	c  200s |      16 |   228749 |   192152 |     1725    166 |        0 |        0
202.56/202.66	c  202s |      16 |   230723 |   193952 |     1725    168 |        0 |        0
204.57/204.67	c  204s |      16 |   232463 |   195552 |     1725    169 |        0 |        0
206.26/206.38	c  206s |      17 |   234635 |   197432 |     1898    170 |        0 |        0
208.36/208.43	c  208s |      17 |   238065 |   200032 |     1898    172 |        0 |        0
210.36/210.46	c  210s |      17 |   240472 |   202132 |     1898    174 |        0 |        0
212.46/212.56	c  212s |      17 |   242905 |   204332 |     1898    175 |        0 |        0
214.46/214.59	c  214s |      17 |   245120 |   206332 |     1898    177 |        0 |        0
216.56/216.66	c  216s |      17 |   247614 |   208432 |     1898    178 |        0 |        0
218.56/218.69	c  218s |      17 |   250036 |   210532 |     1898    180 |        0 |        0
220.66/220.74	c  220s |      17 |   252298 |   212532 |     1898    181 |        0 |        0
222.66/222.77	c  222s |      17 |   254530 |   214532 |     1898    182 |        0 |        0
224.66/224.78	c  224s |      17 |   256652 |   216432 |     1898    184 |        0 |        0
226.76/226.80	c  226s |      17 |   258853 |   218432 |     1898    185 |        0 |        0
228.76/228.82	c  228s |      17 |   261002 |   220332 |     1898    186 |        0 |        0
230.75/230.85	c  230s |      17 |   263240 |   222332 |     1898    188 |        0 |        0
232.85/232.94	c  232s |      17 |   265479 |   224332 |     1898    189 |        0 |        0
234.85/234.99	c  234s |      17 |   267500 |   226132 |     1898    191 |        0 |        0
236.95/237.02	c  237s |      17 |   269720 |   228132 |     1898    192 |        0 |        0
238.95/239.02	c  239s |      17 |   271768 |   229932 |     1898    193 |        0 |        0
241.05/241.12	c  241s |      17 |   273837 |   231732 |     1898    195 |        0 |        0
243.06/243.19	c  243s |      17 |   275805 |   233532 |     1898    196 |        0 |        0
245.15/245.25	c  245s |      17 |   277974 |   235432 |     1898    197 |        0 |        0
247.15/247.26	c  247s |      17 |   279868 |   237132 |     1898    198 |        0 |        0
249.25/249.35	c  249s |      17 |   281743 |   238832 |     1898    199 |        0 |        0
251.35/251.42	c  251s |      17 |   283994 |   240832 |     1898    201 |        0 |        0
253.35/253.46	c  253s |      17 |   286114 |   242732 |     1898    202 |        0 |        0
255.45/255.59	c  255s |      17 |   288189 |   244532 |     1898    204 |        0 |        0
257.54/257.63	c  257s |      17 |   289966 |   246132 |     1898    205 |        0 |        0
259.55/259.67	c  259s |      17 |   291757 |   247732 |     1898    206 |        0 |        0
261.54/261.68	c  261s |      17 |   293655 |   249432 |     1898    207 |        0 |        0
263.64/263.77	c  263s |      17 |   295648 |   251232 |     1898    208 |        0 |        0
265.74/265.86	c  265s |      17 |   297563 |   252932 |     1898    209 |        0 |        0
267.84/267.96	c  267s |      17 |   299305 |   254532 |     1898    211 |        0 |        0
269.84/269.98	c  269s |      17 |   301572 |   256532 |     1898    212 |        0 |        0
271.94/272.01	c  271s |      17 |   303666 |   258432 |     1898    213 |        0 |        0
274.04/274.11	c  274s |      17 |   305662 |   260232 |     1898    215 |        0 |        0
276.05/276.16	c  276s |      17 |   307402 |   261832 |     1898    216 |        0 |        0
278.14/278.21	c  278s |      17 |   309668 |   263832 |     1898    217 |        0 |        0
280.24/280.35	c  280s |      17 |   311885 |   265832 |     1898    219 |        0 |        0
282.34/282.40	c  282s |      17 |   313907 |   267632 |     1898    220 |        0 |        0
284.44/284.52	c  284s |      17 |   315919 |   269432 |     1898    221 |        0 |        0
286.54/286.65	c  286s |      17 |   318269 |   271532 |     1898    223 |        0 |        0
288.64/288.72	c  288s |      17 |   320238 |   273332 |     1898    224 |        0 |        0
290.64/290.72	c  290s |      17 |   322087 |   275032 |     1898    225 |        0 |        0
292.65/292.77	c  292s |      17 |   323949 |   276732 |     1898    226 |        0 |        0
294.64/294.80	c  294s |      17 |   325600 |   278232 |     1898    227 |        0 |        0
296.74/296.81	c  296s |      17 |   328143 |   280432 |     1898    229 |        0 |        0
298.84/298.90	c  298s |      17 |   330583 |   282632 |     1898    230 |        0 |        0
300.85/300.93	c  300s |      17 |   332937 |   284732 |     1898    232 |        0 |        0
302.95/303.00	c  302s |      17 |   335212 |   286732 |     1898    233 |        0 |        0
304.95/305.02	c  304s |      17 |   337373 |   288632 |     1898    235 |        0 |        0
306.95/307.09	c  307s |      17 |   339452 |   290532 |     1898    236 |        0 |        0
308.94/309.09	c  309s |      17 |   341417 |   292332 |     1898    237 |        0 |        0
311.04/311.16	c  311s |      17 |   343283 |   294032 |     1898    238 |        0 |        0
313.04/313.17	c  313s |      17 |   345056 |   295632 |     2088    239 |        0 |        0
313.74/313.85	c  313s |      18 |   345772 |   296252 |     2088    240 |        0 |        0
315.84/315.92	c  315s |      18 |   349871 |   298952 |     2088    242 |        0 |        0
317.85/317.98	c  317s |      18 |   352377 |   301052 |     2088    243 |        0 |        0
319.84/319.98	c  319s |      18 |   354658 |   303052 |     2088    244 |        0 |        0
321.94/322.05	c  322s |      18 |   356664 |   304852 |     2088    245 |        0 |        0
324.04/324.11	c  324s |      18 |   358798 |   306752 |     2088    247 |        0 |        0
326.04/326.15	c  326s |      18 |   360925 |   308652 |     2088    248 |        0 |        0
328.04/328.18	c  328s |      18 |   362967 |   310452 |     2088    249 |        0 |        0
330.14/330.26	c  330s |      18 |   365221 |   312452 |     2088    250 |        0 |        0
332.15/332.27	c  332s |      18 |   367500 |   314452 |     2088    252 |        0 |        0
334.24/334.32	c  334s |      18 |   369605 |   316352 |     2088    253 |        0 |        0
336.24/336.34	c  336s |      18 |   371613 |   318152 |     2088    254 |        0 |        0
338.24/338.36	c  338s |      18 |   373416 |   319752 |     2088    255 |        0 |        0
340.34/340.43	c  340s |      18 |   375304 |   321452 |     2088    256 |        0 |        0
342.34/342.48	c  342s |      18 |   377315 |   323252 |     2088    258 |        0 |        0
344.43/344.51	c  344s |      18 |   379236 |   324952 |     2088    259 |        0 |        0
346.44/346.54	c  346s |      18 |   381423 |   326852 |     2088    260 |        0 |        0
348.53/348.62	c  348s |      18 |   383382 |   328552 |     2088    261 |        0 |        0
350.53/350.66	c  350s |      18 |   385150 |   330152 |     2088    262 |        0 |        0
352.54/352.68	c  352s |      18 |   387356 |   332052 |     2088    263 |        0 |        0
354.54/354.69	c  354s |      18 |   389214 |   333652 |     2088    264 |        0 |        0
356.64/356.75	c  356s |      18 |   390840 |   335152 |     2088    265 |        0 |        0
358.73/358.81	c  358s |      18 |   392774 |   336852 |     2088    266 |        0 |        0
360.74/360.89	c  360s |      18 |   394714 |   338452 |     2088    268 |        0 |        0
362.83/362.95	c  362s |      18 |   396378 |   339952 |     2088    269 |        0 |        0
364.83/364.96	c  364s |      18 |   398333 |   341652 |     2088    270 |        0 |        0
366.93/367.03	c  367s |      18 |   400835 |   343852 |     2088    271 |        0 |        0
368.93/369.05	c  369s |      18 |   403222 |   345952 |     2088    272 |        0 |        0
370.93/371.09	c  371s |      18 |   405553 |   347852 |     2088    274 |        0 |        0
373.03/373.15	c  373s |      18 |   407618 |   349652 |     2088    275 |        0 |        0
375.14/375.24	c  375s |      18 |   409481 |   351352 |     2088    276 |        0 |        0
377.23/377.30	c  377s |      18 |   411428 |   353052 |     2088    277 |        0 |        0
379.23/379.31	c  379s |      18 |   413307 |   354752 |     2088    278 |        0 |        0
381.23/381.34	c  381s |      18 |   415234 |   356452 |     2088    279 |        0 |        0
383.23/383.38	c  383s |      18 |   417248 |   358252 |     2088    281 |        0 |        0
385.23/385.39	c  385s |      18 |   419172 |   359952 |     2088    282 |        0 |        0
387.43/387.52	c  387s |      18 |   420885 |   361452 |     2088    283 |        0 |        0
389.52/389.64	c  389s |      18 |   422858 |   363152 |     2088    284 |        0 |        0
391.53/391.70	c  391s |      18 |   424689 |   364752 |     2088    285 |        0 |        0
393.62/393.74	c  393s |      18 |   426412 |   366252 |     2088    286 |        0 |        0
395.63/395.74	c  395s |      18 |   428018 |   367652 |     2088    287 |        0 |        0
397.63/397.78	c  397s |      18 |   429687 |   369152 |     2088    288 |        0 |        0
399.73/399.82	c  399s |      18 |   431363 |   370652 |     2088    289 |        0 |        0
401.73/401.85	c  401s |      18 |   432937 |   372052 |     2088    290 |        0 |        0
403.83/403.93	c  403s |      18 |   434495 |   373452 |     2088    291 |        0 |        0
406.03/406.11	c  406s |      18 |   436049 |   374852 |     2088    292 |        0 |        0
408.04/408.13	c  408s |      18 |   437505 |   376152 |     2088    292 |        0 |        0
410.03/410.16	c  410s |      18 |   438987 |   377452 |     2088    293 |        0 |        0
412.03/412.19	c  412s |      18 |   440608 |   378852 |     2088    294 |        0 |        0
414.13/414.20	c  414s |      18 |   442215 |   380252 |     2088    295 |        0 |        0
416.13/416.26	c  416s |      18 |   443704 |   381552 |     2088    296 |        0 |        0
418.13/418.27	c  418s |      18 |   445190 |   382852 |     2088    297 |        0 |        0
420.24/420.38	c  420s |      18 |   446523 |   384052 |     2088    298 |        0 |        0
422.43/422.52	c  422s |      18 |   448021 |   385352 |     2088    298 |        0 |        0
424.43/424.54	c  424s |      18 |   450122 |   387152 |     2088    300 |        0 |        0
426.43/426.57	c  426s |      18 |   452168 |   388952 |     2088    301 |        0 |        0
428.53/428.66	c  428s |      18 |   454080 |   390652 |     2088    302 |        0 |        0
430.53/430.68	c  430s |      18 |   455878 |   392252 |     2088    303 |        0 |        0
432.63/432.73	c  432s |      18 |   458728 |   394452 |     2088    304 |        0 |        0
434.62/434.79	c  434s |      18 |   461165 |   396552 |     2088    306 |        0 |        0
436.73/436.89	c  436s |      18 |   463180 |   398352 |     2088    307 |        0 |        0
438.83/438.93	c  438s |      18 |   465361 |   400252 |     2088    308 |        0 |        0
440.82/440.96	c  440s |      18 |   467277 |   401952 |     2088    309 |        0 |        0
442.92/443.05	c  443s |      18 |   469368 |   403752 |     2088    311 |        0 |        0
445.02/445.14	c  445s |      18 |   471346 |   405452 |     2088    312 |        0 |        0
447.02/447.15	c  447s |      18 |   472928 |   406852 |     2088    313 |        0 |        0
449.02/449.19	c  449s |      18 |   474903 |   408552 |     2088    314 |        0 |        0
451.12/451.27	c  451s |      18 |   476553 |   410052 |     2088    315 |        0 |        0
453.23/453.31	c  453s |      18 |   478919 |   411952 |     2088    316 |        0 |        0
455.22/455.39	c  455s |      18 |   481316 |   413952 |     2088    317 |        0 |        0
457.42/457.52	c  457s |      18 |   483331 |   415752 |     2088    318 |        0 |        0
459.52/459.64	c  459s |      18 |   485097 |   417352 |     2088    320 |        0 |        0
461.52/461.68	c  461s |      18 |   486784 |   418852 |     2088    321 |        0 |        0
463.52/463.69	c  463s |      18 |   489569 |   421252 |     2088    322 |        0 |        0
465.62/465.77	c  465s |      18 |   491768 |   423252 |     2088    323 |        0 |        0
467.72/467.80	c  467s |      18 |   493782 |   425052 |     2088    325 |        0 |        0
469.72/469.81	c  469s |      18 |   495812 |   426852 |     2088    326 |        0 |        0
471.71/471.82	c  471s |      18 |   497828 |   428652 |     2088    327 |        0 |        0
473.71/473.88	c  473s |      18 |   499657 |   430352 |     2088    328 |        0 |        0
475.81/475.93	c  475s |      18 |   501555 |   432052 |     2088    329 |        0 |        0
477.81/477.96	c  477s |      18 |   503951 |   434052 |     2088    331 |        0 |        0
479.91/480.00	c  479s |      18 |   505930 |   435852 |     2088    332 |        0 |        0
481.91/482.04	c  482s |      18 |   508156 |   437752 |     2088    333 |        0 |        0
484.02/484.11	c  484s |      18 |   510211 |   439552 |     2088    334 |        0 |        0
486.01/486.18	c  486s |      18 |   512294 |   441352 |     2297    335 |        0 |        0
488.21/488.30	c  488s |      18 |   514701 |   443352 |     2297    337 |        0 |        0
489.42/489.60	c  489s |      19 |   516042 |   444482 |     2297    337 |        0 |        0
491.51/491.69	c  491s |      19 |   519907 |   446982 |     2297    339 |        0 |        0
493.61/493.70	c  493s |      19 |   522085 |   448882 |     2297    340 |        0 |        0
495.61/495.72	c  495s |      19 |   524066 |   450682 |     2297    341 |        0 |        0
497.61/497.73	c  497s |      19 |   526388 |   452682 |     2297    342 |        0 |        0
499.71/499.81	c  499s |      19 |   528897 |   454882 |     2297    344 |        0 |        0
501.71/501.88	c  501s |      19 |   531018 |   456782 |     2297    345 |        0 |        0
503.82/503.91	c  503s |      19 |   533060 |   458582 |     2297    346 |        0 |        0
505.81/505.94	c  505s |      19 |   534947 |   460282 |     2297    347 |        0 |        0
507.81/507.99	c  507s |      19 |   536844 |   461982 |     2297    348 |        0 |        0
509.91/510.06	c  510s |      19 |   538818 |   463782 |     2297    349 |        0 |        0
512.01/512.13	c  512s |      19 |   540658 |   465482 |     2297    350 |        0 |        0
514.01/514.19	c  514s |      19 |   542510 |   467182 |     2297    351 |        0 |        0
516.11/516.25	c  516s |      19 |   544370 |   468882 |     2297    352 |        0 |        0
518.21/518.36	c  518s |      19 |   546258 |   470582 |     2297    353 |        0 |        0
520.21/520.39	c  520s |      19 |   548123 |   472282 |     2297    354 |        0 |        0
522.41/522.52	c  522s |      19 |   550028 |   473982 |     2297    355 |        0 |        0
524.50/524.68	c  524s |      19 |   551893 |   475682 |     2297    357 |        0 |        0
526.60/526.80	c  526s |      19 |   553682 |   477282 |     2297    358 |        0 |        0
528.70/528.89	c  528s |      19 |   555772 |   479182 |     2297    359 |        0 |        0
530.80/530.99	c  530s |      19 |   557509 |   480782 |     2297    360 |        0 |        0
532.90/533.08	c  533s |      19 |   559148 |   482282 |     2297    361 |        0 |        0
535.00/535.12	c  535s |      19 |   561199 |   484082 |     2297    362 |        0 |        0
537.00/537.19	c  537s |      19 |   562872 |   485582 |     2297    363 |        0 |        0
539.10/539.24	c  539s |      19 |   564751 |   487182 |     2297    364 |        0 |        0
541.21/541.38	c  541s |      19 |   566281 |   488582 |     2297    364 |        0 |        0
543.20/543.38	c  543s |      19 |   568020 |   490182 |     2297    365 |        0 |        0
545.30/545.42	c  545s |      19 |   570044 |   491982 |     2297    367 |        0 |        0
547.30/547.48	c  547s |      19 |   571926 |   493682 |     2297    368 |        0 |        0
549.40/549.58	c  549s |      19 |   573779 |   495382 |     2297    369 |        0 |        0
551.50/551.63	c  551s |      19 |   575427 |   496882 |     2297    370 |        0 |        0
553.60/553.70	c  553s |      19 |   577246 |   498482 |     2297    371 |        0 |        0
555.60/555.72	c  555s |      19 |   579014 |   500082 |     2297    372 |        0 |        0
557.62/557.73	c  557s |      19 |   580653 |   501582 |     2297    372 |        0 |        0
559.61/559.77	c  559s |      19 |   582530 |   503182 |     2297    373 |        0 |        0
561.71/561.82	c  561s |      19 |   584399 |   504882 |     2297    374 |        0 |        0
563.81/563.95	c  563s |      19 |   586269 |   506582 |     2297    375 |        0 |        0
565.91/566.01	c  565s |      19 |   587889 |   508082 |     2297    376 |        0 |        0
568.01/568.14	c  568s |      19 |   589424 |   509482 |     2297    377 |        0 |        0
570.01/570.19	c  570s |      19 |   591462 |   511282 |     2297    378 |        0 |        0
572.11/572.28	c  572s |      19 |   593064 |   512782 |     2297    379 |        0 |        0
574.31/574.41	c  574s |      19 |   594709 |   514282 |     2297    380 |        0 |        0
576.31/576.46	c  576s |      19 |   596345 |   515782 |     2297    381 |        0 |        0
578.41/578.57	c  578s |      19 |   598472 |   517682 |     2297    382 |        0 |        0
580.50/580.66	c  580s |      19 |   600404 |   519382 |     2297    383 |        0 |        0
582.50/582.67	c  582s |      19 |   602274 |   521082 |     2297    384 |        0 |        0
584.60/584.75	c  584s |      19 |   604047 |   522682 |     2297    385 |        0 |        0
586.60/586.78	c  586s |      19 |   605716 |   524182 |     2297    386 |        0 |        0
588.80/588.93	c  588s |      19 |   607340 |   525682 |     2297    387 |        0 |        0
590.80/590.96	c  590s |      19 |   609137 |   527282 |     2297    388 |        0 |        0
592.91/593.03	c  593s |      19 |   610949 |   528982 |     2297    389 |        0 |        0
595.01/595.12	c  595s |      19 |   612806 |   530682 |     2297    390 |        0 |        0
597.00/597.12	c  597s |      19 |   614575 |   532282 |     2297    391 |        0 |        0
599.10/599.23	c  599s |      19 |   617102 |   534382 |     2297    393 |        0 |        0
601.10/601.25	c  601s |      19 |   619070 |   536082 |     2297    394 |        0 |        0
603.20/603.31	c  603s |      19 |   621149 |   537882 |     2297    395 |        0 |        0
605.20/605.33	c  605s |      19 |   623170 |   539682 |     2297    396 |        0 |        0
607.21/607.36	c  607s |      19 |   625141 |   541382 |     2297    397 |        0 |        0
609.31/609.47	c  609s |      19 |   627101 |   543082 |     2297    398 |        0 |        0
611.40/611.54	c  611s |      19 |   629055 |   544782 |     2297    399 |        0 |        0
613.50/613.67	c  613s |      19 |   631010 |   546482 |     2297    400 |        0 |        0
615.60/615.72	c  615s |      19 |   632855 |   548082 |     2297    401 |        0 |        0
617.60/617.72	c  617s |      19 |   634666 |   549682 |     2297    402 |        0 |        0
619.60/619.74	c  619s |      19 |   636509 |   551282 |     2297    403 |        0 |        0
621.60/621.79	c  621s |      19 |   638677 |   553182 |     2297    404 |        0 |        0
623.80/623.92	c  623s |      19 |   640455 |   554782 |     2297    405 |        0 |        0
625.90/626.03	c  626s |      19 |   642416 |   556482 |     2297    406 |        0 |        0
627.90/628.09	c  628s |      19 |   644369 |   558182 |     2297    407 |        0 |        0
630.00/630.12	c  630s |      19 |   646016 |   559682 |     2297    408 |        0 |        0
632.00/632.13	c  632s |      19 |   647610 |   561082 |     2297    409 |        0 |        0
634.10/634.24	c  634s |      19 |   649149 |   562482 |     2297    410 |        0 |        0
636.10/636.26	c  636s |      19 |   650836 |   563982 |     2297    411 |        0 |        0
638.20/638.38	c  638s |      19 |   652250 |   565282 |     2297    412 |        0 |        0
640.20/640.39	c  640s |      19 |   653867 |   566682 |     2297    413 |        0 |        0
642.30/642.46	c  642s |      19 |   655504 |   568182 |     2297    413 |        0 |        0
644.40/644.58	c  644s |      19 |   657037 |   569582 |     2297    414 |        0 |        0
646.49/646.65	c  646s |      19 |   658857 |   571182 |     2297    415 |        0 |        0
648.59/648.76	c  648s |      19 |   660865 |   572982 |     2297    416 |        0 |        0
650.69/650.82	c  650s |      19 |   662962 |   574782 |     2297    418 |        0 |        0
652.69/652.86	c  652s |      19 |   664893 |   576482 |     2297    419 |        0 |        0
654.79/654.93	c  654s |      19 |   666678 |   578082 |     2297    420 |        0 |        0
656.89/657.04	c  657s |      19 |   668423 |   579682 |     2297    421 |        0 |        0
659.09/659.24	c  659s |      19 |   670230 |   581282 |     2297    422 |        0 |        0
661.19/661.35	c  661s |      19 |   671785 |   582682 |     2297    422 |        0 |        0
663.30/663.44	c  663s |      19 |   673338 |   584082 |     2297    423 |        0 |        0
665.29/665.46	c  665s |      19 |   675008 |   585582 |     2297    424 |        0 |        0
667.49/667.62	c  667s |      19 |   676535 |   586982 |     2297    425 |        0 |        0
669.49/669.64	c  669s |      19 |   678090 |   588382 |     2297    426 |        0 |        0
671.59/671.73	c  671s |      19 |   679565 |   589682 |     2297    427 |        0 |        0
673.59/673.77	c  673s |      19 |   681375 |   591282 |     2297    428 |        0 |        0
675.69/675.85	c  675s |      19 |   683031 |   592782 |     2297    429 |        0 |        0
677.79/677.92	c  677s |      19 |   684556 |   594182 |     2297    429 |        0 |        0
679.80/679.94	c  679s |      19 |   686101 |   595582 |     2297    430 |        0 |        0
681.79/681.94	c  681s |      19 |   687627 |   596982 |     2297    431 |        0 |        0
683.89/684.03	c  684s |      19 |   689271 |   598482 |     2297    432 |        0 |        0
685.89/686.05	c  686s |      19 |   690807 |   599882 |     2297    433 |        0 |        0
687.89/688.09	c  688s |      19 |   692475 |   601382 |     2297    434 |        0 |        0
689.99/690.12	c  690s |      19 |   694153 |   602882 |     2297    435 |        0 |        0
691.99/692.17	c  692s |      19 |   695689 |   604282 |     2297    436 |        0 |        0
693.99/694.19	c  694s |      19 |   697089 |   605582 |     2297    436 |        0 |        0
696.09/696.28	c  696s |      19 |   698514 |   606882 |     2297    437 |        0 |        0
698.18/698.30	c  698s |      19 |   699945 |   608182 |     2297    438 |        0 |        0
700.18/700.35	c  700s |      19 |   701682 |   609682 |     2297    439 |        0 |        0
702.28/702.47	c  702s |      19 |   703798 |   611582 |     2297    440 |        0 |        0
704.28/704.49	c  704s |      19 |   705600 |   613182 |     2297    441 |        0 |        0
706.38/706.55	c  706s |      19 |   707331 |   614782 |     2297    442 |        0 |        0
708.39/708.59	c  708s |      19 |   709088 |   616382 |     2297    443 |        0 |        0
710.59/710.72	c  710s |      19 |   710850 |   617982 |     2297    444 |        0 |        0
712.69/712.86	c  712s |      19 |   712721 |   619682 |     2297    445 |        0 |        0
714.68/714.87	c  714s |      19 |   714493 |   621282 |     2297    446 |        0 |        0
716.78/716.99	c  716s |      19 |   716147 |   622782 |     2297    447 |        0 |        0
718.88/719.09	c  719s |      19 |   717909 |   624382 |     2297    448 |        0 |        0
720.98/721.17	c  721s |      19 |   719569 |   625882 |     2297    449 |        0 |        0
723.08/723.20	c  723s |      19 |   721100 |   627282 |     2297    450 |        0 |        0
725.08/725.24	c  725s |      19 |   722631 |   628682 |     2297    451 |        0 |        0
727.18/727.32	c  727s |      19 |   724248 |   630082 |     2297    452 |        0 |        0
729.29/729.43	c  729s |      19 |   725946 |   631582 |     2297    453 |        0 |        0
731.39/731.51	c  731s |      19 |   727633 |   633082 |     2297    453 |        0 |        0
733.48/733.64	c  733s |      19 |   729447 |   634682 |     2297    454 |        0 |        0
735.58/735.75	c  735s |      19 |   730981 |   636082 |     2297    455 |        0 |        0
737.68/737.80	c  737s |      19 |   732544 |   637482 |     2297    456 |        0 |        0
739.68/739.85	c  739s |      19 |   734589 |   639282 |     2297    457 |        0 |        0
741.78/741.95	c  741s |      19 |   736484 |   640982 |     2297    458 |        0 |        0
743.88/744.05	c  744s |      19 |   738195 |   642482 |     2297    459 |        0 |        0
745.98/746.11	c  746s |      19 |   739920 |   643982 |     2297    460 |        0 |        0
747.98/748.12	c  748s |      19 |   741467 |   645382 |     2297    461 |        0 |        0
749.98/750.14	c  750s |      19 |   743182 |   646882 |     2297    462 |        0 |        0
751.98/752.19	c  752s |      19 |   744727 |   648282 |     2297    463 |        0 |        0
754.07/754.22	c  754s |      19 |   746400 |   649782 |     2297    464 |        0 |        0
756.17/756.30	c  756s |      19 |   748096 |   651282 |     2297    465 |        0 |        0
758.17/758.34	c  758s |      19 |   749773 |   652782 |     2297    466 |        0 |        0
760.17/760.39	c  760s |      19 |   751336 |   654182 |     2297    466 |        0 |        0
762.18/762.39	c  762s |      19 |   752750 |   655482 |     2297    467 |        0 |        0
764.27/764.47	c  764s |      19 |   754301 |   656882 |     2297    468 |        0 |        0
766.37/766.58	c  766s |      19 |   755966 |   658382 |     2297    469 |        0 |        0
768.47/768.63	c  768s |      19 |   757696 |   659882 |     2297    470 |        0 |        0
770.47/770.64	c  770s |      19 |   759530 |   661482 |     2297    471 |        0 |        0
772.47/772.68	c  772s |      19 |   761241 |   662982 |     2527    472 |        0 |        0
774.57/774.73	c  774s |      19 |   763040 |   664582 |     2527    473 |        0 |        0
776.67/776.83	c  776s |      19 |   764811 |   666182 |     2527    474 |        0 |        0
777.47/777.60	c  777s |      20 |   765511 |   666827 |     2527    474 |        0 |        0
779.47/779.61	c  779s |      20 |   768855 |   668927 |     2527    475 |        0 |        0
781.47/781.65	c  781s |      20 |   770908 |   670727 |     2527    476 |        0 |        0
783.57/783.70	c  783s |      20 |   772708 |   672327 |     2527    477 |        0 |        0
785.67/785.80	c  785s |      20 |   774495 |   673927 |     2527    478 |        0 |        0
787.77/787.93	c  787s |      20 |   776291 |   675527 |     2527    479 |        0 |        0
789.78/789.94	c  789s |      20 |   778266 |   677227 |     2527    480 |        0 |        0
791.87/792.02	c  791s |      20 |   780072 |   678827 |     2527    481 |        0 |        0
793.87/794.08	c  794s |      20 |   781648 |   680227 |     2527    482 |        0 |        0
795.97/796.17	c  796s |      20 |   783703 |   682027 |     2527    483 |        0 |        0
798.07/798.28	c  798s |      20 |   785612 |   683727 |     2527    484 |        0 |        0
800.27/800.49	c  800s |      20 |   787397 |   685327 |     2527    485 |        0 |        0
802.37/802.52	c  802s |      20 |   789098 |   686827 |     2527    485 |        0 |        0
804.47/804.63	c  804s |      20 |   790643 |   688227 |     2527    486 |        0 |        0
806.47/806.63	c  806s |      20 |   792209 |   689627 |     2527    487 |        0 |        0
808.57/808.75	c  808s |      20 |   793978 |   691227 |     2527    488 |        0 |        0
810.67/810.81	c  810s |      20 |   795753 |   692827 |     2527    489 |        0 |        0
812.66/812.86	c  812s |      20 |   797471 |   694427 |     2527    490 |        0 |        0
814.76/814.92	c  814s |      20 |   799254 |   696027 |     2527    491 |        0 |        0
816.76/816.97	c  816s |      20 |   801031 |   697627 |     2527    492 |        0 |        0
818.86/819.06	c  819s |      20 |   803024 |   699327 |     2527    493 |        0 |        0
820.96/821.12	c  821s |      20 |   804926 |   701027 |     2527    494 |        0 |        0
823.06/823.22	c  823s |      20 |   806710 |   702627 |     2527    495 |        0 |        0
825.06/825.23	c  825s |      20 |   808482 |   704227 |     2527    495 |        0 |        0
827.17/827.32	c  827s |      20 |   810276 |   705827 |     2527    496 |        0 |        0
829.27/829.43	c  829s |      20 |   812313 |   707627 |     2527    497 |        0 |        0
831.26/831.46	c  831s |      20 |   814108 |   709227 |     2527    498 |        0 |        0
833.36/833.52	c  833s |      20 |   815995 |   710927 |     2527    499 |        0 |        0
835.36/835.53	c  835s |      20 |   817942 |   712627 |     2527    500 |        0 |        0
837.46/837.60	c  837s |      20 |   819543 |   714127 |     2527    501 |        0 |        0
839.46/839.68	c  839s |      20 |   821279 |   715727 |     2527    502 |        0 |        0
841.56/841.74	c  841s |      20 |   822822 |   717127 |     2527    503 |        0 |        0
843.66/843.83	c  843s |      20 |   824383 |   718527 |     2527    504 |        0 |        0
845.66/845.86	c  845s |      20 |   826085 |   720027 |     2527    505 |        0 |        0
847.76/847.98	c  847s |      20 |   827713 |   721527 |     2527    505 |        0 |        0
849.86/850.05	c  850s |      20 |   829373 |   723027 |     2527    506 |        0 |        0
851.96/852.15	c  852s |      20 |   831409 |   724727 |     2527    507 |        0 |        0
854.06/854.23	c  854s |      20 |   833193 |   726327 |     2527    508 |        0 |        0
856.06/856.27	c  856s |      20 |   834913 |   727827 |     2527    509 |        0 |        0
858.06/858.29	c  858s |      20 |   836756 |   729427 |     2527    510 |        0 |        0
860.26/860.40	c  860s |      20 |   838467 |   730927 |     2527    511 |        0 |        0
862.27/862.47	c  862s |      20 |   840215 |   732427 |     2527    512 |        0 |        0
864.36/864.59	c  864s |      20 |   841892 |   733927 |     2527    513 |        0 |        0
866.56/866.73	c  866s |      20 |   843550 |   735427 |     2527    513 |        0 |        0
868.56/868.75	c  868s |      20 |   845141 |   736827 |     2527    514 |        0 |        0
870.66/870.88	c  870s |      20 |   846693 |   738227 |     2527    515 |        0 |        0
872.76/872.96	c  872s |      20 |   848232 |   739627 |     2527    516 |        0 |        0
874.76/874.99	c  874s |      20 |   849926 |   741127 |     2527    517 |        0 |        0
876.86/877.07	c  877s |      20 |   851622 |   742627 |     2527    518 |        0 |        0
878.96/879.12	c  879s |      20 |   853143 |   744027 |     2527    518 |        0 |        0
880.96/881.19	c  881s |      20 |   854843 |   745527 |     2527    519 |        0 |        0
883.06/883.29	c  883s |      20 |   856572 |   747127 |     2527    520 |        0 |        0
885.26/885.40	c  885s |      20 |   858348 |   748727 |     2527    521 |        0 |        0
887.26/887.43	c  887s |      20 |   859892 |   750127 |     2527    522 |        0 |        0
889.26/889.45	c  889s |      20 |   861336 |   751427 |     2527    523 |        0 |        0
891.36/891.52	c  891s |      20 |   862860 |   752827 |     2527    523 |        0 |        0
893.36/893.59	c  893s |      20 |   864371 |   754227 |     2527    524 |        0 |        0
895.55/895.73	c  895s |      20 |   865660 |   755427 |     2527    525 |        0 |        0
897.56/897.74	c  897s |      20 |   867179 |   756827 |     2527    526 |        0 |        0
899.66/899.82	c  899s |      20 |   868797 |   758327 |     2527    527 |        0 |        0
901.65/901.89	c  901s |      20 |   870285 |   759727 |     2527    527 |        0 |        0
903.85/904.03	c  904s |      20 |   871734 |   761027 |     2527    528 |        0 |        0
905.95/906.15	c  906s |      20 |   873040 |   762227 |     2527    529 |        0 |        0
908.05/908.20	c  908s |      20 |   874965 |   763927 |     2527    530 |        0 |        0
910.05/910.23	c  910s |      20 |   876626 |   765427 |     2527    531 |        0 |        0
912.05/912.27	c  912s |      20 |   878305 |   766927 |     2527    532 |        0 |        0
914.15/914.39	c  914s |      20 |   879862 |   768327 |     2527    532 |        0 |        0
916.26/916.43	c  916s |      20 |   881537 |   769827 |     2527    533 |        0 |        0
918.25/918.49	c  918s |      20 |   883265 |   771327 |     2527    534 |        0 |        0
920.25/920.49	c  920s |      20 |   884847 |   772727 |     2527    535 |        0 |        0
922.35/922.55	c  922s |      20 |   886406 |   774127 |     2527    536 |        0 |        0
924.45/924.64	c  924s |      20 |   888053 |   775627 |     2527    537 |        0 |        0
926.45/926.68	c  926s |      20 |   889628 |   777027 |     2527    537 |        0 |        0
928.55/928.71	c  928s |      20 |   891176 |   778427 |     2527    538 |        0 |        0
930.55/930.71	c  930s |      20 |   892715 |   779827 |     2527    539 |        0 |        0
932.55/932.76	c  932s |      20 |   894252 |   781227 |     2527    540 |        0 |        0
934.65/934.83	c  934s |      20 |   895800 |   782627 |     2527    541 |        0 |        0
936.65/936.86	c  936s |      20 |   897139 |   783827 |     2527    541 |        0 |        0
938.75/938.97	c  938s |      20 |   898579 |   785127 |     2527    542 |        0 |        0
940.95/941.13	c  941s |      20 |   899985 |   786427 |     2527    543 |        0 |        0
942.95/943.14	c  943s |      20 |   901137 |   787527 |     2527    543 |        0 |        0
944.95/945.14	c  945s |      20 |   903022 |   789227 |     2527    544 |        0 |        0
947.05/947.22	c  947s |      20 |   904672 |   790727 |     2527    545 |        0 |        0
949.04/949.28	c  949s |      20 |   906177 |   792127 |     2527    546 |        0 |        0
951.14/951.37	c  951s |      20 |   907409 |   793227 |     2527    547 |        0 |        0
953.34/953.53	c  953s |      20 |   908712 |   794427 |     2527    547 |        0 |        0
955.44/955.61	c  955s |      20 |   910350 |   795827 |     2527    548 |        0 |        0
957.44/957.63	c  957s |      20 |   912005 |   797327 |     2527    549 |        0 |        0
959.54/959.72	c  959s |      20 |   913547 |   798727 |     2527    550 |        0 |        0
961.54/961.72	c  961s |      20 |   915265 |   800227 |     2527    551 |        0 |        0
963.64/963.85	c  963s |      20 |   916704 |   801527 |     2527    552 |        0 |        0
965.75/965.95	c  965s |      20 |   918251 |   802927 |     2527    552 |        0 |        0
967.85/968.06	c  968s |      20 |   919653 |   804227 |     2527    553 |        0 |        0
969.94/970.19	c  970s |      20 |   921067 |   805527 |     2527    554 |        0 |        0
972.04/972.29	c  972s |      20 |   922463 |   806727 |     2527    555 |        0 |        0
974.14/974.36	c  974s |      20 |   924115 |   808227 |     2527    555 |        0 |        0
976.14/976.36	c  976s |      20 |   925586 |   809527 |     2527    556 |        0 |        0
978.14/978.37	c  978s |      20 |   927174 |   810927 |     2527    557 |        0 |        0
980.24/980.46	c  980s |      20 |   928751 |   812327 |     2527    558 |        0 |        0
982.34/982.54	c  982s |      20 |   930415 |   813827 |     2527    559 |        0 |        0
984.44/984.68	c  984s |      20 |   931824 |   815127 |     2527    559 |        0 |        0
986.54/986.75	c  986s |      20 |   933134 |   816327 |     2527    560 |        0 |        0
988.54/988.79	c  988s |      20 |   934620 |   817627 |     2527    561 |        0 |        0
990.64/990.81	c  990s |      20 |   936027 |   818927 |     2527    562 |        0 |        0
992.74/992.94	c  992s |      20 |   937659 |   820427 |     2527    562 |        0 |        0
994.83/995.06	c  995s |      20 |   939183 |   821827 |     2527    563 |        0 |        0
996.93/997.18	c  997s |      20 |   940476 |   823027 |     2527    564 |        0 |        0
999.03/999.24	c  999s |      20 |   941835 |   824327 |     2527    565 |        0 |        0
1001.13/1001.34	c 1001s |      20 |   943114 |   825527 |     2527    565 |        0 |        0
1003.23/1003.40	c 1003s |      20 |   944411 |   826727 |     2527    566 |        0 |        0
1005.24/1005.49	c 1005s |      20 |   946001 |   828127 |     2527    567 |        0 |        0
1007.33/1007.57	c 1007s |      20 |   947842 |   829827 |     2527    568 |        0 |        0
1009.43/1009.63	c 1009s |      20 |   949470 |   831327 |     2527    569 |        0 |        0
1011.53/1011.70	c 1011s |      20 |   950981 |   832727 |     2527    570 |        0 |        0
1013.63/1013.89	c 1013s |      20 |   952742 |   834327 |     2527    571 |        0 |        0
1015.73/1015.97	c 1015s |      20 |   954390 |   835827 |     2527    571 |        0 |        0
1017.93/1018.11	c 1018s |      20 |   956165 |   837427 |     2527    572 |        0 |        0
1019.93/1020.14	c 1020s |      20 |   957606 |   838727 |     2527    573 |        0 |        0
1022.03/1022.22	c 1022s |      20 |   959137 |   840127 |     2527    574 |        0 |        0
1024.03/1024.24	c 1024s |      20 |   960416 |   841327 |     2527    575 |        0 |        0
1026.03/1026.25	c 1026s |      20 |   962332 |   843027 |     2527    576 |        0 |        0
1028.03/1028.28	c 1028s |      20 |   964136 |   844627 |     2527    576 |        0 |        0
1030.13/1030.31	c 1030s |      20 |   965773 |   846127 |     2527    577 |        0 |        0
1032.13/1032.34	c 1032s |      20 |   967306 |   847527 |     2527    578 |        0 |        0
1034.23/1034.46	c 1034s |      20 |   968873 |   848927 |     2527    579 |        0 |        0
1036.33/1036.50	c 1036s |      20 |   970201 |   850127 |     2527    580 |        0 |        0
1038.43/1038.61	c 1038s |      20 |   971774 |   851527 |     2527    580 |        0 |        0
1040.43/1040.62	c 1040s |      20 |   973419 |   853027 |     2527    581 |        0 |        0
1042.53/1042.74	c 1042s |      20 |   974995 |   854427 |     2527    582 |        0 |        0
1044.53/1044.75	c 1044s |      20 |   976203 |   855527 |     2527    583 |        0 |        0
1046.72/1046.91	c 1046s |      20 |   977536 |   856727 |     2527    583 |        0 |        0
1048.72/1048.97	c 1048s |      20 |   978597 |   857727 |     2527    584 |        0 |        0
1050.72/1050.99	c 1050s |      20 |   979943 |   858927 |     2527    585 |        0 |        0
1052.91/1053.10	c 1053s |      20 |   981785 |   860627 |     2527    586 |        0 |        0
1054.91/1055.17	c 1055s |      20 |   983558 |   862227 |     2527    587 |        0 |        0
1057.12/1057.32	c 1057s |      20 |   985230 |   863727 |     2527    587 |        0 |        0
1059.22/1059.46	c 1059s |      20 |   986754 |   865127 |     2527    588 |        0 |        0
1061.21/1061.46	c 1061s |      20 |   988218 |   866427 |     2527    589 |        0 |        0
1063.31/1063.58	c 1063s |      20 |   989620 |   867727 |     2527    590 |        0 |        0
1065.41/1065.67	c 1065s |      20 |   991022 |   869027 |     2527    591 |        0 |        0
1067.51/1067.71	c 1067s |      20 |   992544 |   870427 |     2527    591 |        0 |        0
1069.61/1069.82	c 1069s |      20 |   993963 |   871727 |     2527    592 |        0 |        0
1071.70/1071.90	c 1071s |      20 |   995494 |   873127 |     2527    593 |        0 |        0
1073.70/1073.96	c 1073s |      20 |   996681 |   874227 |     2527    594 |        0 |        0
1075.80/1076.01	c 1075s |      20 |   998565 |   875927 |     2527    594 |        0 |        0
1077.91/1078.12	c 1078s |      20 |  1000329 |   877527 |     2527    595 |        0 |        0
1079.90/1080.12	c 1080s |      20 |  1001848 |   878927 |     2527    596 |        0 |        0
1081.90/1082.14	c 1082s |      20 |  1003486 |   880427 |     2527    597 |        0 |        0
1084.00/1084.23	c 1084s |      20 |  1005292 |   882027 |     2527    598 |        0 |        0
1086.00/1086.28	c 1086s |      20 |  1006746 |   883327 |     2527    599 |        0 |        0
1088.10/1088.31	c 1088s |      20 |  1008415 |   884827 |     2527    600 |        0 |        0
1090.09/1090.32	c 1090s |      20 |  1010122 |   886327 |     2527    600 |        0 |        0
1092.20/1092.43	c 1092s |      20 |  1011625 |   887627 |     2527    601 |        0 |        0
1094.29/1094.56	c 1094s |      20 |  1013075 |   888927 |     2527    602 |        0 |        0
1096.39/1096.63	c 1096s |      20 |  1014900 |   890527 |     2527    603 |        0 |        0
1098.49/1098.73	c 1098s |      20 |  1016777 |   892227 |     2527    604 |        0 |        0
1100.59/1100.85	c 1100s |      20 |  1018525 |   893827 |     2527    605 |        0 |        0
1102.69/1102.90	c 1102s |      20 |  1020106 |   895227 |     2527    606 |        0 |        0
1104.69/1104.98	c 1104s |      20 |  1021696 |   896627 |     2527    606 |        0 |        0
1106.79/1107.05	c 1107s |      20 |  1023252 |   898027 |     2527    607 |        0 |        0
1108.79/1109.08	c 1109s |      20 |  1024680 |   899327 |     2527    608 |        0 |        0
1110.89/1111.18	c 1111s |      20 |  1026013 |   900527 |     2527    609 |        0 |        0
1112.99/1113.29	c 1113s |      20 |  1027545 |   901927 |     2527    609 |        0 |        0
1115.07/1115.34	c 1115s |      20 |  1028842 |   903127 |     2527    610 |        0 |        0
1117.17/1117.46	c 1117s |      20 |  1030293 |   904427 |     2527    611 |        0 |        0
1119.28/1119.55	c 1119s |      20 |  1032357 |   906227 |     2527    612 |        0 |        0
1121.28/1121.56	c 1121s |      20 |  1034271 |   907927 |     2527    613 |        0 |        0
1123.38/1123.65	c 1123s |      20 |  1036033 |   909527 |     2527    614 |        0 |        0
1125.48/1125.75	c 1125s |      20 |  1037922 |   911227 |     2527    615 |        0 |        0
1127.58/1127.81	c 1127s |      20 |  1039698 |   912827 |     2527    616 |        0 |        0
1129.58/1129.87	c 1129s |      20 |  1041464 |   914427 |     2527    617 |        0 |        0
1131.78/1132.03	c 1132s |      20 |  1043093 |   915927 |     2527    618 |        0 |        0
1133.88/1134.12	c 1134s |      20 |  1044725 |   917427 |     2527    618 |        0 |        0
1135.87/1136.17	c 1136s |      20 |  1046075 |   918627 |     2527    619 |        0 |        0
1137.87/1138.19	c 1138s |      20 |  1047619 |   920027 |     2527    620 |        0 |        0
1140.07/1140.31	c 1140s |      20 |  1049145 |   921427 |     2527    621 |        0 |        0
1142.07/1142.39	c 1142s |      20 |  1050454 |   922627 |     2527    621 |        0 |        0
1144.07/1144.39	c 1144s |      20 |  1051859 |   923927 |     2527    622 |        0 |        0
1146.16/1146.49	c 1146s |      20 |  1053402 |   925327 |     2527    623 |        0 |        0
1148.27/1148.55	c 1148s |      20 |  1054808 |   926627 |     2527    624 |        0 |        0
1150.37/1150.69	c 1150s |      20 |  1056134 |   927827 |     2527    624 |        0 |        0
1152.46/1152.80	c 1152s |      20 |  1057595 |   929127 |     2527    625 |        0 |        0
1154.65/1154.92	c 1154s |      20 |  1059089 |   930427 |     2527    626 |        0 |        0
1156.66/1156.98	c 1156s |      20 |  1060361 |   931627 |     2527    627 |        0 |        0
1158.86/1159.13	c 1159s |      20 |  1061676 |   932827 |     2527    627 |        0 |        0
1160.96/1161.23	c 1161s |      20 |  1062995 |   934027 |     2527    628 |        0 |        0
1162.95/1163.27	c 1163s |      20 |  1064311 |   935227 |     2527    629 |        0 |        0
1165.15/1165.43	c 1165s |      20 |  1065516 |   936327 |     2527    629 |        0 |        0
1167.15/1167.48	c 1167s |      20 |  1066724 |   937427 |     2527    630 |        0 |        0
1169.25/1169.54	c 1169s |      20 |  1068451 |   938927 |     2527    631 |        0 |        0
1171.36/1171.62	c 1171s |      20 |  1070511 |   940727 |     2527    632 |        0 |        0
1173.35/1173.66	c 1173s |      20 |  1072343 |   942327 |     2527    633 |        0 |        0
1175.35/1175.69	c 1175s |      20 |  1074118 |   943927 |     2527    634 |        0 |        0
1177.55/1177.82	c 1177s |      20 |  1075776 |   945427 |     2527    635 |        0 |        0
1179.65/1179.94	c 1179s |      20 |  1077550 |   947027 |     2527    635 |        0 |        0
1181.75/1182.08	c 1182s |      20 |  1079128 |   948427 |     2527    636 |        0 |        0
1183.95/1184.20	c 1184s |      20 |  1080709 |   949827 |     2527    637 |        0 |        0
1185.94/1186.24	c 1186s |      20 |  1082132 |   951127 |     2527    638 |        0 |        0
1187.94/1188.27	c 1188s |      20 |  1083874 |   952627 |     2527    639 |        0 |        0
1190.05/1190.34	c 1190s |      20 |  1085669 |   954127 |     2527    640 |        0 |        0
1192.15/1192.50	c 1192s |      20 |  1087235 |   955527 |     2527    640 |        0 |        0
1194.35/1194.61	c 1194s |      20 |  1088953 |   957027 |     2527    641 |        0 |        0
1196.44/1196.77	c 1196s |      20 |  1090747 |   958627 |     2527    642 |        0 |        0
1198.54/1198.83	c 1198s |      20 |  1092319 |   960027 |     2527    643 |        0 |        0
1200.63/1200.90	c 1200s |      20 |  1093670 |   961227 |     2527    644 |        0 |        0
1202.73/1203.09	c 1203s |      20 |  1095386 |   962727 |     2527    645 |        0 |        0
1204.93/1205.23	c 1205s |      20 |  1097305 |   964427 |     2527    646 |        0 |        0
1206.93/1207.29	c 1207s |      20 |  1099080 |   966027 |     2527    646 |        0 |        0
1209.03/1209.32	c 1209s |      20 |  1100759 |   967527 |     2527    647 |        0 |        0
1211.03/1211.35	c 1211s |      20 |  1102571 |   969127 |     2527    648 |        0 |        0
1213.03/1213.39	c 1213s |      20 |  1104117 |   970527 |     2527    649 |        0 |        0
1215.13/1215.43	c 1215s |      20 |  1105672 |   971927 |     2527    650 |        0 |        0
1217.23/1217.53	c 1217s |      20 |  1107150 |   973227 |     2527    651 |        0 |        0
1219.33/1219.67	c 1219s |      20 |  1108826 |   974727 |     2527    651 |        0 |        0
1221.53/1221.81	c 1221s |      20 |  1110572 |   976127 |     2527    652 |        0 |        0
1223.53/1223.82	c 1223s |      20 |  1112695 |   977827 |     2527    653 |        0 |        0
1225.53/1225.85	c 1225s |      20 |  1114666 |   979527 |     2527    654 |        0 |        0
1227.53/1227.86	c 1227s |      20 |  1116357 |   981027 |     2527    655 |        0 |        0
1229.53/1229.88	c 1229s |      20 |  1118075 |   982527 |     2527    656 |        0 |        0
1231.52/1231.89	c 1231s |      20 |  1119502 |   983727 |     2527    657 |        0 |        0
1233.62/1233.97	c 1233s |      20 |  1120894 |   984927 |     2527    657 |        0 |        0
1235.82/1236.11	c 1236s |      20 |  1122803 |   986627 |     2527    658 |        0 |        0
1237.82/1238.17	c 1238s |      20 |  1124505 |   988127 |     2527    659 |        0 |        0
1239.92/1240.27	c 1240s |      20 |  1126327 |   989727 |     2527    660 |        0 |        0
1241.92/1242.29	c 1242s |      20 |  1127889 |   991127 |     2527    661 |        0 |        0
1244.12/1244.40	c 1244s |      20 |  1129455 |   992527 |     2527    662 |        0 |        0
1246.12/1246.46	c 1246s |      20 |  1130792 |   993727 |     2780    662 |        0 |        0
1248.22/1248.54	c 1248s |      20 |  1132401 |   995127 |     2780    663 |        0 |        0
1250.31/1250.61	c 1250s |      20 |  1134537 |   996927 |     2780    664 |        0 |        0
1252.31/1252.69	c 1252s |      20 |  1136306 |   998527 |     2780    665 |        0 |        0
1254.41/1254.79	c 1254s |      20 |  1138024 |  1000027 |     2780    666 |        0 |        0
1254.81/1255.20	c 1255s |      21 |  1138385 |  1000345 |     2780    666 |        0 |        0
1256.91/1257.26	c 1257s |      21 |  1141984 |  1002845 |     2780    667 |        0 |        0
1259.01/1259.34	c 1259s |      21 |  1144294 |  1004845 |     2780    668 |        0 |        0
1261.01/1261.38	c 1261s |      21 |  1146516 |  1006745 |     2780    669 |        0 |        0
1263.11/1263.42	c 1263s |      21 |  1148694 |  1008645 |     2780    670 |        0 |        0
1265.10/1265.45	c 1265s |      21 |  1150761 |  1010445 |     2780    671 |        0 |        0
1267.20/1267.55	c 1267s |      21 |  1152794 |  1012145 |     2780    672 |        0 |        0
1269.30/1269.62	c 1269s |      21 |  1154849 |  1013945 |     2780    673 |        0 |        0
1271.30/1271.62	c 1271s |      21 |  1157151 |  1015645 |     2780    674 |        0 |        0
1273.40/1273.74	c 1273s |      21 |  1159312 |  1017445 |     2780    675 |        0 |        0
1275.39/1275.77	c 1275s |      21 |  1161360 |  1019245 |     2780    676 |        0 |        0
1277.49/1277.85	c 1277s |      21 |  1163216 |  1020845 |     2780    677 |        0 |        0
1279.49/1279.90	c 1279s |      21 |  1164808 |  1022245 |     2780    678 |        0 |        0
1281.59/1281.90	c 1281s |      21 |  1166602 |  1023845 |     2780    678 |        0 |        0
1283.59/1283.99	c 1283s |      21 |  1168314 |  1025345 |     2780    679 |        0 |        0
1285.70/1286.06	c 1286s |      21 |  1169785 |  1026645 |     2780    680 |        0 |        0
1287.80/1288.16	c 1288s |      21 |  1171286 |  1028045 |     2780    681 |        0 |        0
1289.89/1290.25	c 1290s |      21 |  1172838 |  1029445 |     2780    682 |        0 |        0
1291.99/1292.32	c 1292s |      21 |  1174518 |  1030945 |     2780    682 |        0 |        0
1294.09/1294.41	c 1294s |      21 |  1176553 |  1032745 |     2780    683 |        0 |        0
1296.19/1296.53	c 1296s |      21 |  1178296 |  1034345 |     2780    684 |        0 |        0
1298.19/1298.53	c 1298s |      21 |  1179837 |  1035745 |     2780    685 |        0 |        0
1300.28/1300.61	c 1300s |      21 |  1181736 |  1037445 |     2780    686 |        0 |        0
1302.38/1302.72	c 1302s |      21 |  1183399 |  1038945 |     2780    687 |        0 |        0
1304.39/1304.79	c 1304s |      21 |  1184941 |  1040345 |     2780    687 |        0 |        0
1306.59/1306.91	c 1306s |      21 |  1186566 |  1041845 |     2780    688 |        0 |        0
1308.59/1308.92	c 1308s |      21 |  1188315 |  1043345 |     2780    689 |        0 |        0
1310.58/1310.96	c 1310s |      21 |  1190156 |  1044945 |     2780    690 |        0 |        0
1312.68/1313.03	c 1313s |      21 |  1191991 |  1046545 |     2780    691 |        0 |        0
1314.68/1315.05	c 1315s |      21 |  1193888 |  1048145 |     2780    692 |        0 |        0
1316.78/1317.16	c 1317s |      21 |  1195812 |  1049845 |     2780    692 |        0 |        0
1318.87/1319.23	c 1319s |      21 |  1197759 |  1051545 |     2780    693 |        0 |        0
1320.88/1321.25	c 1321s |      21 |  1199834 |  1053345 |     2780    694 |        0 |        0
1322.98/1323.31	c 1323s |      21 |  1201848 |  1055145 |     2780    695 |        0 |        0
1324.97/1325.34	c 1325s |      21 |  1203649 |  1056745 |     2780    696 |        0 |        0
1326.98/1327.37	c 1327s |      21 |  1205272 |  1058145 |     2780    697 |        0 |        0
1329.08/1329.45	c 1329s |      21 |  1206752 |  1059445 |     2780    698 |        0 |        0
1331.07/1331.49	c 1331s |      21 |  1208747 |  1061245 |     2780    699 |        0 |        0
1333.07/1333.49	c 1333s |      21 |  1210510 |  1062845 |     2780    699 |        0 |        0
1335.27/1335.60	c 1335s |      21 |  1212293 |  1064445 |     2780    700 |        0 |        0
1337.28/1337.66	c 1337s |      21 |  1213832 |  1065845 |     2780    701 |        0 |        0
1339.48/1339.81	c 1339s |      21 |  1215383 |  1067245 |     2780    702 |        0 |        0
1341.47/1341.82	c 1341s |      21 |  1217505 |  1069045 |     2780    703 |        0 |        0
1343.57/1343.93	c 1343s |      21 |  1219530 |  1070845 |     2780    704 |        0 |        0
1345.67/1346.05	c 1346s |      21 |  1221470 |  1072545 |     2780    705 |        0 |        0
1347.67/1348.10	c 1348s |      21 |  1223357 |  1074245 |     2780    706 |        0 |        0
1349.76/1350.10	c 1350s |      21 |  1225252 |  1075945 |     2780    706 |        0 |        0
1351.86/1352.21	c 1352s |      21 |  1227039 |  1077545 |     2780    707 |        0 |        0
1353.96/1354.35	c 1354s |      21 |  1229350 |  1079545 |     2780    708 |        0 |        0
1355.97/1356.36	c 1356s |      21 |  1231469 |  1081345 |     2780    709 |        0 |        0
1358.06/1358.44	c 1358s |      21 |  1233554 |  1083145 |     2780    710 |        0 |        0
1360.16/1360.55	c 1360s |      21 |  1235352 |  1084745 |     2780    711 |        0 |        0
1362.25/1362.66	c 1362s |      21 |  1237634 |  1086545 |     2780    712 |        0 |        0
1364.35/1364.72	c 1364s |      21 |  1239303 |  1088045 |     2780    713 |        0 |        0
1366.35/1366.77	c 1366s |      21 |  1240726 |  1089345 |     2780    714 |        0 |        0
1368.35/1368.77	c 1368s |      21 |  1242890 |  1091045 |     2780    715 |        0 |        0
1370.44/1370.88	c 1370s |      21 |  1244876 |  1092745 |     2780    716 |        0 |        0
1372.45/1372.89	c 1372s |      21 |  1246857 |  1094445 |     2780    716 |        0 |        0
1374.54/1374.92	c 1374s |      21 |  1248487 |  1095845 |     2780    717 |        0 |        0
1376.54/1376.97	c 1376s |      21 |  1250007 |  1097145 |     2780    718 |        0 |        0
1378.64/1379.04	c 1379s |      21 |  1251842 |  1098745 |     2780    719 |        0 |        0
1380.74/1381.17	c 1381s |      21 |  1253415 |  1100145 |     2780    720 |        0 |        0
1382.85/1383.21	c 1383s |      21 |  1254955 |  1101545 |     2780    720 |        0 |        0
1384.85/1385.22	c 1385s |      21 |  1256544 |  1102945 |     2780    721 |        0 |        0
1386.85/1387.29	c 1387s |      21 |  1258962 |  1104645 |     2780    722 |        0 |        0
1388.95/1389.36	c 1389s |      21 |  1261076 |  1106245 |     2780    723 |        0 |        0
1390.94/1391.39	c 1391s |      21 |  1262692 |  1107645 |     2780    724 |        0 |        0
1393.14/1393.57	c 1393s |      21 |  1264988 |  1109445 |     2780    725 |        0 |        0
1395.34/1395.71	c 1395s |      21 |  1267022 |  1111145 |     2780    725 |        0 |        0
1397.34/1397.72	c 1397s |      21 |  1268794 |  1112445 |     2780    726 |        0 |        0
1399.33/1399.78	c 1399s |      21 |  1270734 |  1114045 |     2780    727 |        0 |        0
1401.44/1401.88	c 1401s |      21 |  1272670 |  1115645 |     2780    728 |        0 |        0
1403.54/1403.96	c 1403s |      21 |  1274460 |  1117245 |     2780    729 |        0 |        0
1405.74/1406.15	c 1406s |      21 |  1276112 |  1118745 |     2780    730 |        0 |        0
1407.84/1408.26	c 1408s |      21 |  1277685 |  1120145 |     2780    730 |        0 |        0
1409.84/1410.27	c 1410s |      21 |  1278929 |  1121245 |     2780    731 |        0 |        0
1411.93/1412.31	c 1412s |      21 |  1280162 |  1122345 |     2780    731 |        0 |        0
1414.03/1414.46	c 1414s |      21 |  1282058 |  1123945 |     2780    732 |        0 |        0
1416.13/1416.55	c 1416s |      21 |  1283535 |  1125245 |     2780    733 |        0 |        0
1418.23/1418.68	c 1418s |      21 |  1284995 |  1126545 |     2780    734 |        0 |        0
1420.42/1420.84	c 1420s |      21 |  1286725 |  1128045 |     2780    735 |        0 |        0
1422.52/1422.92	c 1422s |      21 |  1288176 |  1129345 |     2780    735 |        0 |        0
1424.52/1424.93	c 1424s |      21 |  1289532 |  1130545 |     2780    736 |        0 |        0
1426.62/1427.07	c 1427s |      21 |  1291026 |  1131845 |     2780    737 |        0 |        0
1428.72/1429.11	c 1429s |      21 |  1292389 |  1133045 |     2780    737 |        0 |        0
1430.83/1431.29	c 1431s |      21 |  1293692 |  1134145 |     2780    738 |        0 |        0
1433.12/1433.51	c 1433s |      21 |  1295229 |  1135445 |     2780    739 |        0 |        0
1435.13/1435.53	c 1435s |      21 |  1296924 |  1136945 |     2780    739 |        0 |        0
1437.22/1437.61	c 1437s |      21 |  1298569 |  1138445 |     2780    740 |        0 |        0
1439.32/1439.76	c 1439s |      21 |  1300121 |  1139845 |     2780    741 |        0 |        0
1441.42/1441.89	c 1441s |      21 |  1301609 |  1141145 |     2780    742 |        0 |        0
1443.62/1444.01	c 1443s |      21 |  1303131 |  1142545 |     2780    742 |        0 |        0
1445.72/1446.13	c 1446s |      21 |  1304695 |  1143945 |     2780    743 |        0 |        0
1447.81/1448.26	c 1448s |      21 |  1306140 |  1145245 |     2780    744 |        0 |        0
1449.91/1450.35	c 1450s |      21 |  1307837 |  1146745 |     2780    745 |        0 |        0
1452.01/1452.45	c 1452s |      21 |  1309187 |  1147945 |     2780    745 |        0 |        0
1454.21/1454.63	c 1454s |      21 |  1310557 |  1149145 |     2780    746 |        0 |        0
1456.31/1456.76	c 1456s |      21 |  1311800 |  1150245 |     2780    747 |        0 |        0
1458.41/1458.81	c 1458s |      21 |  1313240 |  1151545 |     2780    747 |        0 |        0
1460.41/1460.90	c 1460s |      21 |  1314561 |  1152745 |     2780    748 |        0 |        0
1462.61/1463.02	c 1462s |      21 |  1315906 |  1153945 |     2780    749 |        0 |        0
1464.60/1465.06	c 1465s |      21 |  1317335 |  1155245 |     2780    749 |        0 |        0
1466.60/1467.09	c 1467s |      21 |  1318808 |  1156545 |     2780    750 |        0 |        0
1468.70/1469.15	c 1469s |      21 |  1320046 |  1157645 |     2780    750 |        0 |        0
1470.89/1471.31	c 1471s |      21 |  1321510 |  1158945 |     2780    751 |        0 |        0
1472.89/1473.38	c 1473s |      21 |  1322986 |  1160245 |     2780    752 |        0 |        0
1474.99/1475.44	c 1475s |      21 |  1324544 |  1161645 |     2780    753 |        0 |        0
1477.10/1477.50	c 1477s |      21 |  1326075 |  1163045 |     2780    753 |        0 |        0
1479.11/1479.59	c 1479s |      21 |  1327639 |  1164445 |     2780    754 |        0 |        0
1481.30/1481.73	c 1481s |      21 |  1329073 |  1165745 |     2780    755 |        0 |        0
1483.29/1483.79	c 1483s |      21 |  1330526 |  1167045 |     2780    756 |        0 |        0
1485.49/1485.91	c 1485s |      21 |  1332091 |  1168445 |     2780    756 |        0 |        0
1487.49/1487.91	c 1487s |      21 |  1333458 |  1169645 |     2780    757 |        0 |        0
1489.59/1490.03	c 1490s |      21 |  1334876 |  1170945 |     2780    758 |        0 |        0
1491.59/1492.08	c 1492s |      21 |  1336326 |  1172245 |     2780    758 |        0 |        0
1493.79/1494.24	c 1494s |      21 |  1337637 |  1173445 |     2780    759 |        0 |        0
1495.79/1496.24	c 1496s |      21 |  1338858 |  1174545 |     2780    760 |        0 |        0
1497.89/1498.35	c 1498s |      21 |  1340431 |  1175945 |     2780    760 |        0 |        0
1499.88/1500.39	c 1500s |      21 |  1341786 |  1177145 |     2780    761 |        0 |        0
1502.08/1502.52	c 1502s |      21 |  1343157 |  1178345 |     2780    762 |        0 |        0
1504.18/1504.62	c 1504s |      21 |  1344954 |  1179845 |     2780    762 |        0 |        0
1506.28/1506.71	c 1506s |      21 |  1347027 |  1181645 |     2780    763 |        0 |        0
1508.28/1508.73	c 1508s |      21 |  1349002 |  1183345 |     2780    764 |        0 |        0
1510.38/1510.80	c 1510s |      21 |  1350842 |  1185045 |     2780    765 |        0 |        0
1512.38/1512.86	c 1512s |      21 |  1352828 |  1186745 |     2780    766 |        0 |        0
1514.48/1514.96	c 1514s |      21 |  1354653 |  1188345 |     2780    767 |        0 |        0
1516.58/1517.04	c 1517s |      21 |  1356420 |  1189845 |     2780    768 |        0 |        0
1518.68/1519.18	c 1519s |      21 |  1358098 |  1191245 |     2780    769 |        0 |        0
1520.77/1521.30	c 1521s |      21 |  1360486 |  1192945 |     2780    770 |        0 |        0
1522.87/1523.39	c 1523s |      21 |  1362191 |  1194445 |     2780    770 |        0 |        0
1524.97/1525.41	c 1525s |      21 |  1363718 |  1195745 |     2780    771 |        0 |        0
1527.07/1527.52	c 1527s |      21 |  1365273 |  1197045 |     2780    772 |        0 |        0
1529.17/1529.66	c 1529s |      21 |  1366636 |  1198245 |     2780    772 |        0 |        0
1531.27/1531.71	c 1531s |      21 |  1367845 |  1199345 |     2780    773 |        0 |        0
1533.36/1533.82	c 1533s |      21 |  1369717 |  1200945 |     2780    774 |        0 |        0
1535.36/1535.86	c 1535s |      21 |  1371259 |  1202245 |     2780    775 |        0 |        0
1537.47/1537.98	c 1537s |      21 |  1372846 |  1203645 |     2780    775 |        0 |        0
1539.67/1540.12	c 1540s |      21 |  1374285 |  1204945 |     2780    776 |        0 |        0
1541.66/1542.17	c 1542s |      21 |  1375613 |  1206045 |     2780    777 |        0 |        0
1543.86/1544.31	c 1544s |      21 |  1377127 |  1207245 |     2780    777 |        0 |        0
1545.86/1546.38	c 1546s |      21 |  1378606 |  1208445 |     2780    778 |        0 |        0
1547.86/1548.39	c 1548s |      21 |  1380527 |  1210145 |     2780    779 |        0 |        0
1549.96/1550.42	c 1550s |      21 |  1382035 |  1211545 |     2780    780 |        0 |        0
1551.95/1552.43	c 1552s |      21 |  1383429 |  1212845 |     2780    780 |        0 |        0
1554.16/1554.60	c 1554s |      21 |  1384826 |  1214145 |     2780    781 |        0 |        0
1556.26/1556.71	c 1556s |      21 |  1386031 |  1215245 |     2780    782 |        0 |        0
1558.27/1558.75	c 1558s |      21 |  1387124 |  1216245 |     2780    782 |        0 |        0
1560.36/1560.82	c 1560s |      21 |  1388092 |  1217145 |     2780    783 |        0 |        0
1562.36/1562.82	c 1562s |      21 |  1389213 |  1218145 |     2780    783 |        0 |        0
1564.46/1564.95	c 1564s |      21 |  1391338 |  1220045 |     2780    784 |        0 |        0
1566.45/1566.99	c 1566s |      21 |  1393224 |  1221545 |     2780    785 |        0 |        0
1568.55/1569.04	c 1569s |      21 |  1395165 |  1223245 |     2780    786 |        0 |        0
1570.55/1571.07	c 1571s |      21 |  1396855 |  1224745 |     2780    787 |        0 |        0
1572.66/1573.17	c 1573s |      21 |  1398546 |  1226245 |     2780    787 |        0 |        0
1574.65/1575.20	c 1575s |      21 |  1399886 |  1227445 |     2780    788 |        0 |        0
1576.75/1577.21	c 1577s |      21 |  1401401 |  1228845 |     2780    789 |        0 |        0
1578.85/1579.34	c 1579s |      21 |  1402827 |  1230145 |     2780    790 |        0 |        0
1580.95/1581.44	c 1581s |      21 |  1404216 |  1231445 |     2780    790 |        0 |        0
1583.05/1583.54	c 1583s |      21 |  1405779 |  1232745 |     2780    791 |        0 |        0
1585.15/1585.62	c 1585s |      21 |  1407408 |  1234045 |     2780    792 |        0 |        0
1587.25/1587.73	c 1587s |      21 |  1408984 |  1235445 |     2780    792 |        0 |        0
1589.35/1589.84	c 1589s |      21 |  1410433 |  1236745 |     2780    793 |        0 |        0
1591.35/1591.90	c 1591s |      21 |  1411862 |  1238045 |     2780    794 |        0 |        0
1593.64/1594.12	c 1594s |      21 |  1413282 |  1239345 |     2780    795 |        0 |        0
1595.75/1596.28	c 1596s |      21 |  1415142 |  1241045 |     2780    795 |        0 |        0
1597.95/1598.41	c 1598s |      21 |  1416645 |  1242445 |     2780    796 |        0 |        0
1600.05/1600.51	c 1600s |      21 |  1418155 |  1243845 |     2780    797 |        0 |        0
1602.14/1602.60	c 1602s |      21 |  1419462 |  1245045 |     2780    798 |        0 |        0
1604.24/1604.70	c 1604s |      21 |  1421209 |  1246545 |     2780    798 |        0 |        0
1606.34/1606.81	c 1606s |      21 |  1422948 |  1248045 |     2780    799 |        0 |        0
1608.34/1608.85	c 1608s |      21 |  1424540 |  1249445 |     2780    800 |        0 |        0
1610.43/1610.97	c 1610s |      21 |  1426041 |  1250845 |     2780    801 |        0 |        0
1612.63/1613.13	c 1613s |      21 |  1427661 |  1252245 |     2780    801 |        0 |        0
1614.63/1615.16	c 1615s |      21 |  1429192 |  1253545 |     2780    802 |        0 |        0
1616.73/1617.25	c 1617s |      21 |  1430521 |  1254745 |     2780    803 |        0 |        0
1618.84/1619.34	c 1619s |      21 |  1432302 |  1256245 |     2780    804 |        0 |        0
1621.03/1621.55	c 1621s |      21 |  1434248 |  1257945 |     2780    805 |        0 |        0
1623.13/1623.61	c 1623s |      21 |  1435943 |  1259445 |     2780    805 |        0 |        0
1625.12/1625.67	c 1625s |      21 |  1437462 |  1260845 |     2780    806 |        0 |        0
1627.23/1627.75	c 1627s |      21 |  1439079 |  1262245 |     2780    807 |        0 |        0
1629.33/1629.83	c 1629s |      21 |  1440686 |  1263745 |     2780    808 |        0 |        0
1631.43/1631.92	c 1631s |      21 |  1442336 |  1265245 |     2780    808 |        0 |        0
1633.52/1634.01	c 1633s |      21 |  1443882 |  1266645 |     2780    809 |        0 |        0
1635.62/1636.11	c 1636s |      21 |  1445449 |  1268045 |     2780    810 |        0 |        0
1637.72/1638.20	c 1638s |      21 |  1447330 |  1269745 |     2780    811 |        0 |        0
1639.73/1640.27	c 1640s |      21 |  1448959 |  1271245 |     2780    812 |        0 |        0
1641.92/1642.46	c 1642s |      21 |  1450637 |  1272745 |     2780    813 |        0 |        0
1644.02/1644.52	c 1644s |      21 |  1452460 |  1274345 |     2780    813 |        0 |        0
1646.11/1646.66	c 1646s |      21 |  1454255 |  1275945 |     2780    814 |        0 |        0
1648.12/1648.68	c 1648s |      21 |  1455947 |  1277445 |     2780    815 |        0 |        0
1650.22/1650.79	c 1650s |      21 |  1457523 |  1278845 |     2780    816 |        0 |        0
1652.42/1652.90	c 1652s |      21 |  1459076 |  1280245 |     2780    817 |        0 |        0
1654.42/1654.99	c 1654s |      21 |  1460719 |  1281745 |     2780    817 |        0 |        0
1656.62/1657.13	c 1657s |      21 |  1462170 |  1283045 |     2780    818 |        0 |        0
1658.72/1659.27	c 1659s |      21 |  1463585 |  1284345 |     2780    819 |        0 |        0
1660.81/1661.37	c 1661s |      21 |  1465133 |  1285745 |     2780    820 |        0 |        0
1662.91/1663.48	c 1663s |      21 |  1466944 |  1287345 |     2780    820 |        0 |        0
1665.11/1665.60	c 1665s |      21 |  1468615 |  1288845 |     2780    821 |        0 |        0
1667.22/1667.74	c 1667s |      21 |  1470043 |  1290145 |     2780    822 |        0 |        0
1669.21/1669.75	c 1669s |      21 |  1471649 |  1291545 |     2780    823 |        0 |        0
1671.31/1671.87	c 1671s |      21 |  1473226 |  1292945 |     2780    823 |        0 |        0
1673.31/1673.89	c 1673s |      21 |  1474693 |  1294245 |     2780    824 |        0 |        0
1675.41/1675.99	c 1675s |      21 |  1476281 |  1295645 |     2780    825 |        0 |        0
1677.51/1678.05	c 1678s |      21 |  1477750 |  1296945 |     2780    826 |        0 |        0
1679.70/1680.21	c 1680s |      21 |  1479195 |  1298245 |     2780    826 |        0 |        0
1681.70/1682.23	c 1682s |      21 |  1480697 |  1299545 |     2780    827 |        0 |        0
1683.90/1684.41	c 1684s |      21 |  1482110 |  1300745 |     2780    828 |        0 |        0
1685.91/1686.44	c 1686s |      21 |  1483300 |  1301845 |     2780    828 |        0 |        0
1687.90/1688.46	c 1688s |      21 |  1484378 |  1302845 |     2780    829 |        0 |        0
1690.00/1690.51	c 1690s |      21 |  1485890 |  1304145 |     2780    829 |        0 |        0
1692.10/1692.64	c 1692s |      21 |  1487599 |  1305645 |     2780    830 |        0 |        0
1694.10/1694.68	c 1694s |      21 |  1489088 |  1306945 |     2780    831 |        0 |        0
1696.21/1696.75	c 1696s |      21 |  1490586 |  1308245 |     2780    832 |        0 |        0
1698.20/1698.79	c 1698s |      21 |  1492324 |  1309745 |     2780    832 |        0 |        0
1700.30/1700.82	c 1700s |      21 |  1493809 |  1311045 |     2780    833 |        0 |        0
1702.31/1702.82	c 1702s |      21 |  1495136 |  1312245 |     2780    834 |        0 |        0
1704.30/1704.87	c 1704s |      21 |  1496928 |  1313745 |     2780    835 |        0 |        0
1706.40/1706.91	c 1706s |      21 |  1498966 |  1315445 |     2780    836 |        0 |        0
1708.40/1708.98	c 1708s |      21 |  1500902 |  1317145 |     2780    836 |        0 |        0
1710.40/1710.98	c 1710s |      21 |  1502761 |  1318745 |     2780    837 |        0 |        0
1712.50/1713.01	c 1712s |      21 |  1504803 |  1320445 |     2780    838 |        0 |        0
1714.50/1715.05	c 1715s |      21 |  1506865 |  1321945 |     2780    839 |        0 |        0
1716.50/1717.06	c 1717s |      21 |  1508463 |  1323345 |     2780    840 |        0 |        0
1718.49/1719.07	c 1719s |      21 |  1509944 |  1324645 |     2780    840 |        0 |        0
1720.59/1721.14	c 1721s |      21 |  1511402 |  1325945 |     2780    841 |        0 |        0
1722.69/1723.21	c 1723s |      21 |  1513249 |  1327545 |     2780    842 |        0 |        0
1724.69/1725.24	c 1725s |      21 |  1514844 |  1328945 |     2780    843 |        0 |        0
1726.69/1727.28	c 1727s |      21 |  1516641 |  1330445 |     2780    844 |        0 |        0
1728.80/1729.38	c 1729s |      21 |  1518531 |  1332045 |     2780    844 |        0 |        0
1730.90/1731.44	c 1731s |      21 |  1520584 |  1333545 |     2780    845 |        0 |        0
1732.99/1733.51	c 1733s |      21 |  1522195 |  1334945 |     2780    846 |        0 |        0
1735.00/1735.54	c 1735s |      21 |  1523872 |  1336345 |     2780    847 |        0 |        0
1737.00/1737.58	c 1737s |      21 |  1525498 |  1337745 |     2780    848 |        0 |        0
1739.20/1739.75	c 1739s |      21 |  1527097 |  1339145 |     2780    848 |        0 |        0
1741.30/1741.81	c 1741s |      21 |  1528739 |  1340545 |     2780    849 |        0 |        0
1743.30/1743.88	c 1743s |      21 |  1531714 |  1342345 |     2780    850 |        0 |        0
1745.50/1746.05	c 1746s |      21 |  1533638 |  1343945 |     2780    851 |        0 |        0
1747.60/1748.13	c 1748s |      21 |  1535647 |  1345445 |     2780    852 |        0 |        0
1749.70/1750.21	c 1750s |      21 |  1537636 |  1346845 |     2780    852 |        0 |        0
1751.80/1752.33	c 1752s |      21 |  1539444 |  1348345 |     2780    853 |        0 |        0
1753.90/1754.45	c 1754s |      21 |  1541149 |  1349745 |     2780    854 |        0 |        0
1756.00/1756.51	c 1756s |      21 |  1542949 |  1351145 |     2780    855 |        0 |        0
1758.10/1758.67	c 1758s |      21 |  1544880 |  1352545 |     2780    856 |        0 |        0
1760.10/1760.67	c 1760s |      21 |  1546693 |  1354045 |     2780    856 |        0 |        0
1762.30/1762.80	c 1762s |      21 |  1548417 |  1355445 |     2780    857 |        0 |        0
1764.29/1764.80	c 1764s |      21 |  1549829 |  1356645 |     2780    858 |        0 |        0
1766.29/1766.87	c 1766s |      21 |  1551664 |  1358045 |     2780    859 |        0 |        0
1768.30/1768.89	c 1768s |      21 |  1553404 |  1359345 |     2780    859 |        0 |        0
1770.50/1771.02	c 1770s |      21 |  1555223 |  1360745 |     2780    860 |        0 |        0
1772.59/1773.14	c 1773s |      21 |  1556699 |  1361945 |     2780    861 |        0 |        0
1774.69/1775.23	c 1775s |      21 |  1558538 |  1363545 |     2780    861 |        0 |        0
1776.69/1777.25	c 1777s |      21 |  1559971 |  1364845 |     2780    862 |        0 |        0
1778.79/1779.39	c 1779s |      21 |  1561429 |  1366145 |     2780    863 |        0 |        0
1780.99/1781.50	c 1781s |      21 |  1562739 |  1367345 |     2780    864 |        0 |        0
1782.99/1783.51	c 1783s |      21 |  1564094 |  1368545 |     2780    864 |        0 |        0
1784.99/1785.53	c 1785s |      21 |  1565292 |  1369645 |     2780    865 |        0 |        0
1787.10/1787.67	c 1787s |      21 |  1566725 |  1370945 |     2780    865 |        0 |        0
1789.20/1789.80	c 1789s |      21 |  1568437 |  1372445 |     2780    866 |        0 |        0
1791.29/1791.87	c 1791s |      21 |  1569816 |  1373645 |     2780    867 |        0 |        0
1793.39/1793.98	c 1793s |      21 |  1571182 |  1374845 |     2780    868 |        0 |        0
1795.49/1796.10	c 1796s |      21 |  1572742 |  1376245 |     2780    868 |        0 |        0
1797.69/1798.22	c 1798s |      21 |  1574134 |  1377445 |     2780    869 |        0 |        0
1799.79/1800.39	c 1800s |      21 |  1575509 |  1378645 |     2780    870 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=11398
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.07 2.08 2.07 2/179 11401
/proc/meminfo: memFree=30135740/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 2455 0 0 0 0 0 0 0 20 0 4 0 106029621 676786176 2815 33554432000 4194304 16246674 140736990941280 140736990940704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 165743 2825 441 2943 0 162637 0
[pid=11401/tid=11402] ppid=11398 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 694611968 2886 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 699854848 2904 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 704049152 2918 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100187 s]
/proc/loadavg: 2.07 2.08 2.07 2/179 11401
/proc/meminfo: memFree=30135740/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 31408 0 0 0 5 4 0 0 20 0 4 0 106029621 1247350784 31758 33554432000 4194304 16246674 140736990941280 140736990940704 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 304529 31776 704 2943 0 301423 0
[pid=11401/tid=11402] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1247350784 31788 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1247350784 31798 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1247350784 31806 33554432000 4194304 16246674 140736990941280 140199073934512 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) 1218116

[startup+0.200525 s]
/proc/loadavg: 2.07 2.08 2.07 2/179 11401
/proc/meminfo: memFree=30135740/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 66988 0 0 0 10 8 0 0 20 0 4 0 106029621 1247350784 67338 33554432000 4194304 16246674 140736990941280 140736990940704 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 304529 67354 704 2943 0 301423 0
[pid=11401/tid=11402] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1247350784 67362 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1247350784 67370 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1247350784 67379 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300488 s]
/proc/loadavg: 2.07 2.08 2.07 2/179 11401
/proc/meminfo: memFree=30135740/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 103693 0 0 0 17 12 0 0 20 0 4 0 106029621 1247350784 104042 33554432000 4194304 16246674 140736990941280 140736990940704 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 304529 104057 704 2943 0 301423 0
[pid=11401/tid=11402] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1247350784 104070 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1247350784 104084 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1247350784 104098 33554432000 4194304 16246674 140736990941280 140199073934512 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) 1218116

[startup+0.700406 s]
/proc/loadavg: 2.07 2.08 2.07 2/179 11401
/proc/meminfo: memFree=30135740/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1219140 CPUtime=0.69 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 245548 0 0 0 37 32 0 0 20 0 4 0 106029621 1248399360 245880 33554432000 4194304 16246674 140736990941280 140736990923200 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 304785 245885 745 2943 0 301679 0
[pid=11401/tid=11402] ppid=11398 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1248399360 245889 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1248399360 245892 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1248399360 245895 33554432000 4194304 16246674 140736990941280 140199073934512 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) 1219140

[startup+1.50042 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 11405
/proc/meminfo: memFree=29114504/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 266748 0 0 0 115 34 0 0 20 0 4 0 106029621 1334382592 267077 33554432000 4194304 16246674 140736990941280 140736990924280 5722912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 325777 267077 788 2943 0 322671 0
[pid=11401/tid=11402] ppid=11398 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1334382592 267077 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1334382592 267077 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1334382592 267077 33554432000 4194304 16246674 140736990941280 140199073934512 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) 1303108

[startup+3.10042 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 11405
/proc/meminfo: memFree=29063400/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 267828 0 0 0 274 35 0 0 20 0 4 0 106029621 1338576896 268157 33554432000 4194304 16246674 140736990941280 140736990923200 13191360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 326801 268157 789 2943 0 323695 0
[pid=11401/tid=11402] ppid=11398 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1338576896 268157 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1338576896 268157 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1338576896 268157 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 11405
/proc/meminfo: memFree=29062560/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 268084 0 0 0 594 35 0 0 20 0 4 0 106029621 1339625472 268413 33554432000 4194304 16246674 140736990941280 140736990923200 5553636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 327057 268413 789 2943 0 323951 0
[pid=11401/tid=11402] ppid=11398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1339625472 268413 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1339625472 268413 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1339625472 268413 33554432000 4194304 16246674 140736990941280 140199073934512 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.07 3/183 11405
/proc/meminfo: memFree=29062772/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 268086 0 0 0 1233 35 0 0 20 0 4 0 106029621 1339625472 268415 33554432000 4194304 16246674 140736990941280 140736990923200 5999597 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 327057 268415 791 2943 0 323951 0
[pid=11401/tid=11402] ppid=11398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1339625472 268415 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1339625472 268415 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1339625472 268415 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.04 2.08 2.07 3/183 11405
/proc/meminfo: memFree=29061404/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 268598 0 0 0 2513 36 0 0 20 0 4 0 106029621 1341722624 268927 33554432000 4194304 16246674 140736990941280 140736990923200 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 327569 268927 791 2943 0 324463 0
[pid=11401/tid=11402] ppid=11398 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1341722624 268927 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1341722624 268927 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1341722624 268927 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.03 2.07 2.06 3/183 11405
/proc/meminfo: memFree=29054612/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 269878 0 0 0 5071 37 0 0 20 0 4 0 106029621 1346965504 270207 33554432000 4194304 16246674 140736990941280 140736990923200 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 328849 270207 791 2943 0 325743 0
[pid=11401/tid=11402] ppid=11398 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1346965504 270207 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1346965504 270207 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1346965504 270207 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/183 11406
/proc/meminfo: memFree=29026632/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 269878 0 0 0 10189 39 0 0 20 0 4 0 106029621 1346965504 270207 33554432000 4194304 16246674 140736990941280 140736990923200 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 328849 270207 791 2943 0 325743 0
[pid=11401/tid=11402] ppid=11398 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1346965504 270207 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1346965504 270207 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1346965504 270207 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/183 11485
/proc/meminfo: memFree=29452972/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1319492 CPUtime=1301.98 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 271117 0 0 0 130141 57 0 0 20 0 4 0 106029621 1351159808 271489 33554432000 4194304 16246674 140736990941280 140736990923200 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 329873 271489 793 2943 0 326767 0
[pid=11401/tid=11402] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/183 11486
/proc/meminfo: memFree=29453012/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1319492 CPUtime=1361.96 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 271157 0 0 0 136137 59 0 0 20 0 4 0 106029621 1351159808 271489 33554432000 4194304 16246674 140736990941280 140736990923200 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 329873 271489 793 2943 0 326767 0
[pid=11401/tid=11402] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 11488
/proc/meminfo: memFree=29452788/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1319492 CPUtime=1421.93 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 271198 0 0 0 142132 61 0 0 20 0 4 0 106029621 1351159808 271489 33554432000 4194304 16246674 140736990941280 140736990923200 5553704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 329873 271489 793 2943 0 326767 0
[pid=11401/tid=11402] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1351159808 271489 33554432000 4194304 16246674 140736990941280 140199073934512 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) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11489
/proc/meminfo: memFree=29445636/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1481.89 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273033 0 0 0 148126 63 0 0 20 0 4 0 106029621 1358499840 273280 33554432000 4194304 16246674 140736990941280 140736990923200 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273280 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273280 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273280 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273280 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 11490
/proc/meminfo: memFree=29428544/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1541.87 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273074 0 0 0 154124 63 0 0 20 0 4 0 106029621 1358499840 273280 33554432000 4194304 16246674 140736990941280 140736990923200 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273280 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273280 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273280 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273280 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/183 11491
/proc/meminfo: memFree=29427708/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1601.84 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273115 0 0 0 160118 66 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140736990923200 5861864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273281 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 11495
/proc/meminfo: memFree=29427048/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1661.81 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273153 0 0 0 166113 68 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140736990923200 12477874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273281 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 11497
/proc/meminfo: memFree=29425632/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1721.79 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273156 0 0 0 172110 69 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140736990923200 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273281 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 11498
/proc/meminfo: memFree=29425040/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1781.79 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273156 0 0 0 178109 70 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140736990923200 12482985 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273281 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1326660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 11498
/proc/meminfo: memFree=29425520/32872528 swapFree=11196/354588
[pid=11401] ppid=11398 vsize=1326660 CPUtime=1800.09 cores=0,2,4,6
/proc/11401/stat : 11401 (toysat) R 11398 11401 8429 0 -1 4202496 273156 0 0 0 179939 70 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140736990923200 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11401/statm: 331665 273281 793 2943 0 328559 0
[pid=11401/tid=11402] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11402/stat : 11402 (toysat) S 11398 11401 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106029621 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199200795888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11401/tid=11403] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11403/stat : 11403 (toysat) S 11398 11401 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199190306032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11401/tid=11404] ppid=11398 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/11401/task/11404/stat : 11404 (toysat) S 11398 11401 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106029622 1358499840 273281 33554432000 4194304 16246674 140736990941280 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1326660

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.4
CPU system time (s): 0.704892
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.704892
maximum resident set size= 1093124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273156
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= 473
involuntary context switches= 1861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97524 second user time and 7.33289 second system time

The end

Begin job on node126 at 2016-06-06 21:22:42
IDJOB=4078767
IDBENCH=2600
IDSOLVER=2542
FILE ID=node126/4078767-1465240962
RUNJOBID= node126-1465218023-8445
PBS_JOBID= 19843210
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078767-1465240962/watcher-4078767-1465240962 -o /tmp/evaluation-result-4078767-1465240962/solver-4078767-1465240962 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078767-1465240962.opb

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

MD5SUM BENCH= a451a3aa708ebb54c76171e0e43da9df
RANDOM SEED=883282919

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30136376 kB
Buffers:           40264 kB
Cached:           124564 kB
SwapCached:         2248 kB
Active:          1595196 kB
Inactive:          86140 kB
Active(anon):    1516376 kB
Inactive(anon):     2384 kB
Active(file):      78820 kB
Inactive(file):    83756 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1980852 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             567304 kB
SReclaimable:      11564 kB
SUnreclaim:       555740 kB
KernelStack:        1520 kB
PageTables:         7888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2014288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node126 at 2016-06-06 21:52:42