0.00/0.00	c 2016-06-16T23:36: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-4096267-1466113002.opb"]
0.00/0.01	c use --random-gen="3284059434 2868453175 3636522387 1092543643 2442407516 2287387401 1274231698 1346323808 2623067274 202816178 1668060542 2707560563 1374759736 660304363 2606093624 4063248527 2259342823 69919784 3333512590 138990686 2972609875 2428237678 3168183119 4013435460 3120293808 43522391 1867505851 4099729524 363869009 44315191 367024383 3720696518 2972652091 3501735146 1860966408 1843526686 1810390783 1427468235 1548279457 1219419558 221608415 128472871 1778371083 2730045218 743042317 977769232 1859995249 4252448243 2467492616 410221348 531498156 3195134507 2588310723 2894838484 3559290664 205994129 2720982494 3273730627 180917533 3798888048 778008353 2974668962 3704255398 1480890061 2456370393 1442338215 4158381739 3383752641 3211657313 1468931553 785174801 2438710385 1309955470 1724121122 682227520 996512658 831889416 3997725518 2378339793 1503044330 423275833 3882378454 1494208633 3885884944 458751958 1050129858 2326353787 4148711638 123597246 3380502452 1177265145 64218127 2769341653 855141134 2058197792 109497187 3229847033 2116061239 3973985184 1885264208 2860855222 3553627634 3572176466 3251772761 895898943 3660636110 1410848211 1977344740 3010835340 3861940585 844186290 4045244586 644308237 826716553 706183851 854323239 2617942645 269050533 1648679157 3374321379 3233374431 774277637 2371289348 2055755399 2519867800 2168788969 2868326772 2398231585 1391512301 2290981592 1382667400 1379448414 2971726798 498485087 1124104747 3105848694 3982261410 513953250 3407488687 4086653686 3436489727 4000410633 2779668254 3687282384 100794915 1653346401 683427921 3525922406 2332440562 997386136 1288500139 1508727364 2228310356 2693308738 1966371018 1078066197 1515534077 277601097 1551078207 761605082 1324337652 3787045337 4101525340 4229138797 322983217 1721823277 3516619799 2551692742 2687481235 3805284744 2907520577 4026266206 656931550 1148196379 3909219798 2735213622 2627919625 3358236047 2392086922 1795921076 2765307413 1077074307 809163333 1633855713 3751879072 1462596190 2709878929 2429430494 1652967415 3339493019 476495548 3195664797 3040748556 736694755 1688296252 2771096478 1033066932 4002954247 1973430022 955177163 2926885090 2514660541 2507784630 3449680768 2811634552 1629046574 1119021606 2909810177 1826387740 728563167 928240279 1231433048 890383142 2472244034 2876754440 513472421 876273222 1427090130 512803551 2646066834 322339657 2072173683 1632253447 3869368544 1997857831 1568653816 3382232606 1279395875 1555323214 3231328261 1841272282 3101933864 3951671418 775905242 173777497 3387383564 842648373 1135164319 567158500 1026288990 165963530 3604783756 2590303335 2420420163 3405300589 2805392344 122352413 630940750 2481958962 1600972425 3377880648 24577298 2532557125 3629490378 823755092 2317096524 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1406
0.00/0.06	c #constraints 6702
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2701      0 |        5 |        0
0.19/0.21	c  0.0s |       1 |      136 |      100 |     2701      0 |        5 |      294
0.19/0.27	c  0.1s |       2 |      328 |      250 |     2972      0 |        5 |      294
0.28/0.38	c  0.2s |       3 |      632 |      475 |     3270      0 |        5 |      294
0.49/0.55	c  0.4s |       4 |     1040 |      813 |     3598      0 |        5 |      294
0.79/0.81	c  0.6s |       5 |     1668 |     1320 |     3958      0 |        5 |      294
1.19/1.22	c  1.1s |       6 |     2714 |     2081 |     4790      0 |        5 |      294
1.68/1.71	c  1.5s |       7 |     4167 |     3223 |     5269      0 |        5 |      294
2.39/2.48	c  2.3s |       8 |     6315 |     4936 |     5796      0 |        5 |      294
3.59/3.67	c  3.5s |       9 |     9394 |     7506 |     6376      1 |        5 |      294
5.49/5.50	c  5.3s |      10 |    13971 |    11361 |     7014      2 |        5 |      294
7.48/7.50	c  7.3s |      10 |    18326 |    14961 |     7014      3 |        5 |      294
8.58/8.65	c  8.5s |      11 |    20818 |    17144 |     7716      3 |        5 |      294
10.58/10.69	c 10.5s |      11 |    25204 |    20744 |     7716      4 |        5 |      294
12.68/12.72	c 12.6s |      11 |    29809 |    24744 |     7716      5 |        5 |      294
13.19/13.30	c 13.1s |      12 |    30969 |    25819 |     8488      5 |        5 |      294
15.28/15.31	c 15.1s |      12 |    35265 |    29419 |     8488      6 |        5 |      294
17.28/17.32	c 17.2s |      12 |    39644 |    33219 |     8488      7 |        5 |      294
19.28/19.32	c 19.2s |      12 |    43984 |    37019 |     8488      8 |        5 |      294
20.28/20.35	c 20.2s |      13 |    46064 |    38832 |     9337      8 |        5 |      294
22.38/22.40	c 22.2s |      13 |    50352 |    42332 |     9337      9 |        5 |      294
24.38/24.42	c 24.3s |      13 |    54677 |    45932 |     9337     10 |        5 |      294
26.39/26.45	c 26.3s |      13 |    59329 |    49932 |     9337     10 |        5 |      294
28.38/28.47	c 28.3s |      13 |    63373 |    53332 |     9337     11 |        5 |      294
30.38/30.49	c 30.3s |      13 |    67794 |    57132 |     9337     12 |        5 |      294
31.08/31.17	c 31.0s |      14 |    69174 |    58352 |    10271     12 |        5 |      294
33.09/33.17	c 33.0s |      14 |    72586 |    61252 |    10271     13 |        5 |      294
35.18/35.22	c 35.1s |      14 |    77197 |    65052 |    10271     13 |        5 |      294
37.18/37.24	c 37.1s |      14 |    81174 |    68452 |    10271     14 |        5 |      294
39.18/39.26	c 39.1s |      14 |    85434 |    71952 |    10271     15 |        5 |      294
41.18/41.29	c 41.1s |      14 |    89688 |    75652 |    10271     15 |        5 |      294
43.28/43.32	c 43.2s |      14 |    93358 |    78852 |    10271     16 |        5 |      294
45.28/45.32	c 45.2s |      14 |    97200 |    82252 |    10271     17 |        5 |      294
47.28/47.35	c 47.2s |      14 |   101148 |    85752 |    10271     17 |        5 |      294
48.38/48.43	c 48.3s |      15 |   103273 |    87632 |    11299     18 |        5 |      294
50.37/50.45	c 50.3s |      15 |   106030 |    89932 |    11299     18 |        5 |      294
52.37/52.48	c 52.3s |      15 |   110190 |    93432 |    11299     19 |        5 |      294
54.47/54.51	c 54.3s |      15 |   114659 |    97132 |    11299     19 |        5 |      294
56.47/56.55	c 56.4s |      15 |   118592 |   100632 |    11299     20 |        5 |      294
58.47/58.59	c 58.4s |      15 |   122559 |   104132 |    11299     20 |        5 |      294
60.58/60.66	c 60.5s |      15 |   126095 |   107232 |    11299     21 |        5 |      294
62.57/62.68	c 62.5s |      15 |   129418 |   110232 |    11299     21 |        5 |      294
64.67/64.72	c 64.6s |      15 |   133265 |   113632 |    11299     22 |        5 |      294
66.67/66.76	c 66.6s |      15 |   136545 |   116632 |    11299     23 |        5 |      294
68.77/68.80	c 68.6s |      15 |   140452 |   120132 |    11299     23 |        5 |      294
70.78/70.81	c 70.6s |      15 |   143229 |   122632 |    11299     24 |        5 |      294
72.78/72.86	c 72.7s |      15 |   147610 |   126432 |    11299     24 |        5 |      294
74.78/74.89	c 74.7s |      15 |   151263 |   129732 |    11299     25 |        5 |      294
75.88/75.99	c 75.8s |      16 |   153371 |   131552 |    12429     25 |        5 |      294
77.98/78.04	c 77.9s |      16 |   156628 |   134252 |    12429     25 |        5 |      294
79.98/80.09	c 79.9s |      16 |   160739 |   137752 |    12429     26 |        5 |      294
82.08/82.11	c 81.9s |      16 |   164304 |   140752 |    12429     26 |        5 |      294
84.08/84.16	c 84.0s |      16 |   168566 |   144352 |    12429     27 |        5 |      294
86.07/86.19	c 86.0s |      16 |   172029 |   147352 |    12429     28 |        5 |      294
88.17/88.20	c 88.0s |      16 |   175746 |   150552 |    12429     28 |        5 |      294
90.18/90.22	c 90.1s |      16 |   179092 |   153552 |    12429     28 |        5 |      294
92.17/92.25	c 92.1s |      16 |   181640 |   155652 |    12429     29 |        5 |      294
94.27/94.30	c 94.1s |      16 |   185882 |   159152 |    12429     29 |        5 |      294
96.27/96.30	c 96.1s |      16 |   189915 |   162652 |    12429     30 |        5 |      294
98.27/98.32	c 98.2s |      16 |   193898 |   166052 |    12429     30 |        5 |      294
100.27/100.35	c  100s |      16 |   197965 |   169652 |    12429     31 |        5 |      294
102.28/102.38	c  102s |      16 |   200598 |   171852 |    12429     31 |        5 |      294
104.27/104.39	c  104s |      16 |   203933 |   174752 |    12429     32 |        5 |      294
106.37/106.40	c  106s |      16 |   207485 |   177952 |    12429     32 |        5 |      294
108.37/108.41	c  108s |      16 |   211038 |   181052 |    12429     33 |        5 |      294
110.37/110.47	c  110s |      16 |   214524 |   184152 |    12429     33 |        5 |      294
112.47/112.53	c  112s |      16 |   218494 |   187652 |    12429     34 |        5 |      294
114.47/114.56	c  114s |      16 |   222039 |   190852 |    12429     34 |        5 |      294
116.47/116.60	c  116s |      16 |   225263 |   193752 |    12429     35 |        5 |      294
118.57/118.65	c  118s |      16 |   228280 |   196552 |    13672     35 |        5 |      294
119.26/119.31	c  119s |      17 |   229257 |   197432 |    13672     35 |        5 |      294
121.26/121.32	c  121s |      17 |   230488 |   198432 |    13672     35 |        5 |      294
123.27/123.32	c  123s |      17 |   233983 |   201332 |    13672     36 |        5 |      294
125.26/125.38	c  125s |      17 |   237769 |   204532 |    13672     36 |        5 |      294
127.36/127.48	c  127s |      17 |   241034 |   207432 |    13672     37 |        5 |      294
129.36/129.49	c  129s |      17 |   244711 |   210632 |    13672     37 |        5 |      294
131.46/131.50	c  131s |      17 |   247781 |   213332 |    13672     38 |        5 |      294
133.46/133.55	c  133s |      17 |   251493 |   216532 |    13672     38 |        5 |      294
135.56/135.60	c  135s |      17 |   253765 |   218532 |    13672     38 |        5 |      294
137.57/137.62	c  137s |      17 |   257654 |   221832 |    13672     39 |        5 |      294
139.56/139.63	c  139s |      17 |   261366 |   225032 |    13672     39 |        5 |      294
141.56/141.67	c  141s |      17 |   264475 |   227832 |    13672     40 |        5 |      294
143.67/143.70	c  143s |      17 |   268112 |   230932 |    13672     40 |        5 |      294
145.67/145.74	c  145s |      17 |   271302 |   233732 |    13672     40 |        5 |      294
147.67/147.75	c  147s |      17 |   274983 |   237032 |    13672     41 |        5 |      294
149.77/149.81	c  149s |      17 |   278484 |   240132 |    13672     41 |        5 |      294
151.87/151.91	c  151s |      17 |   281598 |   242832 |    13672     42 |        5 |      294
153.87/153.92	c  153s |      17 |   284740 |   245632 |    13672     42 |        5 |      294
155.87/155.97	c  155s |      17 |   287772 |   248332 |    13672     43 |        5 |      294
157.97/158.00	c  157s |      17 |   291269 |   251432 |    13672     43 |        5 |      294
159.96/160.05	c  159s |      17 |   294520 |   254332 |    13672     43 |        5 |      294
161.96/162.06	c  161s |      17 |   297855 |   257332 |    13672     44 |        5 |      294
164.86/164.93	c  164s |      17 |   300970 |   260132 |    13672     44 |        5 |      294
166.86/166.98	c  166s |      17 |   303652 |   262332 |    13672     45 |        5 |      294
168.96/169.03	c  168s |      17 |   307718 |   265832 |    13672     45 |        5 |      294
170.96/171.09	c  170s |      17 |   311012 |   268732 |    13672     46 |        5 |      294
173.06/173.14	c  172s |      17 |   314598 |   271932 |    13672     46 |        5 |      294
175.06/175.18	c  175s |      17 |   317623 |   274632 |    13672     46 |        5 |      294
177.17/177.24	c  177s |      17 |   321069 |   277632 |    13672     47 |        5 |      294
179.16/179.25	c  179s |      17 |   324307 |   280532 |    13672     47 |        5 |      294
181.16/181.29	c  181s |      17 |   327159 |   283032 |    13672     48 |        5 |      294
183.16/183.29	c  183s |      17 |   330393 |   285932 |    13672     48 |        5 |      294
185.26/185.36	c  185s |      17 |   333610 |   288832 |    13672     48 |        5 |      294
187.26/187.38	c  187s |      17 |   336442 |   291432 |    13672     49 |        5 |      294
189.36/189.42	c  189s |      17 |   339303 |   294032 |    13672     49 |        5 |      294
191.06/191.17	c  191s |      18 |   341899 |   296252 |    15040     49 |        5 |      294
193.06/193.18	c  193s |      18 |   343610 |   297652 |    15040     49 |        5 |      294
195.16/195.23	c  195s |      18 |   346732 |   300252 |    15040     50 |        5 |      294
197.16/197.25	c  197s |      18 |   349965 |   303052 |    15040     50 |        5 |      294
199.16/199.26	c  199s |      18 |   352680 |   305452 |    15040     51 |        5 |      294
201.16/201.29	c  201s |      18 |   356210 |   308452 |    15040     51 |        5 |      294
203.26/203.34	c  203s |      18 |   359836 |   311452 |    15040     51 |        5 |      294
205.26/205.35	c  205s |      18 |   363305 |   314452 |    15040     52 |        5 |      294
207.36/207.42	c  207s |      18 |   366894 |   317452 |    15040     52 |        5 |      294
209.36/209.44	c  209s |      18 |   370609 |   320652 |    15040     52 |        5 |      294
211.36/211.48	c  211s |      18 |   374490 |   324052 |    15040     53 |        5 |      294
214.46/214.58	c  214s |      18 |   377637 |   326852 |    15040     53 |        5 |      294
216.55/216.62	c  216s |      18 |   381237 |   329852 |    15040     54 |        5 |      294
218.55/218.63	c  218s |      18 |   385396 |   333352 |    15040     54 |        5 |      294
220.55/220.64	c  220s |      18 |   389018 |   336452 |    15040     55 |        5 |      294
222.55/222.68	c  222s |      18 |   393044 |   339952 |    15040     55 |        5 |      294
224.65/224.73	c  224s |      18 |   396432 |   342952 |    15040     55 |        5 |      294
226.66/226.75	c  226s |      18 |   398538 |   344752 |    15040     56 |        5 |      294
228.65/228.77	c  228s |      18 |   402194 |   347952 |    15040     56 |        5 |      294
230.75/230.80	c  230s |      18 |   405732 |   350952 |    15040     56 |        5 |      294
232.75/232.81	c  232s |      18 |   409550 |   354352 |    15040     57 |        5 |      294
234.75/234.86	c  234s |      18 |   412881 |   357352 |    15040     57 |        5 |      294
236.75/236.88	c  236s |      18 |   415647 |   359752 |    15040     58 |        5 |      294
238.75/238.89	c  238s |      18 |   418940 |   362752 |    15040     58 |        5 |      294
240.86/240.93	c  240s |      18 |   421780 |   365352 |    15040     58 |        5 |      294
242.85/242.94	c  242s |      18 |   424646 |   367952 |    15040     59 |        5 |      294
244.85/244.97	c  244s |      18 |   427480 |   370552 |    15040     59 |        5 |      294
246.85/246.99	c  246s |      18 |   430577 |   373252 |    15040     59 |        5 |      294
250.35/250.48	c  250s |      18 |   433162 |   375552 |    15040     60 |        5 |      294
252.45/252.52	c  252s |      18 |   436993 |   378752 |    15040     60 |        5 |      294
254.45/254.54	c  254s |      18 |   440220 |   381552 |    15040     60 |        5 |      294
256.45/256.57	c  256s |      18 |   443749 |   384652 |    15040     61 |        5 |      294
258.55/258.64	c  258s |      18 |   446991 |   387552 |    15040     61 |        5 |      294
260.55/260.67	c  260s |      18 |   449998 |   390052 |    15040     62 |        5 |      294
262.55/262.68	c  262s |      18 |   452313 |   392052 |    15040     62 |        5 |      294
264.64/264.75	c  264s |      18 |   455406 |   394752 |    15040     62 |        5 |      294
266.74/266.87	c  266s |      18 |   458011 |   397152 |    15040     63 |        5 |      294
268.74/268.87	c  268s |      18 |   461384 |   400052 |    15040     63 |        5 |      294
270.84/270.92	c  270s |      18 |   464234 |   402652 |    15040     63 |        5 |      294
272.85/272.96	c  272s |      18 |   466917 |   405052 |    15040     64 |        5 |      294
274.95/275.03	c  274s |      18 |   470181 |   408052 |    15040     64 |        5 |      294
276.94/277.03	c  276s |      18 |   472868 |   410552 |    15040     64 |        5 |      294
278.94/279.06	c  278s |      18 |   475486 |   412952 |    15040     65 |        5 |      294
281.04/281.13	c  280s |      18 |   477338 |   414652 |    15040     65 |        5 |      294
283.04/283.19	c  283s |      18 |   480318 |   417352 |    15040     65 |        5 |      294
285.14/285.23	c  285s |      18 |   483406 |   420052 |    15040     65 |        5 |      294
287.15/287.28	c  287s |      18 |   486810 |   423052 |    15040     66 |        5 |      294
289.14/289.28	c  289s |      18 |   489821 |   425752 |    15040     66 |        5 |      294
291.24/291.31	c  291s |      18 |   492391 |   428052 |    15040     67 |        5 |      294
293.24/293.32	c  293s |      18 |   495528 |   430852 |    15040     67 |        5 |      294
295.24/295.37	c  295s |      18 |   498387 |   433452 |    15040     67 |        5 |      294
297.84/297.93	c  297s |      18 |   500662 |   435552 |    15040     68 |        5 |      294
299.84/299.99	c  299s |      18 |   504186 |   438652 |    15040     68 |        5 |      294
301.94/302.04	c  301s |      18 |   507552 |   441652 |    16544     68 |        5 |      294
304.04/304.10	c  303s |      18 |   510412 |   444252 |    16544     68 |        5 |      294
304.14/304.29	c  304s |      19 |   510677 |   444482 |    16544     68 |        5 |      294
306.24/306.31	c  306s |      19 |   512330 |   445882 |    16544     69 |        5 |      294
308.24/308.34	c  308s |      19 |   515935 |   448882 |    16544     69 |        5 |      294
310.25/310.37	c  310s |      19 |   519013 |   451582 |    16544     69 |        5 |      294
312.34/312.42	c  312s |      19 |   521908 |   454082 |    16544     70 |        5 |      294
314.34/314.44	c  314s |      19 |   525619 |   457182 |    16544     70 |        5 |      294
316.34/316.50	c  316s |      19 |   528997 |   460082 |    16544     70 |        5 |      294
318.44/318.50	c  318s |      19 |   532340 |   462882 |    16544     71 |        5 |      294
320.44/320.51	c  320s |      19 |   536062 |   466082 |    16544     71 |        5 |      294
322.44/322.58	c  322s |      19 |   539142 |   468782 |    16544     71 |        5 |      294
324.44/324.59	c  324s |      19 |   542132 |   471382 |    16544     72 |        5 |      294
326.54/326.65	c  326s |      19 |   545393 |   474282 |    16544     72 |        5 |      294
328.54/328.68	c  328s |      19 |   548502 |   476982 |    16544     72 |        5 |      294
330.63/330.72	c  330s |      19 |   551614 |   479782 |    16544     73 |        5 |      294
332.63/332.74	c  332s |      19 |   554789 |   482682 |    16544     73 |        5 |      294
334.63/334.75	c  334s |      19 |   557881 |   485382 |    16544     73 |        5 |      294
336.73/336.82	c  336s |      19 |   558889 |   486282 |    16544     73 |        5 |      294
338.74/338.84	c  338s |      19 |   561837 |   488782 |    16544     74 |        5 |      294
340.73/340.87	c  340s |      19 |   565276 |   491682 |    16544     74 |        5 |      294
342.83/342.93	c  342s |      19 |   568603 |   494482 |    16544     74 |        5 |      294
344.83/344.99	c  344s |      19 |   571720 |   497282 |    16544     75 |        5 |      294
346.93/347.03	c  346s |      19 |   575116 |   500182 |    16544     75 |        5 |      294
348.93/349.07	c  348s |      19 |   577991 |   502782 |    16544     75 |        5 |      294
350.94/351.09	c  350s |      19 |   581191 |   505682 |    16544     76 |        5 |      294
353.03/353.12	c  352s |      19 |   583082 |   507382 |    16544     76 |        5 |      294
355.03/355.18	c  355s |      19 |   586356 |   510082 |    16544     76 |        5 |      294
357.13/357.23	c  357s |      19 |   589346 |   512682 |    16544     77 |        5 |      294
359.13/359.24	c  359s |      19 |   592964 |   515882 |    16544     77 |        5 |      294
361.13/361.27	c  361s |      19 |   596202 |   518782 |    16544     77 |        5 |      294
363.63/363.70	c  363s |      19 |   598948 |   521282 |    16544     78 |        5 |      294
365.63/365.72	c  365s |      19 |   602393 |   524282 |    16544     78 |        5 |      294
367.63/367.75	c  367s |      19 |   605428 |   526982 |    16544     78 |        5 |      294
369.64/369.77	c  369s |      19 |   608354 |   529582 |    16544     79 |        5 |      294
371.74/371.83	c  371s |      19 |   611606 |   532482 |    16544     79 |        5 |      294
373.83/373.91	c  373s |      19 |   614549 |   535082 |    16544     79 |        5 |      294
375.83/375.96	c  375s |      19 |   617409 |   537682 |    16544     80 |        5 |      294
378.53/378.61	c  378s |      19 |   620455 |   540482 |    16544     80 |        5 |      294
380.53/380.63	c  380s |      19 |   621695 |   541482 |    16544     80 |        5 |      294
382.63/382.70	c  382s |      19 |   625336 |   544582 |    16544     80 |        5 |      294
384.63/384.73	c  384s |      19 |   628903 |   547682 |    16544     81 |        5 |      294
386.63/386.73	c  386s |      19 |   632212 |   550582 |    16544     81 |        5 |      294
388.63/388.77	c  388s |      19 |   635064 |   553182 |    16544     81 |        5 |      294
390.73/390.82	c  390s |      19 |   638006 |   555882 |    16544     82 |        5 |      294
392.73/392.84	c  392s |      19 |   640939 |   558582 |    16544     82 |        5 |      294
394.73/394.88	c  394s |      19 |   643506 |   560882 |    16544     82 |        5 |      294
396.82/396.91	c  396s |      19 |   646404 |   563482 |    16544     83 |        5 |      294
398.82/398.93	c  398s |      19 |   649522 |   566182 |    16544     83 |        5 |      294
400.82/400.94	c  400s |      19 |   652400 |   568682 |    16544     83 |        5 |      294
402.82/402.97	c  402s |      19 |   655346 |   571282 |    16544     84 |        5 |      294
405.02/405.17	c  405s |      19 |   657056 |   572782 |    16544     84 |        5 |      294
407.03/407.19	c  407s |      19 |   660312 |   575682 |    16544     84 |        5 |      294
409.13/409.27	c  409s |      19 |   663351 |   578382 |    16544     84 |        5 |      294
411.22/411.33	c  411s |      19 |   666355 |   581082 |    16544     85 |        5 |      294
413.22/413.35	c  413s |      19 |   669301 |   583782 |    16544     85 |        5 |      294
415.22/415.39	c  415s |      19 |   671758 |   585982 |    16544     85 |        5 |      294
417.32/417.46	c  417s |      19 |   674426 |   588382 |    16544     86 |        5 |      294
419.32/419.47	c  419s |      19 |   677114 |   590882 |    16544     86 |        5 |      294
421.33/421.49	c  421s |      19 |   679861 |   593382 |    16544     86 |        5 |      294
423.32/423.50	c  423s |      19 |   682154 |   595482 |    16544     86 |        5 |      294
425.42/425.52	c  425s |      19 |   684993 |   598082 |    16544     87 |        5 |      294
427.42/427.58	c  427s |      19 |   687453 |   600382 |    16544     87 |        5 |      294
429.52/429.61	c  429s |      19 |   689632 |   602282 |    16544     87 |        5 |      294
431.52/431.66	c  431s |      19 |   692042 |   604382 |    16544     88 |        5 |      294
433.52/433.67	c  433s |      19 |   695053 |   607082 |    16544     88 |        5 |      294
435.62/435.72	c  435s |      19 |   697871 |   609682 |    16544     88 |        5 |      294
437.62/437.73	c  437s |      19 |   700248 |   611882 |    16544     88 |        5 |      294
440.41/440.57	c  440s |      19 |   702691 |   614082 |    16544     89 |        5 |      294
442.51/442.60	c  442s |      19 |   706163 |   617082 |    16544     89 |        5 |      294
444.51/444.66	c  444s |      19 |   708903 |   619582 |    16544     89 |        5 |      294
446.62/446.71	c  446s |      19 |   711618 |   621982 |    16544     90 |        5 |      294
449.12/449.20	c  449s |      19 |   713309 |   623482 |    16544     90 |        5 |      294
451.12/451.24	c  451s |      19 |   715942 |   625782 |    16544     90 |        5 |      294
453.12/453.25	c  453s |      19 |   719259 |   628682 |    16544     90 |        5 |      294
455.12/455.29	c  455s |      19 |   722610 |   631582 |    16544     91 |        5 |      294
457.22/457.34	c  457s |      19 |   725684 |   634282 |    16544     91 |        5 |      294
459.22/459.38	c  459s |      19 |   728433 |   636782 |    16544     91 |        5 |      294
461.32/461.44	c  461s |      19 |   731140 |   639282 |    16544     92 |        5 |      294
463.42/463.51	c  463s |      19 |   733978 |   641782 |    16544     92 |        5 |      294
465.42/465.52	c  465s |      19 |   737072 |   644482 |    16544     92 |        5 |      294
467.42/467.56	c  467s |      19 |   739939 |   647082 |    16544     93 |        5 |      294
469.52/469.61	c  469s |      19 |   743062 |   649882 |    16544     93 |        5 |      294
471.52/471.63	c  471s |      19 |   745945 |   652482 |    16544     93 |        5 |      294
473.52/473.66	c  473s |      19 |   748320 |   654682 |    16544     94 |        5 |      294
475.71/475.85	c  475s |      19 |   751139 |   657282 |    16544     94 |        5 |      294
477.71/477.85	c  477s |      19 |   753683 |   659582 |    16544     94 |        5 |      294
479.71/479.88	c  479s |      19 |   756123 |   661782 |    16544     94 |        5 |      294
481.82/481.96	c  481s |      19 |   758301 |   663782 |    18199     94 |        5 |      294
483.81/483.99	c  483s |      19 |   760458 |   665782 |    18199     95 |        5 |      294
484.71/484.88	c  484s |      20 |   761581 |   666827 |    18199     95 |        5 |      294
486.81/486.92	c  486s |      20 |   763489 |   668327 |    18199     95 |        5 |      294
488.81/488.93	c  488s |      20 |   766629 |   670927 |    18199     95 |        5 |      294
490.81/490.98	c  490s |      20 |   769385 |   673327 |    18199     95 |        5 |      294
493.31/493.44	c  493s |      20 |   772382 |   675927 |    18199     96 |        5 |      294
495.31/495.46	c  495s |      20 |   775685 |   678827 |    18199     96 |        5 |      294
497.31/497.47	c  497s |      20 |   778622 |   681327 |    18199     96 |        5 |      294
499.32/499.48	c  499s |      20 |   781311 |   683627 |    18199     97 |        5 |      294
501.41/501.55	c  501s |      20 |   784526 |   686527 |    18199     97 |        5 |      294
503.41/503.57	c  503s |      20 |   787231 |   688927 |    18199     97 |        5 |      294
505.51/505.66	c  505s |      20 |   789867 |   691227 |    18199     97 |        5 |      294
507.51/507.69	c  507s |      20 |   792310 |   693427 |    18199     98 |        5 |      294
509.61/509.71	c  509s |      20 |   795297 |   696127 |    18199     98 |        5 |      294
511.61/511.77	c  511s |      20 |   797759 |   698427 |    18199     98 |        5 |      294
513.61/513.80	c  513s |      20 |   799927 |   700427 |    18199     98 |        5 |      294
515.71/515.86	c  515s |      20 |   802447 |   702727 |    18199     99 |        5 |      294
517.81/517.92	c  517s |      20 |   805340 |   705327 |    18199     99 |        5 |      294
519.81/519.93	c  519s |      20 |   807667 |   707427 |    18199     99 |        5 |      294
521.81/521.95	c  521s |      20 |   810035 |   709527 |    18199     99 |        5 |      294
524.91/525.06	c  524s |      20 |   811793 |   711127 |    18199    100 |        5 |      294
527.00/527.11	c  526s |      20 |   815323 |   714027 |    18199    100 |        5 |      294
529.01/529.17	c  529s |      20 |   818569 |   716827 |    18199    100 |        5 |      294
531.00/531.18	c  531s |      20 |   821437 |   719227 |    18199    100 |        5 |      294
533.10/533.22	c  533s |      20 |   824308 |   721627 |    18199    101 |        5 |      294
535.10/535.24	c  535s |      20 |   827587 |   724527 |    18199    101 |        5 |      294
537.20/537.35	c  537s |      20 |   830632 |   727127 |    18199    101 |        5 |      294
539.20/539.36	c  539s |      20 |   833134 |   729327 |    18199    102 |        5 |      294
541.21/541.39	c  541s |      20 |   836447 |   732327 |    18199    102 |        5 |      294
544.70/544.83	c  544s |      20 |   839353 |   734927 |    18199    102 |        5 |      294
546.71/546.85	c  546s |      20 |   842468 |   737527 |    18199    102 |        5 |      294
548.81/548.90	c  548s |      20 |   845338 |   739927 |    18199    103 |        5 |      294
550.80/550.92	c  550s |      20 |   848529 |   742727 |    18199    103 |        5 |      294
552.80/552.95	c  552s |      20 |   851551 |   745427 |    18199    103 |        5 |      294
554.90/555.00	c  554s |      20 |   853808 |   747427 |    18199    104 |        5 |      294
556.90/557.03	c  556s |      20 |   857087 |   750227 |    18199    104 |        5 |      294
558.90/559.03	c  558s |      20 |   859977 |   752827 |    18199    104 |        5 |      294
560.90/561.08	c  560s |      20 |   862826 |   755327 |    18199    104 |        5 |      294
562.90/563.09	c  562s |      20 |   865290 |   757527 |    18199    105 |        5 |      294
565.00/565.16	c  564s |      20 |   868222 |   760227 |    18199    105 |        5 |      294
567.00/567.19	c  567s |      20 |   870871 |   762627 |    18199    105 |        5 |      294
569.10/569.21	c  569s |      20 |   873231 |   764827 |    18199    105 |        5 |      294
571.60/571.72	c  571s |      20 |   874450 |   765927 |    18199    106 |        5 |      294
573.59/573.77	c  573s |      20 |   877713 |   768827 |    18199    106 |        5 |      294
575.69/575.84	c  575s |      20 |   880503 |   771327 |    18199    106 |        5 |      294
577.69/577.84	c  577s |      20 |   882950 |   773527 |    18199    106 |        5 |      294
579.70/579.87	c  579s |      20 |   885362 |   775627 |    18199    107 |        5 |      294
581.80/581.93	c  581s |      20 |   888292 |   778327 |    18199    107 |        5 |      294
583.80/583.96	c  583s |      20 |   890610 |   780427 |    18199    107 |        5 |      294
585.90/586.08	c  585s |      20 |   892876 |   782527 |    18199    107 |        5 |      294
588.10/588.21	c  588s |      20 |   894781 |   784327 |    18199    108 |        5 |      294
590.10/590.24	c  590s |      20 |   897138 |   786527 |    18199    108 |        5 |      294
592.20/592.30	c  592s |      20 |   899589 |   788827 |    18199    108 |        5 |      294
594.20/594.35	c  594s |      20 |   901839 |   790927 |    18199    108 |        5 |      294
596.30/596.44	c  596s |      20 |   903875 |   792827 |    18199    108 |        5 |      294
598.30/598.47	c  598s |      20 |   906005 |   794827 |    18199    109 |        5 |      294
600.30/600.48	c  600s |      20 |   908402 |   797027 |    18199    109 |        5 |      294
602.50/602.66	c  602s |      20 |   909733 |   798227 |    18199    109 |        5 |      294
604.60/604.72	c  604s |      20 |   912135 |   800327 |    18199    109 |        5 |      294
606.60/606.73	c  606s |      20 |   914492 |   802427 |    18199    109 |        5 |      294
608.60/608.77	c  608s |      20 |   917257 |   804927 |    18199    110 |        5 |      294
610.70/610.83	c  610s |      20 |   919811 |   807227 |    18199    110 |        5 |      294
612.70/612.87	c  612s |      20 |   922232 |   809427 |    18199    110 |        5 |      294
614.80/614.93	c  614s |      20 |   924561 |   811527 |    18199    110 |        5 |      294
616.79/616.99	c  616s |      20 |   926929 |   813727 |    18199    111 |        5 |      294
618.79/618.99	c  618s |      20 |   928778 |   815427 |    18199    111 |        5 |      294
620.89/621.05	c  620s |      20 |   931784 |   818027 |    18199    111 |        5 |      294
622.89/623.06	c  622s |      20 |   934197 |   820227 |    18199    111 |        5 |      294
624.99/625.10	c  624s |      20 |   936688 |   822427 |    18199    112 |        5 |      294
627.09/627.23	c  627s |      20 |   938897 |   824427 |    18199    112 |        5 |      294
629.09/629.24	c  629s |      20 |   941774 |   826827 |    18199    112 |        5 |      294
631.09/631.29	c  631s |      20 |   944868 |   829427 |    18199    112 |        5 |      294
633.29/633.49	c  633s |      20 |   947271 |   831527 |    18199    113 |        5 |      294
635.29/635.49	c  635s |      20 |   950348 |   834227 |    18199    113 |        5 |      294
637.39/637.53	c  637s |      20 |   953227 |   836827 |    18199    113 |        5 |      294
639.39/639.57	c  639s |      20 |   955830 |   839127 |    18199    113 |        5 |      294
641.49/641.63	c  641s |      20 |   958899 |   841727 |    18199    114 |        5 |      294
643.50/643.69	c  643s |      20 |   961905 |   844327 |    18199    114 |        5 |      294
645.70/645.83	c  645s |      20 |   964320 |   846427 |    18199    114 |        5 |      294
647.80/647.95	c  647s |      20 |   967148 |   848827 |    18199    115 |        5 |      294
649.79/649.98	c  649s |      20 |   970870 |   852027 |    18199    115 |        5 |      294
651.89/652.03	c  651s |      20 |   974313 |   855027 |    18199    115 |        5 |      294
653.89/654.07	c  653s |      20 |   977125 |   857527 |    18199    115 |        5 |      294
655.99/656.10	c  655s |      20 |   980132 |   860227 |    18199    116 |        5 |      294
657.99/658.13	c  657s |      20 |   982430 |   862327 |    18199    116 |        5 |      294
660.00/660.13	c  659s |      20 |   985393 |   864927 |    18199    116 |        5 |      294
661.99/662.14	c  661s |      20 |   987975 |   867227 |    18199    116 |        5 |      294
663.99/664.15	c  663s |      20 |   990613 |   869627 |    18199    117 |        5 |      294
665.99/666.17	c  666s |      20 |   993194 |   872027 |    18199    117 |        5 |      294
668.09/668.25	c  668s |      20 |   995877 |   874427 |    18199    117 |        5 |      294
670.19/670.39	c  670s |      20 |   998164 |   876427 |    18199    118 |        5 |      294
672.29/672.41	c  672s |      20 |  1001069 |   879027 |    18199    118 |        5 |      294
674.29/674.42	c  674s |      20 |  1003753 |   881427 |    18199    118 |        5 |      294
677.49/677.62	c  677s |      20 |  1005133 |   882627 |    18199    118 |        5 |      294
679.48/679.69	c  679s |      20 |  1007132 |   884327 |    18199    118 |        5 |      294
681.58/681.73	c  681s |      20 |  1010261 |   886927 |    18199    119 |        5 |      294
683.58/683.75	c  683s |      20 |  1013465 |   889727 |    18199    119 |        5 |      294
685.68/685.80	c  685s |      20 |  1016582 |   892327 |    18199    119 |        5 |      294
687.68/687.82	c  687s |      20 |  1019504 |   894827 |    18199    119 |        5 |      294
689.69/689.83	c  689s |      20 |  1022941 |   897827 |    18199    120 |        5 |      294
691.68/691.86	c  691s |      20 |  1025423 |   900027 |    18199    120 |        5 |      294
693.78/693.93	c  693s |      20 |  1028857 |   902927 |    18199    120 |        5 |      294
695.78/695.94	c  695s |      20 |  1032193 |   905827 |    18199    121 |        5 |      294
697.78/697.97	c  697s |      20 |  1035324 |   908627 |    18199    121 |        5 |      294
699.88/700.03	c  699s |      20 |  1038458 |   911427 |    18199    121 |        5 |      294
701.88/702.07	c  701s |      20 |  1040983 |   913627 |    18199    122 |        5 |      294
703.99/704.12	c  703s |      20 |  1044367 |   916627 |    18199    122 |        5 |      294
705.98/706.16	c  705s |      20 |  1047367 |   919327 |    18199    122 |        5 |      294
707.98/708.17	c  708s |      20 |  1049987 |   921727 |    18199    122 |        5 |      294
710.08/710.20	c  710s |      20 |  1052937 |   924427 |    18199    123 |        5 |      294
712.08/712.22	c  712s |      20 |  1056018 |   927127 |    18199    123 |        5 |      294
714.18/714.30	c  714s |      20 |  1058672 |   929527 |    18199    123 |        5 |      294
717.28/717.49	c  717s |      20 |  1059024 |   929827 |    18199    123 |        5 |      294
719.38/719.54	c  719s |      20 |  1061725 |   932227 |    18199    124 |        5 |      294
721.48/721.61	c  721s |      20 |  1064861 |   935027 |    18199    124 |        5 |      294
723.47/723.63	c  723s |      20 |  1067599 |   937427 |    18199    124 |        5 |      294
725.57/725.72	c  725s |      20 |  1070449 |   939927 |    18199    124 |        5 |      294
727.57/727.79	c  727s |      20 |  1073337 |   942427 |    18199    125 |        5 |      294
729.67/729.87	c  729s |      20 |  1076421 |   945127 |    18199    125 |        5 |      294
731.77/731.94	c  731s |      20 |  1079554 |   947927 |    18199    125 |        5 |      294
733.87/734.02	c  733s |      20 |  1082040 |   950127 |    18199    126 |        5 |      294
735.88/736.08	c  735s |      20 |  1085135 |   952827 |    18199    126 |        5 |      294
737.98/738.11	c  737s |      20 |  1088120 |   955527 |    18199    126 |        5 |      294
739.98/740.13	c  739s |      20 |  1090759 |   957927 |    18199    126 |        5 |      294
741.98/742.19	c  742s |      20 |  1093374 |   960327 |    18199    127 |        5 |      294
745.58/745.75	c  745s |      20 |  1096331 |   963027 |    18199    127 |        5 |      294
747.68/747.80	c  747s |      20 |  1099292 |   965727 |    18199    127 |        5 |      294
749.68/749.89	c  749s |      20 |  1101645 |   967927 |    18199    127 |        5 |      294
751.77/751.92	c  751s |      20 |  1104012 |   970127 |    18199    128 |        5 |      294
753.77/753.96	c  753s |      20 |  1106697 |   972627 |    18199    128 |        5 |      294
755.87/756.04	c  755s |      20 |  1109226 |   974927 |    18199    128 |        5 |      294
757.88/758.08	c  757s |      20 |  1111603 |   977127 |    18199    128 |        5 |      294
759.87/760.09	c  759s |      20 |  1113968 |   979227 |    18199    129 |        5 |      294
761.97/762.15	c  761s |      20 |  1116604 |   981627 |    18199    129 |        5 |      294
763.97/764.16	c  763s |      20 |  1119328 |   984027 |    18199    129 |        5 |      294
765.97/766.18	c  766s |      20 |  1121525 |   986027 |    18199    129 |        5 |      294
768.07/768.26	c  768s |      20 |  1123528 |   987827 |    18199    130 |        5 |      294
770.07/770.27	c  770s |      20 |  1126350 |   990427 |    18199    130 |        5 |      294
772.17/772.31	c  772s |      20 |  1128942 |   992827 |    18199    130 |        5 |      294
774.17/774.37	c  774s |      20 |  1131259 |   995027 |    20019    130 |        5 |      294
776.17/776.37	c  776s |      20 |  1133584 |   997027 |    20019    130 |        5 |      294
778.27/778.41	c  778s |      20 |  1135896 |   999027 |    20019    131 |        5 |      294
779.17/779.31	c  779s |      21 |  1137388 |  1000345 |    20019    131 |        5 |      294
781.16/781.32	c  781s |      21 |  1138893 |  1001645 |    20019    131 |        5 |      294
783.17/783.39	c  783s |      21 |  1142091 |  1004445 |    20019    131 |        5 |      294
785.26/785.40	c  785s |      21 |  1144668 |  1006645 |    20019    131 |        5 |      294
787.26/787.46	c  787s |      21 |  1147134 |  1008845 |    20019    132 |        5 |      294
789.26/789.49	c  789s |      21 |  1149975 |  1011345 |    20019    132 |        5 |      294
791.36/791.52	c  791s |      21 |  1153195 |  1014045 |    20019    132 |        5 |      294
793.36/793.52	c  793s |      21 |  1155933 |  1016345 |    20019    132 |        5 |      294
795.36/795.56	c  795s |      21 |  1158312 |  1018245 |    20019    133 |        5 |      294
797.36/797.58	c  797s |      21 |  1161050 |  1020545 |    20019    133 |        5 |      294
799.46/799.63	c  799s |      21 |  1164381 |  1023445 |    20019    133 |        5 |      294
801.46/801.69	c  801s |      21 |  1167303 |  1025945 |    20019    133 |        5 |      294
803.55/803.77	c  803s |      21 |  1170093 |  1028345 |    20019    133 |        5 |      294
805.55/805.78	c  805s |      21 |  1173040 |  1030945 |    20019    134 |        5 |      294
807.55/807.79	c  807s |      21 |  1175904 |  1033545 |    20019    134 |        5 |      294
809.65/809.80	c  809s |      21 |  1178469 |  1035845 |    20019    134 |        5 |      294
811.66/811.85	c  811s |      21 |  1181095 |  1038145 |    20019    134 |        5 |      294
813.74/813.95	c  813s |      21 |  1183828 |  1040545 |    20019    135 |        5 |      294
815.74/815.99	c  815s |      21 |  1185260 |  1041745 |    20019    135 |        5 |      294
817.84/818.03	c  817s |      21 |  1188271 |  1044345 |    20019    135 |        5 |      294
819.84/820.06	c  819s |      21 |  1190985 |  1046645 |    20019    135 |        5 |      294
821.84/822.06	c  821s |      21 |  1193335 |  1048645 |    20019    135 |        5 |      294
823.94/824.11	c  823s |      21 |  1196545 |  1051445 |    20019    136 |        5 |      294
825.95/826.19	c  826s |      21 |  1198977 |  1053645 |    20019    136 |        5 |      294
828.04/828.26	c  828s |      21 |  1201764 |  1056045 |    20019    136 |        5 |      294
830.14/830.33	c  830s |      21 |  1204243 |  1058245 |    20019    136 |        5 |      294
832.24/832.43	c  832s |      21 |  1207018 |  1060645 |    20019    137 |        5 |      294
834.34/834.50	c  834s |      21 |  1209810 |  1063145 |    20019    137 |        5 |      294
836.34/836.58	c  836s |      21 |  1212379 |  1065545 |    20019    137 |        5 |      294
838.44/838.60	c  838s |      21 |  1214803 |  1067745 |    20019    137 |        5 |      294
840.44/840.65	c  840s |      21 |  1217217 |  1069945 |    20019    138 |        5 |      294
842.54/842.73	c  842s |      21 |  1220029 |  1072445 |    20019    138 |        5 |      294
844.53/844.79	c  844s |      21 |  1222834 |  1074945 |    20019    138 |        5 |      294
847.63/847.83	c  847s |      21 |  1223176 |  1075245 |    20019    138 |        5 |      294
849.63/849.87	c  849s |      21 |  1226006 |  1077645 |    20019    138 |        5 |      294
851.73/851.93	c  851s |      21 |  1228507 |  1079845 |    20019    139 |        5 |      294
853.72/853.95	c  853s |      21 |  1231616 |  1082545 |    20019    139 |        5 |      294
855.73/855.98	c  855s |      21 |  1234440 |  1085045 |    20019    139 |        5 |      294
857.83/858.01	c  857s |      21 |  1236998 |  1087345 |    20019    139 |        5 |      294
859.92/860.14	c  859s |      21 |  1239114 |  1089245 |    20019    140 |        5 |      294
861.92/862.18	c  862s |      21 |  1242096 |  1091845 |    20019    140 |        5 |      294
864.02/864.21	c  864s |      21 |  1244852 |  1094145 |    20019    140 |        5 |      294
866.02/866.24	c  866s |      21 |  1247338 |  1096245 |    20019    140 |        5 |      294
868.02/868.28	c  868s |      21 |  1249727 |  1098345 |    20019    140 |        5 |      294
870.11/870.31	c  870s |      21 |  1252558 |  1100745 |    20019    141 |        5 |      294
872.12/872.36	c  872s |      21 |  1255654 |  1103445 |    20019    141 |        5 |      294
874.21/874.41	c  874s |      21 |  1258309 |  1105745 |    20019    141 |        5 |      294
876.21/876.41	c  876s |      21 |  1260814 |  1107945 |    20019    141 |        5 |      294
878.21/878.46	c  878s |      21 |  1263362 |  1110245 |    20019    142 |        5 |      294
880.21/880.47	c  880s |      21 |  1265977 |  1112645 |    20019    142 |        5 |      294
882.31/882.52	c  882s |      21 |  1268846 |  1115245 |    20019    142 |        5 |      294
884.31/884.57	c  884s |      21 |  1271376 |  1117545 |    20019    142 |        5 |      294
886.41/886.61	c  886s |      21 |  1273722 |  1119645 |    20019    143 |        5 |      294
888.81/889.09	c  888s |      21 |  1274924 |  1120745 |    20019    143 |        5 |      294
890.92/891.13	c  890s |      21 |  1277290 |  1122845 |    20019    143 |        5 |      294
892.91/893.14	c  892s |      21 |  1280422 |  1125545 |    20019    143 |        5 |      294
895.01/895.20	c  895s |      21 |  1283208 |  1127945 |    20019    143 |        5 |      294
897.01/897.25	c  897s |      21 |  1285742 |  1130245 |    20019    144 |        5 |      294
899.01/899.27	c  899s |      21 |  1288692 |  1132845 |    20019    144 |        5 |      294
901.10/901.33	c  901s |      21 |  1291444 |  1135245 |    20019    144 |        5 |      294
903.10/903.39	c  903s |      21 |  1294234 |  1137745 |    20019    144 |        5 |      294
905.21/905.48	c  905s |      21 |  1296533 |  1139845 |    20019    145 |        5 |      294
907.20/907.49	c  907s |      21 |  1299393 |  1142445 |    20019    145 |        5 |      294
909.20/909.49	c  909s |      21 |  1302127 |  1144945 |    20019    145 |        5 |      294
911.40/911.60	c  911s |      21 |  1304638 |  1147245 |    20019    145 |        5 |      294
913.40/913.63	c  913s |      21 |  1307030 |  1149345 |    20019    145 |        5 |      294
915.49/915.75	c  915s |      21 |  1309690 |  1151745 |    20019    146 |        5 |      294
918.30/918.51	c  918s |      21 |  1310894 |  1152845 |    20019    146 |        5 |      294
920.29/920.51	c  920s |      21 |  1314029 |  1155545 |    20019    146 |        5 |      294
922.29/922.58	c  922s |      21 |  1316852 |  1158045 |    20019    146 |        5 |      294
924.39/924.68	c  924s |      21 |  1319235 |  1160145 |    20019    147 |        5 |      294
926.49/926.70	c  926s |      21 |  1322400 |  1163045 |    20019    147 |        5 |      294
928.49/928.76	c  928s |      21 |  1325092 |  1165445 |    20019    147 |        5 |      294
930.59/930.80	c  930s |      21 |  1327847 |  1167945 |    20019    147 |        5 |      294
932.59/932.81	c  932s |      21 |  1330276 |  1170145 |    20019    147 |        5 |      294
934.58/934.86	c  934s |      21 |  1333025 |  1172545 |    20019    148 |        5 |      294
937.68/937.95	c  937s |      21 |  1335724 |  1174945 |    20019    148 |        5 |      294
939.68/939.96	c  939s |      21 |  1338394 |  1177245 |    20019    148 |        5 |      294
941.68/941.99	c  941s |      21 |  1340828 |  1179445 |    20019    148 |        5 |      294
943.78/944.04	c  943s |      21 |  1343096 |  1181545 |    20019    149 |        5 |      294
945.78/946.06	c  945s |      21 |  1346028 |  1184245 |    20019    149 |        5 |      294
947.78/948.08	c  947s |      21 |  1348637 |  1186645 |    20019    149 |        5 |      294
949.88/950.14	c  949s |      21 |  1351100 |  1188845 |    20019    149 |        5 |      294
951.88/952.18	c  952s |      21 |  1353130 |  1190745 |    20019    150 |        5 |      294
953.87/954.19	c  954s |      21 |  1355689 |  1193145 |    20019    150 |        5 |      294
955.97/956.27	c  956s |      21 |  1358127 |  1195445 |    20019    150 |        5 |      294
957.98/958.28	c  958s |      21 |  1360169 |  1197345 |    20019    150 |        5 |      294
960.08/960.36	c  960s |      21 |  1362538 |  1199545 |    20019    150 |        5 |      294
962.17/962.42	c  962s |      21 |  1364607 |  1201445 |    20019    151 |        5 |      294
964.17/964.47	c  964s |      21 |  1367012 |  1203645 |    20019    151 |        5 |      294
966.78/967.06	c  966s |      21 |  1368332 |  1204845 |    20019    151 |        5 |      294
969.08/969.37	c  969s |      21 |  1368674 |  1205145 |    20019    151 |        5 |      294
971.08/971.37	c  971s |      21 |  1371085 |  1207345 |    20019    151 |        5 |      294
973.17/973.43	c  973s |      21 |  1373496 |  1209545 |    20019    151 |        5 |      294
975.17/975.47	c  975s |      21 |  1375785 |  1211645 |    20019    152 |        5 |      294
977.27/977.55	c  977s |      21 |  1378649 |  1214245 |    20019    152 |        5 |      294
979.37/979.62	c  979s |      21 |  1381180 |  1216545 |    20019    152 |        5 |      294
981.37/981.65	c  981s |      21 |  1383437 |  1218645 |    20019    152 |        5 |      294
983.37/983.69	c  983s |      21 |  1385462 |  1220545 |    20019    152 |        5 |      294
985.48/985.72	c  985s |      21 |  1387527 |  1222445 |    20019    153 |        5 |      294
987.57/987.80	c  987s |      21 |  1389867 |  1224645 |    20019    153 |        5 |      294
989.57/989.87	c  989s |      21 |  1391819 |  1226345 |    20019    153 |        5 |      294
991.67/991.90	c  991s |      21 |  1394054 |  1228345 |    20019    153 |        5 |      294
993.66/993.98	c  993s |      21 |  1396054 |  1230145 |    20019    153 |        5 |      294
995.76/996.04	c  995s |      21 |  1398143 |  1232045 |    20019    154 |        5 |      294
997.76/998.04	c  997s |      21 |  1400778 |  1234445 |    20019    154 |        5 |      294
999.77/1000.05	c  999s |      21 |  1403064 |  1236545 |    20019    154 |        5 |      294
1001.76/1002.07	c 1001s |      21 |  1405158 |  1238345 |    20019    154 |        5 |      294
1003.86/1004.18	c 1004s |      21 |  1407335 |  1240245 |    20019    154 |        5 |      294
1005.96/1006.24	c 1006s |      21 |  1409446 |  1242145 |    20019    155 |        5 |      294
1008.16/1008.41	c 1008s |      21 |  1411890 |  1244345 |    20019    155 |        5 |      294
1010.16/1010.46	c 1010s |      21 |  1414402 |  1246645 |    20019    155 |        5 |      294
1012.26/1012.50	c 1012s |      21 |  1416912 |  1248845 |    20019    155 |        5 |      294
1014.25/1014.55	c 1014s |      21 |  1419010 |  1250745 |    20019    155 |        5 |      294
1016.26/1016.55	c 1016s |      21 |  1421395 |  1252945 |    20019    156 |        5 |      294
1018.75/1019.03	c 1018s |      21 |  1424007 |  1255345 |    20019    156 |        5 |      294
1020.85/1021.10	c 1020s |      21 |  1426014 |  1257145 |    20019    156 |        5 |      294
1022.95/1023.21	c 1023s |      21 |  1428387 |  1259345 |    20019    156 |        5 |      294
1024.95/1025.25	c 1025s |      21 |  1430510 |  1261245 |    20019    156 |        5 |      294
1026.95/1027.28	c 1027s |      21 |  1433064 |  1263545 |    20019    157 |        5 |      294
1029.05/1029.36	c 1029s |      21 |  1436059 |  1266145 |    20019    157 |        5 |      294
1031.15/1031.45	c 1031s |      21 |  1438604 |  1268445 |    20019    157 |        5 |      294
1033.24/1033.53	c 1033s |      21 |  1440766 |  1270445 |    20019    157 |        5 |      294
1035.34/1035.60	c 1035s |      21 |  1442810 |  1272345 |    20019    158 |        5 |      294
1037.34/1037.66	c 1037s |      21 |  1445260 |  1274645 |    20019    158 |        5 |      294
1039.44/1039.74	c 1039s |      21 |  1447478 |  1276745 |    20019    158 |        5 |      294
1041.45/1041.77	c 1041s |      21 |  1449212 |  1278345 |    20019    158 |        5 |      294
1043.53/1043.80	c 1043s |      21 |  1451417 |  1280345 |    20019    158 |        5 |      294
1045.53/1045.81	c 1045s |      21 |  1453281 |  1282045 |    20019    159 |        5 |      294
1047.53/1047.88	c 1047s |      21 |  1455957 |  1284545 |    20019    159 |        5 |      294
1049.63/1049.96	c 1049s |      21 |  1457718 |  1286145 |    20019    159 |        5 |      294
1051.73/1052.00	c 1051s |      21 |  1459801 |  1288045 |    20019    159 |        5 |      294
1053.73/1054.03	c 1053s |      21 |  1461750 |  1289845 |    20019    159 |        5 |      294
1055.83/1056.13	c 1055s |      21 |  1463614 |  1291545 |    20019    159 |        5 |      294
1057.83/1058.16	c 1057s |      21 |  1465779 |  1293545 |    20019    160 |        5 |      294
1059.92/1060.21	c 1060s |      21 |  1467902 |  1295545 |    20019    160 |        5 |      294
1061.92/1062.25	c 1062s |      21 |  1469861 |  1297345 |    20019    160 |        5 |      294
1063.92/1064.29	c 1064s |      21 |  1471862 |  1299145 |    20019    160 |        5 |      294
1066.12/1066.42	c 1066s |      21 |  1473683 |  1300845 |    20019    160 |        5 |      294
1068.22/1068.50	c 1068s |      21 |  1475412 |  1302445 |    20019    161 |        5 |      294
1070.22/1070.59	c 1070s |      21 |  1477821 |  1304645 |    20019    161 |        5 |      294
1072.32/1072.66	c 1072s |      21 |  1479957 |  1306645 |    20019    161 |        5 |      294
1074.31/1074.70	c 1074s |      21 |  1481856 |  1308445 |    20019    161 |        5 |      294
1076.41/1076.76	c 1076s |      21 |  1483670 |  1310145 |    20019    161 |        5 |      294
1079.12/1079.49	c 1079s |      21 |  1485070 |  1311445 |    20019    161 |        5 |      294
1081.22/1081.56	c 1081s |      21 |  1486630 |  1312845 |    20019    162 |        5 |      294
1083.32/1083.63	c 1083s |      21 |  1489529 |  1315445 |    20019    162 |        5 |      294
1085.42/1085.71	c 1085s |      21 |  1491774 |  1317545 |    20019    162 |        5 |      294
1087.41/1087.75	c 1087s |      21 |  1493803 |  1319445 |    20019    162 |        5 |      294
1089.51/1089.84	c 1089s |      21 |  1495730 |  1321245 |    20019    162 |        5 |      294
1091.51/1091.86	c 1091s |      21 |  1497473 |  1322845 |    20019    163 |        5 |      294
1093.50/1093.89	c 1093s |      21 |  1499763 |  1324945 |    20019    163 |        5 |      294
1095.60/1095.90	c 1095s |      21 |  1502069 |  1327045 |    20019    163 |        5 |      294
1097.61/1097.96	c 1097s |      21 |  1504333 |  1329045 |    20019    163 |        5 |      294
1099.60/1099.99	c 1099s |      21 |  1506432 |  1330945 |    20019    163 |        5 |      294
1101.70/1102.01	c 1101s |      21 |  1508075 |  1332445 |    20019    164 |        5 |      294
1103.70/1104.07	c 1103s |      21 |  1510910 |  1334945 |    20019    164 |        5 |      294
1105.69/1106.08	c 1105s |      21 |  1513496 |  1337245 |    20019    164 |        5 |      294
1107.79/1108.17	c 1108s |      21 |  1515698 |  1339145 |    20019    164 |        5 |      294
1109.79/1110.18	c 1110s |      21 |  1518027 |  1341145 |    20019    164 |        5 |      294
1111.90/1112.21	c 1112s |      21 |  1520407 |  1343245 |    20019    165 |        5 |      294
1113.89/1114.22	c 1114s |      21 |  1522812 |  1345345 |    20019    165 |        5 |      294
1115.89/1116.24	c 1116s |      21 |  1525828 |  1347945 |    20019    165 |        5 |      294
1117.89/1118.27	c 1118s |      21 |  1528351 |  1350245 |    20019    165 |        5 |      294
1119.99/1120.30	c 1120s |      21 |  1530866 |  1352445 |    20019    165 |        5 |      294
1121.99/1122.31	c 1122s |      21 |  1533514 |  1354845 |    20019    166 |        5 |      294
1124.59/1124.96	c 1124s |      21 |  1535713 |  1356845 |    20019    166 |        5 |      294
1126.59/1126.99	c 1126s |      21 |  1538232 |  1359045 |    20019    166 |        5 |      294
1128.69/1129.05	c 1128s |      21 |  1540786 |  1361245 |    20019    166 |        5 |      294
1130.69/1131.06	c 1130s |      21 |  1542928 |  1363145 |    20019    167 |        5 |      294
1132.69/1133.06	c 1132s |      21 |  1545386 |  1365345 |    20019    167 |        5 |      294
1134.78/1135.13	c 1134s |      21 |  1548495 |  1367945 |    20019    167 |        5 |      294
1136.78/1137.16	c 1136s |      21 |  1551211 |  1370245 |    20019    167 |        5 |      294
1138.78/1139.19	c 1139s |      21 |  1553705 |  1372345 |    20019    167 |        5 |      294
1140.78/1141.19	c 1141s |      21 |  1555645 |  1374045 |    20019    168 |        5 |      294
1142.88/1143.22	c 1143s |      21 |  1558591 |  1376645 |    20019    168 |        5 |      294
1144.89/1145.26	c 1145s |      21 |  1561161 |  1378945 |    20019    168 |        5 |      294
1146.99/1147.35	c 1147s |      21 |  1563651 |  1381145 |    20019    168 |        5 |      294
1149.08/1149.44	c 1149s |      21 |  1565756 |  1383045 |    20019    169 |        5 |      294
1151.08/1151.46	c 1151s |      21 |  1568740 |  1385745 |    20019    169 |        5 |      294
1153.18/1153.51	c 1153s |      21 |  1571169 |  1387945 |    20019    169 |        5 |      294
1155.18/1155.53	c 1155s |      21 |  1573622 |  1390145 |    20019    169 |        5 |      294
1157.98/1158.38	c 1158s |      21 |  1575974 |  1392145 |    20019    169 |        5 |      294
1160.08/1160.41	c 1160s |      21 |  1577918 |  1393745 |    20019    170 |        5 |      294
1162.08/1162.48	c 1162s |      21 |  1581303 |  1396645 |    20019    170 |        5 |      294
1164.17/1164.50	c 1164s |      21 |  1583570 |  1398645 |    20019    170 |        5 |      294
1166.17/1166.57	c 1166s |      21 |  1586346 |  1401045 |    20019    170 |        5 |      294
1168.57/1168.90	c 1168s |      21 |  1588744 |  1403145 |    20019    171 |        5 |      294
1170.57/1170.97	c 1170s |      21 |  1591960 |  1406045 |    20019    171 |        5 |      294
1172.67/1173.02	c 1172s |      21 |  1594569 |  1408245 |    20019    171 |        5 |      294
1174.67/1175.05	c 1174s |      21 |  1597373 |  1410645 |    20019    171 |        5 |      294
1176.67/1177.05	c 1176s |      21 |  1599973 |  1412945 |    20019    171 |        5 |      294
1178.67/1179.06	c 1178s |      21 |  1602830 |  1415445 |    20019    172 |        5 |      294
1180.77/1181.10	c 1180s |      21 |  1605792 |  1418045 |    20019    172 |        5 |      294
1182.76/1183.15	c 1182s |      21 |  1608427 |  1420445 |    20019    172 |        5 |      294
1184.76/1185.15	c 1184s |      21 |  1610528 |  1422345 |    20019    172 |        5 |      294
1186.86/1187.22	c 1187s |      21 |  1612600 |  1424245 |    20019    173 |        5 |      294
1188.87/1189.26	c 1189s |      21 |  1615678 |  1427045 |    20019    173 |        5 |      294
1190.86/1191.28	c 1191s |      21 |  1618217 |  1429345 |    20019    173 |        5 |      294
1192.95/1193.35	c 1193s |      21 |  1620591 |  1431545 |    20019    173 |        5 |      294
1195.05/1195.43	c 1195s |      21 |  1622902 |  1433545 |    20019    173 |        5 |      294
1197.05/1197.49	c 1197s |      21 |  1625651 |  1435945 |    20019    174 |        5 |      294
1199.15/1199.52	c 1199s |      21 |  1628419 |  1438445 |    20019    174 |        5 |      294
1203.56/1203.95	c 1203s |      21 |  1630316 |  1440145 |    20019    174 |        5 |      294
1205.56/1205.97	c 1205s |      21 |  1632761 |  1442245 |    20019    174 |        5 |      294
1207.66/1208.02	c 1207s |      21 |  1635152 |  1444245 |    20019    175 |        5 |      294
1209.66/1210.02	c 1209s |      21 |  1638291 |  1447045 |    20019    175 |        5 |      294
1211.66/1212.06	c 1211s |      21 |  1641167 |  1449645 |    20019    175 |        5 |      294
1213.65/1214.08	c 1213s |      21 |  1643697 |  1451845 |    20019    175 |        5 |      294
1215.85/1216.21	c 1216s |      21 |  1646040 |  1453945 |    20019    176 |        5 |      294
1217.85/1218.29	c 1218s |      21 |  1648802 |  1456445 |    20019    176 |        5 |      294
1220.05/1220.41	c 1220s |      21 |  1651391 |  1458745 |    20019    176 |        5 |      294
1222.05/1222.47	c 1222s |      21 |  1653856 |  1460945 |    20019    176 |        5 |      294
1224.15/1224.52	c 1224s |      21 |  1655928 |  1462845 |    20019    176 |        5 |      294
1227.14/1227.53	c 1227s |      21 |  1657939 |  1464645 |    20019    177 |        5 |      294
1229.24/1229.61	c 1229s |      21 |  1660724 |  1467045 |    20019    177 |        5 |      294
1231.24/1231.62	c 1231s |      21 |  1663208 |  1469245 |    20019    177 |        5 |      294
1233.24/1233.62	c 1233s |      21 |  1665542 |  1471345 |    20019    177 |        5 |      294
1235.34/1235.70	c 1235s |      21 |  1667686 |  1473245 |    20019    177 |        5 |      294
1237.34/1237.73	c 1237s |      21 |  1669904 |  1475245 |    20019    178 |        5 |      294
1239.44/1239.80	c 1239s |      21 |  1672498 |  1477645 |    20019    178 |        5 |      294
1241.44/1241.87	c 1241s |      21 |  1674779 |  1479745 |    20019    178 |        5 |      294
1243.53/1243.96	c 1243s |      21 |  1677304 |  1482045 |    20019    178 |        5 |      294
1245.63/1246.01	c 1245s |      21 |  1679554 |  1484145 |    20019    178 |        5 |      294
1247.63/1248.07	c 1247s |      21 |  1682045 |  1486445 |    20019    179 |        5 |      294
1249.73/1250.16	c 1249s |      21 |  1684514 |  1488745 |    20019    179 |        5 |      294
1251.83/1252.27	c 1252s |      21 |  1686535 |  1490645 |    22021    179 |        5 |      294
1253.93/1254.34	c 1254s |      21 |  1688406 |  1492345 |    22021    179 |        5 |      294
1256.03/1256.42	c 1256s |      21 |  1690400 |  1494145 |    22021    179 |        5 |      294
1258.03/1258.45	c 1258s |      21 |  1692286 |  1495845 |    22021    179 |        5 |      294
1260.03/1260.48	c 1260s |      21 |  1693824 |  1497245 |    22021    180 |        5 |      294
1262.13/1262.50	c 1262s |      21 |  1696306 |  1499545 |    22021    180 |        5 |      294
1263.12/1263.58	c 1263s |      22 |  1697548 |  1500622 |    22021    180 |        5 |      294
1265.23/1265.62	c 1265s |      22 |  1698333 |  1501222 |    22021    180 |        5 |      294
1267.23/1267.65	c 1267s |      22 |  1700942 |  1503422 |    22021    180 |        5 |      294
1269.23/1269.68	c 1269s |      22 |  1703222 |  1505422 |    22021    180 |        5 |      294
1271.33/1271.77	c 1271s |      22 |  1705558 |  1507422 |    22021    180 |        5 |      294
1273.43/1273.84	c 1273s |      22 |  1707961 |  1509522 |    22021    181 |        5 |      294
1275.52/1275.92	c 1275s |      22 |  1710706 |  1511922 |    22021    181 |        5 |      294
1277.62/1278.01	c 1277s |      22 |  1713471 |  1514422 |    22021    181 |        5 |      294
1279.62/1280.02	c 1279s |      22 |  1714927 |  1515622 |    22021    181 |        5 |      294
1281.62/1282.05	c 1281s |      22 |  1717511 |  1517822 |    22021    181 |        5 |      294
1283.62/1284.08	c 1283s |      22 |  1720343 |  1520122 |    22021    182 |        5 |      294
1285.72/1286.11	c 1285s |      22 |  1722421 |  1521922 |    22021    182 |        5 |      294
1287.73/1288.13	c 1287s |      22 |  1725322 |  1524522 |    22021    182 |        5 |      294
1289.72/1290.14	c 1289s |      22 |  1728035 |  1526922 |    22021    182 |        5 |      294
1291.82/1292.22	c 1292s |      22 |  1730521 |  1529122 |    22021    182 |        5 |      294
1293.82/1294.26	c 1294s |      22 |  1733030 |  1531322 |    22021    183 |        5 |      294
1295.92/1296.31	c 1296s |      22 |  1736261 |  1534022 |    22021    183 |        5 |      294
1297.91/1298.33	c 1298s |      22 |  1738721 |  1536122 |    22021    183 |        5 |      294
1299.92/1300.34	c 1300s |      22 |  1741628 |  1538622 |    22021    183 |        5 |      294
1301.91/1302.36	c 1302s |      22 |  1744084 |  1540822 |    22021    183 |        5 |      294
1304.01/1304.46	c 1304s |      22 |  1746931 |  1543322 |    22021    184 |        5 |      294
1306.11/1306.51	c 1306s |      22 |  1749871 |  1545822 |    22021    184 |        5 |      294
1308.11/1308.52	c 1308s |      22 |  1752488 |  1548022 |    22021    184 |        5 |      294
1310.11/1310.57	c 1310s |      22 |  1755066 |  1550322 |    22021    184 |        5 |      294
1312.21/1312.61	c 1312s |      22 |  1757227 |  1552222 |    22021    185 |        5 |      294
1314.21/1314.63	c 1314s |      22 |  1760219 |  1554922 |    22021    185 |        5 |      294
1316.20/1316.70	c 1316s |      22 |  1762468 |  1556922 |    22021    185 |        5 |      294
1318.30/1318.72	c 1318s |      22 |  1765120 |  1559322 |    22021    185 |        5 |      294
1320.30/1320.77	c 1320s |      22 |  1767411 |  1561422 |    22021    185 |        5 |      294
1322.40/1322.81	c 1322s |      22 |  1769445 |  1563322 |    22021    186 |        5 |      294
1324.40/1324.84	c 1324s |      22 |  1771992 |  1565622 |    22021    186 |        5 |      294
1326.50/1326.93	c 1326s |      22 |  1774710 |  1568022 |    22021    186 |        5 |      294
1328.51/1328.93	c 1328s |      22 |  1776906 |  1570022 |    22021    186 |        5 |      294
1330.60/1331.07	c 1330s |      22 |  1777476 |  1570522 |    22021    186 |        5 |      294
1332.60/1333.08	c 1332s |      22 |  1779939 |  1572622 |    22021    186 |        5 |      294
1334.80/1335.27	c 1335s |      22 |  1781949 |  1574422 |    22021    187 |        5 |      294
1336.80/1337.27	c 1337s |      22 |  1784795 |  1576822 |    22021    187 |        5 |      294
1338.90/1339.32	c 1339s |      22 |  1787738 |  1579422 |    22021    187 |        5 |      294
1340.90/1341.38	c 1341s |      22 |  1790458 |  1581822 |    22021    187 |        5 |      294
1342.90/1343.38	c 1343s |      22 |  1792897 |  1584022 |    22021    187 |        5 |      294
1345.00/1345.44	c 1345s |      22 |  1794897 |  1585822 |    22021    188 |        5 |      294
1347.00/1347.47	c 1347s |      22 |  1797670 |  1588322 |    22021    188 |        5 |      294
1349.00/1349.47	c 1349s |      22 |  1800090 |  1590522 |    22021    188 |        5 |      294
1351.00/1351.50	c 1351s |      22 |  1802279 |  1592522 |    22021    188 |        5 |      294
1353.10/1353.51	c 1353s |      22 |  1804280 |  1594322 |    22021    188 |        5 |      294
1355.20/1355.60	c 1355s |      22 |  1806209 |  1596022 |    22021    188 |        5 |      294
1357.20/1357.60	c 1357s |      22 |  1808399 |  1598022 |    22021    189 |        5 |      294
1359.21/1359.68	c 1359s |      22 |  1810798 |  1600122 |    22021    189 |        5 |      294
1361.20/1361.68	c 1361s |      22 |  1812928 |  1602022 |    22021    189 |        5 |      294
1363.30/1363.72	c 1363s |      22 |  1815342 |  1604122 |    22021    189 |        5 |      294
1365.30/1365.73	c 1365s |      22 |  1817591 |  1606122 |    22021    189 |        5 |      294
1368.40/1368.80	c 1368s |      22 |  1818787 |  1607222 |    22021    189 |        5 |      294
1370.40/1370.82	c 1370s |      22 |  1820763 |  1608922 |    22021    190 |        5 |      294
1372.40/1372.83	c 1372s |      22 |  1823761 |  1611522 |    22021    190 |        5 |      294
1374.39/1374.84	c 1374s |      22 |  1826324 |  1613822 |    22021    190 |        5 |      294
1376.59/1377.08	c 1376s |      22 |  1828957 |  1616222 |    22021    190 |        5 |      294
1378.69/1379.15	c 1378s |      22 |  1830901 |  1618022 |    22021    190 |        5 |      294
1380.79/1381.22	c 1381s |      22 |  1832846 |  1619822 |    22021    191 |        5 |      294
1382.79/1383.24	c 1383s |      22 |  1835409 |  1622122 |    22021    191 |        5 |      294
1384.79/1385.25	c 1385s |      22 |  1837743 |  1624222 |    22021    191 |        5 |      294
1386.79/1387.27	c 1387s |      22 |  1840032 |  1626322 |    22021    191 |        5 |      294
1388.79/1389.30	c 1389s |      22 |  1842046 |  1628122 |    22021    191 |        5 |      294
1390.89/1391.33	c 1391s |      22 |  1844129 |  1629922 |    22021    192 |        5 |      294
1392.88/1393.39	c 1393s |      22 |  1846704 |  1632222 |    22021    192 |        5 |      294
1394.98/1395.47	c 1395s |      22 |  1849319 |  1634622 |    22021    192 |        5 |      294
1397.08/1397.54	c 1397s |      22 |  1851468 |  1636622 |    22021    192 |        5 |      294
1399.18/1399.62	c 1399s |      22 |  1853494 |  1638522 |    22021    192 |        5 |      294
1401.28/1401.73	c 1401s |      22 |  1855380 |  1640222 |    22021    192 |        5 |      294
1403.29/1403.73	c 1403s |      22 |  1857332 |  1642022 |    22021    193 |        5 |      294
1405.28/1405.76	c 1405s |      22 |  1858627 |  1643222 |    22021    193 |        5 |      294
1407.38/1407.80	c 1407s |      22 |  1860726 |  1645122 |    22021    193 |        5 |      294
1409.48/1409.93	c 1409s |      22 |  1862533 |  1646822 |    22021    193 |        5 |      294
1411.48/1411.94	c 1411s |      22 |  1864464 |  1648522 |    22021    193 |        5 |      294
1413.47/1413.95	c 1413s |      22 |  1866231 |  1650122 |    22021    193 |        5 |      294
1415.57/1416.02	c 1415s |      22 |  1867995 |  1651722 |    22021    193 |        5 |      294
1417.58/1418.04	c 1417s |      22 |  1869592 |  1653122 |    22021    194 |        5 |      294
1419.68/1420.11	c 1419s |      22 |  1872282 |  1655522 |    22021    194 |        5 |      294
1423.87/1424.36	c 1424s |      22 |  1874603 |  1657622 |    22021    194 |        5 |      294
1425.97/1426.43	c 1426s |      22 |  1876365 |  1659122 |    22021    194 |        5 |      294
1427.97/1428.49	c 1428s |      22 |  1878569 |  1661122 |    22021    194 |        5 |      294
1430.07/1430.56	c 1430s |      22 |  1880855 |  1663122 |    22021    194 |        5 |      294
1432.27/1432.77	c 1432s |      22 |  1883161 |  1665222 |    22021    195 |        5 |      294
1434.27/1434.78	c 1434s |      22 |  1885930 |  1667622 |    22021    195 |        5 |      294
1436.37/1436.86	c 1436s |      22 |  1888622 |  1669822 |    22021    195 |        5 |      294
1438.48/1438.91	c 1438s |      22 |  1891199 |  1672022 |    22021    195 |        5 |      294
1440.47/1440.91	c 1440s |      22 |  1893364 |  1673922 |    22021    195 |        5 |      294
1442.57/1443.09	c 1442s |      22 |  1896029 |  1676322 |    22021    196 |        5 |      294
1444.67/1445.12	c 1444s |      22 |  1898568 |  1678622 |    22021    196 |        5 |      294
1446.67/1447.12	c 1446s |      22 |  1900978 |  1680822 |    22021    196 |        5 |      294
1448.67/1449.15	c 1448s |      22 |  1903514 |  1683122 |    22021    196 |        5 |      294
1450.67/1451.16	c 1450s |      22 |  1905756 |  1685122 |    22021    196 |        5 |      294
1452.67/1453.18	c 1453s |      22 |  1908086 |  1687222 |    22021    197 |        5 |      294
1455.56/1456.02	c 1455s |      22 |  1908539 |  1687622 |    22021    197 |        5 |      294
1457.56/1458.05	c 1457s |      22 |  1911490 |  1690222 |    22021    197 |        5 |      294
1459.66/1460.15	c 1459s |      22 |  1914231 |  1692622 |    22021    197 |        5 |      294
1461.76/1462.21	c 1462s |      22 |  1916737 |  1694822 |    22021    197 |        5 |      294
1463.96/1464.44	c 1464s |      22 |  1918832 |  1696722 |    22021    198 |        5 |      294
1465.97/1466.47	c 1466s |      22 |  1921564 |  1699222 |    22021    198 |        5 |      294
1468.17/1468.69	c 1468s |      22 |  1923789 |  1701222 |    22021    198 |        5 |      294
1470.27/1470.78	c 1470s |      22 |  1925985 |  1703222 |    22021    198 |        5 |      294
1472.36/1472.82	c 1472s |      22 |  1927986 |  1705022 |    22021    198 |        5 |      294
1474.46/1474.98	c 1474s |      22 |  1929968 |  1706822 |    22021    198 |        5 |      294
1476.46/1476.99	c 1476s |      22 |  1931505 |  1708222 |    22021    199 |        5 |      294
1478.56/1479.02	c 1478s |      22 |  1933821 |  1710322 |    22021    199 |        5 |      294
1480.56/1481.08	c 1480s |      22 |  1936289 |  1712622 |    22021    199 |        5 |      294
1483.37/1483.85	c 1483s |      22 |  1937470 |  1713722 |    22021    199 |        5 |      294
1485.37/1485.88	c 1485s |      22 |  1939991 |  1715822 |    22021    199 |        5 |      294
1487.47/1487.94	c 1487s |      22 |  1942344 |  1717822 |    22021    199 |        5 |      294
1489.47/1489.98	c 1489s |      22 |  1944281 |  1719522 |    22021    200 |        5 |      294
1491.57/1492.04	c 1491s |      22 |  1947396 |  1722322 |    22021    200 |        5 |      294
1493.56/1494.08	c 1493s |      22 |  1950001 |  1724622 |    22021    200 |        5 |      294
1495.66/1496.12	c 1495s |      22 |  1952490 |  1726822 |    22021    200 |        5 |      294
1497.66/1498.20	c 1498s |      22 |  1954770 |  1728822 |    22021    200 |        5 |      294
1499.76/1500.22	c 1500s |      22 |  1956714 |  1730522 |    22021    201 |        5 |      294
1501.75/1502.27	c 1502s |      22 |  1959412 |  1732922 |    22021    201 |        5 |      294
1504.06/1504.58	c 1504s |      22 |  1960648 |  1734022 |    22021    201 |        5 |      294
1506.06/1506.58	c 1506s |      22 |  1962631 |  1735722 |    22021    201 |        5 |      294
1508.66/1509.15	c 1508s |      22 |  1964493 |  1737322 |    22021    201 |        5 |      294
1510.66/1511.16	c 1510s |      22 |  1966655 |  1739222 |    22021    201 |        5 |      294
1512.76/1513.23	c 1513s |      22 |  1968768 |  1741122 |    22021    201 |        5 |      294
1514.76/1515.29	c 1515s |      22 |  1971047 |  1743122 |    22021    202 |        5 |      294
1516.86/1517.34	c 1517s |      22 |  1973945 |  1745622 |    22021    202 |        5 |      294
1518.86/1519.39	c 1519s |      22 |  1976610 |  1748022 |    22021    202 |        5 |      294
1520.96/1521.42	c 1521s |      22 |  1978910 |  1750022 |    22021    202 |        5 |      294
1522.96/1523.43	c 1523s |      22 |  1981013 |  1751922 |    22021    202 |        5 |      294
1524.96/1525.48	c 1525s |      22 |  1983664 |  1754322 |    22021    203 |        5 |      294
1528.35/1528.80	c 1528s |      22 |  1986227 |  1756622 |    22021    203 |        5 |      294
1530.35/1530.87	c 1530s |      22 |  1988816 |  1758922 |    22021    203 |        5 |      294
1532.45/1532.97	c 1532s |      22 |  1991047 |  1760922 |    22021    203 |        5 |      294
1534.55/1535.06	c 1534s |      22 |  1993001 |  1762722 |    22021    203 |        5 |      294
1536.55/1537.06	c 1536s |      22 |  1994848 |  1764422 |    22021    204 |        5 |      294
1538.65/1539.15	c 1538s |      22 |  1996833 |  1766222 |    22021    204 |        5 |      294
1540.66/1541.16	c 1540s |      22 |  1999097 |  1768222 |    22021    204 |        5 |      294
1542.75/1543.22	c 1543s |      22 |  2001319 |  1770222 |    22021    204 |        5 |      294
1544.75/1545.27	c 1545s |      22 |  2003412 |  1772122 |    22021    204 |        5 |      294
1546.85/1547.34	c 1547s |      22 |  2005258 |  1773822 |    22021    204 |        5 |      294
1549.05/1549.57	c 1549s |      22 |  2006266 |  1774722 |    22021    205 |        5 |      294
1551.15/1551.64	c 1551s |      22 |  2009083 |  1777222 |    22021    205 |        5 |      294
1553.25/1553.73	c 1553s |      22 |  2011502 |  1779422 |    22021    205 |        5 |      294
1555.35/1555.84	c 1555s |      22 |  2013505 |  1781222 |    22021    205 |        5 |      294
1557.45/1557.96	c 1557s |      22 |  2015624 |  1783122 |    22021    205 |        5 |      294
1559.55/1560.08	c 1559s |      22 |  2017342 |  1784722 |    22021    205 |        5 |      294
1561.55/1562.10	c 1561s |      22 |  2018881 |  1786122 |    22021    206 |        5 |      294
1564.25/1564.72	c 1564s |      22 |  2020617 |  1787722 |    22021    206 |        5 |      294
1566.25/1566.73	c 1566s |      22 |  2023340 |  1790122 |    22021    206 |        5 |      294
1568.35/1568.80	c 1568s |      22 |  2025788 |  1792322 |    22021    206 |        5 |      294
1570.36/1570.88	c 1570s |      22 |  2028128 |  1794422 |    22021    206 |        5 |      294
1572.45/1572.92	c 1572s |      22 |  2030373 |  1796422 |    22021    206 |        5 |      294
1574.45/1574.95	c 1574s |      22 |  2032771 |  1798622 |    22021    207 |        5 |      294
1576.55/1577.06	c 1576s |      22 |  2035042 |  1800722 |    22021    207 |        5 |      294
1578.65/1579.11	c 1578s |      22 |  2037075 |  1802622 |    22021    207 |        5 |      294
1580.65/1581.17	c 1581s |      22 |  2039159 |  1804522 |    22021    207 |        5 |      294
1582.65/1583.17	c 1583s |      22 |  2041023 |  1806222 |    22021    207 |        5 |      294
1584.85/1585.30	c 1585s |      22 |  2042768 |  1807822 |    22021    207 |        5 |      294
1586.85/1587.34	c 1587s |      22 |  2044668 |  1809522 |    22021    208 |        5 |      294
1588.85/1589.39	c 1589s |      22 |  2046952 |  1811622 |    22021    208 |        5 |      294
1591.05/1591.50	c 1591s |      22 |  2048890 |  1813422 |    22021    208 |        5 |      294
1593.05/1593.57	c 1593s |      22 |  2050704 |  1815122 |    22021    208 |        5 |      294
1595.15/1595.65	c 1595s |      22 |  2052430 |  1816722 |    22021    208 |        5 |      294
1599.54/1600.06	c 1599s |      22 |  2053829 |  1818022 |    22021    208 |        5 |      294
1601.64/1602.11	c 1601s |      22 |  2055305 |  1819322 |    22021    209 |        5 |      294
1603.64/1604.15	c 1603s |      22 |  2057903 |  1821722 |    22021    209 |        5 |      294
1605.65/1606.15	c 1605s |      22 |  2060216 |  1823822 |    22021    209 |        5 |      294
1607.64/1608.16	c 1607s |      22 |  2062622 |  1825922 |    22021    209 |        5 |      294
1609.64/1610.19	c 1610s |      22 |  2064723 |  1827822 |    22021    209 |        5 |      294
1611.74/1612.20	c 1612s |      22 |  2066706 |  1829622 |    22021    209 |        5 |      294
1613.74/1614.27	c 1614s |      22 |  2068542 |  1831322 |    22021    210 |        5 |      294
1615.74/1616.29	c 1616s |      22 |  2070720 |  1833322 |    22021    210 |        5 |      294
1617.84/1618.36	c 1618s |      22 |  2072688 |  1835122 |    22021    210 |        5 |      294
1619.94/1620.41	c 1620s |      22 |  2074721 |  1837022 |    22021    210 |        5 |      294
1622.04/1622.52	c 1622s |      22 |  2076457 |  1838622 |    22021    210 |        5 |      294
1624.14/1624.62	c 1624s |      22 |  2078350 |  1840322 |    22021    210 |        5 |      294
1626.14/1626.68	c 1626s |      22 |  2080168 |  1842022 |    22021    211 |        5 |      294
1628.24/1628.76	c 1628s |      22 |  2082253 |  1843922 |    22021    211 |        5 |      294
1630.34/1630.82	c 1630s |      22 |  2084496 |  1846022 |    22021    211 |        5 |      294
1632.34/1632.82	c 1632s |      22 |  2086571 |  1847922 |    22021    211 |        5 |      294
1634.34/1634.87	c 1634s |      22 |  2088524 |  1849722 |    22021    211 |        5 |      294
1636.45/1636.91	c 1636s |      22 |  2090353 |  1851422 |    22021    211 |        5 |      294
1638.44/1638.92	c 1638s |      22 |  2092183 |  1853122 |    22021    212 |        5 |      294
1640.44/1640.99	c 1640s |      22 |  2094548 |  1855322 |    22021    212 |        5 |      294
1642.64/1643.19	c 1643s |      22 |  2095095 |  1855822 |    22021    212 |        5 |      294
1649.64/1650.11	c 1649s |      22 |  2095217 |  1855922 |    22021    212 |        5 |      294
1651.64/1652.12	c 1651s |      22 |  2098136 |  1858422 |    22021    212 |        5 |      294
1653.73/1654.21	c 1654s |      22 |  2100985 |  1860822 |    22021    212 |        5 |      294
1655.73/1656.26	c 1656s |      22 |  2103652 |  1863122 |    22021    212 |        5 |      294
1657.73/1658.27	c 1658s |      22 |  2105867 |  1865122 |    22021    213 |        5 |      294
1659.83/1660.32	c 1660s |      22 |  2108650 |  1867622 |    22021    213 |        5 |      294
1661.93/1662.40	c 1662s |      22 |  2111238 |  1869922 |    22021    213 |        5 |      294
1663.94/1664.45	c 1664s |      22 |  2113654 |  1872022 |    22021    213 |        5 |      294
1665.93/1666.49	c 1666s |      22 |  2115735 |  1873922 |    22021    213 |        5 |      294
1668.03/1668.54	c 1668s |      22 |  2117730 |  1875722 |    22021    214 |        5 |      294
1670.13/1670.61	c 1670s |      22 |  2120225 |  1877922 |    22021    214 |        5 |      294
1672.13/1672.66	c 1672s |      22 |  2122566 |  1880022 |    22021    214 |        5 |      294
1674.23/1674.70	c 1674s |      22 |  2124711 |  1881922 |    22021    214 |        5 |      294
1676.23/1676.79	c 1676s |      22 |  2126986 |  1883922 |    22021    214 |        5 |      294
1678.33/1678.85	c 1678s |      22 |  2128881 |  1885622 |    22021    214 |        5 |      294
1680.53/1681.01	c 1680s |      22 |  2131239 |  1887722 |    22021    215 |        5 |      294
1682.53/1683.05	c 1682s |      22 |  2133780 |  1890022 |    22021    215 |        5 |      294
1685.13/1685.63	c 1685s |      22 |  2135437 |  1891522 |    22021    215 |        5 |      294
1687.13/1687.68	c 1687s |      22 |  2137857 |  1893622 |    22021    215 |        5 |      294
1689.23/1689.73	c 1689s |      22 |  2139869 |  1895422 |    22021    215 |        5 |      294
1691.43/1691.90	c 1691s |      22 |  2141758 |  1897122 |    22021    216 |        5 |      294
1693.43/1693.97	c 1693s |      22 |  2143887 |  1899022 |    22021    216 |        5 |      294
1695.53/1696.04	c 1695s |      22 |  2146590 |  1901422 |    22021    216 |        5 |      294
1697.53/1698.09	c 1697s |      22 |  2149112 |  1903722 |    22021    216 |        5 |      294
1699.63/1700.19	c 1700s |      22 |  2151619 |  1905922 |    22021    216 |        5 |      294
1701.73/1702.27	c 1702s |      22 |  2153579 |  1907722 |    22021    216 |        5 |      294
1703.83/1704.30	c 1704s |      22 |  2155796 |  1909722 |    22021    217 |        5 |      294
1706.33/1706.89	c 1706s |      22 |  2157721 |  1911422 |    22021    217 |        5 |      294
1708.43/1708.94	c 1708s |      22 |  2160016 |  1913422 |    22021    217 |        5 |      294
1710.43/1710.96	c 1710s |      22 |  2162385 |  1915522 |    22021    217 |        5 |      294
1712.53/1713.02	c 1712s |      22 |  2164666 |  1917522 |    22021    217 |        5 |      294
1714.54/1715.04	c 1714s |      22 |  2166521 |  1919222 |    22021    217 |        5 |      294
1716.63/1717.11	c 1716s |      22 |  2168841 |  1921322 |    22021    218 |        5 |      294
1718.73/1719.20	c 1719s |      22 |  2171220 |  1923422 |    22021    218 |        5 |      294
1720.73/1721.25	c 1721s |      22 |  2173428 |  1925422 |    22021    218 |        5 |      294
1722.83/1723.31	c 1723s |      22 |  2175462 |  1927222 |    22021    218 |        5 |      294
1724.83/1725.38	c 1725s |      22 |  2177565 |  1929122 |    22021    218 |        5 |      294
1727.23/1727.71	c 1727s |      22 |  2179180 |  1930622 |    22021    219 |        5 |      294
1729.23/1729.71	c 1729s |      22 |  2181237 |  1932522 |    22021    219 |        5 |      294
1731.22/1731.73	c 1731s |      22 |  2183400 |  1934522 |    22021    219 |        5 |      294
1733.32/1733.82	c 1733s |      22 |  2185668 |  1936622 |    22021    219 |        5 |      294
1735.33/1735.82	c 1735s |      22 |  2187799 |  1938522 |    22021    219 |        5 |      294
1738.12/1738.63	c 1738s |      22 |  2188240 |  1938922 |    22021    219 |        5 |      294
1740.13/1740.65	c 1740s |      22 |  2189473 |  1940022 |    22021    219 |        5 |      294
1742.33/1742.87	c 1742s |      22 |  2191444 |  1941722 |    22021    220 |        5 |      294
1744.42/1744.90	c 1744s |      22 |  2194258 |  1944222 |    22021    220 |        5 |      294
1746.43/1746.99	c 1746s |      22 |  2196713 |  1946422 |    22021    220 |        5 |      294
1748.53/1749.07	c 1748s |      22 |  2199100 |  1948522 |    22021    220 |        5 |      294
1750.52/1751.09	c 1750s |      22 |  2201328 |  1950522 |    22021    220 |        5 |      294
1752.62/1753.18	c 1753s |      22 |  2203184 |  1952222 |    22021    220 |        5 |      294
1755.13/1755.68	c 1755s |      22 |  2204787 |  1953722 |    22021    221 |        5 |      294
1757.22/1757.73	c 1757s |      22 |  2207483 |  1956122 |    22021    221 |        5 |      294
1759.22/1759.79	c 1759s |      22 |  2209855 |  1958222 |    22021    221 |        5 |      294
1761.32/1761.81	c 1761s |      22 |  2211982 |  1960122 |    22021    221 |        5 |      294
1763.42/1763.91	c 1763s |      22 |  2214296 |  1962122 |    22021    221 |        5 |      294
1765.52/1766.09	c 1765s |      22 |  2216172 |  1963822 |    22021    222 |        5 |      294
1767.72/1768.24	c 1768s |      22 |  2218009 |  1965422 |    22021    222 |        5 |      294
1769.72/1770.29	c 1770s |      22 |  2220488 |  1967622 |    22021    222 |        5 |      294
1771.82/1772.34	c 1772s |      22 |  2222804 |  1969722 |    22021    222 |        5 |      294
1773.82/1774.34	c 1774s |      22 |  2224912 |  1971622 |    22021    222 |        5 |      294
1775.82/1776.38	c 1776s |      22 |  2226881 |  1973422 |    22021    222 |        5 |      294
1777.92/1778.44	c 1778s |      22 |  2228623 |  1975022 |    22021    223 |        5 |      294
1779.92/1780.44	c 1780s |      22 |  2230866 |  1977122 |    22021    223 |        5 |      294
1781.92/1782.48	c 1782s |      22 |  2232178 |  1978322 |    22021    223 |        5 |      294
1784.02/1784.54	c 1784s |      22 |  2234322 |  1980222 |    22021    223 |        5 |      294
1786.02/1786.59	c 1786s |      22 |  2236178 |  1981922 |    22021    223 |        5 |      294
1788.12/1788.66	c 1788s |      22 |  2237993 |  1983622 |    22021    223 |        5 |      294
1790.21/1790.73	c 1790s |      22 |  2239876 |  1985322 |    22021    223 |        5 |      294
1792.31/1792.85	c 1792s |      22 |  2241536 |  1986822 |    22021    224 |        5 |      294
1794.41/1794.90	c 1794s |      22 |  2243781 |  1988922 |    22021    224 |        5 |      294
1796.41/1796.97	c 1796s |      22 |  2246060 |  1991022 |    22021    224 |        5 |      294
1798.51/1799.00	c 1798s |      22 |  2248119 |  1992922 |    22021    224 |        5 |      294

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=1283
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.40 2.33 2.25 4/179 1286
/proc/meminfo: memFree=29143196/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=12580 CPUtime=0 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 13346838 12881920 4 33554432000 4194304 16246674 140733431742240 140734322072216 4227121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 3145 15 7 2943 0 39 0
[pid=1286/tid=1287] ppid=1283 vsize=289212 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 296153088 851 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=291260 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 298250240 862 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=296380 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13346838 303493120 879 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100211 s]
/proc/loadavg: 2.40 2.33 2.25 4/179 1286
/proc/meminfo: memFree=29143196/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 23293 0 0 0 5 4 0 0 20 0 4 0 13346838 1249447936 23080 33554432000 4194304 16246674 140733431742240 140733431741552 6165910 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 305041 23087 835 2943 0 301935 0
[pid=1286/tid=1287] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 23092 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 23097 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 23102 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200504 s]
/proc/loadavg: 2.40 2.33 2.25 4/179 1286
/proc/meminfo: memFree=29143196/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 42421 0 0 0 12 7 0 0 20 0 4 0 13346838 1249447936 42208 33554432000 4194304 16246674 140733431742240 140733431741552 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 305041 42213 877 2943 0 301935 0
[pid=1286/tid=1287] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 42217 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 42224 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 42233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300467 s]
/proc/loadavg: 2.40 2.33 2.25 4/179 1286
/proc/meminfo: memFree=29143196/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 63947 0 0 0 19 9 0 0 20 0 4 0 13346838 1249447936 63734 33554432000 4194304 16246674 140733431742240 140733431741552 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 305041 63739 877 2943 0 301935 0
[pid=1286/tid=1287] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 63744 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 63759 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 63770 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.70039 s]
/proc/loadavg: 2.40 2.33 2.25 4/179 1286
/proc/meminfo: memFree=29143196/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 146123 0 0 0 49 19 0 0 20 0 4 0 13346838 1249447936 145911 33554432000 4194304 16246674 140733431742240 140733431724160 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 305041 145922 877 2943 0 301935 0
[pid=1286/tid=1287] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 145929 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 145936 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13346838 1249447936 145939 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.40 2.33 2.25 3/183 1290
/proc/meminfo: memFree=28247792/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 266238 0 0 0 114 34 0 0 20 0 4 0 13346838 1332285440 266025 33554432000 4194304 16246674 140733431742240 140733431724160 5673240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 325265 266025 880 2943 0 322159 0
[pid=1286/tid=1287] ppid=1283 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1332285440 266025 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1332285440 266025 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1332285440 266025 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.40 2.33 2.25 3/183 1290
/proc/meminfo: memFree=28080376/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 267812 0 0 0 274 35 0 0 20 0 4 0 13346838 1338576896 267599 33554432000 4194304 16246674 140733431742240 140733431724160 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 326801 267599 882 2943 0 323695 0
[pid=1286/tid=1287] ppid=1283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1338576896 267599 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1338576896 267599 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1338576896 267599 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.37 2.32 2.25 3/183 1290
/proc/meminfo: memFree=28068316/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1316420 CPUtime=6.28 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 270291 0 0 0 593 35 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 140733431724160 5677662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 329105 270078 886 2943 0 325999 0
[pid=1286/tid=1287] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.42 2.33 2.25 4/183 1290
/proc/meminfo: memFree=28064388/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1316420 CPUtime=12.68 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 270291 0 0 0 1233 35 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 140733431724160 5823508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 329105 270078 886 2943 0 325999 0
[pid=1286/tid=1287] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270078 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.55 2.36 2.27 3/183 1290
/proc/meminfo: memFree=28064112/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 270292 0 0 0 2513 35 0 0 20 0 4 0 13346838 1348014080 270079 33554432000 4194304 16246674 140733431742240 140733431724160 5829931 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 329105 270079 887 2943 0 325999 0
[pid=1286/tid=1287] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270079 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270079 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1348014080 270079 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.43 2.35 2.26 3/183 1290
/proc/meminfo: memFree=28039408/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1340996 CPUtime=51.07 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 276436 0 0 0 5071 36 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 140733431724160 5822171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 335249 276223 887 2943 0 332143 0
[pid=1286/tid=1287] ppid=1283 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.44 2.37 2.27 4/183 1291
/proc/meminfo: memFree=28030872/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1340996 CPUtime=102.28 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 276436 0 0 0 10191 37 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 140733431724160 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 335249 276223 887 2943 0 332143 0
[pid=1286/tid=1287] ppid=1283 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1373179904 276223 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1340996


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

/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1409880064 285441 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1376836

[startup+1362.3 s]
/proc/loadavg: 2.16 2.18 2.21 4/183 1333
/proc/meminfo: memFree=27973624/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1378884 CPUtime=1361.9 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 286216 0 0 0 136136 54 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 140733431724160 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 344721 285953 889 2943 0 341615 0
[pid=1286/tid=1287] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1378884

[startup+1422.3 s]
/proc/loadavg: 2.21 2.19 2.20 4/183 1337
/proc/meminfo: memFree=27972880/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1378884 CPUtime=1421.88 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 286240 0 0 0 142133 55 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 140733431724160 4220552 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 344721 285953 889 2943 0 341615 0
[pid=1286/tid=1287] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1378884

[startup+1482.3 s]
/proc/loadavg: 2.18 2.18 2.20 4/184 1368
/proc/meminfo: memFree=27972776/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1378884 CPUtime=1481.86 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 286241 0 0 0 148131 55 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 140733431724160 5808578 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 344721 285953 889 2943 0 341615 0
[pid=1286/tid=1287] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1378884

[startup+1542.31 s]
/proc/loadavg: 2.23 2.19 2.20 4/183 1528
/proc/meminfo: memFree=28002168/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1378884 CPUtime=1541.86 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 286241 0 0 0 154129 57 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 140733431724160 5823600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 344721 285953 889 2943 0 341615 0
[pid=1286/tid=1287] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1378884 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1411977216 285953 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1378884

[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.20 3/183 1529
/proc/meminfo: memFree=27982052/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1384004 CPUtime=1601.84 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 287521 0 0 0 160126 58 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 140733431724096 6842220 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 346001 287233 889 2943 0 342895 0
[pid=1286/tid=1287] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1384004

[startup+1662.3 s]
/proc/loadavg: 2.34 2.23 2.20 3/183 1530
/proc/meminfo: memFree=27982052/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1384004 CPUtime=1661.83 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 287521 0 0 0 166124 59 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 140733431724160 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 346001 287233 889 2943 0 342895 0
[pid=1286/tid=1287] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1384004

[startup+1722.3 s]
/proc/loadavg: 2.31 2.24 2.20 4/183 1531
/proc/meminfo: memFree=27981008/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1384004 CPUtime=1721.83 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 287521 0 0 0 172123 60 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 140733431724160 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 346001 287233 889 2943 0 342895 0
[pid=1286/tid=1287] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1384004

[startup+1782.3 s]
/proc/loadavg: 2.50 2.30 2.22 3/183 1534
/proc/meminfo: memFree=27979652/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1384004 CPUtime=1781.82 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 287521 0 0 0 178121 61 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 140733431741336 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 346001 287233 889 2943 0 342895 0
[pid=1286/tid=1287] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1384004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.28 2.22 3/183 1534
/proc/meminfo: memFree=27979660/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1384004 CPUtime=1800.01 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 287521 0 0 0 179940 61 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 140733431724160 5823690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 346001 287233 889 2943 0 342895 0
[pid=1286/tid=1287] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1384004

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.28 2.22 3/183 1534
/proc/meminfo: memFree=27979660/32872528 swapFree=1541688/1694988
[pid=1286] ppid=1283 vsize=1384004 CPUtime=1800.01 cores=0,2,4,6
/proc/1286/stat : 1286 (toysat) R 1283 1286 31715 0 -1 4202496 287521 0 0 0 179940 61 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 140733431724160 5823690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1286/statm: 346001 287233 889 2943 0 342895 0
[pid=1286/tid=1287] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1287/stat : 1287 (toysat) S 1283 1286 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702435818736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1286/tid=1288] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1288/stat : 1288 (toysat) S 1283 1286 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702425328880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1286/tid=1289] ppid=1283 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/1286/task/1289/stat : 1289 (toysat) S 1283 1286 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13346838 1417220096 287233 33554432000 4194304 16246674 140733431742240 139702414855344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1384004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.41
CPU system time (s): 0.615906
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1384004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.615906
maximum resident set size= 1148932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287521
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= 348
involuntary context switches= 2010

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72828 second user time and 6.85996 second system time

The end

Begin job on node125 at 2016-06-16 23:36:42
IDJOB=4096267
IDBENCH=107590
IDSOLVER=2542
FILE ID=node125/4096267-1466113002
RUNJOBID= node125-1466112694-1100
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= de201b0da7652e5ff716d8aa6ae0b3b2
RANDOM SEED=1201873756

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29143724 kB
Buffers:           59096 kB
Cached:           159368 kB
SwapCached:         2680 kB
Active:          1220384 kB
Inactive:         104004 kB
Active(anon):    1106136 kB
Inactive(anon):     2304 kB
Active(file):     114248 kB
Inactive(file):   101700 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097012 kB
Dirty:             16756 kB
Writeback:             0 kB
AnonPages:       2799264 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             571428 kB
SReclaimable:      15096 kB
SUnreclaim:       556332 kB
KernelStack:        1456 kB
PageTables:         9572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2945084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-17 00:06:43