0.00/0.00	c 2016-06-07T09:05:55+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-4078927-1465283154.opb"]
0.00/0.01	c use --random-gen="1718685964 1793618006 419523555 1862581920 2871260717 1066339285 143093059 1602835218 1091226232 3906079312 1638301415 632738860 4077681576 235861463 1659247184 2936309817 2220583847 1584839935 1759142172 4144413290 2257987137 2383928356 1146057141 2943615137 3737590012 3224483540 243305342 1244727742 425470728 3913756624 2248262232 548233307 1008314602 820935713 1844876181 3108602031 1165047387 2022600642 4115263990 102802129 209737053 3396582075 3467591624 4077442355 4077378218 747512733 4068806946 64517466 3442215558 88104200 2613772875 732360560 2447380774 2557733972 943483321 2788008383 356150694 222035178 269759534 2490126898 61657034 1275975370 2723785688 1040747663 3037649454 3169410061 3893406098 3573359381 4087725430 3052211805 2562771915 3483497329 1645170770 2327700301 393868540 3390429967 1611491320 2557391690 2742344272 1039685422 2910606887 4042692994 3624768472 4079012190 2933835972 1077729 3488057003 4251674245 1947520001 533002162 1619278142 4015694489 2191468047 848937908 2214559088 253395678 2328934758 3383999267 1407413705 1585716911 948145997 2703499459 4251831151 3118606236 3644117781 2980180062 428122136 1166425578 1506347960 147394787 480080645 2968932595 1831569996 1052227223 624525975 826476943 3981608461 3116754484 1055959775 2097686464 954944062 4110182853 1227613285 796904907 2559459823 3392628488 1595497368 1610439008 2432979468 2946137304 4064640013 164516857 1452989657 1733670889 399870445 523962702 1130070215 1734398823 4213137860 1146454026 1731272483 1371123104 3458223844 3245084624 2560831500 2138172254 2855851669 1450299538 110052437 1504541134 2116157814 3128668048 3864553000 3876314947 1892368320 1094582104 2280387086 2266979918 3961347941 2641199567 492009094 1814375952 3475586587 3041898507 3272612992 3106955546 700561379 2844052208 2968002511 1281074542 939813844 192338614 2299377049 2491932691 1366765706 1400246265 630066597 2921005289 2373286502 1968801701 2602909001 1702611584 71393819 762445590 1619971268 1625998785 2697746803 2851358666 1318763469 1422100285 1498862815 1973653228 982357855 2099622607 1779237219 1937979781 2515131679 3566005645 2626964849 2925383624 298820274 4277294562 1762579372 3006754674 3827538429 3328808437 1899963006 114923687 1497916983 1383509272 434874390 773430140 4087067604 2864946752 558038860 4158844586 62874030 4123972597 2412101215 2717442820 2433560134 147642209 678476191 2585753984 1420500968 2471467931 640453808 4057348288 1923315994 118619964 3447643414 185936004 3603697901 27655685 615220906 2206021720 2450211616 2252673714 1653491252 3857510526 1289116121 1079687269 2393838026 1714101996 3774612381 922683815 3951106219 3870945072 2512612272 2077906625 3281210504 1418400624 3315487182 2144306746 990574804 1298665486 255 362436" option to reproduce the execution
0.09/0.12	c #vars 7208
0.09/0.12	c #constraints 7422
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 |     4876      0 |      362 |        0
0.39/0.44	c  0.2s |       1 |     6181 |      100 |     4876      0 |      363 |      304
0.59/0.65	c  0.4s |       2 |     9030 |      250 |     5364      0 |      363 |      304
0.89/0.91	c  0.7s |       3 |    17009 |      475 |     5901      0 |      363 |      304
1.29/1.39	c  1.1s |       4 |    22256 |      813 |     6492      0 |      363 |      304
1.99/2.05	c  1.8s |       5 |    38512 |     1320 |     7142      0 |      363 |      304
2.99/3.08	c  2.8s |       6 |    53059 |     2081 |     8643      0 |      365 |      306
4.59/4.62	c  4.4s |       7 |    86954 |     3223 |     9508      0 |      372 |      313
6.60/6.64	c  6.4s |       7 |   117528 |     4723 |     9508      0 |      374 |      315
6.89/6.93	c  6.7s |       8 |   119496 |     4936 |    10459      0 |      374 |      315
8.99/9.00	c  8.7s |       8 |   150301 |     6336 |    10459      0 |      376 |      317
10.79/10.83	c 10.6s |       9 |   163904 |     7506 |    11505      0 |      376 |      317
12.89/12.96	c 12.7s |       9 |   168898 |     8606 |    11505      0 |      376 |      317
15.19/15.25	c 15.0s |       9 |   171096 |     9306 |    11505      0 |      376 |      317
17.39/17.48	c 17.2s |       9 |   173646 |    10006 |    11505      0 |      376 |      317
19.59/19.65	c 19.4s |       9 |   175065 |    10506 |    11505      0 |      376 |      317
22.18/22.25	c 22.0s |       9 |   176590 |    11006 |    11505      0 |      376 |      317
24.29/24.31	c 24.0s |       9 |   177621 |    11306 |    12656      0 |      376 |      317
24.68/24.70	c 24.4s |      10 |   177740 |    11361 |    12656      0 |      376 |      317
26.68/26.75	c 26.5s |      10 |   197377 |    12361 |    12656      0 |      376 |      317
29.08/29.12	c 28.9s |      10 |   212027 |    13461 |    12656      0 |      378 |      319
31.48/31.51	c 31.2s |      10 |   216125 |    14261 |    12656      0 |      378 |      319
33.58/33.64	c 33.4s |      10 |   218824 |    15061 |    12656      0 |      378 |      319
35.68/35.80	c 35.5s |      10 |   220863 |    15661 |    12656      0 |      378 |      319
37.78/37.80	c 37.5s |      10 |   222881 |    16261 |    12656      0 |      378 |      319
40.08/40.11	c 39.8s |      10 |   224317 |    16761 |    12656      0 |      378 |      319
41.58/41.65	c 41.4s |      11 |   225547 |    17144 |    13922      0 |      378 |      319
43.58/43.68	c 43.4s |      11 |   249231 |    18144 |    13922      1 |      378 |      319
45.68/45.77	c 45.5s |      11 |   263486 |    19144 |    13922      1 |      380 |      321
47.78/47.80	c 47.5s |      11 |   283037 |    20644 |    13922      1 |      380 |      321
49.78/49.82	c 49.6s |      11 |   297743 |    21944 |    13922      1 |      380 |      321
51.89/51.96	c 51.7s |      11 |   299740 |    22544 |    13922      1 |      380 |      321
54.08/54.15	c 53.9s |      11 |   302110 |    23244 |    13922      1 |      380 |      321
56.09/56.19	c 55.9s |      11 |   303702 |    23844 |    13922      1 |      380 |      321
58.68/58.72	c 58.5s |      11 |   305186 |    24444 |    13922      1 |      380 |      321
60.98/61.01	c 60.8s |      11 |   306199 |    24944 |    13922      1 |      380 |      321
63.38/63.41	c 63.2s |      11 |   306899 |    25244 |    13922      1 |      380 |      321
64.89/64.96	c 64.7s |      12 |   310752 |    25819 |    15315      1 |      380 |      321
66.98/67.04	c 66.8s |      12 |   319741 |    26719 |    15315      2 |      380 |      321
69.29/69.33	c 69.1s |      12 |   349036 |    28219 |    15315      2 |      381 |      322
71.38/71.43	c 71.2s |      12 |   368692 |    29519 |    15315      2 |      381 |      322
73.48/73.55	c 73.3s |      12 |   376693 |    30519 |    15315      2 |      381 |      322
75.78/75.80	c 75.5s |      12 |   403663 |    31719 |    15315      2 |      382 |      323
77.88/77.95	c 77.7s |      12 |   421276 |    32819 |    15315      2 |      382 |      323
79.98/80.01	c 79.8s |      12 |   442162 |    34119 |    15315      2 |      382 |      323
82.08/82.13	c 81.9s |      12 |   459410 |    34919 |    15315      3 |      384 |      325
84.08/84.16	c 83.9s |      12 |   486948 |    36319 |    15315      3 |      384 |      325
86.28/86.30	c 86.0s |      12 |   510940 |    37519 |    15315      3 |      384 |      325
88.38/88.47	c 88.2s |      12 |   527107 |    38619 |    16847      3 |      384 |      325
88.78/88.89	c 88.6s |      13 |   531833 |    38832 |    16847      3 |      384 |      325
90.88/90.97	c 90.7s |      13 |   547792 |    39832 |    16847      3 |      385 |      326
92.87/92.98	c 92.7s |      13 |   579585 |    40932 |    16847      3 |      385 |      326
95.17/95.22	c 95.0s |      13 |   602807 |    42032 |    16847      3 |      386 |      327
97.37/97.42	c 97.2s |      13 |   626950 |    43332 |    16847      3 |      386 |      327
99.37/99.42	c 99.2s |      13 |   643144 |    44432 |    16847      4 |      386 |      327
101.37/101.49	c  101s |      13 |   670857 |    45632 |    16847      4 |      387 |      328
103.57/103.60	c  103s |      13 |   687615 |    46832 |    16847      4 |      387 |      328
105.58/105.68	c  105s |      13 |   710206 |    48232 |    16847      4 |      387 |      328
107.67/107.72	c  107s |      13 |   731953 |    49532 |    16847      4 |      387 |      328
109.77/109.88	c  109s |      13 |   755621 |    50732 |    16847      4 |      387 |      328
111.87/111.92	c  111s |      13 |   769626 |    51732 |    16847      4 |      387 |      328
113.97/114.07	c  113s |      13 |   782083 |    52832 |    16847      4 |      387 |      328
116.17/116.27	c  116s |      13 |   797805 |    54032 |    16847      4 |      387 |      328
118.27/118.32	c  118s |      13 |   808942 |    54932 |    16847      5 |      387 |      328
120.27/120.39	c  120s |      13 |   825012 |    56032 |    16847      5 |      387 |      328
122.38/122.49	c  122s |      13 |   853475 |    57532 |    16847      5 |      388 |      329
123.58/123.62	c  123s |      14 |   869032 |    58352 |    18532      5 |      388 |      329
125.67/125.72	c  125s |      14 |   889546 |    59352 |    18532      5 |      389 |      330
127.77/127.87	c  127s |      14 |   904736 |    60552 |    18532      5 |      389 |      330
129.97/130.00	c  129s |      14 |   907152 |    61452 |    18532      5 |      389 |      330
132.17/132.23	c  131s |      14 |   913415 |    62352 |    18532      5 |      389 |      330
134.28/134.38	c  134s |      14 |   915348 |    63052 |    18532      5 |      389 |      330
136.48/136.57	c  136s |      14 |   921508 |    63752 |    18532      5 |      389 |      330
138.58/138.62	c  138s |      14 |   938686 |    64952 |    18532      6 |      389 |      330
140.57/140.62	c  140s |      14 |   950188 |    66152 |    18532      6 |      389 |      330
142.67/142.71	c  142s |      14 |   968839 |    67452 |    18532      6 |      389 |      330
144.67/144.76	c  144s |      14 |   989714 |    68652 |    18532      6 |      389 |      330
146.77/146.89	c  146s |      14 |  1010221 |    69852 |    18532      6 |      389 |      330
148.97/149.01	c  148s |      14 |  1032074 |    71052 |    18532      6 |      389 |      330
151.17/151.26	c  151s |      14 |  1038294 |    71752 |    18532      6 |      389 |      330
153.37/153.41	c  153s |      14 |  1042692 |    72652 |    18532      6 |      389 |      330
155.37/155.49	c  155s |      14 |  1044075 |    73052 |    18532      6 |      389 |      330
157.47/157.56	c  157s |      14 |  1046501 |    73652 |    18532      6 |      389 |      330
159.58/159.61	c  159s |      14 |  1047578 |    73952 |    18532      6 |      389 |      330
162.07/162.19	c  161s |      14 |  1048909 |    74352 |    18532      6 |      389 |      330
164.27/164.39	c  164s |      14 |  1049840 |    74652 |    18532      6 |      389 |      330
167.07/167.19	c  166s |      14 |  1051359 |    74952 |    18532      6 |      389 |      330
169.37/169.45	c  169s |      14 |  1052415 |    75252 |    18532      6 |      389 |      330
171.47/171.54	c  171s |      14 |  1052913 |    75452 |    18532      6 |      389 |      330
173.67/173.80	c  173s |      14 |  1054898 |    75852 |    18532      6 |      389 |      330
175.97/176.06	c  175s |      14 |  1057728 |    76352 |    18532      6 |      389 |      330
178.17/178.27	c  178s |      14 |  1059710 |    76852 |    18532      6 |      389 |      330
180.26/180.34	c  180s |      14 |  1067922 |    77752 |    18532      7 |      389 |      330
182.36/182.42	c  182s |      14 |  1085360 |    78952 |    18532      7 |      389 |      330
184.46/184.56	c  184s |      14 |  1089606 |    79852 |    18532      7 |      389 |      330
186.56/186.66	c  186s |      14 |  1104421 |    80952 |    18532      7 |      389 |      330
188.66/188.77	c  188s |      14 |  1121902 |    82052 |    18532      7 |      389 |      330
190.86/190.94	c  190s |      14 |  1141387 |    83252 |    18532      7 |      389 |      330
192.96/193.04	c  192s |      14 |  1149346 |    84152 |    18532      7 |      389 |      330
195.06/195.15	c  194s |      14 |  1154323 |    84952 |    18532      7 |      389 |      330
197.06/197.19	c  196s |      14 |  1171564 |    86052 |    18532      7 |      389 |      330
199.66/199.75	c  199s |      14 |  1180432 |    87052 |    20386      8 |      389 |      330
201.66/201.79	c  201s |      15 |  1185956 |    87632 |    20386      8 |      389 |      330
203.76/203.86	c  203s |      15 |  1206461 |    89032 |    20386      8 |      389 |      330
205.76/205.88	c  205s |      15 |  1221735 |    90132 |    20386      8 |      390 |      331
207.86/207.95	c  207s |      15 |  1242406 |    91532 |    20386      8 |      390 |      331
209.86/209.96	c  209s |      15 |  1256818 |    92632 |    20386      8 |      391 |      332
211.85/211.97	c  211s |      15 |  1272159 |    93832 |    20386      8 |      391 |      332
214.05/214.18	c  213s |      15 |  1279854 |    95032 |    20386      8 |      391 |      332
216.15/216.27	c  216s |      15 |  1294948 |    96132 |    20386      8 |      391 |      332
218.25/218.38	c  218s |      15 |  1307980 |    97332 |    20386      8 |      391 |      332
220.25/220.39	c  220s |      15 |  1313800 |    98232 |    20386      8 |      391 |      332
222.35/222.43	c  222s |      15 |  1317828 |    99032 |    20386      8 |      391 |      332
224.46/224.58	c  224s |      15 |  1320830 |    99832 |    20386      8 |      391 |      332
226.66/226.71	c  226s |      15 |  1323602 |   100432 |    20386      8 |      391 |      332
228.65/228.73	c  228s |      15 |  1332506 |   101332 |    20386      9 |      392 |      333
230.75/230.81	c  230s |      15 |  1352266 |   102832 |    20386      9 |      392 |      333
232.85/232.90	c  232s |      15 |  1377418 |   104132 |    20386      9 |      393 |      334
234.85/234.93	c  234s |      15 |  1393542 |   105532 |    20386      9 |      393 |      334
237.05/237.14	c  236s |      15 |  1408433 |   106832 |    20386      9 |      393 |      334
239.15/239.22	c  238s |      15 |  1434617 |   108132 |    20386      9 |      393 |      334
241.15/241.26	c  241s |      15 |  1455723 |   109432 |    20386      9 |      393 |      334
243.25/243.33	c  243s |      15 |  1471864 |   110532 |    20386     10 |      393 |      334
245.45/245.58	c  245s |      15 |  1481540 |   111532 |    20386     10 |      393 |      334
247.56/247.69	c  247s |      15 |  1505296 |   112832 |    20386     10 |      393 |      334
249.66/249.77	c  249s |      15 |  1527719 |   114032 |    20386     10 |      394 |      335
251.86/251.95	c  251s |      15 |  1547883 |   115432 |    20386     10 |      394 |      335
253.86/253.96	c  253s |      15 |  1564017 |   116432 |    20386     10 |      394 |      335
255.96/256.02	c  255s |      15 |  1583954 |   117532 |    20386     10 |      394 |      335
258.05/258.16	c  257s |      15 |  1601121 |   118832 |    20386     10 |      394 |      335
260.25/260.30	c  260s |      15 |  1623288 |   119932 |    20386     10 |      395 |      336
262.25/262.39	c  262s |      15 |  1637567 |   121032 |    20386     11 |      395 |      336
264.45/264.52	c  264s |      15 |  1671335 |   122532 |    20386     11 |      396 |      337
266.55/266.63	c  266s |      15 |  1699023 |   123932 |    20386     11 |      396 |      337
268.65/268.75	c  268s |      15 |  1717209 |   125232 |    20386     11 |      396 |      337
270.85/270.99	c  270s |      15 |  1740229 |   126332 |    20386     11 |      396 |      337
273.05/273.12	c  272s |      15 |  1742528 |   126932 |    20386     11 |      396 |      337
275.45/275.56	c  275s |      15 |  1743869 |   127432 |    20386     11 |      396 |      337
277.85/277.94	c  277s |      15 |  1744778 |   127832 |    20386     11 |      396 |      337
280.25/280.35	c  280s |      15 |  1746949 |   128432 |    20386     11 |      396 |      337
282.66/282.78	c  282s |      15 |  1748191 |   128832 |    20386     11 |      396 |      337
284.65/284.79	c  284s |      15 |  1765395 |   130032 |    20386     11 |      396 |      337
286.75/286.82	c  286s |      15 |  1769414 |   130932 |    22425     11 |      396 |      337
287.75/287.85	c  287s |      16 |  1778440 |   131552 |    22425     11 |      396 |      337
289.85/289.90	c  289s |      16 |  1794329 |   132652 |    22425     11 |      396 |      337
291.95/292.03	c  291s |      16 |  1817333 |   133852 |    22425     11 |      396 |      337
293.95/294.09	c  293s |      16 |  1839148 |   135152 |    22425     12 |      396 |      337
296.05/296.19	c  295s |      16 |  1860859 |   136452 |    22425     12 |      397 |      338
298.25/298.31	c  298s |      16 |  1884297 |   137652 |    22425     12 |      397 |      338
300.25/300.37	c  300s |      16 |  1908062 |   139152 |    22425     12 |      397 |      338
302.25/302.39	c  302s |      16 |  1921439 |   140452 |    22425     12 |      397 |      338
304.35/304.47	c  304s |      16 |  1947426 |   141852 |    22425     12 |      397 |      338
306.45/306.57	c  306s |      16 |  1963348 |   143152 |    22425     12 |      397 |      338
308.55/308.63	c  308s |      16 |  1979816 |   144352 |    22425     12 |      397 |      338
310.85/310.94	c  310s |      16 |  1982887 |   145252 |    22425     12 |      397 |      338
312.94/313.02	c  312s |      16 |  1985867 |   145952 |    22425     12 |      397 |      338
315.44/315.51	c  315s |      16 |  1990551 |   146652 |    22425     13 |      397 |      338
317.44/317.57	c  317s |      16 |  2006356 |   148052 |    22425     13 |      397 |      338
319.64/319.78	c  319s |      16 |  2020088 |   149352 |    22425     13 |      397 |      338
321.74/321.82	c  321s |      16 |  2023288 |   150152 |    22425     13 |      397 |      338
323.74/323.85	c  323s |      16 |  2034410 |   151252 |    22425     13 |      397 |      338
325.74/325.86	c  325s |      16 |  2055915 |   152452 |    22425     13 |      397 |      338
327.85/327.97	c  327s |      16 |  2077965 |   153852 |    22425     13 |      397 |      338
329.95/330.09	c  329s |      16 |  2098320 |   155152 |    22425     13 |      397 |      338
332.04/332.11	c  331s |      16 |  2119662 |   156352 |    22425     13 |      397 |      338
334.14/334.29	c  334s |      16 |  2133429 |   157352 |    22425     13 |      397 |      338
336.65/336.72	c  336s |      16 |  2150245 |   158452 |    22425     14 |      397 |      338
338.94/339.05	c  338s |      16 |  2153489 |   159352 |    22425     14 |      397 |      338
341.05/341.11	c  340s |      16 |  2167910 |   160452 |    22425     14 |      397 |      338
343.04/343.17	c  342s |      16 |  2189373 |   161752 |    22425     14 |      397 |      338
345.14/345.28	c  345s |      16 |  2210660 |   162952 |    22425     14 |      397 |      338
347.34/347.41	c  347s |      16 |  2235077 |   164352 |    22425     14 |      397 |      338
349.44/349.59	c  349s |      16 |  2250330 |   165552 |    22425     14 |      397 |      338
351.54/351.69	c  351s |      16 |  2270851 |   166752 |    22425     14 |      397 |      338
353.74/353.84	c  353s |      16 |  2278154 |   167552 |    22425     14 |      397 |      338
355.93/356.03	c  355s |      16 |  2295498 |   168652 |    22425     14 |      397 |      338
357.93/358.08	c  357s |      16 |  2308327 |   169552 |    22425     15 |      398 |      339
359.93/360.09	c  359s |      16 |  2331599 |   170952 |    22425     15 |      398 |      339
362.13/362.25	c  361s |      16 |  2336654 |   171752 |    22425     15 |      398 |      339
364.14/364.26	c  364s |      16 |  2358370 |   173152 |    22425     15 |      398 |      339
366.34/366.41	c  366s |      16 |  2380820 |   174452 |    22425     15 |      398 |      339
368.33/368.43	c  368s |      16 |  2398098 |   175652 |    22425     15 |      398 |      339
370.33/370.46	c  370s |      16 |  2414561 |   177052 |    22425     15 |      398 |      339
372.53/372.61	c  372s |      16 |  2434348 |   178652 |    22425     15 |      398 |      339
374.53/374.61	c  374s |      16 |  2445532 |   179652 |    22425     15 |      398 |      339
376.53/376.64	c  376s |      16 |  2462072 |   180652 |    22425     15 |      398 |      339
378.63/378.77	c  378s |      16 |  2478126 |   181752 |    22425     15 |      398 |      339
380.64/380.79	c  380s |      16 |  2494673 |   182852 |    22425     16 |      398 |      339
382.74/382.81	c  382s |      16 |  2513347 |   184252 |    22425     16 |      398 |      339
384.94/385.02	c  384s |      16 |  2536728 |   185652 |    22425     16 |      399 |      340
387.03/387.15	c  386s |      16 |  2554925 |   186952 |    22425     16 |      399 |      340
389.23/389.31	c  389s |      16 |  2565787 |   188252 |    22425     16 |      399 |      340
391.33/391.46	c  391s |      16 |  2589997 |   189652 |    22425     16 |      399 |      340
393.33/393.46	c  393s |      16 |  2608263 |   190752 |    22425     16 |      399 |      340
395.43/395.59	c  395s |      16 |  2618829 |   191952 |    22425     16 |      399 |      340
397.63/397.71	c  397s |      16 |  2630615 |   193052 |    22425     16 |      399 |      340
399.83/400.00	c  399s |      16 |  2633296 |   193852 |    22425     16 |      399 |      340
401.93/402.05	c  401s |      16 |  2637788 |   194752 |    22425     16 |      399 |      340
404.03/404.10	c  403s |      16 |  2642097 |   195552 |    22425     16 |      399 |      340
406.13/406.25	c  405s |      16 |  2644808 |   196152 |    24668     16 |      399 |      340
408.43/408.55	c  408s |      16 |  2654929 |   197052 |    24668     17 |      399 |      340
408.93/409.07	c  408s |      17 |  2662702 |   197432 |    24668     17 |      399 |      340
411.03/411.10	c  410s |      17 |  2686327 |   198832 |    24668     17 |      399 |      340
413.13/413.25	c  412s |      17 |  2690054 |   199532 |    24668     17 |      399 |      340
415.23/415.31	c  415s |      17 |  2703066 |   200632 |    24668     17 |      399 |      340
417.33/417.41	c  417s |      17 |  2722444 |   201832 |    24668     17 |      399 |      340
419.33/419.42	c  419s |      17 |  2745120 |   203032 |    24668     17 |      399 |      340
421.33/421.49	c  421s |      17 |  2750486 |   203732 |    24668     17 |      399 |      340
423.53/423.68	c  423s |      17 |  2751344 |   204132 |    24668     17 |      399 |      340
425.73/425.87	c  425s |      17 |  2752218 |   204432 |    24668     17 |      399 |      340
427.83/428.00	c  427s |      17 |  2756059 |   204932 |    24668     17 |      399 |      340
429.92/430.07	c  429s |      17 |  2770251 |   205932 |    24668     17 |      399 |      340
432.02/432.16	c  431s |      17 |  2783850 |   206932 |    24668     17 |      399 |      340
434.12/434.22	c  433s |      17 |  2808786 |   208032 |    24668     17 |      399 |      340
436.52/436.64	c  436s |      17 |  2827186 |   209232 |    24668     18 |      399 |      340
438.62/438.79	c  438s |      17 |  2855826 |   210932 |    24668     18 |      399 |      340
440.72/440.83	c  440s |      17 |  2870941 |   212232 |    24668     18 |      399 |      340
442.72/442.89	c  442s |      17 |  2894565 |   213732 |    24668     18 |      399 |      340
444.92/445.00	c  444s |      17 |  2905654 |   214732 |    24668     18 |      399 |      340
446.92/447.03	c  446s |      17 |  2926052 |   215932 |    24668     18 |      399 |      340
449.02/449.15	c  448s |      17 |  2940652 |   217232 |    24668     18 |      399 |      340
451.12/451.27	c  451s |      17 |  2965116 |   218532 |    24668     18 |      399 |      340
453.32/453.41	c  453s |      17 |  2986627 |   219832 |    24668     18 |      399 |      340
455.42/455.53	c  455s |      17 |  3003085 |   220932 |    24668     18 |      400 |      341
457.52/457.65	c  457s |      17 |  3012281 |   221832 |    24668     18 |      400 |      341
460.02/460.17	c  459s |      17 |  3016232 |   222432 |    24668     19 |      400 |      341
462.11/462.29	c  462s |      17 |  3028891 |   223632 |    24668     19 |      400 |      341
464.22/464.31	c  464s |      17 |  3047916 |   224832 |    24668     19 |      400 |      341
466.52/466.69	c  466s |      17 |  3071446 |   226132 |    24668     19 |      400 |      341
468.92/469.07	c  468s |      17 |  3076594 |   226932 |    24668     19 |      400 |      341
471.12/471.24	c  470s |      17 |  3078351 |   227532 |    24668     19 |      400 |      341
473.12/473.29	c  473s |      17 |  3100245 |   229032 |    24668     19 |      400 |      341
475.32/475.41	c  475s |      17 |  3125511 |   230332 |    24668     19 |      400 |      341
477.42/477.54	c  477s |      17 |  3136178 |   231332 |    24668     19 |      400 |      341
479.52/479.61	c  479s |      17 |  3145042 |   232532 |    24668     19 |      400 |      341
482.21/482.35	c  482s |      17 |  3150335 |   233432 |    24668     19 |      400 |      341
484.52/484.66	c  484s |      17 |  3151984 |   233832 |    24668     19 |      400 |      341
486.82/486.99	c  486s |      17 |  3154224 |   234432 |    24668     19 |      400 |      341
489.12/489.22	c  488s |      17 |  3163947 |   235332 |    24668     19 |      400 |      341
491.12/491.26	c  491s |      17 |  3175358 |   236232 |    24668     20 |      400 |      341
493.52/493.63	c  493s |      17 |  3183971 |   237232 |    24668     20 |      400 |      341
495.81/495.99	c  495s |      17 |  3185736 |   237732 |    24668     20 |      400 |      341
497.91/498.03	c  497s |      17 |  3206661 |   239332 |    24668     20 |      400 |      341
499.91/500.03	c  499s |      17 |  3222252 |   240632 |    24668     20 |      400 |      341
502.01/502.17	c  501s |      17 |  3248712 |   242032 |    24668     20 |      400 |      341
504.21/504.32	c  504s |      17 |  3266356 |   243432 |    24668     20 |      400 |      341
506.31/506.43	c  506s |      17 |  3282751 |   244632 |    24668     20 |      400 |      341
508.31/508.48	c  508s |      17 |  3302954 |   245932 |    24668     20 |      400 |      341
510.61/510.74	c  510s |      17 |  3318698 |   247132 |    24668     20 |      400 |      341
512.62/512.80	c  512s |      17 |  3323471 |   247632 |    24668     20 |      400 |      341
514.72/514.83	c  514s |      17 |  3343001 |   248732 |    24668     21 |      400 |      341
516.82/516.96	c  516s |      17 |  3367671 |   250332 |    24668     21 |      400 |      341
519.22/519.32	c  519s |      17 |  3383300 |   251832 |    24668     21 |      400 |      341
521.21/521.34	c  521s |      17 |  3390354 |   252932 |    24668     21 |      400 |      341
523.41/523.54	c  523s |      17 |  3393131 |   253732 |    24668     21 |      400 |      341
525.72/525.81	c  525s |      17 |  3394470 |   254132 |    24668     21 |      400 |      341
528.11/528.29	c  528s |      17 |  3396059 |   254632 |    24668     21 |      400 |      341
530.31/530.42	c  530s |      17 |  3411169 |   255432 |    24668     21 |      400 |      341
532.31/532.43	c  532s |      17 |  3428582 |   256332 |    24668     21 |      400 |      341
534.31/534.44	c  534s |      17 |  3454371 |   257632 |    24668     21 |      400 |      341
536.51/536.64	c  536s |      17 |  3468513 |   258932 |    24668     21 |      400 |      341
538.60/538.71	c  538s |      17 |  3472538 |   259832 |    24668     21 |      400 |      341
540.60/540.72	c  540s |      17 |  3474858 |   260532 |    24668     21 |      400 |      341
542.70/542.85	c  542s |      17 |  3476752 |   261132 |    24668     21 |      400 |      341
544.80/544.92	c  544s |      17 |  3478238 |   261632 |    24668     21 |      400 |      341
547.00/547.11	c  546s |      17 |  3479305 |   261932 |    24668     22 |      400 |      341
549.00/549.11	c  548s |      17 |  3508797 |   263632 |    24668     22 |      400 |      341
551.20/551.34	c  551s |      17 |  3518759 |   264732 |    24668     22 |      400 |      341
553.31/553.45	c  553s |      17 |  3531800 |   266032 |    24668     22 |      400 |      341
555.41/555.56	c  555s |      17 |  3549766 |   267332 |    24668     22 |      400 |      341
557.40/557.56	c  557s |      17 |  3560791 |   268532 |    24668     22 |      400 |      341
559.40/559.59	c  559s |      17 |  3576810 |   269632 |    24668     22 |      400 |      341
561.51/561.63	c  561s |      17 |  3599138 |   271032 |    24668     22 |      400 |      341
563.61/563.80	c  563s |      17 |  3615039 |   272332 |    24668     23 |      400 |      341
565.90/566.05	c  565s |      17 |  3618511 |   273332 |    24668     23 |      400 |      341
568.10/568.25	c  567s |      17 |  3627528 |   274632 |    24668     23 |      400 |      341
570.60/570.72	c  570s |      17 |  3632371 |   275632 |    24668     23 |      400 |      341
572.70/572.83	c  572s |      17 |  3634306 |   276132 |    24668     23 |      400 |      341
574.70/574.85	c  574s |      17 |  3635659 |   276532 |    24668     23 |      400 |      341
577.59/577.71	c  577s |      17 |  3636705 |   276932 |    24668     23 |      400 |      341
580.09/580.25	c  579s |      17 |  3637756 |   277332 |    24668     23 |      400 |      341
582.39/582.55	c  582s |      17 |  3638530 |   277632 |    24668     23 |      400 |      341
584.70/584.83	c  584s |      17 |  3639152 |   277932 |    24668     23 |      400 |      341
587.30/587.44	c  587s |      17 |  3639854 |   278232 |    24668     23 |      400 |      341
589.70/589.84	c  589s |      17 |  3641156 |   278632 |    24668     23 |      400 |      341
592.20/592.39	c  592s |      17 |  3643647 |   279232 |    24668     23 |      400 |      341
594.69/594.80	c  594s |      17 |  3645616 |   279732 |    24668     23 |      400 |      341
597.20/597.40	c  597s |      17 |  3647739 |   280232 |    24668     23 |      400 |      341
599.59/599.72	c  599s |      17 |  3649252 |   280732 |    24668     23 |      400 |      341
601.70/601.81	c  601s |      17 |  3650089 |   281032 |    24668     23 |      400 |      341
603.99/604.16	c  603s |      17 |  3651452 |   281432 |    24668     23 |      400 |      341
607.09/607.26	c  607s |      17 |  3651988 |   281732 |    24668     23 |      400 |      341
609.59/609.77	c  609s |      17 |  3653489 |   282132 |    24668     23 |      400 |      341
611.59/611.79	c  611s |      17 |  3654749 |   282432 |    24668     23 |      400 |      341
613.98/614.13	c  613s |      17 |  3655521 |   282732 |    24668     23 |      400 |      341
616.99/617.16	c  616s |      17 |  3656269 |   283032 |    24668     23 |      400 |      341
618.98/619.16	c  618s |      17 |  3656573 |   283232 |    24668     23 |      400 |      341
621.68/621.82	c  621s |      17 |  3657207 |   283432 |    24668     23 |      400 |      341
624.48/624.65	c  624s |      17 |  3657805 |   283732 |    24668     23 |      400 |      341
626.48/626.68	c  626s |      17 |  3658569 |   284032 |    24668     23 |      400 |      341
628.68/628.88	c  628s |      17 |  3659420 |   284332 |    24668     23 |      400 |      341
630.87/631.07	c  630s |      17 |  3660527 |   284632 |    24668     23 |      400 |      341
633.17/633.31	c  633s |      17 |  3661658 |   284932 |    24668     23 |      400 |      341
636.27/636.41	c  636s |      17 |  3662457 |   285232 |    24668     23 |      400 |      341
638.67/638.84	c  638s |      17 |  3662864 |   285432 |    24668     23 |      400 |      341
640.67/640.86	c  640s |      17 |  3664361 |   285732 |    24668     24 |      400 |      341
642.97/643.14	c  642s |      17 |  3668490 |   286632 |    24668     24 |      400 |      341
645.07/645.28	c  645s |      17 |  3669233 |   286932 |    24668     24 |      400 |      341
647.27/647.41	c  647s |      17 |  3671649 |   287632 |    24668     24 |      400 |      341
649.57/649.75	c  649s |      17 |  3673394 |   288232 |    24668     24 |      400 |      341
651.57/651.79	c  651s |      17 |  3675305 |   288832 |    24668     24 |      400 |      341
653.77/653.90	c  653s |      17 |  3676187 |   289132 |    24668     24 |      400 |      341
655.97/656.18	c  655s |      17 |  3681251 |   290132 |    24668     24 |      400 |      341
658.37/658.51	c  658s |      17 |  3684269 |   290832 |    24668     24 |      400 |      341
660.57/660.77	c  660s |      17 |  3685685 |   291232 |    24668     24 |      400 |      341
662.96/663.18	c  662s |      17 |  3688197 |   291732 |    24668     24 |      400 |      341
665.47/665.65	c  665s |      17 |  3691540 |   292432 |    24668     24 |      400 |      341
667.86/668.06	c  667s |      17 |  3693642 |   293032 |    24668     24 |      400 |      341
669.96/670.17	c  669s |      17 |  3694647 |   293432 |    24668     24 |      400 |      341
672.85/673.02	c  672s |      17 |  3696269 |   293832 |    24668     24 |      400 |      341
675.05/675.29	c  675s |      17 |  3696806 |   294032 |    24668     24 |      400 |      341
677.25/677.47	c  677s |      17 |  3699798 |   294332 |    27135     24 |      400 |      341
679.45/679.67	c  679s |      17 |  3702087 |   295132 |    27135     24 |      400 |      341
681.65/681.81	c  681s |      17 |  3703023 |   295532 |    27135     24 |      400 |      341
684.16/684.36	c  684s |      17 |  3704223 |   296032 |    27135     24 |      400 |      341
685.55/685.71	c  685s |      18 |  3705417 |   296252 |    27135     24 |      400 |      341
687.65/687.87	c  687s |      18 |  3719593 |   297452 |    27135     24 |      400 |      341
689.85/690.05	c  689s |      18 |  3732306 |   298652 |    27135     24 |      400 |      341
691.95/692.11	c  691s |      18 |  3746003 |   299852 |    27135     24 |      400 |      341
693.95/694.13	c  693s |      18 |  3753301 |   300752 |    27135     25 |      400 |      341
695.95/696.17	c  695s |      18 |  3769769 |   302452 |    27135     25 |      401 |      342
698.15/698.36	c  698s |      18 |  3788831 |   303852 |    27135     25 |      401 |      342
700.25/700.40	c  700s |      18 |  3812541 |   305252 |    27135     25 |      401 |      342
702.24/702.44	c  702s |      18 |  3830632 |   306552 |    27135     25 |      401 |      342
704.34/704.50	c  704s |      18 |  3840693 |   307852 |    27135     25 |      401 |      342
706.44/706.65	c  706s |      18 |  3860856 |   309252 |    27135     25 |      401 |      342
708.55/708.72	c  708s |      18 |  3863979 |   309852 |    27135     25 |      401 |      342
710.75/710.93	c  710s |      18 |  3868302 |   310552 |    27135     25 |      401 |      342
712.85/713.09	c  712s |      18 |  3879779 |   311752 |    27135     25 |      401 |      342
714.95/715.18	c  714s |      18 |  3882509 |   312552 |    27135     25 |      401 |      342
717.15/717.37	c  717s |      18 |  3889185 |   313252 |    27135     25 |      401 |      342
719.35/719.52	c  719s |      18 |  3893825 |   313952 |    27135     25 |      401 |      342
721.44/721.62	c  721s |      18 |  3900657 |   314852 |    27135     26 |      401 |      342
723.54/723.74	c  723s |      18 |  3910796 |   316352 |    27135     26 |      401 |      342
725.94/726.14	c  725s |      18 |  3915247 |   317352 |    27135     26 |      401 |      342
728.04/728.27	c  728s |      18 |  3917196 |   317852 |    27135     26 |      401 |      342
730.13/730.35	c  730s |      18 |  3921168 |   318652 |    27135     26 |      401 |      342
732.13/732.37	c  732s |      18 |  3924002 |   319252 |    27135     26 |      401 |      342
734.43/734.64	c  734s |      18 |  3926826 |   319952 |    27135     26 |      401 |      342
736.93/737.11	c  736s |      18 |  3928817 |   320452 |    27135     26 |      401 |      342
739.34/739.57	c  739s |      18 |  3930317 |   320952 |    27135     26 |      401 |      342
741.83/742.03	c  741s |      18 |  3931643 |   321452 |    27135     26 |      401 |      342
744.23/744.49	c  744s |      18 |  3933100 |   321952 |    27135     26 |      401 |      342
746.33/746.51	c  746s |      18 |  3934756 |   322352 |    27135     26 |      401 |      342
748.73/748.92	c  748s |      18 |  3936226 |   322852 |    27135     26 |      401 |      342
750.73/750.98	c  750s |      18 |  3938043 |   323352 |    27135     26 |      401 |      342
753.03/753.22	c  752s |      18 |  3939305 |   323752 |    27135     26 |      401 |      342
755.32/755.54	c  755s |      18 |  3940550 |   324152 |    27135     26 |      401 |      342
757.73/757.97	c  757s |      18 |  3943104 |   324652 |    27135     26 |      401 |      342
760.32/760.51	c  760s |      18 |  3945658 |   325252 |    27135     26 |      401 |      342
762.32/762.54	c  762s |      18 |  3948907 |   325952 |    27135     26 |      401 |      342
764.33/764.59	c  764s |      18 |  3957407 |   327152 |    27135     26 |      401 |      342
766.53/766.77	c  766s |      18 |  3959141 |   327952 |    27135     26 |      401 |      342
768.73/768.98	c  768s |      18 |  3962219 |   328752 |    27135     26 |      401 |      342
771.52/771.70	c  771s |      18 |  3963706 |   329252 |    27135     27 |      401 |      342
773.52/773.70	c  773s |      18 |  3973998 |   330752 |    27135     27 |      401 |      342
775.52/775.71	c  775s |      18 |  3992254 |   332152 |    27135     27 |      401 |      342
777.52/777.74	c  777s |      18 |  3997718 |   333252 |    27135     27 |      401 |      342
779.61/779.89	c  779s |      18 |  4002291 |   334252 |    27135     27 |      401 |      342
781.81/782.05	c  781s |      18 |  4005987 |   335152 |    27135     27 |      401 |      342
784.01/784.23	c  783s |      18 |  4009454 |   336052 |    27135     27 |      401 |      342
786.11/786.33	c  786s |      18 |  4011218 |   336652 |    27135     27 |      401 |      342
788.31/788.53	c  788s |      18 |  4013229 |   337352 |    27135     27 |      401 |      342
790.41/790.69	c  790s |      18 |  4018937 |   338152 |    27135     27 |      401 |      342
792.50/792.74	c  792s |      18 |  4027347 |   339152 |    27135     27 |      401 |      342
794.80/795.06	c  794s |      18 |  4029559 |   339852 |    27135     27 |      401 |      342
797.10/797.37	c  797s |      18 |  4032939 |   340652 |    27135     27 |      401 |      342
799.20/799.43	c  799s |      18 |  4034672 |   341152 |    27135     27 |      401 |      342
801.20/801.46	c  801s |      18 |  4049493 |   342252 |    27135     28 |      401 |      342
803.30/803.56	c  803s |      18 |  4059319 |   343452 |    27135     28 |      401 |      342
805.40/805.61	c  805s |      18 |  4060648 |   344052 |    27135     28 |      401 |      342
807.41/807.65	c  807s |      18 |  4064282 |   344852 |    27135     28 |      401 |      342
809.60/809.89	c  809s |      18 |  4070356 |   345752 |    27135     28 |      401 |      342
812.20/812.46	c  812s |      18 |  4071294 |   346152 |    27135     28 |      401 |      342
814.70/814.95	c  814s |      18 |  4071799 |   346452 |    27135     28 |      401 |      342
817.20/817.42	c  817s |      18 |  4072386 |   346752 |    27135     28 |      401 |      342
819.50/819.75	c  819s |      18 |  4073053 |   347052 |    27135     28 |      401 |      342
821.79/822.03	c  821s |      18 |  4073598 |   347352 |    27135     28 |      401 |      342
823.89/824.14	c  823s |      18 |  4086718 |   348252 |    27135     28 |      401 |      342
825.90/826.18	c  825s |      18 |  4097106 |   349552 |    27135     28 |      401 |      342
828.10/828.39	c  828s |      18 |  4117170 |   351052 |    27135     28 |      401 |      342
830.19/830.48	c  830s |      18 |  4122685 |   352252 |    27135     28 |      401 |      342
832.29/832.55	c  832s |      18 |  4134821 |   353352 |    27135     29 |      401 |      342
834.49/834.76	c  834s |      18 |  4151211 |   354752 |    27135     29 |      401 |      342
836.59/836.86	c  836s |      18 |  4154653 |   355652 |    27135     29 |      401 |      342
838.89/839.10	c  838s |      18 |  4155768 |   356152 |    27135     29 |      401 |      342
841.08/841.36	c  841s |      18 |  4157746 |   356852 |    27135     29 |      401 |      342
843.38/843.63	c  843s |      18 |  4159945 |   357552 |    27135     29 |      401 |      342
845.58/845.86	c  845s |      18 |  4161437 |   358152 |    27135     29 |      401 |      342
847.78/848.05	c  847s |      18 |  4162734 |   358652 |    27135     29 |      401 |      342
849.98/850.20	c  849s |      18 |  4163607 |   359052 |    27135     29 |      401 |      342
852.28/852.55	c  852s |      18 |  4165285 |   359552 |    27135     29 |      401 |      342
854.28/854.56	c  854s |      18 |  4192006 |   361052 |    27135     29 |      401 |      342
856.27/856.58	c  856s |      18 |  4205827 |   362252 |    27135     30 |      401 |      342
858.37/858.63	c  858s |      18 |  4216535 |   363552 |    27135     30 |      401 |      342
860.37/860.64	c  860s |      18 |  4245502 |   365452 |    27135     30 |      401 |      342
862.37/862.65	c  862s |      18 |  4257947 |   366652 |    27135     30 |      401 |      342
864.38/864.68	c  864s |      18 |  4273678 |   367852 |    27135     30 |      401 |      342
866.58/866.83	c  866s |      18 |  4301389 |   369352 |    27135     30 |      401 |      342
868.67/868.92	c  868s |      18 |  4324078 |   370652 |    27135     31 |      401 |      342
870.67/870.99	c  870s |      18 |  4359164 |   372352 |    27135     31 |      401 |      342
872.87/873.14	c  872s |      18 |  4390951 |   374052 |    27135     31 |      401 |      342
874.97/875.27	c  875s |      18 |  4406853 |   375552 |    27135     31 |      401 |      342
876.97/877.28	c  877s |      18 |  4409424 |   376352 |    27135     31 |      401 |      342
879.07/879.39	c  879s |      18 |  4412008 |   376852 |    27135     31 |      401 |      342
881.36/881.62	c  881s |      18 |  4419747 |   377752 |    27135     31 |      401 |      342
883.56/883.88	c  883s |      18 |  4424860 |   378552 |    27135     31 |      401 |      342
885.76/886.05	c  885s |      18 |  4429420 |   379252 |    27135     31 |      401 |      342
887.96/888.23	c  887s |      18 |  4434485 |   379952 |    27135     31 |      401 |      342
890.36/890.61	c  890s |      18 |  4437172 |   380452 |    27135     31 |      401 |      342
892.97/893.26	c  893s |      18 |  4438729 |   380852 |    27135     32 |      401 |      342
895.06/895.31	c  895s |      18 |  4448856 |   382052 |    27135     32 |      401 |      342
897.06/897.37	c  897s |      18 |  4458058 |   383352 |    27135     32 |      401 |      342
899.36/899.69	c  899s |      18 |  4467179 |   384452 |    27135     32 |      401 |      342
901.55/901.88	c  901s |      18 |  4474037 |   385552 |    27135     32 |      401 |      342
903.75/904.02	c  903s |      18 |  4478039 |   386252 |    27135     32 |      401 |      342
906.06/906.31	c  906s |      18 |  4481838 |   387052 |    27135     32 |      401 |      342
908.37/908.65	c  908s |      18 |  4482682 |   387352 |    27135     32 |      401 |      342
910.96/911.27	c  911s |      18 |  4484889 |   387952 |    27135     32 |      401 |      342
913.36/913.60	c  913s |      18 |  4485702 |   388252 |    27135     32 |      401 |      342
915.96/916.20	c  915s |      18 |  4487035 |   388652 |    27135     32 |      401 |      342
918.37/918.64	c  918s |      18 |  4487884 |   388952 |    27135     32 |      401 |      342
921.35/921.61	c  921s |      18 |  4488955 |   389252 |    27135     32 |      401 |      342
924.05/924.36	c  924s |      18 |  4490131 |   389652 |    27135     32 |      401 |      342
927.25/927.52	c  927s |      18 |  4491221 |   389952 |    27135     32 |      401 |      342
929.65/929.97	c  929s |      18 |  4492014 |   390152 |    27135     32 |      401 |      342
931.95/932.27	c  932s |      18 |  4492538 |   390352 |    27135     32 |      401 |      342
934.15/934.46	c  934s |      18 |  4493426 |   390552 |    27135     32 |      401 |      342
936.65/936.91	c  936s |      18 |  4497320 |   391252 |    27135     33 |      401 |      342
938.75/939.00	c  938s |      18 |  4504481 |   392252 |    27135     33 |      401 |      342
940.74/941.09	c  940s |      18 |  4508111 |   393152 |    27135     33 |      401 |      342
942.74/943.09	c  942s |      18 |  4510735 |   393852 |    27135     33 |      401 |      342
945.24/945.59	c  945s |      18 |  4512740 |   394452 |    27135     33 |      401 |      342
947.44/947.76	c  947s |      18 |  4515388 |   394952 |    27135     33 |      401 |      342
949.54/949.81	c  949s |      18 |  4518056 |   395552 |    27135     33 |      401 |      342
952.03/952.30	c  952s |      18 |  4519337 |   395952 |    27135     33 |      401 |      342
954.34/954.63	c  954s |      18 |  4520816 |   396352 |    27135     33 |      401 |      342
956.64/956.90	c  956s |      18 |  4523026 |   396852 |    27135     33 |      401 |      342
958.84/959.12	c  958s |      18 |  4524748 |   397252 |    27135     33 |      401 |      342
961.34/961.60	c  961s |      18 |  4527575 |   397752 |    27135     33 |      401 |      342
963.34/963.68	c  963s |      18 |  4528542 |   398052 |    27135     33 |      401 |      342
965.54/965.84	c  965s |      18 |  4532638 |   398752 |    27135     33 |      401 |      342
967.63/967.91	c  967s |      18 |  4535480 |   399452 |    27135     33 |      401 |      342
969.73/970.01	c  969s |      18 |  4542375 |   400052 |    27135     33 |      401 |      342
971.73/972.08	c  971s |      18 |  4548072 |   400852 |    27135     33 |      401 |      342
973.83/974.13	c  973s |      18 |  4556066 |   401952 |    27135     34 |      401 |      342
975.83/976.14	c  975s |      18 |  4565177 |   403252 |    27135     34 |      401 |      342
977.93/978.22	c  977s |      18 |  4571224 |   404152 |    27135     34 |      401 |      342
980.13/980.41	c  980s |      18 |  4578318 |   405252 |    27135     34 |      401 |      342
982.23/982.59	c  982s |      18 |  4584117 |   406252 |    27135     34 |      401 |      342
984.43/984.78	c  984s |      18 |  4586179 |   406852 |    27135     34 |      401 |      342
986.53/986.86	c  986s |      18 |  4588246 |   407452 |    27135     34 |      401 |      342
988.63/988.92	c  988s |      18 |  4592793 |   408252 |    27135     34 |      401 |      342
990.62/990.99	c  990s |      18 |  4595175 |   408852 |    27135     34 |      401 |      342
992.72/993.04	c  992s |      18 |  4599815 |   409652 |    27135     34 |      401 |      342
994.72/995.07	c  994s |      18 |  4602534 |   410252 |    27135     35 |      401 |      342
996.93/997.20	c  996s |      18 |  4609515 |   411352 |    27135     35 |      401 |      342
999.13/999.48	c  999s |      18 |  4615384 |   412252 |    27135     35 |      401 |      342
1001.42/1001.74	c 1001s |      18 |  4617427 |   412752 |    27135     35 |      401 |      342
1003.52/1003.85	c 1003s |      18 |  4622547 |   413752 |    27135     35 |      401 |      342
1005.72/1006.02	c 1005s |      18 |  4627382 |   414852 |    27135     35 |      401 |      342
1008.12/1008.40	c 1008s |      18 |  4633243 |   415752 |    27135     35 |      401 |      342
1010.32/1010.69	c 1010s |      18 |  4637755 |   416452 |    27135     35 |      401 |      342
1012.52/1012.81	c 1012s |      18 |  4640849 |   417152 |    27135     35 |      401 |      342
1014.62/1014.90	c 1014s |      18 |  4647475 |   417952 |    27135     35 |      401 |      342
1016.62/1016.93	c 1016s |      18 |  4654415 |   418852 |    27135     35 |      401 |      342
1018.72/1019.02	c 1018s |      18 |  4657675 |   419552 |    27135     36 |      401 |      342
1020.91/1021.20	c 1020s |      18 |  4666735 |   421052 |    27135     36 |      401 |      342
1023.01/1023.31	c 1023s |      18 |  4677095 |   422452 |    27135     36 |      401 |      342
1025.21/1025.52	c 1025s |      18 |  4681464 |   423252 |    27135     36 |      401 |      342
1027.70/1028.07	c 1027s |      18 |  4683421 |   423852 |    27135     36 |      401 |      342
1029.81/1030.19	c 1029s |      18 |  4691342 |   424752 |    27135     36 |      401 |      342
1032.11/1032.40	c 1032s |      18 |  4695583 |   425752 |    27135     36 |      401 |      342
1034.21/1034.53	c 1034s |      18 |  4698949 |   426652 |    27135     36 |      401 |      342
1036.61/1036.98	c 1036s |      18 |  4702514 |   427352 |    27135     36 |      401 |      342
1039.11/1039.42	c 1039s |      18 |  4705863 |   428052 |    27135     36 |      401 |      342
1041.30/1041.61	c 1041s |      18 |  4708295 |   428652 |    27135     36 |      401 |      342
1043.50/1043.86	c 1043s |      18 |  4709631 |   429052 |    27135     36 |      401 |      342
1045.70/1046.06	c 1045s |      18 |  4711307 |   429552 |    27135     37 |      401 |      342
1047.90/1048.28	c 1048s |      18 |  4713805 |   430252 |    27135     37 |      401 |      342
1050.10/1050.48	c 1050s |      18 |  4715501 |   430752 |    27135     37 |      401 |      342
1052.59/1052.97	c 1052s |      18 |  4717141 |   431252 |    27135     37 |      401 |      342
1054.89/1055.26	c 1055s |      18 |  4718599 |   431652 |    27135     37 |      401 |      342
1057.09/1057.43	c 1057s |      18 |  4721153 |   432352 |    27135     37 |      401 |      342
1059.60/1059.90	c 1059s |      18 |  4722295 |   432752 |    27135     37 |      401 |      342
1061.99/1062.33	c 1062s |      18 |  4724005 |   433352 |    27135     37 |      401 |      342
1063.99/1064.34	c 1064s |      18 |  4727044 |   434052 |    27135     37 |      401 |      342
1066.29/1066.63	c 1066s |      18 |  4728605 |   434652 |    27135     37 |      401 |      342
1068.58/1068.94	c 1068s |      18 |  4729664 |   435052 |    27135     37 |      401 |      342
1070.78/1071.19	c 1070s |      18 |  4732350 |   435552 |    27135     37 |      401 |      342
1072.88/1073.27	c 1073s |      18 |  4737312 |   436452 |    27135     37 |      401 |      342
1075.18/1075.53	c 1075s |      18 |  4741500 |   437152 |    27135     37 |      401 |      342
1077.28/1077.62	c 1077s |      18 |  4743359 |   437752 |    27135     37 |      401 |      342
1079.28/1079.65	c 1079s |      18 |  4744173 |   438152 |    27135     37 |      401 |      342
1081.47/1081.88	c 1081s |      18 |  4746199 |   438752 |    27135     38 |      401 |      342
1083.57/1083.97	c 1083s |      18 |  4754073 |   440052 |    27135     38 |      401 |      342
1085.67/1086.08	c 1085s |      18 |  4757445 |   441052 |    27135     38 |      401 |      342
1087.77/1088.10	c 1087s |      18 |  4759308 |   441752 |    29849     38 |      401 |      342
1089.89/1090.29	c 1090s |      18 |  4761674 |   442652 |    29849     38 |      401 |      342
1092.18/1092.54	c 1092s |      18 |  4763920 |   443452 |    29849     38 |      401 |      342
1094.37/1094.71	c 1094s |      18 |  4766711 |   444352 |    29849     38 |      401 |      342
1094.77/1095.14	c 1094s |      19 |  4767065 |   444482 |    29849     38 |      401 |      342
1096.77/1097.17	c 1096s |      19 |  4780800 |   445782 |    29849     38 |      401 |      342
1098.97/1099.37	c 1099s |      19 |  4784123 |   446782 |    29849     38 |      401 |      342
1101.07/1101.40	c 1101s |      19 |  4785590 |   447382 |    29849     38 |      401 |      342
1103.07/1103.46	c 1103s |      19 |  4788017 |   448182 |    29849     38 |      401 |      342
1105.17/1105.54	c 1105s |      19 |  4790411 |   448882 |    29849     38 |      401 |      342
1107.57/1107.97	c 1107s |      19 |  4791833 |   449482 |    29849     38 |      401 |      342
1110.07/1110.41	c 1110s |      19 |  4793054 |   449982 |    29849     38 |      401 |      342
1112.46/1112.88	c 1112s |      19 |  4795362 |   450682 |    29849     38 |      401 |      342
1115.06/1115.49	c 1115s |      19 |  4796547 |   451082 |    29849     39 |      401 |      342
1117.16/1117.53	c 1117s |      19 |  4800120 |   452282 |    29849     39 |      401 |      342
1119.75/1120.12	c 1119s |      19 |  4801536 |   452882 |    29849     39 |      401 |      342
1122.15/1122.58	c 1122s |      19 |  4802908 |   453482 |    29849     39 |      401 |      342
1124.35/1124.76	c 1124s |      19 |  4805013 |   454182 |    29849     39 |      401 |      342
1126.65/1127.09	c 1126s |      19 |  4806266 |   454682 |    29849     39 |      401 |      342
1128.75/1129.11	c 1128s |      19 |  4807709 |   455182 |    29849     39 |      401 |      342
1130.94/1131.31	c 1131s |      19 |  4810126 |   455882 |    29849     39 |      401 |      342
1133.14/1133.57	c 1133s |      19 |  4811556 |   456482 |    29849     39 |      401 |      342
1135.35/1135.75	c 1135s |      19 |  4812911 |   456982 |    29849     39 |      401 |      342
1137.85/1138.25	c 1137s |      19 |  4815399 |   457582 |    29849     39 |      401 |      342
1139.84/1140.26	c 1140s |      19 |  4816001 |   457882 |    29849     39 |      401 |      342
1142.24/1142.60	c 1142s |      19 |  4816733 |   458282 |    29849     39 |      401 |      342
1144.75/1145.16	c 1144s |      19 |  4817826 |   458782 |    29849     39 |      401 |      342
1147.14/1147.52	c 1147s |      19 |  4818865 |   459282 |    29849     39 |      401 |      342
1149.14/1149.55	c 1149s |      19 |  4823008 |   459882 |    29849     39 |      401 |      342
1151.23/1151.64	c 1151s |      19 |  4845275 |   461182 |    29849     40 |      401 |      342
1153.23/1153.68	c 1153s |      19 |  4875459 |   463182 |    29849     40 |      401 |      342
1155.33/1155.72	c 1155s |      19 |  4891268 |   464782 |    29849     40 |      401 |      342
1157.53/1157.93	c 1157s |      19 |  4903528 |   466182 |    29849     40 |      401 |      342
1159.63/1160.01	c 1159s |      19 |  4915691 |   467382 |    29849     40 |      401 |      342
1161.63/1162.05	c 1161s |      19 |  4942339 |   468682 |    29849     41 |      401 |      342
1163.72/1164.14	c 1163s |      19 |  4975946 |   470382 |    29849     41 |      401 |      342
1166.22/1166.62	c 1166s |      19 |  4982333 |   470982 |    29849     41 |      401 |      342
1168.22/1168.68	c 1168s |      19 |  5000414 |   472182 |    29849     41 |      401 |      342
1170.22/1170.69	c 1170s |      19 |  5016514 |   473782 |    29849     41 |      401 |      342
1172.33/1172.75	c 1172s |      19 |  5026638 |   475082 |    29849     41 |      401 |      342
1174.42/1174.81	c 1174s |      19 |  5028564 |   475782 |    29849     41 |      401 |      342
1176.62/1177.01	c 1176s |      19 |  5030290 |   476382 |    29849     41 |      401 |      342
1178.62/1179.03	c 1178s |      19 |  5033402 |   476982 |    29849     41 |      401 |      342
1180.62/1181.06	c 1180s |      19 |  5041533 |   477982 |    29849     41 |      401 |      342
1182.82/1183.28	c 1183s |      19 |  5047013 |   478782 |    29849     42 |      401 |      342
1185.02/1185.41	c 1185s |      19 |  5053668 |   479982 |    29849     42 |      401 |      342
1187.43/1187.80	c 1187s |      19 |  5056595 |   480782 |    29849     42 |      401 |      342
1189.43/1189.83	c 1189s |      19 |  5063807 |   481782 |    29849     42 |      401 |      342
1191.52/1191.93	c 1191s |      19 |  5085970 |   483582 |    29849     42 |      401 |      342
1193.62/1194.03	c 1193s |      19 |  5103379 |   484982 |    29849     42 |      401 |      342
1195.62/1196.04	c 1195s |      19 |  5110619 |   485882 |    29849     42 |      401 |      342
1197.63/1198.09	c 1197s |      19 |  5116964 |   487382 |    29849     42 |      401 |      342
1199.83/1200.28	c 1200s |      19 |  5129423 |   488982 |    29849     43 |      401 |      342
1201.93/1202.36	c 1202s |      19 |  5139537 |   490182 |    29849     43 |      401 |      342
1204.02/1204.43	c 1204s |      19 |  5163433 |   491782 |    29849     43 |      401 |      342
1206.33/1206.74	c 1206s |      19 |  5168525 |   492882 |    29849     43 |      401 |      342
1208.72/1209.12	c 1208s |      19 |  5171391 |   493882 |    29849     43 |      401 |      342
1210.83/1211.26	c 1210s |      19 |  5187730 |   494782 |    29849     43 |      401 |      342
1212.92/1213.34	c 1213s |      19 |  5205201 |   495882 |    29849     44 |      401 |      342
1215.02/1215.49	c 1215s |      19 |  5215224 |   497082 |    29849     44 |      401 |      342
1217.12/1217.60	c 1217s |      19 |  5221001 |   497982 |    29849     44 |      401 |      342
1219.42/1219.89	c 1219s |      19 |  5223634 |   498682 |    29849     44 |      401 |      342
1221.51/1221.96	c 1221s |      19 |  5225426 |   499282 |    29849     44 |      401 |      342
1223.81/1224.27	c 1224s |      19 |  5227600 |   499782 |    29849     44 |      401 |      342
1225.91/1226.37	c 1226s |      19 |  5231782 |   500282 |    29849     44 |      401 |      342
1228.32/1228.73	c 1228s |      19 |  5234594 |   501082 |    29849     44 |      401 |      342
1230.62/1231.05	c 1230s |      19 |  5238486 |   502082 |    29849     44 |      401 |      342
1232.91/1233.36	c 1233s |      19 |  5241657 |   502982 |    29849     44 |      401 |      342
1235.21/1235.65	c 1235s |      19 |  5243616 |   503682 |    29849     44 |      401 |      342
1237.31/1237.78	c 1237s |      19 |  5245016 |   504182 |    29849     44 |      401 |      342
1239.71/1240.18	c 1239s |      19 |  5246868 |   504782 |    29849     44 |      401 |      342
1241.91/1242.37	c 1242s |      19 |  5248202 |   505182 |    29849     44 |      401 |      342
1244.01/1244.48	c 1244s |      19 |  5250493 |   505782 |    29849     45 |      401 |      342
1246.11/1246.59	c 1246s |      19 |  5253662 |   506482 |    29849     45 |      401 |      342
1248.31/1248.76	c 1248s |      19 |  5256041 |   506982 |    29849     45 |      401 |      342
1250.71/1251.12	c 1250s |      19 |  5257552 |   507482 |    29849     45 |      401 |      342
1252.91/1253.32	c 1253s |      19 |  5258932 |   507882 |    29849     45 |      401 |      342
1255.31/1255.79	c 1255s |      19 |  5260968 |   508282 |    29849     45 |      401 |      342
1257.51/1257.95	c 1257s |      19 |  5262681 |   508782 |    29849     45 |      401 |      342
1259.91/1260.38	c 1260s |      19 |  5264670 |   509382 |    29849     45 |      401 |      342
1262.01/1262.43	c 1262s |      19 |  5266191 |   509882 |    29849     45 |      401 |      342
1264.51/1264.91	c 1264s |      19 |  5268261 |   510382 |    29849     45 |      401 |      342
1266.61/1267.05	c 1266s |      19 |  5268912 |   510682 |    29849     45 |      401 |      342
1268.71/1269.16	c 1268s |      19 |  5276882 |   511582 |    29849     45 |      401 |      342
1270.80/1271.28	c 1271s |      19 |  5281175 |   512482 |    29849     45 |      401 |      342
1272.81/1273.29	c 1273s |      19 |  5282725 |   512982 |    29849     45 |      401 |      342
1275.62/1276.02	c 1275s |      19 |  5284215 |   513482 |    29849     45 |      401 |      342
1277.92/1278.37	c 1278s |      19 |  5286083 |   513982 |    29849     45 |      401 |      342
1280.31/1280.72	c 1280s |      19 |  5287007 |   514282 |    29849     45 |      401 |      342
1282.61/1283.07	c 1282s |      19 |  5287845 |   514482 |    29849     45 |      401 |      342
1285.31/1285.72	c 1285s |      19 |  5288988 |   514882 |    29849     45 |      401 |      342
1287.31/1287.74	c 1287s |      19 |  5290992 |   515182 |    29849     46 |      401 |      342
1289.41/1289.85	c 1289s |      19 |  5301252 |   516582 |    29849     46 |      401 |      342
1291.40/1291.87	c 1291s |      19 |  5319225 |   518082 |    29849     46 |      401 |      342
1293.50/1293.90	c 1293s |      19 |  5328743 |   519382 |    29849     46 |      401 |      342
1295.51/1295.98	c 1295s |      19 |  5352868 |   521182 |    29849     46 |      401 |      342
1297.61/1298.02	c 1297s |      19 |  5361605 |   522182 |    29849     47 |      401 |      342
1299.81/1300.23	c 1299s |      19 |  5365052 |   523182 |    29849     47 |      401 |      342
1301.90/1302.34	c 1302s |      19 |  5367445 |   523882 |    29849     47 |      401 |      342
1304.00/1304.43	c 1304s |      19 |  5369531 |   524482 |    29849     47 |      401 |      342
1306.11/1306.50	c 1306s |      19 |  5370939 |   524882 |    29849     47 |      401 |      342
1308.61/1309.05	c 1308s |      19 |  5371767 |   525282 |    29849     47 |      401 |      342
1311.10/1311.59	c 1311s |      19 |  5372958 |   525682 |    29849     47 |      401 |      342
1314.00/1314.43	c 1314s |      19 |  5374722 |   526082 |    29849     47 |      401 |      342
1316.41/1316.80	c 1316s |      19 |  5383117 |   526882 |    29849     48 |      401 |      342
1318.40/1318.85	c 1318s |      19 |  5410952 |   528682 |    29849     48 |      401 |      342
1320.50/1320.91	c 1320s |      19 |  5435713 |   530382 |    29849     48 |      401 |      342
1322.50/1322.95	c 1322s |      19 |  5465540 |   532082 |    29849     49 |      402 |      343
1324.60/1325.08	c 1324s |      19 |  5496224 |   533782 |    29849     49 |      402 |      343
1326.70/1327.17	c 1326s |      19 |  5516705 |   535382 |    29849     49 |      402 |      343
1329.00/1329.43	c 1329s |      19 |  5539979 |   536982 |    29849     49 |      402 |      343
1331.19/1331.64	c 1331s |      19 |  5547841 |   537882 |    29849     49 |      402 |      343
1333.19/1333.68	c 1333s |      19 |  5550278 |   538482 |    29849     49 |      402 |      343
1335.50/1335.92	c 1335s |      19 |  5559780 |   539882 |    29849     50 |      402 |      343
1337.60/1338.04	c 1337s |      19 |  5571996 |   541082 |    29849     50 |      402 |      343
1339.70/1340.10	c 1339s |      19 |  5582044 |   542182 |    29849     50 |      402 |      343
1342.81/1343.30	c 1343s |      19 |  5584043 |   542682 |    29849     50 |      402 |      343
1345.10/1345.52	c 1345s |      19 |  5585343 |   543082 |    29849     50 |      402 |      343
1347.30/1347.76	c 1347s |      19 |  5586572 |   543382 |    29849     50 |      402 |      343
1349.31/1349.80	c 1349s |      19 |  5587631 |   543682 |    29849     50 |      402 |      343
1351.40/1351.83	c 1351s |      19 |  5589734 |   544082 |    29849     51 |      402 |      343
1353.40/1353.87	c 1353s |      19 |  5601593 |   545782 |    29849     51 |      402 |      343
1355.50/1355.95	c 1355s |      19 |  5642939 |   547482 |    29849     51 |      402 |      343
1357.60/1358.00	c 1357s |      19 |  5673161 |   549082 |    29849     52 |      402 |      343
1359.70/1360.15	c 1359s |      19 |  5699714 |   550882 |    29849     52 |      402 |      343
1361.80/1362.26	c 1362s |      19 |  5709017 |   552382 |    29849     52 |      402 |      343
1363.80/1364.27	c 1364s |      19 |  5725366 |   553882 |    29849     53 |      402 |      343
1366.00/1366.41	c 1366s |      19 |  5752026 |   555782 |    29849     53 |      402 |      343
1368.20/1368.62	c 1368s |      19 |  5768917 |   557182 |    29849     53 |      402 |      343
1370.30/1370.74	c 1370s |      19 |  5775850 |   558582 |    29849     54 |      402 |      343
1372.50/1372.98	c 1372s |      19 |  5777958 |   559282 |    29849     54 |      402 |      343
1374.60/1375.02	c 1374s |      19 |  5778967 |   559682 |    29849     54 |      402 |      343
1377.00/1377.41	c 1377s |      19 |  5780131 |   560182 |    29849     54 |      402 |      343
1379.00/1379.45	c 1379s |      19 |  5782243 |   560982 |    29849     54 |      402 |      343
1381.39/1381.81	c 1381s |      19 |  5784391 |   561682 |    29849     54 |      402 |      343
1383.79/1384.21	c 1383s |      19 |  5785507 |   562182 |    29849     54 |      402 |      343
1386.09/1386.53	c 1386s |      19 |  5789009 |   563082 |    29849     54 |      402 |      343
1388.19/1388.66	c 1388s |      19 |  5790478 |   563682 |    29849     54 |      402 |      343
1390.39/1390.89	c 1390s |      19 |  5792566 |   564382 |    29849     54 |      402 |      343
1392.49/1392.97	c 1392s |      19 |  5795416 |   565182 |    29849     55 |      402 |      343
1394.69/1395.12	c 1394s |      19 |  5798241 |   566082 |    29849     55 |      402 |      343
1396.69/1397.17	c 1396s |      19 |  5799697 |   566682 |    29849     55 |      402 |      343
1398.79/1399.25	c 1398s |      19 |  5801436 |   567382 |    29849     55 |      402 |      343
1400.89/1401.35	c 1401s |      19 |  5802667 |   567882 |    29849     55 |      402 |      343
1403.08/1403.55	c 1403s |      19 |  5805095 |   568682 |    29849     55 |      402 |      343
1405.28/1405.72	c 1405s |      19 |  5806135 |   569182 |    29849     55 |      402 |      343
1407.39/1407.89	c 1407s |      19 |  5806860 |   569582 |    29849     55 |      402 |      343
1409.59/1410.01	c 1409s |      19 |  5807643 |   569982 |    29849     55 |      402 |      343
1411.69/1412.15	c 1411s |      19 |  5809044 |   570482 |    29849     55 |      402 |      343
1414.19/1414.60	c 1414s |      19 |  5809928 |   570882 |    29849     55 |      402 |      343
1416.28/1416.75	c 1416s |      19 |  5811080 |   571382 |    29849     55 |      402 |      343
1419.08/1419.53	c 1419s |      19 |  5812033 |   571882 |    29849     56 |      402 |      343
1421.59/1422.00	c 1421s |      19 |  5813963 |   572682 |    29849     56 |      402 |      343
1423.69/1424.17	c 1423s |      19 |  5814519 |   572982 |    29849     56 |      402 |      343
1426.49/1426.92	c 1426s |      19 |  5815320 |   573382 |    29849     56 |      402 |      343
1428.68/1429.16	c 1428s |      19 |  5817187 |   574082 |    29849     56 |      402 |      343
1431.08/1431.53	c 1431s |      19 |  5819704 |   574882 |    29849     56 |      402 |      343
1433.18/1433.65	c 1433s |      19 |  5821404 |   575482 |    29849     56 |      402 |      343
1435.19/1435.67	c 1435s |      19 |  5822257 |   575882 |    29849     56 |      402 |      343
1437.39/1437.88	c 1437s |      19 |  5823134 |   576282 |    29849     56 |      402 |      343
1439.89/1440.32	c 1440s |      19 |  5824107 |   576782 |    29849     56 |      402 |      343
1442.18/1442.67	c 1442s |      19 |  5825721 |   577282 |    29849     56 |      402 |      343
1444.38/1444.80	c 1444s |      19 |  5826727 |   577682 |    29849     56 |      402 |      343
1446.68/1447.14	c 1446s |      19 |  5827625 |   578082 |    29849     56 |      402 |      343
1448.98/1449.49	c 1449s |      19 |  5828786 |   578382 |    29849     57 |      402 |      343
1451.29/1451.70	c 1451s |      19 |  5833274 |   579582 |    29849     57 |      402 |      343
1453.39/1453.80	c 1453s |      19 |  5859186 |   581082 |    29849     57 |      402 |      343
1455.38/1455.82	c 1455s |      19 |  5880269 |   582682 |    29849     58 |      402 |      343
1457.38/1457.82	c 1457s |      19 |  5910366 |   584382 |    29849     59 |      402 |      343
1459.39/1459.88	c 1459s |      19 |  5945798 |   586082 |    29849     59 |      402 |      343
1461.49/1461.98	c 1461s |      19 |  5979586 |   587782 |    29849     60 |      402 |      343
1463.58/1464.03	c 1463s |      19 |  5988419 |   589082 |    29849     60 |      403 |      344
1465.68/1466.12	c 1465s |      19 |  5990042 |   589882 |    29849     60 |      403 |      344
1467.68/1468.14	c 1467s |      19 |  5992267 |   590582 |    29849     60 |      403 |      344
1469.88/1470.31	c 1470s |      19 |  5993789 |   591182 |    29849     60 |      403 |      344
1472.08/1472.54	c 1472s |      19 |  5994950 |   591682 |    29849     60 |      403 |      344
1474.08/1474.59	c 1474s |      19 |  6003139 |   592882 |    29849     61 |      403 |      344
1476.18/1476.67	c 1476s |      19 |  6016877 |   594382 |    29849     61 |      403 |      344
1478.38/1478.84	c 1478s |      19 |  6024838 |   595882 |    29849     61 |      403 |      344
1480.38/1480.84	c 1480s |      19 |  6027158 |   596582 |    29849     61 |      403 |      344
1482.58/1483.08	c 1482s |      19 |  6029028 |   597282 |    29849     62 |      403 |      344
1484.98/1485.43	c 1485s |      19 |  6034721 |   598682 |    29849     62 |      403 |      344
1486.98/1487.44	c 1487s |      19 |  6036828 |   599282 |    29849     62 |      403 |      344
1489.37/1489.87	c 1489s |      19 |  6040102 |   599982 |    29849     62 |      403 |      344
1491.47/1491.92	c 1491s |      19 |  6043244 |   600782 |    29849     62 |      403 |      344
1493.57/1494.06	c 1493s |      19 |  6047933 |   601782 |    29849     62 |      403 |      344
1495.68/1496.15	c 1495s |      19 |  6053527 |   603082 |    29849     63 |      403 |      344
1497.88/1498.35	c 1498s |      19 |  6058154 |   604182 |    29849     63 |      403 |      344
1499.98/1500.50	c 1500s |      19 |  6061700 |   605082 |    29849     63 |      403 |      344
1502.07/1502.52	c 1502s |      19 |  6063701 |   605782 |    29849     63 |      403 |      344
1504.07/1504.58	c 1504s |      19 |  6067461 |   606582 |    29849     63 |      403 |      344
1506.18/1506.65	c 1506s |      19 |  6068616 |   607082 |    29849     63 |      403 |      344
1508.18/1508.67	c 1508s |      19 |  6072583 |   607882 |    29849     64 |      403 |      344
1510.18/1510.69	c 1510s |      19 |  6077411 |   609082 |    29849     64 |      403 |      344
1512.28/1512.73	c 1512s |      19 |  6079685 |   609782 |    29849     64 |      403 |      344
1514.38/1514.88	c 1514s |      19 |  6082358 |   610582 |    29849     64 |      403 |      344
1516.37/1516.88	c 1516s |      19 |  6085294 |   611482 |    29849     64 |      403 |      344
1518.47/1518.91	c 1518s |      19 |  6087582 |   612182 |    29849     64 |      403 |      344
1520.47/1520.91	c 1520s |      19 |  6090723 |   612882 |    29849     65 |      403 |      344
1522.57/1523.07	c 1522s |      19 |  6095804 |   614082 |    29849     65 |      403 |      344
1524.77/1525.23	c 1524s |      19 |  6097993 |   614682 |    29849     65 |      403 |      344
1526.87/1527.35	c 1527s |      19 |  6101766 |   615582 |    29849     65 |      403 |      344
1529.07/1529.50	c 1529s |      19 |  6104161 |   616182 |    29849     65 |      403 |      344
1531.27/1531.75	c 1531s |      19 |  6106417 |   616982 |    29849     65 |      403 |      344
1533.37/1533.88	c 1533s |      19 |  6108732 |   617582 |    29849     66 |      403 |      344
1535.47/1536.00	c 1535s |      19 |  6111991 |   618482 |    29849     66 |      403 |      344
1537.57/1538.08	c 1537s |      19 |  6114779 |   619282 |    29849     66 |      403 |      344
1539.67/1540.18	c 1539s |      19 |  6117672 |   620082 |    29849     66 |      403 |      344
1541.97/1542.47	c 1542s |      19 |  6119216 |   620682 |    29849     66 |      403 |      344
1544.37/1544.87	c 1544s |      19 |  6121390 |   621382 |    29849     66 |      403 |      344
1546.77/1547.26	c 1547s |      19 |  6123611 |   621982 |    29849     66 |      403 |      344
1548.86/1549.31	c 1549s |      19 |  6125062 |   622482 |    29849     67 |      403 |      344
1550.86/1551.36	c 1551s |      19 |  6129267 |   623782 |    29849     67 |      403 |      344
1552.96/1553.46	c 1553s |      19 |  6132077 |   624682 |    29849     67 |      403 |      344
1555.16/1555.67	c 1555s |      19 |  6133582 |   625282 |    29849     67 |      403 |      344
1557.46/1557.92	c 1557s |      19 |  6136059 |   625982 |    29849     67 |      403 |      344
1559.47/1559.98	c 1559s |      19 |  6136864 |   626382 |    29849     67 |      403 |      344
1561.57/1562.02	c 1561s |      19 |  6137924 |   626782 |    29849     67 |      403 |      344
1563.77/1564.30	c 1564s |      19 |  6138708 |   627182 |    29849     67 |      403 |      344
1566.07/1566.53	c 1566s |      19 |  6143285 |   628282 |    29849     68 |      403 |      344
1568.06/1568.59	c 1568s |      19 |  6151830 |   629582 |    29849     68 |      403 |      344
1570.47/1570.92	c 1570s |      19 |  6154446 |   630282 |    29849     68 |      403 |      344
1572.57/1573.01	c 1572s |      19 |  6173847 |   631582 |    29849     70 |      403 |      344
1574.56/1575.02	c 1574s |      19 |  6203866 |   633182 |    29849     71 |      403 |      344
1576.56/1577.03	c 1576s |      19 |  6217434 |   634782 |    29849     71 |      403 |      344
1578.66/1579.15	c 1578s |      19 |  6224185 |   636382 |    29849     71 |      403 |      344
1580.66/1581.17	c 1580s |      19 |  6231596 |   637882 |    29849     72 |      403 |      344
1582.76/1583.25	c 1582s |      19 |  6245064 |   639382 |    29849     73 |      403 |      344
1584.86/1585.31	c 1585s |      19 |  6270567 |   640782 |    29849     74 |      403 |      344
1586.87/1587.38	c 1587s |      19 |  6297546 |   642482 |    29849     77 |      403 |      344
1588.96/1589.44	c 1589s |      19 |  6328824 |   644182 |    29849     80 |      403 |      344
1591.27/1591.73	c 1591s |      19 |  6331366 |   645282 |    29849     80 |      403 |      344
1593.36/1593.80	c 1593s |      19 |  6346067 |   646382 |    29849     81 |      403 |      344
1595.46/1595.91	c 1595s |      19 |  6359157 |   648082 |    29849     81 |      403 |      344
1597.56/1598.02	c 1597s |      19 |  6361682 |   648782 |    29849     81 |      403 |      344
1599.85/1600.31	c 1600s |      19 |  6365617 |   649482 |    29849     82 |      403 |      344
1601.96/1602.47	c 1602s |      19 |  6371078 |   650682 |    29849     82 |      403 |      344
1604.06/1604.58	c 1604s |      19 |  6373107 |   651382 |    29849     82 |      403 |      344
1606.26/1606.79	c 1606s |      19 |  6374327 |   651882 |    29849     82 |      403 |      344
1608.56/1609.01	c 1608s |      19 |  6376245 |   652482 |    29849     82 |      403 |      344
1610.56/1611.02	c 1610s |      19 |  6378883 |   653282 |    29849     83 |      403 |      344
1612.56/1613.02	c 1612s |      19 |  6381551 |   654082 |    29849     83 |      403 |      344
1614.56/1615.09	c 1614s |      19 |  6389005 |   655482 |    29849     83 |      403 |      344
1616.76/1617.24	c 1616s |      19 |  6391967 |   656282 |    29849     84 |      403 |      344
1618.96/1619.41	c 1619s |      19 |  6397990 |   657482 |    29849     84 |      403 |      344
1620.96/1621.45	c 1621s |      19 |  6400653 |   658382 |    29849     84 |      403 |      344
1623.16/1623.63	c 1623s |      19 |  6414154 |   659982 |    29849     85 |      403 |      344
1625.36/1625.86	c 1625s |      19 |  6426711 |   661382 |    29849     86 |      403 |      344
1627.45/1627.92	c 1627s |      19 |  6427865 |   661882 |    29849     86 |      403 |      344
1629.65/1630.13	c 1629s |      19 |  6430329 |   662582 |    32834     86 |      403 |      344
1631.65/1632.18	c 1631s |      19 |  6433348 |   663382 |    32834     86 |      403 |      344
1633.75/1634.25	c 1633s |      19 |  6437606 |   664182 |    32834     86 |      403 |      344
1635.85/1636.31	c 1636s |      19 |  6441550 |   664982 |    32834     86 |      403 |      344
1638.35/1638.84	c 1638s |      19 |  6445180 |   665782 |    32834     86 |      403 |      344
1640.65/1641.11	c 1640s |      19 |  6447161 |   666382 |    32834     86 |      403 |      344
1642.65/1643.13	c 1642s |      20 |  6448483 |   666827 |    32834     87 |      403 |      344
1644.65/1645.17	c 1644s |      20 |  6470807 |   668427 |    32834     87 |      404 |      345
1646.85/1647.32	c 1647s |      20 |  6483713 |   670127 |    32834     88 |      404 |      345
1648.95/1649.42	c 1649s |      20 |  6520597 |   672027 |    32834     88 |      404 |      345
1650.95/1651.45	c 1651s |      20 |  6541335 |   673727 |    32834     89 |      404 |      345
1653.05/1653.55	c 1653s |      20 |  6555296 |   675227 |    32834     89 |      404 |      345
1655.05/1655.57	c 1655s |      20 |  6577503 |   676427 |    32834     90 |      404 |      345
1657.05/1657.59	c 1657s |      20 |  6580135 |   677127 |    32834     90 |      404 |      345
1659.25/1659.78	c 1659s |      20 |  6583904 |   677927 |    32834     90 |      404 |      345
1661.45/1661.98	c 1661s |      20 |  6586115 |   678427 |    32834     90 |      404 |      345
1663.65/1664.17	c 1663s |      20 |  6586910 |   678627 |    32834     90 |      404 |      345
1665.74/1666.25	c 1665s |      20 |  6591534 |   679527 |    32834     90 |      404 |      345
1667.74/1668.29	c 1668s |      20 |  6599915 |   680527 |    32834     91 |      404 |      345
1669.84/1670.36	c 1670s |      20 |  6623969 |   682427 |    32834     91 |      404 |      345
1671.95/1672.49	c 1672s |      20 |  6646074 |   684227 |    32834     92 |      404 |      345
1674.05/1674.54	c 1674s |      20 |  6674370 |   686027 |    32834     93 |      404 |      345
1676.06/1676.54	c 1676s |      20 |  6695125 |   687627 |    32834     94 |      404 |      345
1678.05/1678.59	c 1678s |      20 |  6710362 |   689127 |    32834     95 |      404 |      345
1680.15/1680.64	c 1680s |      20 |  6740709 |   691027 |    32834     96 |      404 |      345
1682.15/1682.67	c 1682s |      20 |  6762820 |   693027 |    32834     97 |      404 |      345
1684.35/1684.86	c 1684s |      20 |  6795585 |   694927 |    32834     98 |      404 |      345
1686.35/1686.89	c 1686s |      20 |  6821506 |   696527 |    32834     99 |      404 |      345
1688.45/1688.97	c 1688s |      20 |  6837542 |   698027 |    32834    100 |      404 |      345
1690.55/1691.04	c 1690s |      20 |  6857303 |   699827 |    32834    101 |      404 |      345
1692.55/1693.08	c 1692s |      20 |  6890325 |   701427 |    32834    103 |      404 |      345
1694.65/1695.13	c 1694s |      20 |  6910013 |   703227 |    32834    103 |      404 |      345
1696.75/1697.26	c 1697s |      20 |  6922053 |   704527 |    32834    103 |      404 |      345
1698.74/1699.29	c 1699s |      20 |  6933295 |   705827 |    32834    104 |      404 |      345
1700.94/1701.45	c 1701s |      20 |  6941406 |   707027 |    32834    104 |      404 |      345
1702.94/1703.47	c 1703s |      20 |  6955006 |   708427 |    32834    105 |      404 |      345
1705.04/1705.55	c 1705s |      20 |  6960460 |   709427 |    32834    105 |      404 |      345
1707.34/1707.89	c 1707s |      20 |  6962661 |   710227 |    32834    105 |      404 |      345
1709.64/1710.19	c 1709s |      20 |  6963865 |   710727 |    32834    105 |      404 |      345
1711.74/1712.28	c 1712s |      20 |  6971665 |   712027 |    32834    106 |      404 |      345
1714.04/1714.56	c 1714s |      20 |  6975101 |   712927 |    32834    106 |      404 |      345
1716.14/1716.67	c 1716s |      20 |  6976915 |   713527 |    32834    106 |      404 |      345
1718.34/1718.84	c 1718s |      20 |  6979016 |   714127 |    32834    106 |      404 |      345
1720.64/1721.14	c 1720s |      20 |  6981086 |   714727 |    32834    106 |      404 |      345
1722.74/1723.21	c 1722s |      20 |  6988853 |   716027 |    32834    107 |      404 |      345
1724.84/1725.38	c 1725s |      20 |  6998690 |   717527 |    32834    108 |      404 |      345
1726.94/1727.49	c 1727s |      20 |  7012666 |   719327 |    32834    108 |      404 |      345
1729.04/1729.50	c 1729s |      20 |  7016118 |   720127 |    32834    108 |      404 |      345
1731.14/1731.64	c 1731s |      20 |  7024122 |   721427 |    32834    109 |      404 |      345
1733.24/1733.77	c 1733s |      20 |  7030767 |   722527 |    32834    109 |      404 |      345
1735.54/1736.04	c 1735s |      20 |  7035853 |   723727 |    32834    110 |      404 |      345
1737.64/1738.14	c 1737s |      20 |  7042411 |   725027 |    32834    110 |      404 |      345
1739.64/1740.15	c 1739s |      20 |  7044385 |   725727 |    32834    110 |      404 |      345
1741.74/1742.26	c 1742s |      20 |  7045432 |   726227 |    32834    110 |      404 |      345
1743.84/1744.35	c 1744s |      20 |  7048081 |   727027 |    32834    111 |      404 |      345
1746.03/1746.54	c 1746s |      20 |  7051612 |   727927 |    32834    111 |      404 |      345
1748.03/1748.56	c 1748s |      20 |  7055596 |   728827 |    32834    111 |      404 |      345
1750.23/1750.72	c 1750s |      20 |  7062805 |   730027 |    32834    112 |      404 |      345
1752.53/1753.05	c 1752s |      20 |  7067081 |   730927 |    32834    112 |      404 |      345
1754.63/1755.13	c 1754s |      20 |  7069129 |   731527 |    32834    112 |      404 |      345
1756.84/1757.37	c 1757s |      20 |  7076852 |   732727 |    32834    113 |      404 |      345
1759.04/1759.57	c 1759s |      20 |  7083681 |   734127 |    32834    113 |      404 |      345
1761.14/1761.66	c 1761s |      20 |  7092975 |   735727 |    32834    114 |      404 |      345
1765.34/1765.85	c 1765s |      20 |  7108375 |   736927 |    32834    268 |      404 |      345
1769.83/1770.38	c 1770s |      20 |  7117239 |   737527 |    32834    459 |      404 |      345
1773.23/1773.73	c 1773s |      20 |  7128445 |   738127 |    32834    586 |      404 |      345
1775.83/1776.30	c 1776s |      20 |  7131258 |   738427 |    32834    665 |      404 |      345
1779.33/1779.90	c 1779s |      20 |  7135162 |   738827 |    32834    818 |      404 |      345
1781.63/1782.11	c 1781s |      20 |  7140879 |   740227 |    32834    818 |      404 |      345
1783.84/1784.35	c 1784s |      20 |  7142654 |   740927 |    32834    818 |      404 |      345
1785.94/1786.47	c 1786s |      20 |  7151837 |   741827 |    32834    837 |      404 |      345
1790.73/1791.27	c 1791s |      20 |  7155537 |   742127 |    32834   1076 |      404 |      345
1792.93/1793.41	c 1793s |      20 |  7156467 |   742227 |    32834   1183 |      404 |      345
1797.43/1797.92	c 1797s |      20 |  7163960 |   742727 |    32834   1378 |      404 |      345

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

pid=10190
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.47 2.35 2.25 3/179 10193
/proc/meminfo: memFree=29168544/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 2719 0 0 0 0 0 0 0 20 0 4 0 110248519 745992192 2569 33554432000 4194304 16246674 140735423815760 140735423815184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 182895 2578 441 2943 0 179789 0
[pid=10193/tid=10194] ppid=10190 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 763817984 2638 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 768012288 2654 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110248519 773255168 2671 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.47 2.35 2.25 3/179 10193
/proc/meminfo: memFree=29168544/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1231428 CPUtime=0.09 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 28265 0 0 0 5 4 0 0 20 0 4 0 110248519 1260982272 28054 33554432000 4194304 16246674 140735423815760 140735423815072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 309393 28074 801 2943 0 306287 0
[pid=10193/tid=10194] ppid=10190 vsize=1240644 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1270419456 28089 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1245764 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1275662336 28107 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1248836 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1278808064 28121 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1231428

[startup+0.200474 s]
/proc/loadavg: 2.47 2.35 2.25 3/179 10193
/proc/meminfo: memFree=29168544/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 48172 0 0 0 13 6 0 0 20 0 4 0 110248519 1333334016 47960 33554432000 4194304 16246674 140735423815760 140735423815072 12457948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 325521 47960 835 2943 0 322415 0
[pid=10193/tid=10194] ppid=10190 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1333334016 47960 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1333334016 47960 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1333334016 47960 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300425 s]
/proc/loadavg: 2.47 2.35 2.25 3/179 10193
/proc/meminfo: memFree=29168544/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 61398 0 0 0 21 8 0 0 20 0 4 0 110248519 1333334016 61186 33554432000 4194304 16246674 140735423815760 140735423815072 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 325521 61192 878 2943 0 322415 0
[pid=10193/tid=10194] ppid=10190 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1333334016 61196 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1333334016 61201 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1333334016 61206 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700394 s]
/proc/loadavg: 2.47 2.35 2.25 3/179 10193
/proc/meminfo: memFree=29168544/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 105876 0 0 0 55 14 0 0 20 0 4 0 110248519 1342771200 105664 33554432000 4194304 16246674 140735423815760 140735423815072 6836133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 105664 885 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 105664 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 105664 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 105664 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50042 s]
/proc/loadavg: 2.51 2.36 2.25 3/183 10197
/proc/meminfo: memFree=28619044/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=1.49 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 229353 0 0 0 120 29 0 0 20 0 4 0 110248519 1342771200 229141 33554432000 4194304 16246674 140735423815760 140735423815072 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 229146 885 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 229148 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 229156 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 229161 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10038 s]
/proc/loadavg: 2.51 2.36 2.25 3/183 10197
/proc/meminfo: memFree=28236876/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269009 0 0 0 274 35 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140735423797632 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 268797 885 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30037 s]
/proc/loadavg: 2.55 2.37 2.26 3/183 10197
/proc/meminfo: memFree=28093112/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269009 0 0 0 594 35 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140735423797632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 268797 885 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.50 2.37 2.26 3/183 10197
/proc/meminfo: memFree=28092620/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269009 0 0 0 1234 35 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140735423814936 6013193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 268797 885 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.47 2.37 2.26 3/183 10197
/proc/meminfo: memFree=28093972/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269009 0 0 0 2513 35 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140735423814936 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 268797 885 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268797 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.37 2.35 2.25 3/183 10197
/proc/meminfo: memFree=28094048/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=51.09 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269010 0 0 0 5073 36 0 0 20 0 4 0 110248519 1342771200 268798 33554432000 4194304 16246674 140735423815760 140735423797632 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 268798 886 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268798 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268798 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268798 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.28 2.33 2.25 3/183 10198
/proc/meminfo: memFree=28093880/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269011 0 0 0 10192 36 0 0 20 0 4 0 110248519 1342771200 268799 33554432000 4194304 16246674 140735423815760 140735423797632 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 327825 268799 886 2943 0 324719 0
[pid=10193/tid=10194] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268799 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268799 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1342771200 268799 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.55 2.43 2.32 3/183 10278
/proc/meminfo: memFree=28092068/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1361.9 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 136128 62 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 12483481 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.57 2.45 2.33 3/183 10279
/proc/meminfo: memFree=28092656/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1421.9 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 142125 65 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423814936 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.49 2.45 2.34 3/184 10283
/proc/meminfo: memFree=28092408/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1481.88 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 148121 67 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.45 2.44 2.34 3/183 10285
/proc/meminfo: memFree=28092452/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1541.88 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 154119 69 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 5546009 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.37 2.42 2.34 3/183 10286
/proc/meminfo: memFree=28091860/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1601.86 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 160115 71 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 5546200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.32 2.39 2.33 4/183 10287
/proc/meminfo: memFree=28091888/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1661.85 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 166114 71 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 12483423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.28 2.36 2.32 3/183 10288
/proc/meminfo: memFree=28091612/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1721.84 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 172111 73 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.27 2.34 2.32 3/183 10289
/proc/meminfo: memFree=28091152/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1781.83 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 178109 74 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423797632 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.29 2.33 2.32 3/183 10289
/proc/meminfo: memFree=28091448/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1800.03 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 179928 75 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423814936 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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 10193 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.29 2.33 2.32 3/183 10289
/proc/meminfo: memFree=28091448/32872528 swapFree=16384/1696552
[pid=10193] ppid=10190 vsize=1313348 CPUtime=1800.03 cores=0,2,4,6
/proc/10193/stat : 10193 (toysat) R 10190 10193 5723 0 -1 4202496 269863 0 0 0 179928 75 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140735423814936 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10193/statm: 328337 269311 886 2943 0 325231 0
[pid=10193/tid=10194] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10194/stat : 10194 (toysat) S 10190 10193 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707464457456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10193/tid=10195] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10195/stat : 10195 (toysat) S 10190 10193 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707453967600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10193/tid=10196] ppid=10190 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10193/task/10196/stat : 10196 (toysat) S 10190 10193 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110248519 1344868352 269311 33554432000 4194304 16246674 140735423815760 140707443494064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.29
CPU system time (s): 0.754885
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.754885
maximum resident set size= 1077244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269863
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= 355
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91225 second user time and 7.02093 second system time

The end

Begin job on node125 at 2016-06-07 09:05:55
IDJOB=4078927
IDBENCH=90124
IDSOLVER=2542
FILE ID=node125/4078927-1465283154
RUNJOBID= node125-1465259688-5739
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= afe4117ba13dcfbcd06fd88e1353402a
RANDOM SEED=777847356

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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.456
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.456
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.456
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.456
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:        29169080 kB
Buffers:           28480 kB
Cached:           150112 kB
SwapCached:         1700 kB
Active:          1139144 kB
Inactive:         122368 kB
Active(anon):    1080284 kB
Inactive(anon):     4772 kB
Active(file):      58860 kB
Inactive(file):   117596 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       2860128 kB
Mapped:            10560 kB
Shmem:                 0 kB
Slab:             609128 kB
SReclaimable:      53040 kB
SUnreclaim:       556088 kB
KernelStack:        1496 kB
PageTables:         9904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2922004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2033664 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= 71712 MiB
End job on node125 at 2016-06-07 09:35:55