0.00/0.00	c 2016-06-07T08:52:42+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078945-1465282362.opb"]
0.00/0.01	c use --random-gen="1816972862 285759824 3557828043 1834059182 657412045 3559875728 2057812356 181859992 3608005112 4278941387 394168010 1076731625 165025112 994533380 4163431500 339982063 2403068868 684310607 3088565646 3421896292 2498368266 675091507 556287656 4064645175 1113489701 633069528 4160658145 422617805 3662194437 2905730491 2244610489 2942033868 2237645706 1664914754 1187489432 688104540 1855760612 1569019781 3198977155 2553078212 3779312537 1125007020 2201379592 2501415839 3718268805 4064891659 453082471 365531746 3641516534 3411125490 2237308972 2785853801 1263372123 2079798849 4121120220 2147009275 349319118 625129056 3468902080 221998977 3501693747 2168390001 913633391 2884983338 3888528144 2491158777 3414550105 1204265079 3632041531 3222948194 1924455303 2083557137 447982482 1989604745 3304000858 2101169650 2334067090 2897890262 3485134896 2905964772 2146107748 2378359380 3333576185 4271883200 792087754 1098221522 2279716636 2964501863 3435917094 799476090 651609047 957688922 3519387813 830724474 455771464 3932037851 1316988762 2365435089 2238890683 1162216351 2932761765 2745177923 2244523339 4283800214 1954356124 487636991 2106832739 947170374 1906121507 1116003329 2058330400 88233756 365783724 3672486626 736920915 1826472203 1663681821 3789151430 1491571422 2168956394 843118661 715201815 2278214862 2333252841 422105336 79162698 2695732064 71506476 3155782229 2539721107 2848521897 932902191 498380371 194764215 342583761 268076509 1327383377 3056003238 501133203 3507942087 1888732021 468024116 1191150407 4131756747 3428175527 2169342378 1149280614 2415782038 1315350363 3235459826 2910766340 2429186726 4289293429 2276471800 2543480276 3073100538 2879658922 983587991 1823054163 4057541508 959043636 215391774 438050158 928422675 1930241881 2611699399 3440877262 1198520911 2218366514 2470155638 704981323 592411015 121041290 463319365 3946475728 3021009636 3715767506 3387593990 966798417 700403418 2992069028 4061617329 2160375588 3149252430 2734593127 1507015663 1749765184 1488162708 1617460186 2300139162 324731469 2048865640 2350134943 4116692562 2327718918 3972675235 3437246194 2500210726 3449865986 1846201110 569149281 2887340379 1494707664 3837106386 1653624588 539683757 767237041 2031653096 653371700 3135073845 4226061467 905948981 45203821 3083984501 3527766333 1328668030 3182231557 3304808397 4041272923 1843079545 2781483498 1422848281 331106382 2889274497 1398083815 2295345562 1291953350 1558287295 1413153874 2825522582 2248237589 1267584086 3268481708 1640197736 3144927829 3015363137 2094732050 2268768952 979052027 3385197482 1340141524 700388766 2123459020 3834457136 562724076 1309822519 1435792276 2740373771 419006121 3962382981 3993905275 178104737 853898939 776712541 2493451626 907189550 255 362436" option to reproduce the execution
0.09/0.10	c #vars 6392
0.09/0.10	c #constraints 6582
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     4324      0 |      362 |        0
0.39/0.43	c  0.2s |       1 |     5103 |      100 |     4324      0 |      363 |      304
0.59/0.66	c  0.4s |       2 |     7681 |      250 |     4757      0 |      363 |      304
0.89/0.99	c  0.8s |       3 |    12584 |      475 |     5233      0 |      363 |      304
1.39/1.41	c  1.2s |       4 |    17528 |      813 |     5757      0 |      363 |      304
1.89/1.93	c  1.7s |       5 |    27665 |     1320 |     6333      0 |      365 |      306
2.69/2.73	c  2.5s |       6 |    38555 |     2081 |     7664      0 |      367 |      308
4.29/4.31	c  4.1s |       7 |    47084 |     3223 |     8431      0 |      370 |      311
6.39/6.41	c  6.2s |       7 |    79485 |     4923 |     9275      0 |      373 |      314
6.39/6.43	c  6.2s |       8 |    79980 |     4936 |     9275      0 |      373 |      314
8.38/8.48	c  8.3s |       8 |   106706 |     6336 |     9275      0 |      374 |      315
10.58/10.69	c 10.5s |       8 |   118430 |     7336 |     9275      0 |      374 |      315
10.98/11.02	c 10.8s |       9 |   122757 |     7506 |    10203      0 |      375 |      316
13.08/13.11	c 12.9s |       9 |   140359 |     9006 |    10203      0 |      375 |      316
15.08/15.13	c 14.9s |       9 |   146448 |    10006 |    10203      0 |      375 |      316
17.08/17.17	c 16.9s |      10 |   161325 |    11361 |    11224      0 |      375 |      316
19.18/19.25	c 19.0s |      10 |   186851 |    12761 |    11224      1 |      375 |      316
21.28/21.33	c 21.1s |      10 |   205398 |    14061 |    11224      1 |      376 |      317
23.38/23.41	c 23.2s |      10 |   229212 |    15361 |    11224      1 |      377 |      318
25.49/25.59	c 25.4s |      10 |   242050 |    16661 |    11224      1 |      378 |      319
26.59/26.68	c 26.4s |      11 |   244457 |    17144 |    12347      1 |      378 |      319
28.80/28.89	c 28.7s |      11 |   264843 |    18544 |    12347      1 |      378 |      319
30.79/30.90	c 30.7s |      11 |   286134 |    19944 |    12347      1 |      378 |      319
32.99/33.02	c 32.8s |      11 |   302730 |    21244 |    12347      2 |      379 |      320
35.09/35.14	c 34.9s |      11 |   319607 |    22844 |    12347      2 |      379 |      320
37.19/37.25	c 37.0s |      11 |   340231 |    24144 |    12347      2 |      380 |      321
39.29/39.36	c 39.1s |      12 |   361666 |    25819 |    13582      2 |      380 |      321
41.39/41.42	c 41.2s |      12 |   380908 |    27019 |    13582      2 |      380 |      321
43.49/43.50	c 43.3s |      12 |   399146 |    28319 |    13582      3 |      381 |      322
45.49/45.55	c 45.3s |      12 |   418310 |    29719 |    13582      3 |      381 |      322
47.49/47.57	c 47.3s |      12 |   437157 |    31019 |    13582      3 |      381 |      322
49.59/49.63	c 49.4s |      12 |   452251 |    32519 |    13582      3 |      381 |      322
51.68/51.75	c 51.5s |      12 |   457494 |    33219 |    13582      3 |      381 |      322
53.88/53.91	c 53.7s |      12 |   459844 |    33919 |    13582      3 |      381 |      322
55.88/55.94	c 55.7s |      12 |   461044 |    34319 |    13582      3 |      381 |      322
58.39/58.44	c 58.2s |      12 |   462171 |    34719 |    13582      3 |      381 |      322
60.59/60.70	c 60.5s |      12 |   463401 |    35219 |    13582      3 |      381 |      322
62.88/62.95	c 62.7s |      12 |   464251 |    35519 |    13582      3 |      381 |      322
65.18/65.28	c 65.1s |      12 |   466559 |    36119 |    13582      3 |      381 |      322
67.38/67.42	c 67.2s |      12 |   469005 |    36719 |    13582      3 |      381 |      322
69.48/69.55	c 69.3s |      12 |   470880 |    37319 |    13582      3 |      381 |      322
71.68/71.72	c 71.5s |      12 |   471663 |    37719 |    13582      3 |      381 |      322
73.67/73.78	c 73.5s |      12 |   472959 |    38119 |    13582      4 |      381 |      322
75.98/76.02	c 75.8s |      12 |   473944 |    38519 |    13582      4 |      381 |      322
78.07/78.16	c 77.9s |      12 |   474386 |    38719 |    14941      4 |      381 |      322
79.07/79.17	c 78.9s |      13 |   474614 |    38832 |    14941      4 |      381 |      322
81.17/81.23	c 81.0s |      13 |   484070 |    40032 |    14941      4 |      381 |      322
83.17/83.28	c 83.0s |      13 |   486857 |    40832 |    14941      4 |      381 |      322
85.27/85.34	c 85.1s |      13 |   489968 |    41532 |    14941      4 |      381 |      322
87.47/87.51	c 87.3s |      13 |   491495 |    42032 |    14941      4 |      381 |      322
89.78/89.81	c 89.6s |      13 |   493275 |    42532 |    14941      4 |      381 |      322
91.88/91.93	c 91.7s |      13 |   494719 |    43032 |    14941      4 |      381 |      322
93.98/94.00	c 93.8s |      13 |   506850 |    43932 |    14941      4 |      381 |      322
95.97/96.03	c 95.8s |      13 |   525198 |    44832 |    14941      5 |      382 |      323
97.98/98.09	c 97.9s |      13 |   534771 |    46132 |    14941      5 |      382 |      323
100.07/100.13	c 99.9s |      13 |   538643 |    47232 |    14941      5 |      382 |      323
102.17/102.20	c  101s |      13 |   541516 |    48232 |    14941      5 |      382 |      323
104.27/104.39	c  104s |      13 |   544642 |    49232 |    14941      5 |      382 |      323
106.37/106.40	c  106s |      13 |   546017 |    49832 |    14941      5 |      382 |      323
108.47/108.56	c  108s |      13 |   548633 |    50532 |    14941      5 |      382 |      323
110.57/110.66	c  110s |      13 |   553178 |    51432 |    14941      5 |      382 |      323
112.56/112.67	c  112s |      13 |   557103 |    52332 |    14941      5 |      382 |      323
114.76/114.83	c  114s |      13 |   559689 |    53032 |    14941      5 |      382 |      323
117.26/117.35	c  117s |      13 |   561282 |    53632 |    14941      5 |      382 |      323
119.26/119.36	c  119s |      13 |   563324 |    54232 |    14941      5 |      382 |      323
121.46/121.54	c  121s |      13 |   564793 |    54732 |    14941      5 |      382 |      323
123.56/123.61	c  123s |      13 |   565725 |    55132 |    14941      5 |      382 |      323
125.57/125.68	c  125s |      13 |   566561 |    55532 |    14941      5 |      382 |      323
127.67/127.74	c  127s |      13 |   568498 |    56032 |    14941      5 |      382 |      323
129.97/130.04	c  129s |      13 |   569891 |    56432 |    14941      6 |      382 |      323
132.46/132.55	c  132s |      13 |   570584 |    56732 |    14941      6 |      382 |      323
134.56/134.66	c  134s |      13 |   571670 |    57032 |    14941      6 |      382 |      323
137.35/137.41	c  137s |      13 |   576095 |    57632 |    14941      6 |      382 |      323
139.35/139.46	c  139s |      13 |   577297 |    58032 |    16436      6 |      382 |      323
141.55/141.63	c  141s |      13 |   578540 |    58332 |    16436      6 |      382 |      323
141.65/141.70	c  141s |      14 |   578568 |    58352 |    16436      6 |      382 |      323
143.75/143.88	c  143s |      14 |   585464 |    59752 |    16436      6 |      382 |      323
145.85/145.93	c  145s |      14 |   591649 |    61052 |    16436      6 |      382 |      323
147.95/148.00	c  147s |      14 |   608935 |    62352 |    16436      6 |      382 |      323
149.95/150.03	c  149s |      14 |   621191 |    63552 |    16436      6 |      382 |      323
152.25/152.37	c  152s |      14 |   623059 |    64252 |    16436      6 |      382 |      323
154.25/154.40	c  154s |      14 |   629819 |    64952 |    16436      7 |      382 |      323
156.35/156.43	c  156s |      14 |   644894 |    66452 |    16436      7 |      382 |      323
158.45/158.52	c  158s |      14 |   655707 |    67552 |    16436      7 |      382 |      323
160.44/160.53	c  160s |      14 |   666602 |    68852 |    16436      7 |      382 |      323
162.54/162.63	c  162s |      14 |   675223 |    70152 |    16436      7 |      382 |      323
164.64/164.79	c  164s |      14 |   690182 |    71252 |    16436      7 |      382 |      323
166.84/166.98	c  166s |      14 |   700837 |    72152 |    16436      7 |      382 |      323
169.04/169.18	c  168s |      14 |   715646 |    73352 |    16436      8 |      382 |      323
171.34/171.44	c  171s |      14 |   718186 |    74052 |    16436      8 |      382 |      323
173.84/173.96	c  173s |      14 |   719715 |    74452 |    16436      8 |      382 |      323
176.24/176.30	c  176s |      14 |   720514 |    74852 |    16436      8 |      382 |      323
178.25/178.39	c  178s |      14 |   730287 |    75652 |    16436      8 |      382 |      323
180.34/180.48	c  180s |      14 |   749148 |    77052 |    16436      8 |      382 |      323
182.44/182.51	c  182s |      14 |   764966 |    78352 |    16436      8 |      382 |      323
184.54/184.66	c  184s |      14 |   778118 |    79752 |    16436      8 |      382 |      323
186.73/186.88	c  186s |      14 |   789081 |    80852 |    16436      8 |      382 |      323
188.83/189.00	c  188s |      14 |   799639 |    81952 |    16436      8 |      382 |      323
191.03/191.10	c  190s |      14 |   817308 |    83352 |    16436      9 |      382 |      323
193.03/193.12	c  192s |      14 |   837995 |    84952 |    16436      9 |      382 |      323
195.03/195.12	c  194s |      14 |   856606 |    86352 |    16436      9 |      382 |      323
197.04/197.11	c  196s |      15 |   875830 |    87632 |    18080      9 |      382 |      323
199.14/199.29	c  199s |      15 |   896292 |    89032 |    18080      9 |      382 |      323
201.73/201.88	c  201s |      15 |   905602 |    90132 |    18080      9 |      382 |      323
203.93/204.04	c  203s |      15 |   907961 |    90732 |    18080      9 |      382 |      323
206.13/206.29	c  206s |      15 |   910051 |    91532 |    18080      9 |      382 |      323
208.23/208.37	c  208s |      15 |   927189 |    92632 |    18080      9 |      382 |      323
210.33/210.40	c  210s |      15 |   944006 |    93932 |    18080     10 |      382 |      323
212.53/212.60	c  212s |      15 |   966910 |    95432 |    18080     10 |      382 |      323
214.53/214.67	c  214s |      15 |   980731 |    96632 |    18080     10 |      382 |      323
216.53/216.67	c  216s |      15 |   997574 |    97932 |    18080     10 |      383 |      324
218.63/218.75	c  218s |      15 |  1006749 |    99532 |    18080     10 |      383 |      324
220.72/220.81	c  220s |      15 |  1019586 |   100732 |    18080     10 |      383 |      324
222.72/222.87	c  222s |      15 |  1031823 |   101932 |    18080     10 |      384 |      325
224.82/224.91	c  224s |      15 |  1048013 |   103132 |    18080     11 |      384 |      325
226.82/226.94	c  226s |      15 |  1066552 |   104532 |    18080     11 |      384 |      325
228.93/229.06	c  228s |      15 |  1085303 |   105932 |    18080     11 |      384 |      325
231.03/231.11	c  230s |      15 |  1098343 |   107132 |    18080     11 |      384 |      325
233.02/233.19	c  232s |      15 |  1112575 |   108332 |    18080     11 |      384 |      325
235.22/235.33	c  235s |      15 |  1122358 |   109332 |    18080     11 |      384 |      325
237.22/237.34	c  237s |      15 |  1135975 |   110532 |    18080     11 |      384 |      325
239.32/239.40	c  239s |      15 |  1148830 |   111732 |    18080     11 |      384 |      325
241.42/241.52	c  241s |      15 |  1159735 |   112732 |    18080     12 |      385 |      326
243.72/243.84	c  243s |      15 |  1169022 |   113732 |    18080     12 |      385 |      326
245.82/245.94	c  245s |      15 |  1184318 |   114832 |    18080     12 |      385 |      326
248.12/248.22	c  247s |      15 |  1198967 |   116132 |    18080     12 |      385 |      326
250.12/250.25	c  250s |      15 |  1217611 |   117332 |    18080     12 |      385 |      326
252.12/252.29	c  252s |      15 |  1234980 |   118632 |    18080     12 |      385 |      326
254.22/254.39	c  254s |      15 |  1246600 |   119732 |    18080     12 |      385 |      326
256.42/256.51	c  256s |      15 |  1251625 |   120432 |    18080     12 |      385 |      326
258.42/258.53	c  258s |      15 |  1254098 |   121132 |    18080     12 |      385 |      326
260.42/260.58	c  260s |      15 |  1267348 |   122132 |    18080     13 |      386 |      327
262.62/262.79	c  262s |      15 |  1281529 |   123832 |    18080     13 |      386 |      327
264.72/264.83	c  264s |      15 |  1304587 |   125332 |    18080     13 |      386 |      327
266.72/266.89	c  266s |      15 |  1316799 |   127032 |    18080     13 |      386 |      327
268.91/269.00	c  268s |      15 |  1321833 |   128232 |    18080     13 |      386 |      327
271.11/271.28	c  271s |      15 |  1326507 |   129432 |    18080     13 |      386 |      327
273.11/273.29	c  273s |      15 |  1329291 |   130132 |    18080     13 |      386 |      327
275.51/275.64	c  275s |      15 |  1330967 |   130732 |    19888     13 |      386 |      327
277.61/277.70	c  277s |      15 |  1332071 |   131132 |    19888     13 |      386 |      327
278.92/279.00	c  278s |      16 |  1333372 |   131552 |    19888     13 |      386 |      327
280.92/281.03	c  280s |      16 |  1350710 |   132552 |    19888     14 |      387 |      328
282.92/283.08	c  282s |      16 |  1371760 |   134052 |    19888     14 |      387 |      328
284.92/285.08	c  284s |      16 |  1399866 |   135652 |    19888     14 |      388 |      329
287.12/287.26	c  287s |      16 |  1421770 |   137152 |    19888     14 |      388 |      329
289.22/289.31	c  289s |      16 |  1444423 |   138752 |    19888     14 |      388 |      329
291.22/291.34	c  291s |      16 |  1466476 |   140152 |    19888     14 |      388 |      329
293.31/293.49	c  293s |      16 |  1484103 |   141552 |    19888     14 |      388 |      329
295.41/295.55	c  295s |      16 |  1497767 |   142752 |    19888     14 |      388 |      329
297.51/297.62	c  297s |      16 |  1500928 |   143552 |    19888     14 |      388 |      329
299.51/299.67	c  299s |      16 |  1501871 |   143952 |    19888     14 |      388 |      329
301.71/301.86	c  301s |      16 |  1507643 |   144952 |    19888     15 |      388 |      329
303.81/303.95	c  303s |      16 |  1519635 |   146452 |    19888     15 |      388 |      329
305.91/306.03	c  305s |      16 |  1527072 |   147652 |    19888     15 |      388 |      329
308.11/308.26	c  308s |      16 |  1535780 |   148752 |    19888     15 |      388 |      329
310.21/310.31	c  310s |      16 |  1549115 |   150052 |    19888     15 |      388 |      329
312.21/312.32	c  312s |      16 |  1567395 |   151452 |    19888     15 |      388 |      329
314.31/314.46	c  314s |      16 |  1586442 |   152752 |    19888     15 |      389 |      330
316.30/316.49	c  316s |      16 |  1602995 |   153952 |    19888     15 |      389 |      330
318.50/318.63	c  318s |      16 |  1611887 |   155052 |    19888     15 |      389 |      330
320.70/320.83	c  320s |      16 |  1621259 |   156252 |    19888     16 |      389 |      330
322.90/323.05	c  322s |      16 |  1623099 |   156952 |    19888     16 |      389 |      330
325.00/325.11	c  324s |      16 |  1624154 |   157452 |    19888     16 |      389 |      330
327.10/327.21	c  326s |      16 |  1624912 |   157852 |    19888     16 |      389 |      330
329.40/329.50	c  329s |      16 |  1625638 |   158252 |    19888     16 |      389 |      330
331.40/331.51	c  331s |      16 |  1626728 |   158652 |    19888     16 |      389 |      330
333.50/333.63	c  333s |      16 |  1627874 |   159052 |    19888     16 |      389 |      330
335.89/336.01	c  335s |      16 |  1632451 |   159752 |    19888     16 |      389 |      330
337.99/338.13	c  337s |      16 |  1635553 |   160452 |    19888     16 |      389 |      330
340.19/340.32	c  340s |      16 |  1636258 |   160752 |    19888     16 |      389 |      330
342.99/343.15	c  342s |      16 |  1636585 |   160952 |    19888     16 |      389 |      330
344.99/345.17	c  344s |      16 |  1637908 |   161352 |    19888     16 |      389 |      330
347.38/347.59	c  347s |      16 |  1638878 |   161752 |    19888     16 |      389 |      330
349.89/350.03	c  349s |      16 |  1639482 |   162052 |    19888     16 |      389 |      330
352.28/352.49	c  352s |      16 |  1640773 |   162352 |    19888     16 |      389 |      330
354.88/355.08	c  354s |      16 |  1641598 |   162652 |    19888     16 |      389 |      330
357.38/357.52	c  357s |      16 |  1643997 |   163052 |    19888     16 |      389 |      330
359.58/359.71	c  359s |      16 |  1650451 |   163952 |    19888     16 |      389 |      330
361.68/361.83	c  361s |      16 |  1664252 |   164952 |    19888     16 |      389 |      330
363.68/363.88	c  363s |      16 |  1675598 |   166052 |    19888     17 |      390 |      331
365.88/366.04	c  365s |      16 |  1700949 |   167752 |    19888     17 |      390 |      331
367.98/368.17	c  367s |      16 |  1706496 |   169052 |    19888     17 |      390 |      331
370.17/370.34	c  370s |      16 |  1709873 |   170052 |    19888     17 |      390 |      331
372.28/372.46	c  372s |      16 |  1712396 |   170852 |    19888     17 |      390 |      331
374.48/374.68	c  374s |      16 |  1715141 |   171652 |    19888     17 |      390 |      331
376.88/377.01	c  376s |      16 |  1717425 |   172352 |    19888     17 |      390 |      331
379.08/379.25	c  379s |      16 |  1719999 |   173052 |    19888     17 |      390 |      331
381.18/381.38	c  381s |      16 |  1722206 |   173752 |    19888     17 |      390 |      331
383.38/383.58	c  383s |      16 |  1724878 |   174552 |    19888     17 |      390 |      331
385.67/385.89	c  385s |      16 |  1727352 |   175252 |    19888     17 |      390 |      331
387.97/388.18	c  387s |      16 |  1729065 |   175752 |    19888     17 |      390 |      331
390.17/390.33	c  390s |      16 |  1730246 |   176252 |    19888     17 |      390 |      331
392.68/392.87	c  392s |      16 |  1732911 |   176852 |    19888     18 |      390 |      331
394.77/394.99	c  394s |      16 |  1751399 |   178452 |    19888     18 |      391 |      332
396.86/397.02	c  396s |      16 |  1760246 |   179752 |    19888     18 |      391 |      332
399.06/399.22	c  398s |      16 |  1776955 |   181152 |    19888     18 |      391 |      332
401.06/401.25	c  401s |      16 |  1791007 |   182052 |    19888     18 |      391 |      332
403.26/403.48	c  403s |      16 |  1800590 |   183152 |    19888     18 |      391 |      332
405.36/405.53	c  405s |      16 |  1804493 |   183852 |    19888     18 |      391 |      332
408.07/408.23	c  408s |      16 |  1805645 |   184252 |    19888     18 |      391 |      332
410.16/410.39	c  410s |      16 |  1806387 |   184552 |    19888     18 |      391 |      332
412.36/412.57	c  412s |      16 |  1806875 |   184752 |    19888     18 |      391 |      332
415.26/415.49	c  415s |      16 |  1807816 |   185152 |    19888     18 |      391 |      332
418.16/418.32	c  418s |      16 |  1808348 |   185352 |    19888     18 |      391 |      332
420.36/420.56	c  420s |      16 |  1808585 |   185452 |    19888     18 |      391 |      332
422.56/422.74	c  422s |      16 |  1808756 |   185552 |    19888     18 |      391 |      332
424.66/424.89	c  424s |      16 |  1809940 |   185852 |    19888     18 |      391 |      332
426.86/427.03	c  426s |      16 |  1822058 |   186852 |    19888     18 |      391 |      332
428.85/429.06	c  428s |      16 |  1836930 |   187952 |    19888     19 |      391 |      332
430.95/431.13	c  430s |      16 |  1845751 |   188852 |    19888     19 |      391 |      332
433.15/433.32	c  433s |      16 |  1853282 |   190152 |    19888     19 |      391 |      332
435.25/435.46	c  435s |      16 |  1855987 |   190752 |    19888     19 |      391 |      332
437.45/437.67	c  437s |      16 |  1870020 |   191952 |    19888     19 |      391 |      332
439.65/439.80	c  439s |      16 |  1883571 |   193152 |    19888     19 |      391 |      332
441.75/441.90	c  441s |      16 |  1896257 |   194352 |    19888     19 |      391 |      332
444.15/444.37	c  444s |      16 |  1908954 |   195452 |    19888     19 |      391 |      332
446.24/446.46	c  446s |      16 |  1921764 |   196452 |    21877     19 |      391 |      332
448.75/449.00	c  448s |      16 |  1927671 |   197352 |    21877     19 |      391 |      332
449.34/449.50	c  449s |      17 |  1927851 |   197432 |    21877     19 |      391 |      332
451.34/451.57	c  451s |      17 |  1946135 |   198432 |    21877     19 |      391 |      332
453.44/453.61	c  453s |      17 |  1957168 |   199732 |    21877     19 |      391 |      332
455.53/455.76	c  455s |      17 |  1980603 |   201432 |    21877     20 |      391 |      332
457.64/457.86	c  457s |      17 |  2006869 |   203332 |    21877     20 |      391 |      332
459.74/459.93	c  459s |      17 |  2029893 |   205032 |    21877     20 |      391 |      332
461.94/462.11	c  461s |      17 |  2049930 |   206732 |    21877     20 |      391 |      332
464.03/464.21	c  463s |      17 |  2055441 |   207732 |    21877     20 |      391 |      332
466.24/466.48	c  466s |      17 |  2065895 |   208732 |    21877     20 |      391 |      332
468.54/468.79	c  468s |      17 |  2067442 |   209232 |    21877     20 |      391 |      332
470.63/470.86	c  470s |      17 |  2070574 |   210032 |    21877     20 |      391 |      332
472.63/472.88	c  472s |      17 |  2072523 |   210632 |    21877     20 |      391 |      332
474.93/475.12	c  474s |      17 |  2074274 |   211032 |    21877     20 |      391 |      332
477.73/477.98	c  477s |      17 |  2075437 |   211432 |    21877     20 |      391 |      332
479.83/480.07	c  479s |      17 |  2077189 |   211932 |    21877     20 |      391 |      332
482.13/482.39	c  482s |      17 |  2079019 |   212332 |    21877     20 |      391 |      332
484.33/484.57	c  484s |      17 |  2080838 |   212832 |    21877     20 |      391 |      332
487.03/487.22	c  486s |      17 |  2081923 |   213232 |    21877     20 |      391 |      332
489.33/489.56	c  489s |      17 |  2082883 |   213532 |    21877     20 |      391 |      332
492.13/492.32	c  492s |      17 |  2085199 |   214132 |    21877     20 |      391 |      332
494.52/494.74	c  494s |      17 |  2086761 |   214532 |    21877     21 |      391 |      332
496.62/496.87	c  496s |      17 |  2087853 |   215032 |    21877     21 |      391 |      332
498.83/499.06	c  498s |      17 |  2088706 |   215432 |    21877     21 |      391 |      332
500.92/501.15	c  500s |      17 |  2090509 |   215932 |    21877     21 |      391 |      332
503.32/503.51	c  503s |      17 |  2092455 |   216432 |    21877     21 |      391 |      332
505.72/505.96	c  505s |      17 |  2093181 |   216732 |    21877     21 |      391 |      332
507.82/508.03	c  507s |      17 |  2094661 |   217132 |    21877     21 |      391 |      332
510.22/510.50	c  510s |      17 |  2095778 |   217532 |    21877     21 |      391 |      332
512.41/512.61	c  512s |      17 |  2096470 |   217832 |    21877     21 |      391 |      332
514.52/514.78	c  514s |      17 |  2097387 |   218132 |    21877     21 |      391 |      332
517.22/517.48	c  517s |      17 |  2098404 |   218432 |    21877     21 |      391 |      332
519.52/519.70	c  519s |      17 |  2098978 |   218632 |    21877     21 |      391 |      332
521.61/521.80	c  521s |      17 |  2100326 |   219032 |    21877     21 |      391 |      332
524.01/524.21	c  523s |      17 |  2101469 |   219532 |    21877     21 |      391 |      332
526.11/526.39	c  526s |      17 |  2103901 |   220032 |    21877     21 |      391 |      332
528.31/528.54	c  528s |      17 |  2109213 |   221232 |    21877     21 |      391 |      332
530.91/531.13	c  530s |      17 |  2111935 |   221732 |    21877     21 |      391 |      332
533.11/533.31	c  533s |      17 |  2114003 |   222232 |    21877     21 |      391 |      332
535.11/535.35	c  535s |      17 |  2122665 |   223432 |    21877     21 |      391 |      332
537.20/537.41	c  537s |      17 |  2138453 |   224732 |    21877     22 |      391 |      332
539.20/539.44	c  539s |      17 |  2162701 |   226732 |    21877     22 |      392 |      333
541.21/541.49	c  541s |      17 |  2176603 |   228032 |    21877     22 |      392 |      333
543.60/543.80	c  543s |      17 |  2197292 |   229532 |    21877     22 |      392 |      333
545.70/545.96	c  545s |      17 |  2200115 |   230332 |    21877     22 |      392 |      333
547.80/548.08	c  547s |      17 |  2220973 |   231532 |    21877     22 |      393 |      334
549.90/550.12	c  549s |      17 |  2237548 |   232832 |    21877     22 |      393 |      334
551.89/552.15	c  551s |      17 |  2258169 |   234232 |    21877     22 |      393 |      334
554.09/554.31	c  554s |      17 |  2272452 |   235332 |    21877     22 |      393 |      334
556.09/556.39	c  556s |      17 |  2283565 |   236532 |    21877     22 |      393 |      334
558.19/558.42	c  558s |      17 |  2289944 |   237632 |    21877     23 |      393 |      334
560.19/560.44	c  560s |      17 |  2297988 |   239232 |    21877     23 |      393 |      334
562.39/562.63	c  562s |      17 |  2306261 |   240732 |    21877     23 |      393 |      334
564.49/564.75	c  564s |      17 |  2313480 |   241932 |    21877     23 |      393 |      334
566.68/566.91	c  566s |      17 |  2320152 |   242932 |    21877     23 |      393 |      334
568.88/569.11	c  568s |      17 |  2324955 |   243832 |    21877     23 |      393 |      334
570.98/571.21	c  570s |      17 |  2331358 |   244832 |    21877     23 |      393 |      334
572.99/573.29	c  573s |      17 |  2335550 |   245732 |    21877     23 |      393 |      334
574.98/575.29	c  575s |      17 |  2338786 |   246432 |    21877     23 |      393 |      334
577.19/577.40	c  577s |      17 |  2340040 |   246932 |    21877     23 |      393 |      334
579.59/579.89	c  579s |      17 |  2342938 |   247632 |    21877     23 |      393 |      334
581.79/582.09	c  581s |      17 |  2344173 |   248032 |    21877     23 |      393 |      334
583.88/584.11	c  583s |      17 |  2345107 |   248432 |    21877     23 |      393 |      334
585.88/586.13	c  585s |      17 |  2346446 |   248932 |    21877     23 |      393 |      334
588.28/588.51	c  588s |      17 |  2347884 |   249432 |    21877     23 |      393 |      334
590.48/590.76	c  590s |      17 |  2349493 |   249932 |    21877     23 |      393 |      334
592.78/593.05	c  592s |      17 |  2350964 |   250432 |    21877     23 |      393 |      334
594.98/595.21	c  594s |      17 |  2351873 |   250832 |    21877     24 |      393 |      334
596.97/597.22	c  596s |      17 |  2355653 |   251932 |    21877     24 |      393 |      334
598.97/599.25	c  599s |      17 |  2358383 |   252732 |    21877     24 |      393 |      334
600.97/601.28	c  601s |      17 |  2362478 |   253932 |    21877     24 |      393 |      334
603.17/603.43	c  603s |      17 |  2367913 |   254932 |    21877     24 |      393 |      334
605.17/605.43	c  605s |      17 |  2369491 |   255332 |    21877     24 |      393 |      334
607.46/607.72	c  607s |      17 |  2369995 |   255532 |    21877     24 |      393 |      334
609.56/609.80	c  609s |      17 |  2371647 |   255932 |    21877     24 |      393 |      334
612.16/612.48	c  612s |      17 |  2373106 |   256432 |    21877     24 |      393 |      334
614.26/614.54	c  614s |      17 |  2378381 |   257432 |    21877     24 |      393 |      334
616.36/616.63	c  616s |      17 |  2383198 |   258532 |    21877     24 |      393 |      334
618.36/618.64	c  618s |      17 |  2386380 |   259432 |    21877     24 |      393 |      334
620.36/620.66	c  620s |      17 |  2389002 |   260132 |    21877     24 |      393 |      334
622.56/622.82	c  622s |      17 |  2395071 |   260932 |    21877     24 |      393 |      334
624.76/625.07	c  624s |      17 |  2399268 |   261832 |    21877     24 |      393 |      334
627.06/627.32	c  627s |      17 |  2402202 |   262532 |    21877     25 |      393 |      334
629.26/629.51	c  629s |      17 |  2409000 |   263932 |    21877     25 |      393 |      334
631.46/631.72	c  631s |      17 |  2414069 |   264932 |    21877     25 |      393 |      334
633.46/633.80	c  633s |      17 |  2419281 |   265932 |    21877     25 |      393 |      334
635.66/635.94	c  635s |      17 |  2421189 |   266632 |    21877     25 |      393 |      334
637.96/638.22	c  637s |      17 |  2423545 |   267332 |    21877     25 |      393 |      334
640.05/640.38	c  640s |      17 |  2424645 |   267832 |    21877     25 |      393 |      334
642.25/642.59	c  642s |      17 |  2426662 |   268432 |    21877     25 |      393 |      334
644.75/645.03	c  644s |      17 |  2427569 |   268832 |    21877     25 |      393 |      334
647.04/647.36	c  647s |      17 |  2428526 |   269232 |    21877     25 |      393 |      334
649.24/649.53	c  649s |      17 |  2430864 |   269832 |    21877     25 |      393 |      334
651.44/651.73	c  651s |      17 |  2432912 |   270532 |    21877     25 |      393 |      334
653.84/654.16	c  653s |      17 |  2434446 |   271032 |    21877     25 |      393 |      334
656.13/656.47	c  656s |      17 |  2435633 |   271532 |    21877     25 |      393 |      334
658.23/658.52	c  658s |      17 |  2436877 |   271932 |    21877     25 |      393 |      334
660.44/660.78	c  660s |      17 |  2437524 |   272232 |    21877     25 |      393 |      334
663.04/663.31	c  663s |      17 |  2438800 |   272632 |    21877     25 |      393 |      334
665.14/665.45	c  665s |      17 |  2439806 |   272932 |    21877     25 |      393 |      334
667.43/667.76	c  667s |      17 |  2441217 |   273332 |    21877     25 |      393 |      334
669.63/669.95	c  669s |      17 |  2442033 |   273632 |    21877     25 |      393 |      334
671.83/672.14	c  671s |      17 |  2444551 |   274332 |    21877     25 |      393 |      334
674.33/674.63	c  674s |      17 |  2445856 |   274832 |    21877     25 |      393 |      334
676.52/676.81	c  676s |      17 |  2448157 |   275532 |    21877     26 |      393 |      334
678.53/678.89	c  678s |      17 |  2449933 |   276232 |    21877     26 |      393 |      334
680.62/681.00	c  680s |      17 |  2452161 |   276932 |    21877     26 |      393 |      334
682.93/683.22	c  682s |      17 |  2453770 |   277532 |    21877     26 |      393 |      334
685.02/685.40	c  685s |      17 |  2456685 |   278432 |    21877     26 |      393 |      334
687.32/687.63	c  687s |      17 |  2459642 |   279232 |    21877     26 |      393 |      334
689.52/689.84	c  689s |      17 |  2461367 |   279732 |    21877     26 |      393 |      334
691.62/691.98	c  691s |      17 |  2464334 |   280432 |    21877     26 |      393 |      334
693.71/694.01	c  693s |      17 |  2466391 |   281032 |    21877     26 |      393 |      334
695.81/696.10	c  695s |      17 |  2469011 |   281832 |    21877     26 |      393 |      334
698.12/698.45	c  698s |      17 |  2470831 |   282432 |    21877     26 |      393 |      334
700.32/700.69	c  700s |      17 |  2471979 |   282932 |    21877     26 |      393 |      334
702.92/703.28	c  703s |      17 |  2473047 |   283432 |    21877     26 |      393 |      334
705.41/705.72	c  705s |      17 |  2474556 |   283932 |    21877     26 |      393 |      334
707.41/707.79	c  707s |      17 |  2478338 |   284632 |    21877     26 |      393 |      334
709.62/709.90	c  709s |      17 |  2481240 |   285232 |    21877     26 |      393 |      334
711.72/712.04	c  711s |      17 |  2483944 |   285932 |    21877     26 |      393 |      334
714.02/714.31	c  714s |      17 |  2486241 |   286632 |    21877     27 |      393 |      334
716.22/716.58	c  716s |      17 |  2489920 |   287532 |    21877     27 |      393 |      334
718.31/718.66	c  718s |      17 |  2494008 |   288232 |    21877     27 |      393 |      334
720.51/720.81	c  720s |      17 |  2498590 |   289232 |    21877     27 |      393 |      334
722.52/722.88	c  722s |      17 |  2503640 |   290332 |    21877     27 |      393 |      334
724.61/724.97	c  724s |      17 |  2507558 |   291432 |    21877     27 |      393 |      334
726.71/727.00	c  726s |      17 |  2510615 |   292232 |    21877     27 |      393 |      334
728.81/729.17	c  728s |      17 |  2513026 |   292932 |    21877     27 |      393 |      334
731.01/731.31	c  731s |      17 |  2518434 |   293732 |    21877     27 |      393 |      334
733.31/733.63	c  733s |      17 |  2521668 |   294432 |    24065     27 |      393 |      334
735.51/735.87	c  735s |      17 |  2524429 |   295032 |    24065     27 |      393 |      334
737.92/738.26	c  738s |      17 |  2525961 |   295532 |    24065     27 |      393 |      334
740.51/740.82	c  740s |      17 |  2527354 |   296032 |    24065     27 |      393 |      334
741.61/741.95	c  741s |      18 |  2527822 |   296252 |    24065     27 |      393 |      334
743.71/744.06	c  743s |      18 |  2535792 |   297652 |    24065     27 |      393 |      334
745.81/746.10	c  745s |      18 |  2539647 |   298752 |    24065     27 |      393 |      334
748.01/748.30	c  748s |      18 |  2541819 |   299552 |    24065     27 |      393 |      334
750.11/750.43	c  750s |      18 |  2543898 |   300152 |    24065     28 |      393 |      334
752.31/752.69	c  752s |      18 |  2559364 |   301952 |    24065     28 |      393 |      334
754.52/754.87	c  754s |      18 |  2560822 |   302552 |    24065     28 |      393 |      334
756.51/756.87	c  756s |      18 |  2573210 |   303952 |    24065     28 |      393 |      334
758.71/759.02	c  758s |      18 |  2583936 |   305352 |    24065     28 |      393 |      334
760.71/761.06	c  760s |      18 |  2612975 |   306952 |    24065     28 |      394 |      335
762.71/763.08	c  762s |      18 |  2630262 |   308652 |    24065     28 |      394 |      335
764.71/765.09	c  764s |      18 |  2646731 |   309952 |    24065     28 |      394 |      335
766.91/767.23	c  766s |      18 |  2656155 |   311352 |    24065     28 |      394 |      335
768.91/769.27	c  769s |      18 |  2669592 |   312552 |    24065     29 |      394 |      335
771.11/771.44	c  771s |      18 |  2685642 |   314252 |    24065     29 |      394 |      335
773.22/773.52	c  773s |      18 |  2710974 |   316052 |    24065     29 |      394 |      335
775.21/775.60	c  775s |      18 |  2732509 |   317752 |    24065     29 |      394 |      335
777.61/777.91	c  777s |      18 |  2735343 |   318252 |    24065     29 |      394 |      335
779.71/780.00	c  779s |      18 |  2738292 |   319052 |    24065     29 |      394 |      335
781.91/782.28	c  782s |      18 |  2740503 |   319752 |    24065     29 |      394 |      335
784.30/784.67	c  784s |      18 |  2741710 |   320152 |    24065     29 |      394 |      335
786.90/787.24	c  787s |      18 |  2744191 |   320752 |    24065     29 |      394 |      335
789.20/789.54	c  789s |      18 |  2745145 |   321152 |    24065     29 |      394 |      335
791.60/791.93	c  791s |      18 |  2746134 |   321552 |    24065     29 |      394 |      335
793.80/794.13	c  793s |      18 |  2747055 |   321952 |    24065     29 |      394 |      335
795.90/796.22	c  795s |      18 |  2747721 |   322252 |    24065     29 |      394 |      335
798.20/798.57	c  798s |      18 |  2748053 |   322452 |    24065     29 |      394 |      335
800.50/800.90	c  800s |      18 |  2748354 |   322652 |    24065     29 |      394 |      335
803.00/803.32	c  803s |      18 |  2749044 |   322952 |    24065     29 |      394 |      335
805.11/805.48	c  805s |      18 |  2749439 |   323152 |    24065     29 |      394 |      335
807.50/807.85	c  807s |      18 |  2750814 |   323552 |    24065     29 |      394 |      335
810.30/810.62	c  810s |      18 |  2752144 |   323952 |    24065     29 |      394 |      335
813.30/813.69	c  813s |      18 |  2752999 |   324252 |    24065     29 |      394 |      335
815.70/816.06	c  815s |      18 |  2753633 |   324452 |    24065     29 |      394 |      335
818.10/818.49	c  818s |      18 |  2755514 |   324652 |    24065     30 |      394 |      335
820.20/820.54	c  820s |      18 |  2774204 |   326552 |    24065     30 |      394 |      335
822.20/822.57	c  822s |      18 |  2793482 |   328352 |    24065     30 |      394 |      335
824.30/824.65	c  824s |      18 |  2808388 |   329952 |    24065     30 |      394 |      335
826.30/826.68	c  826s |      18 |  2821257 |   331152 |    24065     30 |      394 |      335
828.50/828.83	c  828s |      18 |  2824244 |   332052 |    24065     30 |      394 |      335
830.70/831.01	c  830s |      18 |  2826658 |   332852 |    24065     30 |      394 |      335
832.80/833.17	c  832s |      18 |  2828116 |   333352 |    24065     30 |      394 |      335
835.10/835.44	c  835s |      18 |  2837471 |   334552 |    24065     30 |      394 |      335
837.29/837.60	c  837s |      18 |  2841580 |   335452 |    24065     30 |      394 |      335
839.29/839.60	c  839s |      18 |  2865913 |   337052 |    24065     31 |      394 |      335
841.30/841.65	c  841s |      18 |  2890658 |   338752 |    24065     31 |      394 |      335
843.29/843.67	c  843s |      18 |  2901189 |   339952 |    24065     31 |      394 |      335
845.59/845.91	c  845s |      18 |  2909314 |   341252 |    24065     31 |      394 |      335
847.69/848.03	c  847s |      18 |  2913161 |   342052 |    24065     31 |      394 |      335
849.79/850.17	c  849s |      18 |  2915955 |   342752 |    24065     31 |      394 |      335
851.90/852.21	c  851s |      18 |  2916928 |   343152 |    24065     31 |      394 |      335
854.00/854.38	c  854s |      18 |  2918034 |   343552 |    24065     31 |      394 |      335
856.19/856.57	c  856s |      18 |  2919344 |   343952 |    24065     31 |      394 |      335
858.39/858.75	c  858s |      18 |  2920667 |   344452 |    24065     31 |      394 |      335
860.69/861.07	c  860s |      18 |  2921679 |   344952 |    24065     31 |      394 |      335
862.79/863.18	c  862s |      18 |  2923318 |   345552 |    24065     31 |      394 |      335
865.09/865.47	c  865s |      18 |  2925445 |   346252 |    24065     31 |      394 |      335
867.09/867.49	c  867s |      18 |  2931238 |   347052 |    24065     32 |      394 |      335
869.29/869.66	c  869s |      18 |  2944229 |   348752 |    24065     32 |      395 |      336
871.39/871.76	c  871s |      18 |  2969710 |   350252 |    24065     32 |      395 |      336
873.49/873.82	c  873s |      18 |  2986524 |   351652 |    24065     32 |      395 |      336
875.59/875.90	c  875s |      18 |  2995347 |   352852 |    24065     32 |      395 |      336
877.69/878.09	c  877s |      18 |  2998932 |   353552 |    24065     32 |      395 |      336
879.99/880.35	c  880s |      18 |  3010339 |   354552 |    24065     32 |      395 |      336
881.99/882.36	c  882s |      18 |  3019710 |   355352 |    24065     32 |      395 |      336
884.20/884.50	c  884s |      18 |  3023676 |   355952 |    24065     32 |      395 |      336
886.29/886.64	c  886s |      18 |  3033045 |   357052 |    24065     33 |      395 |      336
888.29/888.69	c  888s |      18 |  3034463 |   357652 |    24065     33 |      395 |      336
890.39/890.77	c  890s |      18 |  3036207 |   358152 |    24065     33 |      395 |      336
892.69/893.05	c  892s |      18 |  3037187 |   358552 |    24065     33 |      395 |      336
894.79/895.17	c  894s |      18 |  3049405 |   359752 |    24065     33 |      395 |      336
897.49/897.82	c  897s |      18 |  3053910 |   360552 |    24065     33 |      395 |      336
899.69/900.01	c  899s |      18 |  3055297 |   360852 |    24065     33 |      395 |      336
901.90/902.25	c  902s |      18 |  3056613 |   361252 |    24065     33 |      395 |      336
904.00/904.35	c  904s |      18 |  3063648 |   362052 |    24065     33 |      395 |      336
905.99/906.36	c  906s |      18 |  3070457 |   362852 |    24065     33 |      395 |      336
908.19/908.57	c  908s |      18 |  3074929 |   363852 |    24065     33 |      395 |      336
910.39/910.78	c  910s |      18 |  3076699 |   364552 |    24065     33 |      395 |      336
912.49/912.87	c  912s |      18 |  3080027 |   365352 |    24065     33 |      395 |      336
914.59/914.94	c  914s |      18 |  3089125 |   366352 |    24065     34 |      395 |      336
916.79/917.19	c  916s |      18 |  3094539 |   367352 |    24065     34 |      395 |      336
918.89/919.20	c  918s |      18 |  3099928 |   368252 |    24065     34 |      395 |      336
920.99/921.30	c  921s |      18 |  3109276 |   369452 |    24065     34 |      395 |      336
923.09/923.48	c  923s |      18 |  3123321 |   370852 |    24065     34 |      395 |      336
925.19/925.54	c  925s |      18 |  3133765 |   371952 |    24065     34 |      395 |      336
927.29/927.66	c  927s |      18 |  3142831 |   372852 |    24065     34 |      395 |      336
929.48/929.81	c  929s |      18 |  3149553 |   373752 |    24065     34 |      395 |      336
931.59/931.98	c  931s |      18 |  3156860 |   374652 |    24065     34 |      395 |      336
933.69/934.01	c  933s |      18 |  3162801 |   375352 |    24065     34 |      395 |      336
935.78/936.18	c  935s |      18 |  3164985 |   375952 |    24065     34 |      395 |      336
937.88/938.24	c  938s |      18 |  3177221 |   377352 |    24065     35 |      395 |      336
940.08/940.41	c  940s |      18 |  3190022 |   378852 |    24065     35 |      395 |      336
942.18/942.53	c  942s |      18 |  3195898 |   379952 |    24065     35 |      395 |      336
944.28/944.60	c  944s |      18 |  3209443 |   381152 |    24065     35 |      395 |      336
946.38/946.73	c  946s |      18 |  3216182 |   382052 |    24065     35 |      395 |      336
948.38/948.77	c  948s |      18 |  3222189 |   382952 |    24065     35 |      395 |      336
950.68/951.06	c  950s |      18 |  3228116 |   383752 |    24065     35 |      395 |      336
952.88/953.21	c  952s |      18 |  3231461 |   384552 |    24065     35 |      395 |      336
955.38/955.70	c  955s |      18 |  3233902 |   385252 |    24065     35 |      395 |      336
957.38/957.77	c  957s |      18 |  3241238 |   386152 |    24065     36 |      395 |      336
959.48/959.86	c  959s |      18 |  3252790 |   387352 |    24065     36 |      395 |      336
961.58/961.96	c  961s |      18 |  3257139 |   388352 |    24065     36 |      395 |      336
963.68/964.05	c  963s |      18 |  3269203 |   389552 |    24065     36 |      395 |      336
965.88/966.27	c  966s |      18 |  3277717 |   390652 |    24065     36 |      395 |      336
967.98/968.34	c  968s |      18 |  3284716 |   391552 |    24065     36 |      395 |      336
970.28/970.62	c  970s |      18 |  3287572 |   392252 |    24065     36 |      395 |      336
972.58/972.96	c  972s |      18 |  3290799 |   392852 |    24065     36 |      395 |      336
974.88/975.29	c  975s |      18 |  3293725 |   393452 |    24065     36 |      395 |      336
977.08/977.48	c  977s |      18 |  3297138 |   394052 |    24065     36 |      395 |      336
979.37/979.76	c  979s |      18 |  3299552 |   394652 |    24065     36 |      395 |      336
981.37/981.79	c  981s |      18 |  3309235 |   395852 |    24065     37 |      395 |      336
983.47/983.86	c  983s |      18 |  3316435 |   396952 |    24065     37 |      395 |      336
985.67/986.04	c  985s |      18 |  3322936 |   397852 |    24065     37 |      395 |      336
987.87/988.25	c  988s |      18 |  3329397 |   398852 |    24065     37 |      395 |      336
989.97/990.37	c  990s |      18 |  3333075 |   399452 |    24065     37 |      395 |      336
992.08/992.49	c  992s |      18 |  3338164 |   400252 |    24065     37 |      395 |      336
994.18/994.52	c  994s |      18 |  3343136 |   401152 |    24065     37 |      395 |      336
996.27/996.60	c  996s |      18 |  3345643 |   401952 |    24065     37 |      395 |      336
998.27/998.64	c  998s |      18 |  3348932 |   402552 |    24065     37 |      395 |      336
1000.27/1000.68	c 1000s |      18 |  3353734 |   403252 |    24065     37 |      395 |      336
1002.37/1002.71	c 1002s |      18 |  3355578 |   403852 |    24065     37 |      395 |      336
1004.67/1005.02	c 1004s |      18 |  3356858 |   404352 |    24065     37 |      395 |      336
1007.38/1007.71	c 1007s |      18 |  3357776 |   404652 |    24065     38 |      395 |      336
1009.47/1009.86	c 1009s |      18 |  3361626 |   405752 |    24065     38 |      395 |      336
1011.57/1011.94	c 1011s |      18 |  3363158 |   406352 |    24065     38 |      395 |      336
1013.67/1014.03	c 1013s |      18 |  3366002 |   407052 |    24065     38 |      395 |      336
1015.67/1016.07	c 1015s |      18 |  3371604 |   407952 |    24065     38 |      395 |      336
1017.97/1018.38	c 1018s |      18 |  3372999 |   408452 |    24065     38 |      395 |      336
1020.47/1020.83	c 1020s |      18 |  3374053 |   408952 |    24065     38 |      395 |      336
1022.47/1022.83	c 1022s |      18 |  3376568 |   409652 |    24065     38 |      395 |      336
1024.57/1024.95	c 1024s |      18 |  3379833 |   410352 |    24065     38 |      395 |      336
1026.57/1026.96	c 1026s |      18 |  3381165 |   410852 |    24065     38 |      395 |      336
1028.56/1028.96	c 1028s |      18 |  3382165 |   411252 |    24065     38 |      395 |      336
1031.06/1031.40	c 1031s |      18 |  3383350 |   411752 |    24065     38 |      395 |      336
1033.26/1033.66	c 1033s |      18 |  3384113 |   412152 |    24065     38 |      395 |      336
1035.77/1036.16	c 1035s |      18 |  3384845 |   412552 |    24065     38 |      395 |      336
1038.28/1038.62	c 1038s |      18 |  3388040 |   413152 |    24065     39 |      395 |      336
1040.48/1040.86	c 1040s |      18 |  3393530 |   414152 |    24065     39 |      395 |      336
1042.58/1042.94	c 1042s |      18 |  3395753 |   414752 |    24065     39 |      395 |      336
1044.67/1045.08	c 1044s |      18 |  3399253 |   415552 |    24065     39 |      395 |      336
1046.67/1047.09	c 1046s |      18 |  3407522 |   416752 |    24065     39 |      395 |      336
1049.07/1049.43	c 1049s |      18 |  3412401 |   417552 |    24065     39 |      395 |      336
1051.27/1051.68	c 1051s |      18 |  3419440 |   418652 |    24065     39 |      395 |      336
1053.37/1053.76	c 1053s |      18 |  3421979 |   419252 |    24065     39 |      395 |      336
1056.07/1056.45	c 1056s |      18 |  3423002 |   419652 |    24065     39 |      395 |      336
1058.67/1059.03	c 1058s |      18 |  3425481 |   420252 |    24065     39 |      395 |      336
1060.86/1061.28	c 1061s |      18 |  3427323 |   420752 |    24065     39 |      395 |      336
1063.47/1063.87	c 1063s |      18 |  3428352 |   421152 |    24065     39 |      395 |      336
1065.46/1065.89	c 1065s |      18 |  3428791 |   421352 |    24065     39 |      395 |      336
1068.56/1068.96	c 1068s |      18 |  3429349 |   421552 |    24065     39 |      395 |      336
1070.96/1071.34	c 1071s |      18 |  3430962 |   421852 |    24065     39 |      395 |      336
1073.06/1073.46	c 1073s |      18 |  3434079 |   422252 |    24065     40 |      395 |      336
1075.16/1075.56	c 1075s |      18 |  3440891 |   423452 |    24065     40 |      395 |      336
1077.26/1077.62	c 1077s |      18 |  3449697 |   424652 |    24065     40 |      395 |      336
1079.26/1079.70	c 1079s |      18 |  3452455 |   425352 |    24065     40 |      395 |      336
1081.56/1081.96	c 1081s |      18 |  3453450 |   425752 |    24065     40 |      395 |      336
1083.56/1083.97	c 1083s |      18 |  3455989 |   426252 |    24065     40 |      395 |      336
1085.76/1086.13	c 1085s |      18 |  3463101 |   427352 |    24065     40 |      395 |      336
1087.96/1088.32	c 1088s |      18 |  3472092 |   428352 |    24065     40 |      395 |      336
1090.16/1090.56	c 1090s |      18 |  3477141 |   429352 |    24065     40 |      395 |      336
1092.17/1092.56	c 1092s |      18 |  3479408 |   429952 |    24065     40 |      395 |      336
1094.16/1094.57	c 1094s |      18 |  3482911 |   430452 |    24065     41 |      395 |      336
1096.36/1096.75	c 1096s |      18 |  3485441 |   431152 |    24065     41 |      395 |      336
1098.46/1098.89	c 1098s |      18 |  3489116 |   431952 |    24065     41 |      395 |      336
1100.76/1101.18	c 1100s |      18 |  3493850 |   432852 |    24065     41 |      395 |      336
1102.96/1103.33	c 1103s |      18 |  3496852 |   433652 |    24065     41 |      395 |      336
1105.06/1105.41	c 1105s |      18 |  3501890 |   434652 |    24065     41 |      395 |      336
1107.36/1107.76	c 1107s |      18 |  3507656 |   435752 |    24065     41 |      395 |      336
1109.56/1110.00	c 1109s |      18 |  3510315 |   436352 |    24065     41 |      395 |      336
1111.86/1112.23	c 1112s |      18 |  3513436 |   437052 |    24065     41 |      395 |      336
1113.86/1114.28	c 1114s |      18 |  3516018 |   437552 |    24065     41 |      395 |      336
1115.96/1116.33	c 1116s |      18 |  3519964 |   438352 |    24065     42 |      395 |      336
1118.26/1118.63	c 1118s |      18 |  3522340 |   439152 |    24065     42 |      395 |      336
1120.35/1120.72	c 1120s |      18 |  3527035 |   439952 |    24065     42 |      395 |      336
1122.55/1122.90	c 1122s |      18 |  3528867 |   440752 |    24065     42 |      395 |      336
1124.65/1125.09	c 1124s |      18 |  3531039 |   441452 |    26472     42 |      395 |      336
1127.05/1127.47	c 1127s |      18 |  3532472 |   442052 |    26472     42 |      395 |      336
1129.35/1129.77	c 1129s |      18 |  3533600 |   442552 |    26472     42 |      395 |      336
1131.45/1131.83	c 1131s |      18 |  3535832 |   443152 |    26472     42 |      395 |      336
1133.86/1134.24	c 1134s |      18 |  3538351 |   443852 |    26472     42 |      395 |      336
1136.06/1136.48	c 1136s |      18 |  3539735 |   444352 |    26472     42 |      395 |      336
1136.45/1136.82	c 1136s |      19 |  3540170 |   444482 |    26472     42 |      395 |      336
1138.45/1138.83	c 1138s |      19 |  3547411 |   445682 |    26472     42 |      395 |      336
1140.75/1141.18	c 1140s |      19 |  3560796 |   447282 |    26472     43 |      395 |      336
1142.85/1143.24	c 1143s |      19 |  3581442 |   448882 |    26472     43 |      395 |      336
1144.85/1145.29	c 1145s |      19 |  3587386 |   450282 |    26472     43 |      395 |      336
1146.95/1147.30	c 1147s |      19 |  3605065 |   452082 |    26472     43 |      395 |      336
1148.95/1149.39	c 1149s |      19 |  3616986 |   453582 |    26472     43 |      395 |      336
1151.05/1151.48	c 1151s |      19 |  3633336 |   455082 |    26472     43 |      395 |      336
1153.15/1153.57	c 1153s |      19 |  3640004 |   456382 |    26472     43 |      395 |      336
1155.25/1155.65	c 1155s |      19 |  3643874 |   457182 |    26472     44 |      396 |      337
1157.45/1157.83	c 1157s |      19 |  3658970 |   458682 |    26472     44 |      396 |      337
1159.54/1159.94	c 1159s |      19 |  3661077 |   459482 |    26472     44 |      396 |      337
1161.55/1161.94	c 1161s |      19 |  3664536 |   460382 |    26472     44 |      396 |      337
1163.75/1164.19	c 1163s |      19 |  3666551 |   460982 |    26472     44 |      396 |      337
1166.15/1166.54	c 1166s |      19 |  3667884 |   461482 |    26472     44 |      396 |      337
1168.35/1168.72	c 1168s |      19 |  3669764 |   462082 |    26472     44 |      396 |      337
1170.65/1171.08	c 1170s |      19 |  3670673 |   462382 |    26472     44 |      396 |      337
1173.05/1173.43	c 1173s |      19 |  3671868 |   462782 |    26472     44 |      396 |      337
1175.05/1175.48	c 1175s |      19 |  3674905 |   463582 |    26472     44 |      396 |      337
1177.15/1177.52	c 1177s |      19 |  3693919 |   464982 |    26472     45 |      396 |      337
1179.35/1179.71	c 1179s |      19 |  3699020 |   466282 |    26472     45 |      396 |      337
1181.35/1181.74	c 1181s |      19 |  3711136 |   467582 |    26472     45 |      396 |      337
1183.46/1183.86	c 1183s |      19 |  3726040 |   468782 |    26472     45 |      396 |      337
1185.45/1185.86	c 1185s |      19 |  3745210 |   470082 |    26472     45 |      396 |      337
1187.75/1188.15	c 1187s |      19 |  3752236 |   470882 |    26472     45 |      396 |      337
1189.85/1190.26	c 1190s |      19 |  3757493 |   471582 |    26472     45 |      396 |      337
1191.85/1192.28	c 1192s |      19 |  3769332 |   472782 |    26472     45 |      396 |      337
1193.85/1194.29	c 1194s |      19 |  3773774 |   473782 |    26472     46 |      396 |      337
1195.95/1196.30	c 1196s |      19 |  3784002 |   475082 |    26472     46 |      396 |      337
1197.95/1198.32	c 1198s |      19 |  3803395 |   476782 |    26472     46 |      396 |      337
1200.04/1200.45	c 1200s |      19 |  3818481 |   478282 |    26472     46 |      396 |      337
1202.24/1202.61	c 1202s |      19 |  3822628 |   479182 |    26472     46 |      396 |      337
1204.44/1204.90	c 1204s |      19 |  3824213 |   479682 |    26472     46 |      396 |      337
1206.64/1207.03	c 1206s |      19 |  3826334 |   480182 |    26472     46 |      396 |      337
1208.84/1209.22	c 1208s |      19 |  3827176 |   480482 |    26472     46 |      396 |      337
1211.04/1211.48	c 1211s |      19 |  3828660 |   480882 |    26472     46 |      396 |      337
1213.54/1213.99	c 1213s |      19 |  3829534 |   481282 |    26472     46 |      396 |      337
1215.74/1216.10	c 1215s |      19 |  3831630 |   481882 |    26472     46 |      396 |      337
1217.74/1218.19	c 1217s |      19 |  3834075 |   482482 |    26472     47 |      396 |      337
1219.83/1220.26	c 1220s |      19 |  3841059 |   483882 |    26472     47 |      396 |      337
1221.94/1222.35	c 1222s |      19 |  3843558 |   484782 |    26472     47 |      396 |      337
1223.93/1224.38	c 1224s |      19 |  3845479 |   485482 |    26472     47 |      396 |      337
1226.13/1226.50	c 1226s |      19 |  3849372 |   486382 |    26472     47 |      396 |      337
1228.13/1228.53	c 1228s |      19 |  3852505 |   487182 |    26472     47 |      396 |      337
1230.54/1230.91	c 1230s |      19 |  3854861 |   487882 |    26472     47 |      396 |      337
1232.64/1233.07	c 1232s |      19 |  3856615 |   488382 |    26472     47 |      396 |      337
1235.54/1235.93	c 1235s |      19 |  3857409 |   488782 |    26472     47 |      396 |      337
1237.74/1238.18	c 1237s |      19 |  3857934 |   489082 |    26472     47 |      396 |      337
1239.94/1240.36	c 1240s |      19 |  3859676 |   489582 |    26472     47 |      396 |      337
1242.14/1242.53	c 1242s |      19 |  3862104 |   490282 |    26472     47 |      396 |      337
1244.23/1244.68	c 1244s |      19 |  3864220 |   490882 |    26472     47 |      396 |      337
1246.43/1246.82	c 1246s |      19 |  3866952 |   491482 |    26472     47 |      396 |      337
1248.73/1249.15	c 1248s |      19 |  3869973 |   492382 |    26472     48 |      396 |      337
1250.93/1251.37	c 1251s |      19 |  3873218 |   493182 |    26472     48 |      396 |      337
1253.43/1253.88	c 1253s |      19 |  3874104 |   493682 |    26472     48 |      396 |      337
1255.53/1255.92	c 1255s |      19 |  3876048 |   494282 |    26472     48 |      396 |      337
1257.84/1258.28	c 1258s |      19 |  3877118 |   494782 |    26472     48 |      396 |      337
1260.44/1260.89	c 1260s |      19 |  3878345 |   495282 |    26472     48 |      396 |      337
1262.93/1263.36	c 1263s |      19 |  3879746 |   495782 |    26472     48 |      396 |      337
1265.33/1265.71	c 1265s |      19 |  3881034 |   496282 |    26472     48 |      396 |      337
1267.83/1268.21	c 1267s |      19 |  3881788 |   496682 |    26472     48 |      396 |      337
1270.03/1270.40	c 1270s |      19 |  3882502 |   496982 |    26472     48 |      396 |      337
1272.63/1273.07	c 1272s |      19 |  3883540 |   497382 |    26472     48 |      396 |      337
1275.03/1275.41	c 1275s |      19 |  3884938 |   497782 |    26472     48 |      396 |      337
1277.53/1277.97	c 1277s |      19 |  3885808 |   498182 |    26472     48 |      396 |      337
1279.83/1280.25	c 1280s |      19 |  3886522 |   498482 |    26472     48 |      396 |      337
1282.23/1282.68	c 1282s |      19 |  3887776 |   498882 |    26472     48 |      396 |      337
1284.73/1285.12	c 1284s |      19 |  3888770 |   499282 |    26472     48 |      396 |      337
1286.84/1287.26	c 1287s |      19 |  3889385 |   499582 |    26472     48 |      396 |      337
1289.04/1289.42	c 1289s |      19 |  3890060 |   499882 |    26472     48 |      396 |      337
1291.03/1291.42	c 1291s |      19 |  3891735 |   500282 |    26472     48 |      396 |      337
1293.13/1293.52	c 1293s |      19 |  3893809 |   500982 |    26472     49 |      396 |      337
1295.43/1295.82	c 1295s |      19 |  3898447 |   502282 |    26472     49 |      396 |      337
1297.73/1298.16	c 1297s |      19 |  3902214 |   503182 |    26472     49 |      396 |      337
1299.82/1300.20	c 1299s |      19 |  3903666 |   503782 |    26472     49 |      396 |      337
1302.13/1302.58	c 1302s |      19 |  3905381 |   504382 |    26472     49 |      396 |      337
1304.82/1305.28	c 1305s |      19 |  3907157 |   504982 |    26472     49 |      396 |      337
1306.92/1307.34	c 1307s |      19 |  3908888 |   505482 |    26472     49 |      396 |      337
1309.22/1309.67	c 1309s |      19 |  3909719 |   505882 |    26472     49 |      396 |      337
1311.42/1311.89	c 1311s |      19 |  3911909 |   506482 |    26472     49 |      396 |      337
1313.82/1314.24	c 1314s |      19 |  3914080 |   507082 |    26472     49 |      396 |      337
1316.12/1316.53	c 1316s |      19 |  3916951 |   507882 |    26472     49 |      396 |      337
1318.22/1318.69	c 1318s |      19 |  3919191 |   508482 |    26472     49 |      396 |      337
1320.33/1320.76	c 1320s |      19 |  3921183 |   508982 |    26472     50 |      396 |      337
1322.53/1322.93	c 1322s |      19 |  3926478 |   510382 |    26472     50 |      396 |      337
1324.63/1325.00	c 1324s |      19 |  3929739 |   511382 |    26472     50 |      396 |      337
1327.03/1327.43	c 1327s |      19 |  3932523 |   512282 |    26472     50 |      396 |      337
1329.13/1329.55	c 1329s |      19 |  3934551 |   512982 |    26472     50 |      396 |      337
1331.32/1331.77	c 1331s |      19 |  3936165 |   513682 |    26472     50 |      396 |      337
1333.42/1333.89	c 1333s |      19 |  3938620 |   514482 |    26472     50 |      396 |      337
1335.52/1335.99	c 1335s |      19 |  3940553 |   515182 |    26472     50 |      396 |      337
1337.72/1338.15	c 1337s |      19 |  3942294 |   515782 |    26472     50 |      396 |      337
1339.82/1340.24	c 1340s |      19 |  3943731 |   516282 |    26472     50 |      396 |      337
1341.83/1342.27	c 1342s |      19 |  3946125 |   516782 |    26472     50 |      396 |      337
1343.93/1344.35	c 1344s |      19 |  3947487 |   517182 |    26472     50 |      396 |      337
1346.02/1346.40	c 1346s |      19 |  3950647 |   517882 |    26472     51 |      396 |      337
1348.02/1348.48	c 1348s |      19 |  3955058 |   518882 |    26472     51 |      396 |      337
1350.12/1350.54	c 1350s |      19 |  3958379 |   519582 |    26472     51 |      396 |      337
1352.42/1352.86	c 1352s |      19 |  3961090 |   520282 |    26472     51 |      396 |      337
1354.62/1355.09	c 1354s |      19 |  3963262 |   520882 |    26472     51 |      396 |      337
1356.91/1357.33	c 1357s |      19 |  3965835 |   521482 |    26472     51 |      396 |      337
1359.01/1359.46	c 1359s |      19 |  3966482 |   521782 |    26472     51 |      396 |      337
1361.22/1361.63	c 1361s |      19 |  3967870 |   522182 |    26472     51 |      396 |      337
1363.62/1364.05	c 1363s |      19 |  3968779 |   522582 |    26472     51 |      396 |      337
1365.92/1366.32	c 1366s |      19 |  3970802 |   522982 |    26472     51 |      396 |      337
1368.12/1368.57	c 1368s |      19 |  3971884 |   523382 |    26472     51 |      396 |      337
1370.22/1370.70	c 1370s |      19 |  3974406 |   523882 |    26472     51 |      396 |      337
1372.52/1372.94	c 1372s |      19 |  3978631 |   524582 |    26472     51 |      396 |      337
1375.02/1375.46	c 1375s |      19 |  3981159 |   525082 |    26472     52 |      396 |      337
1377.11/1377.57	c 1377s |      19 |  3987411 |   526382 |    26472     52 |      396 |      337
1379.31/1379.72	c 1379s |      19 |  3990131 |   527182 |    26472     52 |      396 |      337
1381.51/1381.91	c 1381s |      19 |  3993555 |   528082 |    26472     52 |      396 |      337
1383.71/1384.17	c 1383s |      19 |  3997372 |   528982 |    26472     52 |      396 |      337
1385.82/1386.22	c 1385s |      19 |  3999774 |   529682 |    26472     52 |      396 |      337
1387.92/1388.31	c 1388s |      19 |  4001638 |   530182 |    26472     52 |      396 |      337
1390.01/1390.48	c 1390s |      19 |  4003090 |   530682 |    26472     52 |      396 |      337
1392.42/1392.87	c 1392s |      19 |  4005755 |   531282 |    26472     52 |      396 |      337
1394.41/1394.89	c 1394s |      19 |  4007642 |   531782 |    26472     52 |      396 |      337
1396.91/1397.36	c 1397s |      19 |  4009476 |   532282 |    26472     52 |      396 |      337
1399.02/1399.49	c 1399s |      19 |  4010622 |   532682 |    26472     52 |      396 |      337
1401.12/1401.52	c 1401s |      19 |  4013044 |   533282 |    26472     53 |      396 |      337
1403.32/1403.77	c 1403s |      19 |  4016440 |   533982 |    26472     53 |      396 |      337
1405.31/1405.79	c 1405s |      19 |  4017676 |   534482 |    26472     53 |      396 |      337
1407.61/1408.10	c 1407s |      19 |  4019044 |   534982 |    26472     53 |      396 |      337
1409.71/1410.15	c 1409s |      19 |  4019604 |   535282 |    26472     53 |      396 |      337
1411.91/1412.32	c 1412s |      19 |  4020281 |   535582 |    26472     53 |      396 |      337
1414.32/1414.77	c 1414s |      19 |  4021215 |   535982 |    26472     53 |      396 |      337
1416.61/1417.07	c 1416s |      19 |  4022198 |   536382 |    26472     53 |      396 |      337
1419.01/1419.46	c 1419s |      19 |  4024529 |   536982 |    26472     53 |      396 |      337
1421.41/1421.85	c 1421s |      19 |  4025878 |   537482 |    26472     53 |      396 |      337
1423.51/1423.90	c 1423s |      19 |  4027933 |   538082 |    26472     53 |      396 |      337
1425.71/1426.16	c 1425s |      19 |  4029922 |   538782 |    26472     53 |      396 |      337
1427.91/1428.33	c 1428s |      19 |  4032231 |   539382 |    26472     53 |      396 |      337
1430.01/1430.47	c 1430s |      19 |  4033360 |   539782 |    26472     53 |      396 |      337
1432.31/1432.73	c 1432s |      19 |  4034969 |   540282 |    26472     53 |      396 |      337
1434.41/1434.82	c 1434s |      19 |  4037104 |   540882 |    26472     54 |      396 |      337
1436.51/1436.90	c 1436s |      19 |  4039603 |   541682 |    26472     54 |      396 |      337
1438.62/1439.08	c 1438s |      19 |  4042563 |   542482 |    26472     54 |      396 |      337
1440.82/1441.23	c 1441s |      19 |  4045494 |   543182 |    26472     54 |      396 |      337
1443.01/1443.49	c 1443s |      19 |  4048851 |   544082 |    26472     54 |      396 |      337
1445.01/1445.50	c 1445s |      19 |  4049713 |   544482 |    26472     54 |      396 |      337
1447.21/1447.62	c 1447s |      19 |  4052239 |   545182 |    26472     54 |      396 |      337
1449.30/1449.73	c 1449s |      19 |  4053119 |   545582 |    26472     54 |      396 |      337
1451.30/1451.73	c 1451s |      19 |  4055387 |   546082 |    26472     54 |      396 |      337
1453.30/1453.77	c 1453s |      19 |  4057454 |   546582 |    26472     54 |      396 |      337
1455.70/1456.10	c 1455s |      19 |  4059088 |   547082 |    26472     54 |      396 |      337
1457.90/1458.33	c 1458s |      19 |  4060299 |   547482 |    26472     54 |      396 |      337
1459.90/1460.38	c 1460s |      19 |  4068106 |   548282 |    26472     55 |      396 |      337
1462.10/1462.51	c 1462s |      19 |  4082631 |   549982 |    26472     55 |      396 |      337
1464.10/1464.55	c 1464s |      19 |  4105412 |   551382 |    26472     55 |      396 |      337
1466.20/1466.63	c 1466s |      19 |  4119680 |   552782 |    26472     55 |      396 |      337
1468.21/1468.69	c 1468s |      19 |  4129838 |   553982 |    26472     56 |      396 |      337
1470.50/1470.98	c 1470s |      19 |  4140873 |   555482 |    26472     56 |      396 |      337
1472.50/1472.99	c 1472s |      19 |  4149236 |   556582 |    26472     56 |      396 |      337
1474.60/1475.04	c 1474s |      19 |  4170682 |   558082 |    26472     57 |      396 |      337
1476.70/1477.16	c 1476s |      19 |  4186212 |   560082 |    26472     57 |      396 |      337
1478.80/1479.25	c 1479s |      19 |  4191442 |   561282 |    26472     57 |      396 |      337
1480.89/1481.34	c 1481s |      19 |  4218311 |   562782 |    26472     58 |      396 |      337
1482.89/1483.38	c 1483s |      19 |  4242297 |   564482 |    26472     58 |      396 |      337
1485.19/1485.67	c 1485s |      19 |  4259339 |   565982 |    26472     58 |      396 |      337
1487.29/1487.70	c 1487s |      19 |  4266791 |   566782 |    26472     58 |      396 |      337
1489.29/1489.72	c 1489s |      19 |  4270300 |   567482 |    26472     58 |      396 |      337
1491.30/1491.79	c 1491s |      19 |  4278984 |   568282 |    26472     59 |      396 |      337
1493.39/1493.80	c 1493s |      19 |  4305183 |   570082 |    26472     59 |      396 |      337
1495.39/1495.89	c 1495s |      19 |  4326298 |   571682 |    26472     59 |      396 |      337
1497.49/1497.90	c 1497s |      19 |  4344089 |   573082 |    26472     60 |      396 |      337
1499.59/1500.00	c 1499s |      19 |  4368892 |   574882 |    26472     60 |      396 |      337
1501.79/1502.27	c 1502s |      19 |  4372551 |   575782 |    26472     60 |      396 |      337
1503.89/1504.35	c 1504s |      19 |  4377772 |   576582 |    26472     60 |      396 |      337
1505.89/1506.37	c 1506s |      19 |  4397875 |   578282 |    26472     61 |      396 |      337
1508.09/1508.54	c 1508s |      19 |  4411629 |   579482 |    26472     61 |      396 |      337
1510.10/1510.59	c 1510s |      19 |  4421477 |   580382 |    26472     61 |      396 |      337
1512.20/1512.67	c 1512s |      19 |  4432639 |   581482 |    26472     62 |      396 |      337
1514.41/1514.88	c 1514s |      19 |  4447693 |   582882 |    26472     62 |      396 |      337
1516.50/1516.93	c 1516s |      19 |  4461539 |   584082 |    26472     62 |      396 |      337
1518.50/1518.97	c 1518s |      19 |  4477189 |   585382 |    26472     63 |      396 |      337
1520.50/1520.98	c 1520s |      19 |  4488781 |   586782 |    26472     63 |      396 |      337
1522.60/1523.07	c 1522s |      19 |  4491772 |   587582 |    26472     63 |      396 |      337
1524.70/1525.18	c 1524s |      19 |  4496318 |   588482 |    26472     63 |      396 |      337
1526.89/1527.30	c 1527s |      19 |  4502453 |   589582 |    26472     63 |      396 |      337
1528.89/1529.31	c 1529s |      19 |  4503885 |   590082 |    26472     63 |      396 |      337
1530.90/1531.31	c 1531s |      19 |  4506947 |   590782 |    26472     63 |      396 |      337
1532.99/1533.48	c 1533s |      19 |  4510175 |   591582 |    26472     64 |      396 |      337
1535.19/1535.67	c 1535s |      19 |  4513982 |   592482 |    26472     64 |      396 |      337
1537.29/1537.73	c 1537s |      19 |  4516447 |   593282 |    26472     64 |      396 |      337
1539.49/1539.91	c 1539s |      19 |  4519444 |   594182 |    26472     64 |      396 |      337
1541.49/1541.93	c 1541s |      19 |  4522741 |   594982 |    26472     64 |      396 |      337
1543.69/1544.13	c 1543s |      19 |  4524933 |   595682 |    26472     64 |      396 |      337
1545.69/1546.15	c 1545s |      19 |  4528781 |   596582 |    26472     65 |      396 |      337
1547.79/1548.26	c 1548s |      19 |  4532343 |   597582 |    26472     65 |      396 |      337
1550.09/1550.54	c 1550s |      19 |  4535183 |   598482 |    26472     65 |      396 |      337
1552.19/1552.61	c 1552s |      19 |  4550754 |   599682 |    26472     66 |      396 |      337
1554.19/1554.64	c 1554s |      19 |  4567242 |   601182 |    26472     66 |      396 |      337
1556.29/1556.72	c 1556s |      19 |  4571890 |   602082 |    26472     66 |      396 |      337
1558.39/1558.82	c 1558s |      19 |  4583280 |   603182 |    26472     67 |      396 |      337
1560.38/1560.85	c 1560s |      19 |  4591578 |   604182 |    26472     67 |      396 |      337
1562.48/1562.96	c 1562s |      19 |  4604732 |   605482 |    26472     67 |      396 |      337
1564.68/1565.13	c 1564s |      19 |  4610419 |   606182 |    26472     68 |      396 |      337
1566.78/1567.26	c 1567s |      19 |  4612485 |   606782 |    26472     68 |      396 |      337
1568.98/1569.44	c 1569s |      19 |  4614990 |   607282 |    26472     68 |      396 |      337
1571.48/1571.92	c 1571s |      19 |  4617525 |   607782 |    26472     68 |      396 |      337
1573.89/1574.32	c 1574s |      19 |  4619153 |   608082 |    26472     68 |      396 |      337
1576.28/1576.74	c 1576s |      19 |  4620301 |   608382 |    26472     68 |      396 |      337
1578.29/1578.75	c 1578s |      19 |  4627639 |   609182 |    26472     69 |      396 |      337
1580.29/1580.80	c 1580s |      19 |  4633855 |   610282 |    26472     69 |      396 |      337
1582.59/1583.04	c 1582s |      19 |  4636215 |   611082 |    26472     69 |      396 |      337
1584.69/1585.20	c 1584s |      19 |  4640215 |   612182 |    26472     69 |      396 |      337
1586.79/1587.20	c 1586s |      19 |  4645007 |   613182 |    26472     69 |      396 |      337
1588.89/1589.38	c 1589s |      19 |  4653437 |   614382 |    26472     70 |      396 |      337
1590.99/1591.41	c 1591s |      19 |  4661828 |   615682 |    26472     70 |      396 |      337
1593.08/1593.56	c 1593s |      19 |  4664832 |   616582 |    26472     70 |      396 |      337
1595.48/1595.92	c 1595s |      19 |  4667794 |   617382 |    26472     70 |      396 |      337
1597.48/1597.98	c 1597s |      19 |  4669008 |   617882 |    26472     70 |      396 |      337
1599.68/1600.18	c 1599s |      19 |  4670499 |   618382 |    26472     70 |      396 |      337
1601.78/1602.23	c 1601s |      19 |  4674480 |   619382 |    26472     71 |      396 |      337
1603.78/1604.23	c 1604s |      19 |  4678852 |   620482 |    26472     71 |      396 |      337
1605.88/1606.36	c 1606s |      19 |  4680828 |   621282 |    26472     71 |      396 |      337
1608.18/1608.64	c 1608s |      19 |  4683300 |   622082 |    26472     71 |      396 |      337
1610.58/1611.07	c 1610s |      19 |  4684440 |   622582 |    26472     71 |      396 |      337
1612.67/1613.13	c 1612s |      19 |  4685030 |   622882 |    26472     72 |      396 |      337
1614.77/1615.27	c 1615s |      19 |  4688858 |   624082 |    26472     72 |      396 |      337
1617.18/1617.61	c 1617s |      19 |  4691989 |   625082 |    26472     72 |      396 |      337
1619.38/1619.81	c 1619s |      19 |  4693731 |   625682 |    26472     72 |      396 |      337
1621.48/1622.00	c 1621s |      19 |  4695326 |   626282 |    26472     72 |      396 |      337
1623.58/1624.08	c 1623s |      19 |  4696542 |   626782 |    26472     72 |      396 |      337
1625.68/1626.10	c 1625s |      19 |  4699777 |   627582 |    26472     73 |      396 |      337
1627.88/1628.34	c 1628s |      19 |  4704393 |   628882 |    26472     73 |      396 |      337
1629.98/1630.43	c 1630s |      19 |  4708664 |   629882 |    26472     73 |      396 |      337
1632.48/1632.95	c 1632s |      19 |  4710131 |   630482 |    26472     73 |      396 |      337
1634.88/1635.34	c 1635s |      19 |  4711773 |   631182 |    26472     73 |      396 |      337
1637.18/1637.66	c 1637s |      19 |  4713562 |   631782 |    26472     73 |      396 |      337
1639.17/1639.66	c 1639s |      19 |  4716729 |   632882 |    26472     74 |      396 |      337
1641.57/1642.09	c 1641s |      19 |  4718991 |   633582 |    26472     74 |      396 |      337
1643.67/1644.15	c 1643s |      19 |  4720285 |   634082 |    26472     74 |      396 |      337
1645.87/1646.30	c 1646s |      19 |  4722732 |   634982 |    26472     74 |      396 |      337
1647.87/1648.39	c 1648s |      19 |  4724760 |   635682 |    26472     74 |      396 |      337
1650.27/1650.79	c 1650s |      19 |  4727062 |   636482 |    26472     75 |      396 |      337
1652.67/1653.14	c 1652s |      19 |  4728274 |   636982 |    26472     75 |      396 |      337
1654.87/1655.33	c 1655s |      19 |  4731434 |   637882 |    26472     75 |      396 |      337
1657.38/1657.84	c 1657s |      19 |  4732734 |   638382 |    26472     75 |      396 |      337
1659.58/1660.10	c 1659s |      19 |  4734075 |   638882 |    26472     75 |      396 |      337
1661.68/1662.11	c 1661s |      19 |  4735280 |   639382 |    26472     75 |      396 |      337
1663.88/1664.36	c 1664s |      19 |  4737218 |   639882 |    26472     76 |      396 |      337
1666.08/1666.57	c 1666s |      19 |  4741252 |   641082 |    26472     76 |      396 |      337
1668.18/1668.60	c 1668s |      19 |  4745982 |   642182 |    26472     76 |      396 |      337
1670.17/1670.67	c 1670s |      19 |  4749076 |   642982 |    26472     76 |      396 |      337
1672.47/1672.92	c 1672s |      19 |  4752325 |   643882 |    26472     76 |      396 |      337
1674.77/1675.23	c 1674s |      19 |  4756513 |   644982 |    26472     77 |      396 |      337
1676.97/1677.44	c 1677s |      19 |  4757696 |   645582 |    26472     77 |      396 |      337
1679.17/1679.68	c 1679s |      19 |  4758643 |   646082 |    26472     77 |      396 |      337
1681.27/1681.78	c 1681s |      19 |  4765688 |   647382 |    26472     78 |      396 |      337
1683.37/1683.89	c 1683s |      19 |  4769432 |   648482 |    26472     78 |      396 |      337
1685.87/1686.32	c 1686s |      19 |  4771273 |   649182 |    26472     78 |      396 |      337
1687.87/1688.39	c 1688s |      19 |  4774635 |   649882 |    26472     79 |      396 |      337
1690.07/1690.51	c 1690s |      19 |  4789086 |   651482 |    26472     79 |      396 |      337
1692.17/1692.68	c 1692s |      19 |  4796761 |   652882 |    26472     80 |      396 |      337
1694.47/1694.97	c 1694s |      19 |  4800503 |   653782 |    26472     80 |      396 |      337
1696.77/1697.25	c 1697s |      19 |  4805101 |   654782 |    26472     80 |      396 |      337
1698.87/1699.34	c 1699s |      19 |  4812095 |   656082 |    26472     81 |      396 |      337
1701.06/1701.54	c 1701s |      19 |  4816424 |   657282 |    26472     81 |      396 |      337
1703.16/1703.62	c 1703s |      19 |  4821527 |   658282 |    26472     82 |      396 |      337
1705.16/1705.64	c 1705s |      19 |  4826831 |   659482 |    26472     82 |      396 |      337
1707.26/1707.74	c 1707s |      19 |  4855146 |   661282 |    26472     84 |      396 |      337
1709.26/1709.78	c 1709s |      19 |  4867966 |   662782 |    29120     84 |      396 |      337
1711.37/1711.86	c 1711s |      19 |  4887384 |   664582 |    29120     84 |      396 |      337
1713.36/1713.87	c 1713s |      19 |  4892234 |   665682 |    29120     84 |      396 |      337
1715.36/1715.90	c 1715s |      19 |  4893903 |   666182 |    29120     84 |      396 |      337
1717.66/1718.19	c 1717s |      19 |  4894628 |   666482 |    29120     84 |      396 |      337
1719.66/1720.16	c 1719s |      20 |  4895402 |   666827 |    29120     84 |      396 |      337
1721.76/1722.27	c 1722s |      20 |  4914236 |   668427 |    29120     85 |      396 |      337
1723.76/1724.29	c 1724s |      20 |  4917790 |   669327 |    29120     85 |      396 |      337
1726.06/1726.53	c 1726s |      20 |  4925408 |   670327 |    29120     85 |      396 |      337
1728.26/1728.70	c 1728s |      20 |  4929619 |   671027 |    29120     85 |      396 |      337
1730.26/1730.75	c 1730s |      20 |  4931201 |   671427 |    29120     85 |      396 |      337
1732.46/1732.95	c 1732s |      20 |  4933921 |   671927 |    29120     85 |      396 |      337
1734.86/1735.31	c 1735s |      20 |  4936071 |   672627 |    29120     85 |      396 |      337
1737.06/1737.50	c 1737s |      20 |  4937046 |   673027 |    29120     86 |      396 |      337
1739.36/1739.81	c 1739s |      20 |  4943391 |   674427 |    29120     86 |      396 |      337
1741.46/1741.91	c 1741s |      20 |  4947112 |   675327 |    29120     86 |      396 |      337
1743.76/1744.29	c 1744s |      20 |  4949604 |   676127 |    29120     86 |      396 |      337
1745.86/1746.34	c 1746s |      20 |  4952370 |   676927 |    29120     86 |      396 |      337
1748.06/1748.53	c 1748s |      20 |  4957945 |   677827 |    29120     86 |      396 |      337
1750.16/1750.65	c 1750s |      20 |  4961025 |   678627 |    29120     87 |      396 |      337
1752.26/1752.78	c 1752s |      20 |  4977554 |   680327 |    29120     87 |      396 |      337
1754.36/1754.85	c 1754s |      20 |  4995474 |   681827 |    29120     88 |      396 |      337
1756.56/1757.00	c 1756s |      20 |  5005854 |   683027 |    29120     88 |      396 |      337
1758.66/1759.16	c 1758s |      20 |  5012089 |   684027 |    29120     88 |      396 |      337
1761.06/1761.51	c 1761s |      20 |  5014027 |   684427 |    29120     88 |      396 |      337
1763.56/1764.00	c 1763s |      20 |  5015377 |   684827 |    29120     88 |      396 |      337
1765.75/1766.22	c 1765s |      20 |  5016168 |   685027 |    29120     88 |      396 |      337
1768.26/1768.74	c 1768s |      20 |  5016630 |   685227 |    29120     88 |      396 |      337
1770.67/1771.18	c 1770s |      20 |  5026384 |   686227 |    29120     89 |      396 |      337
1772.76/1773.29	c 1773s |      20 |  5034431 |   687027 |    29120     89 |      396 |      337
1774.86/1775.36	c 1775s |      20 |  5041689 |   688027 |    29120     89 |      396 |      337
1777.46/1777.90	c 1777s |      20 |  5048496 |   688927 |    29120     90 |      396 |      337
1779.66/1780.12	c 1779s |      20 |  5052206 |   689827 |    29120     90 |      396 |      337
1781.76/1782.30	c 1782s |      20 |  5060074 |   690827 |    29120     91 |      396 |      337
1784.05/1784.54	c 1784s |      20 |  5077499 |   692427 |    29120     91 |      396 |      337
1786.16/1786.62	c 1786s |      20 |  5090479 |   693527 |    29120     92 |      396 |      337
1788.26/1788.73	c 1788s |      20 |  5101025 |   695027 |    29120     92 |      396 |      337
1790.35/1790.83	c 1790s |      20 |  5120739 |   696827 |    29120     93 |      396 |      337
1792.35/1792.89	c 1792s |      20 |  5128403 |   698127 |    29120     93 |      396 |      337
1794.55/1795.02	c 1794s |      20 |  5134523 |   699127 |    29120     94 |      396 |      337
1796.65/1797.17	c 1796s |      20 |  5139072 |   700127 |    29120     94 |      396 |      337
1798.95/1799.47	c 1799s |      20 |  5142291 |   701027 |    29120     94 |      396 |      337

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

pid=3750
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.10 2.12 2.09 3/179 3753
/proc/meminfo: memFree=30040264/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 2855 0 0 0 0 0 0 0 20 0 4 0 110168762 782692352 3215 33554432000 4194304 16246674 140735545174336 140735545173760 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 191599 3223 441 2943 0 188493 0
[pid=3753/tid=3754] ppid=3750 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 799469568 3283 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 804712448 3300 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110168763 808906752 3318 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3753
/proc/meminfo: memFree=30040264/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 27364 0 0 0 6 3 0 0 20 0 4 0 110168762 1333334016 27662 33554432000 4194304 16246674 140735545174336 140735545173648 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 325521 27676 800 2943 0 322415 0
[pid=3753/tid=3754] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 27686 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 27698 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 27709 33554432000 4194304 16246674 140735545174336 140538701405360 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.200512 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3753
/proc/meminfo: memFree=30040264/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 42444 0 0 0 14 5 0 0 20 0 4 0 110168762 1333334016 42742 33554432000 4194304 16246674 140735545174336 140735545173648 6966176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 325521 42742 832 2943 0 322415 0
[pid=3753/tid=3754] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 42742 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 42742 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 42742 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1302084

[startup+0.300478 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3753
/proc/meminfo: memFree=30040264/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 60058 0 0 0 21 8 0 0 20 0 4 0 110168762 1333334016 60357 33554432000 4194304 16246674 140735545174336 140735545173648 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 325521 60364 875 2943 0 322415 0
[pid=3753/tid=3754] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 60372 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 60376 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 60378 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1302084

[startup+0.700392 s]
/proc/loadavg: 2.10 2.12 2.09 3/179 3753
/proc/meminfo: memFree=30040264/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 141605 0 0 0 50 19 0 0 20 0 4 0 110168762 1333334016 141903 33554432000 4194304 16246674 140735545174336 140735545173648 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 325521 141906 875 2943 0 322415 0
[pid=3753/tid=3754] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 141910 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 141914 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1333334016 141919 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1302084

[startup+1.5004 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 3757
/proc/meminfo: memFree=29139324/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=1.49 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 268791 0 0 0 113 36 0 0 20 0 4 0 110168762 1342771200 269089 33554432000 4194304 16246674 140735545174336 140735545173648 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269089 881 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269089 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269089 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269089 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1311300

[startup+3.10035 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 3757
/proc/meminfo: memFree=28964104/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 269005 0 0 0 273 36 0 0 20 0 4 0 110168762 1342771200 269303 33554432000 4194304 16246674 140735545174336 140735545173432 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269303 882 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269303 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269303 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269303 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1311300

[startup+6.30039 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 3806
/proc/meminfo: memFree=29012176/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 269007 0 0 0 593 36 0 0 20 0 4 0 110168762 1342771200 269305 33554432000 4194304 16246674 140735545174336 140735545156224 5522960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269305 884 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269305 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269305 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269305 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 3806
/proc/meminfo: memFree=29012712/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 269007 0 0 0 1232 36 0 0 20 0 4 0 110168762 1342771200 269305 33554432000 4194304 16246674 140735545174336 140735545156224 12478176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269305 884 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269305 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269305 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269305 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1311300

[startup+25.5073 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 3806
/proc/meminfo: memFree=29012044/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 269011 0 0 0 2513 36 0 0 20 0 4 0 110168762 1342771200 269562 33554432000 4194304 16246674 140735545174336 140735545156224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269562 885 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 3806
/proc/meminfo: memFree=29012388/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 269015 0 0 0 5071 37 0 0 20 0 4 0 110168762 1342771200 269562 33554432000 4194304 16246674 140735545174336 140735545156224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269562 885 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538701405360 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) 1311300

[startup+102.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 3808
/proc/meminfo: memFree=29011136/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1311300 CPUtime=102.27 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 269032 0 0 0 10189 38 0 0 20 0 4 0 110168762 1342771200 269562 33554432000 4194304 16246674 140735545174336 140735545156224 6012272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 327825 269562 885 2943 0 324719 0
[pid=3753/tid=3754] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1342771200 269562 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.13 2.17 2.11 3/183 3862
/proc/meminfo: memFree=28998236/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1301.92 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 130129 63 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.09 2.15 2.10 3/183 3863
/proc/meminfo: memFree=28998900/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1361.92 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 136127 65 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 3864
/proc/meminfo: memFree=28999236/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1421.91 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 142125 66 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 3865
/proc/meminfo: memFree=28999116/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1481.89 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 148122 67 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 2.30 2.20 2.12 3/183 3866
/proc/meminfo: memFree=28999340/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1541.9 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 154122 68 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 5662354 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.22 2.19 2.11 3/183 3868
/proc/meminfo: memFree=28999084/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1601.88 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 160119 69 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 12483583 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1317444

[startup+1662.31 s]
/proc/loadavg: 2.19 2.18 2.11 3/184 3872
/proc/meminfo: memFree=28999128/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1661.88 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 166117 71 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545173512 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.11 2.16 2.11 3/183 3873
/proc/meminfo: memFree=28999000/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1721.86 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 172115 71 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.19 2.17 2.11 3/183 3874
/proc/meminfo: memFree=28998376/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1781.86 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 178113 73 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545156224 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.16 2.11 3/183 3874
/proc/meminfo: memFree=28998508/32872528 swapFree=12328/568296
[pid=3753] ppid=3750 vsize=1317444 CPUtime=1800.05 cores=0,2,4,6
/proc/3753/stat : 3753 (toysat) R 3750 3753 3396 0 -1 4202496 270843 0 0 0 179932 73 0 0 20 0 4 0 110168762 1349062656 271067 33554432000 4194304 16246674 140735545174336 140735545173512 12483348 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3753/statm: 329361 271067 885 2943 0 326255 0
[pid=3753/tid=3754] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3754/stat : 3754 (toysat) S 3750 3753 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538796813552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3753/tid=3755] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3755/stat : 3755 (toysat) S 3750 3753 3396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538711878896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3753/tid=3756] ppid=3750 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/3753/task/3756/stat : 3756 (toysat) S 3750 3753 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110168763 1349062656 271067 33554432000 4194304 16246674 140735545174336 140538701405360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1317444

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 3753 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.51
CPU time (s): 1800.07
CPU user time (s): 1799.33
CPU system time (s): 0.736887
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.736887
maximum resident set size= 1084268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270843
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= 345
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24605 second user time and 8.5337 second system time

The end

Begin job on node138 at 2016-06-07 08:52:42
IDJOB=4078945
IDBENCH=90120
IDSOLVER=2542
FILE ID=node138/4078945-1465282362
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078945-1465282362/watcher-4078945-1465282362 -o /tmp/evaluation-result-4078945-1465282362/solver-4078945-1465282362 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3412 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078945-1465282362.opb

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

MD5SUM BENCH= 08b0e704e28720f9a0455d95c872079f
RANDOM SEED=1198173759

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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:        30040792 kB
Buffers:          103164 kB
Cached:           253404 kB
SwapCached:        46740 kB
Active:          1263508 kB
Inactive:         263856 kB
Active(anon):    1125184 kB
Inactive(anon):    47688 kB
Active(file):     138324 kB
Inactive(file):   216168 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       1771132 kB
Mapped:            11956 kB
Shmem:                 0 kB
Slab:             602524 kB
SReclaimable:      46160 kB
SUnreclaim:       556364 kB
KernelStack:        1520 kB
PageTables:         7180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1837156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    638976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-07 09:22:43