0.00/0.00	c 2016-06-18T01:59:03+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-4099793-1466207943.opb"]
0.00/0.01	c use --random-gen="499461794 2883610259 2867415890 22158440 1797540476 50207286 3212150339 181133971 2832398691 1835409934 2132957752 3151423028 1957873908 967277577 4025246748 540316024 393737132 434077897 500316758 773880008 4058968269 1829523187 1618922650 2361254501 964499167 2446371459 2978362956 930306875 2852211585 2948590707 3235060678 2512925401 712405832 3831967075 2369172281 1180417722 3371264708 4146618919 898321481 2667520109 4119914706 2893383664 2891004199 3309137686 2110861236 1217207301 3178210445 4120260201 1356360552 1107581439 601387579 343742272 127128732 3019808208 917841575 921824302 2579236386 3389784606 537266279 1149322407 4167100329 2044646154 1511128100 1069215694 204481835 1758875329 3051601592 2971759286 550912172 3601250180 657437626 75076130 2789818734 4031237296 2575106560 377418722 335340633 1751593990 1248427724 362040845 1364263 679907972 357330429 1041703818 3735292110 1027674656 1727589239 3710597520 3834353614 3221456406 3809762492 543415851 3452705189 3726201465 1847513132 1224800469 2364961183 4225392371 917492974 1678524017 1223698817 4069087947 1087822557 1250059143 2788929146 2585125966 1443935575 169906184 1788658265 973376085 569770177 2092976279 2364681785 1827667307 2540211479 2666271277 1932064311 3079057861 3374830736 4279288269 1823367950 1117811153 2219058926 2424198584 1509517277 271727502 3156904045 3189390972 113515155 903793941 377990927 3950977356 896587856 1175089562 1036615150 1592814727 1255022157 831099582 1387433153 2220630359 4070022796 629772430 2044767001 2446336265 563238399 361296352 1265148506 996627138 3741549595 1138326413 1973805462 171332629 1819589689 1843084565 384106156 2272558055 2192617553 2096066207 2771827124 3260426183 3378271948 4050618632 1594812308 2295977635 183226384 1923247625 678521486 1658419899 2368900513 177029518 1536516174 2248542507 4039456242 382314618 2978477755 2107006226 806074331 1221697851 1596420928 2992077296 3061447480 2188851049 312037787 3029627842 2301893145 570674149 4283843937 498739595 1411411953 461196765 1305545423 4283595737 2037340954 221907820 2965276454 3823534823 1083146157 4029782257 725784549 2680172323 166771865 237127327 3359657400 2372110923 2017405791 109111718 2218881874 4084186813 123501159 2793229923 1588440126 2690041269 2203277760 2767321512 764420728 723058082 3794532427 2742030889 3519647664 2912888642 166243351 4031811809 457385926 2400576048 3662491545 2967066322 760252939 2456778387 137760253 1490413650 3113005176 4206278838 1801388985 2030311844 837773369 2916067159 882486530 2156766916 3779686140 161521803 432568564 799316720 2205489764 1848227691 4043139274 3985804871 2453372817 1217490558 4003947238 448232511 333396807 2550249583 2785702973 2124824824 1200894174 1511970495 255 362436" option to reproduce the execution
0.09/0.18	c #vars 8904
0.09/0.18	c #constraints 823
0.49/0.52	c BCD2: Hardening is enabled.
0.49/0.52	c BCD2: BiasedSearch is enabled.
0.49/0.52	c Solving starts ...
0.49/0.52	c ============================[ Search Statistics ]============================
0.49/0.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.52	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.52	c =============================================================================
0.49/0.52	c  0.0s |       0 |        0 |        0 |     3516      0 |        0 |        0
0.59/0.62	c  0.1s |       1 |      671 |      100 |     3516      0 |        0 |        0
0.79/0.80	c  0.3s |       2 |     3092 |      250 |     3868      0 |        0 |        0
1.20/1.23	c  0.7s |       3 |    10388 |      475 |     4255      0 |        1 |        0
1.59/1.67	c  1.2s |       4 |    16825 |      813 |     4681      0 |        2 |        0
2.09/2.19	c  1.7s |       5 |    28036 |     1320 |     5150      0 |        3 |        0
2.79/2.85	c  2.3s |       6 |    37354 |     2081 |     6233      0 |        4 |        0
3.69/3.78	c  3.3s |       7 |    48383 |     3223 |     6857      0 |        6 |        0
5.69/5.73	c  5.2s |       8 |    79120 |     4936 |     7543      0 |        9 |        0
7.69/7.80	c  7.3s |       8 |   111006 |     6436 |     7543      0 |       13 |        0
9.18/9.28	c  8.8s |       9 |   131665 |     7506 |     8298      0 |       21 |        0
11.18/11.28	c 10.8s |       9 |   154374 |     8806 |     8298      1 |       28 |        0
13.29/13.37	c 12.8s |       9 |   173105 |    10806 |     8298      1 |       32 |        0
14.18/14.30	c 13.8s |      10 |   186784 |    11361 |     9128      1 |       36 |        0
16.28/16.39	c 15.9s |      10 |   211756 |    12961 |     9128      1 |       39 |        0
18.38/18.42	c 17.9s |      10 |   227591 |    14561 |     9128      2 |       43 |        0
20.38/20.47	c 20.0s |      10 |   253702 |    16161 |     9128      2 |       47 |        0
21.68/21.77	c 21.3s |      11 |   268172 |    17144 |    10041      2 |       48 |        0
23.78/23.89	c 23.4s |      11 |   289757 |    18544 |    10041      2 |       52 |        0
25.88/25.93	c 25.4s |      11 |   300939 |    19844 |    10041      2 |       54 |        0
27.98/28.01	c 27.5s |      11 |   314007 |    21044 |    10041      3 |       57 |        0
29.98/30.03	c 29.5s |      11 |   332465 |    22644 |    10041      3 |       58 |        0
31.99/32.06	c 31.5s |      11 |   351277 |    24044 |    10041      3 |       61 |        0
34.09/34.12	c 33.6s |      11 |   364223 |    25244 |    10041      3 |       63 |        0
35.08/35.14	c 34.6s |      12 |   365678 |    25819 |    11046      3 |       63 |        0
37.18/37.26	c 36.7s |      12 |   380287 |    26919 |    11046      4 |       65 |        0
39.28/39.30	c 38.8s |      12 |   406836 |    28519 |    11046      4 |       68 |        0
41.29/41.39	c 40.9s |      12 |   423176 |    30019 |    11046      4 |       68 |        0
43.38/43.49	c 43.0s |      12 |   429830 |    30819 |    11046      4 |       68 |        0
45.58/45.64	c 45.1s |      12 |   447300 |    32319 |    11046      4 |       68 |        0
47.88/47.92	c 47.4s |      12 |   459010 |    33319 |    11046      5 |       72 |        0
49.98/50.02	c 49.5s |      12 |   474260 |    35219 |    11046      5 |       75 |        0
52.08/52.14	c 51.6s |      12 |   498218 |    36719 |    11046      5 |       78 |        0
54.18/54.25	c 53.7s |      12 |   516643 |    38319 |    11046      5 |       80 |        0
55.28/55.35	c 54.8s |      13 |   523847 |    38832 |    12151      6 |       81 |        0
57.29/57.36	c 56.8s |      13 |   548494 |    40432 |    12151      6 |       85 |        0
59.39/59.42	c 58.9s |      13 |   553501 |    42132 |    12151      6 |       85 |        0
61.48/61.50	c 61.0s |      13 |   556728 |    43432 |    12151      6 |       85 |        0
63.68/63.77	c 63.2s |      13 |   566781 |    44832 |    12151      6 |       86 |        0
65.78/65.85	c 65.3s |      13 |   583073 |    45832 |    12151      7 |       89 |        0
67.98/68.02	c 67.5s |      13 |   605840 |    47432 |    12151      7 |       90 |        0
70.08/70.10	c 69.6s |      13 |   634810 |    49032 |    12151      7 |       91 |        0
72.08/72.19	c 71.7s |      13 |   659841 |    50432 |    12151      7 |       95 |        0
74.28/74.32	c 73.8s |      13 |   674897 |    52032 |    12151      7 |       95 |        0
76.38/76.49	c 76.0s |      13 |   692391 |    53432 |    12151      8 |       97 |        0
78.48/78.58	c 78.1s |      13 |   716613 |    55132 |    12151      8 |       98 |        0
80.57/80.66	c 80.1s |      13 |   742510 |    56532 |    12151      8 |      101 |        0
82.67/82.71	c 82.2s |      13 |   758036 |    57732 |    12151      8 |      104 |        0
83.58/83.63	c 83.1s |      14 |   766006 |    58352 |    13367      8 |      104 |        0
85.78/85.89	c 85.4s |      14 |   784976 |    59552 |    13367      9 |      106 |        0
87.87/87.95	c 87.4s |      14 |   801011 |    60952 |    13367      9 |      111 |        0
89.87/89.99	c 89.5s |      14 |   819160 |    62352 |    13367      9 |      115 |        0
92.07/92.13	c 91.6s |      14 |   830999 |    63652 |    13367      9 |      115 |        0
94.07/94.19	c 93.7s |      14 |   834037 |    64552 |    13367      9 |      115 |        0
96.47/96.55	c 96.0s |      14 |   847512 |    65552 |    13367      9 |      121 |        0
98.47/98.58	c 98.1s |      14 |   863830 |    66852 |    13367     10 |      121 |        0
100.57/100.65	c  100s |      14 |   881536 |    68252 |    13367     10 |      123 |        0
102.67/102.79	c  102s |      14 |   899510 |    69652 |    13367     10 |      126 |        0
104.97/105.07	c  104s |      14 |   920572 |    71152 |    13367     10 |      127 |        0
107.07/107.19	c  106s |      14 |   930687 |    72752 |    13367     10 |      128 |        0
109.17/109.27	c  108s |      14 |   936514 |    74052 |    13367     10 |      128 |        0
111.57/111.63	c  111s |      14 |   942269 |    75252 |    13367     11 |      128 |        0
113.67/113.78	c  113s |      14 |   946091 |    76352 |    13367     11 |      128 |        0
115.67/115.79	c  115s |      14 |   948587 |    77252 |    13367     11 |      128 |        0
117.68/117.80	c  117s |      14 |   951122 |    78252 |    13367     11 |      128 |        0
119.77/119.86	c  119s |      14 |   952322 |    79052 |    13367     11 |      128 |        0
121.77/121.87	c  121s |      14 |   956142 |    80352 |    13367     11 |      128 |        0
124.07/124.15	c  123s |      14 |   961917 |    81652 |    13367     12 |      129 |        0
126.07/126.16	c  125s |      14 |   989425 |    83352 |    13367     12 |      132 |        0
128.07/128.17	c  127s |      14 |  1021141 |    85152 |    13367     12 |      132 |        0
130.07/130.18	c  129s |      14 |  1038068 |    86752 |    13367     12 |      132 |        0
131.27/131.36	c  130s |      15 |  1047331 |    87632 |    14704     12 |      133 |        0
133.27/133.37	c  132s |      15 |  1064900 |    89032 |    14704     12 |      133 |        0
135.38/135.46	c  134s |      15 |  1072410 |    90332 |    14704     12 |      133 |        0
137.37/137.50	c  136s |      15 |  1080388 |    91832 |    14704     13 |      134 |        0
139.57/139.60	c  139s |      15 |  1087504 |    93532 |    14704     13 |      134 |        0
141.77/141.82	c  141s |      15 |  1093831 |    94632 |    14704     13 |      136 |        0
143.97/144.04	c  143s |      15 |  1122546 |    96332 |    14704     13 |      137 |        0
146.17/146.29	c  145s |      15 |  1151107 |    97732 |    14704     14 |      139 |        0
148.37/148.50	c  147s |      15 |  1166210 |    99032 |    14704     14 |      140 |        0
150.47/150.54	c  150s |      15 |  1180444 |   100632 |    14704     14 |      140 |        0
152.47/152.56	c  152s |      15 |  1186487 |   101832 |    14704     14 |      142 |        0
154.67/154.72	c  154s |      15 |  1191350 |   102932 |    14704     14 |      143 |        0
156.77/156.80	c  156s |      15 |  1204986 |   104232 |    14704     14 |      144 |        0
158.97/159.05	c  158s |      15 |  1213103 |   105232 |    14704     14 |      144 |        0
161.26/161.33	c  160s |      15 |  1215813 |   106032 |    14704     14 |      144 |        0
163.46/163.56	c  163s |      15 |  1217459 |   106432 |    14704     14 |      144 |        0
165.76/165.81	c  165s |      15 |  1221733 |   106932 |    14704     14 |      144 |        0
167.77/167.85	c  167s |      15 |  1224936 |   107532 |    14704     14 |      144 |        0
169.96/170.04	c  169s |      15 |  1227119 |   108032 |    14704     14 |      144 |        0
172.66/172.78	c  172s |      15 |  1230616 |   108632 |    14704     14 |      144 |        0
175.36/175.40	c  174s |      15 |  1232628 |   109032 |    14704     15 |      144 |        0
178.46/178.55	c  178s |      15 |  1233240 |   109232 |    14704     15 |      144 |        0
180.65/180.77	c  180s |      15 |  1233656 |   109432 |    14704     15 |      144 |        0
183.95/184.07	c  183s |      15 |  1234492 |   109632 |    14704     15 |      144 |        0
185.96/186.07	c  185s |      15 |  1235407 |   109832 |    14704     15 |      144 |        0
189.16/189.22	c  188s |      15 |  1236382 |   110132 |    14704     15 |      144 |        0
192.75/192.86	c  192s |      15 |  1236774 |   110332 |    14704     15 |      144 |        0
195.76/195.88	c  195s |      15 |  1237121 |   110532 |    14704     15 |      144 |        0
198.75/198.83	c  198s |      15 |  1237404 |   110732 |    14704     15 |      144 |        0
201.65/201.71	c  201s |      15 |  1237791 |   110932 |    14704     15 |      144 |        0
204.66/204.74	c  204s |      15 |  1238310 |   111132 |    14704     15 |      144 |        0
207.65/207.76	c  207s |      15 |  1238661 |   111332 |    14704     15 |      144 |        0
210.54/210.69	c  210s |      15 |  1239001 |   111532 |    14704     15 |      144 |        0
215.15/215.29	c  214s |      15 |  1239262 |   111732 |    14704     15 |      144 |        0
218.65/218.74	c  218s |      15 |  1239533 |   111932 |    14704     15 |      144 |        0
221.35/221.47	c  220s |      15 |  1239713 |   112032 |    14704     15 |      144 |        0
224.35/224.43	c  223s |      15 |  1239859 |   112132 |    14704     15 |      144 |        0
227.44/227.52	c  227s |      15 |  1240018 |   112232 |    14704     15 |      144 |        0
229.74/229.86	c  229s |      15 |  1240162 |   112332 |    14704     15 |      144 |        0
231.94/232.08	c  231s |      15 |  1240293 |   112432 |    14704     15 |      144 |        0
234.44/234.51	c  233s |      15 |  1240403 |   112532 |    14704     15 |      144 |        0
237.23/237.35	c  236s |      15 |  1240548 |   112632 |    14704     15 |      144 |        0
239.33/239.42	c  238s |      15 |  1240906 |   112732 |    14704     15 |      144 |        0
241.84/241.96	c  241s |      15 |  1241034 |   112832 |    14704     15 |      144 |        0
244.34/244.46	c  243s |      15 |  1241150 |   112932 |    14704     15 |      144 |        0
246.73/246.88	c  246s |      15 |  1241300 |   113032 |    14704     15 |      144 |        0
249.33/249.42	c  248s |      15 |  1241447 |   113132 |    14704     15 |      144 |        0
251.83/251.96	c  251s |      15 |  1241590 |   113232 |    14704     15 |      144 |        0
254.93/255.03	c  254s |      15 |  1241726 |   113332 |    14704     15 |      144 |        0
257.13/257.21	c  256s |      15 |  1249151 |   114032 |    14704     15 |      144 |        0
259.83/259.92	c  259s |      15 |  1254021 |   114532 |    14704     16 |      146 |        0
261.92/262.03	c  261s |      15 |  1267462 |   116032 |    14704     16 |      147 |        0
264.03/264.16	c  263s |      15 |  1276651 |   117132 |    14704     16 |      148 |        0
266.13/266.21	c  265s |      15 |  1290652 |   117932 |    14704     16 |      151 |        0
268.22/268.32	c  267s |      15 |  1296323 |   119132 |    14704     16 |      152 |        0
270.22/270.34	c  269s |      15 |  1300480 |   120332 |    14704     16 |      152 |        0
272.42/272.51	c  271s |      15 |  1314066 |   121232 |    14704     16 |      154 |        0
274.41/274.58	c  274s |      15 |  1325096 |   122532 |    14704     16 |      154 |        0
276.71/276.88	c  276s |      15 |  1328218 |   123332 |    14704     16 |      154 |        0
278.81/278.94	c  278s |      15 |  1333495 |   124132 |    14704     17 |      154 |        0
281.01/281.12	c  280s |      15 |  1349306 |   125332 |    14704     17 |      158 |        0
283.11/283.22	c  282s |      15 |  1359809 |   126232 |    14704     17 |      162 |        0
285.11/285.29	c  284s |      15 |  1375020 |   127832 |    14704     17 |      164 |        0
287.21/287.36	c  286s |      15 |  1381562 |   129732 |    14704     17 |      164 |        0
289.21/289.38	c  288s |      15 |  1392895 |   131032 |    16175     17 |      164 |        0
290.60/290.70	c  290s |      16 |  1394306 |   131552 |    16175     17 |      164 |        0
292.61/292.75	c  292s |      16 |  1403213 |   132352 |    16175     18 |      166 |        0
294.71/294.83	c  294s |      16 |  1425931 |   133952 |    16175     18 |      167 |        0
296.70/296.86	c  296s |      16 |  1438846 |   135652 |    16175     18 |      168 |        0
298.80/298.92	c  298s |      16 |  1453024 |   136952 |    16175     18 |      169 |        0
300.90/301.06	c  300s |      16 |  1462014 |   138352 |    16175     18 |      169 |        0
303.01/303.17	c  302s |      16 |  1471275 |   139352 |    16175     18 |      169 |        0
305.21/305.36	c  304s |      16 |  1477808 |   140652 |    16175     18 |      169 |        0
307.31/307.47	c  306s |      16 |  1499903 |   142252 |    16175     19 |      170 |        0
309.50/309.67	c  309s |      16 |  1513008 |   143452 |    16175     19 |      171 |        0
311.60/311.76	c  311s |      16 |  1539355 |   144852 |    16175     19 |      171 |        0
313.60/313.77	c  313s |      16 |  1554915 |   146052 |    16175     19 |      173 |        0
315.71/315.88	c  315s |      16 |  1575954 |   147452 |    16175     19 |      174 |        0
317.91/318.02	c  317s |      16 |  1598769 |   149052 |    16175     19 |      174 |        0
319.90/320.06	c  319s |      16 |  1621109 |   150452 |    16175     20 |      174 |        0
322.10/322.24	c  321s |      16 |  1638917 |   151752 |    16175     20 |      177 |        0
324.20/324.35	c  323s |      16 |  1657767 |   153452 |    16175     20 |      177 |        0
326.30/326.40	c  325s |      16 |  1677370 |   154952 |    16175     20 |      177 |        0
328.39/328.53	c  328s |      16 |  1692236 |   155952 |    16175     20 |      179 |        0
330.49/330.66	c  330s |      16 |  1710799 |   157052 |    16175     20 |      182 |        0
332.49/332.67	c  332s |      16 |  1721020 |   158352 |    16175     20 |      182 |        0
334.89/335.07	c  334s |      16 |  1743849 |   159652 |    16175     21 |      185 |        0
336.99/337.10	c  336s |      16 |  1762430 |   161052 |    16175     21 |      186 |        0
338.99/339.13	c  338s |      16 |  1779757 |   162852 |    16175     21 |      186 |        0
341.19/341.30	c  340s |      16 |  1798712 |   164052 |    16175     21 |      188 |        0
343.28/343.40	c  342s |      16 |  1807327 |   165052 |    16175     21 |      188 |        0
345.29/345.46	c  344s |      16 |  1815878 |   165852 |    16175     21 |      192 |        0
347.39/347.60	c  347s |      16 |  1832106 |   166752 |    16175     22 |      196 |        0
349.49/349.69	c  349s |      16 |  1854314 |   168352 |    16175     22 |      196 |        0
351.59/351.72	c  351s |      16 |  1881828 |   169852 |    16175     22 |      198 |        0
353.69/353.87	c  353s |      16 |  1905046 |   171252 |    16175     22 |      200 |        0
355.79/355.95	c  355s |      16 |  1916217 |   172152 |    16175     22 |      201 |        0
357.89/358.01	c  357s |      16 |  1932752 |   173252 |    16175     22 |      203 |        0
359.89/360.07	c  359s |      16 |  1949163 |   174652 |    16175     22 |      203 |        0
362.09/362.21	c  361s |      16 |  1961190 |   175652 |    16175     23 |      204 |        0
364.18/364.36	c  363s |      16 |  1983251 |   177152 |    16175     23 |      206 |        0
366.19/366.38	c  365s |      16 |  1996613 |   178652 |    16175     23 |      206 |        0
368.39/368.51	c  367s |      16 |  2003988 |   180352 |    16175     23 |      206 |        0
370.48/370.65	c  370s |      16 |  2008518 |   181652 |    16175     23 |      206 |        0
372.58/372.77	c  372s |      16 |  2013412 |   182852 |    16175     23 |      206 |        0
374.68/374.86	c  374s |      16 |  2016849 |   183952 |    16175     23 |      206 |        0
376.78/376.99	c  376s |      16 |  2019983 |   184852 |    16175     24 |      206 |        0
378.88/379.07	c  378s |      16 |  2022621 |   185852 |    16175     24 |      206 |        0
381.08/381.28	c  380s |      16 |  2024921 |   186752 |    16175     24 |      206 |        0
383.18/383.38	c  382s |      16 |  2027338 |   187652 |    16175     24 |      206 |        0
385.18/385.39	c  384s |      16 |  2028506 |   188252 |    16175     24 |      206 |        0
387.38/387.51	c  386s |      16 |  2030332 |   188952 |    16175     24 |      206 |        0
389.38/389.56	c  389s |      16 |  2036706 |   190052 |    16175     24 |      206 |        0
391.48/391.62	c  391s |      16 |  2041644 |   191152 |    16175     24 |      206 |        0
393.47/393.64	c  393s |      16 |  2043190 |   192052 |    16175     24 |      206 |        0
395.57/395.73	c  395s |      16 |  2045441 |   192952 |    16175     24 |      206 |        0
397.77/397.92	c  397s |      16 |  2047775 |   193852 |    16175     24 |      206 |        0
399.87/400.07	c  399s |      16 |  2049268 |   194652 |    16175     25 |      206 |        0
402.07/402.23	c  401s |      16 |  2051567 |   195652 |    16175     25 |      206 |        0
404.17/404.38	c  403s |      16 |  2053174 |   196552 |    17793     25 |      206 |        0
405.47/405.68	c  405s |      17 |  2055804 |   197432 |    17793     25 |      206 |        0
407.57/407.71	c  407s |      17 |  2066889 |   198632 |    17793     25 |      206 |        0
409.57/409.75	c  409s |      17 |  2075236 |   199932 |    17793     25 |      206 |        0
411.67/411.81	c  411s |      17 |  2103083 |   201932 |    17793     25 |      206 |        0
413.67/413.81	c  413s |      17 |  2110969 |   202532 |    17793     25 |      212 |        0
415.67/415.87	c  415s |      17 |  2130624 |   203732 |    17793     25 |      212 |        0
417.66/417.88	c  417s |      17 |  2142309 |   204632 |    17793     26 |      212 |        0
419.86/420.02	c  419s |      17 |  2158933 |   205632 |    17793     26 |      213 |        0
421.86/422.09	c  421s |      17 |  2175126 |   207032 |    17793     26 |      216 |        0
424.06/424.27	c  423s |      17 |  2182267 |   208232 |    17793     26 |      218 |        0
426.67/426.83	c  426s |      17 |  2194412 |   209432 |    17793     26 |      221 |        0
428.66/428.89	c  428s |      17 |  2202078 |   210732 |    17793     26 |      221 |        0
430.76/430.93	c  430s |      17 |  2205501 |   211832 |    17793     26 |      221 |        0
432.76/432.94	c  432s |      17 |  2210189 |   212932 |    17793     26 |      221 |        0
434.96/435.11	c  434s |      17 |  2214366 |   213732 |    17793     27 |      221 |        0
437.06/437.25	c  436s |      17 |  2223975 |   214732 |    17793     27 |      221 |        0
439.16/439.33	c  438s |      17 |  2227232 |   215432 |    17793     27 |      221 |        0
441.26/441.44	c  440s |      17 |  2240455 |   216632 |    17793     27 |      221 |        0
443.36/443.59	c  443s |      17 |  2262281 |   218132 |    17793     27 |      222 |        0
445.46/445.69	c  445s |      17 |  2264678 |   219032 |    17793     27 |      222 |        0
447.66/447.83	c  447s |      17 |  2265990 |   219732 |    17793     27 |      222 |        0
449.66/449.89	c  449s |      17 |  2268082 |   220732 |    17793     27 |      222 |        0
451.76/451.96	c  451s |      17 |  2272839 |   221932 |    17793     27 |      222 |        0
453.86/454.05	c  453s |      17 |  2287157 |   223232 |    17793     27 |      222 |        0
455.86/456.07	c  455s |      17 |  2303251 |   224332 |    17793     28 |      223 |        0
457.96/458.13	c  457s |      17 |  2319891 |   226132 |    17793     28 |      223 |        0
459.96/460.14	c  459s |      17 |  2329200 |   227232 |    17793     28 |      223 |        0
462.06/462.28	c  461s |      17 |  2335663 |   228532 |    17793     28 |      223 |        0
464.07/464.28	c  463s |      17 |  2363269 |   230132 |    17793     28 |      223 |        0
466.16/466.38	c  465s |      17 |  2381143 |   231732 |    17793     28 |      223 |        0
468.36/468.55	c  468s |      17 |  2396919 |   232632 |    17793     29 |      225 |        0
470.46/470.62	c  470s |      17 |  2416919 |   234132 |    17793     29 |      226 |        0
472.56/472.72	c  472s |      17 |  2437405 |   235632 |    17793     29 |      227 |        0
474.66/474.89	c  474s |      17 |  2458242 |   237232 |    17793     29 |      227 |        0
476.86/477.00	c  476s |      17 |  2472363 |   238632 |    17793     29 |      228 |        0
478.95/479.12	c  478s |      17 |  2491429 |   240132 |    17793     29 |      228 |        0
480.95/481.19	c  480s |      17 |  2501311 |   240932 |    17793     29 |      232 |        0
483.15/483.30	c  482s |      17 |  2506422 |   241732 |    17793     29 |      232 |        0
485.45/485.63	c  485s |      17 |  2517572 |   242732 |    17793     30 |      237 |        0
487.55/487.76	c  487s |      17 |  2543694 |   244332 |    17793     30 |      238 |        0
489.74/489.93	c  489s |      17 |  2562559 |   246032 |    17793     30 |      238 |        0
491.84/492.08	c  491s |      17 |  2584521 |   247432 |    17793     30 |      239 |        0
493.94/494.15	c  493s |      17 |  2589974 |   249032 |    17793     30 |      240 |        0
495.95/496.16	c  495s |      17 |  2596388 |   250532 |    17793     30 |      240 |        0
498.04/498.28	c  497s |      17 |  2600108 |   251832 |    17793     31 |      240 |        0
500.14/500.37	c  499s |      17 |  2611655 |   253432 |    17793     31 |      240 |        0
502.24/502.40	c  501s |      17 |  2628926 |   254832 |    17793     31 |      241 |        0
504.23/504.43	c  503s |      17 |  2637035 |   255632 |    17793     31 |      246 |        0
506.33/506.56	c  506s |      17 |  2645068 |   256632 |    17793     31 |      247 |        0
508.33/508.57	c  508s |      17 |  2660492 |   258132 |    17793     31 |      247 |        0
510.43/510.68	c  510s |      17 |  2666289 |   259432 |    17793     31 |      247 |        0
512.54/512.73	c  512s |      17 |  2680189 |   260732 |    17793     31 |      247 |        0
514.64/514.82	c  514s |      17 |  2694099 |   262032 |    17793     31 |      247 |        0
516.63/516.86	c  516s |      17 |  2705003 |   262932 |    17793     32 |      248 |        0
518.72/518.93	c  518s |      17 |  2721477 |   263932 |    17793     32 |      250 |        0
520.82/521.07	c  520s |      17 |  2723818 |   264832 |    17793     32 |      250 |        0
523.02/523.22	c  522s |      17 |  2727156 |   265832 |    17793     32 |      250 |        0
525.12/525.34	c  524s |      17 |  2728895 |   266532 |    17793     32 |      250 |        0
527.22/527.49	c  526s |      17 |  2732757 |   267832 |    17793     32 |      250 |        0
529.42/529.66	c  529s |      17 |  2741013 |   269032 |    17793     32 |      250 |        0
531.42/531.66	c  531s |      17 |  2751445 |   270132 |    17793     32 |      250 |        0
533.52/533.76	c  533s |      17 |  2758591 |   271432 |    17793     32 |      250 |        0
535.82/536.00	c  535s |      17 |  2764458 |   272432 |    17793     33 |      250 |        0
538.22/538.40	c  537s |      17 |  2769158 |   273332 |    17793     33 |      253 |        0
540.21/540.48	c  539s |      17 |  2780553 |   274632 |    17793     33 |      253 |        0
542.41/542.65	c  542s |      17 |  2790287 |   275532 |    17793     33 |      257 |        0
544.51/544.76	c  544s |      17 |  2799480 |   276732 |    17793     33 |      258 |        0
546.71/546.98	c  546s |      17 |  2802574 |   278032 |    17793     33 |      263 |        0
548.81/549.09	c  548s |      17 |  2807194 |   279332 |    17793     33 |      263 |        0
551.01/551.22	c  550s |      17 |  2811359 |   280732 |    17793     33 |      263 |        0
553.01/553.24	c  552s |      17 |  2821679 |   281832 |    17793     34 |      263 |        0
555.11/555.37	c  554s |      17 |  2835227 |   282832 |    17793     34 |      265 |        0
557.21/557.48	c  556s |      17 |  2858772 |   284532 |    17793     34 |      265 |        0
559.31/559.55	c  559s |      17 |  2862118 |   285732 |    17793     34 |      265 |        0
561.51/561.78	c  561s |      17 |  2864634 |   286832 |    17793     34 |      265 |        0
563.51/563.79	c  563s |      17 |  2871873 |   287932 |    17793     34 |      265 |        0
565.61/565.80	c  565s |      17 |  2889655 |   289332 |    17793     34 |      265 |        0
567.60/567.88	c  567s |      17 |  2904379 |   290632 |    17793     34 |      265 |        0
569.61/569.90	c  569s |      17 |  2915434 |   291432 |    17793     35 |      266 |        0
571.70/571.93	c  571s |      17 |  2929584 |   292932 |    17793     35 |      267 |        0
573.70/573.98	c  573s |      17 |  2932588 |   293832 |    17793     35 |      267 |        0
575.90/576.10	c  575s |      17 |  2943894 |   295032 |    19573     35 |      268 |        0
577.80/578.07	c  577s |      18 |  2964186 |   296252 |    19573     35 |      269 |        0
579.89/580.16	c  579s |      18 |  2977513 |   297152 |    19573     35 |      276 |        0
582.19/582.40	c  581s |      18 |  3007385 |   298552 |    19573     35 |      277 |        0
584.29/584.52	c  583s |      18 |  3023633 |   299552 |    19573     35 |      281 |        0
586.29/586.57	c  586s |      18 |  3041603 |   301152 |    19573     35 |      281 |        0
588.69/588.99	c  588s |      18 |  3060693 |   302252 |    19573     36 |      282 |        0
590.79/591.04	c  590s |      18 |  3068547 |   303252 |    19573     36 |      282 |        0
592.79/593.07	c  592s |      18 |  3091365 |   304552 |    19573     36 |      282 |        0
594.79/595.07	c  594s |      18 |  3103843 |   305752 |    19573     36 |      282 |        0
596.89/597.15	c  596s |      18 |  3116084 |   306752 |    19573     36 |      285 |        0
598.88/599.16	c  598s |      18 |  3126655 |   308252 |    19573     36 |      285 |        0
600.98/601.28	c  600s |      18 |  3135604 |   309552 |    19573     36 |      285 |        0
603.08/603.31	c  602s |      18 |  3145967 |   310652 |    19573     36 |      285 |        0
605.37/605.62	c  605s |      18 |  3156249 |   311752 |    19573     36 |      285 |        0
607.47/607.74	c  607s |      18 |  3168204 |   312652 |    19573     36 |      285 |        0
609.57/609.89	c  609s |      18 |  3179312 |   313552 |    19573     37 |      286 |        0
611.67/611.98	c  611s |      18 |  3207211 |   315052 |    19573     37 |      287 |        0
613.77/614.03	c  613s |      18 |  3218519 |   316352 |    19573     37 |      288 |        0
615.88/616.15	c  615s |      18 |  3235215 |   318252 |    19573     37 |      288 |        0
617.98/618.25	c  617s |      18 |  3239695 |   319652 |    19573     37 |      288 |        0
620.17/620.43	c  619s |      18 |  3246221 |   320852 |    19573     37 |      288 |        0
622.17/622.45	c  621s |      18 |  3251436 |   321752 |    19573     37 |      288 |        0
624.27/624.58	c  624s |      18 |  3256193 |   322552 |    19573     37 |      288 |        0
626.37/626.61	c  626s |      18 |  3260278 |   323352 |    19573     37 |      288 |        0
628.67/629.00	c  628s |      18 |  3263488 |   324152 |    19573     37 |      288 |        0
630.77/631.08	c  630s |      18 |  3264343 |   324552 |    19573     38 |      288 |        0
632.87/633.16	c  632s |      18 |  3267189 |   325552 |    19573     38 |      288 |        0
634.97/635.20	c  634s |      18 |  3271602 |   326552 |    19573     38 |      288 |        0
636.97/637.26	c  636s |      18 |  3294105 |   328352 |    19573     38 |      288 |        0
638.96/639.27	c  638s |      18 |  3315285 |   329452 |    19573     38 |      290 |        0
641.06/641.38	c  640s |      18 |  3331617 |   330752 |    19573     38 |      291 |        0
643.16/643.44	c  642s |      18 |  3349939 |   331952 |    19573     38 |      292 |        0
645.26/645.56	c  645s |      18 |  3369455 |   333352 |    19573     38 |      292 |        0
647.36/647.67	c  647s |      18 |  3373053 |   334252 |    19573     38 |      292 |        0
649.45/649.75	c  649s |      18 |  3392938 |   335652 |    19573     38 |      292 |        0
651.55/651.83	c  651s |      18 |  3402671 |   336452 |    19573     39 |      293 |        0
653.55/653.87	c  653s |      18 |  3419765 |   337652 |    19573     39 |      295 |        0
655.85/656.18	c  655s |      18 |  3437206 |   339052 |    19573     39 |      297 |        0
658.44/658.75	c  658s |      18 |  3446898 |   339952 |    19573     39 |      297 |        0
660.64/660.97	c  660s |      18 |  3461134 |   341052 |    19573     39 |      300 |        0
662.84/663.14	c  662s |      18 |  3468434 |   342352 |    19573     39 |      300 |        0
664.94/665.24	c  664s |      18 |  3472421 |   343252 |    19573     39 |      300 |        0
667.24/667.53	c  667s |      18 |  3474936 |   343952 |    19573     39 |      301 |        0
669.44/669.70	c  669s |      18 |  3489729 |   345552 |    19573     39 |      301 |        0
671.44/671.75	c  671s |      18 |  3499922 |   346552 |    19573     40 |      302 |        0
673.54/673.81	c  673s |      18 |  3522062 |   347952 |    19573     40 |      302 |        0
675.64/675.90	c  675s |      18 |  3540492 |   349252 |    19573     40 |      302 |        0
677.64/677.90	c  677s |      18 |  3563389 |   350352 |    19573     40 |      304 |        0
679.63/679.98	c  679s |      18 |  3582467 |   351752 |    19573     40 |      304 |        0
681.83/682.11	c  681s |      18 |  3599308 |   352852 |    19573     40 |      305 |        0
683.83/684.13	c  683s |      18 |  3609659 |   353852 |    19573     40 |      306 |        0
685.83/686.14	c  685s |      18 |  3619485 |   354752 |    19573     40 |      308 |        0
688.03/688.34	c  687s |      18 |  3636391 |   355952 |    19573     40 |      308 |        0
690.02/690.34	c  689s |      18 |  3647952 |   356952 |    19573     41 |      308 |        0
692.02/692.39	c  691s |      18 |  3652961 |   357952 |    19573     41 |      308 |        0
694.11/694.48	c  693s |      18 |  3655772 |   358552 |    19573     41 |      308 |        0
696.31/696.61	c  696s |      18 |  3659995 |   359152 |    19573     41 |      308 |        0
698.71/699.01	c  698s |      18 |  3678283 |   360652 |    19573     41 |      309 |        0
701.01/701.38	c  700s |      18 |  3690179 |   361752 |    19573     41 |      311 |        0
703.41/703.71	c  703s |      18 |  3708690 |   363252 |    19573     41 |      312 |        0
705.51/705.84	c  705s |      18 |  3724072 |   364252 |    19573     41 |      313 |        0
707.51/707.87	c  707s |      18 |  3730591 |   365352 |    19573     41 |      313 |        0
709.60/709.99	c  709s |      18 |  3739767 |   366152 |    19573     42 |      314 |        0
711.71/712.06	c  711s |      18 |  3758990 |   367852 |    19573     42 |      314 |        0
713.81/714.20	c  713s |      18 |  3771565 |   369052 |    19573     42 |      316 |        0
715.92/716.29	c  715s |      18 |  3782124 |   370152 |    19573     42 |      317 |        0
718.01/718.34	c  717s |      18 |  3800254 |   371552 |    19573     42 |      317 |        0
720.10/720.42	c  719s |      18 |  3808233 |   372852 |    19573     42 |      317 |        0
722.10/722.49	c  721s |      18 |  3817197 |   373552 |    19573     42 |      319 |        0
724.30/724.69	c  724s |      18 |  3822389 |   374452 |    19573     42 |      319 |        0
726.50/726.83	c  726s |      18 |  3834231 |   375752 |    19573     42 |      319 |        0
728.60/728.90	c  728s |      18 |  3850533 |   376952 |    19573     42 |      319 |        0
730.60/730.98	c  730s |      18 |  3857478 |   377752 |    19573     43 |      320 |        0
732.89/733.29	c  732s |      18 |  3860919 |   378752 |    19573     43 |      320 |        0
734.99/735.35	c  734s |      18 |  3863890 |   379652 |    19573     43 |      320 |        0
737.19/737.51	c  736s |      18 |  3874650 |   380852 |    19573     43 |      320 |        0
739.19/739.54	c  739s |      18 |  3883732 |   381852 |    19573     43 |      320 |        0
741.19/741.60	c  741s |      18 |  3891474 |   382752 |    19573     43 |      320 |        0
743.29/743.64	c  743s |      18 |  3907119 |   383952 |    19573     43 |      320 |        0
745.28/745.65	c  745s |      18 |  3924107 |   385152 |    19573     43 |      320 |        0
747.58/747.96	c  747s |      18 |  3933878 |   386152 |    19573     43 |      320 |        0
750.47/750.87	c  750s |      18 |  3949909 |   387252 |    19573     44 |      322 |        0
752.57/752.94	c  752s |      18 |  3966675 |   388652 |    19573     44 |      322 |        0
754.67/755.00	c  754s |      18 |  3977825 |   390052 |    19573     44 |      322 |        0
756.67/757.03	c  756s |      18 |  3986730 |   391152 |    19573     44 |      322 |        0
758.67/759.05	c  758s |      18 |  4010319 |   392452 |    19573     44 |      322 |        0
760.67/761.08	c  760s |      18 |  4027311 |   393752 |    19573     44 |      322 |        0
762.97/763.32	c  762s |      18 |  4033930 |   394652 |    19573     44 |      322 |        0
764.97/765.37	c  764s |      18 |  4037770 |   395352 |    19573     44 |      322 |        0
767.58/767.93	c  767s |      18 |  4053074 |   396452 |    19573     44 |      324 |        0
769.57/769.98	c  769s |      18 |  4070374 |   397552 |    19573     44 |      324 |        0
771.77/772.15	c  771s |      18 |  4081599 |   398552 |    19573     45 |      324 |        0
773.77/774.16	c  773s |      18 |  4094584 |   399252 |    19573     45 |      324 |        0
775.87/776.22	c  775s |      18 |  4096515 |   400052 |    19573     45 |      324 |        0
777.87/778.27	c  777s |      18 |  4100952 |   401052 |    19573     45 |      324 |        0
779.96/780.36	c  779s |      18 |  4117473 |   402252 |    19573     45 |      324 |        0
782.26/782.60	c  782s |      18 |  4136884 |   403452 |    19573     45 |      325 |        0
784.56/784.97	c  784s |      18 |  4140687 |   404052 |    19573     45 |      325 |        0
786.96/787.30	c  786s |      18 |  4155045 |   405052 |    19573     45 |      326 |        0
788.96/789.38	c  788s |      18 |  4168560 |   406352 |    19573     45 |      326 |        0
791.06/791.43	c  790s |      18 |  4182280 |   407452 |    19573     45 |      326 |        0
793.16/793.55	c  793s |      18 |  4190469 |   408452 |    19573     46 |      328 |        0
795.25/795.60	c  795s |      18 |  4201996 |   409452 |    19573     46 |      328 |        0
797.26/797.61	c  797s |      18 |  4215755 |   410452 |    19573     46 |      331 |        0
799.25/799.62	c  799s |      18 |  4227839 |   411952 |    19573     46 |      331 |        0
801.25/801.66	c  801s |      18 |  4240128 |   412952 |    19573     46 |      333 |        0
803.35/803.78	c  803s |      18 |  4259441 |   414152 |    19573     46 |      333 |        0
805.55/805.90	c  805s |      18 |  4276321 |   415552 |    19573     46 |      333 |        0
807.65/808.05	c  807s |      18 |  4283841 |   416652 |    19573     46 |      333 |        0
809.64/810.06	c  809s |      18 |  4292360 |   417752 |    19573     46 |      333 |        0
811.74/812.17	c  811s |      18 |  4298331 |   418752 |    19573     46 |      333 |        0
813.94/814.31	c  813s |      18 |  4313123 |   419552 |    19573     47 |      333 |        0
816.14/816.53	c  816s |      18 |  4327648 |   420852 |    19573     47 |      333 |        0
818.24/818.60	c  818s |      18 |  4341713 |   422252 |    19573     47 |      333 |        0
820.24/820.70	c  820s |      18 |  4354661 |   423352 |    19573     47 |      333 |        0
822.34/822.73	c  822s |      18 |  4364680 |   424452 |    19573     47 |      334 |        0
824.53/824.93	c  824s |      18 |  4374667 |   425752 |    19573     47 |      334 |        0
826.63/827.04	c  826s |      18 |  4377212 |   426552 |    19573     47 |      334 |        0
828.84/829.20	c  828s |      18 |  4385840 |   427452 |    19573     47 |      334 |        0
830.84/831.22	c  830s |      18 |  4402392 |   428452 |    19573     47 |      334 |        0
833.14/833.58	c  833s |      18 |  4405137 |   429252 |    19573     47 |      334 |        0
835.24/835.60	c  835s |      18 |  4406890 |   429752 |    19573     48 |      334 |        0
837.34/837.72	c  837s |      18 |  4415858 |   431052 |    19573     48 |      337 |        0
839.64/840.05	c  839s |      18 |  4428773 |   432352 |    19573     48 |      338 |        0
841.64/842.09	c  841s |      18 |  4435660 |   433152 |    19573     48 |      338 |        0
843.74/844.18	c  843s |      18 |  4443356 |   434152 |    19573     48 |      339 |        0
845.84/846.20	c  845s |      18 |  4461428 |   435352 |    19573     48 |      339 |        0
847.84/848.28	c  847s |      18 |  4473577 |   436252 |    19573     48 |      339 |        0
850.04/850.45	c  849s |      18 |  4484427 |   437252 |    19573     48 |      339 |        0
852.04/852.49	c  851s |      18 |  4499713 |   438552 |    19573     48 |      339 |        0
854.24/854.66	c  854s |      18 |  4512741 |   439552 |    19573     48 |      339 |        0
856.43/856.82	c  856s |      18 |  4519064 |   440352 |    19573     49 |      339 |        0
858.53/858.96	c  858s |      18 |  4532357 |   441752 |    21531     49 |      339 |        0
860.73/861.14	c  860s |      18 |  4538204 |   442952 |    21531     49 |      339 |        0
862.83/863.23	c  862s |      18 |  4547036 |   444152 |    21531     49 |      339 |        0
863.43/863.83	c  863s |      19 |  4552934 |   444482 |    21531     49 |      339 |        0
865.53/865.94	c  865s |      19 |  4560819 |   445882 |    21531     49 |      339 |        0
867.54/867.94	c  867s |      19 |  4568484 |   447182 |    21531     49 |      339 |        0
869.74/870.13	c  869s |      19 |  4575067 |   448582 |    21531     49 |      339 |        0
871.83/872.29	c  871s |      19 |  4581925 |   449582 |    21531     49 |      340 |        0
874.03/874.45	c  873s |      19 |  4586537 |   450582 |    21531     49 |      340 |        0
876.03/876.47	c  875s |      19 |  4591028 |   451782 |    21531     49 |      340 |        0
878.64/879.07	c  878s |      19 |  4593949 |   452882 |    21531     50 |      340 |        0
880.84/881.25	c  880s |      19 |  4616822 |   454282 |    21531     50 |      341 |        0
882.94/883.37	c  882s |      19 |  4639182 |   455682 |    21531     50 |      341 |        0
885.03/885.43	c  884s |      19 |  4655289 |   456882 |    21531     50 |      343 |        0
887.13/887.58	c  887s |      19 |  4678220 |   458082 |    21531     50 |      343 |        0
889.23/889.65	c  889s |      19 |  4694262 |   459382 |    21531     50 |      343 |        0
891.23/891.69	c  891s |      19 |  4702082 |   460482 |    21531     50 |      343 |        0
893.43/893.83	c  893s |      19 |  4725115 |   461982 |    21531     50 |      343 |        0
895.63/896.00	c  895s |      19 |  4733670 |   463182 |    21531     50 |      343 |        0
897.73/898.11	c  897s |      19 |  4743769 |   464182 |    21531     50 |      343 |        0
899.83/900.26	c  899s |      19 |  4752648 |   465082 |    21531     51 |      343 |        0
901.93/902.39	c  901s |      19 |  4768064 |   466582 |    21531     51 |      343 |        0
904.03/904.46	c  903s |      19 |  4777150 |   467782 |    21531     51 |      343 |        0
906.13/906.56	c  906s |      19 |  4792479 |   469082 |    21531     51 |      343 |        0
908.33/908.74	c  908s |      19 |  4801867 |   470282 |    21531     51 |      344 |        0
910.43/910.84	c  910s |      19 |  4820738 |   471782 |    21531     51 |      344 |        0
912.42/912.89	c  912s |      19 |  4835583 |   472682 |    21531     51 |      347 |        0
914.52/914.98	c  914s |      19 |  4845492 |   473482 |    21531     51 |      348 |        0
916.62/917.08	c  916s |      19 |  4860373 |   474582 |    21531     51 |      348 |        0
918.92/919.30	c  918s |      19 |  4876141 |   475282 |    21531     52 |      349 |        0
920.92/921.37	c  920s |      19 |  4889129 |   476482 |    21531     52 |      350 |        0
922.92/923.38	c  922s |      19 |  4901881 |   477482 |    21531     52 |      351 |        0
925.02/925.47	c  924s |      19 |  4924030 |   478782 |    21531     52 |      351 |        0
927.12/927.57	c  927s |      19 |  4941906 |   480082 |    21531     52 |      351 |        0
929.32/929.74	c  929s |      19 |  4957984 |   481382 |    21531     52 |      351 |        0
931.43/931.89	c  931s |      19 |  4973632 |   482582 |    21531     52 |      351 |        0
933.53/933.92	c  933s |      19 |  4984863 |   483682 |    21531     52 |      351 |        0
936.02/936.43	c  935s |      19 |  4987848 |   484282 |    21531     52 |      351 |        0
938.12/938.55	c  938s |      19 |  4997422 |   485082 |    21531     52 |      352 |        0
940.23/940.68	c  940s |      19 |  5013090 |   486282 |    21531     52 |      352 |        0
942.72/943.17	c  942s |      19 |  5022520 |   487182 |    21531     52 |      352 |        0
944.82/945.29	c  944s |      19 |  5026879 |   487682 |    21531     53 |      352 |        0
947.12/947.51	c  946s |      19 |  5040383 |   488782 |    21531     53 |      352 |        0
949.12/949.53	c  949s |      19 |  5053344 |   489882 |    21531     53 |      352 |        0
951.22/951.65	c  951s |      19 |  5068799 |   491082 |    21531     53 |      352 |        0
953.32/953.72	c  953s |      19 |  5077179 |   492082 |    21531     53 |      352 |        0
955.52/955.93	c  955s |      19 |  5090156 |   493182 |    21531     53 |      352 |        0
957.72/958.12	c  957s |      19 |  5100456 |   494182 |    21531     53 |      352 |        0
959.72/960.19	c  959s |      19 |  5108863 |   494982 |    21531     53 |      353 |        0
961.92/962.38	c  961s |      19 |  5115195 |   495482 |    21531     53 |      358 |        0
964.12/964.55	c  964s |      19 |  5125281 |   496482 |    21531     53 |      358 |        0
966.12/966.59	c  966s |      19 |  5138440 |   497682 |    21531     53 |      358 |        0
968.21/968.67	c  968s |      19 |  5149703 |   498682 |    21531     54 |      358 |        0
970.31/970.74	c  970s |      19 |  5158194 |   500082 |    21531     54 |      359 |        0
972.41/972.86	c  972s |      19 |  5166595 |   501282 |    21531     54 |      359 |        0
974.41/974.88	c  974s |      19 |  5177430 |   502482 |    21531     54 |      359 |        0
976.61/977.00	c  976s |      19 |  5190565 |   503682 |    21531     54 |      359 |        0
978.62/979.09	c  978s |      19 |  5200826 |   504682 |    21531     54 |      359 |        0
980.71/981.14	c  980s |      19 |  5209517 |   505682 |    21531     54 |      359 |        0
982.91/983.40	c  982s |      19 |  5217194 |   506682 |    21531     54 |      359 |        0
985.22/985.64	c  985s |      19 |  5221833 |   507482 |    21531     54 |      359 |        0
987.31/987.74	c  987s |      19 |  5224919 |   508182 |    21531     54 |      359 |        0
989.31/989.78	c  989s |      19 |  5231959 |   509082 |    21531     54 |      359 |        0
991.61/992.00	c  991s |      19 |  5243022 |   510182 |    21531     54 |      359 |        0
993.61/994.08	c  993s |      19 |  5249160 |   510982 |    21531     55 |      360 |        0
996.51/996.96	c  996s |      19 |  5260230 |   512282 |    21531     55 |      363 |        0
998.71/999.16	c  998s |      19 |  5275294 |   513482 |    21531     55 |      364 |        0
1000.91/1001.39	c 1000s |      19 |  5278843 |   514482 |    21531     55 |      364 |        0
1003.11/1003.52	c 1002s |      19 |  5282854 |   515482 |    21531     55 |      364 |        0
1005.41/1005.89	c 1005s |      19 |  5285054 |   516382 |    21531     55 |      364 |        0
1007.51/1007.96	c 1007s |      19 |  5287733 |   516882 |    21531     55 |      364 |        0
1009.61/1010.07	c 1009s |      19 |  5294035 |   517882 |    21531     55 |      364 |        0
1011.72/1012.18	c 1011s |      19 |  5307393 |   518882 |    21531     55 |      364 |        0
1013.82/1014.25	c 1013s |      19 |  5317519 |   519882 |    21531     55 |      364 |        0
1016.02/1016.44	c 1015s |      19 |  5324388 |   521082 |    21531     55 |      364 |        0
1018.11/1018.55	c 1018s |      19 |  5336043 |   521882 |    21531     56 |      364 |        0
1020.21/1020.61	c 1020s |      19 |  5355361 |   523182 |    21531     56 |      364 |        0
1022.21/1022.69	c 1022s |      19 |  5366974 |   524482 |    21531     56 |      364 |        0
1024.31/1024.75	c 1024s |      19 |  5378383 |   525582 |    21531     56 |      364 |        0
1026.31/1026.76	c 1026s |      19 |  5387016 |   526582 |    21531     56 |      365 |        0
1028.31/1028.77	c 1028s |      19 |  5396953 |   527682 |    21531     56 |      367 |        0
1030.32/1030.78	c 1030s |      19 |  5404872 |   528982 |    21531     56 |      367 |        0
1033.11/1033.53	c 1033s |      19 |  5415023 |   529582 |    21531     56 |      372 |        0
1035.11/1035.56	c 1035s |      19 |  5422439 |   530582 |    21531     56 |      373 |        0
1037.21/1037.69	c 1037s |      19 |  5424165 |   531082 |    21531     56 |      373 |        0
1039.41/1039.80	c 1039s |      19 |  5430643 |   531982 |    21531     56 |      373 |        0
1041.41/1041.88	c 1041s |      19 |  5443420 |   532982 |    21531     56 |      373 |        0
1043.61/1044.05	c 1043s |      19 |  5452542 |   533882 |    21531     57 |      373 |        0
1045.61/1046.08	c 1045s |      19 |  5465829 |   535082 |    21531     57 |      374 |        0
1047.70/1048.14	c 1047s |      19 |  5476019 |   536382 |    21531     57 |      374 |        0
1049.70/1050.19	c 1049s |      19 |  5482517 |   537482 |    21531     57 |      374 |        0
1052.00/1052.49	c 1051s |      19 |  5484529 |   538282 |    21531     57 |      374 |        0
1054.10/1054.54	c 1054s |      19 |  5486027 |   538782 |    21531     57 |      374 |        0
1056.10/1056.59	c 1056s |      19 |  5492394 |   539682 |    21531     57 |      374 |        0
1058.40/1058.88	c 1058s |      19 |  5497901 |   540582 |    21531     57 |      374 |        0
1060.70/1061.17	c 1060s |      19 |  5499215 |   541182 |    21531     57 |      374 |        0
1062.80/1063.20	c 1062s |      19 |  5500917 |   541682 |    21531     57 |      374 |        0
1064.80/1065.22	c 1064s |      19 |  5502108 |   542182 |    21531     57 |      374 |        0
1066.80/1067.29	c 1066s |      19 |  5506197 |   542782 |    21531     57 |      374 |        0
1069.10/1069.55	c 1069s |      19 |  5510548 |   543582 |    21531     57 |      374 |        0
1071.30/1071.79	c 1071s |      19 |  5512397 |   544382 |    21531     57 |      374 |        0
1073.60/1074.04	c 1073s |      19 |  5515455 |   545282 |    21531     58 |      374 |        0
1075.80/1076.29	c 1075s |      19 |  5518168 |   546282 |    21531     58 |      374 |        0
1078.00/1078.45	c 1077s |      19 |  5519637 |   546782 |    21531     58 |      374 |        0
1079.99/1080.45	c 1079s |      19 |  5520906 |   547282 |    21531     58 |      374 |        0
1082.19/1082.64	c 1082s |      19 |  5524697 |   547882 |    21531     58 |      374 |        0
1084.39/1084.80	c 1084s |      19 |  5536547 |   548882 |    21531     58 |      374 |        0
1086.40/1086.82	c 1086s |      19 |  5546404 |   549682 |    21531     58 |      374 |        0
1088.49/1088.90	c 1088s |      19 |  5559972 |   550982 |    21531     58 |      375 |        0
1090.49/1090.92	c 1090s |      19 |  5568383 |   551682 |    21531     58 |      377 |        0
1092.50/1092.98	c 1092s |      19 |  5588384 |   552482 |    21531     58 |      378 |        0
1094.60/1095.06	c 1094s |      19 |  5616218 |   553782 |    21531     58 |      378 |        0
1096.70/1097.16	c 1096s |      19 |  5629475 |   554882 |    21531     58 |      378 |        0
1098.90/1099.36	c 1098s |      19 |  5634381 |   555682 |    21531     58 |      378 |        0
1101.00/1101.49	c 1100s |      19 |  5640978 |   556182 |    21531     59 |      379 |        0
1103.10/1103.56	c 1103s |      19 |  5653423 |   556982 |    21531     59 |      383 |        0
1105.20/1105.68	c 1105s |      19 |  5656324 |   557982 |    21531     59 |      383 |        0
1107.30/1107.79	c 1107s |      19 |  5658916 |   558882 |    21531     59 |      383 |        0
1109.40/1109.87	c 1109s |      19 |  5660485 |   559582 |    21531     59 |      383 |        0
1111.60/1112.06	c 1111s |      19 |  5664190 |   560382 |    21531     59 |      383 |        0
1113.79/1114.28	c 1113s |      19 |  5666025 |   561082 |    21531     59 |      383 |        0
1115.99/1116.45	c 1115s |      19 |  5668918 |   561882 |    21531     59 |      383 |        0
1118.19/1118.60	c 1118s |      19 |  5671227 |   562482 |    21531     59 |      383 |        0
1120.39/1120.81	c 1120s |      19 |  5674076 |   563182 |    21531     59 |      383 |        0
1122.49/1122.97	c 1122s |      19 |  5676775 |   563882 |    21531     59 |      383 |        0
1124.69/1125.10	c 1124s |      19 |  5679934 |   564382 |    21531     59 |      383 |        0
1126.69/1127.12	c 1126s |      19 |  5701757 |   565782 |    21531     59 |      383 |        0
1129.30/1129.75	c 1129s |      19 |  5716775 |   566882 |    21531     60 |      384 |        0
1131.29/1131.80	c 1131s |      19 |  5729013 |   567882 |    21531     60 |      387 |        0
1133.39/1133.84	c 1133s |      19 |  5738462 |   568682 |    21531     60 |      389 |        0
1135.49/1135.91	c 1135s |      19 |  5758651 |   569982 |    21531     60 |      389 |        0
1137.49/1137.99	c 1137s |      19 |  5771980 |   571282 |    21531     60 |      389 |        0
1139.49/1139.99	c 1139s |      19 |  5787210 |   572482 |    21531     60 |      389 |        0
1141.59/1142.09	c 1141s |      19 |  5800099 |   573682 |    21531     60 |      389 |        0
1143.79/1144.20	c 1143s |      19 |  5818904 |   575182 |    21531     60 |      389 |        0
1145.89/1146.36	c 1145s |      19 |  5831695 |   575982 |    21531     60 |      391 |        0
1147.88/1148.36	c 1147s |      19 |  5839106 |   576682 |    21531     60 |      392 |        0
1149.98/1150.43	c 1149s |      19 |  5847985 |   577582 |    21531     60 |      392 |        0
1152.09/1152.55	c 1152s |      19 |  5860643 |   578582 |    21531     60 |      392 |        0
1154.19/1154.67	c 1154s |      19 |  5874014 |   579682 |    21531     60 |      392 |        0
1156.19/1156.67	c 1156s |      19 |  5876891 |   580282 |    21531     60 |      392 |        0
1158.29/1158.78	c 1158s |      19 |  5885173 |   581282 |    21531     61 |      392 |        0
1160.39/1160.88	c 1160s |      19 |  5900426 |   582582 |    21531     61 |      392 |        0
1162.49/1162.93	c 1162s |      19 |  5912046 |   583782 |    21531     61 |      392 |        0
1164.50/1164.95	c 1164s |      19 |  5921326 |   584882 |    21531     61 |      393 |        0
1166.49/1166.99	c 1166s |      19 |  5929800 |   585882 |    21531     61 |      394 |        0
1168.59/1169.00	c 1168s |      19 |  5942858 |   587182 |    21531     61 |      394 |        0
1170.69/1171.17	c 1170s |      19 |  5950521 |   588282 |    21531     61 |      394 |        0
1172.78/1173.25	c 1172s |      19 |  5965823 |   589482 |    21531     61 |      394 |        0
1174.78/1175.26	c 1174s |      19 |  5978193 |   590682 |    21531     61 |      395 |        0
1176.88/1177.39	c 1176s |      19 |  5983402 |   591782 |    21531     62 |      396 |        0
1179.08/1179.53	c 1179s |      19 |  5988980 |   593282 |    21531     62 |      396 |        0
1181.28/1181.71	c 1181s |      19 |  6002676 |   594582 |    21531     62 |      396 |        0
1183.68/1184.15	c 1183s |      19 |  6007318 |   595282 |    21531     62 |      396 |        0
1185.78/1186.26	c 1185s |      19 |  6022409 |   596782 |    21531     62 |      396 |        0
1187.98/1188.46	c 1187s |      19 |  6039485 |   597782 |    21531     62 |      397 |        0
1190.08/1190.58	c 1190s |      19 |  6048718 |   598682 |    21531     62 |      397 |        0
1192.28/1192.74	c 1192s |      19 |  6060724 |   599682 |    21531     62 |      397 |        0
1194.38/1194.88	c 1194s |      19 |  6073308 |   600482 |    21531     62 |      398 |        0
1196.58/1197.01	c 1196s |      19 |  6080355 |   601582 |    21531     62 |      398 |        0
1198.69/1199.11	c 1198s |      19 |  6091611 |   602582 |    21531     63 |      398 |        0
1200.79/1201.28	c 1200s |      19 |  6103306 |   603882 |    21531     63 |      399 |        0
1203.58/1204.02	c 1203s |      19 |  6108303 |   604382 |    21531     63 |      399 |        0
1205.68/1206.19	c 1205s |      19 |  6127235 |   605582 |    21531     63 |      399 |        0
1207.88/1208.39	c 1207s |      19 |  6143900 |   606782 |    21531     63 |      399 |        0
1209.98/1210.40	c 1209s |      19 |  6158967 |   608082 |    21531     63 |      399 |        0
1212.07/1212.55	c 1212s |      19 |  6165648 |   608982 |    21531     63 |      399 |        0
1214.48/1214.98	c 1214s |      19 |  6168177 |   609682 |    21531     63 |      399 |        0
1216.88/1217.35	c 1216s |      19 |  6169239 |   610082 |    21531     63 |      399 |        0
1219.08/1219.54	c 1219s |      19 |  6178772 |   611182 |    21531     63 |      399 |        0
1221.18/1221.67	c 1221s |      19 |  6183523 |   611982 |    21531     63 |      399 |        0
1223.38/1223.80	c 1223s |      19 |  6188731 |   612682 |    21531     63 |      399 |        0
1225.38/1225.88	c 1225s |      19 |  6201421 |   613782 |    21531     63 |      399 |        0
1227.48/1227.97	c 1227s |      19 |  6207575 |   614582 |    21531     64 |      399 |        0
1229.48/1229.97	c 1229s |      19 |  6219339 |   615682 |    21531     64 |      399 |        0
1231.58/1232.07	c 1231s |      19 |  6230065 |   616782 |    21531     64 |      400 |        0
1233.68/1234.18	c 1233s |      19 |  6248387 |   618082 |    21531     64 |      400 |        0
1235.88/1236.33	c 1235s |      19 |  6263599 |   619282 |    21531     64 |      401 |        0
1237.98/1238.40	c 1237s |      19 |  6271286 |   620182 |    21531     64 |      401 |        0
1240.38/1240.86	c 1240s |      19 |  6282397 |   621382 |    21531     64 |      402 |        0
1242.47/1242.99	c 1242s |      19 |  6289736 |   622282 |    21531     64 |      402 |        0
1244.57/1245.05	c 1244s |      19 |  6300927 |   623282 |    21531     64 |      403 |        0
1246.67/1247.17	c 1246s |      19 |  6312148 |   624082 |    21531     64 |      404 |        0
1248.97/1249.49	c 1248s |      19 |  6321019 |   624782 |    21531     65 |      405 |        0
1251.17/1251.62	c 1251s |      19 |  6339710 |   626182 |    21531     65 |      405 |        0
1253.27/1253.71	c 1253s |      19 |  6346294 |   627282 |    21531     65 |      405 |        0
1255.27/1255.73	c 1255s |      19 |  6356439 |   628382 |    21531     65 |      405 |        0
1257.67/1258.10	c 1257s |      19 |  6369344 |   629482 |    21531     65 |      407 |        0
1259.67/1260.14	c 1259s |      19 |  6375563 |   630382 |    21531     65 |      407 |        0
1261.77/1262.20	c 1261s |      19 |  6390371 |   631582 |    21531     65 |      407 |        0
1263.77/1264.29	c 1263s |      19 |  6404512 |   632882 |    21531     65 |      407 |        0
1265.87/1266.39	c 1265s |      19 |  6419973 |   633982 |    21531     65 |      407 |        0
1267.87/1268.39	c 1267s |      19 |  6431683 |   634982 |    21531     65 |      407 |        0
1269.87/1270.39	c 1269s |      19 |  6436446 |   636282 |    21531     65 |      407 |        0
1271.97/1272.41	c 1271s |      19 |  6444386 |   637382 |    21531     66 |      407 |        0
1273.97/1274.49	c 1273s |      19 |  6454615 |   638382 |    21531     66 |      407 |        0
1276.07/1276.51	c 1275s |      19 |  6456850 |   638982 |    21531     66 |      407 |        0
1278.37/1278.80	c 1278s |      19 |  6458092 |   639482 |    21531     66 |      407 |        0
1280.47/1280.92	c 1280s |      19 |  6459528 |   639982 |    21531     66 |      407 |        0
1282.77/1283.20	c 1282s |      19 |  6460822 |   640382 |    21531     66 |      407 |        0
1284.87/1285.36	c 1284s |      19 |  6462298 |   640882 |    21531     66 |      407 |        0
1287.07/1287.55	c 1287s |      19 |  6464475 |   641482 |    21531     66 |      407 |        0
1289.37/1289.85	c 1289s |      19 |  6465138 |   641782 |    21531     66 |      407 |        0
1291.37/1291.86	c 1291s |      19 |  6468159 |   642182 |    21531     66 |      407 |        0
1293.47/1293.90	c 1293s |      19 |  6473490 |   642882 |    21531     66 |      407 |        0
1295.47/1295.92	c 1295s |      19 |  6486557 |   643882 |    21531     66 |      408 |        0
1297.46/1298.00	c 1297s |      19 |  6499664 |   645082 |    21531     66 |      409 |        0
1299.66/1300.14	c 1299s |      19 |  6508102 |   646182 |    21531     66 |      410 |        0
1301.86/1302.40	c 1301s |      19 |  6511820 |   647182 |    21531     66 |      410 |        0
1304.06/1304.60	c 1304s |      19 |  6514883 |   648282 |    21531     66 |      410 |        0
1306.26/1306.73	c 1306s |      19 |  6519173 |   648982 |    21531     67 |      410 |        0
1308.46/1308.93	c 1308s |      19 |  6533233 |   650282 |    21531     67 |      411 |        0
1310.56/1311.01	c 1310s |      19 |  6549576 |   651382 |    21531     67 |      412 |        0
1312.56/1313.07	c 1312s |      19 |  6562629 |   652682 |    21531     67 |      412 |        0
1314.66/1315.15	c 1314s |      19 |  6580103 |   653982 |    21531     67 |      412 |        0
1316.76/1317.22	c 1316s |      19 |  6600613 |   655282 |    21531     67 |      412 |        0
1318.76/1319.24	c 1318s |      19 |  6607743 |   656482 |    21531     67 |      413 |        0
1320.86/1321.37	c 1320s |      19 |  6622920 |   657682 |    21531     67 |      414 |        0
1323.86/1324.31	c 1323s |      19 |  6638772 |   658982 |    21531     68 |      415 |        0
1325.96/1326.42	c 1325s |      19 |  6656219 |   660482 |    21531     68 |      415 |        0
1327.96/1328.42	c 1327s |      19 |  6669180 |   661982 |    21531     68 |      415 |        0
1329.96/1330.43	c 1329s |      19 |  6672779 |   662882 |    23685     68 |      415 |        0
1331.96/1332.48	c 1331s |      19 |  6677568 |   663682 |    23685     68 |      416 |        0
1333.96/1334.49	c 1333s |      19 |  6696847 |   664882 |    23685     68 |      417 |        0
1336.26/1336.78	c 1336s |      19 |  6713997 |   666282 |    23685     68 |      417 |        0
1337.96/1338.46	c 1337s |      20 |  6716551 |   666827 |    23685     68 |      417 |        0
1340.16/1340.61	c 1340s |      20 |  6727758 |   668027 |    23685     68 |      417 |        0
1342.26/1342.74	c 1342s |      20 |  6734867 |   668827 |    23685     68 |      417 |        0
1344.36/1344.87	c 1344s |      20 |  6746029 |   670027 |    23685     68 |      417 |        0
1346.46/1346.91	c 1346s |      20 |  6751098 |   670927 |    23685     68 |      417 |        0
1348.56/1349.07	c 1348s |      20 |  6764167 |   672027 |    23685     68 |      417 |        0
1350.66/1351.19	c 1350s |      20 |  6767802 |   672827 |    23685     68 |      417 |        0
1352.86/1353.32	c 1352s |      20 |  6776183 |   673727 |    23685     68 |      417 |        0
1355.06/1355.52	c 1355s |      20 |  6793240 |   674627 |    23685     69 |      417 |        0
1357.07/1357.54	c 1357s |      20 |  6805494 |   675727 |    23685     69 |      417 |        0
1359.06/1359.55	c 1359s |      20 |  6810683 |   676527 |    23685     69 |      417 |        0
1361.16/1361.67	c 1361s |      20 |  6819236 |   677527 |    23685     69 |      418 |        0
1363.16/1363.68	c 1363s |      20 |  6834975 |   678627 |    23685     69 |      418 |        0
1365.26/1365.70	c 1365s |      20 |  6843784 |   679727 |    23685     69 |      418 |        0
1367.56/1368.02	c 1367s |      20 |  6845793 |   680327 |    23685     69 |      418 |        0
1369.55/1370.07	c 1369s |      20 |  6859982 |   681227 |    23685     69 |      419 |        0
1371.65/1372.15	c 1371s |      20 |  6878827 |   682327 |    23685     69 |      419 |        0
1373.75/1374.26	c 1373s |      20 |  6892377 |   683527 |    23685     69 |      419 |        0
1375.95/1376.44	c 1375s |      20 |  6902974 |   684427 |    23685     69 |      419 |        0
1378.05/1378.53	c 1378s |      20 |  6912667 |   685227 |    23685     69 |      419 |        0
1380.16/1380.69	c 1380s |      20 |  6922872 |   686427 |    23685     69 |      419 |        0
1382.45/1382.97	c 1382s |      20 |  6929361 |   687127 |    23685     70 |      419 |        0
1384.75/1385.22	c 1384s |      20 |  6945512 |   688327 |    23685     70 |      420 |        0
1386.85/1387.35	c 1386s |      20 |  6954371 |   689427 |    23685     70 |      420 |        0
1389.05/1389.52	c 1389s |      20 |  6969759 |   690827 |    23685     70 |      420 |        0
1391.06/1391.60	c 1391s |      20 |  6981387 |   692027 |    23685     70 |      420 |        0
1393.26/1393.75	c 1393s |      20 |  6989257 |   693027 |    23685     70 |      420 |        0
1395.35/1395.82	c 1395s |      20 |  7003848 |   694227 |    23685     70 |      420 |        0
1397.45/1397.92	c 1397s |      20 |  7010661 |   695327 |    23685     70 |      420 |        0
1399.45/1400.00	c 1399s |      20 |  7017963 |   696427 |    23685     70 |      420 |        0
1401.65/1402.19	c 1401s |      20 |  7021655 |   697327 |    23685     70 |      420 |        0
1403.85/1404.31	c 1403s |      20 |  7027800 |   698427 |    23685     70 |      420 |        0
1405.85/1406.34	c 1405s |      20 |  7034245 |   699127 |    23685     70 |      420 |        0
1408.05/1408.55	c 1408s |      20 |  7044154 |   700327 |    23685     70 |      420 |        0
1410.14/1410.60	c 1410s |      20 |  7048016 |   700927 |    23685     71 |      420 |        0
1412.25/1412.78	c 1412s |      20 |  7053329 |   701827 |    23685     71 |      420 |        0
1414.45/1414.97	c 1414s |      20 |  7064500 |   703027 |    23685     71 |      420 |        0
1416.55/1417.01	c 1416s |      20 |  7083274 |   704227 |    23685     71 |      420 |        0
1418.66/1419.11	c 1418s |      20 |  7099925 |   705527 |    23685     71 |      420 |        0
1420.95/1421.43	c 1420s |      20 |  7106969 |   706627 |    23685     71 |      420 |        0
1423.06/1423.54	c 1423s |      20 |  7119069 |   707627 |    23685     71 |      420 |        0
1425.26/1425.72	c 1425s |      20 |  7124962 |   708527 |    23685     71 |      420 |        0
1427.36/1427.81	c 1427s |      20 |  7131496 |   709527 |    23685     71 |      420 |        0
1429.35/1429.84	c 1429s |      20 |  7134265 |   710327 |    23685     71 |      420 |        0
1431.45/1431.98	c 1431s |      20 |  7138602 |   711827 |    23685     71 |      420 |        0
1433.65/1434.13	c 1433s |      20 |  7142239 |   713027 |    23685     71 |      420 |        0
1435.75/1436.26	c 1435s |      20 |  7145711 |   714127 |    23685     71 |      420 |        0
1437.75/1438.30	c 1437s |      20 |  7147455 |   714827 |    23685     72 |      420 |        0
1440.05/1440.50	c 1439s |      20 |  7149723 |   715827 |    23685     72 |      420 |        0
1442.25/1442.70	c 1442s |      20 |  7151683 |   716627 |    23685     72 |      420 |        0
1444.35/1444.85	c 1444s |      20 |  7157151 |   717527 |    23685     72 |      420 |        0
1446.55/1447.00	c 1446s |      20 |  7163022 |   718427 |    23685     72 |      421 |        0
1448.65/1449.18	c 1448s |      20 |  7169030 |   719427 |    23685     72 |      421 |        0
1450.74/1451.24	c 1450s |      20 |  7177472 |   720227 |    23685     72 |      421 |        0
1452.75/1453.29	c 1452s |      20 |  7184063 |   721227 |    23685     72 |      421 |        0
1454.85/1455.37	c 1454s |      20 |  7195740 |   722527 |    23685     72 |      421 |        0
1457.15/1457.66	c 1457s |      20 |  7203573 |   723427 |    23685     72 |      421 |        0
1459.25/1459.77	c 1459s |      20 |  7208950 |   723927 |    23685     72 |      422 |        0
1461.45/1461.97	c 1461s |      20 |  7216082 |   724627 |    23685     72 |      423 |        0
1463.84/1464.37	c 1463s |      20 |  7225501 |   725427 |    23685     73 |      424 |        0
1465.95/1466.48	c 1465s |      20 |  7233361 |   726927 |    23685     73 |      424 |        0
1468.04/1468.55	c 1468s |      20 |  7241266 |   728227 |    23685     73 |      424 |        0
1470.14/1470.69	c 1470s |      20 |  7243471 |   729327 |    23685     73 |      424 |        0
1472.34/1472.85	c 1472s |      20 |  7247563 |   730427 |    23685     73 |      424 |        0
1474.44/1474.90	c 1474s |      20 |  7250124 |   731427 |    23685     73 |      424 |        0
1476.44/1476.92	c 1476s |      20 |  7258754 |   732327 |    23685     73 |      425 |        0
1478.54/1479.07	c 1478s |      20 |  7261072 |   733027 |    23685     73 |      425 |        0
1480.64/1481.14	c 1480s |      20 |  7263343 |   733827 |    23685     73 |      425 |        0
1482.94/1483.41	c 1482s |      20 |  7270708 |   735027 |    23685     73 |      425 |        0
1485.04/1485.51	c 1484s |      20 |  7275177 |   735827 |    23685     73 |      425 |        0
1487.04/1487.53	c 1487s |      20 |  7281559 |   736827 |    23685     73 |      425 |        0
1489.04/1489.55	c 1489s |      20 |  7289104 |   737927 |    23685     73 |      425 |        0
1491.14/1491.61	c 1491s |      20 |  7306390 |   739227 |    23685     73 |      425 |        0
1493.13/1493.63	c 1493s |      20 |  7313181 |   739927 |    23685     74 |      425 |        0
1495.13/1495.65	c 1495s |      20 |  7326674 |   741327 |    23685     74 |      425 |        0
1497.13/1497.66	c 1497s |      20 |  7337717 |   742527 |    23685     74 |      425 |        0
1499.24/1499.75	c 1499s |      20 |  7349109 |   743627 |    23685     74 |      426 |        0
1501.34/1501.86	c 1501s |      20 |  7352889 |   744527 |    23685     74 |      426 |        0
1503.54/1504.02	c 1503s |      20 |  7356281 |   745327 |    23685     74 |      426 |        0
1505.54/1506.05	c 1505s |      20 |  7361351 |   746327 |    23685     74 |      426 |        0
1507.84/1508.31	c 1507s |      20 |  7364281 |   747027 |    23685     74 |      426 |        0
1509.94/1510.41	c 1509s |      20 |  7368140 |   747927 |    23685     74 |      427 |        0
1511.94/1512.43	c 1511s |      20 |  7382635 |   749027 |    23685     74 |      427 |        0
1514.03/1514.53	c 1514s |      20 |  7397041 |   750227 |    23685     74 |      427 |        0
1516.03/1516.59	c 1516s |      20 |  7410632 |   751527 |    23685     74 |      427 |        0
1518.33/1518.84	c 1518s |      20 |  7421037 |   752627 |    23685     75 |      427 |        0
1520.53/1521.01	c 1520s |      20 |  7433918 |   754027 |    23685     75 |      427 |        0
1522.63/1523.10	c 1522s |      20 |  7442967 |   755227 |    23685     75 |      427 |        0
1524.73/1525.23	c 1524s |      20 |  7461919 |   756527 |    23685     75 |      427 |        0
1526.83/1527.35	c 1526s |      20 |  7467249 |   757427 |    23685     75 |      427 |        0
1528.93/1529.42	c 1528s |      20 |  7472361 |   758027 |    23685     75 |      429 |        0
1531.13/1531.61	c 1531s |      20 |  7480431 |   759227 |    23685     75 |      429 |        0
1533.23/1533.75	c 1533s |      20 |  7494385 |   760527 |    23685     75 |      429 |        0
1535.33/1535.83	c 1535s |      20 |  7505844 |   761727 |    23685     75 |      429 |        0
1537.53/1538.04	c 1537s |      20 |  7516353 |   762927 |    23685     75 |      429 |        0
1539.64/1540.20	c 1539s |      20 |  7522894 |   763827 |    23685     75 |      429 |        0
1541.73/1542.24	c 1541s |      20 |  7529430 |   764827 |    23685     75 |      429 |        0
1543.83/1544.37	c 1543s |      20 |  7532866 |   765527 |    23685     75 |      429 |        0
1545.82/1546.38	c 1545s |      20 |  7545148 |   766627 |    23685     75 |      429 |        0
1547.92/1548.44	c 1547s |      20 |  7551366 |   767527 |    23685     76 |      429 |        0
1550.02/1550.54	c 1550s |      20 |  7564945 |   768527 |    23685     76 |      430 |        0
1552.13/1552.66	c 1552s |      20 |  7583102 |   769927 |    23685     76 |      430 |        0
1554.23/1554.79	c 1554s |      20 |  7600054 |   771327 |    23685     76 |      430 |        0
1556.43/1556.96	c 1556s |      20 |  7611717 |   772627 |    23685     76 |      430 |        0
1558.93/1559.49	c 1558s |      20 |  7619942 |   773427 |    23685     76 |      431 |        0
1561.13/1561.65	c 1561s |      20 |  7627163 |   774727 |    23685     76 |      431 |        0
1563.33/1563.80	c 1563s |      20 |  7629059 |   775527 |    23685     76 |      431 |        0
1565.63/1566.18	c 1565s |      20 |  7631035 |   776327 |    23685     76 |      431 |        0
1567.83/1568.32	c 1567s |      20 |  7633134 |   777027 |    23685     76 |      431 |        0
1570.13/1570.62	c 1570s |      20 |  7634522 |   777627 |    23685     76 |      431 |        0
1572.23/1572.71	c 1572s |      20 |  7641913 |   778527 |    23685     76 |      431 |        0
1574.23/1574.73	c 1574s |      20 |  7646961 |   779427 |    23685     76 |      431 |        0
1576.93/1577.45	c 1576s |      20 |  7651151 |   780327 |    23685     77 |      431 |        0
1579.03/1579.60	c 1579s |      20 |  7673364 |   781527 |    23685     77 |      432 |        0
1581.12/1581.62	c 1581s |      20 |  7691997 |   782627 |    23685     77 |      432 |        0
1583.12/1583.64	c 1583s |      20 |  7707104 |   783927 |    23685     77 |      432 |        0
1585.22/1585.74	c 1585s |      20 |  7722962 |   785027 |    23685     77 |      432 |        0
1587.32/1587.87	c 1587s |      20 |  7741224 |   786227 |    23685     77 |      432 |        0
1589.42/1589.95	c 1589s |      20 |  7762797 |   787627 |    23685     77 |      432 |        0
1591.52/1592.03	c 1591s |      20 |  7777446 |   788727 |    23685     77 |      432 |        0
1593.62/1594.14	c 1593s |      20 |  7791038 |   789727 |    23685     77 |      432 |        0
1595.63/1596.17	c 1595s |      20 |  7801503 |   790627 |    23685     77 |      433 |        0
1597.83/1598.33	c 1597s |      20 |  7814481 |   791727 |    23685     77 |      433 |        0
1600.03/1600.60	c 1600s |      20 |  7822670 |   792427 |    23685     78 |      433 |        0
1602.23/1602.75	c 1602s |      20 |  7833156 |   793427 |    23685     78 |      433 |        0
1604.43/1604.99	c 1604s |      20 |  7848718 |   794627 |    23685     78 |      433 |        0
1606.63/1607.10	c 1606s |      20 |  7865542 |   795927 |    23685     78 |      433 |        0
1608.62/1609.13	c 1608s |      20 |  7875503 |   797227 |    23685     78 |      433 |        0
1610.72/1611.21	c 1610s |      20 |  7887096 |   798327 |    23685     78 |      434 |        0
1612.82/1613.31	c 1612s |      20 |  7896735 |   799727 |    23685     78 |      434 |        0
1614.82/1615.38	c 1614s |      20 |  7902262 |   801027 |    23685     78 |      434 |        0
1616.92/1617.48	c 1616s |      20 |  7904410 |   801927 |    23685     78 |      434 |        0
1619.02/1619.54	c 1619s |      20 |  7910016 |   802827 |    23685     78 |      435 |        0
1621.22/1621.78	c 1621s |      20 |  7923275 |   804127 |    23685     78 |      435 |        0
1623.42/1623.94	c 1623s |      20 |  7932281 |   805327 |    23685     78 |      435 |        0
1625.82/1626.37	c 1625s |      20 |  7936261 |   806127 |    23685     78 |      435 |        0
1628.01/1628.54	c 1628s |      20 |  7939922 |   806627 |    23685     79 |      436 |        0
1630.11/1630.65	c 1630s |      20 |  7957410 |   808027 |    23685     79 |      436 |        0
1632.11/1632.69	c 1632s |      20 |  7970986 |   809327 |    23685     79 |      436 |        0
1634.31/1634.87	c 1634s |      20 |  7977076 |   810427 |    23685     79 |      436 |        0
1636.51/1637.02	c 1636s |      20 |  7983447 |   811627 |    23685     79 |      436 |        0
1638.62/1639.11	c 1638s |      20 |  7989381 |   812427 |    23685     79 |      437 |        0
1640.61/1641.12	c 1640s |      20 |  8000720 |   813427 |    23685     79 |      438 |        0
1642.81/1643.34	c 1642s |      20 |  8006031 |   814527 |    23685     79 |      438 |        0
1645.01/1645.58	c 1645s |      20 |  8008589 |   815527 |    23685     79 |      438 |        0
1647.21/1647.73	c 1647s |      20 |  8010154 |   816227 |    23685     79 |      438 |        0
1649.52/1650.07	c 1649s |      20 |  8011540 |   816927 |    23685     79 |      438 |        0
1651.91/1652.40	c 1651s |      20 |  8013322 |   817527 |    23685     79 |      438 |        0
1654.21/1654.72	c 1654s |      20 |  8014448 |   818027 |    23685     79 |      438 |        0
1656.31/1656.84	c 1656s |      20 |  8015234 |   818427 |    23685     79 |      438 |        0
1659.02/1659.59	c 1659s |      20 |  8015809 |   818827 |    23685     79 |      438 |        0
1661.02/1661.60	c 1661s |      20 |  8017288 |   819427 |    23685     79 |      438 |        0
1663.31/1663.83	c 1663s |      20 |  8018639 |   819927 |    23685     80 |      438 |        0
1665.31/1665.87	c 1665s |      20 |  8020265 |   820527 |    23685     80 |      438 |        0
1667.41/1667.97	c 1667s |      20 |  8021725 |   821127 |    23685     80 |      438 |        0
1669.42/1669.99	c 1669s |      20 |  8022441 |   821627 |    23685     80 |      438 |        0
1671.52/1672.08	c 1671s |      20 |  8028731 |   822427 |    23685     80 |      439 |        0
1673.61/1674.13	c 1673s |      20 |  8038948 |   823527 |    23685     80 |      439 |        0
1675.61/1676.18	c 1675s |      20 |  8040952 |   824027 |    23685     80 |      439 |        0
1678.01/1678.56	c 1678s |      20 |  8043295 |   824627 |    23685     80 |      439 |        0
1680.51/1681.05	c 1680s |      20 |  8044326 |   825027 |    23685     80 |      439 |        0
1682.80/1683.39	c 1682s |      20 |  8046694 |   825627 |    23685     80 |      439 |        0
1685.21/1685.77	c 1685s |      20 |  8047186 |   825927 |    23685     80 |      439 |        0
1687.21/1687.79	c 1687s |      20 |  8050717 |   826227 |    23685     80 |      439 |        0
1689.41/1689.99	c 1689s |      20 |  8057678 |   827227 |    23685     80 |      439 |        0
1691.60/1692.10	c 1691s |      20 |  8071430 |   828327 |    23685     80 |      439 |        0
1693.61/1694.19	c 1693s |      20 |  8085376 |   829427 |    23685     80 |      440 |        0
1695.60/1696.20	c 1695s |      20 |  8095029 |   830427 |    23685     80 |      441 |        0
1697.80/1698.37	c 1697s |      20 |  8107687 |   831227 |    23685     81 |      441 |        0
1700.21/1700.76	c 1700s |      20 |  8121135 |   832527 |    23685     81 |      441 |        0
1702.31/1702.82	c 1702s |      20 |  8140674 |   833727 |    23685     81 |      441 |        0
1704.70/1705.28	c 1704s |      20 |  8153056 |   834927 |    23685     81 |      442 |        0
1707.00/1707.51	c 1706s |      20 |  8159912 |   836227 |    23685     81 |      442 |        0
1709.50/1710.02	c 1709s |      20 |  8172585 |   837427 |    23685     81 |      442 |        0
1711.71/1712.22	c 1711s |      20 |  8173610 |   837927 |    23685     81 |      442 |        0
1714.21/1714.72	c 1714s |      20 |  8174197 |   838327 |    23685     81 |      442 |        0
1716.21/1716.73	c 1716s |      20 |  8181622 |   839027 |    23685     81 |      442 |        0
1718.20/1718.74	c 1718s |      20 |  8183670 |   839827 |    23685     81 |      442 |        0
1720.40/1720.92	c 1720s |      20 |  8187049 |   840727 |    23685     81 |      442 |        0
1722.40/1722.97	c 1722s |      20 |  8188712 |   841227 |    23685     81 |      442 |        0
1724.50/1725.07	c 1724s |      20 |  8190360 |   841727 |    23685     81 |      442 |        0
1726.80/1727.36	c 1726s |      20 |  8192719 |   842427 |    23685     81 |      442 |        0
1728.90/1729.41	c 1728s |      20 |  8194774 |   842927 |    23685     81 |      442 |        0
1731.01/1731.52	c 1731s |      20 |  8207969 |   844027 |    23685     81 |      442 |        0
1733.11/1733.68	c 1733s |      20 |  8212463 |   844627 |    23685     82 |      443 |        0
1735.20/1735.73	c 1735s |      20 |  8223609 |   845727 |    23685     82 |      443 |        0
1737.30/1737.83	c 1737s |      20 |  8238148 |   847027 |    23685     82 |      444 |        0
1739.50/1740.06	c 1739s |      20 |  8249386 |   848227 |    23685     82 |      444 |        0
1741.80/1742.38	c 1741s |      20 |  8259249 |   849327 |    23685     82 |      444 |        0
1743.99/1744.53	c 1744s |      20 |  8262336 |   850127 |    23685     82 |      444 |        0
1746.19/1746.76	c 1746s |      20 |  8267070 |   851127 |    23685     82 |      444 |        0
1748.29/1748.88	c 1748s |      20 |  8271718 |   851927 |    23685     82 |      444 |        0
1750.60/1751.10	c 1750s |      20 |  8274863 |   852627 |    23685     82 |      444 |        0
1752.60/1753.16	c 1752s |      20 |  8280417 |   853127 |    23685     82 |      444 |        0
1754.70/1755.27	c 1754s |      20 |  8291735 |   854327 |    23685     82 |      444 |        0
1756.90/1757.43	c 1756s |      20 |  8298815 |   855327 |    23685     82 |      444 |        0
1759.20/1759.74	c 1759s |      20 |  8302900 |   856227 |    23685     82 |      444 |        0
1761.60/1762.10	c 1761s |      20 |  8313234 |   857127 |    23685     83 |      444 |        0
1763.60/1764.15	c 1763s |      20 |  8319967 |   858027 |    23685     83 |      444 |        0
1765.60/1766.19	c 1765s |      20 |  8330367 |   859227 |    23685     83 |      444 |        0
1767.70/1768.24	c 1767s |      20 |  8347141 |   860427 |    23685     83 |      444 |        0
1769.70/1770.27	c 1769s |      20 |  8361898 |   861727 |    23685     83 |      444 |        0
1771.80/1772.38	c 1771s |      20 |  8371663 |   862927 |    23685     83 |      444 |        0
1773.90/1774.46	c 1773s |      20 |  8381432 |   864127 |    23685     83 |      444 |        0
1775.90/1776.49	c 1775s |      20 |  8397389 |   865627 |    23685     83 |      444 |        0
1778.09/1778.66	c 1778s |      20 |  8406729 |   866727 |    23685     83 |      444 |        0
1780.09/1780.69	c 1780s |      20 |  8411467 |   867627 |    23685     83 |      444 |        0
1782.19/1782.70	c 1782s |      20 |  8416746 |   868627 |    23685     83 |      444 |        0
1784.29/1784.86	c 1784s |      20 |  8427161 |   869727 |    23685     83 |      444 |        0
1786.29/1786.88	c 1786s |      20 |  8435166 |   870327 |    23685     84 |      444 |        0
1788.49/1789.06	c 1788s |      20 |  8440448 |   871227 |    23685     84 |      444 |        0
1790.59/1791.17	c 1790s |      20 |  8447217 |   872127 |    23685     84 |      444 |        0
1792.79/1793.34	c 1792s |      20 |  8460582 |   873327 |    23685     84 |      444 |        0
1794.89/1795.47	c 1794s |      20 |  8471409 |   874427 |    23685     84 |      444 |        0
1797.09/1797.60	c 1797s |      20 |  8479559 |   875427 |    23685     84 |      444 |        0
1799.09/1799.61	c 1799s |      20 |  8489639 |   876627 |    23685     84 |      444 |        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-4099793-1466207943/watcher-4099793-1466207943 -o /tmp/evaluation-result-4099793-1466207943/solver-4099793-1466207943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099793-1466207943.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.20 1.91 4/179 14009
/proc/meminfo: memFree=24258160/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=683588 CPUtime=0 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 2542 0 0 0 0 0 0 0 20 0 4 0 22841107 699994112 2902 33554432000 4194304 16246674 140734429358800 140734429358224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 171409 2913 442 2943 0 168303 0
[pid=14009/tid=14010] ppid=14006 vsize=700996 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 717819904 2973 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=705092 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 722014208 2988 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=709188 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22841107 726208512 3004 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 2.19 2.20 1.91 4/179 14009
/proc/meminfo: memFree=24258160/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 29281 0 0 0 6 3 0 0 20 0 4 0 22841107 1333334016 29579 33554432000 4194304 16246674 140734429358800 140734429358112 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 325521 29594 802 2943 0 322415 0
[pid=14009/tid=14010] ppid=14006 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1333334016 29605 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1333334016 29615 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1333334016 29626 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200517 s]
/proc/loadavg: 2.19 2.20 1.91 4/179 14009
/proc/meminfo: memFree=24258160/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 48698 0 0 0 13 6 0 0 20 0 4 0 22841107 1344868352 49507 33554432000 4194304 16246674 140734429358800 140734429358112 6768496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 328337 49507 837 2943 0 325231 0
[pid=14009/tid=14010] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 49507 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 49507 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 49507 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300486 s]
/proc/loadavg: 2.19 2.20 1.91 4/179 14009
/proc/meminfo: memFree=24258160/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 57961 0 0 0 22 7 0 0 20 0 4 0 22841107 1344868352 58771 33554432000 4194304 16246674 140734429358800 140734429358112 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 328337 58789 837 2943 0 325231 0
[pid=14009/tid=14010] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 58798 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 58806 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 58816 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700405 s]
/proc/loadavg: 2.19 2.20 1.91 4/179 14009
/proc/meminfo: memFree=24258160/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 165705 0 0 0 48 21 0 0 20 0 4 0 22841107 1344868352 166515 33554432000 4194304 16246674 140734429358800 140734429341792 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 328337 166526 885 2943 0 325231 0
[pid=14009/tid=14010] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 166530 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 166538 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1344868352 166543 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.19 2.20 1.91 4/183 14013
/proc/meminfo: memFree=23389744/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=1.49 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 216517 0 0 0 122 27 0 0 20 0 4 0 22841107 1356402688 217326 33554432000 4194304 16246674 140734429358800 140734429358112 5667488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 217326 892 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 217326 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 217326 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 217326 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1324612

[startup+3.10042 s]
/proc/loadavg: 2.19 2.20 1.91 4/183 14013
/proc/meminfo: memFree=23389372/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 240158 0 0 0 280 29 0 0 20 0 4 0 22841107 1356402688 240968 33554432000 4194304 16246674 140734429358800 140734429340672 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 240989 895 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 241003 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 241017 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 241033 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.30041 s]
/proc/loadavg: 2.17 2.19 1.91 3/183 14013
/proc/meminfo: memFree=23167544/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=6.29 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 271835 0 0 0 596 33 0 0 20 0 4 0 22841107 1356402688 272644 33554432000 4194304 16246674 140734429358800 140734429340672 5721410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272644 895 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272644 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272644 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272644 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.16 2.19 1.91 3/183 14013
/proc/meminfo: memFree=23167668/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=12.68 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 271837 0 0 0 1235 33 0 0 20 0 4 0 22841107 1356402688 272646 33554432000 4194304 16246674 140734429358800 140734429340672 5585628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272646 897 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272646 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272646 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272646 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.12 2.18 1.91 3/183 14013
/proc/meminfo: memFree=23168284/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=25.48 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 271839 0 0 0 2515 33 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429340672 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.16 2.18 1.92 3/183 14013
/proc/meminfo: memFree=23159736/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 271839 0 0 0 5074 34 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429340672 5669524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.301 s]
/proc/loadavg: 2.27 2.20 1.93 3/184 14017
/proc/meminfo: memFree=23154096/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=102.28 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 271839 0 0 0 10194 34 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429340672 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.19 2.23 2.16 3/184 14119
/proc/meminfo: memFree=28321992/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=1301.86 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 272192 0 0 0 130129 57 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429357896 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.15 2.22 2.16 3/183 14120
/proc/meminfo: memFree=28309496/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=1361.86 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 272192 0 0 0 136128 58 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429340672 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.22 2.22 2.16 3/183 14121
/proc/meminfo: memFree=28303200/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=1421.86 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 272192 0 0 0 142127 59 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429357976 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.23 2.22 2.17 3/183 14122
/proc/meminfo: memFree=28302988/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1324612 CPUtime=1481.84 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 272192 0 0 0 148125 59 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 140734429340672 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 331153 272648 898 2943 0 328047 0
[pid=14009/tid=14010] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1356402688 272648 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.31 2.24 2.18 3/183 14124
/proc/meminfo: memFree=28292424/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1335876 CPUtime=1541.83 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 274886 0 0 0 154123 60 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 140734429340672 5717660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 333969 275342 898 2943 0 330863 0
[pid=14009/tid=14010] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.28 2.24 2.18 3/183 14125
/proc/meminfo: memFree=28292536/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1335876 CPUtime=1601.82 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 274886 0 0 0 160121 61 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 140734429340672 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 333969 275342 898 2943 0 330863 0
[pid=14009/tid=14010] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 14126
/proc/meminfo: memFree=28270832/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1335876 CPUtime=1661.81 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 274886 0 0 0 166119 62 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 140734429340672 5589389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 333969 275342 898 2943 0 330863 0
[pid=14009/tid=14010] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 14127
/proc/meminfo: memFree=28270952/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1335876 CPUtime=1721.8 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 274886 0 0 0 172116 64 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 140734429340672 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 333969 275342 898 2943 0 330863 0
[pid=14009/tid=14010] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 14128
/proc/meminfo: memFree=28229548/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1335876 CPUtime=1781.79 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 274886 0 0 0 178114 65 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 140734429340672 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 333969 275342 898 2943 0 330863 0
[pid=14009/tid=14010] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 14128
/proc/meminfo: memFree=28229548/32872528 swapFree=1286400/1433568
[pid=14009] ppid=14006 vsize=1335876 CPUtime=1800.09 cores=0,2,4,6
/proc/14009/stat : 14009 (toysat) R 14006 14009 12983 0 -1 4202496 274886 0 0 0 179944 65 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 140734429340672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14009/statm: 333969 275342 898 2943 0 330863 0
[pid=14009/tid=14010] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14010/stat : 14010 (toysat) S 14006 14009 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792192875760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14009/tid=14011] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14011/stat : 14011 (toysat) S 14006 14009 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792182385904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14009/tid=14012] ppid=14006 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/14009/task/14012/stat : 14012 (toysat) S 14006 14009 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22841107 1367937024 275342 33554432000 4194304 16246674 140734429358800 139792171912368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1335876

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.45
CPU system time (s): 0.6569
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.6569
maximum resident set size= 1101368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274886
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= 368
involuntary context switches= 1931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63429 second user time and 6.88695 second system time

The end

Begin job on node130 at 2016-06-18 01:59:03
IDJOB=4099793
IDBENCH=1523
IDSOLVER=2542
FILE ID=node130/4099793-1466207943
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 015f32a31b4a3d7bbfc82031e4222c83
RANDOM SEED=1378642503

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:        24258424 kB
Buffers:           39308 kB
Cached:           151156 kB
SwapCached:         1824 kB
Active:          6394628 kB
Inactive:          65656 kB
Active(anon):    6270268 kB
Inactive(anon):     1544 kB
Active(file):     124360 kB
Inactive(file):    64112 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       7704456 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             573144 kB
SReclaimable:      16948 kB
SUnreclaim:       556196 kB
KernelStack:        1488 kB
PageTables:        18996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7849216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node130 at 2016-06-18 02:29:04