0.00/0.00	c 2016-06-07T09:07:50+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-4078949-1465283269.opb"]
0.00/0.01	c use --random-gen="3168782195 2034081401 3493116418 752285163 499069494 3972372321 1500165855 2815155760 734551281 2283453528 2283281115 52370043 3895565516 1613979286 1312806333 1711552672 3985799452 2739638387 2211091840 3841544266 2624171628 331757360 3699788885 1516664822 3687541600 3843313683 558165213 4270710928 1188286171 2882068595 1582768664 3161990203 337797408 3676852161 939308551 1256160339 1294833712 452296304 732562520 191856515 2115407378 3414215401 2222637201 3246613359 301344675 1663962201 4137773476 3602918438 1377828304 3929256052 1697836099 819025647 4113988850 2569782446 3604582352 1975107116 1923615975 1921038211 1666089842 3618138303 3263891275 3326768445 3933688917 3583472587 3314677339 3784065231 2932105218 633610675 3025243933 3787297797 3900752879 2650123174 3037403045 3269523393 390873640 134750593 354579570 3767620934 430282209 1475648790 213045210 1385076396 3724033776 286026886 2898932635 3814937896 3811990229 906168157 1549936314 4117137743 1599290323 3930775443 3987777766 3863697376 2595533513 944271023 1297623851 4098819060 408927848 4245041833 3339013465 2665349431 3746515836 623646532 3071053187 676365388 659701097 489540527 2656330846 4040283996 958707175 895515434 2627020470 1458436731 3991760295 3024396478 2991040468 4088543977 2616032636 2611983533 2032943567 454846441 1610869019 3196005505 2256781673 3954306503 3999790456 1604492916 4286658198 4214018624 229998374 914280577 501916500 3225954710 679794283 2995306424 2852017955 210506675 2454301284 3778938895 3926511539 2704618957 707472097 3891125009 2175406775 2897522569 3726569029 3918824172 4231393723 546580997 2719109128 3524209122 3994260588 819851986 1707824785 3426237746 1429224267 3963030789 852972652 2296400961 3652394997 3728727288 1975597793 3799527277 3089567390 969865164 308863056 2995630778 2767657876 2102627101 2890158372 675258158 457361054 4009525192 3253236791 4111308557 503804104 3084605322 405657694 305871243 2258579669 4152242062 3924073454 2814263814 254674991 248310969 3920122628 411890800 2200865363 787231401 3179047412 3700221454 2857729829 1319910984 268503899 739019296 4175944558 3035177606 1114186338 932058951 3781764508 195738397 2935426856 881509363 2475136942 1551283543 3754907594 724859175 3751228972 1530996179 3020570841 1949152687 1243424699 2980785666 3907742633 3288372734 1036669017 2486877272 3033369677 3989106249 1305251565 2374285095 3139198795 4294715387 3381924291 2782266275 3316711415 2632530488 3388132849 3610998897 4034118661 91638626 2315518139 2894060677 249907259 170937348 2537646570 3270354587 1155769553 1155635975 1385494819 2661143942 2095331055 2215326314 1074113306 277928290 4198229718 3681900189 2434710625 2272511379 2069169743 640069068 1309389157 3476763826 4105162298 4069819886 255 362436" option to reproduce the execution
0.09/0.12	c #vars 6664
0.09/0.12	c #constraints 6862
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4508      0 |      362 |        0
0.39/0.47	c  0.2s |       1 |     6341 |      100 |     4508      0 |      363 |      304
0.69/0.73	c  0.5s |       2 |     9409 |      250 |     4959      0 |      363 |      304
1.09/1.13	c  0.9s |       3 |    16418 |      475 |     5455      0 |      363 |      304
1.48/1.59	c  1.3s |       4 |    19307 |      813 |     6001      0 |      363 |      304
2.08/2.10	c  1.8s |       5 |    27451 |     1320 |     6602      0 |      364 |      305
2.99/3.03	c  2.8s |       6 |    42737 |     2081 |     7990      0 |      368 |      309
4.19/4.29	c  4.0s |       7 |    50993 |     3223 |     8789      0 |      368 |      309
6.19/6.29	c  6.0s |       7 |    71603 |     4723 |     8789      0 |      369 |      310
6.49/6.59	c  6.3s |       8 |    72243 |     4936 |     9668      0 |      369 |      310
8.59/8.65	c  8.4s |       8 |    86177 |     6436 |     9668      0 |      370 |      311
10.09/10.16	c  9.9s |       9 |   100843 |     7506 |    10635      0 |      373 |      314
12.28/12.34	c 12.1s |       9 |   128520 |     8806 |    10635      0 |      374 |      315
14.39/14.45	c 14.2s |       9 |   144319 |     9906 |    10635      0 |      375 |      316
16.49/16.59	c 16.3s |       9 |   170483 |    11106 |    10635      0 |      376 |      317
16.98/17.01	c 16.8s |      10 |   174428 |    11361 |    11699      0 |      376 |      317
19.08/19.14	c 18.9s |      10 |   181093 |    12261 |    11699      0 |      376 |      317
21.08/21.15	c 20.9s |      10 |   188459 |    13361 |    11699      1 |      376 |      317
23.19/23.25	c 23.0s |      10 |   207397 |    14661 |    11699      1 |      377 |      318
25.29/25.35	c 25.1s |      10 |   226340 |    16161 |    11699      1 |      377 |      318
26.68/26.76	c 26.5s |      11 |   243427 |    17144 |    12869      1 |      377 |      318
28.78/28.81	c 28.6s |      11 |   261642 |    18144 |    12869      1 |      379 |      320
30.88/30.92	c 30.7s |      11 |   280960 |    19244 |    12869      1 |      380 |      321
33.18/33.28	c 33.0s |      11 |   307629 |    20544 |    12869      2 |      382 |      323
35.28/35.39	c 35.1s |      11 |   331702 |    21944 |    12869      2 |      383 |      324
37.67/37.73	c 37.5s |      11 |   338774 |    23144 |    12869      2 |      383 |      324
39.77/39.88	c 39.6s |      11 |   343021 |    24044 |    12869      2 |      383 |      324
41.97/42.05	c 41.8s |      11 |   344634 |    24644 |    12869      2 |      383 |      324
44.17/44.26	c 44.0s |      11 |   346703 |    25144 |    12869      2 |      383 |      324
46.18/46.27	c 46.0s |      11 |   348372 |    25544 |    12869      2 |      383 |      324
48.17/48.21	c 48.0s |      12 |   348867 |    25819 |    14156      2 |      383 |      324
50.17/50.26	c 50.0s |      12 |   371792 |    27119 |    14156      2 |      383 |      324
52.27/52.37	c 52.1s |      12 |   389934 |    28119 |    14156      2 |      383 |      324
54.37/54.42	c 54.2s |      12 |   408127 |    29519 |    14156      3 |      383 |      324
56.48/56.50	c 56.2s |      12 |   421324 |    30919 |    14156      3 |      383 |      324
58.58/58.63	c 58.4s |      12 |   438122 |    32219 |    14156      3 |      383 |      324
60.58/60.66	c 60.4s |      12 |   455426 |    33519 |    14156      3 |      384 |      325
62.68/62.74	c 62.5s |      12 |   479260 |    34719 |    14156      3 |      385 |      326
64.78/64.83	c 64.6s |      12 |   499214 |    36019 |    14156      3 |      385 |      326
66.88/66.92	c 66.7s |      12 |   514255 |    37119 |    14156      4 |      386 |      327
68.98/69.03	c 68.8s |      12 |   532652 |    38419 |    14156      4 |      387 |      328
69.58/69.64	c 69.4s |      13 |   539467 |    38832 |    15572      4 |      387 |      328
71.68/71.71	c 71.5s |      13 |   559612 |    40032 |    15572      4 |      388 |      329
73.78/73.86	c 73.6s |      13 |   576261 |    41332 |    15572      4 |      388 |      329
75.98/76.02	c 75.8s |      13 |   597480 |    42832 |    15572      4 |      388 |      329
78.08/78.17	c 77.9s |      13 |   609114 |    44032 |    15572      4 |      388 |      329
80.57/80.64	c 80.4s |      13 |   611632 |    44732 |    15572      4 |      388 |      329
82.67/82.71	c 82.5s |      13 |   622453 |    45832 |    15572      4 |      388 |      329
84.78/84.81	c 84.6s |      13 |   641014 |    47132 |    15572      5 |      388 |      329
86.77/86.85	c 86.6s |      13 |   661624 |    48332 |    15572      5 |      388 |      329
88.77/88.87	c 88.6s |      13 |   677047 |    49632 |    15572      5 |      388 |      329
90.87/90.95	c 90.7s |      13 |   699074 |    50832 |    15572      5 |      389 |      330
93.07/93.11	c 92.9s |      13 |   717244 |    52032 |    15572      5 |      390 |      331
95.17/95.24	c 95.0s |      13 |   739568 |    53332 |    15572      5 |      390 |      331
97.17/97.25	c 97.0s |      13 |   745190 |    54532 |    15572      6 |      390 |      331
99.27/99.37	c 99.1s |      13 |   754070 |    55732 |    15572      6 |      390 |      331
101.37/101.40	c  101s |      13 |   761088 |    56632 |    15572      6 |      390 |      331
103.37/103.46	c  103s |      13 |   775030 |    57832 |    15572      6 |      390 |      331
104.27/104.36	c  104s |      14 |   780216 |    58352 |    17130      6 |      390 |      331
106.37/106.47	c  106s |      14 |   793261 |    59452 |    17130      6 |      390 |      331
108.46/108.51	c  108s |      14 |   811277 |    60752 |    17130      6 |      390 |      331
110.46/110.58	c  110s |      14 |   836256 |    61952 |    17130      6 |      391 |      332
112.56/112.61	c  112s |      14 |   850610 |    63152 |    17130      6 |      391 |      332
114.76/114.81	c  114s |      14 |   865876 |    64252 |    17130      6 |      391 |      332
116.86/116.99	c  116s |      14 |   871438 |    65152 |    17130      7 |      391 |      332
119.46/119.51	c  119s |      14 |   872938 |    65652 |    17130      7 |      391 |      332
121.56/121.66	c  121s |      14 |   873898 |    66052 |    17130      7 |      391 |      332
124.06/124.16	c  123s |      14 |   875016 |    66452 |    17130      7 |      391 |      332
126.37/126.44	c  126s |      14 |   882671 |    67252 |    17130      7 |      391 |      332
128.57/128.63	c  128s |      14 |   906500 |    68552 |    17130      7 |      391 |      332
130.57/130.68	c  130s |      14 |   918119 |    69452 |    17130      7 |      391 |      332
133.07/133.15	c  132s |      14 |   920059 |    70052 |    17130      7 |      391 |      332
135.17/135.21	c  134s |      14 |   933290 |    71152 |    17130      7 |      391 |      332
137.27/137.36	c  137s |      14 |   935133 |    71452 |    17130      7 |      391 |      332
139.46/139.54	c  139s |      14 |   942906 |    72052 |    17130      7 |      391 |      332
141.46/141.59	c  141s |      14 |   956674 |    73052 |    17130      7 |      391 |      332
143.56/143.68	c  143s |      14 |   969739 |    74152 |    17130      7 |      391 |      332
145.66/145.78	c  145s |      14 |   972101 |    74852 |    17130      7 |      391 |      332
147.76/147.84	c  147s |      14 |   981723 |    75652 |    17130      8 |      391 |      332
149.96/150.03	c  149s |      14 |   999080 |    76752 |    17130      8 |      391 |      332
151.96/152.05	c  151s |      14 |  1004325 |    77752 |    17130      8 |      391 |      332
154.16/154.22	c  153s |      14 |  1008521 |    78652 |    17130      8 |      391 |      332
156.17/156.29	c  156s |      14 |  1023403 |    79952 |    17130      8 |      391 |      332
158.46/158.59	c  158s |      14 |  1034002 |    81252 |    17130      8 |      391 |      332
160.76/160.86	c  160s |      14 |  1039354 |    82152 |    17130      8 |      391 |      332
162.76/162.89	c  162s |      14 |  1042907 |    82952 |    17130      8 |      391 |      332
164.86/164.93	c  164s |      14 |  1050421 |    83752 |    17130      9 |      391 |      332
166.96/167.00	c  166s |      14 |  1062303 |    84652 |    17130      9 |      391 |      332
168.96/169.06	c  168s |      14 |  1069293 |    85452 |    17130      9 |      391 |      332
171.16/171.22	c  170s |      14 |  1080124 |    86452 |    17130      9 |      391 |      332
173.55/173.66	c  173s |      14 |  1084330 |    87152 |    18843      9 |      391 |      332
176.85/176.93	c  176s |      14 |  1085531 |    87552 |    18843      9 |      391 |      332
177.16/177.24	c  176s |      15 |  1086679 |    87632 |    18843      9 |      391 |      332
179.15/179.29	c  179s |      15 |  1107330 |    89132 |    18843      9 |      391 |      332
181.25/181.35	c  181s |      15 |  1124545 |    90632 |    18843      9 |      391 |      332
183.45/183.54	c  183s |      15 |  1135156 |    91732 |    18843      9 |      391 |      332
185.55/185.61	c  185s |      15 |  1151599 |    92932 |    18843      9 |      392 |      333
187.75/187.88	c  187s |      15 |  1164780 |    93932 |    18843     10 |      392 |      333
189.85/189.92	c  189s |      15 |  1183270 |    95532 |    18843     10 |      392 |      333
191.85/191.92	c  191s |      15 |  1185973 |    96332 |    18843     10 |      392 |      333
193.95/194.04	c  193s |      15 |  1188506 |    97132 |    18843     10 |      392 |      333
196.36/196.43	c  196s |      15 |  1190130 |    97732 |    18843     10 |      392 |      333
198.35/198.49	c  198s |      15 |  1204076 |    98932 |    18843     10 |      392 |      333
200.55/200.68	c  200s |      15 |  1227954 |   100432 |    18843     10 |      392 |      333
202.65/202.75	c  202s |      15 |  1247854 |   101832 |    18843     10 |      393 |      334
204.75/204.80	c  204s |      15 |  1259640 |   103232 |    18843     10 |      393 |      334
206.95/207.03	c  206s |      15 |  1269887 |   104232 |    18843     11 |      394 |      335
208.96/209.06	c  208s |      15 |  1295360 |   105632 |    18843     11 |      395 |      336
211.05/211.10	c  210s |      15 |  1315349 |   107032 |    18843     11 |      396 |      337
213.05/213.17	c  212s |      15 |  1340036 |   108432 |    18843     11 |      396 |      337
215.05/215.18	c  214s |      15 |  1354228 |   109532 |    18843     11 |      396 |      337
217.45/217.58	c  217s |      15 |  1357675 |   110432 |    18843     11 |      396 |      337
219.65/219.78	c  219s |      15 |  1358822 |   110932 |    18843     11 |      396 |      337
221.85/222.00	c  221s |      15 |  1361333 |   111632 |    18843     11 |      396 |      337
224.25/224.32	c  224s |      15 |  1363618 |   112332 |    18843     11 |      396 |      337
226.65/226.74	c  226s |      15 |  1365752 |   113032 |    18843     11 |      396 |      337
228.94/229.03	c  228s |      15 |  1368024 |   113632 |    18843     11 |      396 |      337
231.24/231.30	c  231s |      15 |  1369562 |   114132 |    18843     11 |      396 |      337
233.54/233.64	c  233s |      15 |  1370158 |   114432 |    18843     11 |      396 |      337
235.64/235.75	c  235s |      15 |  1371156 |   114732 |    18843     11 |      396 |      337
238.25/238.31	c  238s |      15 |  1372085 |   115032 |    18843     11 |      396 |      337
241.05/241.18	c  240s |      15 |  1373397 |   115432 |    18843     11 |      396 |      337
243.75/243.85	c  243s |      15 |  1373767 |   115632 |    18843     11 |      396 |      337
245.94/246.04	c  245s |      15 |  1374378 |   115832 |    18843     11 |      396 |      337
248.34/248.48	c  248s |      15 |  1374965 |   116032 |    18843     11 |      396 |      337
251.34/251.45	c  251s |      15 |  1375808 |   116332 |    18843     11 |      396 |      337
254.34/254.49	c  254s |      15 |  1376265 |   116532 |    18843     11 |      396 |      337
257.35/257.41	c  257s |      15 |  1376888 |   116832 |    18843     11 |      396 |      337
260.34/260.44	c  260s |      15 |  1377265 |   117032 |    18843     11 |      396 |      337
263.74/263.84	c  263s |      15 |  1378115 |   117232 |    18843     11 |      396 |      337
267.04/267.12	c  266s |      15 |  1378500 |   117432 |    18843     11 |      396 |      337
271.34/271.48	c  271s |      15 |  1378864 |   117632 |    18843     11 |      396 |      337
274.54/274.61	c  274s |      15 |  1379242 |   117832 |    18843     12 |      396 |      337
277.14/277.27	c  277s |      15 |  1379693 |   118032 |    18843     12 |      396 |      337
279.44/279.52	c  279s |      15 |  1380019 |   118232 |    18843     12 |      396 |      337
281.54/281.62	c  281s |      15 |  1380442 |   118432 |    18843     12 |      396 |      337
285.13/285.23	c  284s |      15 |  1381706 |   118732 |    18843     12 |      396 |      337
287.53/287.63	c  287s |      15 |  1382595 |   119032 |    18843     12 |      396 |      337
291.03/291.18	c  290s |      15 |  1383054 |   119232 |    18843     12 |      396 |      337
293.43/293.51	c  293s |      15 |  1384255 |   119532 |    18843     12 |      396 |      337
295.52/295.66	c  295s |      15 |  1385761 |   120032 |    18843     12 |      396 |      337
297.73/297.85	c  297s |      15 |  1387195 |   120632 |    18843     12 |      396 |      337
299.83/299.90	c  299s |      15 |  1411720 |   121932 |    18843     12 |      396 |      337
301.93/302.04	c  301s |      15 |  1415693 |   122832 |    18843     12 |      396 |      337
304.03/304.15	c  303s |      15 |  1441090 |   124332 |    18843     12 |      396 |      337
306.03/306.17	c  305s |      15 |  1467224 |   125532 |    18843     12 |      396 |      337
308.13/308.22	c  307s |      15 |  1482995 |   126632 |    18843     13 |      396 |      337
310.23/310.31	c  310s |      15 |  1503616 |   127932 |    18843     13 |      397 |      338
312.23/312.38	c  312s |      15 |  1514054 |   128932 |    18843     13 |      398 |      339
314.53/314.64	c  314s |      15 |  1537657 |   130332 |    18843     13 |      399 |      340
316.62/316.70	c  316s |      15 |  1546355 |   131132 |    20728     13 |      399 |      340
317.22/317.32	c  317s |      16 |  1551783 |   131552 |    20728     13 |      399 |      340
319.32/319.47	c  319s |      16 |  1569819 |   132952 |    20728     13 |      399 |      340
321.42/321.56	c  321s |      16 |  1584818 |   134152 |    20728     13 |      399 |      340
323.43/323.57	c  323s |      16 |  1600159 |   135252 |    20728     13 |      399 |      340
325.52/325.69	c  325s |      16 |  1611436 |   136452 |    20728     13 |      399 |      340
327.72/327.84	c  327s |      16 |  1622439 |   137452 |    20728     13 |      399 |      340
329.71/329.84	c  329s |      16 |  1634132 |   138552 |    20728     13 |      399 |      340
331.91/332.05	c  331s |      16 |  1645566 |   139552 |    20728     14 |      399 |      340
334.01/334.10	c  333s |      16 |  1653484 |   140652 |    20728     14 |      399 |      340
336.01/336.19	c  335s |      16 |  1659693 |   141552 |    20728     14 |      399 |      340
338.21/338.36	c  338s |      16 |  1664392 |   142352 |    20728     14 |      399 |      340
340.51/340.62	c  340s |      16 |  1672469 |   143352 |    20728     14 |      399 |      340
342.70/342.80	c  342s |      16 |  1677700 |   144252 |    20728     14 |      399 |      340
344.80/344.93	c  344s |      16 |  1683326 |   145152 |    20728     14 |      399 |      340
346.90/347.00	c  346s |      16 |  1687165 |   145852 |    20728     14 |      399 |      340
349.00/349.19	c  348s |      16 |  1691442 |   146852 |    20728     14 |      399 |      340
351.10/351.23	c  350s |      16 |  1694595 |   147652 |    20728     14 |      399 |      340
353.40/353.53	c  353s |      16 |  1698865 |   148552 |    20728     14 |      399 |      340
355.50/355.64	c  355s |      16 |  1701081 |   149152 |    20728     14 |      399 |      340
357.60/357.70	c  357s |      16 |  1702097 |   149552 |    20728     14 |      399 |      340
359.61/359.76	c  359s |      16 |  1706144 |   150252 |    20728     15 |      399 |      340
361.81/361.91	c  361s |      16 |  1718882 |   151752 |    20728     15 |      399 |      340
363.90/364.05	c  363s |      16 |  1724751 |   152852 |    20728     15 |      399 |      340
366.10/366.24	c  365s |      16 |  1733587 |   154052 |    20728     15 |      399 |      340
368.20/368.31	c  368s |      16 |  1739458 |   155052 |    20728     15 |      399 |      340
370.20/370.33	c  370s |      16 |  1743435 |   156052 |    20728     15 |      399 |      340
372.40/372.50	c  372s |      16 |  1749110 |   157052 |    20728     15 |      399 |      340
374.50/374.66	c  374s |      16 |  1757311 |   158052 |    20728     15 |      399 |      340
376.79/376.93	c  376s |      16 |  1762574 |   158952 |    20728     15 |      399 |      340
378.99/379.11	c  378s |      16 |  1766979 |   159652 |    20728     15 |      399 |      340
381.09/381.29	c  381s |      16 |  1772640 |   160452 |    20728     15 |      399 |      340
383.39/383.58	c  383s |      16 |  1780241 |   161352 |    20728     15 |      399 |      340
385.59/385.70	c  385s |      16 |  1785777 |   161952 |    20728     16 |      399 |      340
387.59/387.80	c  387s |      16 |  1789482 |   162852 |    20728     16 |      399 |      340
389.69/389.82	c  389s |      16 |  1795972 |   163752 |    20728     16 |      399 |      340
391.79/391.99	c  391s |      16 |  1798220 |   164552 |    20728     16 |      399 |      340
394.20/394.30	c  394s |      16 |  1799088 |   164952 |    20728     16 |      399 |      340
396.20/396.35	c  396s |      16 |  1804697 |   165852 |    20728     16 |      399 |      340
398.29/398.44	c  398s |      16 |  1808416 |   166552 |    20728     16 |      399 |      340
400.30/400.47	c  400s |      16 |  1810129 |   167052 |    20728     16 |      399 |      340
402.60/402.72	c  402s |      16 |  1812726 |   167552 |    20728     16 |      399 |      340
404.59/404.77	c  404s |      16 |  1822794 |   168652 |    20728     16 |      399 |      340
406.69/406.83	c  406s |      16 |  1828061 |   169552 |    20728     16 |      399 |      340
408.79/408.98	c  408s |      16 |  1833549 |   170452 |    20728     16 |      399 |      340
410.79/410.99	c  410s |      16 |  1840104 |   171352 |    20728     16 |      399 |      340
413.09/413.23	c  412s |      16 |  1846783 |   172252 |    20728     16 |      399 |      340
415.39/415.56	c  415s |      16 |  1848843 |   172852 |    20728     16 |      399 |      340
417.69/417.87	c  417s |      16 |  1850069 |   173352 |    20728     16 |      399 |      340
419.79/419.97	c  419s |      16 |  1852399 |   173852 |    20728     17 |      399 |      340
421.89/422.01	c  421s |      16 |  1860205 |   175052 |    20728     17 |      399 |      340
424.19/424.39	c  424s |      16 |  1867156 |   176052 |    20728     17 |      399 |      340
426.29/426.47	c  426s |      16 |  1875614 |   177152 |    20728     17 |      399 |      340
428.48/428.62	c  428s |      16 |  1885984 |   178352 |    20728     17 |      399 |      340
430.58/430.70	c  430s |      16 |  1890619 |   179152 |    20728     17 |      399 |      340
432.58/432.73	c  432s |      16 |  1896169 |   180052 |    20728     17 |      399 |      340
434.58/434.76	c  434s |      16 |  1903175 |   181052 |    20728     17 |      399 |      340
436.69/436.89	c  436s |      16 |  1905433 |   181752 |    20728     17 |      399 |      340
438.79/438.96	c  438s |      16 |  1907750 |   182452 |    20728     17 |      399 |      340
440.99/441.11	c  440s |      16 |  1912948 |   183152 |    20728     17 |      399 |      340
443.19/443.37	c  443s |      16 |  1916308 |   183652 |    20728     17 |      399 |      340
445.39/445.59	c  445s |      16 |  1918836 |   184152 |    20728     17 |      399 |      340
447.48/447.60	c  447s |      16 |  1919733 |   184452 |    20728     17 |      399 |      340
449.48/449.66	c  449s |      16 |  1925702 |   185252 |    20728     18 |      399 |      340
451.58/451.74	c  451s |      16 |  1937552 |   186552 |    20728     18 |      399 |      340
453.58/453.77	c  453s |      16 |  1939944 |   187452 |    20728     18 |      399 |      340
455.88/456.02	c  455s |      16 |  1943723 |   188452 |    20728     18 |      399 |      340
458.08/458.22	c  457s |      16 |  1945019 |   189052 |    20728     18 |      399 |      340
460.68/460.82	c  460s |      16 |  1946058 |   189552 |    20728     18 |      399 |      340
462.68/462.88	c  462s |      16 |  1946897 |   189952 |    20728     18 |      399 |      340
464.78/464.94	c  464s |      16 |  1949221 |   190352 |    20728     18 |      399 |      340
466.77/466.99	c  466s |      16 |  1951487 |   191052 |    20728     18 |      399 |      340
468.97/469.14	c  468s |      16 |  1954550 |   191752 |    20728     18 |      399 |      340
471.17/471.35	c  471s |      16 |  1963778 |   192752 |    20728     18 |      399 |      340
473.47/473.64	c  473s |      16 |  1969368 |   193652 |    20728     18 |      399 |      340
475.67/475.88	c  475s |      16 |  1971624 |   194152 |    20728     18 |      399 |      340
477.87/478.01	c  477s |      16 |  1973120 |   194652 |    20728     18 |      399 |      340
480.07/480.26	c  480s |      16 |  1973961 |   195052 |    20728     18 |      399 |      340
482.07/482.29	c  482s |      16 |  1975695 |   195552 |    20728     18 |      399 |      340
484.17/484.30	c  484s |      16 |  1980413 |   196252 |    22801     18 |      399 |      340
486.47/486.67	c  486s |      16 |  1983552 |   196852 |    22801     18 |      399 |      340
488.77/488.99	c  488s |      16 |  1985092 |   197352 |    22801     18 |      399 |      340
489.17/489.38	c  489s |      17 |  1985203 |   197432 |    22801     18 |      399 |      340
491.17/491.39	c  491s |      17 |  1995045 |   198232 |    22801     19 |      399 |      340
493.17/493.40	c  493s |      17 |  2023788 |   199832 |    22801     19 |      399 |      340
495.27/495.44	c  495s |      17 |  2043774 |   201432 |    22801     19 |      399 |      340
497.46/497.67	c  497s |      17 |  2046047 |   202232 |    22801     19 |      399 |      340
499.57/499.73	c  499s |      17 |  2047719 |   202832 |    22801     19 |      399 |      340
501.67/501.84	c  501s |      17 |  2059315 |   203932 |    22801     19 |      399 |      340
503.87/504.01	c  503s |      17 |  2063269 |   204732 |    22801     19 |      399 |      340
505.97/506.12	c  505s |      17 |  2066463 |   205432 |    22801     19 |      399 |      340
508.07/508.29	c  508s |      17 |  2068865 |   206032 |    22801     19 |      399 |      340
510.17/510.33	c  510s |      17 |  2071457 |   206732 |    22801     19 |      399 |      340
512.37/512.50	c  512s |      17 |  2073604 |   207232 |    22801     19 |      399 |      340
514.46/514.60	c  514s |      17 |  2074748 |   207632 |    22801     19 |      399 |      340
516.87/517.10	c  516s |      17 |  2076162 |   208132 |    22801     19 |      399 |      340
519.46/519.67	c  519s |      17 |  2077373 |   208532 |    22801     19 |      399 |      340
521.56/521.79	c  521s |      17 |  2078443 |   208832 |    22801     19 |      399 |      340
524.06/524.23	c  523s |      17 |  2079081 |   209132 |    22801     19 |      399 |      340
526.26/526.41	c  526s |      17 |  2089560 |   210132 |    22801     19 |      399 |      340
528.36/528.56	c  528s |      17 |  2096920 |   211032 |    22801     20 |      399 |      340
530.46/530.69	c  530s |      17 |  2116612 |   212332 |    22801     20 |      399 |      340
532.56/532.79	c  532s |      17 |  2139847 |   213832 |    22801     20 |      399 |      340
534.86/535.03	c  534s |      17 |  2147760 |   214932 |    22801     20 |      399 |      340
536.96/537.16	c  536s |      17 |  2156407 |   215932 |    22801     20 |      399 |      340
538.96/539.19	c  538s |      17 |  2173582 |   217332 |    22801     20 |      399 |      340
541.06/541.26	c  541s |      17 |  2195004 |   218732 |    22801     20 |      399 |      340
543.15/543.34	c  543s |      17 |  2201138 |   219632 |    22801     20 |      399 |      340
545.15/545.35	c  545s |      17 |  2215887 |   220832 |    22801     20 |      399 |      340
547.25/547.43	c  547s |      17 |  2222556 |   221932 |    22801     20 |      399 |      340
549.25/549.45	c  549s |      17 |  2239518 |   223132 |    22801     21 |      399 |      340
551.35/551.53	c  551s |      17 |  2257449 |   224432 |    22801     21 |      399 |      340
553.45/553.66	c  553s |      17 |  2272274 |   225732 |    22801     21 |      399 |      340
555.46/555.67	c  555s |      17 |  2296499 |   227232 |    22801     21 |      400 |      341
557.65/557.81	c  557s |      17 |  2301106 |   228232 |    22801     21 |      400 |      341
559.64/559.85	c  559s |      17 |  2310372 |   229132 |    22801     21 |      400 |      341
561.84/562.06	c  561s |      17 |  2324336 |   230532 |    22801     21 |      400 |      341
564.04/564.21	c  563s |      17 |  2325664 |   231132 |    22801     21 |      400 |      341
566.14/566.35	c  566s |      17 |  2326494 |   231532 |    22801     21 |      400 |      341
568.24/568.44	c  568s |      17 |  2337407 |   232432 |    22801     21 |      400 |      341
570.35/570.57	c  570s |      17 |  2355699 |   233832 |    22801     21 |      400 |      341
572.45/572.66	c  572s |      17 |  2358850 |   234632 |    22801     21 |      400 |      341
574.64/574.82	c  574s |      17 |  2360077 |   235132 |    22801     21 |      400 |      341
576.84/577.01	c  576s |      17 |  2361791 |   235632 |    22801     21 |      400 |      341
579.04/579.20	c  578s |      17 |  2363889 |   236332 |    22801     22 |      400 |      341
581.54/581.74	c  581s |      17 |  2365458 |   236832 |    22801     22 |      400 |      341
583.74/583.95	c  583s |      17 |  2366832 |   237232 |    22801     22 |      400 |      341
585.84/586.04	c  585s |      17 |  2373196 |   238132 |    22801     22 |      400 |      341
587.93/588.17	c  587s |      17 |  2387388 |   239532 |    22801     22 |      400 |      341
590.83/591.04	c  590s |      17 |  2389447 |   240132 |    22801     22 |      400 |      341
593.33/593.53	c  593s |      17 |  2389971 |   240332 |    22801     22 |      400 |      341
596.93/597.11	c  596s |      17 |  2391336 |   240632 |    22801     22 |      400 |      341
598.93/599.16	c  598s |      17 |  2413156 |   242032 |    22801     22 |      400 |      341
600.93/601.19	c  600s |      17 |  2423810 |   243032 |    22801     22 |      400 |      341
603.93/604.18	c  603s |      17 |  2425096 |   243532 |    22801     22 |      400 |      341
606.22/606.45	c  606s |      17 |  2427363 |   244032 |    22801     22 |      400 |      341
608.23/608.46	c  608s |      17 |  2432490 |   244532 |    22801     22 |      400 |      341
610.43/610.63	c  610s |      17 |  2442884 |   245432 |    22801     22 |      400 |      341
612.63/612.89	c  612s |      17 |  2447690 |   246532 |    22801     22 |      400 |      341
614.92/615.10	c  614s |      17 |  2451594 |   247132 |    22801     23 |      400 |      341
617.02/617.22	c  616s |      17 |  2479499 |   249032 |    22801     23 |      400 |      341
619.12/619.32	c  619s |      17 |  2496791 |   250332 |    22801     23 |      400 |      341
621.32/621.51	c  621s |      17 |  2507001 |   251632 |    22801     23 |      400 |      341
623.41/623.60	c  623s |      17 |  2518800 |   252632 |    22801     23 |      400 |      341
625.51/625.73	c  625s |      17 |  2533383 |   253932 |    22801     23 |      400 |      341
627.61/627.89	c  627s |      17 |  2542956 |   255132 |    22801     23 |      400 |      341
629.71/629.91	c  629s |      17 |  2564302 |   256332 |    22801     23 |      400 |      341
631.81/632.04	c  631s |      17 |  2584198 |   257632 |    22801     23 |      400 |      341
634.01/634.27	c  634s |      17 |  2591460 |   258532 |    22801     23 |      400 |      341
636.11/636.36	c  636s |      17 |  2610960 |   260132 |    22801     24 |      400 |      341
638.21/638.47	c  638s |      17 |  2616988 |   261232 |    22801     24 |      400 |      341
640.31/640.51	c  640s |      17 |  2623568 |   262232 |    22801     24 |      400 |      341
642.31/642.58	c  642s |      17 |  2638690 |   263632 |    22801     24 |      400 |      341
644.61/644.85	c  644s |      17 |  2650388 |   264832 |    22801     24 |      400 |      341
646.71/646.95	c  646s |      17 |  2654465 |   265432 |    22801     24 |      400 |      341
648.70/648.97	c  648s |      17 |  2659728 |   266232 |    22801     24 |      400 |      341
650.91/651.16	c  650s |      17 |  2665499 |   267232 |    22801     24 |      400 |      341
653.11/653.38	c  653s |      17 |  2669220 |   268032 |    22801     24 |      400 |      341
655.31/655.59	c  655s |      17 |  2671582 |   268632 |    22801     24 |      400 |      341
658.10/658.32	c  658s |      17 |  2672918 |   269132 |    22801     24 |      400 |      341
660.30/660.57	c  660s |      17 |  2673645 |   269432 |    22801     24 |      400 |      341
662.60/662.87	c  662s |      17 |  2677692 |   270132 |    22801     24 |      400 |      341
665.00/665.20	c  664s |      17 |  2679177 |   270532 |    22801     24 |      400 |      341
667.00/667.21	c  666s |      17 |  2693701 |   271632 |    22801     25 |      400 |      341
669.10/669.30	c  669s |      17 |  2703715 |   273132 |    22801     25 |      400 |      341
671.10/671.36	c  671s |      17 |  2711719 |   274432 |    22801     25 |      400 |      341
673.40/673.60	c  673s |      17 |  2714529 |   275532 |    22801     25 |      400 |      341
675.40/675.67	c  675s |      17 |  2725264 |   276832 |    22801     25 |      400 |      341
677.40/677.69	c  677s |      17 |  2743518 |   278432 |    22801     25 |      400 |      341
679.60/679.83	c  679s |      17 |  2758079 |   279932 |    22801     25 |      400 |      341
681.69/681.96	c  681s |      17 |  2764222 |   280932 |    22801     25 |      400 |      341
683.79/684.04	c  683s |      17 |  2771751 |   281932 |    22801     25 |      400 |      341
685.89/686.17	c  685s |      17 |  2773256 |   282432 |    22801     25 |      400 |      341
688.09/688.34	c  688s |      17 |  2774705 |   282932 |    22801     25 |      400 |      341
690.09/690.34	c  690s |      17 |  2790089 |   284332 |    22801     26 |      400 |      341
692.09/692.38	c  692s |      17 |  2808456 |   285932 |    22801     26 |      400 |      341
694.19/694.49	c  694s |      17 |  2815454 |   287032 |    22801     26 |      400 |      341
696.28/696.59	c  696s |      17 |  2826829 |   288332 |    22801     26 |      400 |      341
698.48/698.77	c  698s |      17 |  2840638 |   289632 |    22801     26 |      400 |      341
700.68/700.90	c  700s |      17 |  2854806 |   290832 |    22801     26 |      400 |      341
702.69/702.92	c  702s |      17 |  2870203 |   292232 |    22801     26 |      400 |      341
704.89/705.16	c  704s |      17 |  2878637 |   293532 |    22801     27 |      400 |      341
706.98/707.28	c  707s |      17 |  2890858 |   294732 |    25082     27 |      400 |      341
709.08/709.35	c  709s |      17 |  2896227 |   295432 |    25082     27 |      400 |      341
711.07/711.37	c  711s |      18 |  2902648 |   296252 |    25082     27 |      400 |      341
713.27/713.56	c  713s |      18 |  2922434 |   298052 |    25082     27 |      400 |      341
715.37/715.65	c  715s |      18 |  2927003 |   299052 |    25082     27 |      400 |      341
717.47/717.75	c  717s |      18 |  2947792 |   300652 |    25082     27 |      400 |      341
719.57/719.82	c  719s |      18 |  2954515 |   301752 |    25082     27 |      400 |      341
721.77/722.08	c  721s |      18 |  2959304 |   302652 |    25082     27 |      400 |      341
723.97/724.20	c  723s |      18 |  2973213 |   303852 |    25082     27 |      400 |      341
726.07/726.30	c  726s |      18 |  2987285 |   305452 |    25082     27 |      400 |      341
728.37/728.64	c  728s |      18 |  2993855 |   306552 |    25082     27 |      400 |      341
730.97/731.21	c  730s |      18 |  2996371 |   307252 |    25082     27 |      400 |      341
733.37/733.69	c  733s |      18 |  2996540 |   307352 |    25082     27 |      400 |      341
735.77/736.08	c  735s |      18 |  2999108 |   307952 |    25082     27 |      400 |      341
737.87/738.13	c  737s |      18 |  3000005 |   308252 |    25082     27 |      400 |      341
739.86/740.17	c  739s |      18 |  3004238 |   309152 |    25082     28 |      400 |      341
741.96/742.23	c  741s |      18 |  3018223 |   310752 |    25082     28 |      400 |      341
743.96/744.27	c  744s |      18 |  3034229 |   312452 |    25082     28 |      400 |      341
746.16/746.43	c  746s |      18 |  3055183 |   314152 |    25082     28 |      400 |      341
748.26/748.54	c  748s |      18 |  3065095 |   315452 |    25082     28 |      400 |      341
750.56/750.84	c  750s |      18 |  3078137 |   316852 |    25082     28 |      400 |      341
752.76/753.08	c  752s |      18 |  3082374 |   317852 |    25082     28 |      400 |      341
755.16/755.41	c  755s |      18 |  3084625 |   318552 |    25082     28 |      400 |      341
757.25/757.51	c  757s |      18 |  3098283 |   319852 |    25082     28 |      400 |      341
759.25/759.58	c  759s |      18 |  3109668 |   321152 |    25082     29 |      400 |      341
761.25/761.58	c  761s |      18 |  3125235 |   322752 |    25082     29 |      400 |      341
763.35/763.65	c  763s |      18 |  3138780 |   324152 |    25082     29 |      400 |      341
765.36/765.66	c  765s |      18 |  3154540 |   325452 |    25082     29 |      400 |      341
767.45/767.76	c  767s |      18 |  3162381 |   326552 |    25082     29 |      400 |      341
769.56/769.81	c  769s |      18 |  3164789 |   327252 |    25082     29 |      400 |      341
771.96/772.29	c  772s |      18 |  3166224 |   327752 |    25082     29 |      400 |      341
774.16/774.42	c  774s |      18 |  3167365 |   328152 |    25082     29 |      400 |      341
776.15/776.49	c  776s |      18 |  3172390 |   328952 |    25082     29 |      400 |      341
778.25/778.55	c  778s |      18 |  3181005 |   330352 |    25082     29 |      400 |      341
780.45/780.71	c  780s |      18 |  3191955 |   331452 |    25082     30 |      400 |      341
782.45/782.77	c  782s |      18 |  3203911 |   332952 |    25082     30 |      400 |      341
784.55/784.81	c  784s |      18 |  3223953 |   334652 |    25082     30 |      400 |      341
786.64/786.92	c  786s |      18 |  3240732 |   336252 |    25082     30 |      400 |      341
788.64/788.97	c  788s |      18 |  3251596 |   337352 |    25082     30 |      400 |      341
790.65/791.00	c  790s |      18 |  3258163 |   338852 |    25082     30 |      400 |      341
792.85/793.14	c  792s |      18 |  3265994 |   339852 |    25082     30 |      400 |      341
795.05/795.38	c  795s |      18 |  3267938 |   340352 |    25082     30 |      400 |      341
797.24/797.53	c  797s |      18 |  3269446 |   340852 |    25082     30 |      400 |      341
799.63/799.91	c  799s |      18 |  3271096 |   341352 |    25082     30 |      400 |      341
802.23/802.52	c  802s |      18 |  3272220 |   341752 |    25082     30 |      400 |      341
804.23/804.57	c  804s |      18 |  3281142 |   342652 |    25082     31 |      400 |      341
806.43/806.70	c  806s |      18 |  3290222 |   344052 |    25082     31 |      400 |      341
808.43/808.74	c  808s |      18 |  3304637 |   345552 |    25082     31 |      400 |      341
810.53/810.81	c  810s |      18 |  3318287 |   346852 |    25082     31 |      400 |      341
812.93/813.23	c  812s |      18 |  3319158 |   347152 |    25082     31 |      400 |      341
815.82/816.15	c  815s |      18 |  3320027 |   347452 |    25082     31 |      400 |      341
818.32/818.65	c  818s |      18 |  3320329 |   347552 |    25082     31 |      400 |      341
820.62/820.96	c  820s |      18 |  3320498 |   347652 |    25082     31 |      400 |      341
822.63/822.96	c  822s |      18 |  3320669 |   347752 |    25082     31 |      400 |      341
824.92/825.28	c  825s |      18 |  3321636 |   348052 |    25082     31 |      400 |      341
827.02/827.36	c  827s |      18 |  3322883 |   348452 |    25082     31 |      400 |      341
829.23/829.59	c  829s |      18 |  3324325 |   348852 |    25082     31 |      400 |      341
831.52/831.87	c  831s |      18 |  3326797 |   349452 |    25082     31 |      400 |      341
833.63/833.96	c  833s |      18 |  3328699 |   350052 |    25082     31 |      400 |      341
835.91/836.25	c  835s |      18 |  3330109 |   350452 |    25082     31 |      400 |      341
838.11/838.43	c  838s |      18 |  3331264 |   350852 |    25082     31 |      400 |      341
840.61/840.98	c  840s |      18 |  3332261 |   351252 |    25082     31 |      400 |      341
842.71/843.03	c  842s |      18 |  3333682 |   351552 |    25082     31 |      400 |      341
844.81/845.14	c  844s |      18 |  3351205 |   352952 |    25082     32 |      400 |      341
846.81/847.15	c  846s |      18 |  3363888 |   354752 |    25082     32 |      400 |      341
848.91/849.25	c  848s |      18 |  3377265 |   356252 |    25082     32 |      400 |      341
850.90/851.26	c  851s |      18 |  3389373 |   357652 |    25082     32 |      400 |      341
853.00/853.30	c  853s |      18 |  3393050 |   358552 |    25082     32 |      400 |      341
855.10/855.41	c  855s |      18 |  3396111 |   359352 |    25082     32 |      400 |      341
857.20/857.57	c  857s |      18 |  3398931 |   360152 |    25082     32 |      400 |      341
859.50/859.82	c  859s |      18 |  3402119 |   360952 |    25082     32 |      400 |      341
861.50/861.82	c  861s |      18 |  3413219 |   362052 |    25082     32 |      400 |      341
863.90/864.27	c  864s |      18 |  3416470 |   362852 |    25082     32 |      400 |      341
866.19/866.59	c  866s |      18 |  3417819 |   363252 |    25082     32 |      400 |      341
868.39/868.71	c  868s |      18 |  3419707 |   363852 |    25082     32 |      400 |      341
870.69/871.04	c  870s |      18 |  3421460 |   364452 |    25082     32 |      400 |      341
872.99/873.38	c  873s |      18 |  3423301 |   365052 |    25082     33 |      400 |      341
875.19/875.52	c  875s |      18 |  3431350 |   366352 |    25082     33 |      400 |      341
877.18/877.54	c  877s |      18 |  3448759 |   367852 |    25082     33 |      400 |      341
879.49/879.82	c  879s |      18 |  3453333 |   368852 |    25082     33 |      400 |      341
881.49/881.90	c  881s |      18 |  3466154 |   370152 |    25082     33 |      400 |      341
883.59/883.92	c  883s |      18 |  3479391 |   371852 |    25082     33 |      400 |      341
885.68/886.03	c  885s |      18 |  3494921 |   373352 |    25082     33 |      400 |      341
887.88/888.20	c  887s |      18 |  3499464 |   374352 |    25082     33 |      400 |      341
890.08/890.42	c  890s |      18 |  3502067 |   375152 |    25082     33 |      400 |      341
892.28/892.60	c  892s |      18 |  3505052 |   375952 |    25082     33 |      400 |      341
894.28/894.65	c  894s |      18 |  3506866 |   376352 |    25082     33 |      400 |      341
896.28/896.68	c  896s |      18 |  3508909 |   376952 |    25082     33 |      400 |      341
898.57/898.94	c  898s |      18 |  3510662 |   377552 |    25082     34 |      400 |      341
900.68/901.06	c  900s |      18 |  3515671 |   378752 |    25082     34 |      400 |      341
902.88/903.21	c  902s |      18 |  3518388 |   379552 |    25082     34 |      400 |      341
904.87/905.28	c  905s |      18 |  3524500 |   380652 |    25082     34 |      400 |      341
906.97/907.33	c  907s |      18 |  3531183 |   381952 |    25082     34 |      400 |      341
909.37/909.73	c  909s |      18 |  3534576 |   382852 |    25082     34 |      400 |      341
911.87/912.28	c  912s |      18 |  3536085 |   383352 |    25082     34 |      400 |      341
914.07/914.49	c  914s |      18 |  3542287 |   384352 |    25082     34 |      400 |      341
916.16/916.59	c  916s |      18 |  3548114 |   385452 |    25082     34 |      400 |      341
918.17/918.60	c  918s |      18 |  3550040 |   386152 |    25082     34 |      400 |      341
920.66/921.07	c  920s |      18 |  3551478 |   386752 |    25082     34 |      400 |      341
922.76/923.16	c  922s |      18 |  3552339 |   387152 |    25082     34 |      400 |      341
924.87/925.22	c  924s |      18 |  3553859 |   387652 |    25082     34 |      400 |      341
927.16/927.59	c  927s |      18 |  3557160 |   388452 |    25082     34 |      400 |      341
929.86/930.26	c  930s |      18 |  3560268 |   389252 |    25082     35 |      400 |      341
932.06/932.45	c  932s |      18 |  3565740 |   390852 |    25082     35 |      400 |      341
934.26/934.69	c  934s |      18 |  3567845 |   391652 |    25082     35 |      400 |      341
936.36/936.74	c  936s |      18 |  3571609 |   392752 |    25082     35 |      400 |      341
938.66/939.02	c  938s |      18 |  3574032 |   393752 |    25082     35 |      400 |      341
940.86/941.22	c  940s |      18 |  3575307 |   394352 |    25082     35 |      400 |      341
942.96/943.31	c  943s |      18 |  3580435 |   395552 |    25082     35 |      400 |      341
945.06/945.42	c  945s |      18 |  3585952 |   396752 |    25082     35 |      400 |      341
947.26/947.62	c  947s |      18 |  3590756 |   397852 |    25082     35 |      400 |      341
949.36/949.74	c  949s |      18 |  3592046 |   398352 |    25082     35 |      400 |      341
951.76/952.14	c  951s |      18 |  3593158 |   398852 |    25082     35 |      400 |      341
953.96/954.37	c  954s |      18 |  3597051 |   399652 |    25082     35 |      400 |      341
956.06/956.46	c  956s |      18 |  3599402 |   400252 |    25082     35 |      400 |      341
958.06/958.47	c  958s |      18 |  3603550 |   401252 |    25082     36 |      400 |      341
960.06/960.49	c  960s |      18 |  3606360 |   402152 |    25082     36 |      400 |      341
962.45/962.82	c  962s |      18 |  3608932 |   402952 |    25082     36 |      400 |      341
964.55/964.93	c  964s |      18 |  3614195 |   404152 |    25082     36 |      400 |      341
966.75/967.11	c  966s |      18 |  3616783 |   404852 |    25082     36 |      400 |      341
968.76/969.13	c  968s |      18 |  3620041 |   405652 |    25082     36 |      400 |      341
970.96/971.35	c  971s |      18 |  3621957 |   406152 |    25082     36 |      400 |      341
973.16/973.57	c  973s |      18 |  3623423 |   406552 |    25082     36 |      400 |      341
975.76/976.10	c  975s |      18 |  3625138 |   407052 |    25082     36 |      400 |      341
977.86/978.22	c  977s |      18 |  3628324 |   407852 |    25082     36 |      400 |      341
980.06/980.44	c  980s |      18 |  3631670 |   408752 |    25082     36 |      400 |      341
982.26/982.69	c  982s |      18 |  3634114 |   409452 |    25082     36 |      400 |      341
984.56/984.93	c  984s |      18 |  3635189 |   409852 |    25082     36 |      400 |      341
986.75/987.13	c  986s |      18 |  3636960 |   410452 |    25082     36 |      400 |      341
989.15/989.55	c  989s |      18 |  3639795 |   411052 |    25082     36 |      400 |      341
991.35/991.71	c  991s |      18 |  3644472 |   412152 |    25082     37 |      400 |      341
993.55/993.92	c  993s |      18 |  3645985 |   412752 |    25082     37 |      400 |      341
995.95/996.30	c  996s |      18 |  3650866 |   413852 |    25082     37 |      400 |      341
997.95/998.36	c  998s |      18 |  3655731 |   414852 |    25082     37 |      400 |      341
1000.16/1000.58	c 1000s |      18 |  3659222 |   415852 |    25082     37 |      400 |      341
1002.45/1002.89	c 1002s |      18 |  3661416 |   416452 |    25082     37 |      400 |      341
1004.75/1005.13	c 1004s |      18 |  3665672 |   417352 |    25082     37 |      400 |      341
1006.95/1007.38	c 1007s |      18 |  3669619 |   418152 |    25082     37 |      400 |      341
1009.35/1009.77	c 1009s |      18 |  3671371 |   418752 |    25082     37 |      400 |      341
1011.85/1012.24	c 1011s |      18 |  3673362 |   419352 |    25082     37 |      400 |      341
1013.95/1014.35	c 1014s |      18 |  3674771 |   419852 |    25082     37 |      400 |      341
1015.95/1016.36	c 1016s |      18 |  3675912 |   420252 |    25082     37 |      400 |      341
1018.45/1018.88	c 1018s |      18 |  3678532 |   420852 |    25082     37 |      400 |      341
1020.64/1021.08	c 1020s |      18 |  3679523 |   421152 |    25082     38 |      400 |      341
1022.85/1023.26	c 1023s |      18 |  3683249 |   422152 |    25082     38 |      400 |      341
1024.96/1025.31	c 1025s |      18 |  3686491 |   422852 |    25082     38 |      400 |      341
1027.35/1027.74	c 1027s |      18 |  3688475 |   423352 |    25082     38 |      400 |      341
1029.45/1029.81	c 1029s |      18 |  3690774 |   423852 |    25082     38 |      400 |      341
1031.55/1031.92	c 1031s |      18 |  3691894 |   424252 |    25082     38 |      400 |      341
1033.85/1034.23	c 1033s |      18 |  3692751 |   424552 |    25082     38 |      400 |      341
1035.85/1036.29	c 1036s |      18 |  3694480 |   425052 |    25082     38 |      400 |      341
1038.35/1038.73	c 1038s |      18 |  3695423 |   425452 |    25082     38 |      400 |      341
1040.35/1040.74	c 1040s |      18 |  3695948 |   425652 |    25082     38 |      400 |      341
1042.34/1042.75	c 1042s |      18 |  3707125 |   426452 |    25082     38 |      400 |      341
1044.44/1044.81	c 1044s |      18 |  3714425 |   427352 |    25082     38 |      400 |      341
1046.95/1047.35	c 1047s |      18 |  3715990 |   427752 |    25082     38 |      400 |      341
1048.94/1049.37	c 1049s |      18 |  3716699 |   427952 |    25082     38 |      400 |      341
1052.04/1052.44	c 1052s |      18 |  3717538 |   428252 |    25082     38 |      400 |      341
1054.65/1055.08	c 1054s |      18 |  3720325 |   428752 |    25082     38 |      400 |      341
1056.75/1057.14	c 1056s |      18 |  3720981 |   428952 |    25082     38 |      400 |      341
1059.64/1060.04	c 1059s |      18 |  3721556 |   429152 |    25082     38 |      400 |      341
1061.64/1062.06	c 1061s |      18 |  3721756 |   429252 |    25082     38 |      400 |      341
1064.64/1065.04	c 1064s |      18 |  3722603 |   429452 |    25082     38 |      400 |      341
1067.54/1067.95	c 1067s |      18 |  3723487 |   429652 |    25082     38 |      400 |      341
1071.64/1072.06	c 1071s |      18 |  3724094 |   429852 |    25082     38 |      400 |      341
1073.74/1074.13	c 1073s |      18 |  3724279 |   429952 |    25082     38 |      400 |      341
1076.54/1076.91	c 1076s |      18 |  3724840 |   430152 |    25082     38 |      400 |      341
1079.94/1080.36	c 1080s |      18 |  3725389 |   430352 |    25082     38 |      400 |      341
1082.63/1083.09	c 1082s |      18 |  3726031 |   430552 |    25082     38 |      400 |      341
1085.13/1085.51	c 1085s |      18 |  3726206 |   430652 |    25082     39 |      400 |      341
1087.33/1087.70	c 1087s |      18 |  3727403 |   430952 |    25082     39 |      400 |      341
1089.33/1089.72	c 1089s |      18 |  3729003 |   431352 |    25082     39 |      400 |      341
1092.13/1092.58	c 1092s |      18 |  3730289 |   431752 |    25082     39 |      400 |      341
1095.43/1095.82	c 1095s |      18 |  3731768 |   432052 |    25082     39 |      400 |      341
1098.73/1099.16	c 1098s |      18 |  3732675 |   432252 |    25082     39 |      400 |      341
1102.63/1103.03	c 1102s |      18 |  3733253 |   432452 |    25082     39 |      400 |      341
1105.63/1106.09	c 1105s |      18 |  3733654 |   432652 |    25082     39 |      400 |      341
1108.03/1108.42	c 1108s |      18 |  3734301 |   432852 |    25082     39 |      400 |      341
1110.04/1110.48	c 1110s |      18 |  3735133 |   433052 |    25082     39 |      400 |      341
1112.74/1113.13	c 1112s |      18 |  3735948 |   433252 |    25082     39 |      400 |      341
1115.64/1116.07	c 1115s |      18 |  3736715 |   433452 |    25082     39 |      400 |      341
1118.54/1118.96	c 1118s |      18 |  3737297 |   433652 |    25082     39 |      400 |      341
1120.83/1121.28	c 1121s |      18 |  3737537 |   433752 |    25082     39 |      400 |      341
1123.33/1123.79	c 1123s |      18 |  3738005 |   433952 |    25082     39 |      400 |      341
1125.83/1126.27	c 1126s |      18 |  3738375 |   434152 |    25082     39 |      400 |      341
1128.34/1128.79	c 1128s |      18 |  3739032 |   434352 |    25082     39 |      400 |      341
1131.03/1131.46	c 1131s |      18 |  3740898 |   434852 |    25082     39 |      400 |      341
1133.13/1133.53	c 1133s |      18 |  3742537 |   435152 |    25082     39 |      400 |      341
1135.23/1135.69	c 1135s |      18 |  3761395 |   436752 |    25082     39 |      400 |      341
1137.53/1137.94	c 1137s |      18 |  3762980 |   437452 |    25082     39 |      400 |      341
1139.53/1139.97	c 1139s |      18 |  3766508 |   438252 |    25082     39 |      400 |      341
1141.54/1141.98	c 1141s |      18 |  3770608 |   439152 |    25082     39 |      400 |      341
1144.13/1144.52	c 1144s |      18 |  3772584 |   439752 |    25082     39 |      400 |      341
1146.13/1146.56	c 1146s |      18 |  3773535 |   440152 |    25082     40 |      400 |      341
1148.33/1148.71	c 1148s |      18 |  3780771 |   441452 |    27591     40 |      400 |      341
1150.34/1150.74	c 1150s |      18 |  3806349 |   443252 |    27591     40 |      400 |      341
1151.93/1152.34	c 1152s |      19 |  3823474 |   444482 |    27591     40 |      400 |      341
1154.03/1154.44	c 1154s |      19 |  3839713 |   446182 |    27591     40 |      400 |      341
1156.13/1156.51	c 1156s |      19 |  3850917 |   447382 |    27591     40 |      400 |      341
1158.23/1158.61	c 1158s |      19 |  3857857 |   448682 |    27591     40 |      400 |      341
1160.43/1160.85	c 1160s |      19 |  3862041 |   449682 |    27591     40 |      400 |      341
1162.44/1162.89	c 1162s |      19 |  3867060 |   450682 |    27591     40 |      400 |      341
1164.64/1165.06	c 1164s |      19 |  3870199 |   451582 |    27591     40 |      400 |      341
1166.73/1167.14	c 1166s |      19 |  3874714 |   452882 |    27591     41 |      400 |      341
1168.83/1169.23	c 1168s |      19 |  3882320 |   454382 |    27591     41 |      400 |      341
1170.93/1171.39	c 1171s |      19 |  3887233 |   455382 |    27591     41 |      400 |      341
1173.13/1173.53	c 1173s |      19 |  3890615 |   456282 |    27591     41 |      400 |      341
1175.13/1175.57	c 1175s |      19 |  3894859 |   457182 |    27591     41 |      400 |      341
1177.23/1177.62	c 1177s |      19 |  3899088 |   458182 |    27591     41 |      400 |      341
1179.22/1179.63	c 1179s |      19 |  3900714 |   458882 |    27591     41 |      400 |      341
1181.42/1181.84	c 1181s |      19 |  3902912 |   459582 |    27591     41 |      400 |      341
1183.72/1184.12	c 1183s |      19 |  3904726 |   460282 |    27591     41 |      400 |      341
1185.72/1186.19	c 1185s |      19 |  3906776 |   460882 |    27591     41 |      400 |      341
1188.12/1188.51	c 1188s |      19 |  3908041 |   461382 |    27591     41 |      400 |      341
1190.32/1190.76	c 1190s |      19 |  3909260 |   461882 |    27591     41 |      400 |      341
1192.72/1193.17	c 1192s |      19 |  3910964 |   462382 |    27591     41 |      400 |      341
1194.82/1195.29	c 1195s |      19 |  3927096 |   463682 |    27591     42 |      400 |      341
1197.02/1197.47	c 1197s |      19 |  3942271 |   465182 |    27591     42 |      400 |      341
1199.02/1199.49	c 1199s |      19 |  3952177 |   466282 |    27591     42 |      400 |      341
1201.12/1201.54	c 1201s |      19 |  3965493 |   467882 |    27591     42 |      400 |      341
1203.12/1203.56	c 1203s |      19 |  3976369 |   469282 |    27591     42 |      400 |      341
1205.22/1205.62	c 1205s |      19 |  3988215 |   470882 |    27591     42 |      400 |      341
1207.32/1207.79	c 1207s |      19 |  3991946 |   471982 |    27591     42 |      400 |      341
1209.42/1209.88	c 1209s |      19 |  3994806 |   472782 |    27591     42 |      400 |      341
1211.52/1211.95	c 1211s |      19 |  3995735 |   473182 |    27591     42 |      400 |      341
1213.62/1214.01	c 1213s |      19 |  3999731 |   473982 |    27591     43 |      400 |      341
1215.92/1216.30	c 1216s |      19 |  4002425 |   474782 |    27591     43 |      400 |      341
1218.02/1218.42	c 1218s |      19 |  4006138 |   475782 |    27591     43 |      400 |      341
1220.12/1220.52	c 1220s |      19 |  4014016 |   477182 |    27591     43 |      400 |      341
1222.12/1222.59	c 1222s |      19 |  4029949 |   479082 |    27591     43 |      400 |      341
1224.22/1224.69	c 1224s |      19 |  4040175 |   480582 |    27591     43 |      400 |      341
1226.52/1226.94	c 1226s |      19 |  4048568 |   481882 |    27591     43 |      400 |      341
1228.62/1229.01	c 1228s |      19 |  4054475 |   482982 |    27591     44 |      400 |      341
1230.71/1231.16	c 1230s |      19 |  4061342 |   484182 |    27591     44 |      400 |      341
1232.91/1233.31	c 1233s |      19 |  4069320 |   485682 |    27591     44 |      400 |      341
1234.92/1235.40	c 1235s |      19 |  4077122 |   487082 |    27591     44 |      400 |      341
1237.22/1237.65	c 1237s |      19 |  4081716 |   488082 |    27591     44 |      400 |      341
1239.21/1239.70	c 1239s |      19 |  4083255 |   488582 |    27591     44 |      400 |      341
1241.41/1241.89	c 1241s |      19 |  4087176 |   489382 |    27591     44 |      400 |      341
1243.61/1244.04	c 1243s |      19 |  4091149 |   490282 |    27591     44 |      400 |      341
1246.11/1246.50	c 1246s |      19 |  4094471 |   490882 |    27591     44 |      400 |      341
1248.12/1248.53	c 1248s |      19 |  4096541 |   491382 |    27591     44 |      400 |      341
1250.12/1250.59	c 1250s |      19 |  4099318 |   492082 |    27591     44 |      400 |      341
1252.32/1252.71	c 1252s |      19 |  4102489 |   492782 |    27591     45 |      400 |      341
1254.52/1254.99	c 1254s |      19 |  4106588 |   493682 |    27591     45 |      400 |      341
1256.62/1257.09	c 1256s |      19 |  4109660 |   494482 |    27591     45 |      400 |      341
1258.81/1259.30	c 1259s |      19 |  4110449 |   494782 |    27591     45 |      400 |      341
1261.21/1261.60	c 1261s |      19 |  4111647 |   495182 |    27591     45 |      400 |      341
1264.01/1264.40	c 1264s |      19 |  4112434 |   495482 |    27591     45 |      400 |      341
1266.31/1266.77	c 1266s |      19 |  4115508 |   496282 |    27591     45 |      400 |      341
1268.41/1268.82	c 1268s |      19 |  4117645 |   496782 |    27591     45 |      400 |      341
1270.71/1271.10	c 1270s |      19 |  4119526 |   497282 |    27591     45 |      400 |      341
1272.71/1273.15	c 1272s |      19 |  4120382 |   497682 |    27591     45 |      400 |      341
1275.21/1275.62	c 1275s |      19 |  4121383 |   498082 |    27591     45 |      400 |      341
1277.21/1277.68	c 1277s |      19 |  4122151 |   498382 |    27591     45 |      400 |      341
1279.31/1279.71	c 1279s |      19 |  4122956 |   498682 |    27591     45 |      400 |      341
1281.81/1282.21	c 1281s |      19 |  4124715 |   499182 |    27591     45 |      400 |      341
1283.81/1284.25	c 1283s |      19 |  4125591 |   499482 |    27591     45 |      400 |      341
1285.91/1286.39	c 1286s |      19 |  4126788 |   499882 |    27591     45 |      400 |      341
1288.51/1288.98	c 1288s |      19 |  4128009 |   500282 |    27591     45 |      400 |      341
1291.40/1291.83	c 1291s |      19 |  4129216 |   500682 |    27591     45 |      400 |      341
1293.40/1293.89	c 1293s |      19 |  4130932 |   501082 |    27591     45 |      400 |      341
1295.80/1296.20	c 1295s |      19 |  4135167 |   501882 |    27591     46 |      400 |      341
1297.90/1298.33	c 1298s |      19 |  4138931 |   503082 |    27591     46 |      400 |      341
1299.91/1300.35	c 1300s |      19 |  4143835 |   504082 |    27591     46 |      400 |      341
1302.01/1302.44	c 1302s |      19 |  4147629 |   505182 |    27591     46 |      400 |      341
1304.00/1304.47	c 1304s |      19 |  4149137 |   505782 |    27591     46 |      400 |      341
1306.20/1306.68	c 1306s |      19 |  4152986 |   506882 |    27591     46 |      400 |      341
1308.30/1308.74	c 1308s |      19 |  4157406 |   507882 |    27591     46 |      400 |      341
1310.30/1310.79	c 1310s |      19 |  4160162 |   508782 |    27591     46 |      400 |      341
1312.60/1313.04	c 1312s |      19 |  4162435 |   509582 |    27591     46 |      400 |      341
1314.70/1315.14	c 1314s |      19 |  4163512 |   510082 |    27591     46 |      400 |      341
1316.80/1317.21	c 1316s |      19 |  4170809 |   511182 |    27591     47 |      400 |      341
1318.80/1319.25	c 1318s |      19 |  4178448 |   512482 |    27591     47 |      400 |      341
1320.90/1321.32	c 1321s |      19 |  4185577 |   513882 |    27591     47 |      400 |      341
1322.91/1323.37	c 1323s |      19 |  4189418 |   514982 |    27591     47 |      400 |      341
1325.11/1325.53	c 1325s |      19 |  4193588 |   515982 |    27591     47 |      400 |      341
1327.11/1327.55	c 1327s |      19 |  4196247 |   516782 |    27591     47 |      400 |      341
1329.20/1329.67	c 1329s |      19 |  4199593 |   517582 |    27591     47 |      400 |      341
1331.40/1331.81	c 1331s |      19 |  4203853 |   518382 |    27591     47 |      400 |      341
1333.70/1334.13	c 1333s |      19 |  4205653 |   518982 |    27591     47 |      400 |      341
1335.80/1336.28	c 1336s |      19 |  4209334 |   519982 |    27591     48 |      400 |      341
1337.90/1338.38	c 1338s |      19 |  4214706 |   521282 |    27591     48 |      400 |      341
1339.90/1340.39	c 1340s |      19 |  4218646 |   522182 |    27591     48 |      400 |      341
1342.00/1342.49	c 1342s |      19 |  4220997 |   522882 |    27591     48 |      400 |      341
1344.20/1344.66	c 1344s |      19 |  4223043 |   523582 |    27591     48 |      400 |      341
1346.40/1346.85	c 1346s |      19 |  4225588 |   524482 |    27591     48 |      400 |      341
1348.50/1348.91	c 1348s |      19 |  4228310 |   525282 |    27591     48 |      400 |      341
1350.70/1351.15	c 1350s |      19 |  4230684 |   525982 |    27591     48 |      400 |      341
1352.90/1353.30	c 1353s |      19 |  4232770 |   526582 |    27591     48 |      400 |      341
1354.90/1355.32	c 1355s |      19 |  4234160 |   527082 |    27591     48 |      400 |      341
1357.10/1357.59	c 1357s |      19 |  4237072 |   527882 |    27591     49 |      400 |      341
1359.40/1359.85	c 1359s |      19 |  4238810 |   528482 |    27591     49 |      400 |      341
1361.60/1362.02	c 1361s |      19 |  4242064 |   529282 |    27591     49 |      400 |      341
1363.61/1364.05	c 1363s |      19 |  4243753 |   529882 |    27591     49 |      400 |      341
1365.80/1366.21	c 1365s |      19 |  4245100 |   530382 |    27591     49 |      400 |      341
1368.00/1368.44	c 1368s |      19 |  4247053 |   530982 |    27591     49 |      400 |      341
1370.59/1371.01	c 1370s |      19 |  4248225 |   531482 |    27591     49 |      400 |      341
1372.59/1373.03	c 1372s |      19 |  4249828 |   531882 |    27591     49 |      400 |      341
1374.60/1375.05	c 1374s |      19 |  4253526 |   532882 |    27591     49 |      400 |      341
1376.80/1377.30	c 1377s |      19 |  4255395 |   533582 |    27591     49 |      400 |      341
1379.00/1379.48	c 1379s |      19 |  4257684 |   534282 |    27591     49 |      400 |      341
1381.09/1381.52	c 1381s |      19 |  4259431 |   534782 |    27591     49 |      400 |      341
1383.09/1383.58	c 1383s |      19 |  4264161 |   535982 |    27591     50 |      400 |      341
1385.29/1385.71	c 1385s |      19 |  4267829 |   537082 |    27591     50 |      400 |      341
1387.50/1387.90	c 1387s |      19 |  4270028 |   537882 |    27591     50 |      400 |      341
1389.60/1390.03	c 1389s |      19 |  4273113 |   538682 |    27591     50 |      400 |      341
1391.70/1392.18	c 1391s |      19 |  4277185 |   539582 |    27591     50 |      400 |      341
1393.90/1394.35	c 1394s |      19 |  4279769 |   540282 |    27591     50 |      400 |      341
1396.00/1396.48	c 1396s |      19 |  4282334 |   540882 |    27591     50 |      400 |      341
1398.10/1398.55	c 1398s |      19 |  4284112 |   541382 |    27591     50 |      400 |      341
1400.20/1400.67	c 1400s |      19 |  4286009 |   541982 |    27591     50 |      400 |      341
1402.29/1402.71	c 1402s |      19 |  4288099 |   542682 |    27591     51 |      400 |      341
1404.40/1404.82	c 1404s |      19 |  4294817 |   544082 |    27591     51 |      400 |      341
1406.50/1406.94	c 1406s |      19 |  4298040 |   545082 |    27591     51 |      400 |      341
1408.70/1409.17	c 1408s |      19 |  4302045 |   546182 |    27591     51 |      400 |      341
1410.79/1411.21	c 1410s |      19 |  4304090 |   546882 |    27591     51 |      400 |      341
1412.79/1413.25	c 1412s |      19 |  4308865 |   547782 |    27591     51 |      400 |      341
1415.09/1415.52	c 1415s |      19 |  4312161 |   548782 |    27591     51 |      400 |      341
1417.19/1417.64	c 1417s |      19 |  4315623 |   549882 |    27591     52 |      400 |      341
1419.29/1419.73	c 1419s |      19 |  4318511 |   550882 |    27591     52 |      400 |      341
1421.48/1421.93	c 1421s |      19 |  4321429 |   551582 |    27591     52 |      400 |      341
1423.48/1423.94	c 1423s |      19 |  4323175 |   552082 |    27591     52 |      400 |      341
1425.69/1426.15	c 1425s |      19 |  4326673 |   552982 |    27591     52 |      400 |      341
1427.79/1428.22	c 1427s |      19 |  4329545 |   553782 |    27591     52 |      400 |      341
1430.09/1430.53	c 1430s |      19 |  4331101 |   554382 |    27591     52 |      400 |      341
1432.49/1432.94	c 1432s |      19 |  4333131 |   554982 |    27591     52 |      400 |      341
1434.59/1435.06	c 1434s |      19 |  4336452 |   555682 |    27591     52 |      400 |      341
1436.58/1437.07	c 1436s |      19 |  4338430 |   556382 |    27591     53 |      400 |      341
1438.58/1439.07	c 1438s |      19 |  4344533 |   557582 |    27591     53 |      400 |      341
1440.59/1441.09	c 1440s |      19 |  4346603 |   558182 |    27591     53 |      400 |      341
1442.68/1443.11	c 1442s |      19 |  4348559 |   558882 |    27591     53 |      400 |      341
1444.68/1445.12	c 1444s |      19 |  4352825 |   559782 |    27591     53 |      400 |      341
1446.68/1447.18	c 1446s |      19 |  4356799 |   560782 |    27591     53 |      400 |      341
1448.79/1449.21	c 1448s |      19 |  4361180 |   561682 |    27591     53 |      400 |      341
1450.79/1451.23	c 1450s |      19 |  4367412 |   562782 |    27591     54 |      400 |      341
1452.89/1453.35	c 1453s |      19 |  4372645 |   563882 |    27591     54 |      400 |      341
1454.89/1455.38	c 1455s |      19 |  4378739 |   565082 |    27591     54 |      400 |      341
1457.09/1457.58	c 1457s |      19 |  4380998 |   565882 |    27591     54 |      400 |      341
1459.19/1459.67	c 1459s |      19 |  4383200 |   566682 |    27591     54 |      400 |      341
1461.49/1461.92	c 1461s |      19 |  4386665 |   567582 |    27591     54 |      400 |      341
1463.69/1464.15	c 1463s |      19 |  4388357 |   568182 |    27591     54 |      400 |      341
1465.79/1466.28	c 1466s |      19 |  4390588 |   568882 |    27591     54 |      400 |      341
1467.98/1468.45	c 1468s |      19 |  4398509 |   570182 |    27591     55 |      400 |      341
1469.98/1470.46	c 1470s |      19 |  4403504 |   571382 |    27591     55 |      400 |      341
1472.18/1472.60	c 1472s |      19 |  4411615 |   572682 |    27591     55 |      400 |      341
1474.28/1474.75	c 1474s |      19 |  4418224 |   573782 |    27591     55 |      400 |      341
1476.48/1476.98	c 1476s |      19 |  4419648 |   574382 |    27591     55 |      400 |      341
1478.98/1479.44	c 1479s |      19 |  4421447 |   574982 |    27591     55 |      400 |      341
1481.29/1481.76	c 1481s |      19 |  4423431 |   575582 |    27591     55 |      400 |      341
1483.38/1483.84	c 1483s |      19 |  4429827 |   576782 |    27591     56 |      400 |      341
1485.48/1485.90	c 1485s |      19 |  4433091 |   577682 |    27591     56 |      400 |      341
1487.48/1487.99	c 1487s |      19 |  4440552 |   579082 |    27591     56 |      400 |      341
1489.68/1490.11	c 1489s |      19 |  4444930 |   580282 |    27591     56 |      400 |      341
1491.78/1492.22	c 1491s |      19 |  4447631 |   581182 |    27591     56 |      400 |      341
1493.88/1494.30	c 1494s |      19 |  4451039 |   582282 |    27591     57 |      400 |      341
1495.98/1496.40	c 1496s |      19 |  4457146 |   583582 |    27591     57 |      400 |      341
1497.98/1498.46	c 1498s |      19 |  4461063 |   584782 |    27591     57 |      400 |      341
1499.98/1500.50	c 1500s |      19 |  4463882 |   585682 |    27591     57 |      400 |      341
1502.07/1502.51	c 1502s |      19 |  4466585 |   586482 |    27591     57 |      400 |      341
1504.07/1504.57	c 1504s |      19 |  4470478 |   587382 |    27591     57 |      400 |      341
1506.17/1506.60	c 1506s |      19 |  4479553 |   588882 |    27591     58 |      400 |      341
1508.17/1508.69	c 1508s |      19 |  4485957 |   590182 |    27591     58 |      400 |      341
1510.27/1510.75	c 1510s |      19 |  4489187 |   590982 |    27591     58 |      400 |      341
1512.47/1512.93	c 1512s |      19 |  4491469 |   591582 |    27591     58 |      400 |      341
1514.47/1514.95	c 1514s |      19 |  4492980 |   592182 |    27591     58 |      400 |      341
1516.48/1516.96	c 1516s |      19 |  4494747 |   592782 |    27591     58 |      400 |      341
1518.58/1519.02	c 1518s |      19 |  4497091 |   593582 |    27591     59 |      400 |      341
1520.58/1521.06	c 1520s |      19 |  4502327 |   594782 |    27591     59 |      400 |      341
1522.87/1523.32	c 1523s |      19 |  4505674 |   595782 |    27591     59 |      400 |      341
1525.17/1525.62	c 1525s |      19 |  4508071 |   596482 |    27591     59 |      400 |      341
1527.27/1527.75	c 1527s |      19 |  4509793 |   597182 |    27591     59 |      400 |      341
1529.27/1529.76	c 1529s |      19 |  4515521 |   598582 |    27591     59 |      400 |      341
1531.37/1531.83	c 1531s |      19 |  4520595 |   599882 |    27591     60 |      400 |      341
1533.47/1533.95	c 1533s |      19 |  4523771 |   600982 |    27591     60 |      400 |      341
1535.67/1536.14	c 1535s |      19 |  4525543 |   601682 |    27591     60 |      400 |      341
1537.77/1538.29	c 1538s |      19 |  4528353 |   602682 |    27591     60 |      400 |      341
1540.27/1540.75	c 1540s |      19 |  4529939 |   603382 |    27591     60 |      400 |      341
1542.37/1542.87	c 1542s |      19 |  4531269 |   603982 |    27591     60 |      400 |      341
1544.56/1545.04	c 1544s |      19 |  4534064 |   604882 |    27591     61 |      400 |      341
1546.56/1547.07	c 1546s |      19 |  4537239 |   605982 |    27591     61 |      400 |      341
1548.77/1549.22	c 1548s |      19 |  4539948 |   606782 |    27591     61 |      400 |      341
1551.07/1551.50	c 1551s |      19 |  4541692 |   607482 |    27591     61 |      400 |      341
1553.07/1553.58	c 1553s |      19 |  4543147 |   607982 |    27591     61 |      400 |      341
1555.67/1556.13	c 1555s |      19 |  4544284 |   608582 |    27591     61 |      400 |      341
1557.76/1558.25	c 1557s |      19 |  4545250 |   608982 |    27591     61 |      400 |      341
1559.87/1560.37	c 1560s |      19 |  4546092 |   609382 |    27591     61 |      400 |      341
1562.37/1562.88	c 1562s |      19 |  4546765 |   609782 |    27591     61 |      400 |      341
1564.57/1565.08	c 1564s |      19 |  4548062 |   610282 |    27591     62 |      400 |      341
1566.77/1567.20	c 1566s |      19 |  4551758 |   611382 |    27591     62 |      400 |      341
1568.97/1569.40	c 1569s |      19 |  4554378 |   612282 |    27591     62 |      400 |      341
1571.17/1571.63	c 1571s |      19 |  4556632 |   613082 |    27591     62 |      400 |      341
1573.16/1573.66	c 1573s |      19 |  4559929 |   613882 |    27591     62 |      400 |      341
1575.46/1575.96	c 1575s |      19 |  4563234 |   614682 |    27591     62 |      400 |      341
1577.46/1577.96	c 1577s |      19 |  4567714 |   615682 |    27591     63 |      400 |      341
1579.66/1580.12	c 1579s |      19 |  4571924 |   616882 |    27591     63 |      400 |      341
1581.76/1582.21	c 1581s |      19 |  4576350 |   617982 |    27591     63 |      400 |      341
1583.96/1584.41	c 1584s |      19 |  4579140 |   618982 |    27591     63 |      400 |      341
1586.26/1586.71	c 1586s |      19 |  4580753 |   619682 |    27591     63 |      400 |      341
1588.26/1588.79	c 1588s |      19 |  4582966 |   620582 |    27591     64 |      400 |      341
1590.56/1591.02	c 1590s |      19 |  4585490 |   621582 |    27591     64 |      400 |      341
1592.76/1593.22	c 1592s |      19 |  4586594 |   622082 |    27591     64 |      400 |      341
1594.87/1595.30	c 1595s |      19 |  4587501 |   622482 |    27591     64 |      400 |      341
1596.97/1597.41	c 1597s |      19 |  4589874 |   623282 |    27591     64 |      400 |      341
1599.16/1599.64	c 1599s |      19 |  4591552 |   623882 |    27591     64 |      400 |      341
1601.17/1601.69	c 1601s |      19 |  4593038 |   624482 |    27591     64 |      400 |      341
1603.56/1604.08	c 1603s |      19 |  4598189 |   625682 |    27591     65 |      400 |      341
1605.86/1606.31	c 1606s |      19 |  4600738 |   626482 |    27591     65 |      400 |      341
1607.96/1608.46	c 1608s |      19 |  4602728 |   627182 |    27591     65 |      400 |      341
1610.07/1610.54	c 1610s |      19 |  4604384 |   627782 |    27591     65 |      400 |      341
1612.16/1612.67	c 1612s |      19 |  4606423 |   628482 |    27591     65 |      400 |      341
1614.26/1614.77	c 1614s |      19 |  4609410 |   629282 |    27591     66 |      400 |      341
1616.36/1616.85	c 1616s |      19 |  4613298 |   630382 |    27591     66 |      400 |      341
1618.65/1619.15	c 1618s |      19 |  4615704 |   631182 |    27591     66 |      400 |      341
1620.86/1621.36	c 1621s |      19 |  4617339 |   631782 |    27591     66 |      400 |      341
1622.96/1623.44	c 1623s |      19 |  4618290 |   632182 |    27591     66 |      400 |      341
1625.06/1625.50	c 1625s |      19 |  4621581 |   633182 |    27591     66 |      400 |      341
1627.16/1627.60	c 1627s |      19 |  4623630 |   633882 |    27591     67 |      400 |      341
1629.66/1630.14	c 1629s |      19 |  4626493 |   634882 |    27591     67 |      400 |      341
1631.86/1632.37	c 1632s |      19 |  4628343 |   635582 |    27591     67 |      400 |      341
1634.26/1634.72	c 1634s |      19 |  4630780 |   636182 |    27591     67 |      400 |      341
1636.36/1636.87	c 1636s |      19 |  4633734 |   636982 |    27591     67 |      400 |      341
1638.75/1639.25	c 1638s |      19 |  4635063 |   637582 |    27591     67 |      400 |      341
1641.26/1641.70	c 1641s |      19 |  4636242 |   637982 |    27591     68 |      400 |      341
1643.26/1643.72	c 1643s |      19 |  4640288 |   638882 |    27591     68 |      400 |      341
1645.26/1645.74	c 1645s |      19 |  4643302 |   639682 |    27591     68 |      400 |      341
1647.36/1647.88	c 1647s |      19 |  4645883 |   640382 |    27591     68 |      400 |      341
1649.75/1650.21	c 1649s |      19 |  4647918 |   641182 |    27591     68 |      400 |      341
1652.05/1652.50	c 1652s |      19 |  4649501 |   641782 |    27591     68 |      400 |      341
1654.25/1654.70	c 1654s |      19 |  4651862 |   642582 |    27591     69 |      400 |      341
1656.35/1656.82	c 1656s |      19 |  4653714 |   643182 |    27591     69 |      400 |      341
1658.35/1658.85	c 1658s |      19 |  4655558 |   643682 |    27591     69 |      400 |      341
1660.66/1661.10	c 1660s |      19 |  4657874 |   644382 |    27591     69 |      400 |      341
1662.95/1663.46	c 1663s |      19 |  4659343 |   644982 |    27591     69 |      400 |      341
1665.35/1665.84	c 1665s |      19 |  4660366 |   645382 |    27591     69 |      400 |      341
1667.35/1667.85	c 1667s |      19 |  4661600 |   645882 |    27591     69 |      400 |      341
1669.46/1669.91	c 1669s |      19 |  4665176 |   646782 |    27591     70 |      400 |      341
1671.55/1672.00	c 1671s |      19 |  4668154 |   647682 |    27591     70 |      400 |      341
1673.55/1674.05	c 1673s |      19 |  4669622 |   648282 |    27591     70 |      400 |      341
1675.85/1676.31	c 1676s |      19 |  4671672 |   649082 |    27591     70 |      400 |      341
1678.16/1678.60	c 1678s |      19 |  4674916 |   650082 |    27591     71 |      400 |      341
1680.15/1680.66	c 1680s |      19 |  4679027 |   651282 |    27591     71 |      400 |      341
1682.45/1682.90	c 1682s |      19 |  4680881 |   652182 |    27591     71 |      400 |      341
1684.65/1685.11	c 1684s |      19 |  4683096 |   652982 |    27591     71 |      400 |      341
1686.65/1687.15	c 1686s |      19 |  4685898 |   653882 |    27591     72 |      400 |      341
1688.85/1689.30	c 1689s |      19 |  4689469 |   654882 |    27591     72 |      400 |      341
1691.15/1691.69	c 1691s |      19 |  4692740 |   655782 |    27591     72 |      400 |      341
1693.25/1693.80	c 1693s |      19 |  4695332 |   656582 |    27591     72 |      400 |      341
1695.45/1695.98	c 1695s |      19 |  4697431 |   657282 |    27591     72 |      400 |      341
1697.95/1698.43	c 1698s |      19 |  4699898 |   658082 |    27591     72 |      400 |      341
1700.04/1700.58	c 1700s |      19 |  4702536 |   658882 |    27591     73 |      400 |      341
1702.14/1702.62	c 1702s |      19 |  4704825 |   659582 |    27591     73 |      400 |      341
1704.24/1704.74	c 1704s |      19 |  4706136 |   660082 |    27591     73 |      400 |      341
1706.45/1707.00	c 1706s |      19 |  4707982 |   660682 |    27591     73 |      400 |      341
1708.55/1709.08	c 1708s |      19 |  4709270 |   661082 |    27591     73 |      400 |      341
1710.64/1711.11	c 1710s |      19 |  4710896 |   661482 |    27591     74 |      400 |      341
1712.74/1713.21	c 1712s |      19 |  4716600 |   662682 |    30351     74 |      400 |      341
1714.84/1715.34	c 1715s |      19 |  4721895 |   663682 |    30351     74 |      400 |      341
1716.94/1717.49	c 1717s |      19 |  4726375 |   664582 |    30351     74 |      400 |      341
1719.04/1719.53	c 1719s |      19 |  4728694 |   665182 |    30351     74 |      400 |      341
1721.34/1721.81	c 1721s |      19 |  4730634 |   665782 |    30351     74 |      400 |      341
1723.84/1724.30	c 1724s |      19 |  4731967 |   666282 |    30351     74 |      400 |      341
1725.85/1726.35	c 1726s |      19 |  4733547 |   666682 |    30351     74 |      400 |      341
1726.75/1727.25	c 1726s |      20 |  4733964 |   666827 |    30351     74 |      400 |      341
1728.75/1729.29	c 1729s |      20 |  4748894 |   668227 |    30351     75 |      400 |      341
1730.84/1731.33	c 1731s |      20 |  4762453 |   669627 |    30351     75 |      400 |      341
1733.04/1733.50	c 1733s |      20 |  4772414 |   670827 |    30351     76 |      400 |      341
1735.04/1735.52	c 1735s |      20 |  4790830 |   672527 |    30351     76 |      400 |      341
1737.04/1737.58	c 1737s |      20 |  4795604 |   673527 |    30351     76 |      400 |      341
1739.14/1739.64	c 1739s |      20 |  4797024 |   674227 |    30351     76 |      400 |      341
1741.14/1741.68	c 1741s |      20 |  4805292 |   675127 |    30351     77 |      400 |      341
1743.44/1743.94	c 1743s |      20 |  4810782 |   676327 |    30351     77 |      400 |      341
1745.54/1746.05	c 1745s |      20 |  4814991 |   677527 |    30351     77 |      400 |      341
1747.64/1748.12	c 1747s |      20 |  4818978 |   678527 |    30351     77 |      400 |      341
1749.75/1750.23	c 1749s |      20 |  4821043 |   679127 |    30351     77 |      400 |      341
1752.04/1752.54	c 1752s |      20 |  4822873 |   679727 |    30351     77 |      400 |      341
1754.15/1754.66	c 1754s |      20 |  4830213 |   680627 |    30351     78 |      400 |      341
1756.25/1756.71	c 1756s |      20 |  4846521 |   682427 |    30351     78 |      400 |      341
1758.24/1758.73	c 1758s |      20 |  4866680 |   684127 |    30351     79 |      400 |      341
1760.24/1760.73	c 1760s |      20 |  4888387 |   685827 |    30351     79 |      400 |      341
1762.24/1762.77	c 1762s |      20 |  4899320 |   687227 |    30351     80 |      400 |      341
1764.34/1764.88	c 1764s |      20 |  4911642 |   688927 |    30351     80 |      400 |      341
1766.64/1767.19	c 1766s |      20 |  4913155 |   689627 |    30351     80 |      400 |      341
1769.13/1769.65	c 1769s |      20 |  4914357 |   690127 |    30351     80 |      400 |      341
1771.43/1771.93	c 1771s |      20 |  4915114 |   690527 |    30351     80 |      400 |      341
1773.43/1773.96	c 1773s |      20 |  4916453 |   691027 |    30351     80 |      400 |      341
1775.63/1776.15	c 1775s |      20 |  4917493 |   691427 |    30351     80 |      400 |      341
1777.73/1778.20	c 1777s |      20 |  4939380 |   693127 |    30351     81 |      400 |      341
1779.83/1780.30	c 1780s |      20 |  4955834 |   694827 |    30351     81 |      400 |      341
1781.83/1782.33	c 1782s |      20 |  4959858 |   695827 |    30351     82 |      400 |      341
1783.84/1784.34	c 1784s |      20 |  4971181 |   697327 |    30351     82 |      400 |      341
1786.13/1786.63	c 1786s |      20 |  4978470 |   698727 |    30351     82 |      400 |      341
1788.14/1788.66	c 1788s |      20 |  4981575 |   699527 |    30351     82 |      400 |      341
1790.13/1790.68	c 1790s |      20 |  4985953 |   700427 |    30351     83 |      400 |      341
1792.23/1792.71	c 1792s |      20 |  5001165 |   702127 |    30351     83 |      400 |      341
1794.33/1794.81	c 1794s |      20 |  5014566 |   703927 |    30351     84 |      400 |      341
1796.33/1796.84	c 1796s |      20 |  5017899 |   705027 |    30351     84 |      400 |      341
1798.53/1799.09	c 1798s |      20 |  5019735 |   705727 |    30351     84 |      400 |      341

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 7942
/proc/meminfo: memFree=29172196/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=399804 CPUtime=0 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 1432 0 0 0 0 0 0 0 20 0 4 0 110260544 409399296 2304 33554432000 4194304 16246674 140735543450800 140735543450224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 100719 2313 441 2943 0 97613 0
[pid=7942/tid=7943] ppid=7939 vsize=417212 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 427225088 2372 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=421308 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 431419392 2386 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=421308 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110260544 431419392 2386 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 7942
/proc/meminfo: memFree=29172196/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 27822 0 0 0 5 4 0 0 20 0 4 0 110260544 1249447936 28632 33554432000 4194304 16246674 140735543450800 140735543450112 4221031 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 305041 28632 801 2943 0 301935 0
[pid=7942/tid=7943] ppid=7939 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1249447936 28632 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1249447936 28632 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1249447936 28632 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200479 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 7942
/proc/meminfo: memFree=29172196/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 48215 0 0 0 12 7 0 0 20 0 4 0 110260544 1333334016 49025 33554432000 4194304 16246674 140735543450800 140735543450112 6934349 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 325521 49025 833 2943 0 322415 0
[pid=7942/tid=7943] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 49025 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 49025 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 49025 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300434 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 7942
/proc/meminfo: memFree=29172196/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1302084 CPUtime=0.28 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 55234 0 0 0 21 7 0 0 20 0 4 0 110260544 1333334016 56045 33554432000 4194304 16246674 140735543450800 140735543433792 5675010 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 325521 56054 876 2943 0 322415 0
[pid=7942/tid=7943] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 56061 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 56068 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 56074 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700349 s]
/proc/loadavg: 2.26 2.24 2.19 3/179 7942
/proc/meminfo: memFree=29172196/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 121724 0 0 0 53 16 0 0 20 0 4 0 110260544 1333334016 122534 33554432000 4194304 16246674 140735543450800 140735543433792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 325521 122542 876 2943 0 322415 0
[pid=7942/tid=7943] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 122547 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 122552 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1333334016 122557 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50035 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 7946
/proc/meminfo: memFree=28419100/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=1.48 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 268761 0 0 0 112 36 0 0 20 0 4 0 110260544 1342771200 269571 33554432000 4194304 16246674 140735543450800 140735543450112 5659318 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 327825 269571 883 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269571 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269571 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269571 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1311300

[startup+3.10037 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 7946
/proc/meminfo: memFree=28094592/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 268995 0 0 0 272 37 0 0 20 0 4 0 110260544 1342771200 269805 33554432000 4194304 16246674 140735543450800 140735543432704 5545876 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 327825 269805 883 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269805 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269805 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269805 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30036 s]
/proc/loadavg: 2.30 2.25 2.19 3/182 7946
/proc/meminfo: memFree=28093172/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269004 0 0 0 592 37 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 140735543432704 5717604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 327825 269814 885 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.35 2.26 2.20 3/183 7947
/proc/meminfo: memFree=28093392/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269004 0 0 0 1231 37 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 140735543449976 5722827 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 327825 269814 885 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269814 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 2.35 2.27 2.20 4/183 7947
/proc/meminfo: memFree=28093940/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269005 0 0 0 2511 37 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 140735543449896 6021684 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7942/statm: 327825 269815 886 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 7947
/proc/meminfo: memFree=28091928/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=51.07 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269005 0 0 0 5070 37 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 140735543433792 5545984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 327825 269815 886 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.20 4/183 7948
/proc/meminfo: memFree=28091764/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1311300 CPUtime=102.27 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269005 0 0 0 10189 38 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 140735543432704 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 327825 269815 886 2943 0 324719 0
[pid=7942/tid=7943] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1342771200 269815 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.34 2.36 2.27 3/184 8030
/proc/meminfo: memFree=28085696/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1361.9 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 136127 63 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543449976 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.44 2.38 2.28 3/183 8031
/proc/meminfo: memFree=28086496/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1421.89 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 142125 64 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543449976 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.47 2.39 2.28 3/183 8032
/proc/meminfo: memFree=28085796/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1481.88 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 148122 66 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 5827824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.27 2.35 2.27 3/183 8034
/proc/meminfo: memFree=28085812/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1541.87 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 154120 67 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 13193852 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.14 2.29 2.26 3/183 8035
/proc/meminfo: memFree=28085144/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1601.86 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 160116 70 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.16 2.27 2.25 3/183 8036
/proc/meminfo: memFree=28085932/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1661.86 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 166113 73 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.15 2.25 2.25 3/183 8037
/proc/meminfo: memFree=28085932/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1721.84 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 172109 75 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 12483226 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.18 2.24 2.24 3/183 8038
/proc/meminfo: memFree=28085436/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1781.83 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 178107 76 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.25 2.25 3/183 8038
/proc/meminfo: memFree=28085688/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1800.03 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 179927 76 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 5546200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.25 2.25 3/183 8038
/proc/meminfo: memFree=28085688/32872528 swapFree=15644/1722384
[pid=7942] ppid=7939 vsize=1313348 CPUtime=1800.03 cores=0,2,4,6
/proc/7942/stat : 7942 (toysat) R 7939 7942 4315 0 -1 4202496 269837 0 0 0 179927 76 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 140735543432704 5546200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7942/statm: 328337 270331 886 2943 0 325231 0
[pid=7942/tid=7943] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7943/stat : 7943 (toysat) S 7939 7942 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785637178608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7942/tid=7944] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7944/stat : 7944 (toysat) S 7939 7942 4315 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785549098224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7942/tid=7945] ppid=7939 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7942/task/7945/stat : 7945 (toysat) S 7939 7942 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110260544 1344868352 270331 33554432000 4194304 16246674 140735543450800 139785538624688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.28
CPU system time (s): 0.768883
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.768883
maximum resident set size= 1081324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269837
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= 334
involuntary context switches= 1939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 6.91695 second system time

The end

Begin job on node120 at 2016-06-07 09:07:50
IDJOB=4078949
IDBENCH=90129
IDSOLVER=2542
FILE ID=node120/4078949-1465283269
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 0d56c20200c8726f988a44319a68d2e3
RANDOM SEED=585147228

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        29172352 kB
Buffers:           56244 kB
Cached:            93748 kB
SwapCached:          820 kB
Active:          1165168 kB
Inactive:          64020 kB
Active(anon):    1076856 kB
Inactive(anon):     4756 kB
Active(file):      88312 kB
Inactive(file):    59264 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2885244 kB
Mapped:            11880 kB
Shmem:                 0 kB
Slab:             612488 kB
SReclaimable:      56620 kB
SUnreclaim:       555868 kB
KernelStack:        1520 kB
PageTables:         9452 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2948120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1794048 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 node120 at 2016-06-07 09:37:50