0.00/0.00	c 2016-06-18T07:31:23+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-4101889-1466227883.opb"]
0.00/0.01	c use --random-gen="4214300687 933200811 1402266365 3557043967 443241778 3862493171 2201006498 4085105986 780079816 3154471453 2507423603 117695414 4189279889 2509914821 2791835858 2087260198 2741845296 1561353202 549638442 2760019422 4138827605 2396863864 44304764 1125209622 1010231220 1094288187 2016233180 2458044250 1875160526 2861255807 366925784 2989094382 445943677 1175937431 2148123409 1634650668 3110834465 390789957 4063254689 2123056403 250017745 1684280406 2167239750 3716572803 3212280395 970200389 1911781605 1472768719 3031796986 2355571784 3648449608 3090574836 2972703165 1167283054 1732285542 828271973 4024421046 3903974308 3582471064 919700873 4106903335 1066693843 3769139840 258702667 1744722688 262160288 1847673502 4112830287 109657828 3009586282 1002646820 2517222534 2736371814 3792868826 2810868554 2929260316 840413091 467672268 1448498507 2700055891 3666781119 930976800 1256513881 1933775275 1368640262 366958246 2269552270 2146453310 2416785150 746925610 3738068661 2307013764 3907005679 1662337152 2853332615 2310467705 704692796 596486979 883271690 622383674 1093035465 1374810571 3307353456 1856745424 3839741086 1715949751 2349118200 1177349353 2432349172 3745433409 4090275635 3190594956 2012474854 3016814717 3350878370 1256473877 3696959951 173425051 777942461 659944484 435963981 3864504268 1452011672 3065310081 320655404 797445777 450255437 855559154 2820080104 2372299835 1115051376 3772307321 1177482999 307279265 1645055002 829625882 2922383695 2957965185 2889886028 336644215 1933866295 3947751684 2473474295 2715774966 3323556830 171766268 6336212 2499116666 3539145332 2108244692 288993440 299278639 127917609 2807096205 384328422 4273564478 4261022050 47900841 4060208874 453777498 3003694216 4252981270 2059321061 956435433 642334077 2584814221 2644015246 764133521 446963363 1049403474 3570295921 826344642 4047904545 694215918 3177235984 908749371 1062249221 1922566375 3275297875 2736789871 378963861 3107229880 883201533 1480217592 3969621802 900984460 3555834802 4276959044 806807157 1056304321 3370032010 1371236246 3554178 2614627787 1171436835 2674560626 2411958162 2601837878 3821214839 1314375286 3532020771 1241916121 2240938881 751036161 1862162858 2705328899 1402730461 2798148428 1053671730 474514318 4218325943 2587261239 448709820 1424983738 316270988 3786868640 2945706372 2384355043 2175556586 4047840506 4292855529 3081974418 1682169955 1525448397 627462759 2077666589 139983426 3698448096 1340359683 1304214564 2028546135 1723590810 1040929644 2398087680 830992833 1776534049 4160560255 184459524 2739587702 3377105370 1417456158 4119585495 3284729903 2909684326 2912947246 1294417980 2888843264 4154431163 349570311 3407708014 2651596157 686197658 398564555 196226613 3500450352 385445417 255 362436" option to reproduce the execution
0.00/0.05	c #vars 5344
0.00/0.05	c #constraints 136
0.29/0.37	c BCD2: Hardening is enabled.
0.29/0.37	c BCD2: BiasedSearch is enabled.
0.29/0.37	c Solving starts ...
0.29/0.37	c ============================[ Search Statistics ]============================
0.29/0.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.37	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.37	c =============================================================================
0.29/0.37	c  0.0s |       0 |        0 |        0 |     1848      0 |      744 |        0
0.39/0.46	c  0.1s |       1 |     2769 |      100 |     1848      0 |      744 |        0
0.49/0.56	c  0.2s |       2 |     4132 |      250 |     2033      0 |      744 |        0
0.69/0.77	c  0.4s |       3 |     6529 |      475 |     2237      0 |      744 |        0
0.88/0.92	c  0.5s |       4 |     9346 |      813 |     2461      0 |      744 |        0
1.20/1.29	c  0.9s |       5 |    13362 |     1320 |     2708      0 |      744 |        0
1.59/1.68	c  1.3s |       6 |    15087 |     2081 |     3277      0 |      744 |        0
2.09/2.10	c  1.7s |       7 |    17438 |     3223 |     3605      0 |      744 |        0
2.58/2.60	c  2.2s |       8 |    19218 |     4936 |     3966      1 |      744 |        0
3.29/3.34	c  3.0s |       9 |    21867 |     7506 |     4363      2 |      744 |        0
4.69/4.71	c  4.3s |      10 |    25801 |    11361 |     4800      3 |      744 |        0
6.70/6.77	c  6.4s |      10 |    31388 |    16861 |     4800      5 |      744 |        0
6.79/6.86	c  6.5s |      11 |    31673 |    17144 |     5280      5 |      744 |        0
8.80/8.87	c  8.5s |      11 |    37767 |    23144 |     5280      7 |      744 |        0
9.90/9.92	c  9.5s |      12 |    40457 |    25819 |     5809      8 |      744 |        0
11.89/11.92	c 11.5s |      12 |    45839 |    31119 |     5809      9 |      744 |        0
13.89/13.94	c 13.6s |      12 |    50681 |    35919 |     5809     11 |      744 |        0
14.89/14.99	c 14.6s |      13 |    53608 |    38832 |     6390     11 |      744 |        0
16.99/17.00	c 16.6s |      13 |    58382 |    43532 |     6390     13 |      744 |        0
18.99/19.03	c 18.7s |      13 |    63719 |    48832 |     6390     14 |      744 |        0
20.99/21.04	c 20.7s |      13 |    67939 |    53032 |     6390     15 |      744 |        0
22.99/23.05	c 22.7s |      13 |    72469 |    57532 |     6390     17 |      744 |        0
23.29/23.33	c 23.0s |      14 |    73288 |    58352 |     7030     17 |      744 |        0
25.29/25.36	c 25.0s |      14 |    77869 |    62852 |     7030     18 |      744 |        0
27.28/27.38	c 27.0s |      14 |    82405 |    67352 |     7030     19 |      744 |        0
29.58/29.61	c 29.2s |      14 |    86940 |    71852 |     7030     20 |      744 |        0
31.58/31.63	c 31.3s |      14 |    91358 |    76252 |     7030     21 |      744 |        0
33.58/33.68	c 33.3s |      14 |    95777 |    80652 |     7030     22 |      744 |        0
35.68/35.72	c 35.4s |      14 |    99802 |    84652 |     7030     23 |      744 |        0
36.98/37.05	c 36.7s |      15 |   102803 |    87632 |     7734     24 |      744 |        0
38.98/39.09	c 38.7s |      15 |   106569 |    91332 |     7734     25 |      744 |        0
41.08/41.13	c 40.8s |      15 |   110689 |    95432 |     7734     26 |      744 |        0
43.08/43.15	c 42.8s |      15 |   114806 |    99532 |     7734     27 |      744 |        0
45.09/45.16	c 44.8s |      15 |   118933 |   103632 |     7734     28 |      744 |        0
47.08/47.18	c 46.8s |      15 |   122551 |   107232 |     7734     29 |      744 |        0
49.18/49.21	c 48.8s |      15 |   126667 |   111332 |     7734     30 |      744 |        0
51.18/51.26	c 50.9s |      15 |   130906 |   115532 |     7734     31 |      744 |        0
53.28/53.30	c 52.9s |      15 |   135624 |   120232 |     7734     32 |      744 |        0
55.28/55.36	c 55.0s |      15 |   139442 |   124032 |     7734     33 |      744 |        0
57.38/57.43	c 57.1s |      15 |   143062 |   127632 |     7734     33 |      744 |        0
59.28/59.31	c 58.9s |      16 |   147008 |   131552 |     8508     34 |      744 |        0
61.58/61.67	c 61.3s |      16 |   149973 |   134452 |     8508     35 |      744 |        0
63.57/63.68	c 63.3s |      16 |   153584 |   138052 |     8508     36 |      744 |        0
65.67/65.72	c 65.3s |      16 |   158199 |   142652 |     8508     36 |      744 |        0
67.67/67.73	c 67.4s |      16 |   162665 |   147052 |     8508     37 |      744 |        0
69.88/69.96	c 69.6s |      16 |   166584 |   150952 |     8508     38 |      744 |        0
71.88/71.98	c 71.6s |      16 |   171217 |   155552 |     8508     39 |      744 |        0
73.98/74.01	c 73.6s |      16 |   176342 |   160652 |     8508     40 |      744 |        0
75.98/76.04	c 75.7s |      16 |   179463 |   163752 |     8508     41 |      744 |        0
77.98/78.05	c 77.7s |      16 |   184086 |   168352 |     8508     42 |      744 |        0
79.98/80.06	c 79.7s |      16 |   189021 |   173252 |     8508     43 |      744 |        0
82.08/82.15	c 81.8s |      16 |   192550 |   176752 |     8508     44 |      744 |        0
84.08/84.16	c 83.8s |      16 |   196176 |   180352 |     8508     45 |      744 |        0
86.07/86.16	c 85.8s |      16 |   200906 |   185052 |     8508     46 |      744 |        0
88.08/88.19	c 87.8s |      16 |   204636 |   188752 |     8508     46 |      744 |        0
90.18/90.26	c 89.9s |      16 |   208653 |   192752 |     8508     47 |      744 |        0
92.17/92.29	c 91.9s |      16 |   211670 |   195752 |     8508     48 |      744 |        0
92.87/92.99	c 92.6s |      17 |   213359 |   197432 |     9359     48 |      744 |        0
95.07/95.12	c 94.7s |      17 |   215627 |   199632 |     9359     49 |      744 |        0
97.07/97.14	c 96.8s |      17 |   219558 |   203532 |     9359     49 |      744 |        0
99.07/99.18	c 98.8s |      17 |   223477 |   207432 |     9359     50 |      744 |        0
101.17/101.22	c  100s |      17 |   226186 |   210132 |     9359     51 |      744 |        0
103.17/103.26	c  102s |      17 |   230302 |   214232 |     9359     51 |      744 |        0
105.17/105.27	c  104s |      17 |   234330 |   218232 |     9359     52 |      744 |        0
107.17/107.28	c  106s |      17 |   238452 |   222332 |     9359     53 |      744 |        0
109.17/109.29	c  108s |      17 |   241760 |   225632 |     9359     54 |      744 |        0
111.27/111.32	c  110s |      17 |   244488 |   228332 |     9359     54 |      744 |        0
113.77/113.88	c  113s |      17 |   248103 |   231932 |     9359     55 |      744 |        0
115.77/115.89	c  115s |      17 |   251733 |   235532 |     9359     56 |      744 |        0
117.87/117.94	c  117s |      17 |   255566 |   239332 |     9359     56 |      744 |        0
119.88/119.99	c  119s |      17 |   257487 |   241232 |     9359     57 |      744 |        0
121.97/122.00	c  121s |      17 |   261496 |   245232 |     9359     57 |      744 |        0
123.97/124.01	c  123s |      17 |   265510 |   249232 |     9359     58 |      744 |        0
125.97/126.03	c  125s |      17 |   269228 |   252932 |     9359     59 |      744 |        0
127.97/128.06	c  127s |      17 |   273342 |   257032 |     9359     60 |      744 |        0
129.97/130.06	c  129s |      17 |   276360 |   260032 |     9359     60 |      744 |        0
132.07/132.11	c  131s |      17 |   280480 |   264132 |     9359     61 |      744 |        0
134.07/134.11	c  133s |      17 |   284704 |   268332 |     9359     62 |      744 |        0
136.96/137.01	c  136s |      17 |   288024 |   271632 |     9359     63 |      744 |        0
138.96/139.02	c  138s |      17 |   293151 |   276732 |     9359     64 |      744 |        0
140.96/141.03	c  140s |      17 |   297180 |   280732 |     9359     64 |      744 |        0
142.97/143.05	c  142s |      17 |   300600 |   284132 |     9359     65 |      744 |        0
144.96/145.07	c  144s |      17 |   304928 |   288432 |     9359     66 |      744 |        0
146.96/147.08	c  146s |      17 |   307838 |   291332 |     9359     67 |      744 |        0
149.07/149.12	c  148s |      17 |   312362 |   295832 |    10295     67 |      744 |        0
149.27/149.38	c  149s |      18 |   312781 |   296252 |    10295     67 |      744 |        0
151.37/151.42	c  151s |      18 |   316860 |   300252 |    10295     68 |      744 |        0
153.57/153.60	c  153s |      18 |   320275 |   303652 |    10295     69 |      744 |        0
155.57/155.64	c  155s |      18 |   324294 |   307652 |    10295     69 |      744 |        0
157.67/157.70	c  157s |      18 |   328128 |   311452 |    10295     70 |      744 |        0
159.67/159.74	c  159s |      18 |   331753 |   315052 |    10295     71 |      744 |        0
161.67/161.77	c  161s |      18 |   336164 |   319452 |    10295     71 |      744 |        0
163.77/163.82	c  163s |      18 |   339785 |   323052 |    10295     72 |      744 |        0
165.76/165.83	c  165s |      18 |   343499 |   326752 |    10295     73 |      744 |        0
167.76/167.89	c  167s |      18 |   347224 |   330452 |    10295     73 |      744 |        0
169.86/169.93	c  169s |      18 |   349134 |   332352 |    10295     74 |      744 |        0
171.86/171.95	c  171s |      18 |   353259 |   336452 |    10295     75 |      744 |        0
173.87/173.96	c  173s |      18 |   355867 |   339052 |    10295     75 |      744 |        0
175.86/175.98	c  175s |      18 |   359589 |   342752 |    10295     76 |      744 |        0
177.96/178.01	c  177s |      18 |   363907 |   347052 |    10295     76 |      744 |        0
180.56/180.68	c  180s |      18 |   365417 |   348552 |    10295     77 |      744 |        0
182.57/182.69	c  182s |      18 |   369748 |   352852 |    10295     77 |      744 |        0
184.66/184.73	c  184s |      18 |   373770 |   356852 |    10295     78 |      744 |        0
186.66/186.74	c  186s |      18 |   377794 |   360852 |    10295     79 |      744 |        0
188.66/188.79	c  188s |      18 |   380509 |   363552 |    10295     79 |      744 |        0
190.76/190.81	c  190s |      18 |   384429 |   367452 |    10295     80 |      744 |        0
192.76/192.82	c  192s |      18 |   388445 |   371452 |    10295     81 |      744 |        0
195.96/196.06	c  195s |      18 |   392070 |   375052 |    10295     81 |      744 |        0
197.97/198.07	c  197s |      18 |   395482 |   378452 |    10295     82 |      744 |        0
200.06/200.19	c  199s |      18 |   399103 |   382052 |    10295     83 |      744 |        0
202.16/202.23	c  201s |      18 |   402722 |   385652 |    10295     83 |      744 |        0
205.16/205.28	c  204s |      18 |   406354 |   389252 |    10295     84 |      744 |        0
207.16/207.28	c  206s |      18 |   409969 |   392852 |    10295     85 |      744 |        0
209.66/209.78	c  209s |      18 |   413700 |   396552 |    10295     85 |      744 |        0
211.76/211.80	c  211s |      18 |   417824 |   400652 |    10295     86 |      744 |        0
213.76/213.81	c  213s |      18 |   421551 |   404352 |    10295     87 |      744 |        0
215.76/215.83	c  215s |      18 |   425580 |   408352 |    10295     87 |      744 |        0
217.76/217.83	c  217s |      18 |   427693 |   410452 |    10295     88 |      744 |        0
219.75/219.89	c  219s |      18 |   431418 |   414152 |    10295     89 |      744 |        0
221.85/221.91	c  221s |      18 |   435227 |   417952 |    10295     89 |      744 |        0
223.85/223.96	c  223s |      18 |   436833 |   419552 |    10295     89 |      744 |        0
225.95/226.02	c  225s |      18 |   440051 |   422752 |    10295     90 |      744 |        0
227.95/228.06	c  227s |      18 |   443054 |   425752 |    10295     91 |      744 |        0
229.96/230.08	c  229s |      18 |   446766 |   429452 |    10295     91 |      744 |        0
234.36/234.42	c  234s |      18 |   449584 |   432252 |    10295     92 |      744 |        0
236.36/236.44	c  236s |      18 |   453913 |   436552 |    10295     93 |      744 |        0
238.35/238.48	c  238s |      18 |   458842 |   441452 |    11325     93 |      744 |        0
240.25/240.39	c  240s |      19 |   461894 |   444482 |    11325     94 |      744 |        0
242.35/242.40	c  242s |      19 |   465472 |   447982 |    11325     94 |      744 |        0
244.35/244.45	c  244s |      19 |   468817 |   451282 |    11325     95 |      744 |        0
246.36/246.46	c  246s |      19 |   472445 |   454882 |    11325     95 |      744 |        0
248.35/248.49	c  248s |      19 |   480098 |   458382 |    11325     96 |      744 |        0
250.45/250.51	c  250s |      19 |   485208 |   461782 |    11325     96 |      744 |        0
252.45/252.52	c  252s |      19 |   488007 |   464582 |    11325     96 |      744 |        0
254.45/254.57	c  254s |      19 |   491486 |   467282 |    11325     97 |      744 |        0
256.45/256.57	c  256s |      19 |   496169 |   470082 |    11325     97 |      744 |        0
258.55/258.63	c  258s |      19 |   498837 |   472182 |    11325     97 |      744 |        0
260.65/260.76	c  260s |      19 |   500848 |   474182 |    11325     98 |      744 |        0
262.65/262.77	c  262s |      19 |   503158 |   476482 |    11325     98 |      744 |        0
264.74/264.84	c  264s |      19 |   506184 |   479082 |    11325     98 |      744 |        0
266.74/266.87	c  266s |      19 |   508765 |   481182 |    11325     99 |      744 |        0
268.84/268.97	c  268s |      19 |   511087 |   483182 |    11325     99 |      744 |        0
270.84/270.99	c  270s |      19 |   513210 |   485282 |    11325     99 |      744 |        0
272.94/273.03	c  272s |      19 |   515626 |   487682 |    11325     99 |      744 |        0
274.95/275.07	c  274s |      19 |   517933 |   489982 |    11325    100 |      744 |        0
277.04/277.11	c  276s |      19 |   520239 |   492282 |    11325    100 |      744 |        0
279.04/279.13	c  278s |      19 |   522558 |   494582 |    11325    100 |      744 |        0
281.04/281.15	c  280s |      19 |   524565 |   496582 |    11325    100 |      744 |        0
283.04/283.16	c  282s |      19 |   526678 |   498682 |    11325    101 |      744 |        0
285.14/285.23	c  284s |      19 |   528591 |   500582 |    11325    101 |      744 |        0
287.24/287.30	c  286s |      19 |   530695 |   502682 |    11325    101 |      744 |        0
289.25/289.35	c  288s |      19 |   532603 |   504582 |    11325    101 |      744 |        0
291.24/291.39	c  291s |      19 |   534713 |   506682 |    11325    102 |      744 |        0
293.34/293.46	c  293s |      19 |   537021 |   508982 |    11325    102 |      744 |        0
295.44/295.52	c  295s |      19 |   539129 |   511082 |    11325    102 |      744 |        0
297.44/297.59	c  297s |      19 |   540737 |   512682 |    11325    102 |      744 |        0
299.54/299.66	c  299s |      19 |   542651 |   514582 |    11325    103 |      744 |        0
301.64/301.73	c  301s |      19 |   544256 |   516182 |    11325    103 |      744 |        0
303.74/303.82	c  303s |      19 |   546368 |   518282 |    11325    103 |      744 |        0
305.75/305.84	c  305s |      19 |   548378 |   520282 |    11325    103 |      744 |        0
307.84/307.93	c  307s |      19 |   550179 |   522082 |    11325    104 |      744 |        0
309.84/309.96	c  309s |      19 |   552395 |   524282 |    11325    104 |      744 |        0
311.84/311.98	c  311s |      19 |   554606 |   526482 |    11325    104 |      744 |        0
313.94/314.04	c  313s |      19 |   556813 |   528682 |    11325    104 |      744 |        0
315.94/316.07	c  315s |      19 |   558425 |   530282 |    11325    105 |      744 |        0
318.04/318.17	c  317s |      19 |   560834 |   532682 |    11325    105 |      744 |        0
320.15/320.22	c  319s |      19 |   562544 |   534382 |    11325    105 |      744 |        0
322.14/322.26	c  321s |      19 |   564751 |   536582 |    11325    105 |      744 |        0
324.14/324.27	c  323s |      19 |   566364 |   538182 |    11325    106 |      744 |        0
326.24/326.32	c  325s |      19 |   568579 |   540382 |    11325    106 |      744 |        0
328.34/328.40	c  328s |      19 |   570384 |   542182 |    11325    106 |      744 |        0
330.34/330.43	c  330s |      19 |   572189 |   543982 |    11325    106 |      744 |        0
332.34/332.46	c  332s |      19 |   573396 |   545182 |    11325    107 |      744 |        0
334.35/334.47	c  334s |      19 |   575505 |   547282 |    11325    107 |      744 |        0
336.74/336.80	c  336s |      19 |   577409 |   549182 |    11325    107 |      744 |        0
338.74/338.83	c  338s |      19 |   579315 |   551082 |    11325    107 |      744 |        0
340.84/340.93	c  340s |      19 |   581028 |   552782 |    11325    107 |      744 |        0
342.94/343.01	c  342s |      19 |   583332 |   555082 |    11325    108 |      744 |        0
345.04/345.11	c  344s |      19 |   585638 |   557382 |    11325    108 |      744 |        0
347.04/347.11	c  346s |      19 |   587344 |   559082 |    11325    108 |      744 |        0
349.43/349.54	c  349s |      19 |   589252 |   560982 |    11325    109 |      744 |        0
351.43/351.54	c  351s |      19 |   590963 |   562682 |    11325    109 |      744 |        0
353.43/353.59	c  353s |      19 |   592868 |   564582 |    11325    109 |      744 |        0
355.53/355.69	c  355s |      19 |   594775 |   566482 |    11325    109 |      744 |        0
357.73/357.81	c  357s |      19 |   596589 |   568282 |    11325    109 |      744 |        0
359.74/359.84	c  359s |      19 |   598390 |   570082 |    11325    110 |      744 |        0
361.73/361.90	c  361s |      19 |   600504 |   572182 |    11325    110 |      744 |        0
363.83/363.92	c  363s |      19 |   602507 |   574182 |    11325    110 |      744 |        0
365.93/366.00	c  365s |      19 |   604515 |   576182 |    11325    110 |      744 |        0
367.93/368.03	c  367s |      19 |   606525 |   578182 |    11325    111 |      744 |        0
369.93/370.07	c  369s |      19 |   608933 |   580582 |    11325    111 |      744 |        0
372.03/372.17	c  371s |      19 |   611144 |   582782 |    11325    111 |      744 |        0
374.23/374.33	c  373s |      19 |   613252 |   584882 |    11325    112 |      744 |        0
376.23/376.33	c  375s |      19 |   614253 |   585882 |    11325    112 |      744 |        0
378.43/378.54	c  378s |      19 |   616267 |   587882 |    11325    112 |      744 |        0
380.43/380.60	c  380s |      19 |   618375 |   589982 |    11325    112 |      744 |        0
382.53/382.69	c  382s |      19 |   620484 |   592082 |    11325    112 |      744 |        0
384.63/384.70	c  384s |      19 |   622194 |   593782 |    11325    113 |      744 |        0
386.63/386.78	c  386s |      19 |   624405 |   595982 |    11325    113 |      744 |        0
388.72/388.81	c  388s |      19 |   626018 |   597582 |    11325    113 |      744 |        0
390.82/390.97	c  390s |      19 |   628225 |   599782 |    11325    113 |      744 |        0
392.83/392.99	c  392s |      19 |   630134 |   601682 |    11325    114 |      744 |        0
394.84/395.00	c  394s |      19 |   632538 |   604082 |    11325    114 |      744 |        0
397.73/397.83	c  397s |      19 |   634643 |   606182 |    11325    114 |      744 |        0
399.73/399.83	c  399s |      19 |   636357 |   607882 |    11325    114 |      744 |        0
401.73/401.88	c  401s |      19 |   638164 |   609682 |    11325    115 |      744 |        0
403.83/403.91	c  403s |      19 |   640169 |   611682 |    11325    115 |      744 |        0
405.84/405.99	c  405s |      19 |   642378 |   613882 |    11325    115 |      744 |        0
407.93/408.02	c  407s |      19 |   644287 |   615782 |    11325    115 |      744 |        0
409.93/410.02	c  409s |      19 |   645987 |   617482 |    11325    116 |      744 |        0
412.23/412.39	c  412s |      19 |   647198 |   618682 |    11325    116 |      744 |        0
414.32/414.42	c  414s |      19 |   647695 |   619182 |    11325    116 |      744 |        0
416.32/416.48	c  416s |      19 |   650007 |   621482 |    11325    116 |      744 |        0
418.42/418.53	c  418s |      19 |   652113 |   623582 |    11325    116 |      744 |        0
420.42/420.56	c  420s |      19 |   654125 |   625582 |    11325    117 |      744 |        0
422.43/422.58	c  422s |      19 |   656432 |   627882 |    11325    117 |      744 |        0
424.53/424.62	c  424s |      19 |   658845 |   630282 |    11325    117 |      744 |        0
426.52/426.65	c  426s |      19 |   660954 |   632382 |    11325    117 |      744 |        0
428.62/428.72	c  428s |      19 |   662959 |   634382 |    11325    118 |      744 |        0
430.62/430.73	c  430s |      19 |   665080 |   636482 |    11325    118 |      744 |        0
432.62/432.73	c  432s |      19 |   667088 |   638482 |    11325    118 |      744 |        0
434.62/434.77	c  434s |      19 |   669197 |   640582 |    11325    118 |      744 |        0
436.73/436.86	c  436s |      19 |   670904 |   642282 |    11325    119 |      744 |        0
438.83/438.96	c  438s |      19 |   673316 |   644682 |    11325    119 |      744 |        0
440.82/440.98	c  440s |      19 |   675525 |   646882 |    11325    119 |      744 |        0
443.12/443.24	c  442s |      19 |   676040 |   647382 |    11325    119 |      744 |        0
445.22/445.32	c  444s |      19 |   677541 |   648882 |    11325    120 |      744 |        0
447.22/447.33	c  446s |      19 |   679555 |   650882 |    11325    120 |      744 |        0
449.31/449.40	c  449s |      19 |   681661 |   652982 |    11325    120 |      744 |        0
451.31/451.45	c  451s |      19 |   683673 |   654982 |    11325    120 |      744 |        0
453.31/453.49	c  453s |      19 |   685376 |   656682 |    11325    121 |      744 |        0
455.43/455.53	c  455s |      19 |   687486 |   658782 |    11325    121 |      744 |        0
457.42/457.59	c  457s |      19 |   689493 |   660782 |    11325    121 |      744 |        0
459.52/459.68	c  459s |      19 |   691708 |   662982 |    12458    121 |      744 |        0
461.62/461.71	c  461s |      19 |   693614 |   664882 |    12458    121 |      744 |        0
463.62/463.79	c  463s |      19 |   695123 |   666382 |    12458    122 |      744 |        0
464.02/464.20	c  463s |      20 |   695569 |   666827 |    12458    122 |      744 |        0
466.12/466.22	c  465s |      20 |   704232 |   669327 |    12458    122 |      744 |        0
468.12/468.22	c  467s |      20 |   709483 |   671627 |    12458    122 |      744 |        0
470.22/470.32	c  469s |      20 |   712013 |   673527 |    12458    122 |      744 |        0
472.22/472.37	c  472s |      20 |   713420 |   674727 |    12458    123 |      744 |        0
474.41/474.50	c  474s |      20 |   714769 |   675827 |    12458    123 |      744 |        0
476.61/476.71	c  476s |      20 |   716123 |   676927 |    12458    123 |      744 |        0
478.71/478.81	c  478s |      20 |   717094 |   677827 |    12458    123 |      744 |        0
480.72/480.87	c  480s |      20 |   717939 |   678627 |    12458    123 |      744 |        0
482.92/483.09	c  482s |      20 |   718895 |   679527 |    12458    123 |      744 |        0
485.12/485.28	c  484s |      20 |   719741 |   680327 |    12458    123 |      744 |        0
487.32/487.46	c  487s |      20 |   720641 |   681127 |    12458    123 |      744 |        0
489.52/489.64	c  489s |      20 |   721505 |   681927 |    12458    123 |      744 |        0
491.72/491.81	c  491s |      20 |   722606 |   682727 |    12458    124 |      744 |        0
493.72/493.83	c  493s |      20 |   726377 |   685827 |    12458    124 |      744 |        0
495.71/495.88	c  495s |      20 |   728704 |   686927 |    12458    124 |      744 |        0
497.91/498.05	c  497s |      20 |   729846 |   687827 |    12458    124 |      744 |        0
499.91/500.08	c  499s |      20 |   730696 |   688627 |    12458    124 |      744 |        0
502.11/502.28	c  501s |      20 |   731594 |   689427 |    12458    124 |      744 |        0
504.22/504.31	c  503s |      20 |   733839 |   690827 |    12458    125 |      744 |        0
506.21/506.32	c  505s |      20 |   736926 |   693627 |    12458    125 |      744 |        0
508.22/508.35	c  507s |      20 |   739018 |   695127 |    12458    125 |      744 |        0
510.32/510.49	c  510s |      20 |   740444 |   696327 |    12458    125 |      744 |        0
512.41/512.56	c  512s |      20 |   741708 |   697427 |    12458    125 |      744 |        0
514.51/514.60	c  514s |      20 |   742682 |   698327 |    12458    125 |      744 |        0
516.61/516.75	c  516s |      20 |   743392 |   699027 |    12458    126 |      744 |        0
518.71/518.84	c  518s |      20 |   744528 |   700027 |    12458    126 |      744 |        0
520.91/521.03	c  520s |      20 |   745608 |   701027 |    12458    126 |      744 |        0
523.00/523.18	c  522s |      20 |   746584 |   701927 |    12458    126 |      744 |        0
525.10/525.21	c  524s |      20 |   747879 |   702927 |    12458    126 |      744 |        0
527.10/527.26	c  526s |      20 |   749121 |   703927 |    12458    126 |      744 |        0
529.11/529.28	c  528s |      20 |   750012 |   704727 |    12458    126 |      744 |        0
531.22/531.32	c  530s |      20 |   751230 |   705727 |    12458    126 |      744 |        0
533.31/533.50	c  533s |      20 |   752317 |   706627 |    12458    126 |      744 |        0
535.51/535.61	c  535s |      20 |   753142 |   707327 |    12458    127 |      744 |        0
537.60/537.77	c  537s |      20 |   754121 |   708227 |    12458    127 |      744 |        0
539.60/539.79	c  539s |      20 |   755207 |   709027 |    12458    127 |      744 |        0
541.70/541.86	c  541s |      20 |   756139 |   709827 |    12458    127 |      744 |        0
543.70/543.89	c  543s |      20 |   757111 |   710627 |    12458    127 |      744 |        0
545.80/545.94	c  545s |      20 |   758057 |   711427 |    12458    127 |      744 |        0
548.11/548.23	c  547s |      20 |   758979 |   712227 |    12458    127 |      744 |        0
550.21/550.36	c  549s |      20 |   759734 |   712927 |    12458    127 |      744 |        0
552.50/552.63	c  552s |      20 |   760513 |   713627 |    12458    127 |      744 |        0
554.60/554.76	c  554s |      20 |   762114 |   714527 |    12458    127 |      744 |        0
556.80/556.94	c  556s |      20 |   763817 |   715427 |    12458    127 |      744 |        0
558.81/558.98	c  558s |      20 |   764643 |   715927 |    12458    128 |      744 |        0
560.91/561.06	c  560s |      20 |   765460 |   716627 |    12458    128 |      744 |        0
563.11/563.26	c  562s |      20 |   766517 |   717527 |    12458    128 |      744 |        0
565.20/565.36	c  564s |      20 |   767553 |   718427 |    12458    128 |      744 |        0
567.30/567.48	c  567s |      20 |   768899 |   719427 |    12458    128 |      744 |        0
569.50/569.62	c  569s |      20 |   769925 |   720327 |    12458    128 |      744 |        0
571.60/571.74	c  571s |      20 |   770843 |   721027 |    12458    128 |      744 |        0
573.60/573.77	c  573s |      20 |   772656 |   722527 |    12458    128 |      744 |        0
575.70/575.81	c  575s |      20 |   774546 |   724227 |    12458    129 |      744 |        0
577.80/577.90	c  577s |      20 |   776969 |   726527 |    12458    129 |      744 |        0
579.90/580.00	c  579s |      20 |   779250 |   728527 |    12458    129 |      744 |        0
581.91/582.10	c  581s |      20 |   780759 |   729827 |    12458    129 |      744 |        0
584.10/584.29	c  583s |      20 |   782373 |   730927 |    12458    129 |      744 |        0
586.30/586.49	c  586s |      20 |   783453 |   731827 |    12458    129 |      744 |        0
588.30/588.50	c  588s |      20 |   784345 |   732527 |    12458    130 |      744 |        0
590.40/590.54	c  590s |      20 |   785514 |   733527 |    12458    130 |      744 |        0
592.49/592.60	c  592s |      20 |   786644 |   734527 |    12458    130 |      744 |        0
594.59/594.74	c  594s |      20 |   787880 |   735527 |    12458    130 |      744 |        0
596.70/596.84	c  596s |      20 |   789120 |   736527 |    12458    130 |      744 |        0
598.90/599.01	c  598s |      20 |   790249 |   737327 |    12458    130 |      744 |        0
601.10/601.25	c  600s |      20 |   791661 |   738327 |    12458    130 |      744 |        0
603.20/603.31	c  602s |      20 |   793161 |   739427 |    12458    130 |      744 |        0
605.30/605.40	c  605s |      20 |   796569 |   741227 |    12458    131 |      744 |        0
607.40/607.53	c  607s |      20 |   799093 |   742827 |    12458    131 |      744 |        0
609.41/609.58	c  609s |      20 |   800206 |   743927 |    12458    131 |      744 |        0
611.51/611.68	c  611s |      20 |   803109 |   745527 |    12458    131 |      744 |        0
613.80/613.93	c  613s |      20 |   805471 |   747127 |    12458    131 |      744 |        0
615.90/616.03	c  615s |      20 |   807615 |   748727 |    12458    131 |      744 |        0
617.90/618.07	c  617s |      20 |   808997 |   749927 |    12458    132 |      744 |        0
619.90/620.08	c  619s |      20 |   813188 |   752827 |    12458    132 |      744 |        0
622.00/622.13	c  621s |      20 |   816307 |   755527 |    12458    132 |      744 |        0
624.10/624.22	c  623s |      20 |   818957 |   757827 |    12458    132 |      744 |        0
626.10/626.23	c  625s |      20 |   820978 |   759627 |    12458    133 |      744 |        0
628.20/628.33	c  627s |      20 |   823166 |   761527 |    12458    133 |      744 |        0
630.20/630.36	c  629s |      20 |   825086 |   763227 |    12458    133 |      744 |        0
632.40/632.51	c  632s |      20 |   826880 |   764827 |    12458    133 |      744 |        0
634.39/634.58	c  634s |      20 |   828650 |   766427 |    12458    133 |      744 |        0
636.49/636.63	c  636s |      20 |   830121 |   767827 |    12458    134 |      744 |        0
638.59/638.72	c  638s |      20 |   832578 |   769927 |    12458    134 |      744 |        0
640.59/640.76	c  640s |      20 |   834954 |   771927 |    12458    134 |      744 |        0
642.69/642.81	c  642s |      20 |   838331 |   773627 |    12458    134 |      744 |        0
644.79/644.94	c  644s |      20 |   840900 |   775127 |    12458    135 |      744 |        0
646.99/647.11	c  646s |      20 |   843431 |   776627 |    12458    135 |      744 |        0
649.00/649.17	c  648s |      20 |   845358 |   778127 |    12458    135 |      744 |        0
651.10/651.28	c  650s |      20 |   847656 |   779927 |    12458    135 |      744 |        0
653.30/653.41	c  653s |      20 |   849684 |   781327 |    12458    135 |      744 |        0
655.29/655.42	c  655s |      20 |   853272 |   783627 |    12458    136 |      744 |        0
657.28/657.43	c  657s |      20 |   856225 |   786427 |    12458    136 |      744 |        0
659.38/659.56	c  659s |      20 |   858321 |   788327 |    12458    136 |      744 |        0
661.39/661.58	c  661s |      20 |   859836 |   789727 |    12458    136 |      744 |        0
663.49/663.63	c  663s |      20 |   861300 |   791027 |    12458    136 |      744 |        0
665.59/665.72	c  665s |      20 |   862577 |   792127 |    12458    137 |      744 |        0
667.59/667.76	c  667s |      20 |   864576 |   793827 |    12458    137 |      744 |        0
669.69/669.82	c  669s |      20 |   866036 |   795227 |    12458    137 |      744 |        0
671.88/672.02	c  671s |      20 |   867710 |   796627 |    12458    137 |      744 |        0
673.88/674.07	c  673s |      20 |   869033 |   797727 |    12458    137 |      744 |        0
676.08/676.22	c  675s |      20 |   870704 |   799027 |    12458    137 |      744 |        0
678.38/678.50	c  678s |      20 |   872045 |   800027 |    12458    138 |      744 |        0
680.38/680.52	c  680s |      20 |   873439 |   801227 |    12458    138 |      744 |        0
682.38/682.53	c  682s |      20 |   875184 |   802727 |    12458    138 |      744 |        0
684.49/684.65	c  684s |      20 |   876651 |   803827 |    12458    138 |      744 |        0
686.49/686.66	c  686s |      20 |   878466 |   805127 |    12458    138 |      744 |        0
688.59/688.78	c  688s |      20 |   880116 |   806527 |    12458    138 |      744 |        0
690.79/690.90	c  690s |      20 |   881406 |   807627 |    12458    138 |      744 |        0
692.78/692.92	c  692s |      20 |   882277 |   808427 |    12458    139 |      744 |        0
694.89/695.05	c  694s |      20 |   883221 |   809227 |    12458    139 |      744 |        0
696.98/697.14	c  696s |      20 |   884855 |   810627 |    12458    139 |      744 |        0
699.08/699.26	c  698s |      20 |   886153 |   811827 |    12458    139 |      744 |        0
701.08/701.28	c  700s |      20 |   887413 |   813027 |    12458    139 |      744 |        0
703.18/703.35	c  702s |      20 |   888677 |   814127 |    12458    139 |      744 |        0
705.28/705.42	c  705s |      20 |   889828 |   815127 |    12458    139 |      744 |        0
707.58/707.75	c  707s |      20 |   890957 |   816027 |    12458    139 |      744 |        0
709.78/709.96	c  709s |      20 |   891839 |   816627 |    12458    140 |      744 |        0
711.78/711.99	c  711s |      20 |   893318 |   817827 |    12458    140 |      744 |        0
713.98/714.11	c  713s |      20 |   894687 |   819027 |    12458    140 |      744 |        0
715.99/716.11	c  715s |      20 |   896095 |   820227 |    12458    140 |      744 |        0
717.98/718.16	c  717s |      20 |   897462 |   821427 |    12458    140 |      744 |        0
719.98/720.17	c  719s |      20 |   898212 |   822127 |    12458    140 |      744 |        0
722.18/722.31	c  721s |      20 |   899741 |   823127 |    12458    140 |      744 |        0
724.28/724.44	c  724s |      20 |   900950 |   824227 |    12458    140 |      744 |        0
726.38/726.51	c  726s |      20 |   902066 |   825027 |    12458    141 |      744 |        0
728.48/728.63	c  728s |      20 |   903586 |   826227 |    12458    141 |      744 |        0
730.48/730.65	c  730s |      20 |   905140 |   827527 |    12458    141 |      744 |        0
732.58/732.73	c  732s |      20 |   906778 |   828927 |    12458    141 |      744 |        0
734.69/734.83	c  734s |      20 |   908072 |   830127 |    12458    141 |      744 |        0
736.68/736.86	c  736s |      20 |   909276 |   831227 |    12458    141 |      744 |        0
738.77/738.94	c  738s |      20 |   910476 |   832327 |    12458    141 |      744 |        0
741.18/741.36	c  740s |      20 |   911628 |   833227 |    12458    142 |      744 |        0
743.18/743.39	c  743s |      20 |   912645 |   834127 |    12458    142 |      744 |        0
745.27/745.45	c  745s |      20 |   913898 |   835027 |    12458    142 |      744 |        0
747.27/747.46	c  747s |      20 |   919195 |   838927 |    12458    142 |      744 |        0
749.27/749.49	c  749s |      20 |   923628 |   842327 |    12458    142 |      744 |        0
751.37/751.51	c  751s |      20 |   926766 |   844927 |    12458    143 |      744 |        0
753.88/754.01	c  753s |      20 |   929329 |   846927 |    12458    143 |      744 |        0
755.87/756.08	c  755s |      20 |   931252 |   848627 |    12458    143 |      744 |        0
757.97/758.12	c  757s |      20 |   932901 |   850027 |    12458    143 |      744 |        0
759.98/760.12	c  759s |      20 |   934438 |   851427 |    12458    144 |      744 |        0
762.07/762.27	c  761s |      20 |   935873 |   852727 |    12458    144 |      744 |        0
764.27/764.43	c  764s |      20 |   937213 |   853827 |    12458    144 |      744 |        0
766.37/766.56	c  766s |      20 |   940184 |   856127 |    12458    144 |      744 |        0
768.47/768.65	c  768s |      20 |   942281 |   858027 |    12458    144 |      744 |        0
770.77/770.96	c  770s |      20 |   945146 |   859527 |    12458    145 |      744 |        0
772.87/773.02	c  772s |      20 |   947572 |   861227 |    12458    145 |      744 |        0
774.87/775.03	c  774s |      20 |   949250 |   862827 |    12458    145 |      744 |        0
776.97/777.11	c  776s |      20 |   951002 |   864427 |    12458    145 |      744 |        0
779.17/779.31	c  778s |      20 |   952520 |   865827 |    12458    145 |      744 |        0
781.27/781.44	c  781s |      20 |   953703 |   866927 |    12458    145 |      744 |        0
783.37/783.51	c  783s |      20 |   954894 |   868027 |    12458    146 |      744 |        0
785.38/785.58	c  785s |      20 |   956261 |   869327 |    12458    146 |      744 |        0
787.67/787.80	c  787s |      20 |   957513 |   870427 |    12458    146 |      744 |        0
789.67/789.81	c  789s |      20 |   959440 |   871827 |    12458    146 |      744 |        0
791.66/791.81	c  791s |      20 |   960808 |   873027 |    12458    146 |      744 |        0
793.66/793.84	c  793s |      20 |   962314 |   874127 |    12458    146 |      744 |        0
795.87/796.03	c  795s |      20 |   964105 |   875327 |    12458    146 |      744 |        0
797.97/798.15	c  797s |      20 |   965393 |   876227 |    12458    147 |      744 |        0
800.07/800.27	c  799s |      20 |   966884 |   877427 |    12458    147 |      744 |        0
802.16/802.34	c  801s |      20 |   968513 |   878827 |    12458    147 |      744 |        0
804.26/804.49	c  804s |      20 |   969939 |   880127 |    12458    147 |      744 |        0
806.36/806.58	c  806s |      20 |   970924 |   881027 |    12458    147 |      744 |        0
808.47/808.70	c  808s |      20 |   971898 |   881927 |    12458    147 |      744 |        0
810.67/810.85	c  810s |      20 |   972867 |   882727 |    12458    147 |      744 |        0
812.87/813.02	c  812s |      20 |   973636 |   883427 |    12458    147 |      744 |        0
815.56/815.79	c  815s |      20 |   974280 |   884027 |    12458    148 |      744 |        0
817.76/817.90	c  817s |      20 |   975442 |   885027 |    12458    148 |      744 |        0
819.96/820.11	c  819s |      20 |   976570 |   886027 |    12458    148 |      744 |        0
821.96/822.14	c  821s |      20 |   977525 |   886827 |    12458    148 |      744 |        0
824.06/824.27	c  823s |      20 |   978491 |   887727 |    12458    148 |      744 |        0
826.26/826.47	c  826s |      20 |   979639 |   888827 |    12458    148 |      744 |        0
828.36/828.56	c  828s |      20 |   981446 |   890427 |    12458    148 |      744 |        0
830.47/830.67	c  830s |      20 |   983032 |   891827 |    12458    148 |      744 |        0
832.57/832.75	c  832s |      20 |   983876 |   892527 |    12458    149 |      744 |        0
834.66/834.82	c  834s |      20 |   985258 |   893727 |    12458    149 |      744 |        0
836.66/836.83	c  836s |      20 |   986648 |   894927 |    12458    149 |      744 |        0
838.76/838.90	c  838s |      20 |   987826 |   896027 |    12458    149 |      744 |        0
840.85/841.00	c  840s |      20 |   989141 |   897227 |    12458    149 |      744 |        0
842.85/843.05	c  842s |      20 |   991030 |   898627 |    12458    149 |      744 |        0
844.96/845.13	c  844s |      20 |   992491 |   899827 |    12458    149 |      744 |        0
846.96/847.18	c  846s |      20 |   993449 |   900627 |    12458    150 |      744 |        0
849.16/849.32	c  848s |      20 |   994898 |   901927 |    12458    150 |      744 |        0
851.27/851.46	c  851s |      20 |   996239 |   903127 |    12458    150 |      744 |        0
853.36/853.60	c  853s |      20 |   997965 |   904527 |    12458    150 |      744 |        0
855.46/855.64	c  855s |      20 |   999333 |   905227 |    12458    150 |      744 |        0
857.56/857.71	c  857s |      20 |  1000731 |   906227 |    12458    150 |      744 |        0
859.56/859.79	c  859s |      20 |  1002256 |   907227 |    12458    150 |      744 |        0
861.86/862.01	c  861s |      20 |  1003479 |   908327 |    12458    150 |      744 |        0
864.15/864.30	c  863s |      20 |  1004035 |   908827 |    12458    151 |      744 |        0
866.25/866.49	c  866s |      20 |  1005407 |   909727 |    12458    151 |      744 |        0
868.35/868.54	c  868s |      20 |  1006676 |   910427 |    12458    151 |      744 |        0
870.46/870.60	c  870s |      20 |  1007729 |   911327 |    12458    151 |      744 |        0
872.56/872.78	c  872s |      20 |  1008887 |   912327 |    12458    151 |      744 |        0
874.75/874.93	c  874s |      20 |  1009820 |   913027 |    12458    151 |      744 |        0
876.85/877.07	c  876s |      20 |  1010829 |   913827 |    12458    151 |      744 |        0
879.15/879.36	c  878s |      20 |  1011702 |   914627 |    12458    151 |      744 |        0
881.35/881.58	c  881s |      20 |  1013335 |   915927 |    12458    151 |      744 |        0
883.46/883.64	c  883s |      20 |  1014642 |   917027 |    12458    151 |      744 |        0
885.56/885.78	c  885s |      20 |  1015699 |   918027 |    12458    152 |      744 |        0
887.66/887.89	c  887s |      20 |  1016961 |   919227 |    12458    152 |      744 |        0
890.15/890.37	c  890s |      20 |  1018121 |   920127 |    12458    152 |      744 |        0
892.25/892.45	c  892s |      20 |  1019577 |   921227 |    12458    152 |      744 |        0
894.35/894.58	c  894s |      20 |  1021158 |   922427 |    12458    152 |      744 |        0
896.46/896.64	c  896s |      20 |  1022263 |   923427 |    12458    152 |      744 |        0
898.45/898.68	c  898s |      20 |  1023241 |   924327 |    12458    152 |      744 |        0
900.65/900.81	c  900s |      20 |  1024431 |   925327 |    12458    152 |      744 |        0
902.75/902.90	c  902s |      20 |  1025327 |   926127 |    12458    153 |      744 |        0
904.95/905.13	c  904s |      20 |  1026644 |   927227 |    12458    153 |      744 |        0
907.35/907.51	c  907s |      20 |  1027680 |   928127 |    12458    153 |      744 |        0
909.44/909.65	c  909s |      20 |  1028825 |   929127 |    12458    153 |      744 |        0
911.55/911.72	c  911s |      20 |  1029751 |   929927 |    12458    153 |      744 |        0
913.75/913.92	c  913s |      20 |  1030720 |   930827 |    12458    153 |      744 |        0
915.85/916.06	c  915s |      20 |  1031831 |   931727 |    12458    153 |      744 |        0
917.95/918.19	c  917s |      20 |  1032763 |   932527 |    12458    153 |      744 |        0
920.15/920.38	c  920s |      20 |  1033959 |   933527 |    12458    153 |      744 |        0
922.15/922.39	c  922s |      20 |  1034628 |   934127 |    12458    154 |      744 |        0
924.34/924.58	c  924s |      20 |  1035694 |   935127 |    12458    154 |      744 |        0
926.54/926.75	c  926s |      20 |  1036562 |   935927 |    12458    154 |      744 |        0
928.64/928.86	c  928s |      20 |  1037233 |   936427 |    12458    154 |      744 |        0
930.84/931.03	c  930s |      20 |  1038271 |   937327 |    12458    154 |      744 |        0
932.85/933.06	c  932s |      20 |  1039227 |   938227 |    12458    154 |      744 |        0
934.95/935.11	c  934s |      20 |  1040221 |   939127 |    12458    154 |      744 |        0
937.05/937.22	c  936s |      20 |  1041059 |   939927 |    12458    154 |      744 |        0
939.25/939.49	c  939s |      20 |  1042020 |   940827 |    12458    154 |      744 |        0
941.45/941.67	c  941s |      20 |  1043313 |   941927 |    12458    154 |      744 |        0
943.54/943.76	c  943s |      20 |  1044071 |   942627 |    12458    155 |      744 |        0
945.74/945.91	c  945s |      20 |  1045297 |   943727 |    12458    155 |      744 |        0
947.84/948.00	c  947s |      20 |  1046435 |   944727 |    12458    155 |      744 |        0
949.84/950.09	c  949s |      20 |  1047675 |   945827 |    12458    155 |      744 |        0
952.04/952.25	c  951s |      20 |  1048971 |   947027 |    12458    155 |      744 |        0
954.14/954.33	c  953s |      20 |  1049926 |   947827 |    12458    155 |      744 |        0
956.65/956.89	c  956s |      20 |  1050940 |   948527 |    12458    155 |      744 |        0
958.84/959.02	c  958s |      20 |  1052629 |   949627 |    12458    155 |      744 |        0
961.44/961.60	c  961s |      20 |  1053612 |   950427 |    12458    156 |      744 |        0
963.55/963.71	c  963s |      20 |  1054736 |   951227 |    12458    156 |      744 |        0
965.65/965.83	c  965s |      20 |  1056088 |   952327 |    12458    156 |      744 |        0
967.74/967.93	c  967s |      20 |  1057599 |   953427 |    12458    156 |      744 |        0
969.94/970.11	c  969s |      20 |  1058785 |   954427 |    12458    156 |      744 |        0
971.93/972.16	c  971s |      20 |  1060059 |   955327 |    12458    156 |      744 |        0
974.14/974.34	c  973s |      20 |  1061970 |   956527 |    12458    156 |      744 |        0
976.24/976.41	c  976s |      20 |  1063204 |   957527 |    12458    156 |      744 |        0
978.74/978.96	c  978s |      20 |  1065667 |   958727 |    12458    157 |      744 |        0
980.84/981.09	c  980s |      20 |  1067981 |   959827 |    12458    157 |      744 |        0
983.04/983.20	c  982s |      20 |  1069681 |   961127 |    12458    157 |      744 |        0
985.04/985.23	c  984s |      20 |  1071335 |   962527 |    12458    157 |      744 |        0
987.14/987.35	c  986s |      20 |  1072890 |   963827 |    12458    157 |      744 |        0
989.24/989.43	c  989s |      20 |  1074114 |   964927 |    12458    157 |      744 |        0
991.33/991.53	c  991s |      20 |  1075815 |   966027 |    12458    157 |      744 |        0
993.43/993.63	c  993s |      20 |  1078626 |   967127 |    12458    158 |      744 |        0
995.44/995.65	c  995s |      20 |  1080719 |   968327 |    12458    158 |      744 |        0
997.43/997.67	c  997s |      20 |  1083110 |   969627 |    12458    158 |      744 |        0
999.43/999.68	c  999s |      20 |  1086047 |   971027 |    12458    158 |      744 |        0
1001.54/1001.79	c 1001s |      20 |  1089701 |   972327 |    12458    158 |      744 |        0
1003.74/1003.98	c 1003s |      20 |  1091567 |   973527 |    12458    158 |      744 |        0
1005.94/1006.16	c 1005s |      20 |  1093836 |   974827 |    12458    158 |      744 |        0
1007.94/1008.17	c 1007s |      20 |  1095070 |   975627 |    12458    159 |      744 |        0
1010.04/1010.28	c 1009s |      20 |  1096635 |   976727 |    12458    159 |      744 |        0
1012.24/1012.41	c 1012s |      20 |  1097957 |   977827 |    12458    159 |      744 |        0
1014.24/1014.46	c 1014s |      20 |  1099100 |   978827 |    12458    159 |      744 |        0
1016.34/1016.58	c 1016s |      20 |  1100828 |   980027 |    12458    159 |      744 |        0
1018.44/1018.65	c 1018s |      20 |  1102261 |   981127 |    12458    159 |      744 |        0
1020.53/1020.72	c 1020s |      20 |  1103544 |   982127 |    12458    159 |      744 |        0
1022.63/1022.81	c 1022s |      20 |  1104950 |   983127 |    12458    159 |      744 |        0
1024.73/1024.98	c 1024s |      20 |  1105908 |   983827 |    12458    160 |      744 |        0
1026.93/1027.11	c 1026s |      20 |  1107190 |   984727 |    12458    160 |      744 |        0
1029.03/1029.22	c 1028s |      20 |  1108689 |   985827 |    12458    160 |      744 |        0
1031.23/1031.49	c 1031s |      20 |  1109853 |   986827 |    12458    160 |      744 |        0
1033.23/1033.49	c 1033s |      20 |  1110458 |   987427 |    12458    160 |      744 |        0
1035.43/1035.61	c 1035s |      20 |  1111617 |   988327 |    12458    160 |      744 |        0
1037.53/1037.76	c 1037s |      20 |  1112957 |   989427 |    12458    160 |      744 |        0
1039.73/1039.97	c 1039s |      20 |  1114287 |   990427 |    12458    160 |      744 |        0
1041.93/1042.18	c 1041s |      20 |  1115359 |   991327 |    12458    160 |      744 |        0
1044.43/1044.67	c 1044s |      20 |  1116211 |   992027 |    12458    161 |      744 |        0
1047.72/1047.94	c 1047s |      20 |  1117336 |   992927 |    12458    161 |      744 |        0
1049.82/1050.06	c 1049s |      20 |  1118827 |   994127 |    13704    161 |      744 |        0
1051.92/1052.10	c 1051s |      20 |  1120093 |   995127 |    13704    161 |      744 |        0
1053.92/1054.16	c 1053s |      20 |  1121186 |   996027 |    13704    161 |      744 |        0
1056.02/1056.28	c 1055s |      20 |  1122409 |   996927 |    13704    161 |      744 |        0
1058.13/1058.36	c 1057s |      20 |  1123351 |   997727 |    13704    161 |      744 |        0
1060.24/1060.42	c 1060s |      20 |  1124272 |   998427 |    13704    161 |      744 |        0
1062.33/1062.54	c 1062s |      20 |  1125823 |   999427 |    13704    161 |      744 |        0
1064.23/1064.43	c 1064s |      21 |  1127093 |  1000345 |    13704    161 |      744 |        0
1066.23/1066.45	c 1066s |      21 |  1132036 |  1000845 |    13704    162 |      744 |        0
1068.23/1068.47	c 1068s |      21 |  1136590 |  1004945 |    13704    162 |      744 |        0
1070.23/1070.48	c 1070s |      21 |  1140789 |  1008145 |    13704    162 |      744 |        0
1072.63/1072.80	c 1072s |      21 |  1144243 |  1010445 |    13704    163 |      744 |        0
1074.63/1074.88	c 1074s |      21 |  1148112 |  1013245 |    13704    163 |      744 |        0
1076.73/1076.95	c 1076s |      21 |  1151363 |  1015745 |    13704    163 |      744 |        0
1078.72/1078.99	c 1078s |      21 |  1154092 |  1017845 |    13704    163 |      744 |        0
1081.62/1081.83	c 1081s |      21 |  1156457 |  1019645 |    13704    164 |      744 |        0
1083.72/1083.91	c 1083s |      21 |  1160142 |  1022445 |    13704    164 |      744 |        0
1085.72/1085.91	c 1085s |      21 |  1163023 |  1024645 |    13704    164 |      744 |        0
1087.73/1087.92	c 1087s |      21 |  1165548 |  1026545 |    13704    164 |      744 |        0
1089.72/1089.98	c 1089s |      21 |  1168306 |  1028145 |    13704    164 |      744 |        0
1091.82/1092.02	c 1091s |      21 |  1170435 |  1029445 |    13704    165 |      744 |        0
1094.72/1094.99	c 1094s |      21 |  1173132 |  1030945 |    13704    165 |      744 |        0
1096.82/1097.00	c 1096s |      21 |  1176872 |  1033045 |    13704    165 |      744 |        0
1099.02/1099.20	c 1098s |      21 |  1180519 |  1035045 |    13704    165 |      744 |        0
1101.02/1101.24	c 1100s |      21 |  1183861 |  1037045 |    13704    165 |      744 |        0
1103.32/1103.58	c 1103s |      21 |  1185230 |  1037945 |    13704    166 |      744 |        0
1105.32/1105.60	c 1105s |      21 |  1188178 |  1039745 |    13704    166 |      744 |        0
1107.41/1107.63	c 1107s |      21 |  1192068 |  1041945 |    13704    166 |      744 |        0
1109.41/1109.63	c 1109s |      21 |  1195804 |  1044345 |    13704    166 |      744 |        0
1111.51/1111.71	c 1111s |      21 |  1199385 |  1046645 |    13704    166 |      744 |        0
1113.91/1114.19	c 1113s |      21 |  1201964 |  1048345 |    13704    167 |      744 |        0
1116.01/1116.26	c 1115s |      21 |  1205478 |  1050645 |    13704    167 |      744 |        0
1118.11/1118.32	c 1117s |      21 |  1208778 |  1052845 |    13704    167 |      744 |        0
1120.21/1120.40	c 1120s |      21 |  1211863 |  1054845 |    13704    167 |      744 |        0
1122.22/1122.43	c 1122s |      21 |  1213768 |  1056145 |    13704    168 |      744 |        0
1124.82/1125.06	c 1124s |      21 |  1216287 |  1057645 |    13704    168 |      744 |        0
1126.92/1127.15	c 1126s |      21 |  1219492 |  1059745 |    13704    168 |      744 |        0
1128.92/1129.16	c 1128s |      21 |  1222186 |  1061545 |    13704    168 |      744 |        0
1131.02/1131.23	c 1130s |      21 |  1225044 |  1063345 |    13704    168 |      744 |        0
1133.12/1133.31	c 1132s |      21 |  1227842 |  1065145 |    13704    168 |      744 |        0
1136.81/1137.09	c 1136s |      21 |  1228916 |  1065745 |    13704    169 |      744 |        0
1138.91/1139.13	c 1138s |      21 |  1232698 |  1068045 |    13704    169 |      744 |        0
1140.91/1141.17	c 1140s |      21 |  1235598 |  1070045 |    13704    169 |      744 |        0
1143.01/1143.23	c 1142s |      21 |  1238385 |  1071845 |    13704    169 |      744 |        0
1145.02/1145.26	c 1144s |      21 |  1241226 |  1073545 |    13704    169 |      744 |        0
1147.22/1147.43	c 1147s |      21 |  1242675 |  1074645 |    13704    170 |      744 |        0
1149.22/1149.44	c 1149s |      21 |  1245818 |  1077345 |    13704    170 |      744 |        0
1151.22/1151.49	c 1151s |      21 |  1248256 |  1079345 |    13704    170 |      744 |        0
1153.31/1153.57	c 1153s |      21 |  1251346 |  1082045 |    13704    170 |      744 |        0
1155.61/1155.87	c 1155s |      21 |  1253180 |  1083645 |    13704    171 |      744 |        0
1157.71/1157.94	c 1157s |      21 |  1256416 |  1086245 |    13704    171 |      744 |        0
1159.71/1159.95	c 1159s |      21 |  1258404 |  1088045 |    13704    171 |      744 |        0
1161.71/1161.96	c 1161s |      21 |  1260906 |  1090345 |    13704    171 |      744 |        0
1163.81/1164.00	c 1163s |      21 |  1263233 |  1092445 |    13704    172 |      744 |        0
1165.82/1166.01	c 1165s |      21 |  1265184 |  1094045 |    13704    172 |      744 |        0
1167.81/1168.02	c 1167s |      21 |  1267435 |  1095845 |    13704    172 |      744 |        0
1169.91/1170.10	c 1169s |      21 |  1270077 |  1097945 |    13704    172 |      744 |        0
1171.91/1172.16	c 1171s |      21 |  1272437 |  1099745 |    13704    172 |      744 |        0
1174.21/1174.41	c 1174s |      21 |  1274484 |  1101545 |    13704    173 |      744 |        0
1176.21/1176.49	c 1176s |      21 |  1276816 |  1103545 |    13704    173 |      744 |        0
1179.91/1180.11	c 1179s |      21 |  1278893 |  1105245 |    13704    173 |      744 |        0
1181.91/1182.16	c 1181s |      21 |  1282742 |  1107845 |    13704    173 |      744 |        0
1184.01/1184.21	c 1183s |      21 |  1285516 |  1110445 |    13704    173 |      744 |        0
1186.00/1186.22	c 1185s |      21 |  1287257 |  1111945 |    13704    174 |      744 |        0
1188.10/1188.31	c 1187s |      21 |  1290200 |  1114245 |    13704    174 |      744 |        0
1190.11/1190.36	c 1189s |      21 |  1296538 |  1118045 |    13704    174 |      744 |        0
1192.21/1192.43	c 1192s |      21 |  1299627 |  1120945 |    13704    175 |      744 |        0
1194.20/1194.44	c 1194s |      21 |  1302462 |  1123545 |    13704    175 |      744 |        0
1196.31/1196.51	c 1196s |      21 |  1304877 |  1125845 |    13704    175 |      744 |        0
1198.51/1198.71	c 1198s |      21 |  1308761 |  1129145 |    13704    176 |      744 |        0
1200.51/1200.73	c 1200s |      21 |  1312502 |  1132545 |    13704    176 |      744 |        0
1202.61/1202.80	c 1202s |      21 |  1315607 |  1135345 |    13704    176 |      744 |        0
1204.61/1204.83	c 1204s |      21 |  1318552 |  1137945 |    13704    176 |      744 |        0
1206.61/1206.88	c 1206s |      21 |  1320968 |  1140145 |    13704    177 |      744 |        0
1208.71/1208.90	c 1208s |      21 |  1323874 |  1142745 |    13704    177 |      744 |        0
1210.71/1210.96	c 1210s |      21 |  1325918 |  1144645 |    13704    177 |      744 |        0
1212.70/1212.97	c 1212s |      21 |  1327519 |  1146245 |    13704    177 |      744 |        0
1214.70/1214.99	c 1214s |      21 |  1328824 |  1147545 |    13704    178 |      744 |        0
1217.81/1218.01	c 1217s |      21 |  1330940 |  1149645 |    13704    178 |      744 |        0
1219.81/1220.07	c 1219s |      21 |  1333734 |  1152145 |    13704    178 |      744 |        0
1221.80/1222.09	c 1221s |      21 |  1336204 |  1154345 |    13704    178 |      744 |        0
1223.90/1224.10	c 1223s |      21 |  1338323 |  1156245 |    13704    178 |      744 |        0
1225.90/1226.16	c 1225s |      21 |  1340386 |  1158145 |    13704    179 |      744 |        0
1228.20/1228.41	c 1228s |      21 |  1342195 |  1159945 |    13704    179 |      744 |        0
1230.20/1230.46	c 1230s |      21 |  1344197 |  1161945 |    13704    179 |      744 |        0
1232.20/1232.47	c 1232s |      21 |  1345908 |  1163645 |    13704    179 |      744 |        0
1234.30/1234.51	c 1234s |      21 |  1347612 |  1165345 |    13704    179 |      744 |        0
1236.30/1236.55	c 1236s |      21 |  1348915 |  1166645 |    13704    180 |      744 |        0
1238.29/1238.58	c 1238s |      21 |  1351326 |  1169045 |    13704    180 |      744 |        0
1240.70/1240.91	c 1240s |      21 |  1353339 |  1171045 |    13704    180 |      744 |        0
1242.69/1242.93	c 1242s |      21 |  1356065 |  1173545 |    13704    180 |      744 |        0
1244.69/1244.97	c 1244s |      21 |  1358216 |  1175445 |    13704    181 |      744 |        0
1246.69/1246.98	c 1246s |      21 |  1360299 |  1177245 |    13704    181 |      744 |        0
1248.79/1249.08	c 1248s |      21 |  1363006 |  1179645 |    13704    181 |      744 |        0
1250.89/1251.18	c 1250s |      21 |  1365647 |  1182045 |    13704    181 |      744 |        0
1252.89/1253.18	c 1252s |      21 |  1367658 |  1184045 |    13704    181 |      744 |        0
1254.89/1255.18	c 1254s |      21 |  1369473 |  1185845 |    13704    182 |      744 |        0
1256.98/1257.22	c 1256s |      21 |  1371384 |  1187745 |    13704    182 |      744 |        0
1258.99/1259.25	c 1258s |      21 |  1373395 |  1189745 |    13704    182 |      744 |        0
1261.09/1261.32	c 1260s |      21 |  1375208 |  1191545 |    13704    182 |      744 |        0
1266.28/1266.50	c 1266s |      21 |  1376912 |  1193245 |    13704    182 |      744 |        0
1268.28/1268.54	c 1268s |      21 |  1377554 |  1193845 |    13704    183 |      744 |        0
1270.29/1270.57	c 1270s |      21 |  1380283 |  1196345 |    13704    183 |      744 |        0
1272.38/1272.64	c 1272s |      21 |  1382878 |  1198645 |    13704    183 |      744 |        0
1274.48/1274.74	c 1274s |      21 |  1385427 |  1200945 |    13704    183 |      744 |        0
1277.38/1277.67	c 1277s |      21 |  1387531 |  1202845 |    13704    184 |      744 |        0
1279.47/1279.70	c 1279s |      21 |  1390177 |  1205145 |    13704    184 |      744 |        0
1281.48/1281.75	c 1281s |      21 |  1391083 |  1205945 |    13704    184 |      744 |        0
1283.59/1283.82	c 1283s |      21 |  1393575 |  1208145 |    13704    184 |      744 |        0
1285.58/1285.83	c 1285s |      21 |  1395740 |  1210045 |    13704    184 |      744 |        0
1287.68/1287.96	c 1287s |      21 |  1397838 |  1211945 |    13704    184 |      744 |        0
1289.77/1290.02	c 1289s |      21 |  1399923 |  1213745 |    13704    185 |      744 |        0
1291.77/1292.06	c 1291s |      21 |  1402227 |  1215845 |    13704    185 |      744 |        0
1293.87/1294.14	c 1293s |      21 |  1404653 |  1218045 |    13704    185 |      744 |        0
1295.87/1296.19	c 1295s |      21 |  1406805 |  1220045 |    13704    185 |      744 |        0
1298.07/1298.33	c 1297s |      21 |  1408140 |  1221245 |    13704    186 |      744 |        0
1300.07/1300.38	c 1300s |      21 |  1411045 |  1223845 |    13704    186 |      744 |        0
1302.17/1302.42	c 1302s |      21 |  1413634 |  1226145 |    13704    186 |      744 |        0
1304.17/1304.46	c 1304s |      21 |  1415961 |  1228245 |    13704    186 |      744 |        0
1306.17/1306.47	c 1306s |      21 |  1418107 |  1230145 |    13704    186 |      744 |        0
1308.27/1308.52	c 1308s |      21 |  1420046 |  1231845 |    13704    187 |      744 |        0
1312.96/1313.24	c 1312s |      21 |  1422497 |  1234045 |    13704    187 |      744 |        0
1315.06/1315.31	c 1314s |      21 |  1424512 |  1236045 |    13704    187 |      744 |        0
1317.05/1317.37	c 1317s |      21 |  1426320 |  1237845 |    13704    187 |      744 |        0
1319.05/1319.38	c 1319s |      21 |  1427923 |  1239445 |    13704    187 |      744 |        0
1321.15/1321.42	c 1321s |      21 |  1429135 |  1240645 |    13704    188 |      744 |        0
1323.25/1323.56	c 1323s |      21 |  1431140 |  1242645 |    13704    188 |      744 |        0
1325.36/1325.66	c 1325s |      21 |  1432950 |  1244445 |    13704    188 |      744 |        0
1328.35/1328.67	c 1328s |      21 |  1434559 |  1246045 |    13704    188 |      744 |        0
1330.44/1330.71	c 1330s |      21 |  1436165 |  1247645 |    13704    188 |      744 |        0
1332.44/1332.75	c 1332s |      21 |  1437568 |  1249045 |    13704    189 |      744 |        0
1334.54/1334.80	c 1334s |      21 |  1439876 |  1251345 |    13704    189 |      744 |        0
1336.54/1336.82	c 1336s |      21 |  1441585 |  1253045 |    13704    189 |      744 |        0
1338.55/1338.83	c 1338s |      21 |  1443398 |  1254845 |    13704    189 |      744 |        0
1340.64/1340.93	c 1340s |      21 |  1445201 |  1256645 |    13704    189 |      744 |        0
1343.84/1344.20	c 1343s |      21 |  1446607 |  1258045 |    13704    190 |      744 |        0
1346.04/1346.35	c 1345s |      21 |  1447761 |  1259145 |    13704    190 |      744 |        0
1348.14/1348.44	c 1348s |      21 |  1450362 |  1261545 |    13704    190 |      744 |        0
1350.14/1350.44	c 1350s |      21 |  1452909 |  1263845 |    13704    190 |      744 |        0
1352.14/1352.46	c 1352s |      21 |  1455242 |  1265945 |    13704    190 |      744 |        0
1354.53/1354.85	c 1354s |      21 |  1456673 |  1267245 |    13704    191 |      744 |        0
1356.63/1356.91	c 1356s |      21 |  1459433 |  1269745 |    13704    191 |      744 |        0
1358.64/1358.97	c 1358s |      21 |  1461405 |  1271545 |    13704    191 |      744 |        0
1360.74/1361.01	c 1360s |      21 |  1463366 |  1273245 |    13704    191 |      744 |        0
1362.74/1363.05	c 1362s |      21 |  1465537 |  1275245 |    13704    191 |      744 |        0
1364.84/1365.17	c 1364s |      21 |  1466846 |  1276545 |    13704    192 |      744 |        0
1366.83/1367.19	c 1366s |      21 |  1468756 |  1278445 |    13704    192 |      744 |        0
1368.93/1369.21	c 1368s |      21 |  1470870 |  1280545 |    13704    192 |      744 |        0
1370.93/1371.26	c 1370s |      21 |  1472884 |  1282545 |    13704    192 |      744 |        0
1373.23/1373.50	c 1373s |      21 |  1473490 |  1283145 |    13704    192 |      744 |        0
1375.23/1375.58	c 1375s |      21 |  1475399 |  1285045 |    13704    192 |      744 |        0
1377.22/1377.58	c 1377s |      21 |  1477200 |  1286845 |    13704    193 |      744 |        0
1379.32/1379.69	c 1379s |      21 |  1479613 |  1289245 |    13704    193 |      744 |        0
1381.43/1381.73	c 1381s |      21 |  1481822 |  1291445 |    13704    193 |      744 |        0
1383.42/1383.79	c 1383s |      21 |  1483827 |  1293445 |    13704    193 |      744 |        0
1385.82/1386.16	c 1385s |      21 |  1485644 |  1295245 |    13704    194 |      744 |        0
1387.82/1388.19	c 1387s |      21 |  1488566 |  1297945 |    13704    194 |      744 |        0
1389.91/1390.24	c 1389s |      21 |  1491360 |  1300445 |    13704    194 |      744 |        0
1391.92/1392.29	c 1391s |      21 |  1493620 |  1302645 |    13704    194 |      744 |        0
1394.02/1394.36	c 1393s |      21 |  1495122 |  1304145 |    13704    195 |      744 |        0
1399.32/1399.63	c 1399s |      21 |  1495622 |  1304645 |    13704    195 |      744 |        0
1401.42/1401.71	c 1401s |      21 |  1497656 |  1306545 |    13704    195 |      744 |        0
1403.42/1403.71	c 1403s |      21 |  1499767 |  1308645 |    13704    195 |      744 |        0
1405.42/1405.74	c 1405s |      21 |  1501778 |  1310645 |    13704    195 |      744 |        0
1407.52/1407.85	c 1407s |      21 |  1503688 |  1312545 |    13704    195 |      744 |        0
1409.51/1409.89	c 1409s |      21 |  1505492 |  1314345 |    13704    196 |      744 |        0
1411.61/1411.98	c 1411s |      21 |  1507902 |  1316745 |    13704    196 |      744 |        0
1413.71/1414.04	c 1413s |      21 |  1510015 |  1318845 |    13704    196 |      744 |        0
1415.81/1416.11	c 1415s |      21 |  1512224 |  1321045 |    13704    196 |      744 |        0
1417.81/1418.15	c 1417s |      21 |  1514130 |  1322945 |    13704    197 |      744 |        0
1419.81/1420.17	c 1419s |      21 |  1516142 |  1324945 |    13704    197 |      744 |        0
1421.90/1422.23	c 1421s |      21 |  1518548 |  1327345 |    13704    197 |      744 |        0
1423.90/1424.29	c 1423s |      21 |  1520762 |  1329545 |    13704    197 |      744 |        0
1426.30/1426.64	c 1426s |      21 |  1522877 |  1331645 |    13704    198 |      744 |        0
1428.40/1428.70	c 1428s |      21 |  1524783 |  1333545 |    13704    198 |      744 |        0
1430.40/1430.70	c 1430s |      21 |  1526892 |  1335645 |    13704    198 |      744 |        0
1432.40/1432.76	c 1432s |      21 |  1529008 |  1337745 |    13704    198 |      744 |        0
1434.50/1434.84	c 1434s |      21 |  1531219 |  1339945 |    13704    198 |      744 |        0
1437.41/1437.72	c 1437s |      21 |  1531828 |  1340545 |    13704    198 |      744 |        0
1439.40/1439.79	c 1439s |      21 |  1533234 |  1341945 |    13704    199 |      744 |        0
1441.50/1441.84	c 1441s |      21 |  1535643 |  1344345 |    13704    199 |      744 |        0
1443.60/1443.90	c 1443s |      21 |  1537554 |  1346245 |    13704    199 |      744 |        0
1445.60/1445.95	c 1445s |      21 |  1539658 |  1348345 |    13704    199 |      744 |        0
1447.60/1447.97	c 1447s |      21 |  1541565 |  1350245 |    13704    200 |      744 |        0
1449.70/1450.00	c 1449s |      21 |  1543677 |  1352345 |    13704    200 |      744 |        0
1451.70/1452.03	c 1451s |      21 |  1546089 |  1354745 |    13704    200 |      744 |        0
1453.70/1454.06	c 1453s |      21 |  1548400 |  1357045 |    13704    200 |      744 |        0
1455.69/1456.09	c 1455s |      21 |  1550515 |  1359145 |    13704    200 |      744 |        0
1457.79/1458.12	c 1457s |      21 |  1552725 |  1361345 |    13704    201 |      744 |        0
1461.49/1461.88	c 1461s |      21 |  1554733 |  1363345 |    13704    201 |      744 |        0
1463.59/1463.98	c 1463s |      21 |  1556838 |  1365445 |    13704    201 |      744 |        0
1465.69/1466.03	c 1465s |      21 |  1558746 |  1367345 |    13704    201 |      744 |        0
1467.68/1468.03	c 1467s |      21 |  1560253 |  1368845 |    13704    202 |      744 |        0
1469.68/1470.06	c 1469s |      21 |  1562458 |  1371045 |    13704    202 |      744 |        0
1471.68/1472.09	c 1471s |      21 |  1564875 |  1373445 |    13704    202 |      744 |        0
1474.98/1475.38	c 1475s |      21 |  1566285 |  1374845 |    13704    202 |      744 |        0
1477.09/1477.41	c 1477s |      21 |  1568391 |  1376945 |    13704    202 |      744 |        0
1479.08/1479.42	c 1479s |      21 |  1569500 |  1378045 |    13704    203 |      744 |        0
1481.08/1481.42	c 1481s |      21 |  1571808 |  1380345 |    13704    203 |      744 |        0
1483.08/1483.47	c 1483s |      21 |  1574213 |  1382745 |    13704    203 |      744 |        0
1485.18/1485.50	c 1485s |      21 |  1576430 |  1384945 |    13704    203 |      744 |        0
1489.57/1489.97	c 1489s |      21 |  1577736 |  1386245 |    13704    203 |      744 |        0
1491.67/1492.01	c 1491s |      21 |  1579145 |  1387645 |    13704    204 |      744 |        0
1493.67/1494.02	c 1493s |      21 |  1581549 |  1390045 |    13704    204 |      744 |        0
1495.68/1496.05	c 1495s |      21 |  1583762 |  1392245 |    13704    204 |      744 |        0
1497.67/1498.07	c 1497s |      21 |  1585968 |  1394445 |    13704    204 |      744 |        0
1499.77/1500.14	c 1499s |      21 |  1587980 |  1396445 |    13704    205 |      744 |        0
1501.77/1502.15	c 1501s |      21 |  1590297 |  1398745 |    13704    205 |      744 |        0
1503.87/1504.23	c 1503s |      21 |  1592609 |  1401045 |    13704    205 |      744 |        0
1505.87/1506.26	c 1505s |      21 |  1594920 |  1403345 |    13704    205 |      744 |        0
1507.88/1508.29	c 1507s |      21 |  1596832 |  1405245 |    13704    206 |      744 |        0
1509.87/1510.29	c 1509s |      21 |  1599135 |  1407545 |    13704    206 |      744 |        0
1513.06/1513.41	c 1513s |      21 |  1600747 |  1409145 |    13704    206 |      744 |        0
1515.06/1515.42	c 1515s |      21 |  1602954 |  1411345 |    13704    206 |      744 |        0
1517.16/1517.54	c 1517s |      21 |  1605165 |  1413545 |    13704    206 |      744 |        0
1519.46/1519.84	c 1519s |      21 |  1606773 |  1415145 |    13704    207 |      744 |        0
1521.46/1521.88	c 1521s |      21 |  1609176 |  1417545 |    13704    207 |      744 |        0
1523.56/1523.90	c 1523s |      21 |  1611485 |  1419845 |    13704    207 |      744 |        0
1525.56/1525.93	c 1525s |      21 |  1613403 |  1421745 |    13704    207 |      744 |        0
1527.67/1528.05	c 1527s |      21 |  1615311 |  1423645 |    13704    208 |      744 |        0
1529.76/1530.13	c 1529s |      21 |  1617721 |  1426045 |    13704    208 |      744 |        0
1531.76/1532.17	c 1531s |      21 |  1620125 |  1428445 |    13704    208 |      744 |        0
1533.86/1534.24	c 1533s |      21 |  1622431 |  1430745 |    13704    208 |      744 |        0
1537.15/1537.54	c 1537s |      21 |  1623741 |  1432045 |    13704    208 |      744 |        0
1539.15/1539.58	c 1539s |      21 |  1625045 |  1433345 |    13704    209 |      744 |        0
1541.25/1541.65	c 1541s |      21 |  1627456 |  1435745 |    13704    209 |      744 |        0
1543.35/1543.73	c 1543s |      21 |  1629770 |  1438045 |    13704    209 |      744 |        0
1545.35/1545.73	c 1545s |      21 |  1631777 |  1440045 |    13704    209 |      744 |        0
1547.55/1547.99	c 1547s |      21 |  1633775 |  1442045 |    13704    210 |      744 |        0
1553.05/1553.40	c 1553s |      21 |  1635184 |  1443445 |    13704    210 |      744 |        0
1555.06/1555.43	c 1555s |      21 |  1637391 |  1445645 |    13704    210 |      744 |        0
1557.05/1557.43	c 1557s |      21 |  1639804 |  1448045 |    13704    210 |      744 |        0
1559.05/1559.47	c 1559s |      21 |  1641913 |  1450145 |    13704    210 |      744 |        0
1561.15/1561.50	c 1561s |      21 |  1643523 |  1451745 |    13704    211 |      744 |        0
1563.15/1563.57	c 1563s |      21 |  1645727 |  1453945 |    13704    211 |      744 |        0
1566.44/1566.86	c 1566s |      21 |  1646735 |  1454945 |    13704    211 |      744 |        0
1568.54/1568.93	c 1568s |      21 |  1648941 |  1457145 |    13704    211 |      744 |        0
1570.64/1571.03	c 1570s |      21 |  1651162 |  1459345 |    13704    211 |      744 |        0
1572.65/1573.06	c 1572s |      21 |  1653171 |  1461345 |    13704    212 |      744 |        0
1574.64/1575.07	c 1574s |      21 |  1655378 |  1463545 |    13704    212 |      744 |        0
1576.74/1577.11	c 1576s |      21 |  1657785 |  1465945 |    13704    212 |      744 |        0
1579.94/1580.37	c 1579s |      21 |  1658191 |  1466345 |    13704    212 |      744 |        0
1582.04/1582.45	c 1582s |      21 |  1660302 |  1468445 |    13704    212 |      744 |        0
1584.14/1584.53	c 1584s |      21 |  1661808 |  1469945 |    13704    213 |      744 |        0
1586.14/1586.59	c 1586s |      21 |  1664222 |  1472345 |    13704    213 |      744 |        0
1588.24/1588.64	c 1588s |      21 |  1666629 |  1474745 |    13704    213 |      744 |        0
1590.25/1590.68	c 1590s |      21 |  1668841 |  1476945 |    13704    213 |      744 |        0
1593.73/1594.17	c 1593s |      21 |  1669648 |  1477745 |    13704    213 |      744 |        0
1595.84/1596.25	c 1595s |      21 |  1671254 |  1479345 |    13704    214 |      744 |        0
1597.94/1598.32	c 1597s |      21 |  1673667 |  1481745 |    13704    214 |      744 |        0
1599.93/1600.37	c 1600s |      21 |  1675878 |  1483945 |    13704    214 |      744 |        0
1602.03/1602.43	c 1602s |      21 |  1677984 |  1486045 |    13704    214 |      744 |        0
1604.13/1604.50	c 1604s |      21 |  1679997 |  1488045 |    13704    215 |      744 |        0
1608.03/1608.44	c 1608s |      21 |  1681303 |  1489345 |    13704    215 |      744 |        0
1612.73/1613.15	c 1612s |      21 |  1682306 |  1490345 |    15075    215 |      744 |        0
1617.53/1617.96	c 1617s |      21 |  1683396 |  1491345 |    15075    215 |      744 |        0
1619.63/1620.01	c 1619s |      21 |  1684798 |  1492745 |    15075    215 |      744 |        0
1621.63/1622.07	c 1621s |      21 |  1686211 |  1494145 |    15075    215 |      744 |        0
1623.72/1624.13	c 1623s |      21 |  1688315 |  1496245 |    15075    215 |      744 |        0
1625.82/1626.20	c 1625s |      21 |  1690427 |  1498345 |    15075    215 |      744 |        0
1627.82/1628.28	c 1627s |      21 |  1692243 |  1500145 |    15075    216 |      744 |        0
1628.22/1628.66	c 1628s |      22 |  1692721 |  1500622 |    15075    216 |      744 |        0
1630.33/1630.70	c 1630s |      22 |  1700586 |  1502322 |    15075    216 |      744 |        0
1632.33/1632.70	c 1632s |      22 |  1703692 |  1505322 |    15075    216 |      744 |        0
1634.33/1634.72	c 1634s |      22 |  1706456 |  1508022 |    15075    216 |      744 |        0
1636.33/1636.76	c 1636s |      22 |  1708748 |  1510222 |    15075    217 |      744 |        0
1638.33/1638.77	c 1638s |      22 |  1713443 |  1514622 |    15075    217 |      744 |        0
1640.42/1640.81	c 1640s |      22 |  1717518 |  1518622 |    15075    218 |      744 |        0
1642.42/1642.87	c 1642s |      22 |  1720853 |  1521922 |    15075    218 |      744 |        0
1644.52/1644.95	c 1644s |      22 |  1723492 |  1524522 |    15075    218 |      744 |        0
1646.72/1647.15	c 1646s |      22 |  1725812 |  1526822 |    15075    219 |      744 |        0
1648.71/1649.17	c 1648s |      22 |  1728322 |  1529322 |    15075    219 |      744 |        0
1650.72/1651.18	c 1650s |      22 |  1730554 |  1531522 |    15075    219 |      744 |        0
1652.81/1653.27	c 1652s |      22 |  1732270 |  1533222 |    15075    219 |      744 |        0
1654.91/1655.32	c 1654s |      22 |  1733975 |  1534922 |    15075    219 |      744 |        0
1657.01/1657.41	c 1657s |      22 |  1735391 |  1536322 |    15075    220 |      744 |        0
1659.00/1659.41	c 1659s |      22 |  1737107 |  1538022 |    15075    220 |      744 |        0
1661.00/1661.45	c 1661s |      22 |  1738923 |  1539822 |    15075    220 |      744 |        0
1663.00/1663.46	c 1663s |      22 |  1741345 |  1542222 |    15075    220 |      744 |        0
1665.11/1665.52	c 1665s |      22 |  1744052 |  1544922 |    15075    220 |      744 |        0
1667.10/1667.53	c 1667s |      22 |  1746056 |  1546922 |    15075    221 |      744 |        0
1669.19/1669.60	c 1669s |      22 |  1749171 |  1550022 |    15075    221 |      744 |        0
1671.19/1671.60	c 1671s |      22 |  1751686 |  1552522 |    15075    221 |      744 |        0
1673.19/1673.63	c 1673s |      22 |  1754098 |  1554922 |    15075    221 |      744 |        0
1675.19/1675.66	c 1675s |      22 |  1756209 |  1557022 |    15075    222 |      744 |        0
1677.29/1677.71	c 1677s |      22 |  1759414 |  1560222 |    15075    222 |      744 |        0
1679.31/1679.71	c 1679s |      22 |  1761435 |  1562222 |    15075    222 |      744 |        0
1681.30/1681.73	c 1681s |      22 |  1763847 |  1564622 |    15075    223 |      744 |        0
1683.30/1683.76	c 1683s |      22 |  1766160 |  1566922 |    15075    223 |      744 |        0
1685.40/1685.83	c 1685s |      22 |  1768972 |  1569722 |    15075    223 |      744 |        0
1687.40/1687.85	c 1687s |      22 |  1771687 |  1572422 |    15075    223 |      744 |        0
1689.49/1689.91	c 1689s |      22 |  1773794 |  1574522 |    15075    224 |      744 |        0
1691.50/1691.93	c 1691s |      22 |  1777006 |  1577722 |    15075    224 |      744 |        0
1693.49/1694.00	c 1693s |      22 |  1779527 |  1580222 |    15075    224 |      744 |        0
1695.59/1696.05	c 1695s |      22 |  1781849 |  1582522 |    15075    224 |      744 |        0
1697.69/1698.10	c 1697s |      22 |  1784075 |  1584722 |    15075    225 |      744 |        0
1699.68/1700.12	c 1699s |      22 |  1787215 |  1587822 |    15075    225 |      744 |        0
1701.78/1702.21	c 1701s |      22 |  1789837 |  1590422 |    15075    225 |      744 |        0
1703.88/1704.39	c 1704s |      22 |  1792457 |  1593022 |    15075    226 |      744 |        0
1705.98/1706.43	c 1706s |      22 |  1794270 |  1594822 |    15075    226 |      744 |        0
1707.99/1708.45	c 1708s |      22 |  1797112 |  1597622 |    15075    226 |      744 |        0
1710.08/1710.53	c 1710s |      22 |  1799336 |  1599822 |    15075    226 |      744 |        0
1712.18/1712.63	c 1712s |      22 |  1801257 |  1601722 |    15075    226 |      744 |        0
1714.28/1714.72	c 1714s |      22 |  1803288 |  1603722 |    15075    227 |      744 |        0
1716.28/1716.74	c 1716s |      22 |  1806210 |  1606622 |    15075    227 |      744 |        0
1718.37/1718.80	c 1718s |      22 |  1808933 |  1609322 |    15075    227 |      744 |        0
1720.37/1720.84	c 1720s |      22 |  1811576 |  1611922 |    15075    228 |      744 |        0
1722.37/1722.87	c 1722s |      22 |  1813679 |  1614022 |    15075    228 |      744 |        0
1724.38/1724.88	c 1724s |      22 |  1816012 |  1616322 |    15075    228 |      744 |        0
1726.47/1726.94	c 1726s |      22 |  1818346 |  1618622 |    15075    228 |      744 |        0
1728.57/1729.03	c 1728s |      22 |  1820160 |  1620422 |    15075    228 |      744 |        0
1730.57/1731.09	c 1730s |      22 |  1822275 |  1622522 |    15075    229 |      744 |        0
1732.66/1733.11	c 1732s |      22 |  1825103 |  1625322 |    15075    229 |      744 |        0
1734.66/1735.19	c 1734s |      22 |  1827421 |  1627622 |    15075    229 |      744 |        0
1736.76/1737.25	c 1736s |      22 |  1829733 |  1629922 |    15075    229 |      744 |        0
1739.88/1740.31	c 1739s |      22 |  1831650 |  1631822 |    15075    230 |      744 |        0
1741.87/1742.31	c 1741s |      22 |  1834557 |  1634722 |    15075    230 |      744 |        0
1743.87/1744.39	c 1744s |      22 |  1837081 |  1637222 |    15075    230 |      744 |        0
1745.97/1746.46	c 1746s |      22 |  1839508 |  1639622 |    15075    230 |      744 |        0
1748.07/1748.51	c 1748s |      22 |  1842314 |  1642422 |    15075    231 |      744 |        0
1750.06/1750.54	c 1750s |      22 |  1845633 |  1645722 |    15075    231 |      744 |        0
1752.06/1752.60	c 1752s |      22 |  1847957 |  1648022 |    15075    231 |      744 |        0
1754.17/1754.61	c 1754s |      22 |  1850673 |  1650722 |    15075    232 |      744 |        0
1756.16/1756.64	c 1756s |      22 |  1854111 |  1654122 |    15075    232 |      744 |        0
1758.16/1758.67	c 1758s |      22 |  1856325 |  1656322 |    15075    232 |      744 |        0
1760.45/1760.95	c 1760s |      22 |  1858841 |  1658822 |    15075    233 |      744 |        0
1762.45/1762.97	c 1762s |      22 |  1861455 |  1661422 |    15075    233 |      744 |        0
1764.55/1765.00	c 1764s |      22 |  1864176 |  1664122 |    15075    233 |      744 |        0
1766.55/1767.03	c 1766s |      22 |  1866799 |  1666722 |    15075    233 |      744 |        0
1768.55/1769.08	c 1768s |      22 |  1869630 |  1669522 |    15075    234 |      744 |        0
1770.95/1771.42	c 1771s |      22 |  1871647 |  1671522 |    15075    234 |      744 |        0
1772.95/1773.46	c 1773s |      22 |  1874260 |  1674122 |    15075    234 |      744 |        0
1775.05/1775.56	c 1775s |      22 |  1876676 |  1676522 |    15075    234 |      744 |        0
1777.54/1778.05	c 1777s |      22 |  1878487 |  1678322 |    15075    235 |      744 |        0
1779.64/1780.10	c 1779s |      22 |  1882010 |  1681822 |    15075    235 |      744 |        0
1781.65/1782.11	c 1781s |      22 |  1885124 |  1684922 |    15075    235 |      744 |        0
1783.64/1784.16	c 1783s |      22 |  1887346 |  1687122 |    15075    236 |      744 |        0
1785.64/1786.19	c 1785s |      22 |  1889979 |  1689722 |    15075    236 |      744 |        0
1787.74/1788.20	c 1787s |      22 |  1891781 |  1691522 |    15075    236 |      744 |        0
1789.74/1790.21	c 1789s |      22 |  1893795 |  1693522 |    15075    236 |      744 |        0
1791.74/1792.23	c 1791s |      22 |  1895814 |  1695522 |    15075    236 |      744 |        0
1793.75/1794.23	c 1793s |      22 |  1897830 |  1697522 |    15075    237 |      744 |        0
1795.94/1796.47	c 1796s |      22 |  1898233 |  1697922 |    15075    237 |      744 |        0
1798.04/1798.50	c 1798s |      22 |  1901043 |  1700722 |    15075    237 |      744 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=16014
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.25 2.19 2.18 3/179 16017
/proc/meminfo: memFree=29348688/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=686660 CPUtime=0 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 2556 0 0 0 0 0 0 0 20 0 4 0 24835050 703139840 2405 33554432000 4194304 16246674 140734335150560 140734335149984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 172177 2415 442 2943 0 169071 0
[pid=16017/tid=16018] ppid=16014 vsize=703044 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 719917056 2472 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=708164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 725159936 2490 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=711236 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24835051 728305664 2504 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.25 2.19 2.18 3/179 16017
/proc/meminfo: memFree=29348688/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 28406 0 0 0 5 4 0 0 20 0 4 0 24835050 1249447936 28193 33554432000 4194304 16246674 140734335150560 140734335149872 12657333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 305041 28205 835 2943 0 301935 0
[pid=16017/tid=16018] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 28215 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 28228 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 28240 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200529 s]
/proc/loadavg: 2.25 2.19 2.18 3/179 16017
/proc/meminfo: memFree=29348688/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 62171 0 0 0 11 8 0 0 20 0 4 0 24835050 1249447936 61959 33554432000 4194304 16246674 140734335150560 140734335132480 6958849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 305041 61986 835 2943 0 301935 0
[pid=16017/tid=16018] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 61999 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 62011 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 62023 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300485 s]
/proc/loadavg: 2.25 2.19 2.18 3/179 16017
/proc/meminfo: memFree=29348688/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 96227 0 0 0 15 14 0 0 20 0 4 0 24835050 1249447936 96014 33554432000 4194304 16246674 140734335150560 140734335132480 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 305041 96027 835 2943 0 301935 0
[pid=16017/tid=16018] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 96041 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 96047 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 96053 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700406 s]
/proc/loadavg: 2.25 2.19 2.18 3/179 16017
/proc/meminfo: memFree=29348688/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 164341 0 0 0 46 23 0 0 20 0 4 0 24835050 1249447936 164128 33554432000 4194304 16246674 140734335150560 140734335132480 6021133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 305041 164134 886 2943 0 301935 0
[pid=16017/tid=16018] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 164138 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 164141 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24835051 1249447936 164143 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50037 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 16021
/proc/meminfo: memFree=28465884/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1296964 CPUtime=1.49 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 265334 0 0 0 113 36 0 0 20 0 4 0 24835050 1328091136 265121 33554432000 4194304 16246674 140734335150560 140734335149872 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 324241 265121 889 2943 0 321135 0
[pid=16017/tid=16018] ppid=16014 vsize=1296964 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1328091136 265121 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1296964 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1328091136 265121 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1296964 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1328091136 265121 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1296964

[startup+3.1004 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 16021
/proc/meminfo: memFree=28289716/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1309252 CPUtime=3.08 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 268438 0 0 0 272 36 0 0 20 0 4 0 24835050 1340674048 268225 33554432000 4194304 16246674 140734335150560 140734335133560 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 327313 268225 895 2943 0 324207 0
[pid=16017/tid=16018] ppid=16014 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1340674048 268225 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1340674048 268225 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1340674048 268225 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1309252

[startup+6.30043 s]
/proc/loadavg: 2.31 2.21 2.19 3/183 16021
/proc/meminfo: memFree=28276944/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 268513 0 0 0 592 37 0 0 20 0 4 0 24835050 1340674048 268300 33554432000 4194304 16246674 140734335150560 140734335132480 4220819 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 327313 268300 899 2943 0 324207 0
[pid=16017/tid=16018] ppid=16014 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1340674048 268300 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1340674048 268300 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1340674048 268300 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.29 2.20 2.18 3/183 16021
/proc/meminfo: memFree=28273020/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 269538 0 0 0 1232 37 0 0 20 0 4 0 24835050 1344868352 269325 33554432000 4194304 16246674 140734335150560 140734335132480 5673927 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 328337 269325 900 2943 0 325231 0
[pid=16017/tid=16018] ppid=16014 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1344868352 269325 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1344868352 269325 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1344868352 269325 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.29 2.21 2.19 3/183 16021
/proc/meminfo: memFree=28246132/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1340996 CPUtime=25.49 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 276450 0 0 0 2511 38 0 0 20 0 4 0 24835050 1373179904 276237 33554432000 4194304 16246674 140734335150560 140734335132480 5823891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 335249 276237 900 2943 0 332143 0
[pid=16017/tid=16018] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1340996

[startup+51.1005 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 16021
/proc/meminfo: memFree=28245904/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 276450 0 0 0 5070 38 0 0 20 0 4 0 24835050 1373179904 276237 33554432000 4194304 16246674 140734335150560 140734335133560 5545840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 335249 276237 900 2943 0 332143 0
[pid=16017/tid=16018] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 16022
/proc/meminfo: memFree=28223188/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1340996 CPUtime=102.27 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 276450 0 0 0 10188 39 0 0 20 0 4 0 24835050 1373179904 276237 33554432000 4194304 16246674 140734335150560 140734335132480 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 335249 276237 900 2943 0 332143 0
[pid=16017/tid=16018] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1373179904 276237 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1340996


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

/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1467972

[startup+1362.3 s]
/proc/loadavg: 2.21 2.31 2.27 3/183 16053
/proc/meminfo: memFree=28064484/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1467972 CPUtime=1362.04 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 308288 0 0 0 136117 87 0 0 20 0 4 0 24835050 1503203328 308239 33554432000 4194304 16246674 140734335150560 140734335132480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 366993 308239 902 2943 0 363887 0
[pid=16017/tid=16018] ppid=16014 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1467972

[startup+1422.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/183 16055
/proc/meminfo: memFree=28064464/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1467972 CPUtime=1422.01 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 308319 0 0 0 142112 89 0 0 20 0 4 0 24835050 1503203328 308239 33554432000 4194304 16246674 140734335150560 140734335132480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 366993 308239 902 2943 0 363887 0
[pid=16017/tid=16018] ppid=16014 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1467972 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1503203328 308239 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1467972

[startup+1482.3 s]
/proc/loadavg: 2.51 2.36 2.29 3/183 16056
/proc/meminfo: memFree=28003712/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1528388 CPUtime=1481.98 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 323460 0 0 0 148105 93 0 0 20 0 4 0 24835050 1565069312 323343 33554432000 4194304 16246674 140734335150560 140734335132480 5672222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 382097 323343 902 2943 0 378991 0
[pid=16017/tid=16018] ppid=16014 vsize=1528388 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1565069312 323343 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1528388 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1565069312 323343 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1528388 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1565069312 323343 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1528388

[startup+1542.31 s]
/proc/loadavg: 2.24 2.31 2.27 3/183 16057
/proc/meminfo: memFree=27937784/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1541.96 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337120 0 0 0 154101 95 0 0 20 0 4 0 24835050 1621692416 336980 33554432000 4194304 16246674 140734335150560 140734335132480 13191575 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 336980 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 336980 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 336980 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 336980 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1583684

[startup+1602.3 s]
/proc/loadavg: 2.36 2.33 2.28 3/183 16058
/proc/meminfo: memFree=27937400/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1601.93 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337334 0 0 0 160096 97 0 0 20 0 4 0 24835050 1621692416 337167 33554432000 4194304 16246674 140734335150560 140734335132480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 337167 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1583684

[startup+1662.3 s]
/proc/loadavg: 2.34 2.32 2.28 3/183 16059
/proc/meminfo: memFree=27937184/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1661.9 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337364 0 0 0 166091 99 0 0 20 0 4 0 24835050 1621692416 337167 33554432000 4194304 16246674 140734335150560 140734335132480 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 337167 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1583684

[startup+1722.3 s]
/proc/loadavg: 2.27 2.31 2.27 3/184 16112
/proc/meminfo: memFree=28035940/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1721.87 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337393 0 0 0 172087 100 0 0 20 0 4 0 24835050 1621692416 337167 33554432000 4194304 16246674 140734335150560 140734335132480 5722674 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 337167 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1583684

[startup+1782.3 s]
/proc/loadavg: 2.19 2.28 2.26 3/184 16136
/proc/meminfo: memFree=28034112/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1781.85 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337429 0 0 0 178083 102 0 0 20 0 4 0 24835050 1621692416 337167 33554432000 4194304 16246674 140734335150560 140734335132480 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 337167 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1583684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.28 2.26 3/184 16137
/proc/meminfo: memFree=28035284/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1800.04 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337441 0 0 0 179901 103 0 0 20 0 4 0 24835050 1621692416 337167 33554432000 4194304 16246674 140734335150560 140734335132480 12874997 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 337167 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1583684

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.28 2.26 3/184 16137
/proc/meminfo: memFree=28035284/32872528 swapFree=1286400/1433568
[pid=16017] ppid=16014 vsize=1583684 CPUtime=1800.04 cores=1,3,5,7
/proc/16017/stat : 16017 (toysat) R 16014 16017 12983 0 -1 4202496 337441 0 0 0 179901 103 0 0 20 0 4 0 24835050 1621692416 337167 33554432000 4194304 16246674 140734335150560 140734335132480 12874997 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16017/statm: 395921 337167 902 2943 0 392815 0
[pid=16017/tid=16018] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16018/stat : 16018 (toysat) S 16014 16017 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608214641904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=16017/tid=16019] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16019/stat : 16019 (toysat) S 16014 16017 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608204152048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=16017/tid=16020] ppid=16014 vsize=1583684 CPUtime=0 cores=1,3,5,7
/proc/16017/task/16020/stat : 16020 (toysat) S 16014 16017 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24835051 1621692416 337167 33554432000 4194304 16246674 140734335150560 140608193678512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1583684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1799.02
CPU system time (s): 1.05084
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1583684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.05084
maximum resident set size= 1348668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337441
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= 331
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.15 second user time and 14.7358 second system time

The end

Begin job on node130 at 2016-06-18 07:31:23
IDJOB=4101889
IDBENCH=1807
IDSOLVER=2542
FILE ID=node130/4101889-1466227883
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101889-1466227883/watcher-4101889-1466227883 -o /tmp/evaluation-result-4101889-1466227883/solver-4101889-1466227883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101889-1466227883.opb

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

MD5SUM BENCH= da103607b020ad44cf05bd0679eb486a
RANDOM SEED=1209861643

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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.365
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.53
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.365
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.365
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:        29349332 kB
Buffers:          109160 kB
Cached:           124336 kB
SwapCached:         1804 kB
Active:          1213644 kB
Inactive:         137832 kB
Active(anon):    1118744 kB
Inactive(anon):     1604 kB
Active(file):      94900 kB
Inactive(file):   136228 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2551028 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             602604 kB
SReclaimable:      46244 kB
SUnreclaim:       556360 kB
KernelStack:        1488 kB
PageTables:         9128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2694432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node130 at 2016-06-18 08:01:23