0.00/0.00	c 2016-06-17T00:37:54+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-4097226-1466116674.opb"]
0.00/0.01	c use --random-gen="3552210255 2316087777 3192267617 2665992403 1656914525 1647434806 350814214 183783030 129965942 2133543313 502311441 3007218323 2007542063 1615278466 3990620344 280859545 3688976612 4266933627 272379050 1929756210 2382610963 1055650825 610475710 675101585 4271155821 1986441763 1237924566 1632686326 4038122782 2034836425 4240807878 2894227856 1025944961 2623636371 3839109795 2662924692 3845030746 377456572 1877021977 2682098410 256644725 830563848 1056334205 467002288 2920432433 1709049002 1790247124 606576390 1067806210 1721892053 702865416 729352307 2547792350 1484792436 2278738693 538046960 3869627714 1114428156 2863855654 130004812 37608617 1099151043 4111342472 1370775996 3715005496 620301376 2627184601 1866869847 1170435511 1488964419 1538839434 3567201412 1629063924 3949940574 2184653892 2367696053 2156300815 2120347871 2714671634 1708640700 945964095 1678688347 3247678695 3593359684 118294526 4025513008 3945226576 1097093811 1658975204 2210402796 2855888338 1285309090 3769799840 529184787 1875450652 143211591 1486910809 1010011491 141278560 643308468 1507831180 1806914645 199869425 2664857417 2869782811 4159180942 1381532433 611925053 2759043989 3258739150 3641314667 2965258608 2033871368 2778195924 350639447 2350836328 3755063097 118865631 2511788033 1808710806 562821952 389059335 2864500240 950619820 3529390449 3234559532 1680890353 3017015966 2011287512 2633839636 50874870 3609144237 2934236189 3161718193 1820907195 1549889624 824370916 3327417788 2186366650 2209360905 3764096813 1055053305 2665889312 2121221796 906729218 2331732433 4083853942 4041700051 1847044127 3994967185 3777133072 3561629834 3662345208 1825194219 3742456603 2137864770 3684918229 3227590054 1872008091 3631994216 3778203307 815980871 1057164346 332719186 1762458172 3940732418 411689706 1797598659 1562505902 2158172811 479141232 1774919811 3377158949 2104173773 2303365980 611033447 4232420641 1068759807 480543309 349720805 569821631 4128476833 146891422 86270924 3332601549 709123290 2692158864 2914833300 593435111 555946419 1627100603 3229736924 2738460014 1125951061 299835795 1428039070 3031303384 1013676628 2559470415 1529710187 693504819 1640726277 2861233568 918372996 2924521108 3345820771 1335786092 3410078386 460309882 3210272367 3669121866 605596187 3818321686 2726928350 1966801071 2606264175 1483018589 491999938 3196983154 2145302098 70860737 2863093954 3610103192 1318125806 3115370140 1702176274 363156059 1902556365 513302400 3704302221 1376554870 1197611848 1340449838 1631979737 848421674 3761278499 267752763 4128600276 2020055191 1002340273 3682903645 3468554853 300268028 1840081068 2948873756 3222505725 2995961695 2095223018 689348352 1098027471 4046330556 3408972600 3104704405 3388543766 3333192373 1267519727 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1806
0.00/0.07	c #constraints 8657
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     3486      0 |        5 |        0
0.19/0.26	c  0.1s |       1 |      142 |      100 |     3486      0 |        5 |      334
0.29/0.32	c  0.1s |       2 |      344 |      250 |     3835      0 |        5 |      334
0.39/0.43	c  0.2s |       3 |      645 |      475 |     4219      0 |        5 |      334
0.58/0.62	c  0.4s |       4 |     1109 |      813 |     4641      0 |        5 |      334
0.89/0.93	c  0.7s |       5 |     1749 |     1320 |     5106      0 |        5 |      334
1.29/1.36	c  1.2s |       6 |     2636 |     2081 |     6179      0 |        5 |      334
1.89/1.90	c  1.7s |       7 |     3954 |     3223 |     6797      0 |        5 |      334
2.68/2.76	c  2.6s |       8 |     6307 |     4936 |     7477      0 |        5 |      334
4.28/4.40	c  4.2s |       9 |     9416 |     7506 |     8225      0 |        5 |      334
6.38/6.42	c  6.2s |       9 |    13760 |    11106 |     8225      1 |        5 |      334
6.48/6.57	c  6.4s |      10 |    14042 |    11361 |     9048      1 |        5 |      334
8.48/8.59	c  8.4s |      10 |    18394 |    14761 |     9048      2 |        5 |      334
9.78/9.88	c  9.7s |      11 |    21329 |    17144 |     9953      2 |        5 |      334
11.89/11.93	c 11.7s |      11 |    25369 |    20444 |     9953      3 |        5 |      334
13.89/13.94	c 13.7s |      11 |    29265 |    23744 |     9953      3 |        5 |      334
15.09/15.15	c 14.9s |      12 |    31710 |    25819 |    10949      4 |        5 |      334
17.09/17.15	c 16.9s |      12 |    35671 |    29019 |    10949      4 |        5 |      334
19.09/19.18	c 19.0s |      12 |    39613 |    32419 |    10949      5 |        5 |      334
21.18/21.22	c 21.0s |      12 |    43924 |    35819 |    10949      5 |        5 |      334
22.78/22.80	c 22.6s |      13 |    47616 |    38832 |    12044      6 |        5 |      334
24.78/24.81	c 24.6s |      13 |    51112 |    41732 |    12044      6 |        5 |      334
26.78/26.86	c 26.7s |      13 |    54848 |    44832 |    12044      7 |        5 |      334
28.88/28.91	c 28.7s |      13 |    58896 |    48232 |    12044      7 |        5 |      334
30.89/30.92	c 30.7s |      13 |    62865 |    51632 |    12044      8 |        5 |      334
32.88/32.97	c 32.8s |      13 |    65815 |    54232 |    12044      8 |        5 |      334
34.88/34.98	c 34.8s |      13 |    69365 |    57232 |    12044      9 |        5 |      334
35.68/35.76	c 35.6s |      14 |    70751 |    58352 |    13249      9 |        5 |      334
37.68/37.76	c 37.6s |      14 |    74116 |    60952 |    13249      9 |        5 |      334
39.78/39.82	c 39.6s |      14 |    77782 |    63952 |    13249     10 |        5 |      334
41.79/41.84	c 41.6s |      14 |    81443 |    67152 |    13249     10 |        5 |      334
43.78/43.89	c 43.7s |      14 |    84645 |    69752 |    13249     11 |        5 |      334
45.88/45.93	c 45.7s |      14 |    88941 |    73352 |    13249     11 |        5 |      334
47.88/47.97	c 47.8s |      14 |    92177 |    76152 |    13249     12 |        5 |      334
49.88/49.98	c 49.8s |      14 |    96093 |    79452 |    13249     12 |        5 |      334
51.98/52.00	c 51.8s |      14 |    99899 |    82652 |    13249     12 |        5 |      334
53.98/54.02	c 53.8s |      14 |   102013 |    84452 |    13249     13 |        5 |      334
55.88/55.94	c 55.7s |      15 |   105939 |    87632 |    14574     13 |        5 |      334
57.88/57.99	c 57.8s |      15 |   109713 |    90732 |    14574     13 |        5 |      334
59.98/60.00	c 59.8s |      15 |   113564 |    93932 |    14574     14 |        5 |      334
61.98/62.01	c 61.8s |      15 |   117638 |    97332 |    14574     14 |        5 |      334
63.98/64.03	c 63.8s |      15 |   121531 |   100732 |    14574     15 |        5 |      334
65.98/66.04	c 65.8s |      15 |   124149 |   102932 |    14574     15 |        5 |      334
67.98/68.04	c 67.8s |      15 |   127400 |   105732 |    14574     16 |        5 |      334
69.98/70.05	c 69.8s |      15 |   130897 |   108632 |    14574     16 |        5 |      334
72.08/72.10	c 71.9s |      15 |   134704 |   111832 |    14574     16 |        5 |      334
74.08/74.14	c 73.9s |      15 |   137504 |   114232 |    14574     17 |        5 |      334
76.08/76.17	c 76.0s |      15 |   141291 |   117532 |    14574     17 |        5 |      334
78.19/78.24	c 78.0s |      15 |   144541 |   120432 |    14574     17 |        5 |      334
80.18/80.28	c 80.1s |      15 |   147773 |   123232 |    14574     18 |        5 |      334
82.28/82.33	c 82.1s |      15 |   150925 |   126032 |    14574     18 |        5 |      334
84.28/84.38	c 84.2s |      15 |   153833 |   128632 |    14574     19 |        5 |      334
86.98/87.01	c 86.8s |      16 |   157077 |   131552 |    16032     19 |        5 |      334
88.97/89.02	c 88.8s |      16 |   158930 |   133052 |    16032     19 |        5 |      334
90.97/91.02	c 90.8s |      16 |   162375 |   135952 |    16032     19 |        5 |      334
92.97/93.06	c 92.9s |      16 |   165868 |   138752 |    16032     20 |        5 |      334
95.07/95.12	c 94.9s |      16 |   169363 |   141752 |    16032     20 |        5 |      334
97.07/97.17	c 97.0s |      16 |   173106 |   144852 |    16032     20 |        5 |      334
99.77/99.82	c 99.6s |      16 |   176555 |   147852 |    16032     21 |        5 |      334
101.87/101.90	c  101s |      16 |   180282 |   151052 |    16032     21 |        5 |      334
103.87/103.96	c  103s |      16 |   183539 |   153752 |    16032     22 |        5 |      334
105.87/105.96	c  105s |      16 |   187093 |   156852 |    16032     22 |        5 |      334
107.97/108.03	c  107s |      16 |   190353 |   159552 |    16032     22 |        5 |      334
109.98/110.05	c  109s |      16 |   193494 |   162152 |    16032     23 |        5 |      334
111.97/112.05	c  111s |      16 |   196946 |   165052 |    16032     23 |        5 |      334
114.07/114.11	c  113s |      16 |   200483 |   168152 |    16032     23 |        5 |      334
116.07/116.14	c  115s |      16 |   203519 |   170852 |    16032     24 |        5 |      334
118.07/118.19	c  117s |      16 |   207102 |   173852 |    16032     24 |        5 |      334
120.17/120.27	c  120s |      16 |   210474 |   176652 |    16032     24 |        5 |      334
122.27/122.31	c  122s |      16 |   213825 |   179552 |    16032     25 |        5 |      334
124.28/124.35	c  124s |      16 |   217295 |   182652 |    16032     25 |        5 |      334
126.37/126.42	c  126s |      16 |   220762 |   185652 |    16032     25 |        5 |      334
128.37/128.43	c  128s |      16 |   224048 |   188552 |    16032     26 |        5 |      334
130.37/130.44	c  130s |      16 |   227009 |   191252 |    16032     26 |        5 |      334
132.37/132.47	c  132s |      16 |   229979 |   193952 |    16032     26 |        5 |      334
135.17/135.29	c  135s |      16 |   230890 |   194752 |    16032     27 |        5 |      334
136.87/136.97	c  136s |      17 |   234054 |   197432 |    17636     27 |        5 |      334
138.87/138.98	c  138s |      17 |   237699 |   200332 |    17636     27 |        5 |      334
140.97/141.01	c  140s |      17 |   241290 |   203332 |    17636     27 |        5 |      334
142.98/143.04	c  142s |      17 |   244126 |   205732 |    17636     28 |        5 |      334
144.97/145.05	c  144s |      17 |   247650 |   208632 |    17636     28 |        5 |      334
146.97/147.08	c  146s |      17 |   251210 |   211632 |    17636     28 |        5 |      334
148.97/149.09	c  148s |      17 |   254736 |   214632 |    17636     29 |        5 |      334
151.07/151.11	c  150s |      17 |   258359 |   217732 |    17636     29 |        5 |      334
153.66/153.71	c  153s |      17 |   261439 |   220332 |    17636     29 |        5 |      334
155.66/155.75	c  155s |      17 |   264171 |   222532 |    17636     30 |        5 |      334
157.66/157.78	c  157s |      17 |   267685 |   225432 |    17636     30 |        5 |      334
159.76/159.83	c  159s |      17 |   270975 |   228232 |    17636     30 |        5 |      334
161.77/161.83	c  161s |      17 |   273895 |   230832 |    17636     31 |        5 |      334
163.77/163.84	c  163s |      17 |   277244 |   233832 |    17636     31 |        5 |      334
165.77/165.88	c  165s |      17 |   280903 |   237032 |    17636     31 |        5 |      334
167.87/167.92	c  167s |      17 |   283841 |   239532 |    17636     31 |        5 |      334
169.87/169.92	c  169s |      17 |   286482 |   241732 |    17636     32 |        5 |      334
171.87/171.94	c  171s |      17 |   289879 |   244632 |    17636     32 |        5 |      334
173.97/174.01	c  173s |      17 |   293132 |   247432 |    17636     32 |        5 |      334
175.97/176.05	c  175s |      17 |   296217 |   250132 |    17636     33 |        5 |      334
177.97/178.08	c  177s |      17 |   299433 |   253032 |    17636     33 |        5 |      334
180.07/180.13	c  179s |      17 |   302201 |   255432 |    17636     33 |        5 |      334
182.17/182.29	c  182s |      17 |   304871 |   257832 |    17636     34 |        5 |      334
184.17/184.29	c  184s |      17 |   308079 |   260632 |    17636     34 |        5 |      334
186.26/186.31	c  186s |      17 |   311440 |   263532 |    17636     34 |        5 |      334
188.27/188.32	c  188s |      17 |   314578 |   266232 |    17636     34 |        5 |      334
190.27/190.34	c  190s |      17 |   318030 |   269232 |    17636     35 |        5 |      334
192.36/192.41	c  192s |      17 |   321391 |   272232 |    17636     35 |        5 |      334
195.26/195.39	c  195s |      17 |   321954 |   272732 |    17636     35 |        5 |      334
197.36/197.41	c  197s |      17 |   325437 |   275632 |    17636     35 |        5 |      334
199.36/199.44	c  199s |      17 |   329365 |   278732 |    17636     36 |        5 |      334
201.37/201.45	c  201s |      17 |   332932 |   281832 |    17636     36 |        5 |      334
203.36/203.49	c  203s |      17 |   336108 |   284532 |    17636     36 |        5 |      334
205.46/205.52	c  205s |      17 |   339464 |   287432 |    17636     37 |        5 |      334
207.56/207.60	c  207s |      17 |   342756 |   290232 |    17636     37 |        5 |      334
209.56/209.65	c  209s |      17 |   345870 |   292832 |    17636     37 |        5 |      334
211.56/211.67	c  211s |      17 |   349127 |   295632 |    19400     38 |        5 |      334
211.96/212.05	c  211s |      18 |   349878 |   296252 |    19400     38 |        5 |      334
214.06/214.11	c  213s |      18 |   351365 |   297452 |    19400     38 |        5 |      334
216.06/216.17	c  215s |      18 |   354981 |   300352 |    19400     38 |        5 |      334
218.16/218.24	c  218s |      18 |   358012 |   302852 |    19400     38 |        5 |      334
220.16/220.25	c  220s |      18 |   360385 |   304852 |    19400     39 |        5 |      334
222.16/222.29	c  222s |      18 |   363884 |   307852 |    19400     39 |        5 |      334
224.25/224.34	c  224s |      18 |   366318 |   309952 |    19400     39 |        5 |      334
226.25/226.36	c  226s |      18 |   369369 |   312352 |    19400     39 |        5 |      334
228.35/228.40	c  228s |      18 |   371813 |   314452 |    19400     40 |        5 |      334
230.35/230.44	c  230s |      18 |   375417 |   317452 |    19400     40 |        5 |      334
232.45/232.50	c  232s |      18 |   378498 |   320052 |    19400     40 |        5 |      334
234.45/234.54	c  234s |      18 |   381350 |   322552 |    19400     40 |        5 |      334
236.46/236.57	c  236s |      18 |   383963 |   324852 |    19400     41 |        5 |      334
238.55/238.62	c  238s |      18 |   386343 |   326852 |    19400     41 |        5 |      334
240.55/240.69	c  240s |      18 |   389441 |   329552 |    19400     41 |        5 |      334
242.65/242.71	c  242s |      18 |   392308 |   332052 |    19400     41 |        5 |      334
244.65/244.74	c  244s |      18 |   394643 |   334152 |    19400     42 |        5 |      334
246.75/246.80	c  246s |      18 |   397446 |   336652 |    19400     42 |        5 |      334
248.75/248.82	c  248s |      18 |   400360 |   339152 |    19400     42 |        5 |      334
250.75/250.90	c  250s |      18 |   402855 |   341352 |    19400     42 |        5 |      334
252.85/252.93	c  252s |      18 |   405124 |   343352 |    19400     42 |        5 |      334
254.85/254.94	c  254s |      18 |   407798 |   345652 |    19400     43 |        5 |      334
256.85/256.96	c  256s |      18 |   410788 |   348252 |    19400     43 |        5 |      334
258.84/258.98	c  258s |      18 |   413508 |   350652 |    19400     43 |        5 |      334
260.84/260.98	c  260s |      18 |   415834 |   352752 |    19400     43 |        5 |      334
265.65/265.74	c  265s |      18 |   417086 |   353852 |    19400     44 |        5 |      334
267.65/267.77	c  267s |      18 |   420709 |   356852 |    19400     44 |        5 |      334
269.75/269.80	c  269s |      18 |   423954 |   359552 |    19400     44 |        5 |      334
271.76/271.84	c  271s |      18 |   427044 |   362152 |    19400     44 |        5 |      334
273.75/273.87	c  273s |      18 |   430038 |   364652 |    19400     45 |        5 |      334
275.75/275.88	c  275s |      18 |   433159 |   367352 |    19400     45 |        5 |      334
277.85/277.90	c  277s |      18 |   435982 |   369752 |    19400     45 |        5 |      334
279.84/279.96	c  279s |      18 |   438424 |   371952 |    19400     45 |        5 |      334
281.84/281.96	c  281s |      18 |   440887 |   374152 |    19400     46 |        5 |      334
283.94/284.00	c  283s |      18 |   443466 |   376452 |    19400     46 |        5 |      334
285.95/286.03	c  285s |      18 |   446106 |   378752 |    19400     46 |        5 |      334
287.94/288.09	c  287s |      18 |   448621 |   380952 |    19400     46 |        5 |      334
290.04/290.18	c  289s |      18 |   450997 |   383052 |    19400     46 |        5 |      334
292.04/292.19	c  291s |      18 |   453774 |   385452 |    19400     47 |        5 |      334
294.04/294.19	c  293s |      18 |   455896 |   387252 |    19400     47 |        5 |      334
296.14/296.25	c  296s |      18 |   458789 |   389752 |    19400     47 |        5 |      334
298.24/298.32	c  298s |      18 |   461420 |   392052 |    19400     47 |        5 |      334
300.25/300.36	c  300s |      18 |   463901 |   394252 |    19400     48 |        5 |      334
302.85/302.98	c  302s |      18 |   466427 |   396452 |    19400     48 |        5 |      334
304.94/305.03	c  304s |      18 |   469155 |   398752 |    19400     48 |        5 |      334
306.95/307.06	c  306s |      18 |   471802 |   401052 |    19400     48 |        5 |      334
308.94/309.09	c  308s |      18 |   474224 |   403152 |    19400     49 |        5 |      334
311.04/311.15	c  310s |      18 |   477507 |   405952 |    19400     49 |        5 |      334
313.14/313.23	c  313s |      18 |   480552 |   408552 |    19400     49 |        5 |      334
315.14/315.26	c  315s |      18 |   483319 |   410952 |    19400     49 |        5 |      334
317.24/317.30	c  317s |      18 |   485680 |   413052 |    19400     50 |        5 |      334
319.24/319.34	c  319s |      18 |   488634 |   415652 |    19400     50 |        5 |      334
321.34/321.41	c  321s |      18 |   491336 |   417952 |    19400     50 |        5 |      334
323.35/323.45	c  323s |      18 |   493824 |   420152 |    19400     50 |        5 |      334
325.34/325.49	c  325s |      18 |   495733 |   421852 |    19400     50 |        5 |      334
327.44/327.51	c  327s |      18 |   498178 |   423952 |    19400     51 |        5 |      334
329.44/329.52	c  329s |      18 |   500987 |   426452 |    19400     51 |        5 |      334
331.44/331.58	c  331s |      18 |   503110 |   428252 |    19400     51 |        5 |      334
333.44/333.59	c  333s |      18 |   505975 |   430652 |    19400     51 |        5 |      334
335.55/335.61	c  335s |      18 |   508161 |   432552 |    19400     52 |        5 |      334
337.54/337.67	c  337s |      18 |   511176 |   435252 |    19400     52 |        5 |      334
339.64/339.71	c  339s |      18 |   513728 |   437552 |    19400     52 |        5 |      334
341.64/341.73	c  341s |      18 |   516306 |   439852 |    19400     52 |        5 |      334
343.64/343.73	c  343s |      18 |   518574 |   441852 |    21340     52 |        5 |      334
345.64/345.76	c  345s |      18 |   520795 |   443852 |    21340     52 |        5 |      334
346.34/346.46	c  346s |      19 |   521518 |   444482 |    21340     53 |        5 |      334
348.54/348.61	c  348s |      19 |   521769 |   444682 |    21340     53 |        5 |      334
350.53/350.64	c  350s |      19 |   524235 |   446682 |    21340     53 |        5 |      334
352.53/352.64	c  352s |      19 |   527448 |   449382 |    21340     53 |        5 |      334
354.53/354.69	c  354s |      19 |   530814 |   452082 |    21340     53 |        5 |      334
356.63/356.72	c  356s |      19 |   533684 |   454482 |    21340     53 |        5 |      334
358.64/358.73	c  358s |      19 |   536595 |   456982 |    21340     54 |        5 |      334
360.63/360.74	c  360s |      19 |   539659 |   459682 |    21340     54 |        5 |      334
362.63/362.77	c  362s |      19 |   542694 |   462082 |    21340     54 |        5 |      334
364.73/364.81	c  364s |      19 |   545679 |   464582 |    21340     54 |        5 |      334
366.73/366.81	c  366s |      19 |   548236 |   466782 |    21340     55 |        5 |      334
368.73/368.87	c  368s |      19 |   551548 |   469582 |    21340     55 |        5 |      334
370.83/370.94	c  370s |      19 |   554447 |   472082 |    21340     55 |        5 |      334
372.94/373.04	c  372s |      19 |   556963 |   474282 |    21340     55 |        5 |      334
374.93/375.08	c  374s |      19 |   559166 |   476282 |    21340     55 |        5 |      334
376.93/377.08	c  376s |      19 |   561610 |   478382 |    21340     56 |        5 |      334
379.03/379.13	c  378s |      19 |   564495 |   480882 |    21340     56 |        5 |      334
381.03/381.16	c  380s |      19 |   567187 |   483282 |    21340     56 |        5 |      334
383.03/383.16	c  382s |      19 |   569414 |   485282 |    21340     56 |        5 |      334
386.43/386.59	c  386s |      19 |   571077 |   486782 |    21340     56 |        5 |      334
389.34/389.48	c  389s |      19 |   571948 |   487482 |    21340     57 |        5 |      334
391.43/391.51	c  391s |      19 |   575483 |   490382 |    21340     57 |        5 |      334
393.43/393.54	c  393s |      19 |   578965 |   493282 |    21340     57 |        5 |      334
395.43/395.59	c  395s |      19 |   582026 |   495882 |    21340     57 |        5 |      334
397.43/397.59	c  397s |      19 |   584509 |   497982 |    21340     57 |        5 |      334
399.43/399.59	c  399s |      19 |   587214 |   500282 |    21340     58 |        5 |      334
401.54/401.67	c  401s |      19 |   590385 |   503082 |    21340     58 |        5 |      334
403.53/403.68	c  403s |      19 |   592737 |   505082 |    21340     58 |        5 |      334
405.53/405.69	c  405s |      19 |   595352 |   507282 |    21340     58 |        5 |      334
407.63/407.70	c  407s |      19 |   597782 |   509382 |    21340     59 |        5 |      334
409.63/409.77	c  409s |      19 |   600868 |   512082 |    21340     59 |        5 |      334
411.73/411.80	c  411s |      19 |   603741 |   514482 |    21340     59 |        5 |      334
413.73/413.85	c  413s |      19 |   606793 |   517082 |    21340     59 |        5 |      334
415.73/415.88	c  415s |      19 |   609550 |   519482 |    21340     59 |        5 |      334
417.83/417.93	c  417s |      19 |   611723 |   521482 |    21340     60 |        5 |      334
419.93/420.01	c  419s |      19 |   614741 |   524182 |    21340     60 |        5 |      334
421.93/422.05	c  421s |      19 |   617272 |   526482 |    21340     60 |        5 |      334
425.12/425.29	c  425s |      19 |   619171 |   528182 |    21340     60 |        5 |      334
427.12/427.29	c  427s |      19 |   621541 |   530182 |    21340     60 |        5 |      334
429.22/429.34	c  429s |      19 |   624341 |   532482 |    21340     61 |        5 |      334
431.23/431.37	c  431s |      19 |   627217 |   534982 |    21340     61 |        5 |      334
433.33/433.40	c  433s |      19 |   629623 |   537182 |    21340     61 |        5 |      334
435.32/435.44	c  435s |      19 |   631979 |   539282 |    21340     61 |        5 |      334
437.42/437.54	c  437s |      19 |   634296 |   541382 |    21340     61 |        5 |      334
439.52/439.60	c  439s |      19 |   636724 |   543582 |    21340     62 |        5 |      334
441.52/441.60	c  441s |      19 |   639231 |   545782 |    21340     62 |        5 |      334
443.52/443.67	c  443s |      19 |   641632 |   547982 |    21340     62 |        5 |      334
445.53/445.69	c  445s |      19 |   643945 |   550082 |    21340     62 |        5 |      334
447.63/447.76	c  447s |      19 |   645877 |   551882 |    21340     62 |        5 |      334
449.62/449.78	c  449s |      19 |   647313 |   553182 |    21340     63 |        5 |      334
451.72/451.86	c  451s |      19 |   650599 |   556082 |    21340     63 |        5 |      334
453.82/453.92	c  453s |      19 |   653144 |   558382 |    21340     63 |        5 |      334
455.82/455.99	c  455s |      19 |   655501 |   560482 |    21340     63 |        5 |      334
458.01/458.11	c  457s |      19 |   657680 |   562482 |    21340     63 |        5 |      334
460.01/460.17	c  459s |      19 |   659738 |   564382 |    21340     64 |        5 |      334
462.11/462.22	c  462s |      19 |   662230 |   566682 |    21340     64 |        5 |      334
464.12/464.28	c  464s |      19 |   664486 |   568782 |    21340     64 |        5 |      334
466.11/466.29	c  466s |      19 |   666449 |   570582 |    21340     64 |        5 |      334
468.21/468.34	c  468s |      19 |   668718 |   572582 |    21340     64 |        5 |      334
470.31/470.41	c  470s |      19 |   670444 |   574082 |    21340     65 |        5 |      334
473.12/473.24	c  473s |      19 |   672498 |   575882 |    21340     65 |        5 |      334
475.13/475.29	c  475s |      19 |   675975 |   578682 |    21340     65 |        5 |      334
477.22/477.33	c  477s |      19 |   678484 |   580782 |    21340     65 |        5 |      334
479.22/479.37	c  479s |      19 |   681318 |   583182 |    21340     65 |        5 |      334
481.22/481.38	c  481s |      19 |   683803 |   585282 |    21340     66 |        5 |      334
483.32/483.48	c  483s |      19 |   687289 |   588282 |    21340     66 |        5 |      334
485.32/485.48	c  485s |      19 |   690128 |   590782 |    21340     66 |        5 |      334
487.42/487.52	c  487s |      19 |   692924 |   593182 |    21340     66 |        5 |      334
489.42/489.59	c  489s |      19 |   695367 |   595282 |    21340     66 |        5 |      334
491.52/491.65	c  491s |      19 |   697982 |   597582 |    21340     67 |        5 |      334
493.61/493.70	c  493s |      19 |   701178 |   600382 |    21340     67 |        5 |      334
495.61/495.76	c  495s |      19 |   704004 |   602882 |    21340     67 |        5 |      334
497.71/497.80	c  497s |      19 |   706435 |   605082 |    21340     67 |        5 |      334
499.71/499.85	c  499s |      19 |   708916 |   607282 |    21340     68 |        5 |      334
505.21/505.37	c  505s |      19 |   711766 |   609782 |    21340     68 |        5 |      334
507.21/507.39	c  507s |      19 |   714381 |   611882 |    21340     68 |        5 |      334
509.31/509.44	c  509s |      19 |   717764 |   614782 |    21340     68 |        5 |      334
511.31/511.45	c  511s |      19 |   720547 |   617182 |    21340     68 |        5 |      334
513.41/513.50	c  513s |      19 |   723345 |   619582 |    21340     69 |        5 |      334
515.40/515.54	c  515s |      19 |   726112 |   621982 |    21340     69 |        5 |      334
517.41/517.56	c  517s |      19 |   729082 |   624482 |    21340     69 |        5 |      334
519.40/519.56	c  519s |      19 |   731791 |   626782 |    21340     69 |        5 |      334
521.41/521.58	c  521s |      19 |   734158 |   628882 |    21340     70 |        5 |      334
523.51/523.66	c  523s |      19 |   736935 |   631382 |    21340     70 |        5 |      334
525.50/525.67	c  525s |      19 |   739473 |   633682 |    21340     70 |        5 |      334
527.50/527.69	c  527s |      19 |   741738 |   635782 |    21340     70 |        5 |      334
529.60/529.73	c  529s |      19 |   743945 |   637782 |    21340     70 |        5 |      334
531.60/531.76	c  531s |      19 |   746177 |   639782 |    21340     71 |        5 |      334
533.70/533.80	c  533s |      19 |   748811 |   642182 |    21340     71 |        5 |      334
535.71/535.85	c  535s |      19 |   749519 |   642782 |    21340     71 |        5 |      334
537.70/537.87	c  537s |      19 |   752433 |   645182 |    21340     71 |        5 |      334
539.80/539.91	c  539s |      19 |   755314 |   647582 |    21340     71 |        5 |      334
541.80/541.96	c  541s |      19 |   757957 |   649782 |    21340     71 |        5 |      334
543.90/544.00	c  543s |      19 |   760659 |   652082 |    21340     72 |        5 |      334
545.90/546.06	c  545s |      19 |   764148 |   654982 |    21340     72 |        5 |      334
548.00/548.13	c  547s |      19 |   767343 |   657682 |    21340     72 |        5 |      334
550.01/550.13	c  549s |      19 |   770326 |   660282 |    21340     72 |        5 |      334
553.31/553.48	c  553s |      19 |   772893 |   662582 |    23475     73 |        5 |      334
555.30/555.49	c  555s |      19 |   775932 |   665182 |    23475     73 |        5 |      334
556.61/556.73	c  556s |      20 |   777862 |   666827 |    23475     73 |        5 |      334
558.71/558.81	c  558s |      20 |   780675 |   669227 |    23475     73 |        5 |      334
560.70/560.86	c  560s |      20 |   782699 |   671027 |    23475     73 |        5 |      334
562.70/562.89	c  562s |      20 |   785149 |   673227 |    23475     73 |        5 |      334
564.80/564.95	c  564s |      20 |   787640 |   675427 |    23475     74 |        5 |      334
566.80/566.96	c  566s |      20 |   790511 |   677927 |    23475     74 |        5 |      334
568.90/569.06	c  568s |      20 |   793134 |   680227 |    23475     74 |        5 |      334
570.90/571.08	c  570s |      20 |   795548 |   682227 |    23475     74 |        5 |      334
573.00/573.18	c  572s |      20 |   797828 |   684227 |    23475     74 |        5 |      334
575.00/575.19	c  574s |      20 |   799575 |   685827 |    23475     75 |        5 |      334
577.10/577.21	c  577s |      20 |   802130 |   688127 |    23475     75 |        5 |      334
579.10/579.21	c  579s |      20 |   804678 |   690327 |    23475     75 |        5 |      334
581.10/581.24	c  581s |      20 |   807426 |   692727 |    23475     75 |        5 |      334
583.19/583.33	c  583s |      20 |   810003 |   695027 |    23475     75 |        5 |      334
585.20/585.37	c  585s |      20 |   812172 |   697027 |    23475     75 |        5 |      334
587.19/587.38	c  587s |      20 |   814806 |   699327 |    23475     76 |        5 |      334
589.29/589.43	c  589s |      20 |   817594 |   701827 |    23475     76 |        5 |      334
594.09/594.29	c  594s |      20 |   817814 |   702027 |    23475     76 |        5 |      334
596.20/596.37	c  596s |      20 |   820337 |   704227 |    23475     76 |        5 |      334
598.30/598.43	c  598s |      20 |   823317 |   706627 |    23475     76 |        5 |      334
600.30/600.47	c  600s |      20 |   825517 |   708527 |    23475     76 |        5 |      334
602.40/602.50	c  602s |      20 |   827650 |   710327 |    23475     77 |        5 |      334
604.40/604.52	c  604s |      20 |   830709 |   712927 |    23475     77 |        5 |      334
606.40/606.57	c  606s |      20 |   833356 |   715227 |    23475     77 |        5 |      334
608.40/608.57	c  608s |      20 |   835990 |   717527 |    23475     77 |        5 |      334
610.40/610.60	c  610s |      20 |   838164 |   719427 |    23475     77 |        5 |      334
612.49/612.65	c  612s |      20 |   840175 |   721127 |    23475     78 |        5 |      334
614.59/614.73	c  614s |      20 |   842752 |   723427 |    23475     78 |        5 |      334
616.69/616.81	c  616s |      20 |   845305 |   725727 |    23475     78 |        5 |      334
618.69/618.83	c  618s |      20 |   847870 |   727927 |    23475     78 |        5 |      334
620.79/620.91	c  620s |      20 |   849968 |   729827 |    23475     78 |        5 |      334
622.89/623.01	c  622s |      20 |   852109 |   731727 |    23475     78 |        5 |      334
624.99/625.11	c  624s |      20 |   853870 |   733327 |    23475     79 |        5 |      334
626.99/627.17	c  626s |      20 |   856611 |   735827 |    23475     79 |        5 |      334
629.09/629.25	c  629s |      20 |   858890 |   737927 |    23475     79 |        5 |      334
631.09/631.26	c  631s |      20 |   861038 |   739927 |    23475     79 |        5 |      334
633.19/633.32	c  633s |      20 |   863276 |   741927 |    23475     79 |        5 |      334
635.19/635.33	c  635s |      20 |   865102 |   743527 |    23475     79 |        5 |      334
637.19/637.37	c  637s |      20 |   866738 |   744927 |    23475     80 |        5 |      334
639.29/639.41	c  639s |      20 |   868953 |   746927 |    23475     80 |        5 |      334
641.30/641.42	c  641s |      20 |   871534 |   749227 |    23475     80 |        5 |      334
643.29/643.48	c  643s |      20 |   874173 |   751427 |    23475     80 |        5 |      334
645.39/645.52	c  645s |      20 |   876608 |   753627 |    23475     80 |        5 |      334
648.58/648.78	c  648s |      20 |   878443 |   755227 |    23475     80 |        5 |      334
650.78/650.91	c  650s |      20 |   880266 |   756827 |    23475     81 |        5 |      334
652.78/652.93	c  652s |      20 |   883274 |   759527 |    23475     81 |        5 |      334
654.78/654.96	c  654s |      20 |   886093 |   762027 |    23475     81 |        5 |      334
656.88/657.05	c  656s |      20 |   888518 |   764227 |    23475     81 |        5 |      334
658.88/659.07	c  658s |      20 |   890755 |   766227 |    23475     81 |        5 |      334
660.98/661.15	c  660s |      20 |   892886 |   768127 |    23475     81 |        5 |      334
663.07/663.26	c  663s |      20 |   894971 |   770027 |    23475     82 |        5 |      334
665.07/665.26	c  665s |      20 |   897305 |   772127 |    23475     82 |        5 |      334
667.17/667.35	c  667s |      20 |   899488 |   774127 |    23475     82 |        5 |      334
669.27/669.49	c  669s |      20 |   901470 |   775927 |    23475     82 |        5 |      334
671.37/671.53	c  671s |      20 |   903293 |   777627 |    23475     82 |        5 |      334
673.46/673.63	c  673s |      20 |   904960 |   779127 |    23475     82 |        5 |      334
676.07/676.25	c  676s |      20 |   906512 |   780527 |    23475     83 |        5 |      334
678.07/678.26	c  678s |      20 |   909240 |   782927 |    23475     83 |        5 |      334
680.17/680.33	c  680s |      20 |   911692 |   785127 |    23475     83 |        5 |      334
682.17/682.34	c  682s |      20 |   913763 |   787027 |    23475     83 |        5 |      334
684.17/684.37	c  684s |      20 |   915430 |   788527 |    23475     83 |        5 |      334
686.27/686.47	c  686s |      20 |   917971 |   790727 |    23475     83 |        5 |      334
688.47/688.62	c  688s |      20 |   919945 |   792427 |    23475     84 |        5 |      334
690.47/690.67	c  690s |      20 |   922741 |   794927 |    23475     84 |        5 |      334
692.56/692.72	c  692s |      20 |   925669 |   797527 |    23475     84 |        5 |      334
694.56/694.78	c  694s |      20 |   927281 |   798927 |    23475     84 |        5 |      334
696.56/696.79	c  696s |      20 |   929667 |   801027 |    23475     84 |        5 |      334
698.56/698.79	c  698s |      20 |   931694 |   802827 |    23475     84 |        5 |      334
700.67/700.86	c  700s |      20 |   933587 |   804527 |    23475     85 |        5 |      334
702.66/702.88	c  702s |      20 |   936005 |   806727 |    23475     85 |        5 |      334
705.66/705.85	c  705s |      20 |   938260 |   808827 |    23475     85 |        5 |      334
707.66/707.86	c  707s |      20 |   940340 |   810627 |    23475     85 |        5 |      334
709.66/709.86	c  709s |      20 |   942744 |   812727 |    23475     85 |        5 |      334
711.66/711.87	c  711s |      20 |   944901 |   814627 |    23475     85 |        5 |      334
713.76/713.91	c  713s |      20 |   946697 |   816227 |    23475     86 |        5 |      334
715.75/715.97	c  715s |      20 |   949116 |   818227 |    23475     86 |        5 |      334
717.85/718.01	c  717s |      20 |   951905 |   820627 |    23475     86 |        5 |      334
719.85/720.05	c  719s |      20 |   954466 |   822827 |    23475     86 |        5 |      334
721.95/722.14	c  721s |      20 |   956593 |   824727 |    23475     86 |        5 |      334
724.05/724.24	c  724s |      20 |   958848 |   826727 |    23475     86 |        5 |      334
726.14/726.30	c  726s |      20 |   960960 |   828627 |    23475     87 |        5 |      334
728.24/728.46	c  728s |      20 |   963603 |   831027 |    23475     87 |        5 |      334
730.35/730.53	c  730s |      20 |   965972 |   833127 |    23475     87 |        5 |      334
732.34/732.56	c  732s |      20 |   968332 |   835227 |    23475     87 |        5 |      334
734.44/734.62	c  734s |      20 |   970736 |   837227 |    23475     87 |        5 |      334
736.54/736.71	c  736s |      20 |   973179 |   839327 |    23475     87 |        5 |      334
738.54/738.74	c  738s |      20 |   975062 |   841027 |    23475     88 |        5 |      334
740.64/740.81	c  740s |      20 |   978112 |   843727 |    23475     88 |        5 |      334
742.64/742.82	c  742s |      20 |   980942 |   846227 |    23475     88 |        5 |      334
745.04/745.28	c  745s |      20 |   981073 |   846327 |    23475     88 |        5 |      334
747.44/747.61	c  747s |      20 |   981639 |   846827 |    23475     88 |        5 |      334
749.44/749.68	c  749s |      20 |   984259 |   849127 |    23475     88 |        5 |      334
751.54/751.77	c  751s |      20 |   986766 |   851327 |    23475     88 |        5 |      334
753.54/753.79	c  753s |      20 |   989256 |   853527 |    23475     89 |        5 |      334
755.64/755.87	c  755s |      20 |   992402 |   856227 |    23475     89 |        5 |      334
757.74/757.91	c  757s |      20 |   994874 |   858427 |    23475     89 |        5 |      334
759.73/759.91	c  759s |      20 |   997076 |   860427 |    23475     89 |        5 |      334
761.83/762.01	c  761s |      20 |   999044 |   862227 |    23475     89 |        5 |      334
763.83/764.04	c  763s |      20 |  1000788 |   863827 |    23475     90 |        5 |      334
765.93/766.12	c  765s |      20 |  1003386 |   866127 |    23475     90 |        5 |      334
767.93/768.15	c  767s |      20 |  1005782 |   868327 |    23475     90 |        5 |      334
769.94/770.17	c  769s |      20 |  1007959 |   870127 |    23475     90 |        5 |      334
771.93/772.19	c  771s |      20 |  1010229 |   872027 |    23475     90 |        5 |      334
774.03/774.23	c  774s |      20 |  1012536 |   874027 |    23475     90 |        5 |      334
776.12/776.37	c  776s |      20 |  1014383 |   875627 |    23475     91 |        5 |      334
778.12/778.39	c  778s |      20 |  1016903 |   877827 |    23475     91 |        5 |      334
780.22/780.45	c  780s |      20 |  1019854 |   880427 |    23475     91 |        5 |      334
782.22/782.49	c  782s |      20 |  1021858 |   882227 |    23475     91 |        5 |      334
784.32/784.56	c  784s |      20 |  1024172 |   884327 |    23475     91 |        5 |      334
786.33/786.59	c  786s |      20 |  1026269 |   886227 |    23475     91 |        5 |      334
788.42/788.64	c  788s |      20 |  1027993 |   887827 |    23475     92 |        5 |      334
790.52/790.71	c  790s |      20 |  1030359 |   890027 |    23475     92 |        5 |      334
792.52/792.76	c  792s |      20 |  1032835 |   892227 |    23475     92 |        5 |      334
794.62/794.86	c  794s |      20 |  1035013 |   894227 |    23475     92 |        5 |      334
796.71/796.95	c  796s |      20 |  1036744 |   895827 |    23475     92 |        5 |      334
798.71/798.96	c  798s |      20 |  1038770 |   897627 |    23475     92 |        5 |      334
800.81/801.03	c  800s |      20 |  1040690 |   899327 |    23475     92 |        5 |      334
802.92/803.10	c  802s |      20 |  1042906 |   901227 |    23475     93 |        5 |      334
804.91/805.16	c  804s |      20 |  1045332 |   903427 |    23475     93 |        5 |      334
806.91/807.18	c  806s |      20 |  1047567 |   905427 |    23475     93 |        5 |      334
809.01/809.26	c  809s |      20 |  1049868 |   907527 |    23475     93 |        5 |      334
811.10/811.31	c  811s |      20 |  1051757 |   909127 |    23475     93 |        5 |      334
813.10/813.38	c  813s |      20 |  1053865 |   910927 |    23475     93 |        5 |      334
815.20/815.41	c  815s |      20 |  1055867 |   912627 |    23475     94 |        5 |      334
817.21/817.43	c  817s |      20 |  1058436 |   914927 |    23475     94 |        5 |      334
819.20/819.46	c  819s |      20 |  1060856 |   917127 |    23475     94 |        5 |      334
821.30/821.54	c  821s |      20 |  1063368 |   919327 |    23475     94 |        5 |      334
823.41/823.65	c  823s |      20 |  1065730 |   921427 |    23475     94 |        5 |      334
825.60/825.86	c  825s |      20 |  1067818 |   923327 |    23475     95 |        5 |      334
827.60/827.87	c  827s |      20 |  1070479 |   925727 |    23475     95 |        5 |      334
829.70/829.90	c  829s |      20 |  1072349 |   927427 |    23475     95 |        5 |      334
832.00/832.21	c  832s |      20 |  1072815 |   927827 |    23475     95 |        5 |      334
834.00/834.25	c  834s |      20 |  1075726 |   930227 |    23475     95 |        5 |      334
836.00/836.28	c  836s |      20 |  1078570 |   932627 |    23475     95 |        5 |      334
838.10/838.37	c  838s |      20 |  1081231 |   934927 |    23475     95 |        5 |      334
840.10/840.39	c  840s |      20 |  1083769 |   937027 |    23475     96 |        5 |      334
842.20/842.43	c  842s |      20 |  1086822 |   939727 |    23475     96 |        5 |      334
844.29/844.52	c  844s |      20 |  1089974 |   942427 |    23475     96 |        5 |      334
846.29/846.58	c  846s |      20 |  1092378 |   944627 |    23475     96 |        5 |      334
848.39/848.62	c  848s |      20 |  1094704 |   946627 |    23475     96 |        5 |      334
850.59/850.87	c  850s |      20 |  1095632 |   947427 |    23475     97 |        5 |      334
852.69/852.95	c  852s |      20 |  1098504 |   949927 |    23475     97 |        5 |      334
854.79/855.00	c  854s |      20 |  1101141 |   952327 |    23475     97 |        5 |      334
856.80/857.00	c  856s |      20 |  1103723 |   954627 |    23475     97 |        5 |      334
858.79/859.01	c  858s |      20 |  1105970 |   956627 |    23475     97 |        5 |      334
860.79/861.06	c  860s |      20 |  1108319 |   958627 |    23475     97 |        5 |      334
862.79/863.09	c  862s |      20 |  1110428 |   960427 |    23475     98 |        5 |      334
864.89/865.14	c  864s |      20 |  1113002 |   962727 |    23475     98 |        5 |      334
866.98/867.20	c  866s |      20 |  1115829 |   965127 |    23475     98 |        5 |      334
868.98/869.23	c  869s |      20 |  1118638 |   967527 |    23475     98 |        5 |      334
870.99/871.30	c  871s |      20 |  1121292 |   969827 |    23475     98 |        5 |      334
873.08/873.37	c  873s |      20 |  1122569 |   970927 |    23475     99 |        5 |      334
875.18/875.42	c  875s |      20 |  1125778 |   973727 |    23475     99 |        5 |      334
877.28/877.50	c  877s |      20 |  1128616 |   976227 |    23475     99 |        5 |      334
879.28/879.52	c  879s |      20 |  1131241 |   978527 |    23475     99 |        5 |      334
881.38/881.61	c  881s |      20 |  1133652 |   980627 |    23475     99 |        5 |      334
883.38/883.63	c  883s |      20 |  1134621 |   981427 |    23475     99 |        5 |      334
885.38/885.66	c  885s |      20 |  1136299 |   982827 |    23475    100 |        5 |      334
887.48/887.72	c  887s |      20 |  1139567 |   985627 |    23475    100 |        5 |      334
889.48/889.77	c  889s |      20 |  1142243 |   988027 |    23475    100 |        5 |      334
891.58/891.80	c  891s |      20 |  1145094 |   990427 |    23475    100 |        5 |      334
893.57/893.85	c  893s |      20 |  1147020 |   992127 |    23475    100 |        5 |      334
895.57/895.87	c  895s |      20 |  1149530 |   994227 |    25823    100 |        5 |      334
897.67/897.93	c  897s |      20 |  1151932 |   996327 |    25823    100 |        5 |      334
899.67/899.97	c  899s |      20 |  1154421 |   998527 |    25823    101 |        5 |      334
901.27/901.55	c  901s |      21 |  1156449 |  1000345 |    25823    101 |        5 |      334
903.36/903.62	c  903s |      21 |  1157543 |  1001245 |    25823    101 |        5 |      334
905.36/905.64	c  905s |      21 |  1160333 |  1003545 |    25823    101 |        5 |      334
907.36/907.65	c  907s |      21 |  1162731 |  1005545 |    25823    101 |        5 |      334
909.36/909.68	c  909s |      21 |  1165129 |  1007545 |    25823    101 |        5 |      334
911.46/911.71	c  911s |      21 |  1167330 |  1009445 |    25823    101 |        5 |      334
913.46/913.72	c  913s |      21 |  1169165 |  1011045 |    25823    102 |        5 |      334
915.45/915.75	c  915s |      21 |  1172145 |  1013545 |    25823    102 |        5 |      334
917.55/917.80	c  917s |      21 |  1174670 |  1015745 |    25823    102 |        5 |      334
919.56/919.86	c  919s |      21 |  1177141 |  1017945 |    25823    102 |        5 |      334
921.67/921.93	c  921s |      21 |  1179474 |  1019945 |    25823    102 |        5 |      334
923.66/923.99	c  923s |      21 |  1181500 |  1021745 |    25823    102 |        5 |      334
925.75/926.02	c  925s |      21 |  1183180 |  1023245 |    25823    103 |        5 |      334
927.75/928.05	c  927s |      21 |  1185880 |  1025645 |    25823    103 |        5 |      334
929.75/930.07	c  929s |      21 |  1188519 |  1028045 |    25823    103 |        5 |      334
931.85/932.17	c  931s |      21 |  1190488 |  1029845 |    25823    103 |        5 |      334
933.95/934.24	c  934s |      21 |  1191749 |  1030845 |    25823    103 |        5 |      334
936.05/936.32	c  936s |      21 |  1194554 |  1033145 |    25823    103 |        5 |      334
938.06/938.33	c  938s |      21 |  1197161 |  1035245 |    25823    103 |        5 |      334
940.26/940.54	c  940s |      21 |  1198291 |  1036245 |    25823    104 |        5 |      334
942.25/942.57	c  942s |      21 |  1201423 |  1038945 |    25823    104 |        5 |      334
944.25/944.57	c  944s |      21 |  1204179 |  1041345 |    25823    104 |        5 |      334
947.14/947.49	c  947s |      21 |  1206669 |  1043545 |    25823    104 |        5 |      334
949.24/949.50	c  949s |      21 |  1208604 |  1045145 |    25823    104 |        5 |      334
951.35/951.61	c  951s |      21 |  1210875 |  1047145 |    25823    104 |        5 |      334
953.55/953.82	c  953s |      21 |  1212793 |  1048845 |    25823    105 |        5 |      334
955.54/955.84	c  955s |      21 |  1215350 |  1051145 |    25823    105 |        5 |      334
957.54/957.89	c  957s |      21 |  1218177 |  1053645 |    25823    105 |        5 |      334
959.64/959.91	c  959s |      21 |  1220653 |  1055745 |    25823    105 |        5 |      334
961.74/962.00	c  961s |      21 |  1223138 |  1057945 |    25823    105 |        5 |      334
963.74/964.07	c  963s |      21 |  1225481 |  1060045 |    25823    105 |        5 |      334
965.84/966.11	c  965s |      21 |  1227480 |  1061845 |    25823    105 |        5 |      334
967.84/968.15	c  967s |      21 |  1229954 |  1063945 |    25823    106 |        5 |      334
969.94/970.21	c  970s |      21 |  1232358 |  1066145 |    25823    106 |        5 |      334
972.04/972.30	c  972s |      21 |  1234687 |  1068245 |    25823    106 |        5 |      334
974.14/974.42	c  974s |      21 |  1236779 |  1070145 |    25823    106 |        5 |      334
976.13/976.48	c  976s |      21 |  1238353 |  1071445 |    25823    106 |        5 |      334
978.23/978.54	c  978s |      21 |  1240454 |  1073345 |    25823    106 |        5 |      334
980.94/981.28	c  981s |      21 |  1242206 |  1074945 |    25823    107 |        5 |      334
983.03/983.37	c  983s |      21 |  1244675 |  1077145 |    25823    107 |        5 |      334
985.13/985.45	c  985s |      21 |  1247195 |  1079445 |    25823    107 |        5 |      334
987.13/987.48	c  987s |      21 |  1249373 |  1081445 |    25823    107 |        5 |      334
989.13/989.48	c  989s |      21 |  1251242 |  1083145 |    25823    107 |        5 |      334
991.13/991.48	c  991s |      21 |  1253093 |  1084845 |    25823    107 |        5 |      334
993.33/993.61	c  993s |      21 |  1254925 |  1086545 |    25823    107 |        5 |      334
995.33/995.67	c  995s |      21 |  1256437 |  1087945 |    25823    107 |        5 |      334
997.43/997.72	c  997s |      21 |  1258323 |  1089645 |    25823    108 |        5 |      334
999.42/999.75	c  999s |      21 |  1260562 |  1091645 |    25823    108 |        5 |      334
1001.42/1001.79	c 1001s |      21 |  1262421 |  1093345 |    25823    108 |        5 |      334
1003.52/1003.82	c 1003s |      21 |  1263706 |  1094445 |    25823    108 |        5 |      334
1005.61/1005.92	c 1005s |      21 |  1266228 |  1096545 |    25823    108 |        5 |      334
1007.61/1007.98	c 1007s |      21 |  1268472 |  1098545 |    25823    108 |        5 |      334
1009.62/1009.99	c 1009s |      21 |  1270253 |  1100145 |    25823    108 |        5 |      334
1011.72/1012.08	c 1011s |      21 |  1272002 |  1101645 |    25823    109 |        5 |      334
1013.81/1014.12	c 1013s |      21 |  1274791 |  1104045 |    25823    109 |        5 |      334
1015.80/1016.14	c 1015s |      21 |  1277249 |  1106245 |    25823    109 |        5 |      334
1017.80/1018.19	c 1017s |      21 |  1279518 |  1108245 |    25823    109 |        5 |      334
1019.90/1020.22	c 1020s |      21 |  1280135 |  1108745 |    25823    109 |        5 |      334
1021.90/1022.24	c 1022s |      21 |  1283157 |  1111245 |    25823    109 |        5 |      334
1023.91/1024.27	c 1024s |      21 |  1285831 |  1113445 |    25823    109 |        5 |      334
1025.90/1026.28	c 1026s |      21 |  1288135 |  1115445 |    25823    110 |        5 |      334
1027.99/1028.32	c 1028s |      21 |  1289488 |  1116645 |    25823    110 |        5 |      334
1029.99/1030.33	c 1030s |      21 |  1292526 |  1119245 |    25823    110 |        5 |      334
1031.99/1032.36	c 1032s |      21 |  1295020 |  1121445 |    25823    110 |        5 |      334
1034.09/1034.40	c 1034s |      21 |  1297495 |  1123545 |    25823    110 |        5 |      334
1036.09/1036.47	c 1036s |      21 |  1299898 |  1125645 |    25823    110 |        5 |      334
1038.10/1038.50	c 1038s |      21 |  1301793 |  1127345 |    25823    111 |        5 |      334
1040.19/1040.54	c 1040s |      21 |  1304322 |  1129645 |    25823    111 |        5 |      334
1042.70/1043.09	c 1042s |      21 |  1306393 |  1131545 |    25823    111 |        5 |      334
1044.80/1045.18	c 1044s |      21 |  1309047 |  1133845 |    25823    111 |        5 |      334
1046.90/1047.23	c 1047s |      21 |  1311463 |  1135945 |    25823    111 |        5 |      334
1048.89/1049.25	c 1049s |      21 |  1313867 |  1137945 |    25823    111 |        5 |      334
1050.99/1051.34	c 1051s |      21 |  1315937 |  1139745 |    25823    111 |        5 |      334
1052.99/1053.40	c 1053s |      21 |  1317917 |  1141445 |    25823    112 |        5 |      334
1055.09/1055.46	c 1055s |      21 |  1319880 |  1143045 |    25823    112 |        5 |      334
1057.19/1057.50	c 1057s |      21 |  1321999 |  1144745 |    25823    112 |        5 |      334
1059.19/1059.53	c 1059s |      21 |  1324996 |  1147245 |    25823    112 |        5 |      334
1061.19/1061.57	c 1061s |      21 |  1327553 |  1149445 |    25823    112 |        5 |      334
1063.19/1063.59	c 1063s |      21 |  1329994 |  1151545 |    25823    112 |        5 |      334
1065.59/1065.93	c 1065s |      21 |  1332205 |  1153445 |    25823    113 |        5 |      334
1067.59/1067.97	c 1067s |      21 |  1335330 |  1156245 |    25823    113 |        5 |      334
1071.28/1071.62	c 1071s |      21 |  1337663 |  1158245 |    25823    113 |        5 |      334
1073.29/1073.69	c 1073s |      21 |  1340748 |  1160745 |    25823    113 |        5 |      334
1075.38/1075.73	c 1075s |      21 |  1343786 |  1163245 |    25823    113 |        5 |      334
1077.38/1077.78	c 1077s |      21 |  1346513 |  1165645 |    25823    113 |        5 |      334
1079.48/1079.89	c 1079s |      21 |  1349005 |  1167745 |    25823    114 |        5 |      334
1081.48/1081.90	c 1081s |      21 |  1352639 |  1170745 |    25823    114 |        5 |      334
1083.58/1083.96	c 1083s |      21 |  1355940 |  1173545 |    25823    114 |        5 |      334
1085.68/1086.02	c 1085s |      21 |  1358715 |  1175945 |    25823    114 |        5 |      334
1087.69/1088.04	c 1087s |      21 |  1361360 |  1178245 |    25823    114 |        5 |      334
1089.68/1090.08	c 1089s |      21 |  1363729 |  1180345 |    25823    115 |        5 |      334
1091.78/1092.15	c 1091s |      21 |  1366549 |  1182845 |    25823    115 |        5 |      334
1095.08/1095.44	c 1095s |      21 |  1368273 |  1184345 |    25823    115 |        5 |      334
1097.08/1097.49	c 1097s |      21 |  1370788 |  1186445 |    25823    115 |        5 |      334
1099.18/1099.56	c 1099s |      21 |  1373362 |  1188645 |    25823    115 |        5 |      334
1101.18/1101.58	c 1101s |      21 |  1375654 |  1190645 |    25823    115 |        5 |      334
1103.28/1103.60	c 1103s |      21 |  1377657 |  1192445 |    25823    115 |        5 |      334
1105.29/1105.61	c 1105s |      21 |  1379904 |  1194445 |    25823    116 |        5 |      334
1107.28/1107.62	c 1107s |      21 |  1382635 |  1196945 |    25823    116 |        5 |      334
1109.28/1109.66	c 1109s |      21 |  1384822 |  1198845 |    25823    116 |        5 |      334
1111.38/1111.72	c 1111s |      21 |  1387221 |  1200845 |    25823    116 |        5 |      334
1113.38/1113.74	c 1113s |      21 |  1389460 |  1202845 |    25823    116 |        5 |      334
1115.37/1115.74	c 1115s |      21 |  1391761 |  1204845 |    25823    116 |        5 |      334
1117.38/1117.75	c 1117s |      21 |  1393896 |  1206745 |    25823    117 |        5 |      334
1119.37/1119.76	c 1119s |      21 |  1396559 |  1209145 |    25823    117 |        5 |      334
1121.47/1121.84	c 1121s |      21 |  1399104 |  1211445 |    25823    117 |        5 |      334
1123.47/1123.86	c 1123s |      21 |  1401385 |  1213545 |    25823    117 |        5 |      334
1125.56/1125.91	c 1125s |      21 |  1403734 |  1215545 |    25823    117 |        5 |      334
1127.56/1127.93	c 1127s |      21 |  1405797 |  1217345 |    25823    117 |        5 |      334
1129.56/1129.98	c 1129s |      21 |  1407557 |  1218945 |    25823    118 |        5 |      334
1133.86/1134.22	c 1134s |      21 |  1408345 |  1219645 |    25823    118 |        5 |      334
1136.65/1137.08	c 1136s |      21 |  1408476 |  1219745 |    25823    118 |        5 |      334
1138.75/1139.13	c 1138s |      21 |  1411458 |  1222345 |    25823    118 |        5 |      334
1140.85/1141.22	c 1141s |      21 |  1414275 |  1224745 |    25823    118 |        5 |      334
1142.85/1143.25	c 1143s |      21 |  1416684 |  1226845 |    25823    118 |        5 |      334
1144.86/1145.26	c 1145s |      21 |  1418876 |  1228745 |    25823    118 |        5 |      334
1146.96/1147.37	c 1147s |      21 |  1421009 |  1230645 |    25823    118 |        5 |      334
1149.05/1149.43	c 1149s |      21 |  1422531 |  1231945 |    25823    119 |        5 |      334
1151.05/1151.48	c 1151s |      21 |  1425281 |  1234245 |    25823    119 |        5 |      334
1153.15/1153.57	c 1153s |      21 |  1427967 |  1236545 |    25823    119 |        5 |      334
1155.25/1155.62	c 1155s |      21 |  1430569 |  1238745 |    25823    119 |        5 |      334
1157.25/1157.69	c 1157s |      21 |  1433108 |  1240945 |    25823    119 |        5 |      334
1159.35/1159.79	c 1159s |      21 |  1435375 |  1242945 |    25823    119 |        5 |      334
1161.45/1161.82	c 1161s |      21 |  1437566 |  1244845 |    25823    119 |        5 |      334
1163.46/1163.87	c 1163s |      21 |  1439992 |  1246945 |    25823    120 |        5 |      334
1165.55/1165.93	c 1165s |      21 |  1442875 |  1249445 |    25823    120 |        5 |      334
1167.55/1167.96	c 1167s |      21 |  1445919 |  1252045 |    25823    120 |        5 |      334
1169.65/1170.05	c 1169s |      21 |  1448390 |  1254245 |    25823    120 |        5 |      334
1171.65/1172.08	c 1171s |      21 |  1450585 |  1256245 |    25823    120 |        5 |      334
1173.75/1174.10	c 1173s |      21 |  1451819 |  1257345 |    25823    120 |        5 |      334
1175.75/1176.14	c 1175s |      21 |  1453435 |  1258745 |    25823    121 |        5 |      334
1177.75/1178.20	c 1177s |      21 |  1456135 |  1261145 |    25823    121 |        5 |      334
1179.84/1180.23	c 1180s |      21 |  1458837 |  1263545 |    25823    121 |        5 |      334
1182.05/1182.44	c 1182s |      21 |  1461433 |  1265845 |    25823    121 |        5 |      334
1184.14/1184.54	c 1184s |      21 |  1463687 |  1267845 |    25823    121 |        5 |      334
1186.24/1186.65	c 1186s |      21 |  1465837 |  1269745 |    25823    121 |        5 |      334
1188.24/1188.68	c 1188s |      21 |  1467492 |  1271245 |    25823    122 |        5 |      334
1190.34/1190.73	c 1190s |      21 |  1469863 |  1273445 |    25823    122 |        5 |      334
1192.34/1192.74	c 1192s |      21 |  1472131 |  1275545 |    25823    122 |        5 |      334
1194.54/1194.92	c 1194s |      21 |  1474134 |  1277345 |    25823    122 |        5 |      334
1196.54/1196.96	c 1196s |      21 |  1476210 |  1279145 |    25823    122 |        5 |      334
1198.64/1199.02	c 1198s |      21 |  1478345 |  1281045 |    25823    122 |        5 |      334
1200.64/1201.05	c 1200s |      21 |  1480332 |  1282745 |    25823    122 |        5 |      334
1202.74/1203.15	c 1202s |      21 |  1481950 |  1284145 |    25823    123 |        5 |      334
1204.83/1205.24	c 1205s |      21 |  1484616 |  1286545 |    25823    123 |        5 |      334
1206.83/1207.29	c 1207s |      21 |  1486784 |  1288545 |    25823    123 |        5 |      334
1208.93/1209.31	c 1209s |      21 |  1488969 |  1290445 |    25823    123 |        5 |      334
1210.93/1211.33	c 1211s |      21 |  1491089 |  1292345 |    25823    123 |        5 |      334
1213.04/1213.42	c 1213s |      21 |  1493337 |  1294345 |    25823    123 |        5 |      334
1215.14/1215.51	c 1215s |      21 |  1495308 |  1296145 |    25823    123 |        5 |      334
1217.13/1217.52	c 1217s |      21 |  1497150 |  1297845 |    25823    124 |        5 |      334
1219.13/1219.58	c 1219s |      21 |  1498988 |  1299545 |    25823    124 |        5 |      334
1221.23/1221.68	c 1221s |      21 |  1501415 |  1301745 |    25823    124 |        5 |      334
1227.73/1228.12	c 1227s |      21 |  1503064 |  1303245 |    25823    124 |        5 |      334
1232.32/1232.70	c 1232s |      21 |  1503310 |  1303445 |    25823    124 |        5 |      334
1234.33/1234.71	c 1234s |      21 |  1505978 |  1305745 |    25823    124 |        5 |      334
1236.32/1236.78	c 1236s |      21 |  1508379 |  1307745 |    25823    124 |        5 |      334
1238.42/1238.83	c 1238s |      21 |  1510668 |  1309745 |    25823    124 |        5 |      334
1240.42/1240.89	c 1240s |      21 |  1512404 |  1311145 |    25823    125 |        5 |      334
1242.52/1242.97	c 1242s |      21 |  1515278 |  1313645 |    25823    125 |        5 |      334
1244.51/1244.98	c 1244s |      21 |  1517958 |  1315945 |    25823    125 |        5 |      334
1246.61/1247.00	c 1246s |      21 |  1520343 |  1318045 |    25823    125 |        5 |      334
1248.61/1249.05	c 1248s |      21 |  1522571 |  1320045 |    25823    125 |        5 |      334
1250.61/1251.08	c 1250s |      21 |  1524593 |  1321845 |    25823    125 |        5 |      334
1252.71/1253.14	c 1252s |      21 |  1526501 |  1323545 |    25823    126 |        5 |      334
1255.41/1255.82	c 1255s |      21 |  1528035 |  1324945 |    25823    126 |        5 |      334
1257.41/1257.84	c 1257s |      21 |  1530959 |  1327445 |    25823    126 |        5 |      334
1259.51/1259.90	c 1259s |      21 |  1533434 |  1329645 |    25823    126 |        5 |      334
1261.51/1261.93	c 1261s |      21 |  1535668 |  1331645 |    25823    126 |        5 |      334
1263.52/1264.00	c 1263s |      21 |  1538211 |  1333845 |    25823    126 |        5 |      334
1265.62/1266.05	c 1265s |      21 |  1540539 |  1335845 |    25823    126 |        5 |      334
1267.82/1268.25	c 1268s |      21 |  1542643 |  1337745 |    25823    127 |        5 |      334
1269.82/1270.27	c 1270s |      21 |  1545022 |  1339745 |    25823    127 |        5 |      334
1271.92/1272.31	c 1272s |      21 |  1547501 |  1341945 |    25823    127 |        5 |      334
1273.92/1274.34	c 1274s |      21 |  1549724 |  1343945 |    25823    127 |        5 |      334
1275.92/1276.36	c 1276s |      21 |  1551700 |  1345745 |    25823    127 |        5 |      334
1278.01/1278.41	c 1278s |      21 |  1553604 |  1347445 |    25823    127 |        5 |      334
1280.02/1280.42	c 1280s |      21 |  1555535 |  1349145 |    25823    127 |        5 |      334
1282.01/1282.49	c 1282s |      21 |  1557590 |  1351045 |    25823    128 |        5 |      334
1284.11/1284.58	c 1284s |      21 |  1559773 |  1353045 |    25823    128 |        5 |      334
1286.21/1286.63	c 1286s |      21 |  1561779 |  1354845 |    25823    128 |        5 |      334
1288.21/1288.67	c 1288s |      21 |  1564032 |  1356845 |    25823    128 |        5 |      334
1290.31/1290.72	c 1290s |      21 |  1566052 |  1358645 |    25823    128 |        5 |      334
1292.31/1292.79	c 1292s |      21 |  1568026 |  1360445 |    25823    128 |        5 |      334
1294.32/1294.80	c 1294s |      21 |  1570011 |  1362145 |    25823    128 |        5 |      334
1296.62/1297.01	c 1296s |      21 |  1570566 |  1362645 |    25823    129 |        5 |      334
1301.30/1301.80	c 1301s |      21 |  1570686 |  1362745 |    25823    129 |        5 |      334
1303.40/1303.81	c 1303s |      21 |  1573797 |  1365445 |    25823    129 |        5 |      334
1305.50/1305.91	c 1305s |      21 |  1576726 |  1368045 |    25823    129 |        5 |      334
1307.51/1307.97	c 1307s |      21 |  1579070 |  1370145 |    25823    129 |        5 |      334
1309.60/1310.00	c 1309s |      21 |  1581169 |  1372045 |    25823    129 |        5 |      334
1311.60/1312.05	c 1311s |      21 |  1583262 |  1373845 |    25823    129 |        5 |      334
1313.90/1314.33	c 1314s |      21 |  1585217 |  1375545 |    25823    130 |        5 |      334
1316.00/1316.42	c 1316s |      21 |  1587483 |  1377545 |    25823    130 |        5 |      334
1318.00/1318.45	c 1318s |      21 |  1589867 |  1379645 |    25823    130 |        5 |      334
1320.00/1320.48	c 1320s |      21 |  1592339 |  1381845 |    25823    130 |        5 |      334
1322.10/1322.56	c 1322s |      21 |  1594163 |  1383445 |    25823    130 |        5 |      334
1324.10/1324.57	c 1324s |      21 |  1596071 |  1385145 |    25823    130 |        5 |      334
1326.20/1326.68	c 1326s |      21 |  1597840 |  1386745 |    25823    130 |        5 |      334
1328.29/1328.77	c 1328s |      21 |  1599610 |  1388345 |    25823    130 |        5 |      334
1330.39/1330.81	c 1330s |      21 |  1600964 |  1389545 |    25823    131 |        5 |      334
1332.39/1332.83	c 1332s |      21 |  1603460 |  1391745 |    25823    131 |        5 |      334
1334.39/1334.88	c 1334s |      21 |  1605533 |  1393645 |    25823    131 |        5 |      334
1336.49/1336.94	c 1336s |      21 |  1607610 |  1395545 |    25823    131 |        5 |      334
1338.49/1338.98	c 1338s |      21 |  1609558 |  1397345 |    25823    131 |        5 |      334
1340.69/1341.10	c 1340s |      21 |  1611105 |  1398745 |    25823    131 |        5 |      334
1342.79/1343.23	c 1343s |      21 |  1612858 |  1400345 |    25823    131 |        5 |      334
1345.09/1345.57	c 1345s |      21 |  1614418 |  1401745 |    25823    132 |        5 |      334
1347.09/1347.58	c 1347s |      21 |  1616565 |  1403645 |    25823    132 |        5 |      334
1349.19/1349.63	c 1349s |      21 |  1618995 |  1405745 |    25823    132 |        5 |      334
1353.19/1353.65	c 1353s |      21 |  1620757 |  1407345 |    25823    132 |        5 |      334
1355.29/1355.76	c 1355s |      21 |  1622790 |  1409145 |    25823    132 |        5 |      334
1357.29/1357.78	c 1357s |      21 |  1624605 |  1410745 |    25823    132 |        5 |      334
1359.30/1359.78	c 1359s |      21 |  1626234 |  1412145 |    25823    132 |        5 |      334
1361.29/1361.78	c 1361s |      21 |  1627875 |  1413645 |    25823    132 |        5 |      334
1363.39/1363.82	c 1363s |      21 |  1629074 |  1414745 |    25823    133 |        5 |      334
1365.39/1365.88	c 1365s |      21 |  1631619 |  1417045 |    25823    133 |        5 |      334
1367.49/1367.98	c 1367s |      21 |  1633889 |  1419045 |    25823    133 |        5 |      334
1369.59/1370.04	c 1369s |      21 |  1636191 |  1421045 |    25823    133 |        5 |      334
1371.69/1372.15	c 1371s |      21 |  1638183 |  1422845 |    25823    133 |        5 |      334
1373.79/1374.26	c 1374s |      21 |  1640163 |  1424645 |    25823    133 |        5 |      334
1375.89/1376.38	c 1376s |      21 |  1641975 |  1426245 |    25823    133 |        5 |      334
1377.99/1378.44	c 1378s |      21 |  1643655 |  1427745 |    25823    133 |        5 |      334
1379.99/1380.49	c 1380s |      21 |  1645285 |  1429245 |    25823    134 |        5 |      334
1382.08/1382.50	c 1382s |      21 |  1647343 |  1431145 |    25823    134 |        5 |      334
1384.69/1385.10	c 1384s |      21 |  1648878 |  1432545 |    25823    134 |        5 |      334
1386.79/1387.24	c 1387s |      21 |  1650848 |  1434345 |    25823    134 |        5 |      334
1388.89/1389.36	c 1389s |      21 |  1652702 |  1436045 |    25823    134 |        5 |      334
1390.98/1391.48	c 1391s |      21 |  1654416 |  1437645 |    25823    134 |        5 |      334
1393.08/1393.58	c 1393s |      21 |  1656046 |  1439145 |    25823    134 |        5 |      334
1395.28/1395.72	c 1395s |      21 |  1657842 |  1440745 |    25823    134 |        5 |      334
1397.48/1397.92	c 1397s |      21 |  1659831 |  1442545 |    25823    135 |        5 |      334
1399.48/1399.96	c 1399s |      21 |  1661791 |  1444345 |    25823    135 |        5 |      334
1401.48/1401.99	c 1401s |      21 |  1663728 |  1446045 |    25823    135 |        5 |      334
1403.58/1404.01	c 1403s |      21 |  1665632 |  1447745 |    25823    135 |        5 |      334
1405.68/1406.12	c 1405s |      21 |  1667462 |  1449445 |    25823    135 |        5 |      334
1407.69/1408.13	c 1407s |      21 |  1669101 |  1450945 |    25823    135 |        5 |      334
1409.68/1410.17	c 1409s |      21 |  1670590 |  1452345 |    25823    135 |        5 |      334
1411.78/1412.26	c 1412s |      21 |  1672178 |  1453845 |    25823    135 |        5 |      334
1413.78/1414.29	c 1414s |      21 |  1673689 |  1455245 |    25823    136 |        5 |      334
1415.78/1416.29	c 1416s |      21 |  1675510 |  1456945 |    25823    136 |        5 |      334
1417.88/1418.34	c 1418s |      21 |  1677216 |  1458545 |    25823    136 |        5 |      334
1419.98/1420.42	c 1420s |      21 |  1678843 |  1460045 |    25823    136 |        5 |      334
1421.98/1422.45	c 1422s |      21 |  1680787 |  1461845 |    25823    136 |        5 |      334
1424.08/1424.59	c 1424s |      21 |  1682595 |  1463545 |    25823    136 |        5 |      334
1426.28/1426.74	c 1426s |      21 |  1684402 |  1465245 |    25823    136 |        5 |      334
1428.37/1428.86	c 1428s |      21 |  1686016 |  1466745 |    25823    136 |        5 |      334
1430.47/1430.90	c 1430s |      21 |  1687736 |  1468345 |    25823    137 |        5 |      334
1438.38/1438.87	c 1438s |      21 |  1688181 |  1468745 |    25823    137 |        5 |      334
1440.77/1441.22	c 1441s |      21 |  1688303 |  1468845 |    25823    137 |        5 |      334
1442.78/1443.24	c 1443s |      21 |  1691110 |  1471245 |    25823    137 |        5 |      334
1444.77/1445.26	c 1445s |      21 |  1693652 |  1473445 |    25823    137 |        5 |      334
1446.87/1447.35	c 1447s |      21 |  1696102 |  1475545 |    25823    137 |        5 |      334
1448.97/1449.47	c 1449s |      21 |  1698124 |  1477345 |    25823    137 |        5 |      334
1451.07/1451.52	c 1451s |      21 |  1700200 |  1479145 |    25823    137 |        5 |      334
1453.07/1453.59	c 1453s |      21 |  1702063 |  1480745 |    25823    138 |        5 |      334
1455.17/1455.68	c 1455s |      21 |  1704512 |  1482945 |    25823    138 |        5 |      334
1457.27/1457.70	c 1457s |      21 |  1706524 |  1484745 |    25823    138 |        5 |      334
1459.28/1459.73	c 1459s |      21 |  1708439 |  1486445 |    25823    138 |        5 |      334
1461.27/1461.79	c 1461s |      21 |  1710191 |  1488045 |    25823    138 |        5 |      334
1463.37/1463.85	c 1463s |      21 |  1711943 |  1489645 |    25823    138 |        5 |      334
1465.37/1465.86	c 1465s |      21 |  1713591 |  1491145 |    28406    138 |        5 |      334
1467.47/1467.92	c 1467s |      21 |  1715192 |  1492545 |    28406    138 |        5 |      334
1469.47/1469.96	c 1469s |      21 |  1716867 |  1494045 |    28406    138 |        5 |      334
1471.57/1472.03	c 1471s |      21 |  1718418 |  1495445 |    28406    138 |        5 |      334
1473.58/1474.05	c 1473s |      21 |  1719940 |  1496745 |    28406    139 |        5 |      334
1475.57/1476.09	c 1475s |      21 |  1722249 |  1498745 |    28406    139 |        5 |      334
1477.67/1478.15	c 1477s |      22 |  1724390 |  1500622 |    28406    139 |        5 |      334
1479.67/1480.15	c 1479s |      22 |  1725711 |  1501722 |    28406    139 |        5 |      334
1481.67/1482.18	c 1481s |      22 |  1727826 |  1503522 |    28406    139 |        5 |      334
1483.77/1484.27	c 1484s |      22 |  1729803 |  1505222 |    28406    139 |        5 |      334
1485.87/1486.39	c 1486s |      22 |  1731775 |  1506922 |    28406    139 |        5 |      334
1487.97/1488.42	c 1488s |      22 |  1733745 |  1508622 |    28406    139 |        5 |      334
1490.07/1490.51	c 1490s |      22 |  1735295 |  1510022 |    28406    140 |        5 |      334
1492.07/1492.55	c 1492s |      22 |  1737015 |  1511522 |    28406    140 |        5 |      334
1494.16/1494.65	c 1494s |      22 |  1738347 |  1512622 |    28406    140 |        5 |      334
1496.26/1496.70	c 1496s |      22 |  1741145 |  1514922 |    28406    140 |        5 |      334
1498.27/1498.79	c 1498s |      22 |  1743530 |  1517022 |    28406    140 |        5 |      334
1500.36/1500.81	c 1500s |      22 |  1745542 |  1518722 |    28406    140 |        5 |      334
1502.36/1502.85	c 1502s |      22 |  1747415 |  1520322 |    28406    140 |        5 |      334
1504.37/1504.90	c 1504s |      22 |  1749233 |  1521922 |    28406    140 |        5 |      334
1506.46/1506.94	c 1506s |      22 |  1751143 |  1523522 |    28406    140 |        5 |      334
1508.96/1509.42	c 1509s |      22 |  1752632 |  1524822 |    28406    141 |        5 |      334
1510.97/1511.43	c 1511s |      22 |  1754854 |  1526722 |    28406    141 |        5 |      334
1512.96/1513.49	c 1513s |      22 |  1757052 |  1528622 |    28406    141 |        5 |      334
1515.06/1515.52	c 1515s |      22 |  1759373 |  1530622 |    28406    141 |        5 |      334
1517.16/1517.60	c 1517s |      22 |  1761397 |  1532422 |    28406    141 |        5 |      334
1519.16/1519.68	c 1519s |      22 |  1763244 |  1534022 |    28406    141 |        5 |      334
1521.26/1521.73	c 1521s |      22 |  1765042 |  1535622 |    28406    141 |        5 |      334
1523.36/1523.86	c 1523s |      22 |  1766558 |  1537022 |    28406    141 |        5 |      334
1525.46/1525.95	c 1525s |      22 |  1768239 |  1538522 |    28406    141 |        5 |      334
1527.66/1528.18	c 1527s |      22 |  1769892 |  1540022 |    28406    142 |        5 |      334
1529.67/1530.20	c 1529s |      22 |  1771736 |  1541722 |    28406    142 |        5 |      334
1532.76/1533.23	c 1533s |      22 |  1772063 |  1542022 |    28406    142 |        5 |      334
1534.76/1535.28	c 1535s |      22 |  1774502 |  1544122 |    28406    142 |        5 |      334
1536.86/1537.38	c 1537s |      22 |  1776751 |  1546022 |    28406    142 |        5 |      334
1538.96/1539.47	c 1539s |      22 |  1778679 |  1547722 |    28406    142 |        5 |      334
1541.05/1541.51	c 1541s |      22 |  1780502 |  1549322 |    28406    142 |        5 |      334
1543.06/1543.55	c 1543s |      22 |  1782406 |  1550922 |    28406    142 |        5 |      334
1545.16/1545.62	c 1545s |      22 |  1783974 |  1552322 |    28406    142 |        5 |      334
1547.27/1547.71	c 1547s |      22 |  1785421 |  1553622 |    28406    143 |        5 |      334
1549.26/1549.76	c 1549s |      22 |  1787559 |  1555522 |    28406    143 |        5 |      334
1551.26/1551.78	c 1551s |      22 |  1789666 |  1557422 |    28406    143 |        5 |      334
1553.36/1553.81	c 1553s |      22 |  1791572 |  1559122 |    28406    143 |        5 |      334
1555.36/1555.84	c 1555s |      22 |  1792879 |  1560322 |    28406    143 |        5 |      334
1557.36/1557.86	c 1557s |      22 |  1794580 |  1561822 |    28406    143 |        5 |      334
1559.37/1559.89	c 1559s |      22 |  1796374 |  1563422 |    28406    143 |        5 |      334
1561.46/1561.96	c 1561s |      22 |  1798071 |  1564922 |    28406    143 |        5 |      334
1563.56/1564.00	c 1563s |      22 |  1799755 |  1566422 |    28406    143 |        5 |      334
1565.66/1566.19	c 1565s |      22 |  1801035 |  1567622 |    28406    144 |        5 |      334
1567.76/1568.23	c 1568s |      22 |  1803147 |  1569522 |    28406    144 |        5 |      334
1569.76/1570.24	c 1570s |      22 |  1805188 |  1571322 |    28406    144 |        5 |      334
1571.86/1572.31	c 1572s |      22 |  1807165 |  1573122 |    28406    144 |        5 |      334
1573.96/1574.43	c 1574s |      22 |  1808892 |  1574722 |    28406    144 |        5 |      334
1576.06/1576.52	c 1576s |      22 |  1810362 |  1576022 |    28406    144 |        5 |      334
1578.06/1578.56	c 1578s |      22 |  1811953 |  1577422 |    28406    144 |        5 |      334
1580.15/1580.61	c 1580s |      22 |  1813498 |  1578822 |    28406    144 |        5 |      334
1582.15/1582.61	c 1582s |      22 |  1815045 |  1580222 |    28406    144 |        5 |      334
1584.15/1584.66	c 1584s |      22 |  1816713 |  1581722 |    28406    144 |        5 |      334
1586.15/1586.67	c 1586s |      22 |  1818055 |  1582922 |    28406    145 |        5 |      334
1588.25/1588.74	c 1588s |      22 |  1819951 |  1584622 |    28406    145 |        5 |      334
1590.26/1590.78	c 1590s |      22 |  1822149 |  1586522 |    28406    145 |        5 |      334
1592.85/1593.35	c 1593s |      22 |  1822394 |  1586722 |    28406    145 |        5 |      334
1595.26/1595.78	c 1595s |      22 |  1822733 |  1587022 |    28406    145 |        5 |      334
1597.36/1597.80	c 1597s |      22 |  1825035 |  1588922 |    28406    145 |        5 |      334
1599.35/1599.87	c 1599s |      22 |  1827343 |  1590822 |    28406    145 |        5 |      334
1601.45/1601.91	c 1601s |      22 |  1829444 |  1592522 |    28406    145 |        5 |      334
1603.46/1603.92	c 1603s |      22 |  1831486 |  1594222 |    28406    145 |        5 |      334
1605.66/1606.18	c 1605s |      22 |  1833851 |  1596122 |    28406    146 |        5 |      334
1607.76/1608.23	c 1608s |      22 |  1836268 |  1598122 |    28406    146 |        5 |      334
1609.75/1610.26	c 1610s |      22 |  1839158 |  1600522 |    28406    146 |        5 |      334
1611.85/1612.33	c 1612s |      22 |  1841695 |  1602722 |    28406    146 |        5 |      334
1614.55/1615.00	c 1614s |      22 |  1843967 |  1604622 |    28406    146 |        5 |      334
1616.56/1617.06	c 1616s |      22 |  1845911 |  1606222 |    28406    146 |        5 |      334
1618.55/1619.07	c 1618s |      22 |  1848044 |  1607922 |    28406    146 |        5 |      334
1620.65/1621.11	c 1620s |      22 |  1850063 |  1609622 |    28406    146 |        5 |      334
1622.65/1623.18	c 1622s |      22 |  1851409 |  1610722 |    28406    147 |        5 |      334
1624.75/1625.21	c 1625s |      22 |  1854459 |  1613222 |    28406    147 |        5 |      334
1626.75/1627.22	c 1627s |      22 |  1857043 |  1615422 |    28406    147 |        5 |      334
1628.75/1629.28	c 1629s |      22 |  1859460 |  1617522 |    28406    147 |        5 |      334
1630.85/1631.38	c 1631s |      22 |  1861815 |  1619622 |    28406    147 |        5 |      334
1632.95/1633.42	c 1633s |      22 |  1863661 |  1621222 |    28406    147 |        5 |      334
1635.05/1635.51	c 1635s |      22 |  1865787 |  1623022 |    28406    147 |        5 |      334
1637.55/1638.02	c 1637s |      22 |  1868012 |  1624922 |    28406    148 |        5 |      334
1639.54/1640.05	c 1639s |      22 |  1870247 |  1626822 |    28406    148 |        5 |      334
1641.64/1642.11	c 1641s |      22 |  1872844 |  1629122 |    28406    148 |        5 |      334
1643.74/1644.20	c 1643s |      22 |  1875375 |  1631322 |    28406    148 |        5 |      334
1645.84/1646.32	c 1646s |      22 |  1877511 |  1633222 |    28406    148 |        5 |      334
1647.94/1648.44	c 1648s |      22 |  1879826 |  1635222 |    28406    148 |        5 |      334
1651.44/1651.98	c 1651s |      22 |  1880263 |  1635622 |    28406    148 |        5 |      334
1653.54/1654.01	c 1653s |      22 |  1881236 |  1636422 |    28406    148 |        5 |      334
1655.54/1656.04	c 1655s |      22 |  1883547 |  1638322 |    28406    148 |        5 |      334
1658.64/1659.12	c 1658s |      22 |  1884834 |  1639422 |    28406    149 |        5 |      334
1660.64/1661.18	c 1660s |      22 |  1887722 |  1641922 |    28406    149 |        5 |      334
1662.74/1663.21	c 1663s |      22 |  1890268 |  1644122 |    28406    149 |        5 |      334
1664.74/1665.24	c 1665s |      22 |  1892424 |  1646022 |    28406    149 |        5 |      334
1666.74/1667.24	c 1667s |      22 |  1894537 |  1647922 |    28406    149 |        5 |      334
1668.84/1669.34	c 1669s |      22 |  1896603 |  1649722 |    28406    149 |        5 |      334
1670.84/1671.34	c 1671s |      22 |  1898261 |  1651222 |    28406    149 |        5 |      334
1672.93/1673.49	c 1673s |      22 |  1900058 |  1652822 |    28406    149 |        5 |      334
1675.04/1675.52	c 1675s |      22 |  1901748 |  1654222 |    28406    150 |        5 |      334
1677.04/1677.55	c 1677s |      22 |  1904045 |  1656222 |    28406    150 |        5 |      334
1679.14/1679.63	c 1679s |      22 |  1906052 |  1658022 |    28406    150 |        5 |      334
1681.84/1682.31	c 1682s |      22 |  1907481 |  1659322 |    28406    150 |        5 |      334
1683.84/1684.34	c 1684s |      22 |  1909466 |  1661122 |    28406    150 |        5 |      334
1685.95/1686.45	c 1686s |      22 |  1911373 |  1662822 |    28406    150 |        5 |      334
1687.94/1688.47	c 1688s |      22 |  1913166 |  1664422 |    28406    150 |        5 |      334
1689.94/1690.48	c 1690s |      22 |  1914885 |  1665922 |    28406    150 |        5 |      334
1692.04/1692.58	c 1692s |      22 |  1916709 |  1667522 |    28406    150 |        5 |      334
1694.14/1694.61	c 1694s |      22 |  1918093 |  1668822 |    28406    151 |        5 |      334
1696.14/1696.63	c 1696s |      22 |  1919938 |  1670522 |    28406    151 |        5 |      334
1698.14/1698.65	c 1698s |      22 |  1921908 |  1672322 |    28406    151 |        5 |      334
1700.14/1700.66	c 1700s |      22 |  1923735 |  1674022 |    28406    151 |        5 |      334
1702.14/1702.66	c 1702s |      22 |  1925470 |  1675622 |    28406    151 |        5 |      334
1704.24/1704.75	c 1704s |      22 |  1927255 |  1677122 |    28406    151 |        5 |      334
1706.23/1706.78	c 1706s |      22 |  1929189 |  1678822 |    28406    151 |        5 |      334
1708.33/1708.85	c 1708s |      22 |  1930764 |  1680222 |    28406    151 |        5 |      334
1710.53/1711.01	c 1710s |      22 |  1932360 |  1681622 |    28406    151 |        5 |      334
1712.63/1713.17	c 1712s |      22 |  1933558 |  1682622 |    28406    152 |        5 |      334
1714.63/1715.19	c 1714s |      22 |  1935578 |  1684422 |    28406    152 |        5 |      334
1716.74/1717.23	c 1717s |      22 |  1937454 |  1686122 |    28406    152 |        5 |      334
1719.23/1719.70	c 1719s |      22 |  1938458 |  1687022 |    28406    152 |        5 |      334
1721.23/1721.74	c 1721s |      22 |  1940799 |  1689022 |    28406    152 |        5 |      334
1723.34/1723.81	c 1723s |      22 |  1942456 |  1690522 |    28406    152 |        5 |      334
1725.33/1725.86	c 1725s |      22 |  1944239 |  1692122 |    28406    152 |        5 |      334
1727.43/1727.94	c 1727s |      22 |  1946088 |  1693722 |    28406    152 |        5 |      334
1729.43/1729.98	c 1729s |      22 |  1947775 |  1695222 |    28406    152 |        5 |      334
1731.93/1732.40	c 1732s |      22 |  1949343 |  1696622 |    28406    153 |        5 |      334
1733.93/1734.49	c 1734s |      22 |  1951579 |  1698622 |    28406    153 |        5 |      334
1735.93/1736.49	c 1736s |      22 |  1953582 |  1700422 |    28406    153 |        5 |      334
1738.03/1738.59	c 1738s |      22 |  1955554 |  1702222 |    28406    153 |        5 |      334
1740.84/1741.39	c 1741s |      22 |  1956738 |  1703322 |    28406    153 |        5 |      334
1743.04/1743.51	c 1743s |      22 |  1958594 |  1704822 |    28406    153 |        5 |      334
1745.03/1745.53	c 1745s |      22 |  1960301 |  1706322 |    28406    153 |        5 |      334
1747.03/1747.59	c 1747s |      22 |  1962036 |  1707822 |    28406    153 |        5 |      334
1749.43/1749.94	c 1749s |      22 |  1962912 |  1708522 |    28406    153 |        5 |      334
1751.43/1751.98	c 1751s |      22 |  1964933 |  1710122 |    28406    153 |        5 |      334
1753.83/1754.36	c 1754s |      22 |  1965940 |  1711022 |    28406    154 |        5 |      334
1755.83/1756.37	c 1756s |      22 |  1968719 |  1713322 |    28406    154 |        5 |      334
1757.93/1758.42	c 1758s |      22 |  1971213 |  1715422 |    28406    154 |        5 |      334
1760.03/1760.56	c 1760s |      22 |  1973316 |  1717222 |    28406    154 |        5 |      334
1762.13/1762.65	c 1762s |      22 |  1975373 |  1718922 |    28406    154 |        5 |      334
1764.13/1764.69	c 1764s |      22 |  1977488 |  1720722 |    28406    154 |        5 |      334
1766.23/1766.78	c 1766s |      22 |  1979749 |  1722622 |    28406    154 |        5 |      334
1768.23/1768.79	c 1768s |      22 |  1981619 |  1724222 |    28406    154 |        5 |      334
1770.33/1770.85	c 1770s |      22 |  1982853 |  1725322 |    28406    155 |        5 |      334
1772.43/1772.90	c 1772s |      22 |  1985267 |  1727522 |    28406    155 |        5 |      334
1774.42/1774.95	c 1774s |      22 |  1986635 |  1728722 |    28406    155 |        5 |      334
1776.42/1776.99	c 1776s |      22 |  1988913 |  1730622 |    28406    155 |        5 |      334
1778.52/1779.05	c 1778s |      22 |  1991103 |  1732522 |    28406    155 |        5 |      334
1780.53/1781.09	c 1780s |      22 |  1993239 |  1734422 |    28406    155 |        5 |      334
1782.63/1783.10	c 1782s |      22 |  1995138 |  1736122 |    28406    155 |        5 |      334
1784.62/1785.12	c 1784s |      22 |  1997100 |  1737822 |    28406    155 |        5 |      334
1786.72/1787.24	c 1787s |      22 |  1998885 |  1739422 |    28406    155 |        5 |      334
1788.72/1789.29	c 1789s |      22 |  2000300 |  1740722 |    28406    156 |        5 |      334
1790.82/1791.31	c 1791s |      22 |  2003002 |  1743022 |    28406    156 |        5 |      334
1792.82/1793.35	c 1793s |      22 |  2005307 |  1745022 |    28406    156 |        5 |      334
1794.83/1795.36	c 1795s |      22 |  2007226 |  1746722 |    28406    156 |        5 |      334
1796.93/1797.43	c 1797s |      22 |  2009080 |  1748322 |    28406    156 |        5 |      334
1799.02/1799.56	c 1799s |      22 |  2010707 |  1749822 |    28406    156 |        5 |      334

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.16 2.17 3/179 31990
/proc/meminfo: memFree=29506992/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 2611 0 0 0 0 0 0 0 20 0 4 0 13714006 718729216 2973 33554432000 4194304 16246674 140733817687568 140733817670560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 175983 2983 441 2943 0 172877 0
[pid=31990/tid=31991] ppid=31987 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 737603584 3044 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 741797888 3061 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13714007 745992192 3077 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.13 2.16 2.17 3/179 31990
/proc/meminfo: memFree=29506992/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 25191 0 0 0 6 3 0 0 20 0 4 0 13714006 1250496512 25491 33554432000 4194304 16246674 140733817687568 140733817686880 12457395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 305297 25501 833 2943 0 302191 0
[pid=31990/tid=31991] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 25508 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 25514 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 25521 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200523 s]
/proc/loadavg: 2.13 2.16 2.17 3/179 31990
/proc/meminfo: memFree=29506992/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 43758 0 0 0 13 6 0 0 20 0 4 0 13714006 1250496512 44057 33554432000 4194304 16246674 140733817687568 140733817686880 12855560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 305297 44068 834 2943 0 302191 0
[pid=31990/tid=31991] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 44073 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 44079 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 44084 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300517 s]
/proc/loadavg: 2.13 2.16 2.17 3/179 31990
/proc/meminfo: memFree=29506992/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 65187 0 0 0 19 10 0 0 20 0 4 0 13714006 1250496512 65487 33554432000 4194304 16246674 140733817687568 140733817686880 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 305297 65503 876 2943 0 302191 0
[pid=31990/tid=31991] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 65512 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 65516 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 65522 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700411 s]
/proc/loadavg: 2.13 2.16 2.17 3/179 31990
/proc/meminfo: memFree=29506992/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 152091 0 0 0 47 22 0 0 20 0 4 0 13714006 1250496512 152391 33554432000 4194304 16246674 140733817687568 140733817670560 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 305297 152408 876 2943 0 302191 0
[pid=31990/tid=31991] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 152417 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 152428 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13714007 1250496512 152437 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 31994
/proc/meminfo: memFree=28571208/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1299012 CPUtime=1.49 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 265921 0 0 0 112 37 0 0 20 0 4 0 13714006 1330188288 266220 33554432000 4194304 16246674 140733817687568 140733817686880 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 324753 266220 880 2943 0 321647 0
[pid=31990/tid=31991] ppid=31987 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1330188288 266220 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1330188288 266220 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1330188288 266220 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1299012

[startup+3.10043 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 31994
/proc/meminfo: memFree=28434932/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 267878 0 0 0 271 37 0 0 20 0 4 0 13714006 1338576896 268177 33554432000 4194304 16246674 140733817687568 140733817669440 5823355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 326801 268177 880 2943 0 323695 0
[pid=31990/tid=31991] ppid=31987 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1338576896 268177 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1338576896 268177 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1338576896 268177 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.20 2.18 2.17 3/183 31994
/proc/meminfo: memFree=28434080/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1308228 CPUtime=6.28 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 268077 0 0 0 591 37 0 0 20 0 4 0 13714006 1339625472 268376 33554432000 4194304 16246674 140733817687568 140733817669440 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 327057 268376 886 2943 0 323951 0
[pid=31990/tid=31991] ppid=31987 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1339625472 268376 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1339625472 268376 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1339625472 268376 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.19 2.17 2.17 3/183 31994
/proc/meminfo: memFree=28429796/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1339972 CPUtime=12.69 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 275995 0 0 0 1230 39 0 0 20 0 4 0 13714006 1372131328 276294 33554432000 4194304 16246674 140733817687568 140733817669440 5823435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 334993 276294 887 2943 0 331887 0
[pid=31990/tid=31991] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276294 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276294 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276294 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1339972

[startup+25.5005 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 31994
/proc/meminfo: memFree=28401500/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1339972 CPUtime=25.49 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 276178 0 0 0 2510 39 0 0 20 0 4 0 13714006 1372131328 276477 33554432000 4194304 16246674 140733817687568 140733817669440 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 334993 276477 887 2943 0 331887 0
[pid=31990/tid=31991] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276477 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276477 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276477 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1339972

[startup+51.1005 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 31994
/proc/meminfo: memFree=28396268/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1339972 CPUtime=51.08 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 276178 0 0 0 5069 39 0 0 20 0 4 0 13714006 1372131328 276477 33554432000 4194304 16246674 140733817687568 140733817669440 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 334993 276477 887 2943 0 331887 0
[pid=31990/tid=31991] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276477 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276477 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1372131328 276477 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1339972

[startup+102.301 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 31995
/proc/meminfo: memFree=28390080/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1346116 CPUtime=102.28 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 277714 0 0 0 10187 41 0 0 20 0 4 0 13714006 1378422784 278013 33554432000 4194304 16246674 140733817687568 140733817669440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 336529 278013 887 2943 0 333423 0
[pid=31990/tid=31991] ppid=31987 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1378422784 278013 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1378422784 278013 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1378422784 278013 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1346116


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

/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1424964

[startup+1362.3 s]
/proc/loadavg: 2.29 2.21 2.18 3/184 32322
/proc/meminfo: memFree=28280660/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1361.89 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297749 0 0 0 136128 61 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1424964

[startup+1422.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/184 32347
/proc/meminfo: memFree=28280832/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1421.88 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 142127 61 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1424964

[startup+1482.3 s]
/proc/loadavg: 2.38 2.26 2.20 3/183 32348
/proc/meminfo: memFree=28280084/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1481.87 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 148124 63 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1424964

[startup+1542.31 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 32349
/proc/meminfo: memFree=28271772/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1541.86 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 154123 63 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1424964

[startup+1602.3 s]
/proc/loadavg: 2.26 2.25 2.20 3/183 32350
/proc/meminfo: memFree=28271516/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1601.85 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 160120 65 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5677784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1424964

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 32351
/proc/meminfo: memFree=28251096/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1661.84 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 166119 65 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1424964

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 32353
/proc/meminfo: memFree=28250836/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1721.83 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 172117 66 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5823182 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1424964

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/183 32354
/proc/meminfo: memFree=28250464/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1781.82 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 178115 67 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1424964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 32354
/proc/meminfo: memFree=28250932/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1800.02 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 179935 67 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5673657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1424964

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 32354
/proc/meminfo: memFree=28250932/32872528 swapFree=1190796/1305260
[pid=31990] ppid=31987 vsize=1424964 CPUtime=1800.02 cores=1,3,5,7
/proc/31990/stat : 31990 (toysat) R 31987 31990 29204 0 -1 4202496 297751 0 0 0 179935 67 0 0 20 0 4 0 13714006 1459163136 297982 33554432000 4194304 16246674 140733817687568 140733817669440 5673657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31990/statm: 356241 297982 888 2943 0 353135 0
[pid=31990/tid=31991] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31991/stat : 31991 (toysat) S 31987 31990 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633349008624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31990/tid=31992] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31992/stat : 31992 (toysat) S 31987 31990 29204 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633268268272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31990/tid=31993] ppid=31987 vsize=1424964 CPUtime=0 cores=1,3,5,7
/proc/31990/task/31993/stat : 31993 (toysat) S 31987 31990 29204 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13714007 1459163136 297982 33554432000 4194304 16246674 140733817687568 140633257794736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1424964

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.673897
maximum resident set size= 1191928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297751
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= 339
involuntary context switches= 2416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4283 second user time and 13.403 second system time

The end

Begin job on node127 at 2016-06-17 00:37:54
IDJOB=4097226
IDBENCH=107727
IDSOLVER=2542
FILE ID=node127/4097226-1466116674
RUNJOBID= node127-1466112960-31002
PBS_JOBID= 19904036
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= c141603a78a4e892ff86e9edd55bca94
RANDOM SEED=1583947467

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29507520 kB
Buffers:           62808 kB
Cached:           170008 kB
SwapCached:        34656 kB
Active:          1199332 kB
Inactive:         150756 kB
Active(anon):    1083788 kB
Inactive(anon):    35592 kB
Active(file):     115544 kB
Inactive(file):   115164 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       2392852 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             571004 kB
SReclaimable:      15308 kB
SUnreclaim:       555696 kB
KernelStack:        1520 kB
PageTables:         8340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2535364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node127 at 2016-06-17 01:07:54