0.00/0.00	c 2016-06-18T01:59:02+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-4099773-1466207941.opb"]
0.00/0.01	c use --random-gen="1582412573 3882267403 1360259013 1359227394 2252272345 3029909881 2186255886 856907743 3319192549 1498751263 395326894 524237249 892648672 2118952480 728962897 536319210 4019705426 3261090760 1684219971 2890499764 2484723437 2870552303 4120955241 527959622 2765339585 360473398 455989566 3207330557 1343355001 3903143564 1292367842 1475900221 1314698123 824119940 1952994339 1823780724 1961499029 2976272229 233793249 58210966 1092456163 3729057208 581708757 49228788 3217314949 1379987930 276349478 3261304288 2668281790 2937976242 4122525024 3480538442 2680759923 2743915688 1730287991 1679121956 3013192035 3371375490 1239446148 948853585 1886599670 558862948 1918514786 156227061 16637694 2054759275 1012731071 1308646628 3354030514 2000070646 3157202823 2354128257 1435045468 3073966794 1244572011 4025990920 1511405996 162144944 3731244861 1988741351 2352727368 3826887624 1600134903 2555163941 2221087695 3498874128 2908970202 4291924245 3444812465 2311473066 3424573573 1975816239 3995528210 1058975209 579551657 3640072054 4011184548 731618853 111433618 479145812 4138713001 1623976327 2893296703 1854085293 104070938 1736840809 13485518 2006361309 508402315 771046097 1978325645 811784657 606519954 2750709269 306999124 1919638393 2248891198 959652291 113427082 379807677 2459162143 2606675091 474212699 1319313390 2404496747 4281683988 2656289174 2795316850 1635279838 1891398104 326513197 1523267135 2914026620 465053375 783776990 3463096452 740468668 3407398244 3935893689 1545693201 1703952072 2940174789 3903888513 39244364 3154660815 1124858441 3033107198 2989164502 3057981692 2150762743 3079405911 2773739882 1309609532 393218248 2509222502 2475893785 3961426865 459527781 1882968413 4159377515 2686459253 334657193 624926785 1226731474 166079416 3969037536 1952748488 2816537975 4083249718 126128031 3185149728 1685781267 2621523593 609381527 878389670 3941867768 3613707657 1960846421 4020069086 2682585745 3246260813 1777271753 1523526664 269120468 1563658752 371696382 937418269 275818606 2801905704 1182736563 3626119773 3772487823 1191770257 2730204505 3041322923 1823393265 1519738354 255238823 2442834644 439639578 1137522753 1312058254 3367642582 653129283 714762942 2240000820 3923458190 1441765965 2985894772 2988017687 1162957857 197087834 2633460327 1312162561 2499967393 3563364154 3061173452 2112743145 2446726528 377981622 2138714620 905884498 1082107764 1626792966 651553977 4065740817 4067373923 3339053841 3945463062 2209810946 3067648205 3436848186 1149167809 4001004019 1862695389 3255962091 1214221754 261552116 3768014598 488652449 1822093262 3954481525 240509527 3858606723 903437916 3027038787 4134770501 2345199948 2953120312 1352225025 500145002 769428990 26937536 240477271 354656668 2747064036 255 362436" option to reproduce the execution
0.00/0.06	c #vars 6000
0.00/0.06	c #constraints 2171
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     2764      0 |        0 |        0
0.39/0.41	c  0.2s |       1 |     4188 |      100 |     2764      0 |       22 |       68
0.69/0.70	c  0.5s |       2 |     4569 |      250 |     3041      0 |       22 |       68
1.09/1.19	c  1.0s |       3 |     4970 |      475 |     3346      0 |       22 |       68
1.69/1.79	c  1.6s |       4 |     5464 |      813 |     3681      0 |       22 |       68
2.39/2.47	c  2.3s |       5 |     6101 |     1320 |     4050      0 |       22 |       68
3.39/3.49	c  3.3s |       6 |     6986 |     2081 |     4901      0 |       22 |       68
5.09/5.19	c  5.0s |       7 |     8244 |     3223 |     5392      0 |       22 |       68
7.19/7.27	c  7.1s |       7 |    10056 |     4923 |     5932      0 |       22 |       68
7.29/7.30	c  7.1s |       8 |    10068 |     4936 |     5932      0 |       22 |       68
9.29/9.31	c  9.1s |       8 |    11575 |     6336 |     5932      1 |       22 |       68
10.79/10.82	c 10.6s |       9 |    12750 |     7506 |     6526      1 |       22 |       68
12.89/12.92	c 12.7s |       9 |    14451 |     9106 |     6526      1 |       22 |       68
14.99/15.03	c 14.9s |       9 |    16063 |    10706 |     6526      2 |       22 |       68
15.89/15.90	c 15.7s |      10 |    16720 |    11361 |     7179      2 |       22 |       68
17.89/17.95	c 17.8s |      10 |    18216 |    12761 |     7179      2 |       22 |       68
19.99/20.00	c 19.8s |      10 |    19628 |    14161 |     7179      3 |       22 |       68
22.10/22.14	c 22.0s |      10 |    20973 |    15461 |     7179      3 |       22 |       68
24.20/24.22	c 24.0s |      10 |    22296 |    16761 |     7179      3 |       22 |       68
24.79/24.89	c 24.7s |      11 |    22685 |    17144 |     7897      3 |       22 |       68
26.89/26.95	c 26.8s |      11 |    23999 |    18344 |     7897      3 |       22 |       68
28.89/28.95	c 28.8s |      11 |    25208 |    19544 |     7897      4 |       22 |       68
30.99/31.00	c 30.8s |      11 |    26430 |    20744 |     7897      4 |       22 |       68
33.00/33.03	c 32.9s |      11 |    27642 |    21944 |     7897      4 |       22 |       68
34.99/35.03	c 34.9s |      11 |    28946 |    23244 |     7897      5 |       22 |       68
37.09/37.13	c 37.0s |      11 |    30174 |    24444 |     7897      5 |       22 |       68
39.09/39.17	c 39.0s |      11 |    31492 |    25744 |     8687      5 |       22 |       68
39.19/39.29	c 39.1s |      12 |    31581 |    25819 |     8687      5 |       22 |       68
41.29/41.31	c 41.1s |      12 |    32894 |    27019 |     8687      5 |       22 |       68
43.29/43.36	c 43.2s |      12 |    34227 |    28319 |     8687      6 |       22 |       68
45.39/45.49	c 45.3s |      12 |    35553 |    29619 |     8687      6 |       22 |       68
47.59/47.68	c 47.5s |      12 |    36766 |    30819 |     8687      6 |       22 |       68
49.69/49.76	c 49.6s |      12 |    37978 |    32019 |     8687      7 |       22 |       68
51.79/51.87	c 51.7s |      12 |    39291 |    33319 |     8687      7 |       22 |       68
53.89/53.96	c 53.8s |      12 |    40606 |    34619 |     8687      7 |       22 |       68
55.99/56.09	c 55.9s |      12 |    41826 |    35819 |     8687      7 |       22 |       68
58.19/58.20	c 58.0s |      12 |    43033 |    37019 |     8687      8 |       22 |       68
60.18/60.28	c 60.1s |      12 |    44454 |    38419 |     8687      8 |       22 |       68
60.78/60.86	c 60.7s |      13 |    44869 |    38832 |     9556      8 |       22 |       68
62.79/62.86	c 62.7s |      13 |    46267 |    40132 |     9556      8 |       22 |       68
64.89/64.92	c 64.7s |      13 |    47779 |    41632 |     9556      8 |       22 |       68
66.98/67.01	c 66.8s |      13 |    49184 |    43032 |     9556      9 |       22 |       68
68.98/69.05	c 68.9s |      13 |    50398 |    44232 |     9556      9 |       22 |       68
70.98/71.06	c 70.9s |      13 |    51709 |    45532 |     9556      9 |       22 |       68
73.08/73.15	c 73.0s |      13 |    53035 |    46832 |     9556     10 |       22 |       68
75.28/75.32	c 75.1s |      13 |    54445 |    48232 |     9556     10 |       22 |       68
77.28/77.32	c 77.2s |      13 |    55754 |    49532 |     9556     10 |       22 |       68
79.29/79.34	c 79.2s |      13 |    57069 |    50832 |     9556     10 |       22 |       68
81.28/81.37	c 81.2s |      13 |    58186 |    51932 |     9556     11 |       22 |       68
83.28/83.39	c 83.2s |      13 |    59392 |    53132 |     9556     11 |       22 |       68
85.38/85.41	c 85.2s |      13 |    60702 |    54432 |     9556     11 |       22 |       68
87.37/87.46	c 87.3s |      13 |    62010 |    55732 |     9556     11 |       22 |       68
89.47/89.57	c 89.4s |      13 |    63231 |    56932 |     9556     12 |       22 |       68
91.57/91.62	c 91.5s |      13 |    64544 |    58232 |    10512     12 |       22 |       68
91.67/91.79	c 91.6s |      14 |    64666 |    58352 |    10512     12 |       22 |       68
93.77/93.87	c 93.7s |      14 |    66044 |    59652 |    10512     12 |       22 |       68
95.87/95.94	c 95.8s |      14 |    67267 |    60852 |    10512     12 |       22 |       68
97.88/97.97	c 97.8s |      14 |    68475 |    62052 |    10512     12 |       22 |       68
99.87/99.97	c 99.8s |      14 |    69791 |    63352 |    10512     13 |       22 |       68
101.97/102.02	c  101s |      14 |    71094 |    64652 |    10512     13 |       22 |       68
103.97/104.07	c  103s |      14 |    72408 |    65952 |    10512     13 |       22 |       68
106.07/106.12	c  105s |      14 |    73724 |    67252 |    10512     13 |       22 |       68
108.16/108.24	c  108s |      14 |    75031 |    68552 |    10512     14 |       22 |       68
110.16/110.24	c  110s |      14 |    76232 |    69752 |    10512     14 |       22 |       68
112.27/112.34	c  112s |      14 |    77444 |    70952 |    10512     14 |       22 |       68
114.37/114.44	c  114s |      14 |    78453 |    71952 |    10512     14 |       22 |       68
116.36/116.46	c  116s |      14 |    79559 |    73052 |    10512     15 |       22 |       68
118.46/118.50	c  118s |      14 |    80871 |    74352 |    10512     15 |       22 |       68
120.46/120.58	c  120s |      14 |    82074 |    75552 |    10512     15 |       22 |       68
122.66/122.75	c  122s |      14 |    83310 |    76752 |    10512     15 |       22 |       68
124.66/124.75	c  124s |      14 |    84221 |    77652 |    10512     15 |       22 |       68
126.76/126.83	c  126s |      14 |    85331 |    78752 |    10512     16 |       22 |       68
128.96/129.02	c  128s |      14 |    86541 |    79952 |    10512     16 |       22 |       68
130.96/131.03	c  130s |      14 |    87561 |    80952 |    10512     16 |       22 |       68
132.95/133.05	c  132s |      14 |    88677 |    82052 |    10512     16 |       22 |       68
134.95/135.06	c  134s |      14 |    89782 |    83152 |    10512     16 |       22 |       68
137.15/137.21	c  137s |      14 |    90890 |    84252 |    10512     17 |       22 |       68
139.16/139.29	c  139s |      14 |    92202 |    85552 |    10512     17 |       22 |       68
141.36/141.42	c  141s |      14 |    93113 |    86452 |    10512     17 |       22 |       68
143.46/143.58	c  143s |      14 |    94232 |    87552 |    11564     17 |       22 |       68
143.66/143.76	c  143s |      15 |    94312 |    87632 |    11564     17 |       22 |       68
145.66/145.78	c  145s |      15 |    95385 |    88632 |    11564     17 |       22 |       68
147.76/147.87	c  147s |      15 |    96496 |    89732 |    11564     17 |       22 |       68
149.86/149.98	c  149s |      15 |    97707 |    90932 |    11564     18 |       22 |       68
152.06/152.14	c  151s |      15 |    98826 |    92032 |    11564     18 |       22 |       68
154.06/154.17	c  153s |      15 |    99935 |    93132 |    11564     18 |       22 |       68
156.26/156.31	c  156s |      15 |   101145 |    94332 |    11564     18 |       22 |       68
158.46/158.53	c  158s |      15 |   102250 |    95432 |    11564     18 |       22 |       68
160.46/160.57	c  160s |      15 |   103267 |    96432 |    11564     19 |       22 |       68
162.66/162.76	c  162s |      15 |   104477 |    97632 |    11564     19 |       22 |       68
164.76/164.87	c  164s |      15 |   105606 |    98732 |    11564     19 |       22 |       68
166.95/167.00	c  166s |      15 |   106839 |    99932 |    11564     19 |       22 |       68
169.15/169.27	c  169s |      15 |   107957 |   101032 |    11564     19 |       22 |       68
171.25/171.38	c  171s |      15 |   108970 |   102032 |    11564     20 |       22 |       68
173.35/173.48	c  173s |      15 |   110111 |   103132 |    11564     20 |       22 |       68
175.45/175.53	c  175s |      15 |   110925 |   103932 |    11564     20 |       22 |       68
177.45/177.58	c  177s |      15 |   111937 |   104932 |    11564     20 |       22 |       68
179.65/179.73	c  179s |      15 |   113047 |   106032 |    11564     20 |       22 |       68
181.65/181.74	c  181s |      15 |   114057 |   107032 |    11564     20 |       22 |       68
184.75/184.84	c  184s |      15 |   115074 |   108032 |    11564     21 |       22 |       68
186.75/186.87	c  186s |      15 |   116078 |   109032 |    11564     21 |       22 |       68
188.85/188.99	c  188s |      15 |   117209 |   110132 |    11564     21 |       22 |       68
190.95/191.00	c  190s |      15 |   118225 |   111132 |    11564     21 |       22 |       68
192.95/193.01	c  192s |      15 |   119332 |   112232 |    11564     21 |       22 |       68
195.05/195.19	c  195s |      15 |   120440 |   113332 |    11564     21 |       22 |       68
197.15/197.29	c  197s |      15 |   121561 |   114432 |    11564     22 |       22 |       68
199.24/199.36	c  199s |      15 |   122670 |   115532 |    11564     22 |       22 |       68
201.44/201.52	c  201s |      15 |   123373 |   116232 |    11564     22 |       22 |       68
203.45/203.60	c  203s |      15 |   124391 |   117232 |    11564     22 |       22 |       68
205.54/205.61	c  205s |      15 |   125301 |   118132 |    11564     22 |       22 |       68
207.64/207.70	c  207s |      15 |   126412 |   119232 |    11564     22 |       22 |       68
209.74/209.81	c  209s |      15 |   127623 |   120432 |    11564     23 |       22 |       68
211.84/211.91	c  211s |      15 |   128736 |   121532 |    11564     23 |       22 |       68
213.84/213.94	c  213s |      15 |   129949 |   122732 |    11564     23 |       22 |       68
215.84/215.97	c  215s |      15 |   130967 |   123732 |    11564     23 |       22 |       68
217.93/218.06	c  217s |      15 |   132178 |   124932 |    11564     23 |       22 |       68
219.94/220.09	c  219s |      15 |   132904 |   125632 |    11564     24 |       22 |       68
222.14/222.29	c  222s |      15 |   134014 |   126732 |    11564     24 |       22 |       68
224.83/224.91	c  224s |      15 |   135236 |   127932 |    11564     24 |       22 |       68
226.93/227.05	c  226s |      15 |   136349 |   129032 |    11564     24 |       22 |       68
229.13/229.20	c  229s |      15 |   137465 |   130132 |    11564     24 |       22 |       68
231.13/231.25	c  231s |      15 |   138473 |   131132 |    12721     24 |       22 |       68
231.93/232.10	c  231s |      16 |   138900 |   131552 |    12721     24 |       22 |       68
234.13/234.22	c  234s |      16 |   139864 |   132452 |    12721     25 |       22 |       68
236.13/236.26	c  236s |      16 |   140872 |   133452 |    12721     25 |       22 |       68
238.23/238.32	c  238s |      16 |   141878 |   134452 |    12721     25 |       22 |       68
240.33/240.42	c  240s |      16 |   142988 |   135552 |    12721     25 |       22 |       68
242.43/242.51	c  242s |      16 |   144105 |   136652 |    12721     25 |       22 |       68
244.53/244.60	c  244s |      16 |   145109 |   137652 |    12721     25 |       22 |       68
246.53/246.62	c  246s |      16 |   146114 |   138652 |    12721     25 |       22 |       68
248.54/248.66	c  248s |      16 |   147114 |   139652 |    12721     26 |       22 |       68
250.63/250.77	c  250s |      16 |   148229 |   140752 |    12721     26 |       22 |       68
252.73/252.88	c  252s |      16 |   149343 |   141852 |    12721     26 |       22 |       68
254.73/254.89	c  254s |      16 |   150347 |   142852 |    12721     26 |       22 |       68
256.93/257.06	c  256s |      16 |   151460 |   143952 |    12721     26 |       22 |       68
259.03/259.19	c  259s |      16 |   152669 |   145152 |    12721     26 |       22 |       68
261.23/261.30	c  261s |      16 |   153875 |   146352 |    12721     27 |       22 |       68
263.33/263.44	c  263s |      16 |   155091 |   147552 |    12721     27 |       22 |       68
265.43/265.52	c  265s |      16 |   156198 |   148652 |    12721     27 |       22 |       68
267.53/267.64	c  267s |      16 |   157309 |   149752 |    12721     27 |       22 |       68
269.63/269.71	c  269s |      16 |   158434 |   150852 |    12721     27 |       22 |       68
271.63/271.80	c  271s |      16 |   159345 |   151752 |    12721     28 |       22 |       68
273.83/273.92	c  273s |      16 |   160366 |   152752 |    12721     28 |       22 |       68
275.92/276.06	c  275s |      16 |   161275 |   153652 |    12721     28 |       22 |       68
277.92/278.08	c  277s |      16 |   162282 |   154652 |    12721     28 |       22 |       68
280.02/280.10	c  279s |      16 |   163199 |   155552 |    12721     28 |       22 |       68
282.12/282.27	c  282s |      16 |   164229 |   156552 |    12721     28 |       22 |       68
284.22/284.31	c  284s |      16 |   165230 |   157552 |    12721     28 |       22 |       68
286.22/286.31	c  286s |      16 |   166338 |   158652 |    12721     29 |       22 |       68
288.32/288.44	c  288s |      16 |   167448 |   159752 |    12721     29 |       22 |       68
290.33/290.49	c  290s |      16 |   168655 |   160952 |    12721     29 |       22 |       68
292.42/292.55	c  292s |      16 |   169664 |   161952 |    12721     29 |       22 |       68
294.62/294.76	c  294s |      16 |   170670 |   162952 |    12721     29 |       22 |       68
296.72/296.88	c  296s |      16 |   171681 |   163952 |    12721     29 |       22 |       68
298.92/299.09	c  298s |      16 |   172688 |   164952 |    12721     30 |       22 |       68
301.11/301.25	c  301s |      16 |   173604 |   165852 |    12721     30 |       22 |       68
303.11/303.28	c  303s |      16 |   174613 |   166852 |    12721     30 |       22 |       68
305.21/305.31	c  305s |      16 |   175613 |   167852 |    12721     30 |       22 |       68
307.61/307.74	c  307s |      16 |   176129 |   168352 |    12721     30 |       22 |       68
309.81/309.91	c  309s |      16 |   177265 |   169452 |    12721     30 |       22 |       68
311.81/311.99	c  311s |      16 |   178278 |   170452 |    12721     30 |       22 |       68
313.91/314.05	c  313s |      16 |   179320 |   171452 |    12721     31 |       22 |       68
316.01/316.12	c  315s |      16 |   180355 |   172452 |    12721     31 |       22 |       68
318.11/318.26	c  318s |      16 |   181381 |   173452 |    12721     31 |       22 |       68
320.21/320.37	c  320s |      16 |   182301 |   174352 |    12721     31 |       22 |       68
322.41/322.56	c  322s |      16 |   183209 |   175252 |    12721     31 |       22 |       68
324.42/324.58	c  324s |      16 |   184225 |   176252 |    12721     31 |       22 |       68
326.72/326.86	c  326s |      16 |   185332 |   177352 |    12721     31 |       22 |       68
328.71/328.90	c  328s |      16 |   186252 |   178252 |    12721     32 |       22 |       68
330.81/330.97	c  330s |      16 |   187263 |   179252 |    12721     32 |       22 |       68
332.91/333.07	c  332s |      16 |   188486 |   180452 |    12721     32 |       22 |       68
335.01/335.19	c  335s |      16 |   189501 |   181452 |    12721     32 |       22 |       68
337.20/337.30	c  337s |      16 |   190014 |   181952 |    12721     32 |       22 |       68
339.20/339.36	c  339s |      16 |   191153 |   183052 |    12721     32 |       22 |       68
341.30/341.41	c  341s |      16 |   192198 |   184052 |    12721     33 |       22 |       68
343.30/343.47	c  343s |      16 |   193442 |   185252 |    12721     33 |       22 |       68
345.41/345.59	c  345s |      16 |   194694 |   186452 |    12721     33 |       22 |       68
347.40/347.59	c  347s |      16 |   195961 |   187652 |    12721     33 |       22 |       68
349.50/349.63	c  349s |      16 |   197211 |   188852 |    12721     33 |       22 |       68
351.70/351.80	c  351s |      16 |   198565 |   190152 |    12721     33 |       22 |       68
353.80/353.97	c  353s |      16 |   199697 |   191252 |    12721     34 |       22 |       68
355.80/355.98	c  355s |      16 |   200719 |   192252 |    12721     34 |       22 |       68
357.90/358.04	c  357s |      16 |   201751 |   193252 |    12721     34 |       22 |       68
360.00/360.18	c  360s |      16 |   202864 |   194352 |    12721     34 |       22 |       68
362.19/362.37	c  362s |      16 |   203972 |   195452 |    12721     34 |       22 |       68
364.19/364.38	c  364s |      16 |   205006 |   196452 |    13994     34 |       22 |       68
366.30/366.43	c  366s |      16 |   205934 |   197352 |    13994     34 |       22 |       68
366.49/366.61	c  366s |      17 |   206015 |   197432 |    13994     34 |       22 |       68
368.59/368.76	c  368s |      17 |   207011 |   198332 |    13994     35 |       22 |       68
370.70/370.86	c  370s |      17 |   208156 |   199432 |    13994     35 |       22 |       68
374.00/374.11	c  373s |      17 |   209001 |   200232 |    13994     35 |       22 |       68
376.09/376.21	c  376s |      17 |   210355 |   201532 |    13994     35 |       22 |       68
378.09/378.27	c  378s |      17 |   211495 |   202632 |    13994     35 |       22 |       68
380.29/380.41	c  380s |      17 |   212747 |   203832 |    13994     35 |       22 |       68
382.39/382.57	c  382s |      17 |   213988 |   205032 |    13994     35 |       22 |       68
384.59/384.72	c  384s |      17 |   215246 |   206232 |    13994     36 |       22 |       68
386.79/386.91	c  386s |      17 |   216511 |   207432 |    13994     36 |       22 |       68
388.98/389.12	c  388s |      17 |   217538 |   208432 |    13994     36 |       22 |       68
391.18/391.31	c  391s |      17 |   218811 |   209632 |    13994     36 |       22 |       68
393.18/393.34	c  393s |      17 |   219846 |   210632 |    13994     36 |       22 |       68
395.48/395.61	c  395s |      17 |   220969 |   211732 |    13994     36 |       22 |       68
398.88/399.07	c  398s |      17 |   221693 |   212432 |    13994     37 |       22 |       68
401.07/401.27	c  401s |      17 |   222941 |   213632 |    13994     37 |       22 |       68
403.27/403.44	c  403s |      17 |   224152 |   214832 |    13994     37 |       22 |       68
405.47/405.69	c  405s |      17 |   225170 |   215832 |    13994     37 |       22 |       68
407.57/407.71	c  407s |      17 |   226376 |   217032 |    13994     37 |       22 |       68
409.57/409.75	c  409s |      17 |   227403 |   218032 |    13994     37 |       22 |       68
411.77/411.93	c  411s |      17 |   228309 |   218932 |    13994     37 |       22 |       68
413.87/414.06	c  413s |      17 |   229341 |   219932 |    13994     38 |       22 |       68
416.07/416.23	c  416s |      17 |   230590 |   221132 |    13994     38 |       22 |       68
418.17/418.37	c  418s |      17 |   231718 |   222232 |    13994     38 |       22 |       68
421.38/421.54	c  421s |      17 |   232636 |   223132 |    13994     38 |       22 |       68
423.48/423.64	c  423s |      17 |   233848 |   224332 |    13994     38 |       22 |       68
425.68/425.84	c  425s |      17 |   235062 |   225532 |    13994     38 |       22 |       68
427.78/427.98	c  427s |      17 |   236174 |   226632 |    13994     39 |       22 |       68
430.08/430.25	c  430s |      17 |   237391 |   227832 |    13994     39 |       22 |       68
432.18/432.33	c  432s |      17 |   238606 |   229032 |    13994     39 |       22 |       68
435.97/436.14	c  435s |      17 |   239221 |   229632 |    13994     39 |       22 |       68
438.07/438.20	c  438s |      17 |   240365 |   230732 |    13994     39 |       22 |       68
440.17/440.31	c  440s |      17 |   241401 |   231732 |    13994     39 |       22 |       68
442.27/442.40	c  442s |      17 |   242427 |   232732 |    13994     39 |       22 |       68
444.37/444.55	c  444s |      17 |   243535 |   233832 |    13994     40 |       22 |       68
446.47/446.66	c  446s |      17 |   244651 |   234932 |    13994     40 |       22 |       68
448.56/448.73	c  448s |      17 |   245776 |   236032 |    13994     40 |       22 |       68
450.76/450.90	c  450s |      17 |   247002 |   237232 |    13994     40 |       22 |       68
452.86/453.04	c  452s |      17 |   248013 |   238232 |    13994     40 |       22 |       68
454.86/455.08	c  454s |      17 |   249427 |   239632 |    13994     40 |       22 |       68
457.26/457.46	c  457s |      17 |   250548 |   240732 |    13994     41 |       22 |       68
459.56/459.74	c  459s |      17 |   251555 |   241732 |    13994     41 |       22 |       68
461.66/461.87	c  461s |      17 |   252769 |   242932 |    13994     41 |       22 |       68
463.76/463.95	c  463s |      17 |   253791 |   243932 |    13994     41 |       22 |       68
465.76/465.98	c  465s |      17 |   254899 |   245032 |    13994     41 |       22 |       68
467.85/468.04	c  467s |      17 |   256161 |   246232 |    13994     41 |       22 |       68
469.85/470.06	c  469s |      17 |   257316 |   247332 |    13994     41 |       22 |       68
471.95/472.16	c  471s |      17 |   258575 |   248532 |    13994     42 |       22 |       68
474.06/474.22	c  474s |      17 |   259956 |   249832 |    13994     42 |       22 |       68
476.05/476.27	c  476s |      17 |   261221 |   251032 |    13994     42 |       22 |       68
478.15/478.38	c  478s |      17 |   262363 |   252132 |    13994     42 |       22 |       68
480.25/480.42	c  480s |      17 |   263501 |   253232 |    13994     42 |       22 |       68
482.35/482.55	c  482s |      17 |   264522 |   254232 |    13994     42 |       22 |       68
484.55/484.77	c  484s |      17 |   265663 |   255332 |    13994     43 |       22 |       68
486.65/486.88	c  486s |      17 |   266900 |   256532 |    13994     43 |       22 |       68
488.75/488.90	c  488s |      17 |   268271 |   257832 |    13994     43 |       22 |       68
490.85/491.05	c  490s |      17 |   269515 |   259032 |    13994     43 |       22 |       68
492.84/493.07	c  492s |      17 |   270659 |   260132 |    13994     43 |       22 |       68
495.04/495.28	c  495s |      17 |   271804 |   261232 |    13994     43 |       22 |       68
497.24/497.44	c  497s |      17 |   272720 |   262132 |    13994     44 |       22 |       68
499.35/499.58	c  499s |      17 |   273960 |   263332 |    13994     44 |       22 |       68
501.55/501.75	c  501s |      17 |   275305 |   264632 |    13994     44 |       22 |       68
503.54/503.80	c  503s |      17 |   276334 |   265632 |    13994     44 |       22 |       68
505.74/505.95	c  505s |      17 |   277354 |   266632 |    13994     44 |       22 |       68
508.15/508.33	c  508s |      17 |   278284 |   267532 |    13994     44 |       22 |       68
510.44/510.69	c  510s |      17 |   278590 |   267832 |    13994     44 |       22 |       68
512.74/512.93	c  512s |      17 |   279720 |   268932 |    13994     44 |       22 |       68
514.84/515.04	c  514s |      17 |   280990 |   270132 |    13994     45 |       22 |       68
516.85/517.09	c  516s |      17 |   282115 |   271232 |    13994     45 |       22 |       68
519.05/519.23	c  519s |      17 |   283238 |   272332 |    13994     45 |       22 |       68
521.24/521.43	c  521s |      17 |   284355 |   273432 |    13994     45 |       22 |       68
523.24/523.47	c  523s |      17 |   285388 |   274432 |    13994     45 |       22 |       68
525.24/525.48	c  525s |      17 |   286549 |   275532 |    13994     45 |       22 |       68
527.34/527.56	c  527s |      17 |   287684 |   276632 |    13994     46 |       22 |       68
529.44/529.62	c  529s |      17 |   288890 |   277832 |    13994     46 |       22 |       68
531.53/531.76	c  531s |      17 |   290205 |   279132 |    13994     46 |       22 |       68
533.63/533.83	c  533s |      17 |   291224 |   280132 |    13994     46 |       22 |       68
535.64/535.87	c  535s |      17 |   292432 |   281332 |    13994     46 |       22 |       68
537.74/537.98	c  537s |      17 |   293551 |   282432 |    13994     46 |       22 |       68
539.83/540.02	c  539s |      17 |   294560 |   283432 |    13994     47 |       22 |       68
541.83/542.02	c  541s |      17 |   295668 |   284532 |    13994     47 |       22 |       68
543.83/544.09	c  543s |      17 |   296681 |   285532 |    13994     47 |       22 |       68
545.93/546.17	c  545s |      17 |   297892 |   286732 |    13994     47 |       22 |       68
548.13/548.35	c  548s |      17 |   299021 |   287832 |    13994     47 |       22 |       68
550.42/550.65	c  550s |      17 |   299823 |   288632 |    13994     47 |       22 |       68
552.62/552.86	c  552s |      17 |   300939 |   289732 |    13994     47 |       22 |       68
554.82/555.05	c  554s |      17 |   302179 |   290932 |    13994     48 |       22 |       68
556.82/557.07	c  556s |      17 |   303205 |   291932 |    13994     48 |       22 |       68
559.12/559.31	c  559s |      17 |   304323 |   293032 |    13994     48 |       22 |       68
561.63/561.81	c  561s |      17 |   305045 |   293732 |    13994     48 |       22 |       68
563.73/563.93	c  563s |      17 |   306413 |   295032 |    15394     48 |       22 |       68
565.93/566.10	c  565s |      17 |   307562 |   296132 |    15394     48 |       22 |       68
566.13/566.36	c  566s |      18 |   307685 |   296252 |    15394     48 |       22 |       68
568.23/568.46	c  568s |      18 |   308776 |   297252 |    15394     48 |       22 |       68
570.33/570.58	c  570s |      18 |   309886 |   298352 |    15394     48 |       22 |       68
572.43/572.61	c  572s |      18 |   310912 |   299352 |    15394     49 |       22 |       68
574.52/574.71	c  574s |      18 |   312150 |   300552 |    15394     49 |       22 |       68
576.62/576.86	c  576s |      18 |   313520 |   301852 |    15394     49 |       22 |       68
578.62/578.88	c  578s |      18 |   314652 |   302952 |    15394     49 |       22 |       68
580.82/581.05	c  580s |      18 |   315692 |   303952 |    15394     49 |       22 |       68
582.93/583.18	c  583s |      18 |   316721 |   304952 |    15394     49 |       22 |       68
585.03/585.28	c  585s |      18 |   317749 |   305952 |    15394     49 |       22 |       68
587.23/587.47	c  587s |      18 |   319015 |   307152 |    15394     50 |       22 |       68
589.32/589.57	c  589s |      18 |   320052 |   308152 |    15394     50 |       22 |       68
591.42/591.62	c  591s |      18 |   321302 |   309352 |    15394     50 |       22 |       68
593.52/593.74	c  593s |      18 |   322771 |   310752 |    15394     50 |       22 |       68
595.62/595.88	c  595s |      18 |   324134 |   312052 |    15394     50 |       22 |       68
597.82/598.00	c  597s |      18 |   325504 |   313352 |    15394     50 |       22 |       68
599.82/600.08	c  599s |      18 |   326531 |   314352 |    15394     50 |       22 |       68
601.92/602.10	c  601s |      18 |   327772 |   315552 |    15394     51 |       22 |       68
603.92/604.14	c  603s |      18 |   328898 |   316652 |    15394     51 |       22 |       68
605.92/606.19	c  606s |      18 |   330160 |   317852 |    15394     51 |       22 |       68
608.01/608.27	c  608s |      18 |   331401 |   319052 |    15394     51 |       22 |       68
610.11/610.35	c  610s |      18 |   332649 |   320252 |    15394     51 |       22 |       68
612.31/612.58	c  612s |      18 |   333876 |   321452 |    15394     51 |       22 |       68
614.31/614.59	c  614s |      18 |   334889 |   322452 |    15394     52 |       22 |       68
616.41/616.62	c  616s |      18 |   336125 |   323652 |    15394     52 |       22 |       68
618.91/619.17	c  618s |      18 |   336934 |   324452 |    15394     52 |       22 |       68
621.21/621.44	c  621s |      18 |   338145 |   325652 |    15394     52 |       22 |       68
623.21/623.44	c  623s |      18 |   339356 |   326852 |    15394     52 |       22 |       68
625.31/625.58	c  625s |      18 |   340764 |   328252 |    15394     52 |       22 |       68
627.31/627.59	c  627s |      18 |   341972 |   329452 |    15394     52 |       22 |       68
629.50/629.76	c  629s |      18 |   342890 |   330352 |    15394     53 |       22 |       68
631.50/631.76	c  631s |      18 |   344199 |   331652 |    15394     53 |       22 |       68
633.70/633.91	c  633s |      18 |   345003 |   332452 |    15394     53 |       22 |       68
635.71/635.92	c  635s |      18 |   346317 |   333752 |    15394     53 |       22 |       68
637.81/638.01	c  637s |      18 |   347321 |   334752 |    15394     53 |       22 |       68
639.80/640.09	c  639s |      18 |   348346 |   335752 |    15394     53 |       22 |       68
641.90/642.19	c  642s |      18 |   349469 |   336852 |    15394     53 |       22 |       68
644.00/644.22	c  644s |      18 |   350472 |   337852 |    15394     54 |       22 |       68
647.10/647.34	c  647s |      18 |   351485 |   338852 |    15394     54 |       22 |       68
649.10/649.38	c  649s |      18 |   352597 |   339952 |    15394     54 |       22 |       68
651.20/651.41	c  651s |      18 |   353814 |   341152 |    15394     54 |       22 |       68
653.31/653.58	c  653s |      18 |   355129 |   342452 |    15394     54 |       22 |       68
655.51/655.75	c  655s |      18 |   356344 |   343652 |    15394     54 |       22 |       68
657.61/657.82	c  657s |      18 |   357384 |   344652 |    15394     54 |       22 |       68
659.80/660.01	c  659s |      18 |   358514 |   345752 |    15394     55 |       22 |       68
661.89/662.15	c  661s |      18 |   359640 |   346852 |    15394     55 |       22 |       68
663.99/664.20	c  664s |      18 |   360674 |   347852 |    15394     55 |       22 |       68
665.99/666.30	c  666s |      18 |   361690 |   348852 |    15394     55 |       22 |       68
669.29/669.53	c  669s |      18 |   363009 |   350152 |    15394     55 |       22 |       68
671.39/671.65	c  671s |      18 |   364257 |   351352 |    15394     55 |       22 |       68
673.49/673.77	c  673s |      18 |   365518 |   352552 |    15394     55 |       22 |       68
675.69/675.93	c  675s |      18 |   366677 |   353652 |    15394     56 |       22 |       68
677.69/677.99	c  677s |      18 |   367828 |   354752 |    15394     56 |       22 |       68
679.79/680.07	c  679s |      18 |   368985 |   355852 |    15394     56 |       22 |       68
681.89/682.12	c  681s |      18 |   370097 |   356952 |    15394     56 |       22 |       68
683.99/684.22	c  684s |      18 |   371345 |   358152 |    15394     56 |       22 |       68
685.98/686.30	c  686s |      18 |   372604 |   359352 |    15394     56 |       22 |       68
688.18/688.43	c  688s |      18 |   373873 |   360552 |    15394     56 |       22 |       68
690.18/690.48	c  690s |      18 |   375130 |   361752 |    15394     57 |       22 |       68
692.38/692.62	c  692s |      18 |   376480 |   363052 |    15394     57 |       22 |       68
694.48/694.76	c  694s |      18 |   377861 |   364352 |    15394     57 |       22 |       68
696.68/696.93	c  696s |      18 |   378911 |   365352 |    15394     57 |       22 |       68
698.68/698.97	c  698s |      18 |   380173 |   366552 |    15394     57 |       22 |       68
700.78/701.02	c  700s |      18 |   381345 |   367652 |    15394     57 |       22 |       68
702.98/703.26	c  703s |      18 |   382623 |   368852 |    15394     57 |       22 |       68
705.08/705.34	c  705s |      18 |   383796 |   369952 |    15394     58 |       22 |       68
707.08/707.36	c  707s |      18 |   384822 |   370952 |    15394     58 |       22 |       68
709.17/709.45	c  709s |      18 |   386107 |   372152 |    15394     58 |       22 |       68
711.37/711.63	c  711s |      18 |   387364 |   373352 |    15394     58 |       22 |       68
713.37/713.67	c  713s |      18 |   388516 |   374452 |    15394     58 |       22 |       68
715.47/715.77	c  715s |      18 |   389666 |   375552 |    15394     58 |       22 |       68
717.67/717.96	c  717s |      18 |   390926 |   376752 |    15394     59 |       22 |       68
719.87/720.15	c  719s |      18 |   392285 |   378052 |    15394     59 |       22 |       68
721.87/722.16	c  721s |      18 |   393242 |   378952 |    15394     59 |       22 |       68
723.87/724.19	c  724s |      18 |   394499 |   380152 |    15394     59 |       22 |       68
725.97/726.25	c  726s |      18 |   395751 |   381352 |    15394     59 |       22 |       68
728.08/728.35	c  728s |      18 |   396893 |   382452 |    15394     59 |       22 |       68
730.28/730.54	c  730s |      18 |   398145 |   383652 |    15394     59 |       22 |       68
732.27/732.59	c  732s |      18 |   399308 |   384752 |    15394     60 |       22 |       68
734.37/734.65	c  734s |      18 |   400584 |   385952 |    15394     60 |       22 |       68
736.37/736.69	c  736s |      18 |   401854 |   387152 |    15394     60 |       22 |       68
738.47/738.73	c  738s |      18 |   403127 |   388352 |    15394     60 |       22 |       68
740.47/740.74	c  740s |      18 |   404398 |   389552 |    15394     60 |       22 |       68
742.97/743.28	c  743s |      18 |   405356 |   390452 |    15394     60 |       22 |       68
745.07/745.39	c  745s |      18 |   406614 |   391652 |    15394     60 |       22 |       68
747.17/747.49	c  747s |      18 |   407894 |   392852 |    15394     61 |       22 |       68
749.27/749.58	c  749s |      18 |   409153 |   394052 |    15394     61 |       22 |       68
751.37/751.62	c  751s |      18 |   410224 |   395052 |    15394     61 |       22 |       68
753.47/753.74	c  753s |      18 |   411372 |   396152 |    15394     61 |       22 |       68
755.48/755.79	c  755s |      18 |   412540 |   397252 |    15394     61 |       22 |       68
757.57/757.89	c  757s |      18 |   413699 |   398352 |    15394     61 |       22 |       68
759.77/760.02	c  759s |      18 |   414863 |   399452 |    15394     61 |       22 |       68
761.77/762.07	c  761s |      18 |   415922 |   400452 |    15394     62 |       22 |       68
763.87/764.12	c  763s |      18 |   417215 |   401652 |    15394     62 |       22 |       68
765.87/766.12	c  765s |      18 |   418364 |   402752 |    15394     62 |       22 |       68
767.97/768.27	c  768s |      18 |   419622 |   403952 |    15394     62 |       22 |       68
770.07/770.32	c  770s |      18 |   420774 |   405052 |    15394     62 |       22 |       68
772.17/772.41	c  772s |      18 |   421922 |   406152 |    15394     62 |       22 |       68
774.27/774.58	c  774s |      18 |   423088 |   407252 |    15394     62 |       22 |       68
776.47/776.73	c  776s |      18 |   423708 |   407852 |    15394     63 |       22 |       68
778.57/778.88	c  778s |      18 |   424427 |   408552 |    15394     63 |       22 |       68
780.56/780.89	c  780s |      18 |   425567 |   409652 |    15394     63 |       22 |       68
782.76/783.06	c  782s |      18 |   426827 |   410852 |    15394     63 |       22 |       68
784.86/785.15	c  784s |      18 |   428107 |   412052 |    15394     63 |       22 |       68
786.86/787.17	c  786s |      18 |   429357 |   413252 |    15394     63 |       22 |       68
789.06/789.31	c  789s |      18 |   430506 |   414352 |    15394     63 |       22 |       68
791.06/791.35	c  791s |      18 |   431647 |   415452 |    15394     63 |       22 |       68
793.26/793.53	c  793s |      18 |   432804 |   416552 |    15394     64 |       22 |       68
795.26/795.56	c  795s |      18 |   434074 |   417752 |    15394     64 |       22 |       68
797.46/797.70	c  797s |      18 |   435433 |   419052 |    15394     64 |       22 |       68
799.47/799.75	c  799s |      18 |   436571 |   420152 |    15394     64 |       22 |       68
801.56/801.86	c  801s |      18 |   437811 |   421352 |    15394     64 |       22 |       68
803.66/803.91	c  803s |      18 |   439060 |   422552 |    15394     64 |       22 |       68
805.76/806.05	c  805s |      18 |   440207 |   423652 |    15394     65 |       22 |       68
807.86/808.18	c  808s |      18 |   441578 |   424952 |    15394     65 |       22 |       68
810.06/810.36	c  810s |      18 |   442984 |   426252 |    15394     65 |       22 |       68
812.06/812.38	c  812s |      18 |   444227 |   427452 |    15394     65 |       22 |       68
815.26/815.53	c  815s |      18 |   445483 |   428652 |    15394     65 |       22 |       68
817.36/817.64	c  817s |      18 |   446745 |   429852 |    15394     65 |       22 |       68
819.36/819.64	c  819s |      18 |   447892 |   430952 |    15394     65 |       22 |       68
821.36/821.65	c  821s |      18 |   449038 |   432052 |    15394     66 |       22 |       68
823.55/823.81	c  823s |      18 |   450306 |   433252 |    15394     66 |       22 |       68
825.55/825.81	c  825s |      18 |   451455 |   434352 |    15394     66 |       22 |       68
827.65/827.93	c  827s |      18 |   452648 |   435452 |    15394     66 |       22 |       68
829.65/829.93	c  829s |      18 |   453688 |   436452 |    15394     66 |       22 |       68
831.65/831.95	c  831s |      18 |   454849 |   437552 |    15394     66 |       22 |       68
833.66/833.98	c  833s |      18 |   456031 |   438652 |    15394     66 |       22 |       68
835.76/836.04	c  835s |      18 |   457175 |   439752 |    15394     67 |       22 |       68
837.85/838.15	c  837s |      18 |   458422 |   440952 |    15394     67 |       22 |       68
839.95/840.24	c  840s |      18 |   459585 |   442052 |    16934     67 |       22 |       68
841.95/842.29	c  842s |      18 |   460758 |   443152 |    16934     67 |       22 |       68
844.15/844.46	c  844s |      18 |   462032 |   444352 |    16934     67 |       22 |       68
844.45/844.70	c  844s |      19 |   462161 |   444482 |    16934     67 |       22 |       68
846.55/846.82	c  846s |      19 |   463377 |   445582 |    16934     67 |       22 |       68
848.65/848.94	c  848s |      19 |   464514 |   446682 |    16934     67 |       22 |       68
850.75/851.06	c  850s |      19 |   465659 |   447782 |    16934     67 |       22 |       68
852.76/853.07	c  852s |      19 |   466909 |   448982 |    16934     68 |       22 |       68
854.96/855.22	c  855s |      19 |   468269 |   450282 |    16934     68 |       22 |       68
856.96/857.28	c  857s |      19 |   469566 |   451482 |    16934     68 |       22 |       68
859.16/859.46	c  859s |      19 |   470723 |   452482 |    16934     68 |       22 |       68
861.16/861.47	c  861s |      19 |   471761 |   453382 |    16934     68 |       22 |       68
863.36/863.67	c  863s |      19 |   472829 |   454282 |    16934     68 |       22 |       68
865.46/865.73	c  865s |      19 |   474063 |   455382 |    16934     68 |       22 |       68
867.66/867.94	c  867s |      19 |   475331 |   456482 |    16934     68 |       22 |       68
869.66/869.98	c  869s |      19 |   476523 |   457482 |    16934     69 |       22 |       68
871.86/872.13	c  871s |      19 |   477679 |   458482 |    16934     69 |       22 |       68
873.86/874.15	c  873s |      19 |   478595 |   459282 |    16934     69 |       22 |       68
876.05/876.32	c  876s |      19 |   479483 |   460082 |    16934     69 |       22 |       68
878.15/878.41	c  878s |      19 |   480353 |   460882 |    16934     69 |       22 |       68
880.25/880.54	c  880s |      19 |   481223 |   461682 |    16934     69 |       22 |       68
882.35/882.68	c  882s |      19 |   482259 |   462582 |    16934     69 |       22 |       68
884.45/884.72	c  884s |      19 |   483134 |   463382 |    16934     69 |       22 |       68
886.55/886.88	c  886s |      19 |   484121 |   464282 |    16934     69 |       22 |       68
888.75/889.07	c  888s |      19 |   485175 |   465182 |    16934     69 |       22 |       68
890.86/891.13	c  890s |      19 |   485965 |   465882 |    16934     70 |       22 |       68
892.96/893.21	c  893s |      19 |   487047 |   466782 |    16934     70 |       22 |       68
894.95/895.26	c  895s |      19 |   488084 |   467682 |    16934     70 |       22 |       68
896.95/897.26	c  897s |      19 |   489344 |   468882 |    16934     70 |       22 |       68
899.05/899.35	c  899s |      19 |   490731 |   470182 |    16934     70 |       22 |       68
901.15/901.48	c  901s |      19 |   492111 |   471482 |    16934     70 |       22 |       68
903.25/903.51	c  903s |      19 |   493436 |   472682 |    16934     70 |       22 |       68
905.35/905.67	c  905s |      19 |   494933 |   473982 |    16934     70 |       22 |       68
907.45/907.70	c  907s |      19 |   495890 |   474882 |    16934     71 |       22 |       68
909.46/909.76	c  909s |      19 |   497174 |   476082 |    16934     71 |       22 |       68
911.66/911.95	c  911s |      19 |   498457 |   477282 |    16934     71 |       22 |       68
913.75/914.08	c  913s |      19 |   499653 |   478382 |    16934     71 |       22 |       68
915.95/916.25	c  916s |      19 |   500778 |   479382 |    16934     71 |       22 |       68
918.05/918.35	c  918s |      19 |   501990 |   480482 |    16934     71 |       22 |       68
920.05/920.37	c  920s |      19 |   503129 |   481582 |    16934     71 |       22 |       68
922.25/922.53	c  922s |      19 |   504288 |   482682 |    16934     72 |       22 |       68
924.35/924.66	c  924s |      19 |   505548 |   483882 |    16934     72 |       22 |       68
926.45/926.72	c  926s |      19 |   506801 |   485082 |    16934     72 |       22 |       68
929.35/929.66	c  929s |      19 |   507512 |   485782 |    16934     72 |       22 |       68
931.45/931.78	c  931s |      19 |   508753 |   486982 |    16934     72 |       22 |       68
933.65/933.96	c  933s |      19 |   510146 |   488282 |    16934     72 |       22 |       68
935.74/936.09	c  935s |      19 |   511421 |   489482 |    16934     72 |       22 |       68
937.84/938.15	c  937s |      19 |   512572 |   490582 |    16934     72 |       22 |       68
939.94/940.28	c  940s |      19 |   513840 |   491782 |    16934     73 |       22 |       68
942.14/942.43	c  942s |      19 |   515199 |   493082 |    16934     73 |       22 |       68
944.14/944.49	c  944s |      19 |   516502 |   494282 |    16934     73 |       22 |       68
946.24/946.59	c  946s |      19 |   517777 |   495482 |    16934     73 |       22 |       68
948.44/948.73	c  948s |      19 |   520612 |   496682 |    16934     73 |       22 |       68
950.44/950.76	c  950s |      19 |   521849 |   497782 |    16934     73 |       22 |       68
952.64/952.93	c  952s |      19 |   523148 |   498982 |    16934     73 |       22 |       68
954.74/955.02	c  954s |      19 |   524373 |   500082 |    16934     73 |       22 |       68
956.84/957.11	c  956s |      19 |   525615 |   501182 |    16934     74 |       22 |       68
958.84/959.14	c  958s |      19 |   526729 |   502182 |    16934     74 |       22 |       68
960.94/961.22	c  961s |      19 |   527834 |   503182 |    16934     74 |       22 |       68
963.04/963.36	c  963s |      19 |   529012 |   504282 |    16934     74 |       22 |       68
965.14/965.44	c  965s |      19 |   530130 |   505282 |    16934     74 |       22 |       68
967.14/967.48	c  967s |      19 |   531253 |   506282 |    16934     74 |       22 |       68
969.33/969.61	c  969s |      19 |   532344 |   507282 |    16934     74 |       22 |       68
971.43/971.79	c  971s |      19 |   533583 |   508382 |    16934     74 |       22 |       68
973.63/973.93	c  973s |      19 |   534706 |   509382 |    16934     74 |       22 |       68
975.73/976.03	c  975s |      19 |   535733 |   510282 |    16934     75 |       22 |       68
977.93/978.20	c  978s |      19 |   536743 |   511182 |    16934     75 |       22 |       68
980.13/980.45	c  980s |      19 |   537640 |   511982 |    16934     75 |       22 |       68
982.23/982.58	c  982s |      19 |   538431 |   512682 |    16934     75 |       22 |       68
984.34/984.65	c  984s |      19 |   539203 |   513382 |    16934     75 |       22 |       68
986.44/986.72	c  986s |      19 |   540013 |   514082 |    16934     75 |       22 |       68
988.43/988.76	c  988s |      19 |   540803 |   514782 |    16934     75 |       22 |       68
990.53/990.84	c  990s |      19 |   541622 |   515482 |    16934     75 |       22 |       68
992.63/992.92	c  992s |      19 |   542397 |   516182 |    16934     75 |       22 |       68
994.73/995.02	c  994s |      19 |   543174 |   516882 |    16934     75 |       22 |       68
996.83/997.13	c  996s |      19 |   543946 |   517582 |    16934     75 |       22 |       68
999.03/999.38	c  999s |      19 |   544874 |   518382 |    16934     75 |       22 |       68
1001.03/1001.39	c 1001s |      19 |   545685 |   519082 |    16934     75 |       22 |       68
1003.13/1003.47	c 1003s |      19 |   546457 |   519782 |    16934     76 |       22 |       68
1005.33/1005.66	c 1005s |      19 |   547351 |   520582 |    16934     76 |       22 |       68
1007.63/1007.94	c 1007s |      19 |   548242 |   521382 |    16934     76 |       22 |       68
1009.73/1010.08	c 1009s |      19 |   549145 |   522182 |    16934     76 |       22 |       68
1011.83/1012.17	c 1011s |      19 |   550022 |   522982 |    16934     76 |       22 |       68
1013.93/1014.23	c 1014s |      19 |   550934 |   523782 |    16934     76 |       22 |       68
1016.13/1016.45	c 1016s |      19 |   551864 |   524582 |    16934     76 |       22 |       68
1018.33/1018.65	c 1018s |      19 |   552444 |   525082 |    16934     76 |       22 |       68
1020.32/1020.68	c 1020s |      19 |   553246 |   525782 |    16934     76 |       22 |       68
1022.62/1022.94	c 1022s |      19 |   554147 |   526582 |    16934     76 |       22 |       68
1024.72/1025.09	c 1024s |      19 |   555030 |   527382 |    16934     76 |       22 |       68
1026.92/1027.26	c 1027s |      19 |   555932 |   528182 |    16934     76 |       22 |       68
1029.03/1029.39	c 1029s |      19 |   556726 |   528882 |    16934     77 |       22 |       68
1031.23/1031.56	c 1031s |      19 |   557518 |   529582 |    16934     77 |       22 |       68
1033.43/1033.76	c 1033s |      19 |   558363 |   530382 |    16934     77 |       22 |       68
1035.63/1035.92	c 1035s |      19 |   559265 |   531182 |    16934     77 |       22 |       68
1037.73/1038.03	c 1037s |      19 |   560043 |   531882 |    16934     77 |       22 |       68
1039.83/1040.10	c 1039s |      19 |   560869 |   532582 |    16934     77 |       22 |       68
1041.93/1042.28	c 1042s |      19 |   561668 |   533282 |    16934     77 |       22 |       68
1044.13/1044.42	c 1044s |      19 |   562460 |   533982 |    16934     77 |       22 |       68
1046.23/1046.54	c 1046s |      19 |   563242 |   534682 |    16934     77 |       22 |       68
1048.33/1048.64	c 1048s |      19 |   563994 |   535382 |    16934     77 |       22 |       68
1050.33/1050.68	c 1050s |      19 |   564644 |   535982 |    16934     77 |       22 |       68
1052.63/1052.91	c 1052s |      19 |   565542 |   536782 |    16934     77 |       22 |       68
1054.73/1055.05	c 1054s |      19 |   566426 |   537582 |    16934     77 |       22 |       68
1056.73/1057.06	c 1056s |      19 |   567246 |   538282 |    16934     78 |       22 |       68
1058.93/1059.22	c 1059s |      19 |   568144 |   539082 |    16934     78 |       22 |       68
1061.02/1061.39	c 1061s |      19 |   569038 |   539882 |    16934     78 |       22 |       68
1063.12/1063.48	c 1063s |      19 |   569840 |   540582 |    16934     78 |       22 |       68
1065.42/1065.77	c 1065s |      19 |   570737 |   541382 |    16934     78 |       22 |       68
1067.52/1067.89	c 1067s |      19 |   571554 |   542082 |    16934     78 |       22 |       68
1069.72/1070.04	c 1069s |      19 |   572444 |   542882 |    16934     78 |       22 |       68
1071.92/1072.24	c 1072s |      19 |   573351 |   543682 |    16934     78 |       22 |       68
1074.12/1074.49	c 1074s |      19 |   574279 |   544482 |    16934     78 |       22 |       68
1076.42/1076.78	c 1076s |      19 |   575097 |   545182 |    16934     78 |       22 |       68
1078.62/1078.92	c 1078s |      19 |   575876 |   545882 |    16934     78 |       22 |       68
1080.72/1081.09	c 1080s |      19 |   576653 |   546582 |    16934     78 |       22 |       68
1084.62/1084.99	c 1084s |      19 |   577114 |   546982 |    16934     79 |       22 |       68
1086.82/1087.13	c 1086s |      19 |   577972 |   547782 |    16934     79 |       22 |       68
1088.82/1089.17	c 1088s |      19 |   578740 |   548482 |    16934     79 |       22 |       68
1091.02/1091.35	c 1091s |      19 |   579609 |   549282 |    16934     79 |       22 |       68
1093.02/1093.38	c 1093s |      19 |   580409 |   549982 |    16934     79 |       22 |       68
1095.12/1095.48	c 1095s |      19 |   581228 |   550682 |    16934     79 |       22 |       68
1097.22/1097.57	c 1097s |      19 |   582033 |   551382 |    16934     79 |       22 |       68
1099.32/1099.65	c 1099s |      19 |   582851 |   552082 |    16934     79 |       22 |       68
1101.42/1101.76	c 1101s |      19 |   583616 |   552782 |    16934     79 |       22 |       68
1103.52/1103.80	c 1103s |      19 |   584444 |   553482 |    16934     79 |       22 |       68
1105.51/1105.82	c 1105s |      19 |   585211 |   554182 |    16934     79 |       22 |       68
1107.61/1107.90	c 1107s |      19 |   586022 |   554882 |    16934     79 |       22 |       68
1109.72/1110.07	c 1109s |      19 |   586823 |   555582 |    16934     79 |       22 |       68
1111.82/1112.20	c 1112s |      19 |   587607 |   556282 |    16934     80 |       22 |       68
1114.21/1114.50	c 1114s |      19 |   588395 |   556982 |    16934     80 |       22 |       68
1116.32/1116.69	c 1116s |      19 |   589175 |   557682 |    16934     80 |       22 |       68
1118.42/1118.71	c 1118s |      19 |   589991 |   558382 |    16934     80 |       22 |       68
1120.62/1120.92	c 1120s |      19 |   590905 |   559182 |    16934     80 |       22 |       68
1122.82/1123.12	c 1122s |      19 |   591787 |   559982 |    16934     80 |       22 |       68
1125.02/1125.37	c 1125s |      19 |   592654 |   560782 |    16934     80 |       22 |       68
1127.32/1127.62	c 1127s |      19 |   593560 |   561582 |    16934     80 |       22 |       68
1129.61/1129.93	c 1129s |      19 |   594483 |   562382 |    16934     80 |       22 |       68
1131.91/1132.22	c 1132s |      19 |   595266 |   563082 |    16934     80 |       22 |       68
1134.01/1134.38	c 1134s |      19 |   596059 |   563782 |    16934     80 |       22 |       68
1136.21/1136.57	c 1136s |      19 |   597000 |   564582 |    16934     80 |       22 |       68
1138.41/1138.79	c 1138s |      19 |   597789 |   565282 |    16934     80 |       22 |       68
1140.71/1141.00	c 1140s |      19 |   598459 |   565882 |    16934     81 |       22 |       68
1142.71/1143.01	c 1142s |      19 |   599348 |   566682 |    16934     81 |       22 |       68
1144.81/1145.18	c 1145s |      19 |   600217 |   567482 |    16934     81 |       22 |       68
1146.91/1147.25	c 1147s |      19 |   601033 |   568182 |    16934     81 |       22 |       68
1149.01/1149.38	c 1149s |      19 |   601949 |   568982 |    16934     81 |       22 |       68
1151.11/1151.42	c 1151s |      19 |   602748 |   569682 |    16934     81 |       22 |       68
1153.21/1153.55	c 1153s |      19 |   603652 |   570482 |    16934     81 |       22 |       68
1155.21/1155.57	c 1155s |      19 |   604563 |   571282 |    16934     81 |       22 |       68
1157.41/1157.76	c 1157s |      19 |   605466 |   572082 |    16934     81 |       22 |       68
1159.40/1159.77	c 1159s |      19 |   606292 |   572782 |    16934     81 |       22 |       68
1161.60/1161.95	c 1161s |      19 |   607201 |   573582 |    16934     81 |       22 |       68
1163.70/1164.04	c 1163s |      19 |   607996 |   574282 |    16934     81 |       22 |       68
1165.71/1166.06	c 1165s |      19 |   608690 |   574882 |    16934     82 |       22 |       68
1167.91/1168.22	c 1168s |      19 |   609464 |   575582 |    16934     82 |       22 |       68
1171.91/1172.21	c 1172s |      19 |   609915 |   575982 |    16934     82 |       22 |       68
1174.01/1174.34	c 1174s |      19 |   610847 |   576782 |    16934     82 |       22 |       68
1176.21/1176.57	c 1176s |      19 |   611751 |   577582 |    16934     82 |       22 |       68
1178.31/1178.61	c 1178s |      19 |   612675 |   578382 |    16934     82 |       22 |       68
1180.51/1180.83	c 1180s |      19 |   613575 |   579182 |    16934     82 |       22 |       68
1182.71/1183.06	c 1182s |      19 |   614450 |   579982 |    16934     82 |       22 |       68
1184.81/1185.13	c 1184s |      19 |   615199 |   580682 |    16934     82 |       22 |       68
1186.91/1187.25	c 1187s |      19 |   616107 |   581482 |    16934     82 |       22 |       68
1189.01/1189.39	c 1189s |      19 |   617051 |   582282 |    16934     82 |       22 |       68
1191.21/1191.53	c 1191s |      19 |   617842 |   582982 |    16934     82 |       22 |       68
1193.21/1193.56	c 1193s |      19 |   618699 |   583682 |    16934     83 |       22 |       68
1195.21/1195.57	c 1195s |      19 |   619386 |   584282 |    16934     83 |       22 |       68
1197.41/1197.74	c 1197s |      19 |   620285 |   585082 |    16934     83 |       22 |       68
1199.60/1199.91	c 1199s |      19 |   621189 |   585882 |    16934     83 |       22 |       68
1201.90/1202.28	c 1202s |      19 |   622077 |   586682 |    16934     83 |       22 |       68
1204.00/1204.38	c 1204s |      19 |   623090 |   587582 |    16934     83 |       22 |       68
1206.20/1206.56	c 1206s |      19 |   623996 |   588382 |    16934     83 |       22 |       68
1208.40/1208.73	c 1208s |      19 |   624804 |   589082 |    16934     83 |       22 |       68
1210.50/1210.86	c 1210s |      19 |   625617 |   589782 |    16934     83 |       22 |       68
1212.60/1212.97	c 1212s |      19 |   626410 |   590482 |    16934     83 |       22 |       68
1214.90/1215.20	c 1215s |      19 |   627309 |   591282 |    16934     83 |       22 |       68
1217.20/1217.55	c 1217s |      19 |   628195 |   592082 |    16934     84 |       22 |       68
1219.50/1219.83	c 1219s |      19 |   629080 |   592882 |    16934     84 |       22 |       68
1222.30/1222.69	c 1222s |      19 |   629644 |   593382 |    16934     84 |       22 |       68
1224.60/1224.91	c 1224s |      19 |   630521 |   594182 |    16934     84 |       22 |       68
1226.70/1227.03	c 1226s |      19 |   631271 |   594882 |    16934     84 |       22 |       68
1228.90/1229.24	c 1229s |      19 |   632204 |   595682 |    16934     84 |       22 |       68
1231.10/1231.45	c 1231s |      19 |   633109 |   596482 |    16934     84 |       22 |       68
1233.20/1233.57	c 1233s |      19 |   633888 |   597182 |    16934     84 |       22 |       68
1235.30/1235.65	c 1235s |      19 |   634714 |   597882 |    16934     84 |       22 |       68
1237.50/1237.89	c 1237s |      19 |   635509 |   598582 |    16934     84 |       22 |       68
1239.80/1240.17	c 1239s |      19 |   636312 |   599282 |    16934     84 |       22 |       68
1241.90/1242.29	c 1242s |      19 |   637066 |   599982 |    16934     84 |       22 |       68
1244.20/1244.57	c 1244s |      19 |   637883 |   600682 |    16934     84 |       22 |       68
1246.49/1246.80	c 1246s |      19 |   638902 |   601582 |    16934     85 |       22 |       68
1248.59/1248.93	c 1248s |      19 |   640003 |   602582 |    16934     85 |       22 |       68
1250.69/1251.09	c 1250s |      19 |   640847 |   603382 |    16934     85 |       22 |       68
1252.79/1253.14	c 1252s |      19 |   641621 |   604082 |    16934     85 |       22 |       68
1254.99/1255.36	c 1255s |      19 |   642516 |   604882 |    16934     85 |       22 |       68
1257.19/1257.56	c 1257s |      19 |   643409 |   605682 |    16934     85 |       22 |       68
1259.39/1259.78	c 1259s |      19 |   644296 |   606482 |    16934     85 |       22 |       68
1261.50/1261.86	c 1261s |      19 |   645070 |   607182 |    16934     85 |       22 |       68
1263.70/1264.04	c 1263s |      19 |   646118 |   608082 |    16934     85 |       22 |       68
1265.80/1266.20	c 1266s |      19 |   647054 |   608882 |    16934     85 |       22 |       68
1268.00/1268.34	c 1268s |      19 |   648094 |   609782 |    16934     85 |       22 |       68
1270.09/1270.50	c 1270s |      19 |   649014 |   610582 |    16934     86 |       22 |       68
1272.29/1272.66	c 1272s |      19 |   649837 |   611282 |    16934     86 |       22 |       68
1274.39/1274.74	c 1274s |      19 |   650623 |   611982 |    16934     86 |       22 |       68
1276.39/1276.78	c 1276s |      19 |   651439 |   612682 |    16934     86 |       22 |       68
1278.49/1278.81	c 1278s |      19 |   652250 |   613382 |    16934     86 |       22 |       68
1280.49/1280.87	c 1280s |      19 |   653041 |   614082 |    16934     86 |       22 |       68
1282.69/1283.07	c 1282s |      19 |   653953 |   614882 |    16934     86 |       22 |       68
1285.09/1285.44	c 1285s |      19 |   654091 |   614982 |    16934     86 |       22 |       68
1287.19/1287.52	c 1287s |      19 |   655080 |   615882 |    16934     86 |       22 |       68
1289.39/1289.77	c 1289s |      19 |   656057 |   616782 |    16934     86 |       22 |       68
1291.48/1291.88	c 1291s |      19 |   656912 |   617582 |    16934     86 |       22 |       68
1295.09/1295.42	c 1295s |      19 |   657948 |   618482 |    16934     87 |       22 |       68
1297.19/1297.55	c 1297s |      19 |   658875 |   619282 |    16934     87 |       22 |       68
1299.29/1299.65	c 1299s |      19 |   659917 |   620182 |    16934     87 |       22 |       68
1301.39/1301.70	c 1301s |      19 |   660749 |   620882 |    16934     87 |       22 |       68
1303.39/1303.75	c 1303s |      19 |   661541 |   621582 |    16934     87 |       22 |       68
1305.40/1305.79	c 1305s |      19 |   662309 |   622282 |    16934     87 |       22 |       68
1307.60/1307.93	c 1307s |      19 |   662977 |   622882 |    16934     87 |       22 |       68
1309.59/1309.97	c 1309s |      19 |   663956 |   623782 |    16934     87 |       22 |       68
1311.69/1312.06	c 1311s |      19 |   665049 |   624782 |    16934     87 |       22 |       68
1313.69/1314.08	c 1313s |      19 |   666195 |   625782 |    16934     87 |       22 |       68
1315.79/1316.18	c 1316s |      19 |   667243 |   626682 |    16934     87 |       22 |       68
1318.09/1318.41	c 1318s |      19 |   668284 |   627582 |    16934     87 |       22 |       68
1320.59/1320.92	c 1320s |      19 |   669220 |   628382 |    16934     88 |       22 |       68
1322.59/1322.94	c 1322s |      19 |   670118 |   629182 |    16934     88 |       22 |       68
1324.59/1324.98	c 1324s |      19 |   671020 |   629982 |    16934     88 |       22 |       68
1326.69/1327.04	c 1326s |      19 |   671968 |   630782 |    16934     88 |       22 |       68
1328.78/1329.17	c 1328s |      19 |   672960 |   631682 |    16934     88 |       22 |       68
1330.88/1331.24	c 1331s |      19 |   673952 |   632582 |    16934     88 |       22 |       68
1332.99/1333.35	c 1333s |      19 |   674977 |   633482 |    16934     88 |       22 |       68
1335.19/1335.52	c 1335s |      19 |   676000 |   634382 |    16934     88 |       22 |       68
1337.39/1337.76	c 1337s |      19 |   676971 |   635282 |    16934     88 |       22 |       68
1339.49/1339.90	c 1339s |      19 |   677876 |   636082 |    16934     88 |       22 |       68
1341.69/1342.01	c 1341s |      19 |   678777 |   636882 |    16934     88 |       22 |       68
1343.68/1344.03	c 1343s |      19 |   679565 |   637582 |    16934     89 |       22 |       68
1345.98/1346.31	c 1346s |      19 |   680479 |   638382 |    16934     89 |       22 |       68
1348.18/1348.50	c 1348s |      19 |   681413 |   639182 |    16934     89 |       22 |       68
1350.38/1350.79	c 1350s |      19 |   682310 |   639982 |    16934     89 |       22 |       68
1352.48/1352.82	c 1352s |      19 |   683096 |   640682 |    16934     89 |       22 |       68
1354.78/1355.10	c 1354s |      19 |   683871 |   641382 |    16934     89 |       22 |       68
1356.98/1357.33	c 1357s |      19 |   684773 |   642182 |    16934     89 |       22 |       68
1358.98/1359.39	c 1359s |      19 |   685564 |   642882 |    16934     89 |       22 |       68
1361.28/1361.60	c 1361s |      19 |   686353 |   643582 |    16934     89 |       22 |       68
1363.38/1363.73	c 1363s |      19 |   687151 |   644282 |    16934     89 |       22 |       68
1365.48/1365.80	c 1365s |      19 |   688067 |   645082 |    16934     89 |       22 |       68
1367.58/1367.99	c 1367s |      19 |   689102 |   645982 |    16934     89 |       22 |       68
1369.58/1370.00	c 1369s |      19 |   689878 |   646682 |    16934     90 |       22 |       68
1371.68/1372.00	c 1371s |      19 |   690659 |   647382 |    16934     90 |       22 |       68
1373.78/1374.18	c 1374s |      19 |   691577 |   648182 |    16934     90 |       22 |       68
1375.98/1376.34	c 1376s |      19 |   692486 |   648982 |    16934     90 |       22 |       68
1377.98/1378.38	c 1378s |      19 |   693292 |   649682 |    16934     90 |       22 |       68
1380.08/1380.46	c 1380s |      19 |   694124 |   650382 |    16934     90 |       22 |       68
1382.17/1382.58	c 1382s |      19 |   695043 |   651182 |    16934     90 |       22 |       68
1384.37/1384.76	c 1384s |      19 |   695927 |   651982 |    16934     90 |       22 |       68
1386.47/1386.80	c 1386s |      19 |   696687 |   652682 |    16934     90 |       22 |       68
1389.08/1389.49	c 1389s |      19 |   697118 |   653082 |    16934     90 |       22 |       68
1391.18/1391.57	c 1391s |      19 |   698048 |   653882 |    16934     90 |       22 |       68
1393.38/1393.78	c 1393s |      19 |   698972 |   654682 |    16934     90 |       22 |       68
1395.67/1396.01	c 1395s |      19 |   699866 |   655482 |    16934     90 |       22 |       68
1397.77/1398.13	c 1397s |      19 |   700670 |   656182 |    16934     91 |       22 |       68
1400.37/1400.75	c 1400s |      19 |   701472 |   656882 |    16934     91 |       22 |       68
1402.67/1403.00	c 1402s |      19 |   702360 |   657682 |    16934     91 |       22 |       68
1404.77/1405.19	c 1405s |      19 |   703181 |   658382 |    16934     91 |       22 |       68
1407.07/1407.41	c 1407s |      19 |   703956 |   659082 |    16934     91 |       22 |       68
1409.37/1409.70	c 1409s |      19 |   704863 |   659882 |    16934     91 |       22 |       68
1411.47/1411.87	c 1411s |      19 |   705671 |   660582 |    16934     91 |       22 |       68
1413.67/1414.01	c 1413s |      19 |   706481 |   661282 |    16934     91 |       22 |       68
1415.66/1416.09	c 1415s |      19 |   707298 |   661982 |    16934     91 |       22 |       68
1417.96/1418.34	c 1418s |      19 |   708110 |   662682 |    18628     91 |       22 |       68
1420.16/1420.54	c 1420s |      19 |   708904 |   663382 |    18628     91 |       22 |       68
1422.36/1422.72	c 1422s |      19 |   709686 |   664082 |    18628     91 |       22 |       68
1424.56/1424.97	c 1424s |      19 |   710467 |   664782 |    18628     91 |       22 |       68
1426.56/1426.99	c 1426s |      19 |   711373 |   665582 |    18628     91 |       22 |       68
1428.76/1429.19	c 1429s |      19 |   712258 |   666382 |    18628     91 |       22 |       68
1430.16/1430.54	c 1430s |      20 |   712769 |   666827 |    18628     92 |       22 |       68
1432.27/1432.64	c 1432s |      20 |   713315 |   667227 |    18628     92 |       22 |       68
1434.27/1434.67	c 1434s |      20 |   714204 |   668027 |    18628     92 |       22 |       68
1436.47/1436.80	c 1436s |      20 |   714650 |   668427 |    18628     92 |       22 |       68
1438.47/1438.89	c 1438s |      20 |   715587 |   669227 |    18628     92 |       22 |       68
1440.57/1440.99	c 1440s |      20 |   716503 |   670027 |    18628     92 |       22 |       68
1442.87/1443.21	c 1443s |      20 |   717434 |   670827 |    18628     92 |       22 |       68
1444.97/1445.37	c 1445s |      20 |   718446 |   671727 |    18628     92 |       22 |       68
1447.17/1447.59	c 1447s |      20 |   719487 |   672627 |    18628     92 |       22 |       68
1449.26/1449.68	c 1449s |      20 |   720393 |   673427 |    18628     92 |       22 |       68
1451.46/1451.84	c 1451s |      20 |   721310 |   674227 |    18628     92 |       22 |       68
1453.66/1454.03	c 1453s |      20 |   722240 |   675027 |    18628     92 |       22 |       68
1455.76/1456.14	c 1455s |      20 |   723121 |   675827 |    18628     92 |       22 |       68
1457.96/1458.35	c 1458s |      20 |   724010 |   676627 |    18628     92 |       22 |       68
1462.76/1463.17	c 1462s |      20 |   724569 |   677127 |    18628     93 |       22 |       68
1464.96/1465.34	c 1465s |      20 |   725491 |   677927 |    18628     93 |       22 |       68
1467.06/1467.47	c 1467s |      20 |   726373 |   678727 |    18628     93 |       22 |       68
1469.16/1469.58	c 1469s |      20 |   727473 |   679727 |    18628     93 |       22 |       68
1471.26/1471.64	c 1471s |      20 |   728248 |   680427 |    18628     93 |       22 |       68
1473.46/1473.85	c 1473s |      20 |   729143 |   681227 |    18628     93 |       22 |       68
1475.56/1475.95	c 1475s |      20 |   730058 |   682027 |    18628     93 |       22 |       68
1477.56/1477.96	c 1477s |      20 |   730970 |   682827 |    18628     93 |       22 |       68
1479.76/1480.13	c 1479s |      20 |   731963 |   683727 |    18628     93 |       22 |       68
1481.96/1482.32	c 1482s |      20 |   732831 |   684527 |    18628     93 |       22 |       68
1483.96/1484.36	c 1484s |      20 |   733728 |   685327 |    18628     93 |       22 |       68
1486.16/1486.50	c 1486s |      20 |   734639 |   686127 |    18628     93 |       22 |       68
1488.16/1488.50	c 1488s |      20 |   735427 |   686827 |    18628     94 |       22 |       68
1490.36/1490.75	c 1490s |      20 |   736308 |   687627 |    18628     94 |       22 |       68
1492.56/1492.93	c 1492s |      20 |   737338 |   688527 |    18628     94 |       22 |       68
1494.57/1494.96	c 1494s |      20 |   738344 |   689427 |    18628     94 |       22 |       68
1496.66/1497.08	c 1496s |      20 |   739351 |   690327 |    18628     94 |       22 |       68
1498.86/1499.21	c 1499s |      20 |   740379 |   691227 |    18628     94 |       22 |       68
1500.96/1501.33	c 1501s |      20 |   741365 |   692127 |    18628     94 |       22 |       68
1503.16/1503.53	c 1503s |      20 |   742478 |   693127 |    18628     94 |       22 |       68
1505.26/1505.64	c 1505s |      20 |   743494 |   694027 |    18628     94 |       22 |       68
1507.26/1507.69	c 1507s |      20 |   744521 |   694927 |    18628     94 |       22 |       68
1509.36/1509.79	c 1509s |      20 |   745515 |   695827 |    18628     94 |       22 |       68
1511.66/1512.02	c 1511s |      20 |   746507 |   696727 |    18628     94 |       22 |       68
1513.76/1514.15	c 1513s |      20 |   747411 |   697527 |    18628     95 |       22 |       68
1515.86/1516.26	c 1516s |      20 |   748533 |   698527 |    18628     95 |       22 |       68
1518.16/1518.51	c 1518s |      20 |   749530 |   699427 |    18628     95 |       22 |       68
1520.16/1520.57	c 1520s |      20 |   750415 |   700227 |    18628     95 |       22 |       68
1522.26/1522.66	c 1522s |      20 |   751289 |   701027 |    18628     95 |       22 |       68
1525.46/1525.81	c 1525s |      20 |   752252 |   701827 |    18628     95 |       22 |       68
1527.46/1527.84	c 1527s |      20 |   753247 |   702727 |    18628     95 |       22 |       68
1529.66/1530.05	c 1529s |      20 |   754351 |   703727 |    18628     95 |       22 |       68
1531.86/1532.21	c 1532s |      20 |   755485 |   704727 |    18628     95 |       22 |       68
1533.85/1534.24	c 1534s |      20 |   756487 |   705627 |    18628     95 |       22 |       68
1535.95/1536.30	c 1536s |      20 |   757538 |   706527 |    18628     95 |       22 |       68
1538.05/1538.43	c 1538s |      20 |   758460 |   707327 |    18628     96 |       22 |       68
1540.25/1540.63	c 1540s |      20 |   759448 |   708227 |    18628     96 |       22 |       68
1542.35/1542.74	c 1542s |      20 |   760530 |   709227 |    18628     96 |       22 |       68
1544.45/1544.85	c 1544s |      20 |   761554 |   710127 |    18628     96 |       22 |       68
1546.55/1546.90	c 1546s |      20 |   762553 |   711027 |    18628     96 |       22 |       68
1548.65/1549.05	c 1548s |      20 |   763659 |   712027 |    18628     96 |       22 |       68
1550.85/1551.24	c 1551s |      20 |   764769 |   713027 |    18628     96 |       22 |       68
1553.05/1553.46	c 1553s |      20 |   765868 |   714027 |    18628     96 |       22 |       68
1555.45/1555.80	c 1555s |      20 |   766970 |   715027 |    18628     96 |       22 |       68
1557.55/1557.91	c 1557s |      20 |   767894 |   715827 |    18628     96 |       22 |       68
1559.75/1560.13	c 1559s |      20 |   768911 |   716727 |    18628     96 |       22 |       68
1561.76/1562.15	c 1561s |      20 |   769686 |   717427 |    18628     97 |       22 |       68
1563.96/1564.38	c 1564s |      20 |   770696 |   718327 |    18628     97 |       22 |       68
1566.06/1566.46	c 1566s |      20 |   771707 |   719227 |    18628     97 |       22 |       68
1568.26/1568.64	c 1568s |      20 |   772716 |   720127 |    18628     97 |       22 |       68
1570.46/1570.83	c 1570s |      20 |   773724 |   721027 |    18628     97 |       22 |       68
1572.55/1572.96	c 1572s |      20 |   774775 |   721927 |    18628     97 |       22 |       68
1574.75/1575.10	c 1574s |      20 |   775780 |   722827 |    18628     97 |       22 |       68
1576.85/1577.27	c 1577s |      20 |   776803 |   723727 |    18628     97 |       22 |       68
1578.95/1579.35	c 1579s |      20 |   777816 |   724627 |    18628     97 |       22 |       68
1581.05/1581.45	c 1581s |      20 |   778881 |   725527 |    18628     97 |       22 |       68
1583.85/1584.29	c 1584s |      20 |   779937 |   726427 |    18628     97 |       22 |       68
1586.14/1586.51	c 1586s |      20 |   780757 |   727127 |    18628     98 |       22 |       68
1588.15/1588.54	c 1588s |      20 |   781542 |   727827 |    18628     98 |       22 |       68
1590.24/1590.70	c 1590s |      20 |   782490 |   728627 |    18628     98 |       22 |       68
1592.34/1592.71	c 1592s |      20 |   783310 |   729327 |    18628     98 |       22 |       68
1594.44/1594.88	c 1594s |      20 |   784214 |   730127 |    18628     98 |       22 |       68
1596.44/1596.88	c 1596s |      20 |   784998 |   730827 |    18628     98 |       22 |       68
1598.64/1599.08	c 1598s |      20 |   785889 |   731627 |    18628     98 |       22 |       68
1600.84/1601.27	c 1601s |      20 |   786781 |   732427 |    18628     98 |       22 |       68
1603.04/1603.44	c 1603s |      20 |   787693 |   733227 |    18628     98 |       22 |       68
1605.24/1605.62	c 1605s |      20 |   788598 |   734027 |    18628     98 |       22 |       68
1607.43/1607.86	c 1607s |      20 |   789510 |   734827 |    18628     98 |       22 |       68
1609.53/1609.92	c 1609s |      20 |   790317 |   735527 |    18628     98 |       22 |       68
1611.53/1611.96	c 1611s |      20 |   791094 |   736227 |    18628     98 |       22 |       68
1613.63/1614.09	c 1613s |      20 |   791881 |   736927 |    18628     98 |       22 |       68
1615.83/1616.24	c 1616s |      20 |   792660 |   737627 |    18628     99 |       22 |       68
1617.93/1618.32	c 1618s |      20 |   793556 |   738427 |    18628     99 |       22 |       68
1619.94/1620.32	c 1620s |      20 |   794012 |   738827 |    18628     99 |       22 |       68
1622.03/1622.41	c 1622s |      20 |   794946 |   739627 |    18628     99 |       22 |       68
1624.03/1624.47	c 1624s |      20 |   795857 |   740427 |    18628     99 |       22 |       68
1626.23/1626.64	c 1626s |      20 |   796746 |   741227 |    18628     99 |       22 |       68
1628.33/1628.75	c 1628s |      20 |   797657 |   742027 |    18628     99 |       22 |       68
1630.53/1630.93	c 1630s |      20 |   798563 |   742827 |    18628     99 |       22 |       68
1632.63/1633.08	c 1632s |      20 |   799438 |   743627 |    18628     99 |       22 |       68
1634.93/1635.34	c 1635s |      20 |   800328 |   744427 |    18628     99 |       22 |       68
1637.13/1637.58	c 1637s |      20 |   801245 |   745227 |    18628     99 |       22 |       68
1639.43/1639.84	c 1639s |      20 |   802131 |   746027 |    18628     99 |       22 |       68
1641.44/1641.87	c 1641s |      20 |   802934 |   746727 |    18628     99 |       22 |       68
1643.64/1644.03	c 1643s |      20 |   803635 |   747327 |    18628    100 |       22 |       68
1645.64/1646.09	c 1645s |      20 |   804350 |   747927 |    18628    100 |       22 |       68
1647.84/1648.24	c 1648s |      20 |   805273 |   748727 |    18628    100 |       22 |       68
1649.94/1650.31	c 1650s |      20 |   806091 |   749427 |    18628    100 |       22 |       68
1652.04/1652.42	c 1652s |      20 |   806882 |   750127 |    18628    100 |       22 |       68
1654.14/1654.53	c 1654s |      20 |   807815 |   750927 |    18628    100 |       22 |       68
1656.24/1656.67	c 1656s |      20 |   808745 |   751727 |    18628    100 |       22 |       68
1658.33/1658.73	c 1658s |      20 |   809556 |   752427 |    18628    100 |       22 |       68
1661.53/1661.91	c 1661s |      20 |   810013 |   752827 |    18628    100 |       22 |       68
1663.63/1664.02	c 1663s |      20 |   810901 |   753627 |    18628    100 |       22 |       68
1665.63/1666.06	c 1665s |      20 |   811920 |   754527 |    18628    100 |       22 |       68
1667.83/1668.24	c 1668s |      20 |   813017 |   755527 |    18628    100 |       22 |       68
1670.03/1670.40	c 1670s |      20 |   814156 |   756527 |    18628    100 |       22 |       68
1672.03/1672.47	c 1672s |      20 |   815168 |   757427 |    18628    101 |       22 |       68
1674.23/1674.62	c 1674s |      20 |   816287 |   758427 |    18628    101 |       22 |       68
1676.53/1676.96	c 1676s |      20 |   817230 |   759227 |    18628    101 |       22 |       68
1678.73/1679.19	c 1679s |      20 |   818274 |   760127 |    18628    101 |       22 |       68
1680.83/1681.25	c 1681s |      20 |   819284 |   761027 |    18628    101 |       22 |       68
1683.03/1683.48	c 1683s |      20 |   820395 |   762027 |    18628    101 |       22 |       68
1685.23/1685.61	c 1685s |      20 |   821399 |   762927 |    18628    101 |       22 |       68
1687.23/1687.70	c 1687s |      20 |   822429 |   763827 |    18628    101 |       22 |       68
1689.43/1689.80	c 1689s |      20 |   823441 |   764727 |    18628    101 |       22 |       68
1691.63/1692.03	c 1691s |      20 |   824320 |   765527 |    18628    101 |       22 |       68
1693.73/1694.16	c 1693s |      20 |   825208 |   766327 |    18628    101 |       22 |       68
1695.93/1696.38	c 1696s |      20 |   826110 |   767127 |    18628    101 |       22 |       68
1698.03/1698.44	c 1698s |      20 |   826893 |   767827 |    18628    102 |       22 |       68
1700.13/1700.53	c 1700s |      20 |   827776 |   768627 |    18628    102 |       22 |       68
1702.13/1702.55	c 1702s |      20 |   828450 |   769227 |    18628    102 |       22 |       68
1704.23/1704.62	c 1704s |      20 |   829340 |   770027 |    18628    102 |       22 |       68
1706.23/1706.67	c 1706s |      20 |   830239 |   770827 |    18628    102 |       22 |       68
1708.33/1708.75	c 1708s |      20 |   831141 |   771627 |    18628    102 |       22 |       68
1710.43/1710.89	c 1710s |      20 |   832037 |   772427 |    18628    102 |       22 |       68
1712.72/1713.11	c 1712s |      20 |   832919 |   773227 |    18628    102 |       22 |       68
1714.82/1715.20	c 1715s |      20 |   833831 |   774027 |    18628    102 |       22 |       68
1717.02/1717.44	c 1717s |      20 |   834696 |   774827 |    18628    102 |       22 |       68
1719.12/1719.54	c 1719s |      20 |   835578 |   775627 |    18628    102 |       22 |       68
1722.03/1722.45	c 1722s |      20 |   836037 |   776027 |    18628    102 |       22 |       68
1724.32/1724.70	c 1724s |      20 |   836955 |   776827 |    18628    103 |       22 |       68
1726.42/1726.88	c 1726s |      20 |   837958 |   777727 |    18628    103 |       22 |       68
1728.52/1728.96	c 1728s |      20 |   838862 |   778527 |    18628    103 |       22 |       68
1730.52/1730.96	c 1730s |      20 |   839765 |   779327 |    18628    103 |       22 |       68
1732.62/1733.05	c 1732s |      20 |   840652 |   780127 |    18628    103 |       22 |       68
1734.72/1735.14	c 1734s |      20 |   841545 |   780927 |    18628    103 |       22 |       68
1736.72/1737.16	c 1736s |      20 |   842443 |   781727 |    18628    103 |       22 |       68
1738.83/1739.25	c 1739s |      20 |   843380 |   782527 |    18628    103 |       22 |       68
1740.82/1741.27	c 1741s |      20 |   844294 |   783327 |    18628    103 |       22 |       68
1742.92/1743.30	c 1743s |      20 |   845215 |   784127 |    18628    103 |       22 |       68
1744.92/1745.32	c 1745s |      20 |   846151 |   784927 |    18628    103 |       22 |       68
1747.12/1747.52	c 1747s |      20 |   847149 |   785827 |    18628    103 |       22 |       68
1749.22/1749.61	c 1749s |      20 |   848048 |   786627 |    18628    104 |       22 |       68
1751.32/1751.70	c 1751s |      20 |   848970 |   787427 |    18628    104 |       22 |       68
1753.32/1753.75	c 1753s |      20 |   849980 |   788327 |    18628    104 |       22 |       68
1755.42/1755.88	c 1755s |      20 |   850991 |   789227 |    18628    104 |       22 |       68
1757.52/1757.91	c 1757s |      20 |   851988 |   790127 |    18628    104 |       22 |       68
1759.52/1759.99	c 1759s |      20 |   852794 |   790827 |    18628    104 |       22 |       68
1761.72/1762.15	c 1761s |      20 |   853817 |   791727 |    18628    104 |       22 |       68
1763.82/1764.22	c 1764s |      20 |   854829 |   792627 |    18628    104 |       22 |       68
1766.02/1766.47	c 1766s |      20 |   855882 |   793527 |    18628    104 |       22 |       68
1768.22/1768.69	c 1768s |      20 |   856928 |   794427 |    18628    104 |       22 |       68
1770.41/1770.84	c 1770s |      20 |   857992 |   795327 |    18628    104 |       22 |       68
1772.51/1772.95	c 1772s |      20 |   859051 |   796227 |    18628    104 |       22 |       68
1774.71/1775.13	c 1774s |      20 |   859940 |   797027 |    18628    105 |       22 |       68
1776.71/1777.15	c 1776s |      20 |   860851 |   797827 |    18628    105 |       22 |       68
1778.81/1779.22	c 1779s |      20 |   861866 |   798727 |    18628    105 |       22 |       68
1780.91/1781.31	c 1781s |      20 |   862941 |   799627 |    18628    105 |       22 |       68
1783.01/1783.40	c 1783s |      20 |   863938 |   800527 |    18628    105 |       22 |       68
1785.02/1785.41	c 1785s |      20 |   864949 |   801427 |    18628    105 |       22 |       68
1787.12/1787.51	c 1787s |      20 |   865934 |   802327 |    18628    105 |       22 |       68
1789.32/1789.71	c 1789s |      20 |   866883 |   803227 |    18628    105 |       22 |       68
1791.31/1791.79	c 1791s |      20 |   867813 |   804027 |    18628    105 |       22 |       68
1793.41/1793.84	c 1793s |      20 |   868754 |   804827 |    18628    105 |       22 |       68
1795.61/1796.03	c 1795s |      20 |   869749 |   805727 |    18628    105 |       22 |       68
1797.61/1798.05	c 1797s |      20 |   870635 |   806527 |    18628    105 |       22 |       68
1799.81/1800.27	c 1800s |      20 |   871295 |   807127 |    18628    106 |       22 |       68

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 24399
/proc/meminfo: memFree=23453236/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 2521 0 0 0 0 0 0 0 20 0 4 0 22838978 694611968 3393 33554432000 4194304 16246674 140734479337280 140734479336704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 170351 3402 441 2943 0 167245 0
[pid=24399/tid=24400] ppid=24396 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 713486336 3466 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 718729216 3483 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22838979 722923520 3499 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 24399
/proc/meminfo: memFree=23453236/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1300036 CPUtime=0.09 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 25821 0 0 0 6 3 0 0 20 0 4 0 22838978 1331236864 26632 33554432000 4194304 16246674 140734479337280 140734479336592 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 325009 26639 828 2943 0 321903 0
[pid=24399/tid=24400] ppid=24396 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1331236864 26644 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1331236864 26648 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1331236864 26653 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200529 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 24399
/proc/meminfo: memFree=23453236/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 32601 0 0 0 14 5 0 0 20 0 4 0 22838978 1339625472 33411 33554432000 4194304 16246674 140734479337280 140734479336592 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 33411 897 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 33411 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 33411 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 33411 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300492 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 24399
/proc/meminfo: memFree=23453236/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=0.29 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 32601 0 0 0 24 5 0 0 20 0 4 0 22838978 1339625472 33411 33554432000 4194304 16246674 140734479337280 140734479336592 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 33411 897 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 33411 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 33411 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 33411 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1308228

[startup+0.700408 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 24399
/proc/meminfo: memFree=23453236/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 61299 0 0 0 61 8 0 0 20 0 4 0 22838978 1339625472 62109 33554432000 4194304 16246674 140734479337280 140734479336592 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 62116 897 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 62120 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 62124 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 62128 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50041 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 24403
/proc/meminfo: memFree=23029592/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 151571 0 0 0 129 20 0 0 20 0 4 0 22838978 1339625472 152381 33554432000 4194304 16246674 140734479337280 140734479319168 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 152386 897 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 152389 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 152393 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 152394 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10039 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 24403
/proc/meminfo: memFree=22703588/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 202449 0 0 0 282 27 0 0 20 0 4 0 22838978 1339625472 203260 33554432000 4194304 16246674 140734479337280 140734479319168 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 203267 897 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 203271 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 203275 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 203279 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 24403
/proc/meminfo: memFree=22376972/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 268251 0 0 0 593 36 0 0 20 0 4 0 22838978 1339625472 269061 33554432000 4194304 16246674 140734479337280 140734479319168 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 269061 897 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269061 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269061 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269061 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.71 3/183 24403
/proc/meminfo: memFree=22376896/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 268257 0 0 0 1233 36 0 0 20 0 4 0 22838978 1339625472 269067 33554432000 4194304 16246674 140734479337280 140734479319168 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 269067 903 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.00 1.99 1.71 3/183 24403
/proc/meminfo: memFree=22377252/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 268257 0 0 0 2513 36 0 0 20 0 4 0 22838978 1339625472 269067 33554432000 4194304 16246674 140734479337280 140734479319168 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 269067 903 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.08 2.00 1.72 3/183 24452
/proc/meminfo: memFree=30118984/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=51.09 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 268258 0 0 0 5073 36 0 0 20 0 4 0 22838978 1339625472 269067 33554432000 4194304 16246674 140734479337280 140734479319168 5662859 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 269067 903 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269067 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.08 2.02 1.74 3/184 24457
/proc/meminfo: memFree=30105852/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1308228 CPUtime=102.27 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 268278 0 0 0 10191 36 0 0 20 0 4 0 22838978 1339625472 269068 33554432000 4194304 16246674 140734479337280 140734479319168 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 327057 269068 904 2943 0 323951 0
[pid=24399/tid=24400] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269068 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269068 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1339625472 269068 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1377374208 278284 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1345092

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 24509
/proc/meminfo: memFree=29626460/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1352260 CPUtime=1301.99 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 279460 0 0 0 130151 48 0 0 20 0 4 0 22838978 1384714240 280076 33554432000 4194304 16246674 140734479337280 140734479319168 5712550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 338065 280076 904 2943 0 334959 0
[pid=24399/tid=24400] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1352260

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 24511
/proc/meminfo: memFree=29625972/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1352260 CPUtime=1361.98 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 279460 0 0 0 136150 48 0 0 20 0 4 0 22838978 1384714240 280076 33554432000 4194304 16246674 140734479337280 140734479319168 13780640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 338065 280076 904 2943 0 334959 0
[pid=24399/tid=24400] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 24512
/proc/meminfo: memFree=29626068/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1352260 CPUtime=1421.97 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 279460 0 0 0 142149 48 0 0 20 0 4 0 22838978 1384714240 280076 33554432000 4194304 16246674 140734479337280 140734479319168 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 338065 280076 904 2943 0 334959 0
[pid=24399/tid=24400] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280076 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 24513
/proc/meminfo: memFree=29626368/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1352260 CPUtime=1481.96 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 279461 0 0 0 148146 50 0 0 20 0 4 0 22838978 1384714240 280079 33554432000 4194304 16246674 140734479337280 140734479319168 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 338065 280079 904 2943 0 334959 0
[pid=24399/tid=24400] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280079 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280079 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280079 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1352260

[startup+1542.31 s]
/proc/loadavg: 2.05 2.01 1.92 3/183 24514
/proc/meminfo: memFree=29626256/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1352260 CPUtime=1541.96 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 279461 0 0 0 154146 50 0 0 20 0 4 0 22838978 1384714240 280079 33554432000 4194304 16246674 140734479337280 140734479319168 5827784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 338065 280079 904 2943 0 334959 0
[pid=24399/tid=24400] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280079 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280079 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1384714240 280079 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/183 24515
/proc/meminfo: memFree=29601168/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1377860 CPUtime=1601.94 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 285861 0 0 0 160144 50 0 0 20 0 4 0 22838978 1410928640 286479 33554432000 4194304 16246674 140734479337280 140734479319168 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 344465 286479 904 2943 0 341359 0
[pid=24399/tid=24400] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1377860

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/183 24517
/proc/meminfo: memFree=29601160/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1377860 CPUtime=1661.93 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 285861 0 0 0 166142 51 0 0 20 0 4 0 22838978 1410928640 286479 33554432000 4194304 16246674 140734479337280 140734479319168 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 344465 286479 904 2943 0 341359 0
[pid=24399/tid=24400] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1377860

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 24518
/proc/meminfo: memFree=29601156/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1377860 CPUtime=1721.93 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 285861 0 0 0 172141 52 0 0 20 0 4 0 22838978 1410928640 286479 33554432000 4194304 16246674 140734479337280 140734479336456 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 344465 286479 904 2943 0 341359 0
[pid=24399/tid=24400] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1377860

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/183 24519
/proc/meminfo: memFree=29600904/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1377860 CPUtime=1781.91 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 285861 0 0 0 178139 52 0 0 20 0 4 0 22838978 1410928640 286479 33554432000 4194304 16246674 140734479337280 140734479319168 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 344465 286479 904 2943 0 341359 0
[pid=24399/tid=24400] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1377860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.93 3/183 24519
/proc/meminfo: memFree=29600780/32872528 swapFree=7780/7780
[pid=24399] ppid=24396 vsize=1377860 CPUtime=1800.01 cores=1,3,5,7
/proc/24399/stat : 24399 (toysat) R 24396 24399 23276 0 -1 4202496 285861 0 0 0 179949 52 0 0 20 0 4 0 22838978 1410928640 286479 33554432000 4194304 16246674 140734479337280 140734479319168 13774456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24399/statm: 344465 286479 904 2943 0 341359 0
[pid=24399/tid=24400] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24400/stat : 24400 (toysat) S 24396 24399 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164533824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24399/tid=24401] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24401/stat : 24401 (toysat) S 24396 24399 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164445744368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24399/tid=24402] ppid=24396 vsize=1377860 CPUtime=0 cores=1,3,5,7
/proc/24399/task/24402/stat : 24402 (toysat) S 24396 24399 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22838979 1410928640 286479 33554432000 4194304 16246674 140734479337280 140164435270832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1377860

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 24399 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.41
CPU time (s): 1800.02
CPU user time (s): 1799.5
CPU system time (s): 0.52592
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 1377860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.52592
maximum resident set size= 1145916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285861
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= 210
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69829 second user time and 6.80197 second system time

The end

Begin job on node151 at 2016-06-18 01:59:02
IDJOB=4099773
IDBENCH=1517
IDSOLVER=2542
FILE ID=node151/4099773-1466207941
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 0c3c379676a8ddac6d8ad36181bfd2e9
RANDOM SEED=65300745

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        23453880 kB
Buffers:           41380 kB
Cached:           268312 kB
SwapCached:         2016 kB
Active:          8525664 kB
Inactive:         164420 kB
Active(anon):    8381080 kB
Inactive(anon):     1744 kB
Active(file):     144584 kB
Inactive(file):   162676 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       8387404 kB
Mapped:            11832 kB
Shmem:                 0 kB
Slab:             575164 kB
SReclaimable:      18640 kB
SUnreclaim:       556524 kB
KernelStack:        1456 kB
PageTables:        20568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8529860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1744896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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